L3: the seat mesh-catalog's contract and a merged message with no trees; no graph code in mesh-sdk (ADR 0603, ADR 0604, issue 1367) #165

Merged

mesh-tools merged 15 commits from feat/l3b-bus into main 2026-11-03 20:12:42 +00:00

Conversation 3 Commits 15 Files Changed 29

+543 -156

15 Commits

Author	SHA1	Message	Date
jschoubben	b7abe203a9	Keep, deprecated, the exported names the group removed while running parts use them: the checker builds the running node-engine's composer beside this mesh-sdk (ADR 0548 §6); the second group removes them once their users are delivered ... Claude-Session: https://claude.ai/code/session_01JG73KG7AfSdh6FP8VrBqCn	2026-11-03 18:42:08 +01:00
jschoubben	cf5812101b	The seat mesh-catalog's verbs' answers are its contract: CatalogModules, CatalogOne, CatalogProvides and CatalogDependents, with the field names of the catalog module's tools they replace; the module graph is no part of mesh-sdk (the operator, 2026-11-03: only contracts)	2026-11-03 16:51:54 +01:00
jschoubben	fdedf290d5	provisioner_retire_approve and provisioner_retire_reject name no removed controller verb either: they ask nobody, and the operator's answer on the operator channel is named in why and by (ADR 0570 §5, ADR 0604 §8)	2026-11-03 16:51:14 +01:00
jschoubben	6e2f08f96a	provisioner_delete's description names no removed controller verb: it asks nobody, so the operator is asked on the operator channel first and named in why and by (ADR 0604 §8)	2026-11-03 16:51:14 +01:00
jschoubben	9ab75bab49	The seat mesh-catalog's contract: four verbs read from its holder's states, modules, module, provides and dependents, each optional while the module that claimed it before still stands (ADR 0604 §1, §6)	2026-11-03 16:51:14 +01:00
jschoubben	413dd13fe3	Accept a merged message with no trees, so a merge that leaves a repository with no module.json still reaches the indexer (issue 1126)	2026-11-03 16:41:06 +01:00
jschoubben	1b9475e15f	FPSrc is 0 when a recompute with no merge moved the fingerprint: no release carries that build (ADR 0601 §1; review round 2)	2026-11-03 16:41:06 +01:00
jschoubben	493e69e883	A module value carries the source revision at which its fingerprint last changed, a have says what the node keeps as it runs for a manifest that does not yet say it, and a want names a release only beside the yes it gave (ADR 0601 §1, §4; review round 1)	2026-11-03 16:41:06 +01:00
jschoubben	636c2c1b0c	A want names the release whose Approve answered its build's record ask, and a have waiting for a yes says whether the move changes the build alone (ADR 0601 §1)	2026-11-03 16:41:06 +01:00
jschoubben	439b77e07d	A node the sandbox did not judge is a field of the contract: composer.Machine.NotJudged and the answer's verdict not-judged, so the checker decides by them and never by words (ADR 0593 §9; the prepare's seams finding on "not judged")	2026-11-03 16:41:06 +01:00
jschoubben	6655bdff50	The check that the catalogue package names no module reads the names from the catalogue's module directories alone, no list beside them (ADR 0601 §4)	2026-11-03 16:41:06 +01:00
jschoubben	189f28e4e1	mesh-sdk's catalogue package names no module: the tool runner says it is one (tool-runner), the foundation is what is computed, the kept streams are the judge's, and the ended controller's dependence check goes with it (issue 774, the operator 2026-11-03)	2026-11-03 16:41:06 +01:00
jschoubben	f6e214533b	mesh-sdk names no module: the core's credentials are what a manifest says (core-credentials), and the bus's upgrade policy is the one its manifest declares (issue 774, the operator 2026-11-03)	2026-11-03 16:41:06 +01:00
jschoubben	b6cc9572f2	A manifest may say its own secrets are the core's credentials (core-credentials), so a reader asks the module rather than a list here (issue 774, the operator 2026-11-03)	2026-11-03 16:41:06 +01:00
jschoubben	4087280895	A manifest whose judge does not know a field has the verdict waits, held like a refusal by every reader (ADR 0578); in a modules value it is written as a refusal naming the fields, so a reader pinned before holds it too	2026-11-03 16:41:06 +01:00