Registry recovery: the grants part takes a first view of every binding (issue 1966) #203

Merged

mesh-tools merged 3 commits from fix/1966-bindings-first-view into main 2026-11-11 10:32:35 +00:00

Conversation 1 Commits 3 Files Changed 10

+1060 -21

3 Commits

Author	SHA1	Message	Date
jschoubben	8501968154	Raise and release the bindings' first view at the bound itself, so held events never reach dead letters ... No pause between two failed asks runs past the bound (two minutes): the ask at the bound raises first-view-unanswered and releases the held events, well inside the events consumer's five deliveries of 30 s. An answer's binding is taken as it lists it, with no fallback to an event's types (§4). Checks: the unit start row requires the raise at exactly the bound; the whole test says the created before the bound and requires the condition raised when it is applied (fails without the process's hold), and waits on the kept first-views status for the held answer instead of a sleep. Builds: design 25 bindings-first-view §3, §4, §5, §8 (hq d0760629, PR 543) Claude-Session: https://claude.ai/code/session_01JG73KEq4zoDfM9WtYpcQgZ	2026-11-11 11:22:57 +01:00
jschoubben	20af25ea40	The seat's events wait for the first view unacknowledged; the checks prove the order and the dropped case ... The process hands an event of the seat mesh-broker to BindingsView.Hold, which applies and acknowledges it after the answer or past the bound, so a restart finds it delivered again (one delivered again while held keeps its place by its stream sequence). Unit rows: the answer's bucket differs from the held created's and the held event's stands. Whole test: an answer that lists a binding dropped since its ask does not write it back (fails without the check). Neutral caller name in the by-hand asks. Builds: design 25 bindings-first-view §3, §4, §8 (hq d0760629, PR 543) Claude-Session: https://claude.ai/code/session_01JG73KEq4zoDfM9WtYpcQgZ	2026-11-11 11:01:39 +01:00
jschoubben	fcfaa41348	The grants part takes a first view of every binding from the seat mesh-broker's list ... At each start and on grants_first_view_again with state bindings, the part asks list, writes the bindings the answer carries that it holds none of or another of, keeps and raises binding-unlisted for those the answer omits, never writes over an event heard since the ask, holds the seat's events until the answer or the bound, and raises first-view-unanswered naming mesh-broker and list past two minutes while composing as before. grants_first_views shows the first view beside the others. Cases are rows and subtests of the existing tests. Builds: design 25 bindings-first-view §1, §3, §4, §5, §6, §7, §8 (hq d0760629, PR 543) Claude-Session: https://claude.ai/code/session_01JG73KEq4zoDfM9WtYpcQgZ	2026-11-11 10:30:22 +01:00