No client names the holder of the seat mesh-provisioner: each reader keeps its own constant, held to its manifest (ADR 0625 section 4, issue 1966)

Claude-Session: https://claude.ai/code/session_01NcbgfFSnn24M3GcqttoU7i

modules/postgres/cmd/postgres-provider/moved.go

@@ -30,8 +30,12 @@ const ProvisionName = "postgres-database"
 // It serves its consumers the port its server is published on, on its machine (servedPort), never the container's
 // own 5432: on a machine that publishes it elsewhere (6852:5432 on novox) nothing answers 5432 (issue 957).
 func moved(consumersFile string, h *harness.Harness, servedPort int) (*harness.Moved, *provider.Provider, provider.Bus, error) {
-	return harness.NewMoved(consumersFile, h, harness.MovedSpec{Module: "postgres", Provision: ProvisionName,
+	return harness.NewMoved(consumersFile, h, harness.MovedSpec{Module: "postgres", Provisioner: provisionerModule, Provision: ProvisionName,
 		Offer: provider.Offer{Credential: provider.PerConsumer, Serves: map[string]any{"port": servedPort}},
 		Login: func(e provider.Entry) string { return e.User },
 		Noun:  "login", Made: "login", Backend: "the backend", WithGrants: true})
 }
+
+// provisionerModule is the holder of the seat mesh-provisioner, named from this module's manifest (its `reads` of plans and
+// provisions; TestTheProvisionerIsTheManifests).
+const provisionerModule = "mesh-provisioner"

modules/postgres/cmd/postgres-provider/provisioner_names_test.go

@@ -0,0 +1,28 @@
+package main
+
+import (
+	"encoding/json"
+	"os"
+	"slices"
+	"testing"
+)
+
+// The module holding the seat mesh-provisioner, which this provider reads the plans and provisions of, is the one its manifest's
+// `reads` name: no client names a holder (novox/hq ADR 0625 §4).
+func TestTheProvisionerIsTheManifests(t *testing.T) {
+	raw, err := os.ReadFile("../../module.json")
+	if err != nil {
+		t.Fatal(err)
+	}
+	var m struct {
+		Reads []string `json:"reads"`
+	}
+	if err := json.Unmarshal(raw, &m); err != nil {
+		t.Fatal(err)
+	}
+	for _, state := range []string{"plans", "provisions"} {
+		if !slices.Contains(m.Reads, provisionerModule+"."+state) {
+			t.Errorf("the provider reads %s.%s, its manifest's reads are %v", provisionerModule, state, m.Reads)
+		}
+	}
+}