Gate: merge turns, a merge waits for a running check of its repository, merges on a carried verdict with no second ask (ADR 0548, issue 568) #493

Merged

mesh-tools merged 10 commits from feat/548-one-check into main 2026-10-26 12:01:28 +00:00

Conversation 1 Commits 10 Files Changed 16

+781 -21

10 Commits

Author	SHA1	Message	Date
jschoubben	e9279ce3c2	gate: find an approved merge by its ask, not by which member's run was seen first, so a group's turns are written before its first member is handed at every look (ADR 0548 §3; issue 568, review round 1)	2026-10-26 12:32:46 +01:00
jschoubben	99cc073e2a	gate: pin mesh-sdk at the group's head 9c61918ac36f, where a turn never holds the check of heads waiting in it (ADR 0548 §3; issue 568, review round 1)	2026-10-26 12:15:20 +01:00
jschoubben	b94150fcdb	gitea: the merge tool reads a carried verdict's line as judged on the new trunk, so it merges a carried verdict (ADR 0548 §8; issue 568, review round 1)	2026-10-26 12:15:20 +01:00
jschoubben	7627503d9d	gate: pin mesh-sdk at the group's head f5c233a9288c, which holds the merge turns and the carried verdict (ADR 0548 §10; issue 568)	2026-10-26 11:45:30 +01:00
jschoubben	351c7c4bf4	gate: deliveries and show say an approved merge waits for the check of the named delivery on the named repository, and the turns bucket is read by the checker alone, written by the gate alone (ADR 0548 §3, §9; issue 568 G6)	2026-10-26 11:44:29 +01:00
jschoubben	55a26b22cf	gate: delivery_turns reads every merge turn with the check it waits for, and delivery_hand_now hands a held merge at once on the operator's word (ADR 0548 §4; issue 568 G5)	2026-10-26 11:43:40 +01:00
jschoubben	100e74f283	gate: an approved merge whose trunk moved waits for its carried verdict and merges on it with no second ask, never on the old one (ADR 0548 §8; issue 568 G4)	2026-10-26 11:43:18 +01:00
jschoubben	c8e1e2b2fa	gate: a merge held past 30 minutes by another delivery's check is a stalled line naming that check and since when, said as delivery.<id>.stalled (ADR 0548 §4; issue 568 G3)	2026-10-26 11:41:42 +01:00
jschoubben	d0d00f922a	gate: an approved merge writes its turn on every repository it goes into before it is handed, kept for a group until its last member merged, read by the checker (ADR 0548 §3; issue 568 G2)	2026-10-26 11:41:26 +01:00
jschoubben	c2bd7760b2	gate: hand no approved merge into a repository a running check of other heads judges, and hand it on that check's end (ADR 0548 §2; issue 568 G1)	2026-10-26 11:40:35 +01:00