From 7cdcc34a6fa5643a09767a4a93cf02cbc45c875c Mon Sep 17 00:00:00 2001 From: jochen Date: Thu, 5 Nov 2026 18:45:50 +0100 Subject: [PATCH] RemovedDeliveryVerbs leaves mesh-sdk for the seat mesh-delivery's client (ADR 0634 section 2, issue 1966) Claude-Session: https://claude.ai/code/session_01NcbgfFSnn24M3GcqttoU7i --- go/catalogue/delivery_seat.go | 14 -------------- go/catalogue/verbs_r6_test.go | 6 +++--- 2 files changed, 3 insertions(+), 17 deletions(-) diff --git a/go/catalogue/delivery_seat.go b/go/catalogue/delivery_seat.go index 6521ff7..f5f8912 100644 --- a/go/catalogue/delivery_seat.go +++ b/go/catalogue/delivery_seat.go @@ -1,19 +1,5 @@ package catalogue -// DeliverySeat is the seat mesh-delivery holds. - -// RemovedDeliveryVerbs are the delivery seat's verbs release 6 removed (novox/hq ADR 0539 clause 17): with no plan the -// gate keeps the merge's states and derives nothing after the merge. Each stays in deliveryVerbs as an optional row -// with no input, so the holder of before and the holder of release 6 both hold the seat and a caller is answered by -// name with its replacement, given here. -var RemovedDeliveryVerbs = map[string]string{ - "times": "the delivery view (nox-delivery): each machine's want and have, and since when", - "what-if": "the merge check's composition, which composes every machine a change touches", - "release": "the assigner's asks (hold, restore, backup, record), answered on the phone or in the delivery view", - "stop": "a bad fingerprint is held and its canary set back by the assigner (ADR 0429 ยง6, ADR 0539 clause 18)", - "retire-history": "nothing to retire: the gate keeps no delivery after its merge", -} - // SeatSays is whether a consumed `.` names one of the seat's own events: the seat emits it, // exactly or by one of its patterns (`log.*`). A consumed name whose emitter is a seat and whose event the // seat does not emit is the event of the module of that name (novox/hq ADR 0239): mesh-delivery is a seat diff --git a/go/catalogue/verbs_r6_test.go b/go/catalogue/verbs_r6_test.go index 546d8fe..31254e1 100644 --- a/go/catalogue/verbs_r6_test.go +++ b/go/catalogue/verbs_r6_test.go @@ -19,9 +19,9 @@ func TestTheDeliverySeatHasNoPlanVerbs(t *testing.T) { } for _, name := range []string{"times", "what-if", "release", "stop", "retire-history"} { v, ok := rows[name] - replacement, removed := RemovedDeliveryVerbs[name] - if !ok || !removed || replacement == "" { - t.Errorf("%s: in the table %v, in the removed list %v", name, ok, removed) + replacement := strings.TrimPrefix(v.Description, "Removed in R6 (ADR 0539): refused by name, naming its replacement: ") + if !ok || replacement == "" || replacement == v.Description { + t.Errorf("%s: in the table %v, replacement %q", name, ok, replacement) continue } if !strings.HasPrefix(v.Description, "Removed in R6 (ADR 0539): refused by name") || !strings.Contains(v.Description, replacement) || !v.Optional {