@moltzap/client 2026.812.0 → 2026.902.0

package/dist/daemon/runtime/index.js

@@ -0,0 +1,65 @@
+/** @file Private lifecycle composition for one registered endpoint daemon. */
+import { NodeFileSystem } from "@effect/platform-node";
+import { Effect } from "effect";
+import packageJson from "../../../package.json" with { type: "json" };
+import { noHistoryExport } from "../../endpoint/engine-types.js";
+import { makeEndpointEngine } from "../../endpoint/engine.js";
+import { makeRouterWorker } from "../../endpoint/router-worker/index.js";
+import { acquireHarnessMcpHttpServer } from "../../harness-mcp-http.js";
+import { makeHarnessMcpHttpHandler } from "../../harness-mcp-wire.js";
+import { DaemonRuntimeError, prepareDaemonActivation, } from "./activation.js";
+import { makeDaemonController } from "./controller.js";
+import { makeHistoryExport } from "./history-export.js";
+const DAEMON_IMPLEMENTATION = {
+    name: "moltzapd",
+    version: packageJson.version,
+};
+const productionDependencies = {
+    makeWorker: (input) => makeRouterWorker(input),
+    makeEngine: makeEndpointEngine,
+    makeHandler: makeHarnessMcpHttpHandler,
+    acquireListener: ({ port, handler }) => acquireHarnessMcpHttpServer({ port, handler }).pipe(Effect.asVoid),
+    makeHistoryExport: (path) => makeHistoryExport(path).pipe(Effect.provide(NodeFileSystem.layer)),
+};
+const runtimeFailure = (phase) => new DaemonRuntimeError({ phase });
+/** Closed daemon startup and supervision failure. */
+export { DaemonRuntimeError };
+/**
+ * Run all daemon-owned protocol and MCP resources until a supervised failure.
+ * @param input Daemon-owned persistence and fixed endpoint configuration.
+ * @param input.store Durable endpoint store owned by this daemon process.
+ * @param input.bootstrap Validated identity, network, and listener configuration.
+ * @param dependencies Replaceable process edges used by focused lifecycle tests.
+ * @returns A scoped process effect that ends only when a supervised resource fails.
+ */
+export const runDaemonRuntime = (input, dependencies = productionDependencies) => Effect.gen(function* () {
+    const preparation = yield* prepareDaemonActivation(input);
+    const exportPath = input.bootstrap.configuration.historyExport;
+    const historyExport = exportPath === undefined
+        ? noHistoryExport
+        : yield* dependencies.makeHistoryExport(exportPath);
+    const controller = yield* makeDaemonController({
+        ...input,
+        historyExport,
+        management: preparation.management,
+        dependencies,
+    });
+    yield* controller.initializeAtStart(preparation.registration);
+    const handler = yield* dependencies
+        .makeHandler({
+        implementation: DAEMON_IMPLEMENTATION,
+        operations: controller.operations,
+        onSubscriptionActiveChange: controller.subscriptionChanged,
+    })
+        .pipe(Effect.mapError(() => runtimeFailure("storage")));
+    yield* controller.installHandler(handler);
+    yield* controller.runSubscriptions.pipe(Effect.forkScoped);
+    yield* dependencies
+        .acquireListener({
+        port: input.bootstrap.configuration.mcpPort,
+        handler,
+    })
+        .pipe(Effect.mapError(() => runtimeFailure("listener")));
+    return yield* controller.awaitFailure;
+}).pipe(Effect.withSpan("runDaemonRuntime"));
+//# sourceMappingURL=index.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../src/daemon/runtime/index.ts"],"names":[],"mappings":"AAAA,8EAA8E;AAK9E,OAAO,EAAE,cAAc,EAAE,MAAM,uBAAuB,CAAC;AACvD,OAAO,EAAE,MAAM,EAAc,MAAM,QAAQ,CAAC;AAG5C,OAAO,WAAW,MAAM,uBAAuB,CAAC,OAAO,IAAI,EAAE,MAAM,EAAE,CAAC;AACtE,OAAO,EAAE,eAAe,EAAE,MAAM,gCAAgC,CAAC;AACjE,OAAO,EAAE,kBAAkB,EAAE,MAAM,0BAA0B,CAAC;AAC9D,OAAO,EAAE,gBAAgB,EAAE,MAAM,uCAAuC,CAAC;AACzE,OAAO,EAAE,2BAA2B,EAAE,MAAM,2BAA2B,CAAC;AACxE,OAAO,EAAE,yBAAyB,EAAE,MAAM,2BAA2B,CAAC;AACtE,OAAO,EAEL,kBAAkB,EAClB,uBAAuB,GACxB,MAAM,iBAAiB,CAAC;AACzB,OAAO,EAAE,oBAAoB,EAAE,MAAM,iBAAiB,CAAC;AACvD,OAAO,EAAE,iBAAiB,EAAE,MAAM,qBAAqB,CAAC;AAExD,MAAM,qBAAqB,GAAG;IAC5B,IAAI,EAAE,UAAU;IAChB,OAAO,EAAE,WAAW,CAAC,OAAO;CACJ,CAAC;AAE3B,MAAM,sBAAsB,GAA8B;IACxD,UAAU,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,gBAAgB,CAAC,KAAK,CAAC;IAC9C,UAAU,EAAE,kBAAkB;IAC9B,WAAW,EAAE,yBAAyB;IACtC,eAAe,EAAE,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,EAAE,EAAE,CACrC,2BAA2B,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC;IACpE,iBAAiB,EAAE,CAAC,IAAI,EAAE,EAAE,CAC1B,iBAAiB,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC,cAAc,CAAC,KAAK,CAAC,CAAC;CACrE,CAAC;AAEF,MAAM,cAAc,GAAG,CACrB,KAAkC,EACd,EAAE,CAAC,IAAI,kBAAkB,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC;AAE3D,qDAAqD;AACrD,OAAO,EAAE,kBAAkB,EAAE,CAAC;AAI9B;;;;;;;GAOG;AACH,MAAM,CAAC,MAAM,gBAAgB,GAAG,CAC9B,KAGC,EACD,YAAY,GAA8B,sBAAsB,EACW,EAAE,CAC7E,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;IAClB,MAAM,WAAW,GAAG,KAAK,CAAC,CAAC,uBAAuB,CAAC,KAAK,CAAC,CAAC;IAC1D,MAAM,UAAU,GAAG,KAAK,CAAC,SAAS,CAAC,aAAa,CAAC,aAAa,CAAC;IAC/D,MAAM,aAAa,GACjB,UAAU,KAAK,SAAS;QACtB,CAAC,CAAC,eAAe;QACjB,CAAC,CAAC,KAAK,CAAC,CAAC,YAAY,CAAC,iBAAiB,CAAC,UAAU,CAAC,CAAC;IACxD,MAAM,UAAU,GAAG,KAAK,CAAC,CAAC,oBAAoB,CAAC;QAC7C,GAAG,KAAK;QACR,aAAa;QACb,UAAU,EAAE,WAAW,CAAC,UAAU;QAClC,YAAY;KACb,CAAC,CAAC;IACH,KAAK,CAAC,CAAC,UAAU,CAAC,iBAAiB,CAAC,WAAW,CAAC,YAAY,CAAC,CAAC;IAC9D,MAAM,OAAO,GAAG,KAAK,CAAC,CAAC,YAAY;SAChC,WAAW,CAAC;QACX,cAAc,EAAE,qBAAqB;QACrC,UAAU,EAAE,UAAU,CAAC,UAAU;QACjC,0BAA0B,EAAE,UAAU,CAAC,mBAAmB;KAC3D,CAAC;SACD,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,GAAG,EAAE,CAAC,cAAc,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;IAC1D,KAAK,CAAC,CAAC,UAAU,CAAC,cAAc,CAAC,OAAO,CAAC,CAAC;IAC1C,KAAK,CAAC,CAAC,UAAU,CAAC,gBAAgB,CAAC,IAAI,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC;IAC3D,KAAK,CAAC,CAAC,YAAY;SAChB,eAAe,CAAC;QACf,IAAI,EAAE,KAAK,CAAC,SAAS,CAAC,aAAa,CAAC,OAAO;QAC3C,OAAO;KACR,CAAC;SACD,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,GAAG,EAAE,CAAC,cAAc,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC;IAC3D,OAAO,KAAK,CAAC,CAAC,UAAU,CAAC,YAAY,CAAC;AACxC,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,kBAAkB,CAAC,CAAC,CAAC"}

package/dist/daemon/runtime/protocol.d.ts

@@ -0,0 +1,63 @@
+/** @file Protocol acquisition, supervision, and pending-delivery reconciliation. */
+import type { VerifiedAgentCard } from "@moltzap/identity";
+import { Registry } from "@moltzap/identity/registry";
+import { Router } from "@moltzap/router";
+import { Cause, type Context, Deferred, Effect, Scope } from "effect";
+import type { HistoryExportPort } from "../../endpoint/engine-types.js";
+import type { EndpointEngine } from "../../endpoint/engine.js";
+import type { EndpointStore } from "../../endpoint/store.js";
+import type { DaemonBootstrap } from "../configuration.js";
+import { type RouterWorker } from "../../endpoint/router-worker/index.js";
+import { DaemonActivationError, type DaemonRuntimeDependencies, DaemonRuntimeError } from "./activation.js";
+/** Subscription publisher installed after the MCP handler is acquired. */
+export type RuntimeSubscriptionHandler = Effect.Effect.Success<ReturnType<DaemonRuntimeDependencies["makeHandler"]>>;
+/** Engine and Router worker active for the daemon's immutable identity. */
+interface ActiveProtocol {
+    readonly agentCard: VerifiedAgentCard;
+    readonly worker: RouterWorker;
+    readonly engine: EndpointEngine;
+}
+/** Mutable controller state shared with supervised protocol resources. */
+export interface ProtocolState {
+    activeProtocol?: ActiveProtocol;
+    subscriptionActive: boolean;
+    handler?: RuntimeSubscriptionHandler;
+    readonly publishedDeliveries: Set<string>;
+}
+/** Dependencies and owned resources available to one protocol lifecycle. */
+export interface ProtocolEnvironment {
+    readonly store: EndpointStore;
+    readonly bootstrap: DaemonBootstrap;
+    readonly historyExport: HistoryExportPort;
+    readonly dependencies: DaemonRuntimeDependencies;
+    readonly registry: Context.Tag.Service<typeof Registry>;
+    readonly router: Context.Tag.Service<typeof Router>;
+    readonly daemonScope: Scope.Scope;
+    readonly fatal: Deferred.Deferred<never, DaemonRuntimeError>;
+    readonly state: ProtocolState;
+}
+/**
+ * Publish newly durable messages while one active native subscriber exists.
+ * @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.
+ */
+export declare const publishPendingMessages: (environment: ProtocolEnvironment, deliveryGate: Effect.Semaphore) => Effect.Effect<void>;
+/**
+ * Propagate interruption and convert other background failures to daemon failure.
+ * @param fatal Process-wide failure signal.
+ * @param cause Background fiber cause to classify.
+ * @returns An effect that preserves interruption or waits after signaling fatal.
+ */
+export declare const failFromBackgroundCause: <E>(fatal: Deferred.Deferred<never, DaemonRuntimeError>, cause: Cause.Cause<E>) => Effect.Effect<never, E>;
+/**
+ * Acquire and supervise the protocol resources for one immutable daemon identity.
+ * @param environment Daemon-owned dependencies and resource scope.
+ * @param activationGate Serializes registration and restart activation.
+ * @param reconciler Publishes durable pending deliveries after transitions.
+ * @param agentCard Verified local identity to activate.
+ * @returns Completion after engine and worker fibers are running.
+ */
+export declare const initializeProtocol: (environment: ProtocolEnvironment, activationGate: Effect.Semaphore, reconciler: Effect.Effect<void>, agentCard: VerifiedAgentCard) => Effect.Effect<void, DaemonActivationError>;
+export {};
+//# sourceMappingURL=protocol.d.ts.map

package/dist/daemon/runtime/protocol.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"protocol.d.ts","sourceRoot":"","sources":["../../../src/daemon/runtime/protocol.ts"],"names":[],"mappings":"AAAA,oFAAoF;AAEpF,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,mBAAmB,CAAC;AAC3D,OAAO,EAAE,QAAQ,EAAE,MAAM,4BAA4B,CAAC;AACtD,OAAO,EAAE,MAAM,EAAE,MAAM,iBAAiB,CAAC;AACzC,OAAO,EAAE,KAAK,EAAE,KAAK,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,QAAQ,CAAC;AACtE,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,gCAAgC,CAAC;AACxE,OAAO,KAAK,EACV,cAAc,EAEf,MAAM,0BAA0B,CAAC;AAClC,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,yBAAyB,CAAC;AAE7D,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,qBAAqB,CAAC;AAE3D,OAAO,EACL,KAAK,YAAY,EAKlB,MAAM,uCAAuC,CAAC;AAC/C,OAAO,EACL,qBAAqB,EACrB,KAAK,yBAAyB,EAC9B,kBAAkB,EAEnB,MAAM,iBAAiB,CAAC;AAEzB,0EAA0E;AAC1E,MAAM,MAAM,0BAA0B,GAAG,MAAM,CAAC,MAAM,CAAC,OAAO,CAC5D,UAAU,CAAC,yBAAyB,CAAC,aAAa,CAAC,CAAC,CACrD,CAAC;AAEF,2EAA2E;AAC3E,UAAU,cAAc;IACtB,QAAQ,CAAC,SAAS,EAAE,iBAAiB,CAAC;IACtC,QAAQ,CAAC,MAAM,EAAE,YAAY,CAAC;IAC9B,QAAQ,CAAC,MAAM,EAAE,cAAc,CAAC;CACjC;AAED,0EAA0E;AAC1E,MAAM,WAAW,aAAa;IAC5B,cAAc,CAAC,EAAE,cAAc,CAAC;IAChC,kBAAkB,EAAE,OAAO,CAAC;IAC5B,OAAO,CAAC,EAAE,0BAA0B,CAAC;IACrC,QAAQ,CAAC,mBAAmB,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC;CAC3C;AAED,4EAA4E;AAC5E,MAAM,WAAW,mBAAmB;IAClC,QAAQ,CAAC,KAAK,EAAE,aAAa,CAAC;IAC9B,QAAQ,CAAC,SAAS,EAAE,eAAe,CAAC;IACpC,QAAQ,CAAC,aAAa,EAAE,iBAAiB,CAAC;IAC1C,QAAQ,CAAC,YAAY,EAAE,yBAAyB,CAAC;IACjD,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC,GAAG,CAAC,OAAO,CAAC,OAAO,QAAQ,CAAC,CAAC;IACxD,QAAQ,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,CAAC,OAAO,CAAC,OAAO,MAAM,CAAC,CAAC;IACpD,QAAQ,CAAC,WAAW,EAAE,KAAK,CAAC,KAAK,CAAC;IAClC,QAAQ,CAAC,KAAK,EAAE,QAAQ,CAAC,QAAQ,CAAC,KAAK,EAAE,kBAAkB,CAAC,CAAC;IAC7D,QAAQ,CAAC,KAAK,EAAE,aAAa,CAAC;CAC/B;AA4BD;;;;;GAKG;AACH,eAAO,MAAM,sBAAsB,gBACpB,mBAAmB,gBAClB,MAAM,CAAC,SAAS,KAC7B,MAAM,CAAC,MAAM,CAAC,IAAI,CAmClB,CAAC;AAEJ;;;;;GAKG;AACH,eAAO,MAAM,uBAAuB,GAAI,CAAC,SAChC,QAAQ,CAAC,QAAQ,CAAC,KAAK,EAAE,kBAAkB,CAAC,SAC5C,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,KACpB,MAAM,CAAC,MAAM,CAAC,KAAK,EAAE,CAAC,CAOxB,CAAC;AAmHF;;;;;;;GAOG;AACH,eAAO,MAAM,kBAAkB,gBAChB,mBAAmB,kBAChB,MAAM,CAAC,SAAS,cACpB,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,aACpB,iBAAiB,KAC3B,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,qBAAqB,CAuCI,CAAC"}

package/dist/daemon/runtime/protocol.js

@@ -0,0 +1,133 @@
+/** @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 { decodeOuterBody } from "../../endpoint/representation.js";
+import { RouterWorkerPayloadInvalidError, } from "../../endpoint/router-worker/index.js";
+import { DaemonActivationError, DaemonRuntimeError, recoverPinnedSenderCards, } from "./activation.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.
+ * @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.
+ */
+export const publishPendingMessages = (environment, deliveryGate) => deliveryGate.withPermits(1)(Effect.suspend(() => {
+    const protocol = environment.state.activeProtocol;
+    if (!environment.state.subscriptionActive || 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)));
+}));
+/**
+ * Propagate interruption and convert other background failures to daemon failure.
+ * @param fatal Process-wide failure signal.
+ * @param cause Background fiber cause to classify.
+ * @returns An effect that preserves interruption or waits after signaling fatal.
+ */
+export const failFromBackgroundCause = (fatal, cause) => {
+    if (Cause.isInterruptedOnly(cause)) {
+        return Effect.failCause(cause);
+    }
+    return Deferred.fail(fatal, runtimeFailure("listener")).pipe(Effect.zipRight(Effect.never));
+};
+const superviseBackground = (environment, effect) => effect.pipe(Effect.catchAllCause((cause) => failFromBackgroundCause(environment.fatal, cause)), Effect.interruptible, Effect.forkIn(environment.daemonScope), Effect.asVoid);
+const makeWorkerCallbacks = (awaitEngine, publishPending) => ({
+    pinSenderCard: () => awaitEngine.pipe(Effect.asVoid),
+    decodePayload: (message) => decodeOuterBody(message.body).pipe(Effect.catchTag("ClientRepresentationError", () => Effect.fail(new RouterWorkerPayloadInvalidError()))),
+    acceptPayload: (ingress) => awaitEngine.pipe(Effect.flatMap((engine) => engine.acceptRouterIngress(ingress)), Effect.tap(() => publishPending)),
+    acceptRecoveryPayload: (ingress) => awaitEngine.pipe(Effect.flatMap((engine) => engine.acceptRecoveryIngress(ingress)), Effect.tap(() => publishPending)),
+    abandonVolatileFolds: (reason) => awaitEngine.pipe(Effect.flatMap((engine) => engine.abandonVolatileFolds(reason))),
+    recoverCertifiedHistory: (recovery) => awaitEngine.pipe(Effect.flatMap((engine) => engine.recoverCertifiedHistory(recovery)), Effect.tap(() => publishPending)),
+});
+const acquireProtocolWorker = (input) => input.environment.dependencies
+    .makeWorker({
+    callerAgentId: input.agentCard.agentId,
+    callerAgentCard: input.agentCard,
+    pinnedSenderCards: input.pinnedSenderCards,
+    signingAuthority: input.environment.bootstrap.signingAuthority,
+    outbox: input.environment.store,
+    callbacks: makeWorkerCallbacks(input.awaitEngine, input.publishPending),
+})
+    .pipe(Effect.provideService(Registry, input.environment.registry), Effect.provideService(Router, input.environment.router), Effect.mapError(mapWorkerInitializationError));
+const mapEngineInitializationError = (error) => activationFailure(error.reason === "identity" ? "representation" : error.reason);
+const acquireProtocolEngine = (environment, agentCard, worker) => environment.dependencies
+    .makeEngine({
+    localAgentCard: agentCard,
+    signingAuthority: environment.bootstrap.signingAuthority,
+    registrySignerPublicKey: environment.bootstrap.configuration.registrySignerPublicKey,
+    registry: environment.registry,
+    store: environment.store,
+    routerWorker: worker,
+    actionPolicy: signStructurallyValidAction,
+    historyExport: environment.historyExport,
+})
+    .pipe(Scope.extend(environment.daemonScope), Effect.mapError(mapEngineInitializationError));
+const checkExistingProtocol = (agentCard, activeProtocol) => {
+    if (activeProtocol === undefined) {
+        return Effect.succeed(false);
+    }
+    if (activeProtocol.agentCard.agentId !== agentCard.agentId ||
+        activeProtocol.agentCard.publicKey.x !== agentCard.publicKey.x) {
+        return Effect.fail(activationFailure("representation"));
+    }
+    return Effect.succeed(true);
+};
+const retainActiveProtocol = (state, protocol) => {
+    state.activeProtocol = protocol;
+};
+/**
+ * Acquire and supervise the protocol resources for one immutable daemon identity.
+ * @param environment Daemon-owned dependencies and resource scope.
+ * @param activationGate Serializes registration and restart activation.
+ * @param reconciler Publishes durable pending deliveries after transitions.
+ * @param agentCard Verified local identity to activate.
+ * @returns Completion after engine and worker fibers are running.
+ */
+export const initializeProtocol = (environment, activationGate, reconciler, agentCard) => activationGate
+    .withPermits(1)(Effect.gen(function* () {
+    const alreadyActive = yield* checkExistingProtocol(agentCard, environment.state.activeProtocol);
+    if (alreadyActive) {
+        return;
+    }
+    const pinnedSenderCards = yield* recoverPinnedSenderCards({
+        store: environment.store,
+        localAgentCard: agentCard,
+        bootstrap: environment.bootstrap,
+    });
+    const engineReady = yield* Deferred.make();
+    const awaitEngine = Deferred.await(engineReady);
+    const worker = yield* acquireProtocolWorker({
+        environment,
+        agentCard,
+        pinnedSenderCards,
+        awaitEngine,
+        publishPending: reconciler,
+    });
+    const engine = yield* acquireProtocolEngine(environment, agentCard, worker);
+    retainActiveProtocol(environment.state, { agentCard, worker, engine });
+    yield* Deferred.succeed(engineReady, engine);
+    yield* superviseBackground(environment, worker.run);
+    yield* superviseBackground(environment, engine.runOutbound);
+    yield* reconciler.pipe(Effect.mapError(() => activationFailure("upstream")));
+}))
+    .pipe(Effect.withSpan("initializeProtocol"));
+//# sourceMappingURL=protocol.js.map

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

@@ -0,0 +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"}

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

@@ -0,0 +1,39 @@
+/** @file Private address resolution from runtime names to immutable cards. */
+import type { Registry } from "@moltzap/identity/registry";
+import { 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. */
+export type AddressRegistryPort = Pick<Context.Tag.Service<typeof Registry>, "lookup">;
+/** Resolved deterministic membership for a direct destination. */
+interface ResolvedDirectAddress {
+    readonly kind: "direct";
+    readonly address: AgentAddress;
+    readonly memberCards: readonly [VerifiedAgentCard, VerifiedAgentCard];
+}
+/** Resolved deterministic membership for a fixed group destination. */
+interface ResolvedGroupAddress {
+    readonly kind: "group";
+    readonly address: GroupAddress;
+    readonly memberCards: readonly [
+        VerifiedAgentCard,
+        VerifiedAgentCard,
+        VerifiedAgentCard,
+        ...VerifiedAgentCard[]
+    ];
+}
+/** Address resolution retains both the runtime spelling and private cards. */
+export type ResolvedMessageAddress = ResolvedDirectAddress | ResolvedGroupAddress;
+interface ResolveMessageAddressInput {
+    readonly localAgentCard: VerifiedAgentCard;
+    readonly registry: AddressRegistryPort;
+    readonly to: MessageAddressInput;
+}
+/**
+ * Resolve one explicit runtime destination to canonical immutable membership.
+ * @param input Local verified identity, Registry lookup, and validated input.
+ * @returns The canonical runtime address and AgentId-ordered verified cards.
+ */
+export declare function resolveMessageAddress(input: ResolveMessageAddressInput): Effect.Effect<ResolvedMessageAddress, SendError>;
+export {};
+//# sourceMappingURL=index.d.ts.map

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

@@ -0,0 +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"}

package/dist/endpoint/addressing/index.js

@@ -0,0 +1,114 @@
+/** @file Private address resolution from runtime names to immutable cards. */
+import { AgentName } from "@moltzap/identity";
+import { Effect, Schema } from "effect";
+import { AgentAddress, GroupAddress, SendError, } from "../../contract.js";
+import { compareAgentIds } from "../representation.js";
+const AGENT_ADDRESS_PREFIX = "agent:";
+const GROUP_ADDRESS_PREFIX = "group:";
+const MAXIMUM_GROUP_MEMBERS = 32;
+/**
+ * Resolve one explicit runtime destination to canonical immutable membership.
+ * @param input Local verified identity, Registry lookup, and validated input.
+ * @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);
+}
+function invalidAddress() {
+    return new SendError({ reason: "invalid-address" });
+}
+function invalidMembership() {
+    return new SendError({ reason: "membership-invalid" });
+}
+function mapRegistryFailure(error) {
+    return new SendError({
+        reason: error._tag === "VersionMismatchError"
+            ? "version-mismatch"
+            : "network-unavailable",
+    });
+}
+function compareAscii(left, right) {
+    const sharedLength = Math.min(left.length, right.length);
+    for (let index = 0; index < sharedLength; index += 1) {
+        const difference = left.charCodeAt(index) - right.charCodeAt(index);
+        if (difference !== 0) {
+            return difference;
+        }
+    }
+    return left.length - right.length;
+}
+function orderMemberCards(cards) {
+    const ordered = cards.slice();
+    ordered.sort((left, right) => compareAgentIds(left.agentId, right.agentId));
+    return ordered;
+}
+function decodeAgentName(value) {
+    return Schema.decodeUnknown(AgentName)(value).pipe(Effect.mapError(invalidAddress));
+}
+function lookupCard(registry, agentName) {
+    return registry.lookup({ agentName }).pipe(Effect.mapError(mapRegistryFailure), Effect.flatMap((result) => {
+        if (result.kind === "not_found") {
+            return Effect.fail(new SendError({ reason: "unknown-agent" }));
+        }
+        return result.agentCard.agentName === agentName
+            ? Effect.succeed(result.agentCard)
+            : Effect.fail(new SendError({ reason: "unknown-agent" }));
+    }));
+}
+function resolveDirect(input) {
+    return Effect.gen(function* () {
+        const agentName = yield* decodeAgentName(input.to.slice(AGENT_ADDRESS_PREFIX.length));
+        if (agentName === input.localAgentCard.agentName) {
+            return yield* invalidMembership();
+        }
+        const remoteCard = yield* lookupCard(input.registry, agentName);
+        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,
+            memberCards: [first, second],
+        };
+    });
+}
+function resolveGroup(input) {
+    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
+            ? Effect.succeed(input.localAgentCard)
+            : lookupCard(input.registry, agentName), { concurrency: 1 });
+        const ordered = orderMemberCards(resolved);
+        const first = ordered[0];
+        const second = ordered[1];
+        const third = ordered[2];
+        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,
+            memberCards: [first, second, third, ...ordered.slice(3)],
+        };
+    });
+}
+//# sourceMappingURL=index.js.map

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

@@ -0,0 +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"}

package/dist/endpoint/engine-dissemination.d.ts

@@ -0,0 +1,11 @@
+/** @file Recovery of durable certified-record dissemination obligations. */
+import { Effect } from "effect";
+import type { EngineRuntime } from "./engine-types.js";
+import { RouterWorkerPersistenceError } from "./router-worker/index.js";
+/**
+ * Attach every durable certification obligation that lacks an outer envelope.
+ * @param runtime Recovered engine state and durable protocol dependencies.
+ * @returns Completion after every obligation has one exact retained outbox row.
+ */
+export declare function resumeDisseminationObligations(runtime: EngineRuntime): Effect.Effect<void, RouterWorkerPersistenceError>;
+//# sourceMappingURL=engine-dissemination.d.ts.map

package/dist/endpoint/engine-dissemination.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"engine-dissemination.d.ts","sourceRoot":"","sources":["../../src/endpoint/engine-dissemination.ts"],"names":[],"mappings":"AAAA,4EAA4E;AAE5E,OAAO,EAAE,MAAM,EAAU,MAAM,QAAQ,CAAC;AACxC,OAAO,KAAK,EAAoB,aAAa,EAAE,MAAM,mBAAmB,CAAC;AAazE,OAAO,EAAE,4BAA4B,EAAE,MAAM,0BAA0B,CAAC;AAOxE;;;;GAIG;AACH,wBAAgB,8BAA8B,CAC5C,OAAO,EAAE,aAAa,GACrB,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,4BAA4B,CAAC,CAanD"}

package/dist/endpoint/engine-dissemination.js

@@ -0,0 +1,71 @@
+/** @file Recovery of durable certified-record dissemination obligations. */
+import { Effect, Schema } from "effect";
+import { makeActionCertifiedRecord, recordAnchorHash, } from "./engine-durability.js";
+import { queueCertifiedPacket } from "./engine-send.js";
+import { ConversationId, RecordHash, } from "./representation.js";
+import { RouterWorkerPersistenceError } from "./router-worker/index.js";
+/**
+ * Attach every durable certification obligation that lacks an outer envelope.
+ * @param runtime Recovered engine state and durable protocol dependencies.
+ * @returns Completion after every obligation has one exact retained outbox row.
+ */
+export function resumeDisseminationObligations(runtime) {
+    return runtime.gate.withPermits(1)(runtime.input.store.recover().pipe(Effect.mapError(persistenceFailure), Effect.flatMap((recovery) => Effect.forEach(recovery.disseminationObligations, (obligation) => attachObligation(runtime, obligation), { concurrency: 1, discard: true }))));
+}
+function attachObligation(runtime, obligation) {
+    return Effect.gen(function* () {
+        const { fold, recordHash } = yield* obligationFold(runtime, obligation);
+        const packet = yield* packetForObligation(fold, obligation, recordHash);
+        yield* Effect.uninterruptible(queueCertifiedPacket(runtime, fold.conversation, packet).pipe(Effect.mapError(persistenceFailure), Effect.zipRight(markQueued(fold, obligation.kind))));
+    });
+}
+function obligationFold(runtime, obligation) {
+    return Effect.all({
+        conversationId: Schema.decodeUnknown(ConversationId)(obligation.conversationId).pipe(Effect.mapError(persistenceFailure)),
+        recordHash: Schema.decodeUnknown(RecordHash)(obligation.recordHash).pipe(Effect.mapError(persistenceFailure)),
+    }).pipe(Effect.flatMap(({ conversationId, recordHash }) => {
+        const fold = runtime.recordFolds.get(recordHash);
+        return fold !== undefined &&
+            fold.conversation.conversationId === conversationId &&
+            fold.recordHash === recordHash
+            ? Effect.succeed({ fold, recordHash })
+            : Effect.fail(persistenceFailure());
+    }));
+}
+function packetForObligation(fold, obligation, recordHash) {
+    switch (obligation.kind) {
+        case "action-certified-record":
+            return recordAnchorHash(fold).pipe(Effect.mapError(persistenceFailure), Effect.flatMap((anchorHash) => makeActionCertifiedRecord(fold, anchorHash).pipe(Effect.mapError(persistenceFailure))), Effect.filterOrFail((record) => record.recordHash === recordHash, persistenceFailure));
+        case "certified-record": {
+            const record = fold.certifiedRecord;
+            return record !== undefined &&
+                record.actionCertifiedRecord.recordHash === recordHash
+                ? Effect.succeed(record)
+                : Effect.fail(persistenceFailure());
+        }
+        default: {
+            const exhaustive = obligation.kind;
+            return exhaustive;
+        }
+    }
+}
+function markQueued(fold, kind) {
+    return Effect.sync(() => {
+        switch (kind) {
+            case "action-certified-record":
+                fold.actionCertifiedRecordQueued = true;
+                return;
+            case "certified-record":
+                fold.certifiedRecordQueued = true;
+                return;
+            default: {
+                const exhaustive = kind;
+                return exhaustive;
+            }
+        }
+    });
+}
+function persistenceFailure() {
+    return new RouterWorkerPersistenceError();
+}
+//# sourceMappingURL=engine-dissemination.js.map

package/dist/endpoint/engine-dissemination.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"engine-dissemination.js","sourceRoot":"","sources":["../../src/endpoint/engine-dissemination.ts"],"names":[],"mappings":"AAAA,4EAA4E;AAE5E,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAC;AAGxC,OAAO,EACL,yBAAyB,EACzB,gBAAgB,GACjB,MAAM,wBAAwB,CAAC;AAChC,OAAO,EAAE,oBAAoB,EAAE,MAAM,kBAAkB,CAAC;AACxD,OAAO,EAGL,cAAc,EACd,UAAU,GACX,MAAM,qBAAqB,CAAC;AAC7B,OAAO,EAAE,4BAA4B,EAAE,MAAM,0BAA0B,CAAC;AAOxE;;;;GAIG;AACH,MAAM,UAAU,8BAA8B,CAC5C,OAAsB;IAEtB,OAAO,OAAO,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC,CAAC,CAChC,OAAO,CAAC,KAAK,CAAC,KAAK,CAAC,OAAO,EAAE,CAAC,IAAI,CAChC,MAAM,CAAC,QAAQ,CAAC,kBAAkB,CAAC,EACnC,MAAM,CAAC,OAAO,CAAC,CAAC,QAAQ,EAAE,EAAE,CAC1B,MAAM,CAAC,OAAO,CACZ,QAAQ,CAAC,wBAAwB,EACjC,CAAC,UAAU,EAAE,EAAE,CAAC,gBAAgB,CAAC,OAAO,EAAE,UAAU,CAAC,EACrD,EAAE,WAAW,EAAE,CAAC,EAAE,OAAO,EAAE,IAAI,EAAE,CAClC,CACF,CACF,CACF,CAAC;AACJ,CAAC;AAED,SAAS,gBAAgB,CACvB,OAAsB,EACtB,UAAmC;IAEnC,OAAO,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;QACzB,MAAM,EAAE,IAAI,EAAE,UAAU,EAAE,GAAG,KAAK,CAAC,CAAC,cAAc,CAAC,OAAO,EAAE,UAAU,CAAC,CAAC;QACxE,MAAM,MAAM,GAAG,KAAK,CAAC,CAAC,mBAAmB,CAAC,IAAI,EAAE,UAAU,EAAE,UAAU,CAAC,CAAC;QACxE,KAAK,CAAC,CAAC,MAAM,CAAC,eAAe,CAC3B,oBAAoB,CAAC,OAAO,EAAE,IAAI,CAAC,YAAY,EAAE,MAAM,CAAC,CAAC,IAAI,CAC3D,MAAM,CAAC,QAAQ,CAAC,kBAAkB,CAAC,EACnC,MAAM,CAAC,QAAQ,CAAC,UAAU,CAAC,IAAI,EAAE,UAAU,CAAC,IAAI,CAAC,CAAC,CACnD,CACF,CAAC;IACJ,CAAC,CAAC,CAAC;AACL,CAAC;AAED,SAAS,cAAc,CACrB,OAAsB,EACtB,UAAmC;IAKnC,OAAO,MAAM,CAAC,GAAG,CAAC;QAChB,cAAc,EAAE,MAAM,CAAC,aAAa,CAAC,cAAc,CAAC,CAClD,UAAU,CAAC,cAAc,CAC1B,CAAC,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,kBAAkB,CAAC,CAAC;QAC3C,UAAU,EAAE,MAAM,CAAC,aAAa,CAAC,UAAU,CAAC,CAAC,UAAU,CAAC,UAAU,CAAC,CAAC,IAAI,CACtE,MAAM,CAAC,QAAQ,CAAC,kBAAkB,CAAC,CACpC;KACF,CAAC,CAAC,IAAI,CACL,MAAM,CAAC,OAAO,CAAC,CAAC,EAAE,cAAc,EAAE,UAAU,EAAE,EAAE,EAAE;QAChD,MAAM,IAAI,GAAG,OAAO,CAAC,WAAW,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;QACjD,OAAO,IAAI,KAAK,SAAS;YACvB,IAAI,CAAC,YAAY,CAAC,cAAc,KAAK,cAAc;YACnD,IAAI,CAAC,UAAU,KAAK,UAAU;YAC9B,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,CAAC;YACtC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,kBAAkB,EAAE,CAAC,CAAC;IACxC,CAAC,CAAC,CACH,CAAC;AACJ,CAAC;AAED,SAAS,mBAAmB,CAC1B,IAAsB,EACtB,UAAmC,EACnC,UAAkC;IAKlC,QAAQ,UAAU,CAAC,IAAI,EAAE,CAAC;QACxB,KAAK,yBAAyB;YAC5B,OAAO,gBAAgB,CAAC,IAAI,CAAC,CAAC,IAAI,CAChC,MAAM,CAAC,QAAQ,CAAC,kBAAkB,CAAC,EACnC,MAAM,CAAC,OAAO,CAAC,CAAC,UAAU,EAAE,EAAE,CAC5B,yBAAyB,CAAC,IAAI,EAAE,UAAU,CAAC,CAAC,IAAI,CAC9C,MAAM,CAAC,QAAQ,CAAC,kBAAkB,CAAC,CACpC,CACF,EACD,MAAM,CAAC,YAAY,CACjB,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,UAAU,KAAK,UAAU,EAC5C,kBAAkB,CACnB,CACF,CAAC;QACJ,KAAK,kBAAkB,EAAE,CAAC;YACxB,MAAM,MAAM,GAAG,IAAI,CAAC,eAAe,CAAC;YACpC,OAAO,MAAM,KAAK,SAAS;gBACzB,MAAM,CAAC,qBAAqB,CAAC,UAAU,KAAK,UAAU;gBACtD,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC;gBACxB,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,kBAAkB,EAAE,CAAC,CAAC;QACxC,CAAC;QACD,SAAS,CAAC;YACR,MAAM,UAAU,GAAU,UAAU,CAAC,IAAI,CAAC;YAC1C,OAAO,UAAU,CAAC;QACpB,CAAC;IACH,CAAC;AACH,CAAC;AAED,SAAS,UAAU,CACjB,IAAsB,EACtB,IAAqC;IAErC,OAAO,MAAM,CAAC,IAAI,CAAC,GAAG,EAAE;QACtB,QAAQ,IAAI,EAAE,CAAC;YACb,KAAK,yBAAyB;gBAC5B,IAAI,CAAC,2BAA2B,GAAG,IAAI,CAAC;gBACxC,OAAO;YACT,KAAK,kBAAkB;gBACrB,IAAI,CAAC,qBAAqB,GAAG,IAAI,CAAC;gBAClC,OAAO;YACT,SAAS,CAAC;gBACR,MAAM,UAAU,GAAU,IAAI,CAAC;gBAC/B,OAAO,UAAU,CAAC;YACpB,CAAC;QACH,CAAC;IACH,CAAC,CAAC,CAAC;AACL,CAAC;AAED,SAAS,kBAAkB;IACzB,OAAO,IAAI,4BAA4B,EAAE,CAAC;AAC5C,CAAC"}

package/dist/endpoint/engine-durability.d.ts

@@ -0,0 +1,69 @@
+/** @file Record certification, evidence persistence, and host projection. */
+import { type AgentId, SignedMessage } from "@moltzap/identity";
+import { Effect } from "effect";
+import type { EngineActionFold, EngineConversation, EngineRuntime } from "./engine-types.js";
+import type { InboundDeliveryInput, ProtocolEvidence, StagedRecord, CertifiedRecord as StoredCertifiedRecord } from "./store.js";
+import { type InboundMessage as InboundMessageValue } from "../contract.js";
+import { type ActionCertifiedRecord, type AnchorHash, type CertifiedRecord, ClientRepresentationError, type RecordCore } from "./representation.js";
+/**
+ * Resolve the immutable Router anchor bound when one action fold is created.
+ * @param fold Selected action and its action-specific Router anchor.
+ * @returns The canonical anchor hash committed by the record core.
+ */
+export declare const recordAnchorHash: (fold: EngineActionFold) => Effect.Effect<AnchorHash, ClientRepresentationError>;
+/**
+ * Convert one verified inner signature into its durable evidence row.
+ * @param conversationId Private conversation that owns the evidence.
+ * @param kind Evidence statement family retained by the store.
+ * @param subjectId Hash named by the evidence statement.
+ * @param message Verified self-addressed evidence message.
+ * @returns Canonical durable evidence without changing its signer bytes.
+ */
+export declare const protocolEvidence: (conversationId: string, kind: ProtocolEvidence["kind"], subjectId: string, message: SignedMessage) => Effect.Effect<ProtocolEvidence, ClientRepresentationError>;
+/**
+ * Build the action-certified record after its threshold is reached.
+ * @param fold In-memory fold containing verified action evidence.
+ * @param anchorHash Completed anchor bound by the record core.
+ * @returns One evidence-independent record core with its action certificate.
+ */
+export declare const makeActionCertifiedRecord: (fold: EngineActionFold, anchorHash: RecordCore["anchorHash"]) => Effect.Effect<ActionCertifiedRecord, ClientRepresentationError>;
+/**
+ * Add a durability certificate without changing the certified record hash.
+ * @param actionCertifiedRecord Action-certified core being finalized.
+ * @param fold In-memory fold containing verified durability evidence.
+ * @returns One complete certified record with mergeable durability votes.
+ */
+export declare const makeCertifiedRecord: (actionCertifiedRecord: ActionCertifiedRecord, fold: EngineActionFold) => Effect.Effect<CertifiedRecord, ClientRepresentationError>;
+/**
+ * Convert one verified record core to the store's evidence-free staging row.
+ * @param record Verified action-certified record from the protocol fold.
+ * @returns Canonical evidence-free row used for atomic staging.
+ */
+export declare const stagedRecord: (record: ActionCertifiedRecord) => Effect.Effect<StagedRecord, ClientRepresentationError>;
+/**
+ * Convert a complete wire record into one complete store promotion row.
+ * @param record Complete certified wire record.
+ * @param fold In-memory fold retaining verified signer messages.
+ * @returns Store promotion data with separate action and durability evidence.
+ */
+export declare const storedCertifiedRecord: (record: CertifiedRecord, fold: EngineActionFold) => Effect.Effect<StoredCertifiedRecord, ClientRepresentationError>;
+/** The store's canonical pending delivery beside the message it encodes. */
+export interface InboundDeliveryProjection {
+    readonly input: InboundDeliveryInput;
+    readonly message: InboundMessageValue;
+}
+/**
+ * Encode the remote projection atomically retained during promotion.
+ * The recipient is the local agent that owns the pending delivery, which
+ * `AgentId` cannot express and nothing here checks. The result carries both
+ * the canonical input that record promotion commits atomically and the
+ * decoded message it was encoded from.
+ */
+export declare const inboundDelivery: (conversation: EngineConversation, record: CertifiedRecord, recipientAgentId: AgentId) => Effect.Effect<InboundDeliveryProjection, ClientRepresentationError>;
+/**
+ * Record one durable inbound delivery in the history export: exactly the
+ * host-visible message the store now holds. When no export is configured the
+ * no-op port records nothing.
+ */
+export declare const exportInbound: (runtime: EngineRuntime, message: InboundMessageValue) => Effect.Effect<void>;
+//# sourceMappingURL=engine-durability.d.ts.map

package/dist/endpoint/engine-durability.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"engine-durability.d.ts","sourceRoot":"","sources":["../../src/endpoint/engine-durability.ts"],"names":[],"mappings":"AAAA,6EAA6E;AAE7E,OAAO,EACL,KAAK,OAAO,EAEZ,aAAa,EACd,MAAM,mBAAmB,CAAC;AAC3B,OAAO,EAAY,MAAM,EAAU,MAAM,QAAQ,CAAC;AAClD,OAAO,KAAK,EACV,gBAAgB,EAChB,kBAAkB,EAClB,aAAa,EACd,MAAM,mBAAmB,CAAC;AAC3B,OAAO,KAAK,EACV,oBAAoB,EACpB,gBAAgB,EAChB,YAAY,EACZ,eAAe,IAAI,qBAAqB,EACzC,MAAM,YAAY,CAAC;AACpB,OAAO,EAIL,KAAK,cAAc,IAAI,mBAAmB,EAC3C,MAAM,gBAAgB,CAAC;AACxB,OAAO,EACL,KAAK,qBAAqB,EAC1B,KAAK,UAAU,EACf,KAAK,eAAe,EACpB,yBAAyB,EAKzB,KAAK,UAAU,EAEhB,MAAM,qBAAqB,CAAC;AA2B7B;;;;GAIG;AACH,eAAO,MAAM,gBAAgB,SACrB,gBAAgB,KACrB,MAAM,CAAC,MAAM,CAAC,UAAU,EAAE,yBAAyB,CAGV,CAAC;AA0B7C;;;;;;;GAOG;AACH,eAAO,MAAM,gBAAgB,mBACX,MAAM,QAChB,gBAAgB,CAAC,MAAM,CAAC,aACnB,MAAM,WACR,aAAa,KACrB,MAAM,CAAC,MAAM,CAAC,gBAAgB,EAAE,yBAAyB,CASzD,CAAC;AAEJ;;;;;GAKG;AACH,eAAO,MAAM,yBAAyB,SAC9B,gBAAgB,cACV,UAAU,CAAC,YAAY,CAAC,KACnC,MAAM,CAAC,MAAM,CAAC,qBAAqB,EAAE,yBAAyB,CAyBV,CAAC;AAExD;;;;;GAKG;AACH,eAAO,MAAM,mBAAmB,0BACP,qBAAqB,QACtC,gBAAgB,KACrB,MAAM,CAAC,MAAM,CAAC,eAAe,EAAE,yBAAyB,CAgBxD,CAAC;AAEJ;;;;GAIG;AACH,eAAO,MAAM,YAAY,WACf,qBAAqB,KAC5B,MAAM,CAAC,MAAM,CAAC,YAAY,EAAE,yBAAyB,CAoBvD,CAAC;AAEF;;;;;GAKG;AACH,eAAO,MAAM,qBAAqB,WACxB,eAAe,QACjB,gBAAgB,KACrB,MAAM,CAAC,MAAM,CAAC,qBAAqB,EAAE,yBAAyB,CA0Bd,CAAC;AAsEpD,4EAA4E;AAC5E,MAAM,WAAW,yBAAyB;IACxC,QAAQ,CAAC,KAAK,EAAE,oBAAoB,CAAC;IACrC,QAAQ,CAAC,OAAO,EAAE,mBAAmB,CAAC;CACvC;AAED;;;;;;GAMG;AACH,eAAO,MAAM,eAAe,iBACZ,kBAAkB,UACxB,eAAe,oBACL,OAAO,KACxB,MAAM,CAAC,MAAM,CAAC,yBAAyB,EAAE,yBAAyB,CAUlE,CAAC;AAEJ;;;;GAIG;AACH,eAAO,MAAM,aAAa,YACf,aAAa,WACb,mBAAmB,KAC3B,MAAM,CAAC,MAAM,CAAC,IAAI,CAKlB,CAAC"}