R6: the assigner writes wants by rule 7 with the composition digest; the watchman and the view follow wants and haves (issue 1906) #38

Merged

jschoubben merged 31 commits from feat/r6 into main 2026-10-24 23:17:46 +00:00

Conversation 1 Commits 31 Files Changed 41

+3578 -470

31 Commits

Author	SHA1	Message	Date
jschoubben	3e863884fd	gofmt the passer's fields after main's merge	2026-10-24 23:33:59 +02:00
jschoubben	c21bed20a3	Pin mesh-sdk to feat/r6 748c564, which carries main's composer (issue 1943)	2026-10-24 23:06:02 +02:00
jschoubben	aa31e85665	Merge main into feat/r6: keep R4g's composer at a group's mesh-sdk head beside R6's wants and asks ... The assigner reads mesh-controller.builds again (the composer's runningCommits reads the build record of every open assignment), puts its compose asks on node-build-go and says its conditions on operator-channel.	2026-10-24 23:03:42 +02:00
jschoubben	36a1fd197f	The switch exception skips the record hold only for a composition the controller judges unchanged; pin mesh-sdk d7a9b96 (issue 1906, ADR 0540 §9)	2026-10-24 21:18:48 +02:00
jschoubben	9a5b3d4881	Pin the assigner, watchman and view to mesh-sdk feat/r6 7f9cc0e (issue 1943)	2026-10-24 20:43:46 +02:00
jschoubben	e263049551	Right after the switch a node running F with a have that names no composition is given its want at F with no record hold, the bus included (issue 1906, review round 2 N1)	2026-10-24 20:35:17 +02:00
jschoubben	0f7bc9f531	Pin the assigner, watchman and view to mesh-sdk feat/r6 e45bdc0 (issue 1943)	2026-10-24 20:21:57 +02:00
jschoubben	da31740f00	The view's motion events carry the time they are about and call a held or past-bound module stopped, as the messenger reads them (issue 1906 D10)	2026-10-24 18:31:29 +02:00
jschoubben	a3815051cc	The view says modules in motion: moving, settled and stuck, once for a node, a module and a composition (issue 1906 D10, for the messenger)	2026-10-24 18:27:01 +02:00
jschoubben	8280506cee	Start the world's change counter, which the pass of a held backup reads (issue 1906, review round 1)	2026-10-24 18:22:22 +02:00
jschoubben	3b00f3890d	Review round 1: a user-list-only revision of the bus is written at once at the fingerprint it runs, before the record hold; pin mesh-sdk a523a8c (issue 1906)	2026-10-24 18:17:25 +02:00
jschoubben	fcac03a4f2	Review round 1: the bus with no want is compared with its have; a backup ask is bound to its composition and number and each answer is a distinct want value; the view reads wants and haves, with dotted module names (issue 1906)	2026-10-24 18:15:13 +02:00
jschoubben	14c20b21ee	Pin the assigner, watchman and view to the head of mesh-sdk feat/r6 (issue 1943)	2026-10-24 17:52:44 +02:00
jschoubben	333e0cd07d	The checker reads a kept manifest as the indexer and the assigner do, so a value falling back to a predefined key is not logged unreadable (issue 1906, issues 1751 and 1921 class)	2026-10-24 17:42:24 +02:00
jschoubben	03e5951dc5	Merge remote-tracking branch 'origin/main' into feat/r6	2026-10-24 17:41:53 +02:00
jschoubben	37d0ebba7a	Let the view's manifest test read the emits key the delivered event adds	2026-10-24 16:47:33 +02:00
jschoubben	86fd0bbe96	The view says its event delivered once for each source revision whose wants and haves are all there (issue 1906 D9, for issue 1946)	2026-10-24 16:47:09 +02:00
jschoubben	37a5ab8f1c	A node that runs a module of policy record with no want yet is asked like any other, not treated as one that never ran it (issue 1906 D4)	2026-10-24 16:43:01 +02:00
jschoubben	55f19283f4	Do not wait twice at the cleanup for an assigner that ended on its own, which made the refused-start test take ten seconds a bucket	2026-10-24 16:42:28 +02:00
jschoubben	e7a3ff1e7e	The record policy is the one the controller holds beside the composition, the operator's own choice included; pin mesh-sdk 64a502d (issue 1906 D4, ADR 0539 §14)	2026-10-24 16:41:58 +02:00
jschoubben	f947070b7b	The view shows the controller's judgement of the move beside each want (issue 1906 D7, ADR 0539 §14)	2026-10-24 16:38:24 +02:00
jschoubben	04c2c60f02	The assigner acts on answers: a release writes the held want again, a backup answer goes into the node's want, a record move waits for its yes, a restore answer sets a data module back (issue 1906 D4)	2026-10-24 16:37:37 +02:00
jschoubben	0df20b5d77	The assigner's seventh rule: a want names the digest of its composition and waits for it; a revision at the same fingerprint is a new want; the node's own want (issue 1906 D2, ADR 0539 §6)	2026-10-24 16:33:48 +02:00
jschoubben	806c8bf0e4	Pin the assigner, watchman and view to mesh-sdk's release 6 head (issue 1943 S3) and give their test wants a composition digest	2026-10-24 16:32:09 +02:00
jschoubben	12b01badb0	Prove the assigner replaced mid-pass resumes with nothing lost or written again (issue 1906 D8)	2026-10-24 16:27:34 +02:00
jschoubben	7b18696cd5	Give the data module's test manifest the directory and backup the catalogue asks of an irreplaceable item	2026-10-24 16:26:43 +02:00
jschoubben	204a59dab4	The assigner asks whether to restore a data module whose held fingerprint failed its health check, and raises the condition for a held fingerprint (issue 1906 D3)	2026-10-24 16:26:20 +02:00
jschoubben	f048e2b443	The view shows each want beside the have of its node, and a source revision's derived state, in place of the comparison with sends (issue 1906 D7)	2026-10-24 16:23:51 +02:00
jschoubben	9d2e9dc6c9	The watchman mirrors each want of the assigner as a pulse owed by the node's agent until the have names its fingerprint (issue 1906 D6)	2026-10-24 16:22:02 +02:00
jschoubben	024a3787da	End the assigner's comparison with the send: the controller sends nothing to compare with, so the differences bucket is kept read-only (issue 1906 D5, ADR 0539 §8)	2026-10-24 16:20:43 +02:00
jschoubben	4fd6b934c8	Read the assigner's wants, differences and the haves with tools, so the gap between wants and sends can be read live (issue 1906 D1)	2026-10-24 16:19:42 +02:00