Design 47 G: §708 to §715, a requirement's provider, the revert ask, the validation before take-in and non-trunk branches #573

Merged

mesh-tools merged 4 commits from design/47-G-AS14-AS17 into main 2026-11-12 09:48:23 +00:00

Conversation 2 Commits 4 Files Changed 2

+259 -2

4 Commits

Author	SHA1	Message	Date
jschoubben	7540c9aa6b	Shorten §710's live option to the router's 24-character bound ... Claude-Session: https://claude.ai/code/session_01NcbgfGKaxw984XyAPfLm4h	2026-11-12 10:34:52 +01:00
jschoubben	9fc2bd73fb	Answer IX5 to IX7 in design 47 G: the validation's run, its pending wait, and every branch's merges and groups ... A-213 sent the validation before take-in and the per-branch take-in to design lines: the indexer needs the run's job and verdict, what holds a revision while the run is out, and how a branch other than the trunk gets its merges and its groups, none of which a line said. Claude-Session: https://claude.ai/code/session_01NcbgfGKaxw984XyAPfLm4h	2026-11-12 10:34:52 +01:00
jschoubben	09c9dc49f7	Answer IX8 in design 47 G: an acting rule gives kind 5 from its holder to the entries it acts on ... The indexer writes every edge of the catalog graph, and kind 5 had no line saying which steps give it, between which artifacts, or what fills a catalog entry's acts, which the runner and the builder read. Claude-Session: https://claude.ai/code/session_01NcbgfGKaxw984XyAPfLm4h	2026-11-12 10:34:52 +01:00
jschoubben	29b498c59d	Answer AS14 and AS17 in design 47 G, so the assigner resolves providers and asks a held revert without choosing ... §708 says the named seat is found by its definition's delivers and its holder from the placements' holds, so no entry field is added for it; §709 carries the manifest's contributes into the catalog entry and gives the edge kind contribution its contract meaning; §710 writes the held revert's ask in the backup ask's shape, with one message to the operator. Claude-Session: https://claude.ai/code/session_01NcbgfGKaxw984XyAPfLm4h	2026-11-12 10:34:33 +01:00