@moltzap/client 2026.922.2 → 2026.930.0

package/dist/daemon/runtime/protocol.js

@@ -1,42 +1,58 @@
 /** @file Protocol acquisition, supervision, and pending-delivery reconciliation. */
 import { Registry } from "@moltzap/identity/registry";
 import { Router } from "@moltzap/router";
-import { Cause, Deferred, Effect, Scope } from "effect";
+import { Cause, Deferred, Effect, Schema, Scope } from "effect";
+import { AgentAddress } from "../../contract.js";
+import { makeCollectiveOperations, } from "../../endpoint/collective/operation.js";
 import { decodeOuterBody } from "../../endpoint/representation.js";
 import { RouterWorkerPayloadInvalidError, } from "../../endpoint/router-worker/index.js";
 import { DaemonActivationError, DaemonRuntimeError, recoverPinnedSenderCards, } from "./activation.js";
+import { mintLocalDeliveryToken, offerPendingMessages, } from "./pending-delivery.js";
 const signStructurallyValidAction = () => Effect.succeed("sign");
 const activationFailure = (reason) => new DaemonActivationError({ reason });
 const runtimeFailure = (phase) => new DaemonRuntimeError({ phase });
 const mapWorkerInitializationError = (error) => activationFailure(error._tag === "RouterWorkerTransportError" ? "upstream" : "representation");
 /**
- * Publish newly durable messages while one active native subscriber exists.
+ * What one pass reads and changes, from the active protocol and the
+ * controller's delivery state. Items are offered only to an attached
+ * subscriber.
+ */
+const pendingOffer = (environment, protocol) => {
+    const { state } = environment;
+    const handler = state.subscriptionActive ? state.handler : undefined;
+    return {
+        engine: protocol.engine,
+        classify: protocol.collectives.classify,
+        ...(handler === undefined ? {} : { handler }),
+        historyExport: environment.historyExport,
+        publishedDeliveries: state.publishedDeliveries,
+        exportedDeliveries: state.exportedDeliveries,
+        classifiedItems: state.classifiedItems,
+    };
+};
+/**
+ * Classify newly durable deliveries and publish what a subscriber can take.
+ * The pass runs with or without a subscriber, so the collective layer
+ * consumes protocol posts even while no host is attached.
  * @param environment Protocol resources and controller-owned delivery state.
  * @param deliveryGate Serializes pending reads with subscription changes.
- * @returns Completion after every currently publishable delivery is offered.
+ * @returns Completion after every current delivery is consumed or offered.
  */
 export const publishPendingMessages = (environment, deliveryGate) => deliveryGate.withPermits(1)(Effect.suspend(() => {
     const protocol = environment.state.activeProtocol;
-    if (!environment.state.subscriptionActive || protocol === undefined) {
+    if (protocol === undefined) {
         return Effect.void;
     }
-    return protocol.engine.readPendingMessages().pipe(Effect.flatMap((messages) => Effect.sync(() => {
-        const handler = environment.state.handler;
-        if (handler === undefined) {
-            return;
-        }
-        for (const pending of messages) {
-            if (environment.state.publishedDeliveries.has(pending.deliveryToken)) {
-                continue;
-            }
-            const event = pending;
-            if (!handler.publish(event)) {
-                return;
-            }
-            environment.state.publishedDeliveries.add(pending.deliveryToken);
-        }
-    })), Effect.catchAll(() => Deferred.fail(environment.fatal, runtimeFailure("storage")).pipe(Effect.asVoid)));
+    return protocol.engine.readPendingMessages().pipe(Effect.flatMap((messages) => offerPendingMessages(pendingOffer(environment, protocol), messages, environment.state.localItems)), Effect.catchAll(() => Deferred.fail(environment.fatal, runtimeFailure("storage")).pipe(Effect.asVoid)));
 }));
+/**
+ * Queue an item the collective layer emitted and start a publication pass.
+ * The pass is forked because the layer can emit from inside one, which holds
+ * the delivery gate.
+ */
+const emitLocalItem = (environment, reconciler, item) => mintLocalDeliveryToken.pipe(Effect.tap((deliveryToken) => Effect.sync(() => {
+    environment.state.localItems.set(deliveryToken, item);
+})), Effect.zipRight(Effect.forkIn(reconciler, environment.daemonScope)), Effect.asVoid);
 /**
  * Propagate interruption and convert other background failures to daemon failure.
  * @param fatal Process-wide failure signal.
@@ -78,7 +94,6 @@ const acquireProtocolEngine = (environment, agentCard, worker) => environment.de
     store: environment.store,
     routerWorker: worker,
     actionPolicy: signStructurallyValidAction,
-    historyExport: environment.historyExport,
 })
     .pipe(Scope.extend(environment.daemonScope), Effect.mapError(mapEngineInitializationError));
 const checkExistingProtocol = (agentCard, activeProtocol) => {
@@ -91,8 +106,23 @@ const checkExistingProtocol = (agentCard, activeProtocol) => {
     }
     return Effect.succeed(true);
 };
-const retainActiveProtocol = (state, protocol) => {
-    state.activeProtocol = protocol;
+/**
+ * The collective layer for the active identity: it certifies posts through
+ * the engine and queues the items it emits for the next publication pass.
+ */
+const makeProtocolCollectives = (environment, reconciler, agentCard, engine) => makeCollectiveOperations({
+    self: Schema.decodeUnknownSync(AgentAddress)(`agent:${agentCard.agentName}`),
+    lookupMember: (member) => engine.resolveAddress(member),
+    sendPost: (input) => engine.send(input),
+    emit: (item) => emitLocalItem(environment, reconciler, item),
+    scope: environment.daemonScope,
+});
+/** Hold the active protocol with its collective layer for later operations. */
+const retainActiveProtocol = (environment, reconciler, protocol) => {
+    environment.state.activeProtocol = {
+        ...protocol,
+        collectives: makeProtocolCollectives(environment, reconciler, protocol.agentCard, protocol.engine),
+    };
 };
 /**
  * Acquire and supervise the protocol resources for one immutable daemon identity.
@@ -123,7 +153,11 @@ export const initializeProtocol = (environment, activationGate, reconciler, agen
         publishPending: reconciler,
     });
     const engine = yield* acquireProtocolEngine(environment, agentCard, worker);
-    retainActiveProtocol(environment.state, { agentCard, worker, engine });
+    retainActiveProtocol(environment, reconciler, {
+        agentCard,
+        worker,
+        engine,
+    });
     yield* Deferred.succeed(engineReady, engine);
     yield* superviseBackground(environment, worker.run);
     yield* superviseBackground(environment, engine.runOutbound);

package/dist/daemon/runtime/protocol.js.map

@@ -1 +1 @@
-{"version":3,"file":"protocol.js","sourceRoot":"","sources":["../../../src/daemon/runtime/protocol.ts"],"names":[],"mappings":"AAAA,oFAAoF;AAGpF,OAAO,EAAE,QAAQ,EAAE,MAAM,4BAA4B,CAAC;AACtD,OAAO,EAAE,MAAM,EAAE,MAAM,iBAAiB,CAAC;AACzC,OAAO,EAAE,KAAK,EAAgB,QAAQ,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,QAAQ,CAAC;AAStE,OAAO,EAAE,eAAe,EAAE,MAAM,kCAAkC,CAAC;AACnE,OAAO,EAGL,+BAA+B,GAGhC,MAAM,uCAAuC,CAAC;AAC/C,OAAO,EACL,qBAAqB,EAErB,kBAAkB,EAClB,wBAAwB,GACzB,MAAM,iBAAiB,CAAC;AA2CzB,MAAM,2BAA2B,GAAG,GAAG,EAAE,CACvC,MAAM,CAAC,OAAO,CAAoB,MAAM,CAAC,CAAC;AAE5C,MAAM,iBAAiB,GAAG,CACxB,MAAuC,EAChB,EAAE,CAAC,IAAI,qBAAqB,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC;AAElE,MAAM,cAAc,GAAG,CACrB,KAAkC,EACd,EAAE,CAAC,IAAI,kBAAkB,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC;AAE3D,MAAM,4BAA4B,GAAG,CACnC,KAA6D,EACtC,EAAE,CACzB,iBAAiB,CACf,KAAK,CAAC,IAAI,KAAK,4BAA4B,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,gBAAgB,CAC5E,CAAC;AAEJ;;;;;GAKG;AACH,MAAM,CAAC,MAAM,sBAAsB,GAAG,CACpC,WAAgC,EAChC,YAA8B,EACT,EAAE,CACvB,YAAY,CAAC,WAAW,CAAC,CAAC,CAAC,CACzB,MAAM,CAAC,OAAO,CAAC,GAAG,EAAE;IAClB,MAAM,QAAQ,GAAG,WAAW,CAAC,KAAK,CAAC,cAAc,CAAC;IAClD,IAAI,CAAC,WAAW,CAAC,KAAK,CAAC,kBAAkB,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;QACpE,OAAO,MAAM,CAAC,IAAI,CAAC;IACrB,CAAC;IACD,OAAO,QAAQ,CAAC,MAAM,CAAC,mBAAmB,EAAE,CAAC,IAAI,CAC/C,MAAM,CAAC,OAAO,CAAC,CAAC,QAAQ,EAAE,EAAE,CAC1B,MAAM,CAAC,IAAI,CAAC,GAAG,EAAE;QACf,MAAM,OAAO,GAAG,WAAW,CAAC,KAAK,CAAC,OAAO,CAAC;QAC1C,IAAI,OAAO,KAAK,SAAS,EAAE,CAAC;YAC1B,OAAO;QACT,CAAC;QACD,KAAK,MAAM,OAAO,IAAI,QAAQ,EAAE,CAAC;YAC/B,IACE,WAAW,CAAC,KAAK,CAAC,mBAAmB,CAAC,GAAG,CAAC,OAAO,CAAC,aAAa,CAAC,EAChE,CAAC;gBACD,SAAS;YACX,CAAC;YACD,MAAM,KAAK,GAA6B,OAAO,CAAC;YAChD,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;gBAC5B,OAAO;YACT,CAAC;YACD,WAAW,CAAC,KAAK,CAAC,mBAAmB,CAAC,GAAG,CAAC,OAAO,CAAC,aAAa,CAAC,CAAC;QACnE,CAAC;IACH,CAAC,CAAC,CACH,EACD,MAAM,CAAC,QAAQ,CAAC,GAAG,EAAE,CACnB,QAAQ,CAAC,IAAI,CAAC,WAAW,CAAC,KAAK,EAAE,cAAc,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAC9D,MAAM,CAAC,MAAM,CACd,CACF,CACF,CAAC;AACJ,CAAC,CAAC,CACH,CAAC;AAEJ;;;;;GAKG;AACH,MAAM,CAAC,MAAM,uBAAuB,GAAG,CACrC,KAAmD,EACnD,KAAqB,EACI,EAAE;IAC3B,IAAI,KAAK,CAAC,iBAAiB,CAAC,KAAK,CAAC,EAAE,CAAC;QACnC,OAAO,MAAM,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;IACjC,CAAC;IACD,OAAO,QAAQ,CAAC,IAAI,CAAC,KAAK,EAAE,cAAc,CAAC,UAAU,CAAC,CAAC,CAAC,IAAI,CAC1D,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,KAAK,CAAC,CAC9B,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,mBAAmB,GAAG,CAC1B,WAAgC,EAChC,MAAqC,EACrC,EAAE,CACF,MAAM,CAAC,IAAI,CACT,MAAM,CAAC,aAAa,CAAC,CAAC,KAAK,EAAE,EAAE,CAC7B,uBAAuB,CAAC,WAAW,CAAC,KAAK,EAAE,KAAK,CAAC,CAClD,EACD,MAAM,CAAC,aAAa,EACpB,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC,WAAW,CAAC,EACtC,MAAM,CAAC,MAAM,CACd,CAAC;AAEJ,MAAM,mBAAmB,GAAG,CAC1B,WAA0C,EAC1C,cAAmC,EACH,EAAE,CAAC,CAAC;IACpC,aAAa,EAAE,GAAG,EAAE,CAAC,WAAW,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC;IACpD,aAAa,EAAE,CAAC,OAAO,EAAE,EAAE,CACzB,eAAe,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,IAAI,CAChC,MAAM,CAAC,QAAQ,CAAC,2BAA2B,EAAE,GAAG,EAAE,CAChD,MAAM,CAAC,IAAI,CAAC,IAAI,+BAA+B,EAAE,CAAC,CACnD,CACF;IACH,aAAa,EAAE,CAAC,OAAO,EAAE,EAAE,CACzB,WAAW,CAAC,IAAI,CACd,MAAM,CAAC,OAAO,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,mBAAmB,CAAC,OAAO,CAAC,CAAC,EAC/D,MAAM,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC,cAAc,CAAC,CACjC;IACH,qBAAqB,EAAE,CAAC,OAAO,EAAE,EAAE,CACjC,WAAW,CAAC,IAAI,CACd,MAAM,CAAC,OAAO,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,qBAAqB,CAAC,OAAO,CAAC,CAAC,EACjE,MAAM,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC,cAAc,CAAC,CACjC;IACH,oBAAoB,EAAE,CAAC,MAAM,EAAE,EAAE,CAC/B,WAAW,CAAC,IAAI,CACd,MAAM,CAAC,OAAO,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,oBAAoB,CAAC,MAAM,CAAC,CAAC,CAChE;IACH,uBAAuB,EAAE,CAAC,QAAQ,EAAE,EAAE,CACpC,WAAW,CAAC,IAAI,CACd,MAAM,CAAC,OAAO,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,uBAAuB,CAAC,QAAQ,CAAC,CAAC,EACpE,MAAM,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC,cAAc,CAAC,CACjC;CACJ,CAAC,CAAC;AAEH,MAAM,qBAAqB,GAAG,CAAC,KAAiC,EAAE,EAAE,CAClE,KAAK,CAAC,WAAW,CAAC,YAAY;KAC3B,UAAU,CAAC;IACV,aAAa,EAAE,KAAK,CAAC,SAAS,CAAC,OAAO;IACtC,eAAe,EAAE,KAAK,CAAC,SAAS;IAChC,iBAAiB,EAAE,KAAK,CAAC,iBAAiB;IAC1C,gBAAgB,EAAE,KAAK,CAAC,WAAW,CAAC,SAAS,CAAC,gBAAgB;IAC9D,MAAM,EAAE,KAAK,CAAC,WAAW,CAAC,KAAK;IAC/B,SAAS,EAAE,mBAAmB,CAAC,KAAK,CAAC,WAAW,EAAE,KAAK,CAAC,cAAc,CAAC;CACxE,CAAC;KACD,IAAI,CACH,MAAM,CAAC,cAAc,CAAC,QAAQ,EAAE,KAAK,CAAC,WAAW,CAAC,QAAQ,CAAC,EAC3D,MAAM,CAAC,cAAc,CAAC,MAAM,EAAE,KAAK,CAAC,WAAW,CAAC,MAAM,CAAC,EACvD,MAAM,CAAC,QAAQ,CAAC,4BAA4B,CAAC,CAC9C,CAAC;AAEN,MAAM,4BAA4B,GAAG,CACnC,KAAgC,EACT,EAAE,CACzB,iBAAiB,CACf,KAAK,CAAC,MAAM,KAAK,UAAU,CAAC,CAAC,CAAC,gBAAgB,CAAC,CAAC,CAAC,KAAK,CAAC,MAAM,CAC9D,CAAC;AAEJ,MAAM,qBAAqB,GAAG,CAC5B,WAAgC,EAChC,SAA4B,EAC5B,MAAoB,EACpB,EAAE,CACF,WAAW,CAAC,YAAY;KACrB,UAAU,CAAC;IACV,cAAc,EAAE,SAAS;IACzB,gBAAgB,EAAE,WAAW,CAAC,SAAS,CAAC,gBAAgB;IACxD,uBAAuB,EACrB,WAAW,CAAC,SAAS,CAAC,aAAa,CAAC,uBAAuB;IAC7D,QAAQ,EAAE,WAAW,CAAC,QAAQ;IAC9B,KAAK,EAAE,WAAW,CAAC,KAAK;IACxB,YAAY,EAAE,MAAM;IACpB,YAAY,EAAE,2BAA2B;IACzC,aAAa,EAAE,WAAW,CAAC,aAAa;CACzC,CAAC;KACD,IAAI,CACH,KAAK,CAAC,MAAM,CAAC,WAAW,CAAC,WAAW,CAAC,EACrC,MAAM,CAAC,QAAQ,CAAC,4BAA4B,CAAC,CAC9C,CAAC;AAEN,MAAM,qBAAqB,GAAG,CAC5B,SAA4B,EAC5B,cAA+B,EACgB,EAAE;IACjD,IAAI,cAAc,KAAK,SAAS,EAAE,CAAC;QACjC,OAAO,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;IAC/B,CAAC;IACD,IACE,cAAc,CAAC,SAAS,CAAC,OAAO,KAAK,SAAS,CAAC,OAAO;QACtD,cAAc,CAAC,SAAS,CAAC,SAAS,CAAC,CAAC,KAAK,SAAS,CAAC,SAAS,CAAC,CAAC,EAC9D,CAAC;QACD,OAAO,MAAM,CAAC,IAAI,CAAC,iBAAiB,CAAC,gBAAgB,CAAC,CAAC,CAAC;IAC1D,CAAC;IACD,OAAO,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;AAC9B,CAAC,CAAC;AAEF,MAAM,oBAAoB,GAAG,CAC3B,KAAoB,EACpB,QAAwB,EAClB,EAAE;IACR,KAAK,CAAC,cAAc,GAAG,QAAQ,CAAC;AAClC,CAAC,CAAC;AAEF;;;;;;;GAOG;AACH,MAAM,CAAC,MAAM,kBAAkB,GAAG,CAChC,WAAgC,EAChC,cAAgC,EAChC,UAA+B,EAC/B,SAA4B,EACgB,EAAE,CAC9C,cAAc;KACX,WAAW,CAAC,CAAC,CAAC,CACb,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;IAClB,MAAM,aAAa,GAAG,KAAK,CAAC,CAAC,qBAAqB,CAChD,SAAS,EACT,WAAW,CAAC,KAAK,CAAC,cAAc,CACjC,CAAC;IACF,IAAI,aAAa,EAAE,CAAC;QAClB,OAAO;IACT,CAAC;IACD,MAAM,iBAAiB,GAAG,KAAK,CAAC,CAAC,wBAAwB,CAAC;QACxD,KAAK,EAAE,WAAW,CAAC,KAAK;QACxB,cAAc,EAAE,SAAS;QACzB,SAAS,EAAE,WAAW,CAAC,SAAS;KACjC,CAAC,CAAC;IACH,MAAM,WAAW,GAAG,KAAK,CAAC,CAAC,QAAQ,CAAC,IAAI,EAAkB,CAAC;IAC3D,MAAM,WAAW,GAAG,QAAQ,CAAC,KAAK,CAAC,WAAW,CAAC,CAAC;IAChD,MAAM,MAAM,GAAG,KAAK,CAAC,CAAC,qBAAqB,CAAC;QAC1C,WAAW;QACX,SAAS;QACT,iBAAiB;QACjB,WAAW;QACX,cAAc,EAAE,UAAU;KAC3B,CAAC,CAAC;IACH,MAAM,MAAM,GAAG,KAAK,CAAC,CAAC,qBAAqB,CACzC,WAAW,EACX,SAAS,EACT,MAAM,CACP,CAAC;IACF,oBAAoB,CAAC,WAAW,CAAC,KAAK,EAAE,EAAE,SAAS,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC,CAAC;IACvE,KAAK,CAAC,CAAC,QAAQ,CAAC,OAAO,CAAC,WAAW,EAAE,MAAM,CAAC,CAAC;IAC7C,KAAK,CAAC,CAAC,mBAAmB,CAAC,WAAW,EAAE,MAAM,CAAC,GAAG,CAAC,CAAC;IACpD,KAAK,CAAC,CAAC,mBAAmB,CAAC,WAAW,EAAE,MAAM,CAAC,WAAW,CAAC,CAAC;IAC5D,KAAK,CAAC,CAAC,UAAU,CAAC,IAAI,CACpB,MAAM,CAAC,QAAQ,CAAC,GAAG,EAAE,CAAC,iBAAiB,CAAC,UAAU,CAAC,CAAC,CACrD,CAAC;AACJ,CAAC,CAAC,CACH;KACA,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,oBAAoB,CAAC,CAAC,CAAC"}
+{"version":3,"file":"protocol.js","sourceRoot":"","sources":["../../../src/daemon/runtime/protocol.ts"],"names":[],"mappings":"AAAA,oFAAoF;AAGpF,OAAO,EAAE,QAAQ,EAAE,MAAM,4BAA4B,CAAC;AACtD,OAAO,EAAE,MAAM,EAAE,MAAM,iBAAiB,CAAC;AACzC,OAAO,EAAE,KAAK,EAAgB,QAAQ,EAAE,MAAM,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,QAAQ,CAAC;AAQ9E,OAAO,EAAE,YAAY,EAAoB,MAAM,mBAAmB,CAAC;AACnE,OAAO,EAEL,wBAAwB,GACzB,MAAM,wCAAwC,CAAC;AAChD,OAAO,EAAE,eAAe,EAAE,MAAM,kCAAkC,CAAC;AACnE,OAAO,EAGL,+BAA+B,GAGhC,MAAM,uCAAuC,CAAC;AAC/C,OAAO,EACL,qBAAqB,EAErB,kBAAkB,EAClB,wBAAwB,GACzB,MAAM,iBAAiB,CAAC;AACzB,OAAO,EACL,sBAAsB,EACtB,oBAAoB,GAErB,MAAM,uBAAuB,CAAC;AAsD/B,MAAM,2BAA2B,GAAG,GAAG,EAAE,CACvC,MAAM,CAAC,OAAO,CAAoB,MAAM,CAAC,CAAC;AAE5C,MAAM,iBAAiB,GAAG,CACxB,MAAuC,EAChB,EAAE,CAAC,IAAI,qBAAqB,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC;AAElE,MAAM,cAAc,GAAG,CACrB,KAAkC,EACd,EAAE,CAAC,IAAI,kBAAkB,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC;AAE3D,MAAM,4BAA4B,GAAG,CACnC,KAA6D,EACtC,EAAE,CACzB,iBAAiB,CACf,KAAK,CAAC,IAAI,KAAK,4BAA4B,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,gBAAgB,CAC5E,CAAC;AAEJ;;;;GAIG;AACH,MAAM,YAAY,GAAG,CACnB,WAAgC,EAChC,QAAwB,EACV,EAAE;IAChB,MAAM,EAAE,KAAK,EAAE,GAAG,WAAW,CAAC;IAC9B,MAAM,OAAO,GAAG,KAAK,CAAC,kBAAkB,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,SAAS,CAAC;IACrE,OAAO;QACL,MAAM,EAAE,QAAQ,CAAC,MAAM;QACvB,QAAQ,EAAE,QAAQ,CAAC,WAAW,CAAC,QAAQ;QACvC,GAAG,CAAC,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,CAAC;QAC7C,aAAa,EAAE,WAAW,CAAC,aAAa;QACxC,mBAAmB,EAAE,KAAK,CAAC,mBAAmB;QAC9C,kBAAkB,EAAE,KAAK,CAAC,kBAAkB;QAC5C,eAAe,EAAE,KAAK,CAAC,eAAe;KACvC,CAAC;AACJ,CAAC,CAAC;AAEF;;;;;;;GAOG;AACH,MAAM,CAAC,MAAM,sBAAsB,GAAG,CACpC,WAAgC,EAChC,YAA8B,EACT,EAAE,CACvB,YAAY,CAAC,WAAW,CAAC,CAAC,CAAC,CACzB,MAAM,CAAC,OAAO,CAAC,GAAG,EAAE;IAClB,MAAM,QAAQ,GAAG,WAAW,CAAC,KAAK,CAAC,cAAc,CAAC;IAClD,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;QAC3B,OAAO,MAAM,CAAC,IAAI,CAAC;IACrB,CAAC;IACD,OAAO,QAAQ,CAAC,MAAM,CAAC,mBAAmB,EAAE,CAAC,IAAI,CAC/C,MAAM,CAAC,OAAO,CAAC,CAAC,QAAQ,EAAE,EAAE,CAC1B,oBAAoB,CAClB,YAAY,CAAC,WAAW,EAAE,QAAQ,CAAC,EACnC,QAAQ,EACR,WAAW,CAAC,KAAK,CAAC,UAAU,CAC7B,CACF,EACD,MAAM,CAAC,QAAQ,CAAC,GAAG,EAAE,CACnB,QAAQ,CAAC,IAAI,CAAC,WAAW,CAAC,KAAK,EAAE,cAAc,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAC9D,MAAM,CAAC,MAAM,CACd,CACF,CACF,CAAC;AACJ,CAAC,CAAC,CACH,CAAC;AAEJ;;;;GAIG;AACH,MAAM,aAAa,GAAG,CACpB,WAAgC,EAChC,UAA+B,EAC/B,IAAiB,EACI,EAAE,CACvB,sBAAsB,CAAC,IAAI,CACzB,MAAM,CAAC,GAAG,CAAC,CAAC,aAAa,EAAE,EAAE,CAC3B,MAAM,CAAC,IAAI,CAAC,GAAG,EAAE;IACf,WAAW,CAAC,KAAK,CAAC,UAAU,CAAC,GAAG,CAAC,aAAa,EAAE,IAAI,CAAC,CAAC;AACxD,CAAC,CAAC,CACH,EACD,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC,UAAU,EAAE,WAAW,CAAC,WAAW,CAAC,CAAC,EACnE,MAAM,CAAC,MAAM,CACd,CAAC;AAEJ;;;;;GAKG;AACH,MAAM,CAAC,MAAM,uBAAuB,GAAG,CACrC,KAAmD,EACnD,KAAqB,EACI,EAAE;IAC3B,IAAI,KAAK,CAAC,iBAAiB,CAAC,KAAK,CAAC,EAAE,CAAC;QACnC,OAAO,MAAM,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;IACjC,CAAC;IACD,OAAO,QAAQ,CAAC,IAAI,CAAC,KAAK,EAAE,cAAc,CAAC,UAAU,CAAC,CAAC,CAAC,IAAI,CAC1D,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,KAAK,CAAC,CAC9B,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,mBAAmB,GAAG,CAC1B,WAAgC,EAChC,MAAqC,EACrC,EAAE,CACF,MAAM,CAAC,IAAI,CACT,MAAM,CAAC,aAAa,CAAC,CAAC,KAAK,EAAE,EAAE,CAC7B,uBAAuB,CAAC,WAAW,CAAC,KAAK,EAAE,KAAK,CAAC,CAClD,EACD,MAAM,CAAC,aAAa,EACpB,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC,WAAW,CAAC,EACtC,MAAM,CAAC,MAAM,CACd,CAAC;AAEJ,MAAM,mBAAmB,GAAG,CAC1B,WAA0C,EAC1C,cAAmC,EACH,EAAE,CAAC,CAAC;IACpC,aAAa,EAAE,GAAG,EAAE,CAAC,WAAW,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC;IACpD,aAAa,EAAE,CAAC,OAAO,EAAE,EAAE,CACzB,eAAe,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,IAAI,CAChC,MAAM,CAAC,QAAQ,CAAC,2BAA2B,EAAE,GAAG,EAAE,CAChD,MAAM,CAAC,IAAI,CAAC,IAAI,+BAA+B,EAAE,CAAC,CACnD,CACF;IACH,aAAa,EAAE,CAAC,OAAO,EAAE,EAAE,CACzB,WAAW,CAAC,IAAI,CACd,MAAM,CAAC,OAAO,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,mBAAmB,CAAC,OAAO,CAAC,CAAC,EAC/D,MAAM,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC,cAAc,CAAC,CACjC;IACH,qBAAqB,EAAE,CAAC,OAAO,EAAE,EAAE,CACjC,WAAW,CAAC,IAAI,CACd,MAAM,CAAC,OAAO,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,qBAAqB,CAAC,OAAO,CAAC,CAAC,EACjE,MAAM,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC,cAAc,CAAC,CACjC;IACH,oBAAoB,EAAE,CAAC,MAAM,EAAE,EAAE,CAC/B,WAAW,CAAC,IAAI,CACd,MAAM,CAAC,OAAO,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,oBAAoB,CAAC,MAAM,CAAC,CAAC,CAChE;IACH,uBAAuB,EAAE,CAAC,QAAQ,EAAE,EAAE,CACpC,WAAW,CAAC,IAAI,CACd,MAAM,CAAC,OAAO,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,uBAAuB,CAAC,QAAQ,CAAC,CAAC,EACpE,MAAM,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC,cAAc,CAAC,CACjC;CACJ,CAAC,CAAC;AAEH,MAAM,qBAAqB,GAAG,CAAC,KAAiC,EAAE,EAAE,CAClE,KAAK,CAAC,WAAW,CAAC,YAAY;KAC3B,UAAU,CAAC;IACV,aAAa,EAAE,KAAK,CAAC,SAAS,CAAC,OAAO;IACtC,eAAe,EAAE,KAAK,CAAC,SAAS;IAChC,iBAAiB,EAAE,KAAK,CAAC,iBAAiB;IAC1C,gBAAgB,EAAE,KAAK,CAAC,WAAW,CAAC,SAAS,CAAC,gBAAgB;IAC9D,MAAM,EAAE,KAAK,CAAC,WAAW,CAAC,KAAK;IAC/B,SAAS,EAAE,mBAAmB,CAAC,KAAK,CAAC,WAAW,EAAE,KAAK,CAAC,cAAc,CAAC;CACxE,CAAC;KACD,IAAI,CACH,MAAM,CAAC,cAAc,CAAC,QAAQ,EAAE,KAAK,CAAC,WAAW,CAAC,QAAQ,CAAC,EAC3D,MAAM,CAAC,cAAc,CAAC,MAAM,EAAE,KAAK,CAAC,WAAW,CAAC,MAAM,CAAC,EACvD,MAAM,CAAC,QAAQ,CAAC,4BAA4B,CAAC,CAC9C,CAAC;AAEN,MAAM,4BAA4B,GAAG,CACnC,KAAgC,EACT,EAAE,CACzB,iBAAiB,CACf,KAAK,CAAC,MAAM,KAAK,UAAU,CAAC,CAAC,CAAC,gBAAgB,CAAC,CAAC,CAAC,KAAK,CAAC,MAAM,CAC9D,CAAC;AAEJ,MAAM,qBAAqB,GAAG,CAC5B,WAAgC,EAChC,SAA4B,EAC5B,MAAoB,EACpB,EAAE,CACF,WAAW,CAAC,YAAY;KACrB,UAAU,CAAC;IACV,cAAc,EAAE,SAAS;IACzB,gBAAgB,EAAE,WAAW,CAAC,SAAS,CAAC,gBAAgB;IACxD,uBAAuB,EACrB,WAAW,CAAC,SAAS,CAAC,aAAa,CAAC,uBAAuB;IAC7D,QAAQ,EAAE,WAAW,CAAC,QAAQ;IAC9B,KAAK,EAAE,WAAW,CAAC,KAAK;IACxB,YAAY,EAAE,MAAM;IACpB,YAAY,EAAE,2BAA2B;CAC1C,CAAC;KACD,IAAI,CACH,KAAK,CAAC,MAAM,CAAC,WAAW,CAAC,WAAW,CAAC,EACrC,MAAM,CAAC,QAAQ,CAAC,4BAA4B,CAAC,CAC9C,CAAC;AAEN,MAAM,qBAAqB,GAAG,CAC5B,SAA4B,EAC5B,cAA+B,EACgB,EAAE;IACjD,IAAI,cAAc,KAAK,SAAS,EAAE,CAAC;QACjC,OAAO,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;IAC/B,CAAC;IACD,IACE,cAAc,CAAC,SAAS,CAAC,OAAO,KAAK,SAAS,CAAC,OAAO;QACtD,cAAc,CAAC,SAAS,CAAC,SAAS,CAAC,CAAC,KAAK,SAAS,CAAC,SAAS,CAAC,CAAC,EAC9D,CAAC;QACD,OAAO,MAAM,CAAC,IAAI,CAAC,iBAAiB,CAAC,gBAAgB,CAAC,CAAC,CAAC;IAC1D,CAAC;IACD,OAAO,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;AAC9B,CAAC,CAAC;AAEF;;;GAGG;AACH,MAAM,uBAAuB,GAAG,CAC9B,WAAgC,EAChC,UAA+B,EAC/B,SAA4B,EAC5B,MAAsB,EACA,EAAE,CACxB,wBAAwB,CAAC;IACvB,IAAI,EAAE,MAAM,CAAC,iBAAiB,CAAC,YAAY,CAAC,CAC1C,SAAS,SAAS,CAAC,SAAS,EAAE,CAC/B;IACD,YAAY,EAAE,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,cAAc,CAAC,MAAM,CAAC;IACvD,QAAQ,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC;IACvC,IAAI,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,aAAa,CAAC,WAAW,EAAE,UAAU,EAAE,IAAI,CAAC;IAC5D,KAAK,EAAE,WAAW,CAAC,WAAW;CAC/B,CAAC,CAAC;AAEL,+EAA+E;AAC/E,MAAM,oBAAoB,GAAG,CAC3B,WAAgC,EAChC,UAA+B,EAC/B,QAA6C,EACvC,EAAE;IACR,WAAW,CAAC,KAAK,CAAC,cAAc,GAAG;QACjC,GAAG,QAAQ;QACX,WAAW,EAAE,uBAAuB,CAClC,WAAW,EACX,UAAU,EACV,QAAQ,CAAC,SAAS,EAClB,QAAQ,CAAC,MAAM,CAChB;KACF,CAAC;AACJ,CAAC,CAAC;AAEF;;;;;;;GAOG;AACH,MAAM,CAAC,MAAM,kBAAkB,GAAG,CAChC,WAAgC,EAChC,cAAgC,EAChC,UAA+B,EAC/B,SAA4B,EACgB,EAAE,CAC9C,cAAc;KACX,WAAW,CAAC,CAAC,CAAC,CACb,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;IAClB,MAAM,aAAa,GAAG,KAAK,CAAC,CAAC,qBAAqB,CAChD,SAAS,EACT,WAAW,CAAC,KAAK,CAAC,cAAc,CACjC,CAAC;IACF,IAAI,aAAa,EAAE,CAAC;QAClB,OAAO;IACT,CAAC;IACD,MAAM,iBAAiB,GAAG,KAAK,CAAC,CAAC,wBAAwB,CAAC;QACxD,KAAK,EAAE,WAAW,CAAC,KAAK;QACxB,cAAc,EAAE,SAAS;QACzB,SAAS,EAAE,WAAW,CAAC,SAAS;KACjC,CAAC,CAAC;IACH,MAAM,WAAW,GAAG,KAAK,CAAC,CAAC,QAAQ,CAAC,IAAI,EAAkB,CAAC;IAC3D,MAAM,WAAW,GAAG,QAAQ,CAAC,KAAK,CAAC,WAAW,CAAC,CAAC;IAChD,MAAM,MAAM,GAAG,KAAK,CAAC,CAAC,qBAAqB,CAAC;QAC1C,WAAW;QACX,SAAS;QACT,iBAAiB;QACjB,WAAW;QACX,cAAc,EAAE,UAAU;KAC3B,CAAC,CAAC;IACH,MAAM,MAAM,GAAG,KAAK,CAAC,CAAC,qBAAqB,CACzC,WAAW,EACX,SAAS,EACT,MAAM,CACP,CAAC;IACF,oBAAoB,CAAC,WAAW,EAAE,UAAU,EAAE;QAC5C,SAAS;QACT,MAAM;QACN,MAAM;KACP,CAAC,CAAC;IACH,KAAK,CAAC,CAAC,QAAQ,CAAC,OAAO,CAAC,WAAW,EAAE,MAAM,CAAC,CAAC;IAC7C,KAAK,CAAC,CAAC,mBAAmB,CAAC,WAAW,EAAE,MAAM,CAAC,GAAG,CAAC,CAAC;IACpD,KAAK,CAAC,CAAC,mBAAmB,CAAC,WAAW,EAAE,MAAM,CAAC,WAAW,CAAC,CAAC;IAC5D,KAAK,CAAC,CAAC,UAAU,CAAC,IAAI,CACpB,MAAM,CAAC,QAAQ,CAAC,GAAG,EAAE,CAAC,iBAAiB,CAAC,UAAU,CAAC,CAAC,CACrD,CAAC;AACJ,CAAC,CAAC,CACH;KACA,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,oBAAoB,CAAC,CAAC,CAAC"}

package/dist/endpoint/addressing/index.d.ts

@@ -1,6 +1,6 @@
 /** @file Private address resolution from runtime names to immutable cards. */
 import type { Registry } from "@moltzap/identity/registry";
-import { type VerifiedAgentCard } from "@moltzap/identity";
+import { AgentName, type VerifiedAgentCard } from "@moltzap/identity";
 import { type Context, Effect } from "effect";
 import { AgentAddress, GroupAddress, type MessageAddressInput, SendError } from "../../contract.js";
 /** Minimal Registry capability required by address resolution. */
@@ -35,5 +35,26 @@ interface ResolveMessageAddressInput {
  * @returns The canonical runtime address and AgentId-ordered verified cards.
  */
 export declare function resolveMessageAddress(input: ResolveMessageAddressInput): Effect.Effect<ResolvedMessageAddress, SendError>;
+/** A destination in canonical form, before any Registry lookup. */
+export type CanonicalMessageAddress = {
+    readonly kind: "direct";
+    readonly address: AgentAddress;
+    readonly remoteName: AgentName;
+} | {
+    readonly kind: "group";
+    readonly address: GroupAddress;
+    readonly memberNames: readonly AgentName[];
+};
+/**
+ * Put one destination in canonical form, the rule every send shares. An
+ * `agent:` address names one other agent. A `group:` address names each agent
+ * once; the local agent is added when absent, and the complete group has 3 to
+ * 32 members in unsigned ASCII name order.
+ * @param to The validated destination input.
+ * @param localAgentName The local agent's Registry name.
+ * @returns The canonical address with its names, local agent included for a
+ *   group, or `invalid-address` or `membership-invalid`.
+ */
+export declare function canonicalMessageAddress(to: MessageAddressInput, localAgentName: string): Effect.Effect<CanonicalMessageAddress, SendError>;
 export {};
 //# sourceMappingURL=index.d.ts.map

package/dist/endpoint/addressing/index.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/endpoint/addressing/index.ts"],"names":[],"mappings":"AAAA,8EAA8E;AAE9E,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,4BAA4B,CAAC;AAC3D,OAAO,EAAa,KAAK,iBAAiB,EAAE,MAAM,mBAAmB,CAAC;AACtE,OAAO,EAAE,KAAK,OAAO,EAAE,MAAM,EAAU,MAAM,QAAQ,CAAC;AACtD,OAAO,EACL,YAAY,EACZ,YAAY,EACZ,KAAK,mBAAmB,EACxB,SAAS,EACV,MAAM,mBAAmB,CAAC;AAO3B,kEAAkE;AAClE,MAAM,MAAM,mBAAmB,GAAG,IAAI,CACpC,OAAO,CAAC,GAAG,CAAC,OAAO,CAAC,OAAO,QAAQ,CAAC,EACpC,QAAQ,CACT,CAAC;AAEF,kEAAkE;AAClE,UAAU,qBAAqB;IAC7B,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;IACxB,QAAQ,CAAC,OAAO,EAAE,YAAY,CAAC;IAC/B,QAAQ,CAAC,WAAW,EAAE,SAAS,CAAC,iBAAiB,EAAE,iBAAiB,CAAC,CAAC;CACvE;AAED,uEAAuE;AACvE,UAAU,oBAAoB;IAC5B,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;IACvB,QAAQ,CAAC,OAAO,EAAE,YAAY,CAAC;IAC/B,QAAQ,CAAC,WAAW,EAAE,SAAS;QAC7B,iBAAiB;QACjB,iBAAiB;QACjB,iBAAiB;QACjB,GAAG,iBAAiB,EAAE;KACvB,CAAC;CACH;AAED,8EAA8E;AAC9E,MAAM,MAAM,sBAAsB,GAC9B,qBAAqB,GACrB,oBAAoB,CAAC;AAEzB,UAAU,0BAA0B;IAClC,QAAQ,CAAC,cAAc,EAAE,iBAAiB,CAAC;IAC3C,QAAQ,CAAC,QAAQ,EAAE,mBAAmB,CAAC;IACvC,QAAQ,CAAC,EAAE,EAAE,mBAAmB,CAAC;CAClC;AAED;;;;GAIG;AACH,wBAAgB,qBAAqB,CACnC,KAAK,EAAE,0BAA0B,GAChC,MAAM,CAAC,MAAM,CAAC,sBAAsB,EAAE,SAAS,CAAC,CAIlD"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/endpoint/addressing/index.ts"],"names":[],"mappings":"AAAA,8EAA8E;AAE9E,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,4BAA4B,CAAC;AAC3D,OAAO,EAAE,SAAS,EAAE,KAAK,iBAAiB,EAAE,MAAM,mBAAmB,CAAC;AACtE,OAAO,EAAE,KAAK,OAAO,EAAE,MAAM,EAAU,MAAM,QAAQ,CAAC;AACtD,OAAO,EACL,YAAY,EACZ,YAAY,EACZ,KAAK,mBAAmB,EACxB,SAAS,EACV,MAAM,mBAAmB,CAAC;AAO3B,kEAAkE;AAClE,MAAM,MAAM,mBAAmB,GAAG,IAAI,CACpC,OAAO,CAAC,GAAG,CAAC,OAAO,CAAC,OAAO,QAAQ,CAAC,EACpC,QAAQ,CACT,CAAC;AAEF,kEAAkE;AAClE,UAAU,qBAAqB;IAC7B,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;IACxB,QAAQ,CAAC,OAAO,EAAE,YAAY,CAAC;IAC/B,QAAQ,CAAC,WAAW,EAAE,SAAS,CAAC,iBAAiB,EAAE,iBAAiB,CAAC,CAAC;CACvE;AAED,uEAAuE;AACvE,UAAU,oBAAoB;IAC5B,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;IACvB,QAAQ,CAAC,OAAO,EAAE,YAAY,CAAC;IAC/B,QAAQ,CAAC,WAAW,EAAE,SAAS;QAC7B,iBAAiB;QACjB,iBAAiB;QACjB,iBAAiB;QACjB,GAAG,iBAAiB,EAAE;KACvB,CAAC;CACH;AAED,8EAA8E;AAC9E,MAAM,MAAM,sBAAsB,GAC9B,qBAAqB,GACrB,oBAAoB,CAAC;AAEzB,UAAU,0BAA0B;IAClC,QAAQ,CAAC,cAAc,EAAE,iBAAiB,CAAC;IAC3C,QAAQ,CAAC,QAAQ,EAAE,mBAAmB,CAAC;IACvC,QAAQ,CAAC,EAAE,EAAE,mBAAmB,CAAC;CAClC;AAED;;;;GAIG;AACH,wBAAgB,qBAAqB,CACnC,KAAK,EAAE,0BAA0B,GAChC,MAAM,CAAC,MAAM,CAAC,sBAAsB,EAAE,SAAS,CAAC,CASlD;AAED,mEAAmE;AACnE,MAAM,MAAM,uBAAuB,GAC/B;IACE,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;IACxB,QAAQ,CAAC,OAAO,EAAE,YAAY,CAAC;IAC/B,QAAQ,CAAC,UAAU,EAAE,SAAS,CAAC;CAChC,GACD;IACE,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;IACvB,QAAQ,CAAC,OAAO,EAAE,YAAY,CAAC;IAC/B,QAAQ,CAAC,WAAW,EAAE,SAAS,SAAS,EAAE,CAAC;CAC5C,CAAC;AAEN;;;;;;;;;GASG;AACH,wBAAgB,uBAAuB,CACrC,EAAE,EAAE,mBAAmB,EACvB,cAAc,EAAE,MAAM,GACrB,MAAM,CAAC,MAAM,CAAC,uBAAuB,EAAE,SAAS,CAAC,CAInD"}

package/dist/endpoint/addressing/index.js

@@ -12,9 +12,24 @@ const MAXIMUM_GROUP_MEMBERS = 32;
  * @returns The canonical runtime address and AgentId-ordered verified cards.
  */
 export function resolveMessageAddress(input) {
-    return input.to.startsWith(AGENT_ADDRESS_PREFIX)
-        ? resolveDirect(input)
-        : resolveGroup(input);
+    return canonicalMessageAddress(input.to, input.localAgentCard.agentName).pipe(Effect.flatMap((canonical) => canonical.kind === "direct"
+        ? resolveDirect(input, canonical)
+        : resolveGroup(input, canonical)));
+}
+/**
+ * Put one destination in canonical form, the rule every send shares. An
+ * `agent:` address names one other agent. A `group:` address names each agent
+ * once; the local agent is added when absent, and the complete group has 3 to
+ * 32 members in unsigned ASCII name order.
+ * @param to The validated destination input.
+ * @param localAgentName The local agent's Registry name.
+ * @returns The canonical address with its names, local agent included for a
+ *   group, or `invalid-address` or `membership-invalid`.
+ */
+export function canonicalMessageAddress(to, localAgentName) {
+    return to.startsWith(AGENT_ADDRESS_PREFIX)
+        ? canonicalDirect(to, localAgentName)
+        : canonicalGroup(to, localAgentName);
 }
 function invalidAddress() {
     return new SendError({ reason: "invalid-address" });
@@ -57,41 +72,53 @@ function lookupCard(registry, agentName) {
             : Effect.fail(new SendError({ reason: "unknown-agent" }));
     }));
 }
-function resolveDirect(input) {
+function canonicalDirect(to, localAgentName) {
+    return Effect.gen(function* () {
+        const remoteName = yield* decodeAgentName(to.slice(AGENT_ADDRESS_PREFIX.length));
+        if (remoteName === localAgentName) {
+            return yield* invalidMembership();
+        }
+        const address = yield* Schema.decodeUnknown(AgentAddress)(to).pipe(Effect.mapError(invalidAddress));
+        return { kind: "direct", address, remoteName };
+    });
+}
+function canonicalGroup(to, localAgentName) {
     return Effect.gen(function* () {
-        const agentName = yield* decodeAgentName(input.to.slice(AGENT_ADDRESS_PREFIX.length));
-        if (agentName === input.localAgentCard.agentName) {
+        const explicitNames = yield* Effect.forEach(to.slice(GROUP_ADDRESS_PREFIX.length).split(","), decodeAgentName, { concurrency: 1 });
+        if (new Set(explicitNames).size !== explicitNames.length) {
             return yield* invalidMembership();
         }
-        const remoteCard = yield* lookupCard(input.registry, agentName);
+        const localName = yield* decodeAgentName(localAgentName);
+        const memberNames = explicitNames.includes(localName)
+            ? explicitNames.slice()
+            : [...explicitNames, localName];
+        if (memberNames.length < 3 || memberNames.length > MAXIMUM_GROUP_MEMBERS) {
+            return yield* invalidMembership();
+        }
+        memberNames.sort(compareAscii);
+        const address = yield* Schema.decodeUnknown(GroupAddress)(`${GROUP_ADDRESS_PREFIX}${memberNames.join(",")}`).pipe(Effect.mapError(invalidAddress));
+        return { kind: "group", address, memberNames };
+    });
+}
+function resolveDirect(input, canonical) {
+    return Effect.gen(function* () {
+        const remoteCard = yield* lookupCard(input.registry, canonical.remoteName);
         const ordered = orderMemberCards([input.localAgentCard, remoteCard]);
         const first = ordered[0];
         const second = ordered[1];
         if (first === undefined || second === undefined) {
             return yield* Effect.dieMessage("direct membership lost a member");
         }
-        const address = yield* Schema.decodeUnknown(AgentAddress)(input.to).pipe(Effect.mapError(invalidAddress));
         return {
             kind: "direct",
-            address,
+            address: canonical.address,
             memberCards: [first, second],
         };
     });
 }
-function resolveGroup(input) {
+function resolveGroup(input, canonical) {
     return Effect.gen(function* () {
-        const explicitNames = yield* Effect.forEach(input.to.slice(GROUP_ADDRESS_PREFIX.length).split(","), decodeAgentName, { concurrency: 1 });
-        if (new Set(explicitNames).size !== explicitNames.length) {
-            return yield* invalidMembership();
-        }
-        const completeNames = explicitNames.includes(input.localAgentCard.agentName)
-            ? explicitNames
-            : [...explicitNames, input.localAgentCard.agentName];
-        if (completeNames.length < 3 ||
-            completeNames.length > MAXIMUM_GROUP_MEMBERS) {
-            return yield* invalidMembership();
-        }
-        const resolved = yield* Effect.forEach(completeNames, (agentName) => agentName === input.localAgentCard.agentName
+        const resolved = yield* Effect.forEach(canonical.memberNames, (agentName) => agentName === input.localAgentCard.agentName
             ? Effect.succeed(input.localAgentCard)
             : lookupCard(input.registry, agentName), { concurrency: 1 });
         const ordered = orderMemberCards(resolved);
@@ -101,12 +128,9 @@ function resolveGroup(input) {
         if (first === undefined || second === undefined || third === undefined) {
             return yield* Effect.dieMessage("group membership lost a member");
         }
-        const canonicalNames = completeNames.slice();
-        canonicalNames.sort(compareAscii);
-        const address = yield* Schema.decodeUnknown(GroupAddress)(`${GROUP_ADDRESS_PREFIX}${canonicalNames.join(",")}`).pipe(Effect.mapError(invalidAddress));
         return {
             kind: "group",
-            address,
+            address: canonical.address,
             memberCards: [first, second, third, ...ordered.slice(3)],
         };
     });

package/dist/endpoint/addressing/index.js.map

@@ -1 +1 @@
-{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../src/endpoint/addressing/index.ts"],"names":[],"mappings":"AAAA,8EAA8E;AAG9E,OAAO,EAAE,SAAS,EAA0B,MAAM,mBAAmB,CAAC;AACtE,OAAO,EAAgB,MAAM,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAC;AACtD,OAAO,EACL,YAAY,EACZ,YAAY,EAEZ,SAAS,GACV,MAAM,mBAAmB,CAAC;AAC3B,OAAO,EAAE,eAAe,EAAE,MAAM,sBAAsB,CAAC;AAEvD,MAAM,oBAAoB,GAAG,QAAQ,CAAC;AACtC,MAAM,oBAAoB,GAAG,QAAQ,CAAC;AACtC,MAAM,qBAAqB,GAAG,EAAE,CAAC;AAsCjC;;;;GAIG;AACH,MAAM,UAAU,qBAAqB,CACnC,KAAiC;IAEjC,OAAO,KAAK,CAAC,EAAE,CAAC,UAAU,CAAC,oBAAoB,CAAC;QAC9C,CAAC,CAAC,aAAa,CAAC,KAAK,CAAC;QACtB,CAAC,CAAC,YAAY,CAAC,KAAK,CAAC,CAAC;AAC1B,CAAC;AAED,SAAS,cAAc;IACrB,OAAO,IAAI,SAAS,CAAC,EAAE,MAAM,EAAE,iBAAiB,EAAE,CAAC,CAAC;AACtD,CAAC;AAED,SAAS,iBAAiB;IACxB,OAAO,IAAI,SAAS,CAAC,EAAE,MAAM,EAAE,oBAAoB,EAAE,CAAC,CAAC;AACzD,CAAC;AAED,SAAS,kBAAkB,CAAC,KAAgC;IAC1D,OAAO,IAAI,SAAS,CAAC;QACnB,MAAM,EACJ,KAAK,CAAC,IAAI,KAAK,sBAAsB;YACnC,CAAC,CAAC,kBAAkB;YACpB,CAAC,CAAC,qBAAqB;KAC5B,CAAC,CAAC;AACL,CAAC;AAED,SAAS,YAAY,CAAC,IAAY,EAAE,KAAa;IAC/C,MAAM,YAAY,GAAG,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC;IACzD,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,YAAY,EAAE,KAAK,IAAI,CAAC,EAAE,CAAC;QACrD,MAAM,UAAU,GAAG,IAAI,CAAC,UAAU,CAAC,KAAK,CAAC,GAAG,KAAK,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC;QACpE,IAAI,UAAU,KAAK,CAAC,EAAE,CAAC;YACrB,OAAO,UAAU,CAAC;QACpB,CAAC;IACH,CAAC;IACD,OAAO,IAAI,CAAC,MAAM,GAAG,KAAK,CAAC,MAAM,CAAC;AACpC,CAAC;AAED,SAAS,gBAAgB,CACvB,KAAmC;IAEnC,MAAM,OAAO,GAAG,KAAK,CAAC,KAAK,EAAE,CAAC;IAC9B,OAAO,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,eAAe,CAAC,IAAI,CAAC,OAAO,EAAE,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC;IAC5E,OAAO,OAAO,CAAC;AACjB,CAAC;AAED,SAAS,eAAe,CAAC,KAAa;IACpC,OAAO,MAAM,CAAC,aAAa,CAAC,SAAS,CAAC,CAAC,KAAK,CAAC,CAAC,IAAI,CAChD,MAAM,CAAC,QAAQ,CAAC,cAAc,CAAC,CAChC,CAAC;AACJ,CAAC;AAED,SAAS,UAAU,CACjB,QAA6B,EAC7B,SAAoB;IAEpB,OAAO,QAAQ,CAAC,MAAM,CAAC,EAAE,SAAS,EAAE,CAAC,CAAC,IAAI,CACxC,MAAM,CAAC,QAAQ,CAAC,kBAAkB,CAAC,EACnC,MAAM,CAAC,OAAO,CAAC,CAAC,MAAM,EAAE,EAAE;QACxB,IAAI,MAAM,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;YAChC,OAAO,MAAM,CAAC,IAAI,CAAC,IAAI,SAAS,CAAC,EAAE,MAAM,EAAE,eAAe,EAAE,CAAC,CAAC,CAAC;QACjE,CAAC;QACD,OAAO,MAAM,CAAC,SAAS,CAAC,SAAS,KAAK,SAAS;YAC7C,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,SAAS,CAAC;YAClC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,SAAS,CAAC,EAAE,MAAM,EAAE,eAAe,EAAE,CAAC,CAAC,CAAC;IAC9D,CAAC,CAAC,CACH,CAAC;AACJ,CAAC;AAED,SAAS,aAAa,CACpB,KAAiC;IAEjC,OAAO,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;QACzB,MAAM,SAAS,GAAG,KAAK,CAAC,CAAC,eAAe,CACtC,KAAK,CAAC,EAAE,CAAC,KAAK,CAAC,oBAAoB,CAAC,MAAM,CAAC,CAC5C,CAAC;QACF,IAAI,SAAS,KAAK,KAAK,CAAC,cAAc,CAAC,SAAS,EAAE,CAAC;YACjD,OAAO,KAAK,CAAC,CAAC,iBAAiB,EAAE,CAAC;QACpC,CAAC;QACD,MAAM,UAAU,GAAG,KAAK,CAAC,CAAC,UAAU,CAAC,KAAK,CAAC,QAAQ,EAAE,SAAS,CAAC,CAAC;QAChE,MAAM,OAAO,GAAG,gBAAgB,CAAC,CAAC,KAAK,CAAC,cAAc,EAAE,UAAU,CAAC,CAAC,CAAC;QACrE,MAAM,KAAK,GAAG,OAAO,CAAC,CAAC,CAAC,CAAC;QACzB,MAAM,MAAM,GAAG,OAAO,CAAC,CAAC,CAAC,CAAC;QAC1B,IAAI,KAAK,KAAK,SAAS,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;YAChD,OAAO,KAAK,CAAC,CAAC,MAAM,CAAC,UAAU,CAAC,iCAAiC,CAAC,CAAC;QACrE,CAAC;QACD,MAAM,OAAO,GAAG,KAAK,CAAC,CAAC,MAAM,CAAC,aAAa,CAAC,YAAY,CAAC,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,IAAI,CACtE,MAAM,CAAC,QAAQ,CAAC,cAAc,CAAC,CAChC,CAAC;QACF,OAAO;YACL,IAAI,EAAE,QAAQ;YACd,OAAO;YACP,WAAW,EAAE,CAAC,KAAK,EAAE,MAAM,CAAC;SAC7B,CAAC;IACJ,CAAC,CAAC,CAAC;AACL,CAAC;AAED,SAAS,YAAY,CACnB,KAAiC;IAEjC,OAAO,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;QACzB,MAAM,aAAa,GAAG,KAAK,CAAC,CAAC,MAAM,CAAC,OAAO,CACzC,KAAK,CAAC,EAAE,CAAC,KAAK,CAAC,oBAAoB,CAAC,MAAM,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,EACtD,eAAe,EACf,EAAE,WAAW,EAAE,CAAC,EAAE,CACnB,CAAC;QACF,IAAI,IAAI,GAAG,CAAC,aAAa,CAAC,CAAC,IAAI,KAAK,aAAa,CAAC,MAAM,EAAE,CAAC;YACzD,OAAO,KAAK,CAAC,CAAC,iBAAiB,EAAE,CAAC;QACpC,CAAC;QACD,MAAM,aAAa,GAAG,aAAa,CAAC,QAAQ,CAAC,KAAK,CAAC,cAAc,CAAC,SAAS,CAAC;YAC1E,CAAC,CAAC,aAAa;YACf,CAAC,CAAC,CAAC,GAAG,aAAa,EAAE,KAAK,CAAC,cAAc,CAAC,SAAS,CAAC,CAAC;QACvD,IACE,aAAa,CAAC,MAAM,GAAG,CAAC;YACxB,aAAa,CAAC,MAAM,GAAG,qBAAqB,EAC5C,CAAC;YACD,OAAO,KAAK,CAAC,CAAC,iBAAiB,EAAE,CAAC;QACpC,CAAC;QACD,MAAM,QAAQ,GAAG,KAAK,CAAC,CAAC,MAAM,CAAC,OAAO,CACpC,aAAa,EACb,CAAC,SAAS,EAAE,EAAE,CACZ,SAAS,KAAK,KAAK,CAAC,cAAc,CAAC,SAAS;YAC1C,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,cAAc,CAAC;YACtC,CAAC,CAAC,UAAU,CAAC,KAAK,CAAC,QAAQ,EAAE,SAAS,CAAC,EAC3C,EAAE,WAAW,EAAE,CAAC,EAAE,CACnB,CAAC;QACF,MAAM,OAAO,GAAG,gBAAgB,CAAC,QAAQ,CAAC,CAAC;QAC3C,MAAM,KAAK,GAAG,OAAO,CAAC,CAAC,CAAC,CAAC;QACzB,MAAM,MAAM,GAAG,OAAO,CAAC,CAAC,CAAC,CAAC;QAC1B,MAAM,KAAK,GAAG,OAAO,CAAC,CAAC,CAAC,CAAC;QACzB,IAAI,KAAK,KAAK,SAAS,IAAI,MAAM,KAAK,SAAS,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;YACvE,OAAO,KAAK,CAAC,CAAC,MAAM,CAAC,UAAU,CAAC,gCAAgC,CAAC,CAAC;QACpE,CAAC;QACD,MAAM,cAAc,GAAG,aAAa,CAAC,KAAK,EAAE,CAAC;QAC7C,cAAc,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC;QAClC,MAAM,OAAO,GAAG,KAAK,CAAC,CAAC,MAAM,CAAC,aAAa,CAAC,YAAY,CAAC,CACvD,GAAG,oBAAoB,GAAG,cAAc,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CACrD,CAAC,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,cAAc,CAAC,CAAC,CAAC;QACxC,OAAO;YACL,IAAI,EAAE,OAAO;YACb,OAAO;YACP,WAAW,EAAE,CAAC,KAAK,EAAE,MAAM,EAAE,KAAK,EAAE,GAAG,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;SACzD,CAAC;IACJ,CAAC,CAAC,CAAC;AACL,CAAC"}
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../src/endpoint/addressing/index.ts"],"names":[],"mappings":"AAAA,8EAA8E;AAG9E,OAAO,EAAE,SAAS,EAA0B,MAAM,mBAAmB,CAAC;AACtE,OAAO,EAAgB,MAAM,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAC;AACtD,OAAO,EACL,YAAY,EACZ,YAAY,EAEZ,SAAS,GACV,MAAM,mBAAmB,CAAC;AAC3B,OAAO,EAAE,eAAe,EAAE,MAAM,sBAAsB,CAAC;AAEvD,MAAM,oBAAoB,GAAG,QAAQ,CAAC;AACtC,MAAM,oBAAoB,GAAG,QAAQ,CAAC;AACtC,MAAM,qBAAqB,GAAG,EAAE,CAAC;AAsCjC;;;;GAIG;AACH,MAAM,UAAU,qBAAqB,CACnC,KAAiC;IAEjC,OAAO,uBAAuB,CAAC,KAAK,CAAC,EAAE,EAAE,KAAK,CAAC,cAAc,CAAC,SAAS,CAAC,CAAC,IAAI,CAC3E,MAAM,CAAC,OAAO,CACZ,CAAC,SAAS,EAAoD,EAAE,CAC9D,SAAS,CAAC,IAAI,KAAK,QAAQ;QACzB,CAAC,CAAC,aAAa,CAAC,KAAK,EAAE,SAAS,CAAC;QACjC,CAAC,CAAC,YAAY,CAAC,KAAK,EAAE,SAAS,CAAC,CACrC,CACF,CAAC;AACJ,CAAC;AAeD;;;;;;;;;GASG;AACH,MAAM,UAAU,uBAAuB,CACrC,EAAuB,EACvB,cAAsB;IAEtB,OAAO,EAAE,CAAC,UAAU,CAAC,oBAAoB,CAAC;QACxC,CAAC,CAAC,eAAe,CAAC,EAAE,EAAE,cAAc,CAAC;QACrC,CAAC,CAAC,cAAc,CAAC,EAAE,EAAE,cAAc,CAAC,CAAC;AACzC,CAAC;AAED,SAAS,cAAc;IACrB,OAAO,IAAI,SAAS,CAAC,EAAE,MAAM,EAAE,iBAAiB,EAAE,CAAC,CAAC;AACtD,CAAC;AAED,SAAS,iBAAiB;IACxB,OAAO,IAAI,SAAS,CAAC,EAAE,MAAM,EAAE,oBAAoB,EAAE,CAAC,CAAC;AACzD,CAAC;AAED,SAAS,kBAAkB,CAAC,KAAgC;IAC1D,OAAO,IAAI,SAAS,CAAC;QACnB,MAAM,EACJ,KAAK,CAAC,IAAI,KAAK,sBAAsB;YACnC,CAAC,CAAC,kBAAkB;YACpB,CAAC,CAAC,qBAAqB;KAC5B,CAAC,CAAC;AACL,CAAC;AAED,SAAS,YAAY,CAAC,IAAY,EAAE,KAAa;IAC/C,MAAM,YAAY,GAAG,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC;IACzD,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,YAAY,EAAE,KAAK,IAAI,CAAC,EAAE,CAAC;QACrD,MAAM,UAAU,GAAG,IAAI,CAAC,UAAU,CAAC,KAAK,CAAC,GAAG,KAAK,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC;QACpE,IAAI,UAAU,KAAK,CAAC,EAAE,CAAC;YACrB,OAAO,UAAU,CAAC;QACpB,CAAC;IACH,CAAC;IACD,OAAO,IAAI,CAAC,MAAM,GAAG,KAAK,CAAC,MAAM,CAAC;AACpC,CAAC;AAED,SAAS,gBAAgB,CACvB,KAAmC;IAEnC,MAAM,OAAO,GAAG,KAAK,CAAC,KAAK,EAAE,CAAC;IAC9B,OAAO,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,eAAe,CAAC,IAAI,CAAC,OAAO,EAAE,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC;IAC5E,OAAO,OAAO,CAAC;AACjB,CAAC;AAED,SAAS,eAAe,CAAC,KAAa;IACpC,OAAO,MAAM,CAAC,aAAa,CAAC,SAAS,CAAC,CAAC,KAAK,CAAC,CAAC,IAAI,CAChD,MAAM,CAAC,QAAQ,CAAC,cAAc,CAAC,CAChC,CAAC;AACJ,CAAC;AAED,SAAS,UAAU,CACjB,QAA6B,EAC7B,SAAoB;IAEpB,OAAO,QAAQ,CAAC,MAAM,CAAC,EAAE,SAAS,EAAE,CAAC,CAAC,IAAI,CACxC,MAAM,CAAC,QAAQ,CAAC,kBAAkB,CAAC,EACnC,MAAM,CAAC,OAAO,CAAC,CAAC,MAAM,EAAE,EAAE;QACxB,IAAI,MAAM,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;YAChC,OAAO,MAAM,CAAC,IAAI,CAAC,IAAI,SAAS,CAAC,EAAE,MAAM,EAAE,eAAe,EAAE,CAAC,CAAC,CAAC;QACjE,CAAC;QACD,OAAO,MAAM,CAAC,SAAS,CAAC,SAAS,KAAK,SAAS;YAC7C,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,SAAS,CAAC;YAClC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,SAAS,CAAC,EAAE,MAAM,EAAE,eAAe,EAAE,CAAC,CAAC,CAAC;IAC9D,CAAC,CAAC,CACH,CAAC;AACJ,CAAC;AAED,SAAS,eAAe,CACtB,EAAuB,EACvB,cAAsB;IAEtB,OAAO,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;QACzB,MAAM,UAAU,GAAG,KAAK,CAAC,CAAC,eAAe,CACvC,EAAE,CAAC,KAAK,CAAC,oBAAoB,CAAC,MAAM,CAAC,CACtC,CAAC;QACF,IAAI,UAAU,KAAK,cAAc,EAAE,CAAC;YAClC,OAAO,KAAK,CAAC,CAAC,iBAAiB,EAAE,CAAC;QACpC,CAAC;QACD,MAAM,OAAO,GAAG,KAAK,CAAC,CAAC,MAAM,CAAC,aAAa,CAAC,YAAY,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,CAChE,MAAM,CAAC,QAAQ,CAAC,cAAc,CAAC,CAChC,CAAC;QACF,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,UAAU,EAAE,CAAC;IACjD,CAAC,CAAC,CAAC;AACL,CAAC;AAED,SAAS,cAAc,CACrB,EAAuB,EACvB,cAAsB;IAEtB,OAAO,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;QACzB,MAAM,aAAa,GAAG,KAAK,CAAC,CAAC,MAAM,CAAC,OAAO,CACzC,EAAE,CAAC,KAAK,CAAC,oBAAoB,CAAC,MAAM,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,EAChD,eAAe,EACf,EAAE,WAAW,EAAE,CAAC,EAAE,CACnB,CAAC;QACF,IAAI,IAAI,GAAG,CAAC,aAAa,CAAC,CAAC,IAAI,KAAK,aAAa,CAAC,MAAM,EAAE,CAAC;YACzD,OAAO,KAAK,CAAC,CAAC,iBAAiB,EAAE,CAAC;QACpC,CAAC;QACD,MAAM,SAAS,GAAG,KAAK,CAAC,CAAC,eAAe,CAAC,cAAc,CAAC,CAAC;QACzD,MAAM,WAAW,GAAG,aAAa,CAAC,QAAQ,CAAC,SAAS,CAAC;YACnD,CAAC,CAAC,aAAa,CAAC,KAAK,EAAE;YACvB,CAAC,CAAC,CAAC,GAAG,aAAa,EAAE,SAAS,CAAC,CAAC;QAClC,IAAI,WAAW,CAAC,MAAM,GAAG,CAAC,IAAI,WAAW,CAAC,MAAM,GAAG,qBAAqB,EAAE,CAAC;YACzE,OAAO,KAAK,CAAC,CAAC,iBAAiB,EAAE,CAAC;QACpC,CAAC;QACD,WAAW,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC;QAC/B,MAAM,OAAO,GAAG,KAAK,CAAC,CAAC,MAAM,CAAC,aAAa,CAAC,YAAY,CAAC,CACvD,GAAG,oBAAoB,GAAG,WAAW,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAClD,CAAC,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,cAAc,CAAC,CAAC,CAAC;QACxC,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,WAAW,EAAE,CAAC;IACjD,CAAC,CAAC,CAAC;AACL,CAAC;AAED,SAAS,aAAa,CACpB,KAAiC,EACjC,SAAwE;IAExE,OAAO,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;QACzB,MAAM,UAAU,GAAG,KAAK,CAAC,CAAC,UAAU,CAAC,KAAK,CAAC,QAAQ,EAAE,SAAS,CAAC,UAAU,CAAC,CAAC;QAC3E,MAAM,OAAO,GAAG,gBAAgB,CAAC,CAAC,KAAK,CAAC,cAAc,EAAE,UAAU,CAAC,CAAC,CAAC;QACrE,MAAM,KAAK,GAAG,OAAO,CAAC,CAAC,CAAC,CAAC;QACzB,MAAM,MAAM,GAAG,OAAO,CAAC,CAAC,CAAC,CAAC;QAC1B,IAAI,KAAK,KAAK,SAAS,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;YAChD,OAAO,KAAK,CAAC,CAAC,MAAM,CAAC,UAAU,CAAC,iCAAiC,CAAC,CAAC;QACrE,CAAC;QACD,OAAO;YACL,IAAI,EAAE,QAAQ;YACd,OAAO,EAAE,SAAS,CAAC,OAAO;YAC1B,WAAW,EAAE,CAAC,KAAK,EAAE,MAAM,CAAC;SAC7B,CAAC;IACJ,CAAC,CAAC,CAAC;AACL,CAAC;AAED,SAAS,YAAY,CACnB,KAAiC,EACjC,SAAuE;IAEvE,OAAO,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;QACzB,MAAM,QAAQ,GAAG,KAAK,CAAC,CAAC,MAAM,CAAC,OAAO,CACpC,SAAS,CAAC,WAAW,EACrB,CAAC,SAAS,EAAE,EAAE,CACZ,SAAS,KAAK,KAAK,CAAC,cAAc,CAAC,SAAS;YAC1C,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,cAAc,CAAC;YACtC,CAAC,CAAC,UAAU,CAAC,KAAK,CAAC,QAAQ,EAAE,SAAS,CAAC,EAC3C,EAAE,WAAW,EAAE,CAAC,EAAE,CACnB,CAAC;QACF,MAAM,OAAO,GAAG,gBAAgB,CAAC,QAAQ,CAAC,CAAC;QAC3C,MAAM,KAAK,GAAG,OAAO,CAAC,CAAC,CAAC,CAAC;QACzB,MAAM,MAAM,GAAG,OAAO,CAAC,CAAC,CAAC,CAAC;QAC1B,MAAM,KAAK,GAAG,OAAO,CAAC,CAAC,CAAC,CAAC;QACzB,IAAI,KAAK,KAAK,SAAS,IAAI,MAAM,KAAK,SAAS,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;YACvE,OAAO,KAAK,CAAC,CAAC,MAAM,CAAC,UAAU,CAAC,gCAAgC,CAAC,CAAC;QACpE,CAAC;QACD,OAAO;YACL,IAAI,EAAE,OAAO;YACb,OAAO,EAAE,SAAS,CAAC,OAAO;YAC1B,WAAW,EAAE,CAAC,KAAK,EAAE,MAAM,EAAE,KAAK,EAAE,GAAG,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;SACzD,CAAC;IACJ,CAAC,CAAC,CAAC;AACL,CAAC"}

package/dist/endpoint/collective/operation.d.ts

@@ -0,0 +1,123 @@
+/**
+ * @file Collective operations over the post envelope.
+ *
+ * The daemon holds one `CollectiveOperations` per active identity. It turns
+ * each send into the posts its operation certifies and each certified remote
+ * post into the item the subscriber receives, or consumes it. Every post an
+ * endpoint authors carries its operation as an explicit collective part, so
+ * each certified post says which operation it belongs to; a post without a
+ * collective part reads as multicast, the operation an omitted `op` names.
+ *
+ * Collective state lives in daemon memory: an operation open at a daemon
+ * restart is lost, and a request whose delivery the member already
+ * acknowledged can no longer be answered after one.
+ *
+ * ```mermaid
+ * sequenceDiagram
+ *   participant RM as Requester host
+ *   participant RE as Requester endpoint
+ *   participant ME as Member endpoint
+ *   participant MM as Member host
+ *   RM->>RE: send gather to, question, deadline, schema
+ *   RE->>RE: validate schema, mint id<br>deadline = now + duration
+ *   RE->>ME: one request post per member
+ *   alt a request post is refused
+ *     RE-->>RM: error naming each unreachable member
+ *   else every request post accepted
+ *     RE-->>RM: operation id
+ *   end
+ *   ME->>MM: collectiveRequest item
+ *   MM->>ME: send collectiveResponse id, action, content
+ *   ME->>ME: validate content against the stored schema
+ *   ME->>RE: response post in the direct conversation
+ *   RE->>RE: consume, validate and record the answer
+ *   Note over RE: complete when every member has an outcome<br>or at the deadline
+ *   RE->>RM: collectiveResult item
+ * ```
+ *
+ * An all_gather asks a group in its own conversation. Every member endpoint
+ * consumes the answers it sees there, so no model sees a peer's answer before
+ * the close, and builds its result from exactly the answers the requester's
+ * close lists.
+ *
+ * ```mermaid
+ * sequenceDiagram
+ *   participant RM as Requester host
+ *   participant RE as Requester endpoint
+ *   participant ME as Member endpoints
+ *   participant MM as Member hosts
+ *   RM->>RE: send all_gather to group, question, deadline, schema
+ *   RE->>ME: one request post to the group
+ *   alt the group post is refused or not certified in time
+ *     RE-->>RM: error naming each unreachable member
+ *   else request post certified
+ *     RE-->>RM: operation id
+ *   end
+ *   ME->>MM: collectiveRequest item
+ *   MM->>ME: send collectiveResponse id, action, content
+ *   ME->>ME: validate content against the stored schema
+ *   ME->>RE: response post to the group
+ *   ME->>ME: peer response posts, consumed and recorded by record hash
+ *   Note over RE: complete when every member has an outcome<br>or at the deadline
+ *   RE->>ME: close post listing the counted answers' record hashes
+ *   RE->>RM: collectiveResult item once the close is certified
+ *   ME->>ME: build the result from exactly the listed answers
+ *   ME->>MM: collectiveResult item, the same outcomes
+ * ```
+ */
+import { Duration, Effect, Option, type Scope } from "effect";
+import type { EngineSendInput, EngineSentPost } from "../engine-types.js";
+import type { RecordHash } from "../representation.js";
+import { AgentAddress, CollectiveError, type FailureDelivery, type InboundItem, type InboundMessage, SendError, type SendInput, type SendResult } from "../../contract.js";
+/** What the collective layer needs from the daemon around it. */
+export interface CollectivePorts {
+    /** The local agent: a group gather or all_gather asks every member but this one. */
+    readonly self: AgentAddress;
+    /**
+     * Resolve one member's Registry card without sending. A refused all_gather
+     * group post names only the members that fail this lookup.
+     */
+    readonly lookupMember: (member: AgentAddress) => Effect.Effect<void, SendError>;
+    /** Certify one post and complete once it is stored locally. */
+    readonly sendPost: (input: EngineSendInput) => Effect.Effect<EngineSentPost, SendError>;
+    /** Queue an item the layer emits itself: a result or a failure. */
+    readonly emit: (item: InboundItem) => Effect.Effect<void>;
+    /** Owns deadline timers and request sends that outlive their send call. */
+    readonly scope: Scope.Scope;
+    /** Overrides `REQUEST_SEND_WAIT`; tests bound the wait. */
+    readonly requestSendWait?: Duration.Duration;
+}
+/** One certified remote post with the hash of its certified record. */
+interface CertifiedPost {
+    readonly message: InboundMessage;
+    readonly recordHash: RecordHash;
+}
+/** One completed send: the posts certified by its return, and a collective id. */
+interface CollectiveSendOutcome extends SendResult {
+    readonly postIds: ReadonlyArray<EngineSentPost["postId"]>;
+}
+/** The daemon's collective layer for one active identity. */
+export interface CollectiveOperations {
+    /**
+     * Perform one send. A gather completes once every request post is accepted
+     * and fails naming each member whose post was refused; an all_gather
+     * completes once its group post is certified. A response is validated
+     * against its request's schema and addressed to the request's conversation.
+     */
+    readonly send: (input: SendInput, failureDelivery: FailureDelivery) => Effect.Effect<CollectiveSendOutcome, SendError | CollectiveError>;
+    /**
+     * Classify one certified remote post. Answers are recorded and consumed,
+     * every other protocol post is consumed, and each remaining post becomes
+     * one item. Classifying a post again yields the same result, so the daemon
+     * may run it on every pass over pending deliveries.
+     */
+    readonly classify: (post: CertifiedPost) => Effect.Effect<Option.Option<InboundItem>>;
+}
+/**
+ * Build the collective layer for one active identity.
+ * @param ports The daemon's post sending, item queue, scope and identity.
+ * @returns Send and classification over state held in daemon memory.
+ */
+export declare const makeCollectiveOperations: (ports: CollectivePorts) => CollectiveOperations;
+export {};
+//# sourceMappingURL=operation.d.ts.map

package/dist/endpoint/collective/operation.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"operation.d.ts","sourceRoot":"","sources":["../../../src/endpoint/collective/operation.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAkEG;AAEH,OAAO,EAEL,QAAQ,EACR,MAAM,EAKN,MAAM,EAGN,KAAK,KAAK,EACX,MAAM,QAAQ,CAAC;AAEhB,OAAO,KAAK,EAAE,eAAe,EAAE,cAAc,EAAE,MAAM,oBAAoB,CAAC;AAC1E,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,sBAAsB,CAAC;AACvD,OAAO,EACL,YAAY,EACZ,eAAe,EAMf,KAAK,eAAe,EACpB,KAAK,WAAW,EAChB,KAAK,cAAc,EAKnB,SAAS,EACT,KAAK,SAAS,EACd,KAAK,UAAU,EAChB,MAAM,mBAAmB,CAAC;AAoF3B,iEAAiE;AACjE,MAAM,WAAW,eAAe;IAC9B,oFAAoF;IACpF,QAAQ,CAAC,IAAI,EAAE,YAAY,CAAC;IAC5B;;;OAGG;IACH,QAAQ,CAAC,YAAY,EAAE,CACrB,MAAM,EAAE,YAAY,KACjB,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC;IACpC,+DAA+D;IAC/D,QAAQ,CAAC,QAAQ,EAAE,CACjB,KAAK,EAAE,eAAe,KACnB,MAAM,CAAC,MAAM,CAAC,cAAc,EAAE,SAAS,CAAC,CAAC;IAC9C,mEAAmE;IACnE,QAAQ,CAAC,IAAI,EAAE,CAAC,IAAI,EAAE,WAAW,KAAK,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;IAC1D,2EAA2E;IAC3E,QAAQ,CAAC,KAAK,EAAE,KAAK,CAAC,KAAK,CAAC;IAC5B,2DAA2D;IAC3D,QAAQ,CAAC,eAAe,CAAC,EAAE,QAAQ,CAAC,QAAQ,CAAC;CAC9C;AAED,uEAAuE;AACvE,UAAU,aAAa;IACrB,QAAQ,CAAC,OAAO,EAAE,cAAc,CAAC;IACjC,QAAQ,CAAC,UAAU,EAAE,UAAU,CAAC;CACjC;AAED,kFAAkF;AAClF,UAAU,qBAAsB,SAAQ,UAAU;IAChD,QAAQ,CAAC,OAAO,EAAE,aAAa,CAAC,cAAc,CAAC,QAAQ,CAAC,CAAC,CAAC;CAC3D;AAED,6DAA6D;AAC7D,MAAM,WAAW,oBAAoB;IACnC;;;;;OAKG;IACH,QAAQ,CAAC,IAAI,EAAE,CACb,KAAK,EAAE,SAAS,EAChB,eAAe,EAAE,eAAe,KAC7B,MAAM,CAAC,MAAM,CAAC,qBAAqB,EAAE,SAAS,GAAG,eAAe,CAAC,CAAC;IACvE;;;;;OAKG;IACH,QAAQ,CAAC,QAAQ,EAAE,CACjB,IAAI,EAAE,aAAa,KAChB,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC,CAAC;CAChD;AAsED;;;;GAIG;AACH,eAAO,MAAM,wBAAwB,UAC5B,eAAe,KACrB,oBAiBF,CAAC"}