Transaction Science 44124f548c wai-module-check: the checker corpus of the deterministic module profile, built from source ...

deterministic-modules §9.1 gives each module by its construction: minimal-int,
and minimal-int with one change for every case but component. planted/build.py
is that construction, byte by byte, standard library only. It writes each
module and cases.txt, the verdicts §9.1 states, at each level the row names and
under its caps. Every offset in cases.txt is the place where the item its row
names lands in the bytes, marked while they are put together, so no verdict is
taken from a checker; the two checkers come after this commit. Lines §4.3
decides but §9.1 does not state (a row's other level where it breaks only R3,
the profile's caps for the rows with lower ones) are marked as derived.
grow-swallowed, §9.2's module, is held: R13 is no checker's rule.

`build.py --check` fails unless the committed files are what it writes.

Co-Authored-By: Claude Opus 5.5 <[email protected]>

2026-11-06 18:25:56 -05:00

191 B

Raw Permalink History

View raw