From c6c66873f454774860a771fb32d793b59573f102 Mon Sep 17 00:00:00 2001 From: jochen Date: Wed, 4 Nov 2026 14:14:37 +0100 Subject: [PATCH] DLV-M6r5: the judge takes a claimed seat's module with tools of its own beside its seat's verbs The lead's ruling 5: one row in the judge's table, the enrolment's shape (a claim serving the seat's verbs and the first-view tools in its own tools list); the judge accepts it as it stands. Claude-Session: https://claude.ai/code/session_01JG73KJNrH5EgFXMKKYSrig --- modules/mesh-delivery-indexer/judge/judge_test.go | 7 +++++++ 1 file changed, 7 insertions(+) diff --git a/modules/mesh-delivery-indexer/judge/judge_test.go b/modules/mesh-delivery-indexer/judge/judge_test.go index 27caf578..c59d5c37 100644 --- a/modules/mesh-delivery-indexer/judge/judge_test.go +++ b/modules/mesh-delivery-indexer/judge/judge_test.go @@ -35,6 +35,13 @@ func TestTheJudge(t *testing.T) { "two": `{"module":"two","version":"1","seats":[{"name":"thing","scope":"mesh"}]}`, "ok": `{"module":"ok","version":"1"}`}, want: map[string]string{"one": "already declares", "two": "already declares"}}, + // The lead's ruling 5 for A2h: a module that claims a seat and serves its verbs keeps tools of its own beside them + // (the enrolment's first-view tools, DLV-M6), and the judge takes it. + {name: "a claimed seat's module with tools of its own", + raws: map[string]string{ + "def": `{"module":"def","version":"1","seats":[{"name":"enrolment","scope":"mesh","serves":["issue","again"]}]}`, + "enrolment": `{"module":"enrolment","version":"1","claims":[{"name":"enrolment","scope":"mesh","serves":["issue","again"]}],` + + `"tools":["enrolment_first_views","enrolment_first_view_again"]}`}}, } { raws := map[string][]byte{} for k, v := range row.raws {