Repository navigation

fix(vocabulary): coverage measured, list corrected (M19a) - #30

Merged

jgrodziski merged 5 commits into

feat/m19a-vocabulary-commandfrom

feat/m19a-vocabulary-coverage

Oct 27, 2026

Merged

fix(vocabulary): coverage measured, list corrected (M19a)#30
jgrodziski merged 5 commits into
feat/m19a-vocabulary-commandfrom
feat/m19a-vocabulary-coverage

Commits on Oct 26, 2026
- fix(vocabulary): machinery words leaked as domain
  
  Jérémie Grodziski
  and
  claude
  committed
  3799f70
- docs(plan): the vocabulary coverage measured
  
  Jérémie Grodziski
  and
  claude
  committed
  666a3ec
Commits on Oct 27, 2026
- merge: the closure check asserts once
  
  Jérémie Grodziski
  and
  claude
  committed
  449f2fc
- merge: record arbitraries built once
  
  Jérémie Grodziski
  and
  claude
  committed
  d2c43e3
- merge: extractor tests state their timeout
  
  Jérémie Grodziski
  and
  claude
  committed
  2efa407