@moltzap/client 2026.811.0 → 2026.902.0

package/dist/endpoint/engine.js

@@ -0,0 +1,280 @@
+/** @file Private addressed-message engine acquisition and daemon seams. */
+import { AgentCard, AgentSigningAuthority } from "@moltzap/identity";
+import { Deferred, Effect, Queue, SubscriptionRef } from "effect";
+import { DeliveryAcknowledgeError, InboundMessage, ListenError, SendError, } from "../contract.js";
+import { resumeDisseminationObligations } from "./engine-dissemination.js";
+import { exportSend, prepareSend, proposeIntent } from "./engine-send.js";
+import { EngineInitializationError, EngineOutboundError, } from "./engine-types.js";
+import { resumeEngineFolds } from "./protocol/index.js";
+import { installRecoveryBarrier } from "./recovery/barrier.js";
+import { acceptEngineIngressWithRecovery, acceptEngineRecoveryIngressWithRecovery, recoverCertifiedHistory, recoverEngineState, } from "./recovery/index.js";
+import { decodeCanonical, encodeCanonical, PostIntent, } from "./representation.js";
+/** Closed engine errors used by daemon composition. */
+export { EngineInitializationError, EngineOutboundError, } from "./engine-types.js";
+const initializationReasonByStoreReason = {
+    closed: "persistence",
+    conflict: "identity",
+    corrupt: "persistence",
+    incompatible: "persistence",
+    "invalid-continuation": "persistence",
+    "invalid-input": "persistence",
+    "not-found": "persistence",
+    persistence: "persistence",
+};
+const listenReasonByStoreReason = {
+    closed: "transport-failed",
+    conflict: "decode-failed",
+    corrupt: "decode-failed",
+    incompatible: "incompatible-daemon",
+    "invalid-continuation": "decode-failed",
+    "invalid-input": "decode-failed",
+    "not-found": "decode-failed",
+    persistence: "transport-failed",
+};
+const acknowledgeReasonByStoreReason = {
+    closed: "persistence-failed",
+    conflict: "delivery-conflict",
+    corrupt: "persistence-failed",
+    incompatible: "persistence-failed",
+    "invalid-continuation": "persistence-failed",
+    "invalid-input": "persistence-failed",
+    "not-found": "unknown-delivery",
+    persistence: "persistence-failed",
+};
+const resumeDispositionBySendReason = {
+    "certification-unavailable": "ignore",
+    "content-invalid": "fail-representation",
+    "invalid-address": "fail-representation",
+    "membership-invalid": "fail-representation",
+    "network-unavailable": "ignore",
+    "not-registered": "fail-representation",
+    "persistence-failed": "fail-persistence",
+    "unknown-agent": "fail-representation",
+    "version-mismatch": "fail-representation",
+};
+const outboundFailure = (error) => {
+    switch (error._tag) {
+        case "RouterWorkerPersistenceError":
+            return new EngineOutboundError({ reason: "persistence" });
+        case "RouterWorkerAuthenticationError":
+        case "RouterWorkerProtocolError":
+            return new EngineOutboundError({ reason: "representation" });
+        case "RouterWorkerDiscontinuityError":
+        case "RouterWorkerRecoveryError":
+        case "RouterWorkerTransportError":
+        case "RouterWorkerUnavailableError":
+            return new EngineOutboundError({ reason: "network" });
+        default: {
+            const exhaustive = error;
+            return exhaustive;
+        }
+    }
+};
+function outboundSendFailure(error) {
+    switch (error.reason) {
+        case "persistence":
+            return new SendError({ reason: "persistence-failed" });
+        case "network":
+            return new SendError({ reason: "network-unavailable" });
+        case "representation":
+            return new SendError({ reason: "certification-unavailable" });
+        default: {
+            const exhaustive = error.reason;
+            return exhaustive;
+        }
+    }
+}
+function listenStoreFailure(error) {
+    return new ListenError({ reason: listenReasonByStoreReason[error.reason] });
+}
+function listenRepresentationFailure() {
+    return new ListenError({ reason: "decode-failed" });
+}
+function acknowledgeStoreFailure(error) {
+    return new DeliveryAcknowledgeError({
+        reason: acknowledgeReasonByStoreReason[error.reason],
+    });
+}
+function bindIdentityFailure(error) {
+    switch (error._tag) {
+        case "ClientRepresentationError":
+            return representationInitializationFailure();
+        case "EndpointStoreError":
+            return initializationStoreFailure(error);
+        default: {
+            const exhaustive = error;
+            return exhaustive;
+        }
+    }
+}
+function recoveryInitializationFailure(error) {
+    switch (error._tag) {
+        case "ClientRepresentationError":
+        case "ParseError":
+            return representationInitializationFailure();
+        case "RouterWorkerPersistenceError":
+            return new EngineInitializationError({ reason: "persistence" });
+        default: {
+            const exhaustive = error;
+            return exhaustive;
+        }
+    }
+}
+function resumeIntentFailure(error) {
+    const disposition = resumeDispositionBySendReason[error.reason];
+    switch (disposition) {
+        case "fail-persistence":
+            return Effect.fail(new EngineInitializationError({ reason: "persistence" }));
+        case "fail-representation":
+            return Effect.fail(representationInitializationFailure());
+        case "ignore":
+            return Effect.void;
+        default: {
+            const exhaustive = disposition;
+            return exhaustive;
+        }
+    }
+}
+function initializationStoreFailure(error) {
+    return new EngineInitializationError({
+        reason: initializationReasonByStoreReason[error.reason],
+    });
+}
+function representationInitializationFailure() {
+    return new EngineInitializationError({ reason: "representation" });
+}
+function resumeFoldFailure() {
+    return new EngineInitializationError({ reason: "persistence" });
+}
+const drainOutbound = (runtime) => runtime.outboundGate.withPermits(1)(Effect.gen(function* () {
+    while (runtime.outbound.length > 0) {
+        const message = runtime.outbound[0];
+        if (message === undefined) {
+            return;
+        }
+        yield* runtime.input.routerWorker
+            .send(message)
+            .pipe(Effect.mapError(outboundFailure));
+        yield* Effect.sync(() => {
+            if (runtime.outbound[0] === message) {
+                runtime.outbound.shift();
+            }
+        });
+    }
+}));
+const send = (runtime, input) => Effect.gen(function* () {
+    const prepared = yield* prepareSend(runtime, input);
+    yield* drainOutbound(runtime).pipe(Effect.mapError(outboundSendFailure));
+    yield* Deferred.await(prepared.completion);
+    yield* Effect.uninterruptible(exportSend(runtime, input, {
+        kind: "certified",
+        postId: prepared.postId,
+    }));
+}).pipe(Effect.tapError((error) => exportSend(runtime, input, { kind: "failed", reason: error.reason })), Effect.withSpan("EndpointEngine.send"));
+const runOutbound = (runtime) => Queue.take(runtime.outboundSignal).pipe(Effect.zipRight(drainOutbound(runtime)), Effect.forever);
+const readPendingMessages = (runtime) => runtime.input.store.readPendingDeliveries().pipe(Effect.mapError(listenStoreFailure), Effect.flatMap((deliveries) => Effect.forEach(deliveries, (delivery) => decodeCanonical(InboundMessage, delivery.canonicalMessage).pipe(Effect.mapError(listenRepresentationFailure), Effect.map((message) => ({
+    deliveryToken: delivery.deliveryToken,
+    message,
+}))), { concurrency: 1 })));
+const acknowledgeMessage = (runtime, deliveryToken) => runtime.input.store
+    .acknowledgeDelivery(deliveryToken)
+    .pipe(Effect.mapError(acknowledgeStoreFailure), Effect.asVoid);
+const validateLocalIdentity = (input) => AgentSigningAuthority.publicKey(input.signingAuthority).x ===
+    input.localAgentCard.publicKey.x
+    ? Effect.void
+    : Effect.fail(new EngineInitializationError({ reason: "identity" }));
+const bindLocalIdentity = (input) => encodeCanonical(AgentCard, input.localAgentCard).pipe(Effect.flatMap((canonicalAgentCard) => input.store.bindIdentity({
+    agentId: input.localAgentCard.agentId,
+    canonicalAgentCard,
+})), Effect.mapError(bindIdentityFailure));
+const makeRuntime = (input, recovered) => Effect.gen(function* () {
+    const outbound = recovered.outboundMessages.map((message) => message.outboundId);
+    const outboundSignal = yield* Queue.unbounded();
+    if (outbound.length > 0) {
+        yield* Queue.offer(outboundSignal, undefined);
+    }
+    return {
+        input,
+        conversations: recovered.conversations,
+        intents: new Map(),
+        completedPostIds: recovered.completedPostIds,
+        actionFolds: recovered.actionFolds,
+        recordFolds: recovered.recordFolds,
+        outbound,
+        outboundSignal,
+        gate: yield* Effect.makeSemaphore(1),
+        outboundGate: yield* Effect.makeSemaphore(1),
+        revision: yield* SubscriptionRef.make(0),
+    };
+});
+const hydratePostIntents = (runtime, postIntents) => Effect.forEach(postIntents, (stored) => Effect.gen(function* () {
+    const intent = yield* decodeCanonical(PostIntent, stored.canonicalIntent).pipe(Effect.mapError(representationInitializationFailure));
+    const completion = yield* Deferred.make();
+    yield* Effect.sync(() => {
+        runtime.intents.set(intent.postId, {
+            intent,
+            canonicalIntent: stored.canonicalIntent,
+            completion,
+        });
+    });
+    if (stored.completedRecordHash !== undefined) {
+        yield* Deferred.succeed(completion, undefined);
+    }
+}), { concurrency: 1, discard: true });
+const initializeRuntime = (input) => Effect.gen(function* () {
+    yield* validateLocalIdentity(input);
+    yield* bindLocalIdentity(input);
+    const recovery = yield* input.store
+        .recover()
+        .pipe(Effect.mapError(initializationStoreFailure));
+    const recovered = yield* recoverEngineState(input, recovery).pipe(Effect.mapError(recoveryInitializationFailure));
+    const runtime = yield* makeRuntime(input, recovered);
+    yield* hydratePostIntents(runtime, recovered.postIntents);
+    return runtime;
+});
+const resumeRuntime = (runtime) => Effect.gen(function* () {
+    yield* resumeDisseminationObligations(runtime).pipe(Effect.mapError(resumeFoldFailure));
+    yield* resumeEngineFolds(runtime).pipe(Effect.mapError(resumeFoldFailure));
+    yield* Effect.forEach(runtime.intents.values(), (intent) => runtime.completedPostIds.has(intent.intent.postId)
+        ? Effect.void
+        : proposeIntent(runtime, intent).pipe(Effect.asVoid, Effect.catchTag("SendError", resumeIntentFailure)), { concurrency: 1, discard: true });
+});
+const abandonVolatileFolds = (runtime, reason) => runtime.gate
+    .withPermits(1)(Effect.gen(function* () {
+    yield* installRecoveryBarrier(runtime);
+    yield* Effect.sync(() => {
+        runtime.outbound.length = 0;
+        if (reason !== "router_restarted") {
+            return;
+        }
+        for (const fold of runtime.actionFolds.values()) {
+            fold.localActionEvidenceQueued = false;
+            fold.actionCertifiedRecordQueued = false;
+            fold.localDurabilityEvidenceQueued = false;
+            fold.certifiedRecordQueued = false;
+        }
+    });
+}))
+    .pipe(Effect.withSpan("abandonVolatileFolds", { attributes: { reason } }));
+const endpointEngine = (runtime) => Object.freeze({
+    send: (sendInput) => send(runtime, sendInput),
+    readPendingMessages: () => readPendingMessages(runtime),
+    acknowledgeMessage: (deliveryToken) => acknowledgeMessage(runtime, deliveryToken),
+    acceptRouterIngress: (ingress) => acceptEngineIngressWithRecovery(runtime, ingress),
+    acceptRecoveryIngress: (ingress) => acceptEngineRecoveryIngressWithRecovery(runtime, ingress),
+    recoverCertifiedHistory: (recovery) => recoverCertifiedHistory(runtime, recovery),
+    drainOutbound: drainOutbound(runtime),
+    runOutbound: runOutbound(runtime),
+    abandonVolatileFolds: (reason) => abandonVolatileFolds(runtime, reason),
+});
+/**
+ * Build one coherent private engine over registered identity and durable state.
+ * @param input Verified identity, storage, Registry, and Router dependencies.
+ * @returns A scoped engine whose recovered state is ready for protocol work.
+ */
+export const makeEndpointEngine = (input) => Effect.gen(function* () {
+    const runtime = yield* initializeRuntime(input);
+    yield* resumeRuntime(runtime);
+    return endpointEngine(runtime);
+}).pipe(Effect.withSpan("makeEndpointEngine"));
+//# sourceMappingURL=engine.js.map

package/dist/endpoint/engine.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"engine.js","sourceRoot":"","sources":["../../src/endpoint/engine.ts"],"names":[],"mappings":"AAAA,2EAA2E;AAE3E,OAAO,EAAE,SAAS,EAAE,qBAAqB,EAAE,MAAM,mBAAmB,CAAC;AACrE,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,KAAK,EAAc,eAAe,EAAE,MAAM,QAAQ,CAAC;AAM9E,OAAO,EACL,wBAAwB,EACxB,cAAc,EACd,WAAW,EACX,SAAS,GAEV,MAAM,gBAAgB,CAAC;AACxB,OAAO,EAAE,8BAA8B,EAAE,MAAM,2BAA2B,CAAC;AAC3E,OAAO,EAAE,UAAU,EAAE,WAAW,EAAE,aAAa,EAAE,MAAM,kBAAkB,CAAC;AAC1E,OAAO,EAGL,yBAAyB,EACzB,mBAAmB,GAGpB,MAAM,mBAAmB,CAAC;AAC3B,OAAO,EAAE,iBAAiB,EAAE,MAAM,qBAAqB,CAAC;AACxD,OAAO,EAAE,sBAAsB,EAAE,MAAM,uBAAuB,CAAC;AAC/D,OAAO,EACL,+BAA+B,EAC/B,uCAAuC,EACvC,uBAAuB,EACvB,kBAAkB,GACnB,MAAM,qBAAqB,CAAC;AAC7B,OAAO,EAEL,eAAe,EACf,eAAe,EACf,UAAU,GACX,MAAM,qBAAqB,CAAC;AAM7B,uDAAuD;AACvD,OAAO,EACL,yBAAyB,EACzB,mBAAmB,GACpB,MAAM,mBAAmB,CAAC;AAQ3B,MAAM,iCAAiC,GAAG;IACxC,MAAM,EAAE,aAAa;IACrB,QAAQ,EAAE,UAAU;IACpB,OAAO,EAAE,aAAa;IACtB,YAAY,EAAE,aAAa;IAC3B,sBAAsB,EAAE,aAAa;IACrC,eAAe,EAAE,aAAa;IAC9B,WAAW,EAAE,aAAa;IAC1B,WAAW,EAAE,aAAa;CAG3B,CAAC;AAEF,MAAM,yBAAyB,GAAG;IAChC,MAAM,EAAE,kBAAkB;IAC1B,QAAQ,EAAE,eAAe;IACzB,OAAO,EAAE,eAAe;IACxB,YAAY,EAAE,qBAAqB;IACnC,sBAAsB,EAAE,eAAe;IACvC,eAAe,EAAE,eAAe;IAChC,WAAW,EAAE,eAAe;IAC5B,WAAW,EAAE,kBAAkB;CAGhC,CAAC;AAEF,MAAM,8BAA8B,GAAG;IACrC,MAAM,EAAE,oBAAoB;IAC5B,QAAQ,EAAE,mBAAmB;IAC7B,OAAO,EAAE,oBAAoB;IAC7B,YAAY,EAAE,oBAAoB;IAClC,sBAAsB,EAAE,oBAAoB;IAC5C,eAAe,EAAE,oBAAoB;IACrC,WAAW,EAAE,kBAAkB;IAC/B,WAAW,EAAE,oBAAoB;CAGlC,CAAC;AAOF,MAAM,6BAA6B,GAAG;IACpC,2BAA2B,EAAE,QAAQ;IACrC,iBAAiB,EAAE,qBAAqB;IACxC,iBAAiB,EAAE,qBAAqB;IACxC,oBAAoB,EAAE,qBAAqB;IAC3C,qBAAqB,EAAE,QAAQ;IAC/B,gBAAgB,EAAE,qBAAqB;IACvC,oBAAoB,EAAE,kBAAkB;IACxC,eAAe,EAAE,qBAAqB;IACtC,kBAAkB,EAAE,qBAAqB;CAG1C,CAAC;AAEF,MAAM,eAAe,GAAG,CAAC,KAA4B,EAAuB,EAAE;IAC5E,QAAQ,KAAK,CAAC,IAAI,EAAE,CAAC;QACnB,KAAK,8BAA8B;YACjC,OAAO,IAAI,mBAAmB,CAAC,EAAE,MAAM,EAAE,aAAa,EAAE,CAAC,CAAC;QAC5D,KAAK,iCAAiC,CAAC;QACvC,KAAK,2BAA2B;YAC9B,OAAO,IAAI,mBAAmB,CAAC,EAAE,MAAM,EAAE,gBAAgB,EAAE,CAAC,CAAC;QAC/D,KAAK,gCAAgC,CAAC;QACtC,KAAK,2BAA2B,CAAC;QACjC,KAAK,4BAA4B,CAAC;QAClC,KAAK,8BAA8B;YACjC,OAAO,IAAI,mBAAmB,CAAC,EAAE,MAAM,EAAE,SAAS,EAAE,CAAC,CAAC;QACxD,SAAS,CAAC;YACR,MAAM,UAAU,GAAU,KAAK,CAAC;YAChC,OAAO,UAAU,CAAC;QACpB,CAAC;IACH,CAAC;AACH,CAAC,CAAC;AAEF,SAAS,mBAAmB,CAAC,KAA0B;IACrD,QAAQ,KAAK,CAAC,MAAM,EAAE,CAAC;QACrB,KAAK,aAAa;YAChB,OAAO,IAAI,SAAS,CAAC,EAAE,MAAM,EAAE,oBAAoB,EAAE,CAAC,CAAC;QACzD,KAAK,SAAS;YACZ,OAAO,IAAI,SAAS,CAAC,EAAE,MAAM,EAAE,qBAAqB,EAAE,CAAC,CAAC;QAC1D,KAAK,gBAAgB;YACnB,OAAO,IAAI,SAAS,CAAC,EAAE,MAAM,EAAE,2BAA2B,EAAE,CAAC,CAAC;QAChE,SAAS,CAAC;YACR,MAAM,UAAU,GAAU,KAAK,CAAC,MAAM,CAAC;YACvC,OAAO,UAAU,CAAC;QACpB,CAAC;IACH,CAAC;AACH,CAAC;AAED,SAAS,kBAAkB,CAAC,KAAyB;IACnD,OAAO,IAAI,WAAW,CAAC,EAAE,MAAM,EAAE,yBAAyB,CAAC,KAAK,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;AAC9E,CAAC;AAED,SAAS,2BAA2B;IAClC,OAAO,IAAI,WAAW,CAAC,EAAE,MAAM,EAAE,eAAe,EAAE,CAAC,CAAC;AACtD,CAAC;AAED,SAAS,uBAAuB,CAC9B,KAAyB;IAEzB,OAAO,IAAI,wBAAwB,CAAC;QAClC,MAAM,EAAE,8BAA8B,CAAC,KAAK,CAAC,MAAM,CAAC;KACrD,CAAC,CAAC;AACL,CAAC;AAED,SAAS,mBAAmB,CAC1B,KAAqD;IAErD,QAAQ,KAAK,CAAC,IAAI,EAAE,CAAC;QACnB,KAAK,2BAA2B;YAC9B,OAAO,mCAAmC,EAAE,CAAC;QAC/C,KAAK,oBAAoB;YACvB,OAAO,0BAA0B,CAAC,KAAK,CAAC,CAAC;QAC3C,SAAS,CAAC;YACR,MAAM,UAAU,GAAU,KAAK,CAAC;YAChC,OAAO,UAAU,CAAC;QACpB,CAAC;IACH,CAAC;AACH,CAAC;AAED,SAAS,6BAA6B,CACpC,KAA0B;IAE1B,QAAQ,KAAK,CAAC,IAAI,EAAE,CAAC;QACnB,KAAK,2BAA2B,CAAC;QACjC,KAAK,YAAY;YACf,OAAO,mCAAmC,EAAE,CAAC;QAC/C,KAAK,8BAA8B;YACjC,OAAO,IAAI,yBAAyB,CAAC,EAAE,MAAM,EAAE,aAAa,EAAE,CAAC,CAAC;QAClE,SAAS,CAAC;YACR,MAAM,UAAU,GAAU,KAAK,CAAC;YAChC,OAAO,UAAU,CAAC;QACpB,CAAC;IACH,CAAC;AACH,CAAC;AAED,SAAS,mBAAmB,CAC1B,KAAgB;IAEhB,MAAM,WAAW,GAAG,6BAA6B,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;IAChE,QAAQ,WAAW,EAAE,CAAC;QACpB,KAAK,kBAAkB;YACrB,OAAO,MAAM,CAAC,IAAI,CAChB,IAAI,yBAAyB,CAAC,EAAE,MAAM,EAAE,aAAa,EAAE,CAAC,CACzD,CAAC;QACJ,KAAK,qBAAqB;YACxB,OAAO,MAAM,CAAC,IAAI,CAAC,mCAAmC,EAAE,CAAC,CAAC;QAC5D,KAAK,QAAQ;YACX,OAAO,MAAM,CAAC,IAAI,CAAC;QACrB,SAAS,CAAC;YACR,MAAM,UAAU,GAAU,WAAW,CAAC;YACtC,OAAO,UAAU,CAAC;QACpB,CAAC;IACH,CAAC;AACH,CAAC;AAED,SAAS,0BAA0B,CACjC,KAAyB;IAEzB,OAAO,IAAI,yBAAyB,CAAC;QACnC,MAAM,EAAE,iCAAiC,CAAC,KAAK,CAAC,MAAM,CAAC;KACxD,CAAC,CAAC;AACL,CAAC;AAED,SAAS,mCAAmC;IAC1C,OAAO,IAAI,yBAAyB,CAAC,EAAE,MAAM,EAAE,gBAAgB,EAAE,CAAC,CAAC;AACrE,CAAC;AAED,SAAS,iBAAiB;IACxB,OAAO,IAAI,yBAAyB,CAAC,EAAE,MAAM,EAAE,aAAa,EAAE,CAAC,CAAC;AAClE,CAAC;AAED,MAAM,aAAa,GAAG,CACpB,OAAsB,EACoB,EAAE,CAC5C,OAAO,CAAC,YAAY,CAAC,WAAW,CAAC,CAAC,CAAC,CACjC,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;IAClB,OAAO,OAAO,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACnC,MAAM,OAAO,GAAG,OAAO,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC;QACpC,IAAI,OAAO,KAAK,SAAS,EAAE,CAAC;YAC1B,OAAO;QACT,CAAC;QACD,KAAK,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,YAAY;aAC9B,IAAI,CAAC,OAAO,CAAC;aACb,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,eAAe,CAAC,CAAC,CAAC;QAC1C,KAAK,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,EAAE;YACtB,IAAI,OAAO,CAAC,QAAQ,CAAC,CAAC,CAAC,KAAK,OAAO,EAAE,CAAC;gBACpC,OAAO,CAAC,QAAQ,CAAC,KAAK,EAAE,CAAC;YAC3B,CAAC;QACH,CAAC,CAAC,CAAC;IACL,CAAC;AACH,CAAC,CAAC,CACH,CAAC;AAEJ,MAAM,IAAI,GAAG,CACX,OAAsB,EACtB,KAAgB,EACgB,EAAE,CAClC,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;IAClB,MAAM,QAAQ,GAAG,KAAK,CAAC,CAAC,WAAW,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC;IACpD,KAAK,CAAC,CAAC,aAAa,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,mBAAmB,CAAC,CAAC,CAAC;IACzE,KAAK,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC;IAC3C,KAAK,CAAC,CAAC,MAAM,CAAC,eAAe,CAC3B,UAAU,CAAC,OAAO,EAAE,KAAK,EAAE;QACzB,IAAI,EAAE,WAAW;QACjB,MAAM,EAAE,QAAQ,CAAC,MAAM;KACxB,CAAC,CACH,CAAC;AACJ,CAAC,CAAC,CAAC,IAAI,CACL,MAAM,CAAC,QAAQ,CAAC,CAAC,KAAK,EAAE,EAAE,CACxB,UAAU,CAAC,OAAO,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE,KAAK,CAAC,MAAM,EAAE,CAAC,CACrE,EACD,MAAM,CAAC,QAAQ,CAAC,qBAAqB,CAAC,CACvC,CAAC;AAEJ,MAAM,WAAW,GAAG,CAClB,OAAsB,EACqB,EAAE,CAC7C,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,cAAc,CAAC,CAAC,IAAI,CACrC,MAAM,CAAC,QAAQ,CAAC,aAAa,CAAC,OAAO,CAAC,CAAC,EACvC,MAAM,CAAC,OAAO,CACf,CAAC;AAEJ,MAAM,mBAAmB,GAAG,CAC1B,OAAsB,EACuC,EAAE,CAC/D,OAAO,CAAC,KAAK,CAAC,KAAK,CAAC,qBAAqB,EAAE,CAAC,IAAI,CAC9C,MAAM,CAAC,QAAQ,CAAC,kBAAkB,CAAC,EACnC,MAAM,CAAC,OAAO,CAAC,CAAC,UAAU,EAAE,EAAE,CAC5B,MAAM,CAAC,OAAO,CACZ,UAAU,EACV,CAAC,QAAQ,EAAE,EAAE,CACX,eAAe,CAAC,cAAc,EAAE,QAAQ,CAAC,gBAAgB,CAAC,CAAC,IAAI,CAC7D,MAAM,CAAC,QAAQ,CAAC,2BAA2B,CAAC,EAC5C,MAAM,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC;IACvB,aAAa,EAAE,QAAQ,CAAC,aAAa;IACrC,OAAO;CACR,CAAC,CAAC,CACJ,EACH,EAAE,WAAW,EAAE,CAAC,EAAE,CACnB,CACF,CACF,CAAC;AAEJ,MAAM,kBAAkB,GAAG,CACzB,OAAsB,EACtB,aAA4B,EACmB,EAAE,CACjD,OAAO,CAAC,KAAK,CAAC,KAAK;KAChB,mBAAmB,CAAC,aAAa,CAAC;KAClC,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,uBAAuB,CAAC,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC;AAEnE,MAAM,qBAAqB,GAAG,CAC5B,KAA0B,EACsB,EAAE,CAClD,qBAAqB,CAAC,SAAS,CAAC,KAAK,CAAC,gBAAgB,CAAC,CAAC,CAAC;IACzD,KAAK,CAAC,cAAc,CAAC,SAAS,CAAC,CAAC;IAC9B,CAAC,CAAC,MAAM,CAAC,IAAI;IACb,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,yBAAyB,CAAC,EAAE,MAAM,EAAE,UAAU,EAAE,CAAC,CAAC,CAAC;AAEzE,MAAM,iBAAiB,GAAG,CACxB,KAA0B,EACsB,EAAE,CAClD,eAAe,CAAC,SAAS,EAAE,KAAK,CAAC,cAAc,CAAC,CAAC,IAAI,CACnD,MAAM,CAAC,OAAO,CAAC,CAAC,kBAAkB,EAAE,EAAE,CACpC,KAAK,CAAC,KAAK,CAAC,YAAY,CAAC;IACvB,OAAO,EAAE,KAAK,CAAC,cAAc,CAAC,OAAO;IACrC,kBAAkB;CACnB,CAAC,CACH,EACD,MAAM,CAAC,QAAQ,CAAC,mBAAmB,CAAC,CACrC,CAAC;AAEJ,MAAM,WAAW,GAAG,CAClB,KAA0B,EAC1B,SAAuE,EACzC,EAAE,CAChC,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;IAClB,MAAM,QAAQ,GAAG,SAAS,CAAC,gBAAgB,CAAC,GAAG,CAC7C,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,UAAU,CAChC,CAAC;IACF,MAAM,cAAc,GAAG,KAAK,CAAC,CAAC,KAAK,CAAC,SAAS,EAAa,CAAC;IAC3D,IAAI,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACxB,KAAK,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,cAAc,EAAE,SAAS,CAAC,CAAC;IAChD,CAAC;IACD,OAAO;QACL,KAAK;QACL,aAAa,EAAE,SAAS,CAAC,aAAa;QACtC,OAAO,EAAE,IAAI,GAAG,EAAE;QAClB,gBAAgB,EAAE,SAAS,CAAC,gBAAgB;QAC5C,WAAW,EAAE,SAAS,CAAC,WAAW;QAClC,WAAW,EAAE,SAAS,CAAC,WAAW;QAClC,QAAQ;QACR,cAAc;QACd,IAAI,EAAE,KAAK,CAAC,CAAC,MAAM,CAAC,aAAa,CAAC,CAAC,CAAC;QACpC,YAAY,EAAE,KAAK,CAAC,CAAC,MAAM,CAAC,aAAa,CAAC,CAAC,CAAC;QAC5C,QAAQ,EAAE,KAAK,CAAC,CAAC,eAAe,CAAC,IAAI,CAAC,CAAC,CAAC;KACzC,CAAC;AACJ,CAAC,CAAC,CAAC;AAEL,MAAM,kBAAkB,GAAG,CACzB,OAAsB,EACtB,WAEgB,EACgC,EAAE,CAClD,MAAM,CAAC,OAAO,CACZ,WAAW,EACX,CAAC,MAAM,EAAE,EAAE,CACT,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;IAClB,MAAM,MAAM,GAAG,KAAK,CAAC,CAAC,eAAe,CACnC,UAAU,EACV,MAAM,CAAC,eAAe,CACvB,CAAC,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,mCAAmC,CAAC,CAAC,CAAC;IAC7D,MAAM,UAAU,GAAG,KAAK,CAAC,CAAC,QAAQ,CAAC,IAAI,EAAwB,CAAC;IAChE,KAAK,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,EAAE;QACtB,OAAO,CAAC,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,MAAM,EAAE;YACjC,MAAM;YACN,eAAe,EAAE,MAAM,CAAC,eAAe;YACvC,UAAU;SACX,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IACH,IAAI,MAAM,CAAC,mBAAmB,KAAK,SAAS,EAAE,CAAC;QAC7C,KAAK,CAAC,CAAC,QAAQ,CAAC,OAAO,CAAC,UAAU,EAAE,SAAS,CAAC,CAAC;IACjD,CAAC;AACH,CAAC,CAAC,EACJ,EAAE,WAAW,EAAE,CAAC,EAAE,OAAO,EAAE,IAAI,EAAE,CAClC,CAAC;AAEJ,MAAM,iBAAiB,GAAG,CACxB,KAA0B,EAC+B,EAAE,CAC3D,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;IAClB,KAAK,CAAC,CAAC,qBAAqB,CAAC,KAAK,CAAC,CAAC;IACpC,KAAK,CAAC,CAAC,iBAAiB,CAAC,KAAK,CAAC,CAAC;IAChC,MAAM,QAAQ,GAAG,KAAK,CAAC,CAAC,KAAK,CAAC,KAAK;SAChC,OAAO,EAAE;SACT,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,0BAA0B,CAAC,CAAC,CAAC;IACrD,MAAM,SAAS,GAAG,KAAK,CAAC,CAAC,kBAAkB,CAAC,KAAK,EAAE,QAAQ,CAAC,CAAC,IAAI,CAC/D,MAAM,CAAC,QAAQ,CAAC,6BAA6B,CAAC,CAC/C,CAAC;IACF,MAAM,OAAO,GAAG,KAAK,CAAC,CAAC,WAAW,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC;IACrD,KAAK,CAAC,CAAC,kBAAkB,CAAC,OAAO,EAAE,SAAS,CAAC,WAAW,CAAC,CAAC;IAC1D,OAAO,OAAO,CAAC;AACjB,CAAC,CAAC,CAAC;AAEL,MAAM,aAAa,GAAG,CAAC,OAAsB,EAAE,EAAE,CAC/C,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;IAClB,KAAK,CAAC,CAAC,8BAA8B,CAAC,OAAO,CAAC,CAAC,IAAI,CACjD,MAAM,CAAC,QAAQ,CAAC,iBAAiB,CAAC,CACnC,CAAC;IACF,KAAK,CAAC,CAAC,iBAAiB,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,iBAAiB,CAAC,CAAC,CAAC;IAC3E,KAAK,CAAC,CAAC,MAAM,CAAC,OAAO,CACnB,OAAO,CAAC,OAAO,CAAC,MAAM,EAAE,EACxB,CAAC,MAAM,EAAE,EAAE,CACT,OAAO,CAAC,gBAAgB,CAAC,GAAG,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC;QAChD,CAAC,CAAC,MAAM,CAAC,IAAI;QACb,CAAC,CAAC,aAAa,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC,IAAI,CACjC,MAAM,CAAC,MAAM,EACb,MAAM,CAAC,QAAQ,CAAC,WAAW,EAAE,mBAAmB,CAAC,CAClD,EACP,EAAE,WAAW,EAAE,CAAC,EAAE,OAAO,EAAE,IAAI,EAAE,CAClC,CAAC;AACJ,CAAC,CAAC,CAAC;AAEL,MAAM,oBAAoB,GAAG,CAC3B,OAAsB,EACtB,MAAiC,EACZ,EAAE,CACvB,OAAO,CAAC,IAAI;KACT,WAAW,CAAC,CAAC,CAAC,CACb,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;IAClB,KAAK,CAAC,CAAC,sBAAsB,CAAC,OAAO,CAAC,CAAC;IACvC,KAAK,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,EAAE;QACtB,OAAO,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,CAAC;QAC5B,IAAI,MAAM,KAAK,kBAAkB,EAAE,CAAC;YAClC,OAAO;QACT,CAAC;QACD,KAAK,MAAM,IAAI,IAAI,OAAO,CAAC,WAAW,CAAC,MAAM,EAAE,EAAE,CAAC;YAChD,IAAI,CAAC,yBAAyB,GAAG,KAAK,CAAC;YACvC,IAAI,CAAC,2BAA2B,GAAG,KAAK,CAAC;YACzC,IAAI,CAAC,6BAA6B,GAAG,KAAK,CAAC;YAC3C,IAAI,CAAC,qBAAqB,GAAG,KAAK,CAAC;QACrC,CAAC;IACH,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CACH;KACA,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,sBAAsB,EAAE,EAAE,UAAU,EAAE,EAAE,MAAM,EAAE,EAAE,CAAC,CAAC,CAAC;AAE/E,MAAM,cAAc,GAAG,CAAC,OAAsB,EAAkB,EAAE,CAChE,MAAM,CAAC,MAAM,CAAC;IACZ,IAAI,EAAE,CAAC,SAAgD,EAAE,EAAE,CACzD,IAAI,CAAC,OAAO,EAAE,SAAS,CAAC;IAC1B,mBAAmB,EAAE,GAAG,EAAE,CAAC,mBAAmB,CAAC,OAAO,CAAC;IACvD,kBAAkB,EAAE,CAClB,aAAkE,EAClE,EAAE,CAAC,kBAAkB,CAAC,OAAO,EAAE,aAAa,CAAC;IAC/C,mBAAmB,EAAE,CACnB,OAA6D,EAC7D,EAAE,CAAC,+BAA+B,CAAC,OAAO,EAAE,OAAO,CAAC;IACtD,qBAAqB,EAAE,CACrB,OAA+D,EAC/D,EAAE,CAAC,uCAAuC,CAAC,OAAO,EAAE,OAAO,CAAC;IAC9D,uBAAuB,EAAE,CACvB,QAAkE,EAClE,EAAE,CAAC,uBAAuB,CAAC,OAAO,EAAE,QAAQ,CAAC;IAC/C,aAAa,EAAE,aAAa,CAAC,OAAO,CAAC;IACrC,WAAW,EAAE,WAAW,CAAC,OAAO,CAAC;IACjC,oBAAoB,EAAE,CACpB,MAA6D,EAC7D,EAAE,CAAC,oBAAoB,CAAC,OAAO,EAAE,MAAM,CAAC;CAC3C,CAAC,CAAC;AAEL;;;;GAIG;AACH,MAAM,CAAC,MAAM,kBAAkB,GAAG,CAChC,KAA0B,EAC6C,EAAE,CACzE,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;IAClB,MAAM,OAAO,GAAG,KAAK,CAAC,CAAC,iBAAiB,CAAC,KAAK,CAAC,CAAC;IAChD,KAAK,CAAC,CAAC,aAAa,CAAC,OAAO,CAAC,CAAC;IAC9B,OAAO,cAAc,CAAC,OAAO,CAAC,CAAC;AACjC,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,oBAAoB,CAAC,CAAC,CAAC"}

package/dist/endpoint/protocol/evidence.d.ts

@@ -0,0 +1,37 @@
+/** @file Stable evidence routing and verification for active protocol folds. */
+import { SignedMessage } from "@moltzap/identity";
+import { Effect } from "effect";
+import type { EngineActionFold, EngineRuntime } from "../engine-types.js";
+import type { RouterWorkerIngress } from "../router-worker/index.js";
+import { ClientRepresentationError, type DecodedOuterBody, type VerifiedEvidence } from "../representation.js";
+/** One active fold selected by the target of a stable evidence statement. */
+export type EvidenceRoute = Readonly<{
+    fold: EngineActionFold;
+    kind: "action";
+}> | Readonly<{
+    fold: EngineActionFold;
+    kind: "durability";
+}>;
+/**
+ * Locate the active fold named by a stable evidence message.
+ * @param runtime Engine whose active folds may receive the evidence.
+ * @param message Decoded stable inner evidence message.
+ * @returns The matching fold and evidence kind, when still active.
+ */
+export declare const evidenceRoute: (runtime: EngineRuntime, message: SignedMessage) => Effect.Effect<EvidenceRoute | undefined, ClientRepresentationError>;
+/**
+ * Check that verified evidence targets the fold selected by its decoded body.
+ * @param route Active fold and evidence role selected from the statement.
+ * @param statement Cryptographically verified evidence statement.
+ * @returns Whether every fold-specific binding matches.
+ */
+export declare function evidenceMatchesFold(route: EvidenceRoute, statement: VerifiedEvidence["statement"]): boolean;
+/**
+ * Verify one evidence message against its outer sender and fixed membership.
+ * @param ingress Authenticated Router ingress carrying the outer message.
+ * @param message Stable self-addressed inner evidence message.
+ * @param route Active fold selected from the evidence statement.
+ * @returns Cryptographically verified evidence and decoded statement.
+ */
+export declare function verifiedEvidenceForRoute(ingress: RouterWorkerIngress<DecodedOuterBody>, message: SignedMessage, route: EvidenceRoute): Effect.Effect<VerifiedEvidence, ClientRepresentationError>;
+//# sourceMappingURL=evidence.d.ts.map

package/dist/endpoint/protocol/evidence.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"evidence.d.ts","sourceRoot":"","sources":["../../../src/endpoint/protocol/evidence.ts"],"names":[],"mappings":"AAAA,gFAAgF;AAEhF,OAAO,EAAE,aAAa,EAAE,MAAM,mBAAmB,CAAC;AAClD,OAAO,EAAE,MAAM,EAAU,MAAM,QAAQ,CAAC;AACxC,OAAO,KAAK,EAAE,gBAAgB,EAAE,aAAa,EAAE,MAAM,oBAAoB,CAAC;AAC1E,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,2BAA2B,CAAC;AACrE,OAAO,EACL,yBAAyB,EAEzB,KAAK,gBAAgB,EAErB,KAAK,gBAAgB,EAGtB,MAAM,sBAAsB,CAAC;AAE9B,6EAA6E;AAC7E,MAAM,MAAM,aAAa,GACrB,QAAQ,CAAC;IAAE,IAAI,EAAE,gBAAgB,CAAC;IAAC,IAAI,EAAE,QAAQ,CAAA;CAAE,CAAC,GACpD,QAAQ,CAAC;IAAE,IAAI,EAAE,gBAAgB,CAAC;IAAC,IAAI,EAAE,YAAY,CAAA;CAAE,CAAC,CAAC;AAE7D;;;;;GAKG;AACH,eAAO,MAAM,aAAa,YACf,aAAa,WACb,aAAa,KACrB,MAAM,CAAC,MAAM,CAAC,aAAa,GAAG,SAAS,EAAE,yBAAyB,CAqBlE,CAAC;AAEJ;;;;;GAKG;AACH,wBAAgB,mBAAmB,CACjC,KAAK,EAAE,aAAa,EACpB,SAAS,EAAE,gBAAgB,CAAC,WAAW,CAAC,GACvC,OAAO,CAWT;AAED;;;;;;GAMG;AACH,wBAAgB,wBAAwB,CACtC,OAAO,EAAE,mBAAmB,CAAC,gBAAgB,CAAC,EAC9C,OAAO,EAAE,aAAa,EACtB,KAAK,EAAE,aAAa,GACnB,MAAM,CAAC,MAAM,CAAC,gBAAgB,EAAE,yBAAyB,CAAC,CAgB5D"}

package/dist/endpoint/protocol/evidence.js

@@ -0,0 +1,80 @@
+/** @file Stable evidence routing and verification for active protocol folds. */
+import { SignedMessage } from "@moltzap/identity";
+import { Effect, Schema } from "effect";
+import { ClientRepresentationError, decodeCanonical, EvidenceStatement, verifyOuterMessage, verifyStableEvidence, } from "../representation.js";
+/**
+ * Locate the active fold named by a stable evidence message.
+ * @param runtime Engine whose active folds may receive the evidence.
+ * @param message Decoded stable inner evidence message.
+ * @returns The matching fold and evidence kind, when still active.
+ */
+export const evidenceRoute = (runtime, message) => decodeCanonical(EvidenceStatement, message.body).pipe(Effect.map((statement) => {
+    switch (statement.kind) {
+        case "action_signature": {
+            const fold = runtime.actionFolds.get(statement.actionHash);
+            return fold === undefined ? undefined : { fold, kind: "action" };
+        }
+        case "durability_vote": {
+            const fold = runtime.recordFolds.get(statement.recordHash);
+            return fold === undefined ? undefined : { fold, kind: "durability" };
+        }
+        case "catch_up_attestation":
+        case "reanchor_vote":
+            return undefined;
+        default: {
+            const exhaustive = statement;
+            return exhaustive;
+        }
+    }
+}));
+/**
+ * Check that verified evidence targets the fold selected by its decoded body.
+ * @param route Active fold and evidence role selected from the statement.
+ * @param statement Cryptographically verified evidence statement.
+ * @returns Whether every fold-specific binding matches.
+ */
+export function evidenceMatchesFold(route, statement) {
+    switch (route.kind) {
+        case "action":
+            return actionEvidenceMatchesFold(route.fold, statement);
+        case "durability":
+            return durabilityEvidenceMatchesFold(route.fold, statement);
+        default: {
+            const exhaustive = route;
+            return exhaustive;
+        }
+    }
+}
+/**
+ * Verify one evidence message against its outer sender and fixed membership.
+ * @param ingress Authenticated Router ingress carrying the outer message.
+ * @param message Stable self-addressed inner evidence message.
+ * @param route Active fold selected from the evidence statement.
+ * @returns Cryptographically verified evidence and decoded statement.
+ */
+export function verifiedEvidenceForRoute(ingress, message, route) {
+    return Effect.gen(function* () {
+        yield* verifyOuterMessage({
+            message: ingress.message,
+            membership: route.fold.conversation.membership,
+        });
+        const representation = yield* Schema.encode(SignedMessage)(message).pipe(Effect.catchTag("ParseError", () => Effect.fail(new ClientRepresentationError())));
+        return yield* verifyStableEvidence({
+            representation,
+            membership: route.fold.conversation.membership,
+        });
+    }).pipe(Effect.withSpan("verifiedEvidenceForRoute"));
+}
+function actionEvidenceMatchesFold(fold, statement) {
+    return (statement.kind === "action_signature" &&
+        statement.actionHash === fold.actionHash);
+}
+function durabilityEvidenceMatchesFold(fold, statement) {
+    if (statement.kind !== "durability_vote" || fold.recordHash === undefined) {
+        return false;
+    }
+    return (statement.recordHash === fold.recordHash &&
+        statement.conversationId === fold.conversation.conversationId &&
+        statement.membershipHash === fold.conversation.membership.hash);
+}
+//# sourceMappingURL=evidence.js.map

package/dist/endpoint/protocol/evidence.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"evidence.js","sourceRoot":"","sources":["../../../src/endpoint/protocol/evidence.ts"],"names":[],"mappings":"AAAA,gFAAgF;AAEhF,OAAO,EAAE,aAAa,EAAE,MAAM,mBAAmB,CAAC;AAClD,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAC;AAGxC,OAAO,EACL,yBAAyB,EACzB,eAAe,EAEf,iBAAiB,EAEjB,kBAAkB,EAClB,oBAAoB,GACrB,MAAM,sBAAsB,CAAC;AAO9B;;;;;GAKG;AACH,MAAM,CAAC,MAAM,aAAa,GAAG,CAC3B,OAAsB,EACtB,OAAsB,EAC+C,EAAE,CACvE,eAAe,CAAC,iBAAiB,EAAE,OAAO,CAAC,IAAI,CAAC,CAAC,IAAI,CACnD,MAAM,CAAC,GAAG,CAAC,CAAC,SAAS,EAAE,EAAE;IACvB,QAAQ,SAAS,CAAC,IAAI,EAAE,CAAC;QACvB,KAAK,kBAAkB,EAAE,CAAC;YACxB,MAAM,IAAI,GAAG,OAAO,CAAC,WAAW,CAAC,GAAG,CAAC,SAAS,CAAC,UAAU,CAAC,CAAC;YAC3D,OAAO,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;QACnE,CAAC;QACD,KAAK,iBAAiB,EAAE,CAAC;YACvB,MAAM,IAAI,GAAG,OAAO,CAAC,WAAW,CAAC,GAAG,CAAC,SAAS,CAAC,UAAU,CAAC,CAAC;YAC3D,OAAO,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,YAAY,EAAE,CAAC;QACvE,CAAC;QACD,KAAK,sBAAsB,CAAC;QAC5B,KAAK,eAAe;YAClB,OAAO,SAAS,CAAC;QACnB,SAAS,CAAC;YACR,MAAM,UAAU,GAAU,SAAS,CAAC;YACpC,OAAO,UAAU,CAAC;QACpB,CAAC;IACH,CAAC;AACH,CAAC,CAAC,CACH,CAAC;AAEJ;;;;;GAKG;AACH,MAAM,UAAU,mBAAmB,CACjC,KAAoB,EACpB,SAAwC;IAExC,QAAQ,KAAK,CAAC,IAAI,EAAE,CAAC;QACnB,KAAK,QAAQ;YACX,OAAO,yBAAyB,CAAC,KAAK,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC;QAC1D,KAAK,YAAY;YACf,OAAO,6BAA6B,CAAC,KAAK,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC;QAC9D,SAAS,CAAC;YACR,MAAM,UAAU,GAAU,KAAK,CAAC;YAChC,OAAO,UAAU,CAAC;QACpB,CAAC;IACH,CAAC;AACH,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,wBAAwB,CACtC,OAA8C,EAC9C,OAAsB,EACtB,KAAoB;IAEpB,OAAO,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;QACzB,KAAK,CAAC,CAAC,kBAAkB,CAAC;YACxB,OAAO,EAAE,OAAO,CAAC,OAAO;YACxB,UAAU,EAAE,KAAK,CAAC,IAAI,CAAC,YAAY,CAAC,UAAU;SAC/C,CAAC,CAAC;QACH,MAAM,cAAc,GAAG,KAAK,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,aAAa,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,CACtE,MAAM,CAAC,QAAQ,CAAC,YAAY,EAAE,GAAG,EAAE,CACjC,MAAM,CAAC,IAAI,CAAC,IAAI,yBAAyB,EAAE,CAAC,CAC7C,CACF,CAAC;QACF,OAAO,KAAK,CAAC,CAAC,oBAAoB,CAAC;YACjC,cAAc;YACd,UAAU,EAAE,KAAK,CAAC,IAAI,CAAC,YAAY,CAAC,UAAU;SAC/C,CAAC,CAAC;IACL,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,0BAA0B,CAAC,CAAC,CAAC;AACvD,CAAC;AAED,SAAS,yBAAyB,CAChC,IAAsB,EACtB,SAAwC;IAExC,OAAO,CACL,SAAS,CAAC,IAAI,KAAK,kBAAkB;QACrC,SAAS,CAAC,UAAU,KAAK,IAAI,CAAC,UAAU,CACzC,CAAC;AACJ,CAAC;AAED,SAAS,6BAA6B,CACpC,IAAsB,EACtB,SAAwC;IAExC,IAAI,SAAS,CAAC,IAAI,KAAK,iBAAiB,IAAI,IAAI,CAAC,UAAU,KAAK,SAAS,EAAE,CAAC;QAC1E,OAAO,KAAK,CAAC;IACf,CAAC;IACD,OAAO,CACL,SAAS,CAAC,UAAU,KAAK,IAAI,CAAC,UAAU;QACxC,SAAS,CAAC,cAAc,KAAK,IAAI,CAAC,YAAY,CAAC,cAAc;QAC7D,SAAS,CAAC,cAAc,KAAK,IAAI,CAAC,YAAY,CAAC,UAAU,CAAC,IAAI,CAC/D,CAAC;AACJ,CAAC"}

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

@@ -0,0 +1,26 @@
+/** @file Router-ordered proposal selection and addressed record certification. */
+import { Effect } from "effect";
+import type { EngineRuntime } from "../engine-types.js";
+import { type DecodedOuterBody } from "../representation.js";
+import { type RouterIngressDisposition, type RouterWorkerIngress, RouterWorkerPersistenceError } from "../router-worker/index.js";
+/**
+ * Apply one semantically verified Router-ordered protocol value.
+ * @param runtime Current engine state and durable protocol dependencies.
+ * @param ingress Authenticated Router-ordered protocol input.
+ * @returns Whether the input changed durable state or was irrelevant.
+ */
+export declare const acceptEngineIngress: (runtime: EngineRuntime, ingress: RouterWorkerIngress<DecodedOuterBody>) => Effect.Effect<RouterIngressDisposition, RouterWorkerPersistenceError>;
+/**
+ * Recovery accepts complete certified records through the same durable path.
+ * @param runtime Current engine state and durable protocol dependencies.
+ * @param ingress Authenticated recovery input from one fixed member.
+ * @returns Whether recovery advanced durable state or ignored the input.
+ */
+export declare const acceptEngineRecoveryIngress: (runtime: EngineRuntime, ingress: RouterWorkerIngress<DecodedOuterBody>) => Effect.Effect<RouterIngressDisposition, RouterWorkerPersistenceError>;
+/**
+ * Resume only the evidence obligations already selected in durable state.
+ * @param runtime Recovered engine state and durable protocol dependencies.
+ * @returns Completion after all resumable evidence work has been queued.
+ */
+export declare const resumeEngineFolds: (runtime: EngineRuntime) => Effect.Effect<void, RouterWorkerPersistenceError>;
+//# sourceMappingURL=index.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/endpoint/protocol/index.ts"],"names":[],"mappings":"AAAA,kFAAkF;AAGlF,OAAO,EAAY,MAAM,EAAgC,MAAM,QAAQ,CAAC;AAExE,OAAO,KAAK,EAIV,aAAa,EACd,MAAM,oBAAoB,CAAC;AAqB5B,OAAO,EASL,KAAK,gBAAgB,EAetB,MAAM,sBAAsB,CAAC;AAC9B,OAAO,EACL,KAAK,wBAAwB,EAC7B,KAAK,mBAAmB,EACxB,4BAA4B,EAC7B,MAAM,2BAA2B,CAAC;AA44BnC;;;;;GAKG;AACH,eAAO,MAAM,mBAAmB,YACrB,aAAa,WACb,mBAAmB,CAAC,gBAAgB,CAAC,KAC7C,MAAM,CAAC,MAAM,CAAC,wBAAwB,EAAE,4BAA4B,CAalE,CAAC;AAEN;;;;;GAKG;AACH,eAAO,MAAM,2BAA2B,YAC7B,aAAa,WACb,mBAAmB,CAAC,gBAAgB,CAAC,KAC7C,MAAM,CAAC,MAAM,CAAC,wBAAwB,EAAE,4BAA4B,CAkBlE,CAAC;AAEN;;;;GAIG;AACH,eAAO,MAAM,iBAAiB,YACnB,aAAa,KACrB,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,4BAA4B,CA0B9C,CAAC"}