70 Commits

Include renames

Author	SHA1	Message	Date
jschoubben	78fe1ce960	Review round 1: the indexer learns its build from the node-engine's seat; a held module's seats and hearings come from its running manifest; indexer_judge; one judge pass at a time (issue 774)	2026-11-03 16:44:37 +01:00
jschoubben	6645ac58c2	A manifest with a field the judge does not know waits instead of being refused; a held module keeps its bus users; tools list and redo the verdicts (ADR 0578 amended, issue 774)	2026-11-03 16:44:19 +01:00
jschoubben	09ac178888	Pin mesh-sdk at f02f142, the sdk1 head whose tests no longer leak package globals, so the group's check builds against it ... Claude-Session: https://claude.ai/code/session_01NcbgfJ9Gum47zkFKWRaovL	2026-11-02 20:14:55 +01:00
jschoubben	33675f548a	Pin mesh-sdk at the sdk1 group's head 1c7356c, so the group's check builds every module against the narrowed SDK it was written for ... The build runner's pin stays at its placeholder until mesh-catalog's final head is pushed. Claude-Session: https://claude.ai/code/session_01NcbgfJ9Gum47zkFKWRaovL	2026-11-02 19:33:10 +01:00
jschoubben	e2cb398186	Pin mesh-sdk to the group head of issue 1126 ... Every member builds against mesh-sdk abf5eac, the head of feat/1126-removal, so the group is checked as one contract. Claude-Session: https://claude.ai/code/session_01NcbgfJ9Gum47zkFKWRaovL	2026-11-02 12:27:33 +01:00
jschoubben	655692c7ba	Pin mesh-sdk to the group head of issue 1126 ... Every member builds against mesh-sdk f569924, the head of feat/1126-removal, so the group is checked as one contract. Claude-Session: https://claude.ai/code/session_01NcbgfJ9Gum47zkFKWRaovL	2026-11-02 12:20:14 +01:00
jschoubben	83c1b3ce38	Pin mesh-sdk to the group head of issue 1126 ... Every member builds against mesh-sdk 729a86b, the head of feat/1126-removal, so the group is checked as one contract. Claude-Session: https://claude.ai/code/session_01NcbgfJ9Gum47zkFKWRaovL	2026-11-02 11:56:55 +01:00
jschoubben	b13f65674b	Pin mesh-sdk at dff0ce2, the enrolment group's rebased head, so every member builds the same contract (issue 774) ... Claude-Session: https://claude.ai/code/session_01NcbgfJ9Gum47zkFKWRaovL	2026-11-02 01:48:53 +01:00
jschoubben	17ef1d577d	Pin mesh-sdk at c21d8fd, the removal group's head, so every member builds the same contract (issue 774) ... Claude-Session: https://claude.ai/code/session_01NcbgfJ9Gum47zkFKWRaovL	2026-11-02 00:53:42 +01:00
jschoubben	c4b05a3e93	Pin group A's mesh-sdk head on main ... Claude-Session: https://claude.ai/code/session_01NcbgfJ9Gum47zkFKWRaovL	2026-11-01 09:57:47 +01:00
jschoubben	564a04b45c	Pin the group's mesh-sdk head after the gofmt fix ... Claude-Session: https://claude.ai/code/session_01NcbgfJ9Gum47zkFKWRaovL	2026-11-01 03:26:58 +01:00
jschoubben	edf7b3c0bf	Answer review round 1: fresh is only what a take-in newly wrote, a merge keeps the verdict, the check compares with the trunk (ADR 0578, 0579) ... Issue 1585, R1: fresh holds the digests a take-in newly wrote (a new module, a changed manifest); a registered or taken-in module is judged too; a start pass that fails is judged again at the next message heard, no timer. R2: a module's verdict, problems and warnings are carried while its digest stands and are no part of the compare. R3: the checker judges the trunk beside the change and fails on every problem the change case adds, an untouched manifest's included. R4: the judge reads the indexer's kept predefined keys, or the catalogue member's when it changes them. A log line names a package no held module publishes. Every module pins mesh-sdk 62cddf4. Claude-Session: https://claude.ai/code/session_01NcbgfJ9Gum47zkFKWRaovL	2026-11-01 03:12:09 +01:00
jschoubben	0e819eea4d	Never refuse what the judge accepted before: warn, and refuse only a new or changed manifest (ADR 0579) ... Issue 1585: the indexer keeps an accepted manifest accepted when a stricter judge re-judges it, its problems as warnings carried in its value; a merge's new manifests are judged in full. The watchman raises manifest-outgrown as a warning until mended. The checker fails only on a manifest the change adds or changes and names the rest as warnings. Every module pins mesh-sdk 19c2042. Claude-Session: https://claude.ai/code/session_01NcbgfJ9Gum47zkFKWRaovL	2026-11-01 02:45:18 +01:00
jschoubben	f4ecc6fa64	Pin every mesh-delivery module to mesh-sdk feat/judge-once a20bdf7, the judge out and package versions in ... Issue 1585: builder-1585b's package versions folded onto the judge once; one mesh-sdk head for the group. Claude-Session: https://claude.ai/code/session_01NcbgfJ9Gum47zkFKWRaovL	2026-11-01 02:42:05 +01:00
jschoubben	8a98271680	Move the judge's rules and their tests from mesh-sdk into the indexer's judge (ADR 0578 §4) ... Issue 1585, S6-S8: 192 judge-only declarations (the strict parser, every manifest problem function, the tables) moved whole by an AST mover, methods becoming functions; 163 helpers composition keeps too are copied. 245 tests move with them, reading the captured catalogue through a copy of internal/beside. judge.WithTemplatesFrom and ReadTreeManifest judge what mesh-sdk's readers now only fill. mesh-delivery's own tests decode. Pinned to mesh-sdk 25a2cec. Claude-Session: https://claude.ai/code/session_01NcbgfJ9Gum47zkFKWRaovL	2026-11-01 02:34:26 +01:00
jschoubben	0469641b9d	Pin mesh-delivery's modules to mesh-sdk feat/judge-once 7cab079 ... Issue 1585: the group's mesh-sdk head (lenient Decode, verdict contract, frombus holding a refused module). Claude-Session: https://claude.ai/code/session_01NcbgfJ9Gum47zkFKWRaovL	2026-11-01 02:21:32 +01:00
jschoubben	a4772a5c1d	Let the assigner decode manifests and take the indexer's verdicts, never judging (ADR 0578 §3, §5, §6) ... Issue 1585, S11: world and wants read with catalogue.Decode; a trunk refusal is held, named and handed to the composer in its input; a proposal's composition read that fails is said, not dropped; a reader that cannot read a changed field is a warning, no longer a failure. Claude-Session: https://claude.ai/code/session_01NcbgfJ9Gum47zkFKWRaovL	2026-11-01 02:11:54 +01:00
jschoubben	a313c3e843	Pin mesh-sdk at the group's head acbf80a in every delivery module the group touches (issue 774)	2026-10-31 10:25:20 +01:00
jschoubben	4b194215dc	Read and write the seat mesh-placement's state as one key per module and node, converting each node's placement.<node> once at the holder's start (issue 774, research 072 row 37) ... The holder writes a node's changed module keys, then its node key as the commit by compare-and-set at the revision the proposal was laid over, then the placement.<node> mirror for readers not yet delivered. Every reader assembles through mesh-sdk's PlacementKeys, which reads both forms.	2026-10-31 09:32:32 +01:00
jschoubben	6298d9d67c	Pin mesh-sdk at 6c5a8ef893b4, the one rule of what is keyed with its compose row (issue 774)	2026-10-30 22:29:35 +01:00
jschoubben	83391dba1b	Wait in rule 8 only for the provisions the composition keys (issue 774) ... Rule 8 asked a key for every `requires`, and the plans key only a handed module's needs and what a helper answers: grafana waited on ace for oidc-client, which the controller still makes, and mesh-build-go for go-toolchain on its own machine, for ever. MissingProvisions now takes catalogue.Awaited, the one rule the plan composition and mesh-provisioner key by, judged against the providers placed somewhere. Quick fix: drop the missing-key check. Thorough fix (chosen): the shared rule in mesh-sdk, so the three parts cannot drift again. Needs mesh-sdk at 30098229b831.	2026-10-30 22:29:25 +01:00
jschoubben	1fef458c5f	Send the controller only the arguments its contract declares, and make a refused call a condition (issue 774) ... The assigner added "why" to every assign, unassign, pin and unpin since 2026-10-28; the controller's seat contract takes no such argument, so it refused each one and did nothing. No approved placement reached the controller's assignments, no bus account was minted for a newly placed module, and the refusal was only a journal line. Quick fix: drop "why" from ControllerCalls. Thorough fix: a contract test that every argument ControllerCalls gives, for every verb, is declared (and every required one given) in catalogue.ControllerVerbs, plus an urgent condition per pair whose call was refused (verb, node, module, the controller's words), cleared when a later call is answered or the two sources agree. Chosen: both here; a caller-side check of arguments against the seat's contract for every seat call belongs in mesh-sdk and is noted for the lead. The warrant stays in the assigner's own record (placement-changed, the hand-act log). Every module pins mesh-sdk eff81f1220e2 (in review).	2026-10-30 21:23:39 +01:00
jschoubben	e0b56c83f9	Pin mesh-sdk a3718126, whose bus retry never asks again a call its callee answered (issue 774)	2026-10-30 18:43:13 +01:00
jschoubben	d4ac50c4b1	Pin mesh-sdk 206f794e, the fix group's final library head (issue 774)	2026-10-30 18:37:07 +01:00
jschoubben	f756731700	Pin mesh-sdk ef1ec1c9, the fix group's reviewed library head (issue 774)	2026-10-30 18:27:08 +01:00
jschoubben	ff58b16cf9	Pin mesh-sdk 61b67d61, so mesh-grants writes through the size guard and every delivery module rides out a user-list reload (issue 774)	2026-10-30 18:23:08 +01:00
jschoubben	8edc83950c	Pin mesh-sdk 2da0de7, the release's sdk with main merged in (issue 774)	2026-10-30 01:12:57 +01:00
jschoubben	7536d9d14e	Pin mesh-sdk 6e4a301, the release's final head, which keeps the old provisioner client's needs grant for one release (issue 774)	2026-10-30 00:18:04 +01:00
jschoubben	ce7032c49b	Pin mesh-sdk 007b6fd, the release's final head (issue 774)	2026-10-30 00:05:25 +01:00
jschoubben	e82ea89c23	Assigner: read the running commit of a reader of the manifests from the builder's log, and hold the buckets it starts without in one list so the start test skips them (issue 1955, ADR 0571 §1)	2026-10-29 23:48:14 +01:00
jschoubben	c045057ca0	Assigner: write who holds which seat from placement into seat-holders, only the keys a change moves, and answer it from placement's seats, so readers no longer ask the controller's seats (issue 1955, ADR 0571 §4) ... Pins mesh-sdk f9a496d.	2026-10-29 23:14:28 +01:00
jschoubben	7b7796b6fa	Assigner: hold a want while a provision its module requires has no key yet, and say it once it stays without one past the delivery bound, so a module never starts without its database unseen (issue 1954 D1) ... Pins mesh-sdk 66ff33d.	2026-10-29 22:41:44 +01:00
jschoubben	f56eb62d8b	Assigner: hold a want until every provision its module consumes on that node is provided, and say a failed one as a finding, so a module never moves ahead of what it needs (issue 1954 D1, ADR 0570 §4) ... Pins mesh-sdk 6e39ed1.	2026-10-29 22:39:38 +01:00
jschoubben	5235bb2e79	Assigner and grants part: record hand acts and warrants through the seat mesh-hand-acts, the controller's log only while that seat has no holder and the controller holds its lease (issue 1953 D8) ... Pins mesh-sdk 2d2aa7b in the L5 modules.	2026-10-29 22:24:00 +01:00
jschoubben	73280f85c3	Assigner: write each condition it says as a finding too, and say it straight only until the take-over, so its holds reach the operator through the condition keeper and never twice (issue 1952 WM6)	2026-10-29 21:49:25 +01:00
jschoubben	98ad1aa252	Pin mesh-sdk 22c9ddd in the modules L3 changes, the L3 re-land group's sdk head (issue 774)	2026-10-29 21:07:00 +01:00
jschoubben	e0af965d8b	Assigner pins mesh-sdk 76f7c4d, which defines the seat mesh-delivery-checker: the check composes with the running assigner's mesh-sdk, so L3's checker claim is refused until this runs (issue 774, kind of issue 1585)	2026-10-29 00:35:07 +01:00
jschoubben	fc3883b0b6	Assigner: pin mesh-sdk 77b48a4, so the seed's Approve names the differences it carries (issue 1126)	2026-10-28 22:41:03 +01:00
jschoubben	25953c6ae1	Assigner: pin mesh-sdk 06b13ec, so a seed's brief shows what stays held as today (issue 1126)	2026-10-28 22:18:31 +01:00
jschoubben	d8286d1790	Assigner and grants: take the private network as the mesh's own through mesh-sdk's one predicate, so the seed is not refused for it (issue 1126)	2026-10-28 20:38:14 +01:00
jschoubben	fb26ca5112	Pin mesh-sdk 38dbe1d, the group's head, in every module the seat touches (issue 1126)	2026-10-28 18:48:56 +01:00
jschoubben	36332abf35	Assigner: drop the pull request's placement check and hold the seat's states as its own, since a placement change is no repository change (ADR 0567 §1, §4, §11, issue 1126)	2026-10-28 18:19:12 +01:00
jschoubben	c93f0d15e4	Grant the served keys of the trunk's manifest too, and pin mesh-sdk 7a8e9f9 in the assigner and mesh-grants on main's bus helpers (issue 1126, review round 1) ... A node composing a consumer reads the served keys of the trunk's manifest of a provider elsewhere, which may serve a setting the build it runs does not.	2026-10-27 21:13:41 +01:00
jschoubben	96be0c3377	Move every delivery part's bus connection onto mesh-sdk's module helpers: credential, pinned dial, own-stream subjects, durable consumer, and refuse a hand-written one (issue 1242)	2026-10-27 20:40:49 +01:00
jschoubben	06d4f45e18	Pin mesh-sdk cadd7b1, the group's final head, in every member module (issue 1126)	2026-10-27 02:44:11 +01:00
jschoubben	d8592d9a4f	Pin mesh-sdk 062c29c, the group's final head, in every member module that uses the candidate contract (issue 1126)	2026-10-27 02:30:16 +01:00
jschoubben	d8da56c6da	Compose a catalogue pull request's own placement in the assigner's check and fail it on any placed node's unintended difference, refusal or silence past ten minutes, so a placement change is proven equal to what runs before it merges (issue 1126, ADR 0559 §5)	2026-10-27 02:29:20 +01:00
jschoubben	297992a4ae	Pin mesh-sdk 9796444 (l2-next: feat/1126-nodes-compose merged with sdk main #101, the standing-test race fixes) (issue 1126)	2026-10-26 22:05:41 +01:00
jschoubben	3f85230417	Pin mesh-sdk 5f45175 (l2-next: feat/1126-nodes-compose merged with sdk main) after merging main (issue 1126)	2026-10-26 21:59:21 +01:00
jschoubben	8fee764c73	Pin mesh-sdk feat/1126-nodes-compose 03dce12, the group's head: the checker refuses a pin that is neither trunk nor the group's head (issue 1126)	2026-10-26 20:35:45 +01:00