Designs 25, 51: the registry milestone's prepare points (a failed pull retried on the store holder's settled, the owners' read tools, verdicts as a first view, ADR 0622) #512

Merged

mesh-tools merged 7 commits from docs/registry-prepare-points into main 2026-11-04 08:40:09 +00:00

Conversation 1 Commits 7 Files Changed 2

+82 -14

7 Commits

Author	SHA1	Message	Date
jschoubben	4f6b9f0ca5	Designs 25, 51: bound the race retry to a settled heard after the pull started ... A retry on any settled ever heard would apply again on every failure; the pull's start bounds it to one retry per settled, kept in memory. The seat and holder beside a routed image are outside a container's digest, so naming them replaces nothing, and the verdicts gap case is named. Claude-Session: https://claude.ai/code/session_01JG73KJNrH5EgFXMKKYSrig	2026-11-04 02:16:03 +01:00
jschoubben	a838b6b3d3	Design 51: a routed image names its seat and holder, so the retry matches settled by it ... The declaration carried only the store's address, so the node-engine could not tell whose settled ends a failed pull without naming a module. Claude-Session: https://claude.ai/code/session_01JG73KJNrH5EgFXMKKYSrig	2026-11-04 02:13:10 +01:00
jschoubben	6c6b2c5cc1	Designs 25, 51: verdicts a first view of its own; every node hears the holder settle ... The store's holder runs on one node, so a node-engine elsewhere must hear its settled too, and a pull failed just after it settled must not wait. The grants part's verdicts read is a first view under ADR 0622, not an ordinary read tool, and the node-engine's reads granted in code are said, so the live count of zero declared reads is not taken for more than it is. Claude-Session: https://claude.ai/code/session_01JG73KJNrH5EgFXMKKYSrig	2026-11-04 02:12:38 +01:00
jschoubben	fb7aa0915f	Design 25: the grants part reads the indexer's verdicts through a read tool ... The grants part is the one reader of the indexer's verdicts, and no first view covered that bucket, so its move had no path. It now takes its first view through indexer_read_verdicts and follows the manifest events. Claude-Session: https://claude.ai/code/session_01JG73KJNrH5EgFXMKKYSrig	2026-11-04 02:05:51 +01:00
jschoubben	74b69857a1	Designs 25, 51: retry a swapped pull on settled; owners' read tools get names of their own ... Neither condition-cleared nor delivered comes during the store holder's own delivery, so the node-engine retries on the status view's settled for that holder, heard through the grants part's list, and at its own start. The status view keeps its tools and answers them through the owners' new read tools, so no name moves between modules. Claude-Session: https://claude.ai/code/session_01JG73KJNrH5EgFXMKKYSrig	2026-11-04 02:04:51 +01:00
jschoubben	0e8a698025	Designs 25, 51: the owners take the view's six tool names; distribution's delivered retries a failed pull ... The status view can no longer answer its six tools named for the owners' buckets once it stops reading them, so the owners' tools take the names. A finding held during distribution's own delivery raises no condition and so no clear, so the node-engine also tries a failed pull again on the status view's delivered for distribution, and nothing waits for a hand compose. Claude-Session: https://claude.ai/code/session_01JG73KJNrH5EgFXMKKYSrig	2026-11-04 01:59:59 +01:00
jschoubben	01d2ea0855	Designs 25, 51: settle the registry milestone's prepare points ... A pull that falls in distribution's swap is tried again on the condition keeper's clear of the store's holder's condition, so the delivery needs no hand compose and no timer. The owners' tools for the other readers' buckets are named, the reads count has its tool, and the test paths match main. Claude-Session: https://claude.ai/code/session_01JG73KJNrH5EgFXMKKYSrig	2026-11-04 01:58:54 +01:00