Grants carry a state's declared cap; the checker's compositions get room and a drop tool; the assigner trusts no stale reads (issue 1975) #206

Merged

mesh-tools merged 5 commits from fix/engine-reads-and-compositions into main 2026-11-12 10:23:30 +00:00

Conversation 1 Commits 5 Files Changed 13

+240 -21

5 Commits

Author	SHA1	Message	Date
jschoubben	b83c546831	checker: compositions keeps ttl-seconds 259200 with max-mib 256; the texts say only what holds (issue 1975 note 6) ... Builds: issue 1975 note 6 (the lead's review round 1; no design line) Claude-Session: https://claude.ai/code/session_01NcbgfGKaxw984XyAPfLm4h	2026-11-12 11:00:33 +01:00
jschoubben	f28c49a976	grants: a state's declared max-mib reaches its bucket, and a held bucket is raised to it (issue 1975 note 6) ... Builds: issue 1975 note 6 (the lead's review round 1; no design line) Claude-Session: https://claude.ai/code/session_01NcbgfGKaxw984XyAPfLm4h	2026-11-12 11:00:33 +01:00
jschoubben	e12f4b608f	assigner: the test drives the reads-changed handler (issue 1975 note 6) ... Builds: issue 1975 note 6 (the lead's review round 1; no design line) Claude-Session: https://claude.ai/code/session_01NcbgfGKaxw984XyAPfLm4h	2026-11-12 11:00:33 +01:00
jschoubben	a3306361ee	checker: the state compositions is bounded at 256 MiB and a day, and a tool drops a check's kept requests ... Builds: the lead's handover of 2026-11-12 (principle 7, principle 4; no design line) Claude-Session: https://claude.ai/code/session_01NcbgfGKaxw984XyAPfLm4h	2026-11-12 10:48:08 +01:00
jschoubben	3ec05dda1f	assigner: a reads statement older than a reads-changed heard does not stand (issue 1975) ... The assigner keeps each reads-changed event it hears beside its statement (enginereads.Keeper.HeardChanged), reads a node as the event says while its statement is behind it, and asks again until the statement is as new. Builds: issue 1975 note 4 (the lead's handover; no design line) Claude-Session: https://claude.ai/code/session_01NcbgfGKaxw984XyAPfLm4h	2026-11-12 10:48:08 +01:00