The running indexer accepts its successor, and a delivery group can be tried whole (issue 1966, issue 1921) #155

Merged

mesh-tools merged 11 commits from fix/1921-group-try into main

2026-11-05 18:34:53 +00:00

Author	SHA1	Message	Date
jschoubben	f9578cb7b4	A try's end is said again until the stream acknowledges it; a waiting try says why; a hand recovery never overlaps a try event (issue 1921, ADR 0639) mesh/delivery merged: source.main moved to novox/mesh-delivery@abe9ea3796ea Details mesh/check being carried to f9578cb7b418 on 8c67adaf9136 \| from abe9ea3796ea Claude-Session: https://claude.ai/code/session_01NcbgfFSnn24M3GcqttoU7i	2026-11-05 19:24:45 +01:00
jschoubben	69a2790099	The indexer fixes its own build once at its start and never learns it later; a merge held for an unknown own build is said pending with why and since (issue 1921, ADR 0633 §1) Claude-Session: https://claude.ai/code/session_01NcbgfFSnn24M3GcqttoU7i	2026-11-05 18:47:31 +01:00
jschoubben	88a47be251	A try says its end with the state it ended in, kept in the try's own state, so an end after a checker restart is still said; only the checker publishes try events (issue 1921) Claude-Session: https://claude.ai/code/session_01NcbgfFSnn24M3GcqttoU7i	2026-11-05 18:47:31 +01:00
jschoubben	bd5eb33e9e	A failed recovery of the open tries is said and retried; every open try is listed; a silent node ends a try as error (issue 1921) Claude-Session: https://claude.ai/code/session_01NcbgfFSnn24M3GcqttoU7i	2026-11-05 18:38:11 +01:00
jschoubben	c2b8ac3370	The indexer hears the checker's events after it lists the open tries; rows for the start order and the config skip (issue 1921) Claude-Session: https://claude.ai/code/session_01NcbgfFSnn24M3GcqttoU7i	2026-11-05 18:35:22 +01:00
jschoubben	92c38981ea	mesh-sdk's tests read mesh-contracts and mesh-delivery beside it (issue 1921) mesh-sdk compares its bootstrapped seat definitions with their contracts files, read beside it; the checker places both, at the group's head for a member, else at the trunk, for a check and for a group try alike. Claude-Session: https://claude.ai/code/session_01NcbgfFSnn24M3GcqttoU7i	2026-11-05 18:30:35 +01:00
jschoubben	45386212da	A group try's candidate follows the checker's try events, judged in one locked pass (issue 1921) The checker says try.started (members at their commits) and try.ended for a whole try; the indexer writes and deletes the candidate from them and finds the open tries again at its start through checker_tries, never reading the checker's state. The try's digests are judged inside the one pass that takes the seats; the definitions of every contracts module of each member are read; the config declarations leave a try's candidate alone. Claude-Session: https://claude.ai/code/session_01NcbgfFSnn24M3GcqttoU7i	2026-11-05 18:28:52 +01:00
jschoubben	b97e277d2d	The indexer writes a group try's candidate from the checker's try and its previews (issue 1921) A whole try has no pull request, yet compose-candidate and the manifest validator read the indexer's candidate of a group. The indexer reads the checker's tries, writes candidates.<try id> (number 0 per member) from the previews, judges its manifests with the seat definitions the members carry, leaves try-* alone in the open message, deletes it when the try ends, and has a tool that reads and one that drops it. Claude-Session: https://claude.ai/code/session_01NcbgfFSnn24M3GcqttoU7i	2026-11-05 18:13:29 +01:00
jschoubben	8823cc29d6	Merge branch 'fix/validate-successor-with-its-definitions' into fix/1921-group-try	2026-11-05 18:06:35 +01:00
jschoubben	55936c1cd7	Try a delivery group: members at exact commits, judged by the code of a group's check, every failure named (issue 1921) A try names several repositories, each the exact commit asked. A whole try (not narrowed to a level or tests) runs the group check's own path: the manifest validator, the module graph and the composition on every placed node, reading the indexer's candidate of the try's group. A try with no such candidate is an error that says so, never a pass. A try's candidate is no check: the checker leaves it alone and owes the forge nothing. Claude-Session: https://claude.ai/code/session_01NcbgfFSnn24M3GcqttoU7i	2026-11-05 18:05:24 +01:00
jschoubben	31ff708f88	Judge a successor indexer's manifest with the seat definitions its revision carries, not the built-in list (issue 1966, ADR 0633 §1, §6) The take-in's dry run reads the contracts modules' definitions of the revision's merges and puts them over the seats while it judges; cmd/mesh-judge puts the request's seats over its own. A refusal of the named indexer's manifest is said on take-in.pending and in indexer_pending. Claude-Session: https://claude.ai/code/session_01NcbgfFSnn24M3GcqttoU7i	2026-11-05 17:52:53 +01:00