6 Commits

Include renames

Author	SHA1	Message	Date
jschoubben	932e7ccf02	A checker that hands no seat digests gets the heads' definitions with only each seat's own description (issue 1921, milestone 47/G, review round 2) ... G's own check is made by the running B0 checker, which hands no digests, so the program answers every head definition: 342 KB, over the 256 KiB a run's answer may be. Without digests the descriptions of verbs, events and their schemas are left out (171 KB for the group's heads); neither the manifest validator nor the composer reads one, and the validator's verdicts over the group are the same either way. Claude-Session: https://claude.ai/code/session_01NcbgfFSnn24M3GcqttoU7i	2026-11-07 03:41:55 +01:00
jschoubben	112ca63f38	The checking program answers only the head seat definitions the reader does not hold as they are (issue 1921, milestone 47/G, review round 1 finding 3) ... The whole heads' list is 342 KB for this group, over the 256 KiB a run's answer may be. The checker hands the program its reader's seat-to-digest list (5.6 KB) and lays the answer, the new or changed definitions, over its own list. Claude-Session: https://claude.ai/code/session_01NcbgfFSnn24M3GcqttoU7i	2026-11-07 03:17:56 +01:00
jschoubben	2159375873	Merge the trunk: B0's facts and checking program carry the registry's steps (issue 1921, milestone 47/G D3-D11) ... B0's shape wins: the running checker asks and records facts, the checking program decides. The registry's types win: the rules and the program read the generated checker contract and the domain SDK, and no mesh-sdk delivery import is left. The registry's series, renames and unparsed seat definitions become facts with their refusals as rules; the tagged versions ride on the case. The program reads the heads' seat definitions through sdk/seatdefs and the running checker lays them over its reader's list by seat, reading no file of the heads: the reader's list is larger than a run input's bound. Claude-Session: https://claude.ai/code/session_01NcbgfFSnn24M3GcqttoU7i	2026-11-07 02:57:21 +01:00
jschoubben	9290cdda4d	The checking program judges the module graph's cycles from the edges the running checker gathers (issue 1921, B0 review round 1) ... ADR 0656 §5 has every check judged by parts built from the change's heads, and no record keeps the cycle rule in the running checker. The facts carry each ordering edge's two modules and kind, never manifests: the whole catalogue's graph is 50 edges, 3195 bytes. Claude-Session: https://claude.ai/code/session_01NcbgfFSnn24M3GcqttoU7i	2026-11-06 23:28:20 +01:00
jschoubben	35da943fb5	The checking program answers the seat list of the heads laid for it (issue 1921) ... Asked -seats, it reads every seat definition the heads carry, resolves the parts it includes and answers the list with what it left out and why, so the running checker hands the manifest validator and the composer a list it does not read itself (ADR 0636 §4, ADR 0644 §1). Claude-Session: https://claude.ai/code/session_01NcbgfFSnn24M3GcqttoU7i	2026-11-06 22:35:40 +01:00
jschoubben	61aa338887	Add the checking program: it answers the verdict of a check's facts (issue 1921) ... mesh-checking-program -verdict reads the facts from the file the build seat's run step names, judges them with the rules package and answers one versioned line; facts of a version it does not read are refused, naming it, because the running checker of B0 runs G's programs (milestone 47/B0, ADR 0644, ADR 0656). Claude-Session: https://claude.ai/code/session_01NcbgfFSnn24M3GcqttoU7i	2026-11-06 22:13:37 +01:00