Design 47 G: answer develop's questions against the principles; the outside-cause wait whole (G-19); lead answers (G-20) #553

Merged

mesh-tools merged 8 commits from design/47-G-develop-answers-7 into main 2026-11-11 20:54:19 +00:00

Conversation 5 Commits 8 Files Changed 10

+302 -62

8 Commits

Author	SHA1	Message	Date
jschoubben	b6556a4bcf	Answer A-15: the branch follower's not-found, as built ... Claude-Session: https://claude.ai/code/session_01JG73KEq4zoDfM9WtYpcQgZ	2026-11-11 21:41:47 +01:00
jschoubben	0e1a742b10	Answer A-10 to A-14 against the principles: seat events, the granting wait's release, the writer's subjects, ref in the id ... Claude-Session: https://claude.ai/code/session_01JG73KEq4zoDfM9WtYpcQgZ	2026-11-11 21:40:29 +01:00
jschoubben	cfb6666711	Answer A-4 to A-9 against the principles: grants, the branch follower, the gate's kept data, take-in bodies ... Claude-Session: https://claude.ai/code/session_01JG73KEq4zoDfM9WtYpcQgZ	2026-11-11 21:36:23 +01:00
jschoubben	51a9919c56	Answer A-3: the finding writer is generic over the contract's plain structs, replacing A-1's accessors ... Claude-Session: https://claude.ai/code/session_01JG73KEq4zoDfM9WtYpcQgZ	2026-11-11 21:35:22 +01:00
jschoubben	3e7befcb0b	Answer A-2: busarchive moves with bussnap into mesh-sdk ... Claude-Session: https://claude.ai/code/session_01JG73KEq4zoDfM9WtYpcQgZ	2026-11-11 21:31:14 +01:00
jschoubben	e95b7f8ea0	Answer develop's questions against a short list of principles, so a detail needs no design batch ... The operator, 2026-11-11 about 21:30 CET: a living list of principles; the lead answers each question against it and does not register every detail. Adds 00-META/principles.md, the lead-answers file G-20 with A-1, and lets the developer take a lead answer from it. Claude-Session: https://claude.ai/code/session_01JG73KEq4zoDfM9WtYpcQgZ	2026-11-11 21:30:52 +01:00
jschoubben	7f094b8278	Write the outside-cause wait whole in G-19, so develop builds one mechanism ... Round 1 of the review found §705 patched per finding: the commonest cause (a machine down by its own network or silence) was missed, the keeper's silence, the race between a check and its condition, the wait's ends, its event fields, its finding's telling and its tools were unwritten. §706 now says them once, following ADR 0677; §705 points to it. §707 gives the writer's own finding-refused to each bundle's key part, with the statement's bundle, in place of the G-15 edit, since G-15 is at its size cap. The glossary's waiting call moves below the kept call's Not: line. Claude-Session: https://claude.ai/code/session_01JG73KEq4zoDfM9WtYpcQgZ	2026-11-11 21:22:52 +01:00
jschoubben	26f4b1c2a5	Hear O-9's outside cause from the condition keeper, and follow ADR 0676 in the gate ... §705 said the assigner hears rewritten and unreachable from the node-engine's finding events, but the node-engine only states the network; the watchman raises those findings and the keeper holds them as conditions, and an unreachable is raised on the machine that cannot be reached. The assigner now reads the machine's conditions through mesh-conditions' verb at the judging and judges again on condition-cleared, never reading the watchman's state. §677 cited ADR 0259 §3, never in force; it now cites ADR 0286 §6 and ADR 0259 §6 with ADR 0676's clauses, says waiting call for the held call, and checks what ADR 0676 decides. The glossary gains the waiting call and the holder that asks for a marked verb served from a module's process. §580 gives the writer's own finding-refused to every bundle within its own key part. Claude-Session: https://claude.ai/code/session_01JG73KEq4zoDfM9WtYpcQgZ	2026-11-11 21:13:37 +01:00