@moltzap/client 2026.812.0 → 2026.902.0

package/dist/endpoint/engine-durability.js

@@ -0,0 +1,210 @@
+/** @file Record certification, evidence persistence, and host projection. */
+import { MOLTZAP_VERSION, SignedMessage, } from "@moltzap/identity";
+import { DateTime, Effect, Schema } from "effect";
+import { AgentAddress, GroupAddress, InboundMessage, } from "../contract.js";
+import { ClientRepresentationError, compareAgentIds, encodeCanonical, hashAnchor, hashRecord, RecordCore as RecordCoreSchema, } from "./representation.js";
+const compareAscii = (left, right) => {
+    const length = Math.min(left.length, right.length);
+    for (let index = 0; index < length; index += 1) {
+        const difference = left.charCodeAt(index) - right.charCodeAt(index);
+        if (difference !== 0) {
+            return difference;
+        }
+    }
+    return left.length - right.length;
+};
+function requireNonEmpty(values) {
+    const first = values[0];
+    if (first === undefined) {
+        return Effect.fail(representationFailure());
+    }
+    return Effect.succeed([first, ...values.slice(1)]);
+}
+function representationFailure() {
+    return new ClientRepresentationError();
+}
+/**
+ * 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 const recordAnchorHash = (fold) => fold.action.kind === "GENESIS"
+    ? hashAnchor(fold.action.anchor)
+    : Effect.succeed(fold.action.anchorHash);
+/**
+ * Encode signer evidence in canonical decoded-AgentId order.
+ * @param evidence Verified signer messages keyed by signer identity.
+ * @returns Canonically ordered nonempty encoded evidence.
+ */
+const encodeOrderedEvidence = (evidence) => {
+    const messages = [...evidence.values()].sort((left, right) => compareAgentIds(left.senderAgentId, right.senderAgentId));
+    return Effect.forEach(messages, (message) => Schema.encode(SignedMessage)(message).pipe(Effect.mapError(representationFailure)), { concurrency: 1 }).pipe(Effect.flatMap(requireNonEmpty));
+};
+/**
+ * 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 const protocolEvidence = (conversationId, kind, subjectId, message) => encodeCanonical(SignedMessage, message).pipe(Effect.map((canonicalEvidence) => ({
+    conversationId,
+    kind,
+    subjectId,
+    evidenceKey: message.senderAgentId,
+    canonicalEvidence,
+})));
+/**
+ * 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 const makeActionCertifiedRecord = (fold, anchorHash) => Effect.gen(function* () {
+    const signatures = yield* encodeOrderedEvidence(fold.actionEvidence);
+    const recordCore = {
+        moltzapVersion: MOLTZAP_VERSION,
+        kind: "record_core",
+        membership: fold.conversation.membership.descriptor,
+        anchorHash,
+        action: fold.action,
+        actionHash: fold.actionHash,
+    };
+    const actionCertifiedRecord = {
+        moltzapVersion: MOLTZAP_VERSION,
+        kind: "action_certified_record",
+        recordHash: yield* hashRecord(recordCore),
+        recordCore,
+        routerAnchor: fold.routerAnchor,
+        actionCertificate: {
+            moltzapVersion: MOLTZAP_VERSION,
+            kind: "action_certificate",
+            actionHash: fold.actionHash,
+            signatures,
+        },
+    };
+    return actionCertifiedRecord;
+}).pipe(Effect.withSpan("makeActionCertifiedRecord"));
+/**
+ * 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 const makeCertifiedRecord = (actionCertifiedRecord, fold) => encodeOrderedEvidence(fold.durabilityEvidence).pipe(Effect.map((votes) => {
+    const certifiedRecord = {
+        moltzapVersion: MOLTZAP_VERSION,
+        kind: "certified_record",
+        actionCertifiedRecord,
+        durabilityCertificate: {
+            moltzapVersion: MOLTZAP_VERSION,
+            kind: "durability_certificate",
+            recordHash: actionCertifiedRecord.recordHash,
+            votes,
+        },
+    };
+    return certifiedRecord;
+}));
+/**
+ * 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 const stagedRecord = (record) => {
+    const action = record.recordCore.action;
+    return encodeCanonical(RecordCoreSchema, record.recordCore).pipe(Effect.map((canonicalRecordCore) => ({
+        conversationId: action.conversationId,
+        recordHash: record.recordHash,
+        ...(action.previousRecordHash === null
+            ? {}
+            : { previousRecordHash: action.previousRecordHash }),
+        membershipHash: action.kind === "GENESIS"
+            ? action.postIntent.membershipHash
+            : action.membershipHash,
+        anchorHash: record.recordCore.anchorHash,
+        actionHash: record.recordCore.actionHash,
+        authorAgentId: action.postIntent.authorAgentId,
+        postId: action.postIntent.postId,
+        canonicalRecordCore,
+    })));
+};
+/**
+ * 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 const storedCertifiedRecord = (record, fold) => Effect.gen(function* () {
+    const staged = yield* stagedRecord(record.actionCertifiedRecord);
+    const actionEvidence = yield* Effect.forEach([...fold.actionEvidence.values()], (message) => protocolEvidence(staged.conversationId, "action", staged.actionHash, message), { concurrency: 1 });
+    const durabilityEvidence = yield* Effect.forEach([...fold.durabilityEvidence.values()], (message) => protocolEvidence(staged.conversationId, "durability", staged.recordHash, message), { concurrency: 1 });
+    return { ...staged, actionEvidence, durabilityEvidence };
+}).pipe(Effect.withSpan("storedCertifiedRecord"));
+const addressFor = (agentName) => Schema.decodeUnknown(AgentAddress)(`agent:${agentName}`).pipe(Effect.mapError(representationFailure));
+const projectGroupMessage = (conversation, intent, sender) => Effect.gen(function* () {
+    const names = conversation.membership.members
+        .map((member) => member.agentName)
+        .sort(compareAscii);
+    const address = yield* Schema.decodeUnknown(GroupAddress)(`group:${names.join(",")}`).pipe(Effect.mapError(representationFailure));
+    const members = yield* Effect.forEach(names, addressFor, {
+        concurrency: 1,
+    });
+    const first = members[0];
+    const second = members[1];
+    const third = members[2];
+    if (first === undefined || second === undefined || third === undefined) {
+        return yield* Effect.fail(representationFailure());
+    }
+    return {
+        kind: "group",
+        postId: intent.postId,
+        address,
+        sender,
+        members: [first, second, third, ...members.slice(3)],
+        content: intent.content,
+    };
+});
+/**
+ * Project one remote record to its exact host-visible addressed message.
+ * @param conversation Verified local conversation state and member cards.
+ * @param record Complete remote-authored certified record.
+ * @returns Canonical direct or group message for pending Client delivery.
+ */
+const projectInboundMessage = (conversation, record) => Effect.gen(function* () {
+    const intent = record.actionCertifiedRecord.recordCore.action.postIntent;
+    const author = conversation.membership.members.find((member) => member.agentId === intent.authorAgentId);
+    if (author === undefined) {
+        return yield* Effect.fail(representationFailure());
+    }
+    const sender = yield* addressFor(author.agentName);
+    if (conversation.membership.members.length === 2) {
+        const directMessage = {
+            kind: "direct",
+            postId: intent.postId,
+            address: sender,
+            sender,
+            content: intent.content,
+        };
+        return directMessage;
+    }
+    return yield* projectGroupMessage(conversation, intent, sender);
+}).pipe(Effect.withSpan("projectInboundMessage"));
+/**
+ * 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 const inboundDelivery = (conversation, record, recipientAgentId) => projectInboundMessage(conversation, record).pipe(Effect.flatMap((message) => encodeCanonical(InboundMessage, message).pipe(Effect.map((canonicalMessage) => ({
+    input: { recipientAgentId, canonicalMessage },
+    message,
+})))));
+/**
+ * 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 const exportInbound = (runtime, message) => DateTime.now.pipe(Effect.flatMap((at) => runtime.input.historyExport.record({ kind: "inbound", message, at })));
+//# sourceMappingURL=engine-durability.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"engine-durability.js","sourceRoot":"","sources":["../../src/endpoint/engine-durability.ts"],"names":[],"mappings":"AAAA,6EAA6E;AAE7E,OAAO,EAEL,eAAe,EACf,aAAa,GACd,MAAM,mBAAmB,CAAC;AAC3B,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAC;AAYlD,OAAO,EACL,YAAY,EACZ,YAAY,EACZ,cAAc,GAEf,MAAM,gBAAgB,CAAC;AACxB,OAAO,EAIL,yBAAyB,EACzB,eAAe,EACf,eAAe,EACf,UAAU,EACV,UAAU,EAEV,UAAU,IAAI,gBAAgB,GAC/B,MAAM,qBAAqB,CAAC;AAE7B,MAAM,YAAY,GAAG,CAAC,IAAY,EAAE,KAAa,EAAU,EAAE;IAC3D,MAAM,MAAM,GAAG,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC;IACnD,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,MAAM,EAAE,KAAK,IAAI,CAAC,EAAE,CAAC;QAC/C,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,CAAC;AAEF,SAAS,eAAe,CACtB,MAAwB;IAExB,MAAM,KAAK,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC;IACxB,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;QACxB,OAAO,MAAM,CAAC,IAAI,CAAC,qBAAqB,EAAE,CAAC,CAAC;IAC9C,CAAC;IACD,OAAO,MAAM,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;AACrD,CAAC;AAED,SAAS,qBAAqB;IAC5B,OAAO,IAAI,yBAAyB,EAAE,CAAC;AACzC,CAAC;AAED;;;;GAIG;AACH,MAAM,CAAC,MAAM,gBAAgB,GAAG,CAC9B,IAAsB,EACgC,EAAE,CACxD,IAAI,CAAC,MAAM,CAAC,IAAI,KAAK,SAAS;IAC5B,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC;IAChC,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC;AAE7C;;;;GAIG;AACH,MAAM,qBAAqB,GAAG,CAC5B,QAA6C,EAI7C,EAAE;IACF,MAAM,QAAQ,GAAG,CAAC,GAAG,QAAQ,CAAC,MAAM,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAC3D,eAAe,CAAC,IAAI,CAAC,aAAa,EAAE,KAAK,CAAC,aAAa,CAAC,CACzD,CAAC;IACF,OAAO,MAAM,CAAC,OAAO,CACnB,QAAQ,EACR,CAAC,OAAO,EAAE,EAAE,CACV,MAAM,CAAC,MAAM,CAAC,aAAa,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,CACxC,MAAM,CAAC,QAAQ,CAAC,qBAAqB,CAAC,CACvC,EACH,EAAE,WAAW,EAAE,CAAC,EAAE,CACnB,CAAC,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC,eAAe,CAAC,CAAC,CAAC;AAC1C,CAAC,CAAC;AAEF;;;;;;;GAOG;AACH,MAAM,CAAC,MAAM,gBAAgB,GAAG,CAC9B,cAAsB,EACtB,IAA8B,EAC9B,SAAiB,EACjB,OAAsB,EACsC,EAAE,CAC9D,eAAe,CAAC,aAAa,EAAE,OAAO,CAAC,CAAC,IAAI,CAC1C,MAAM,CAAC,GAAG,CAAC,CAAC,iBAAiB,EAAE,EAAE,CAAC,CAAC;IACjC,cAAc;IACd,IAAI;IACJ,SAAS;IACT,WAAW,EAAE,OAAO,CAAC,aAAa;IAClC,iBAAiB;CAClB,CAAC,CAAC,CACJ,CAAC;AAEJ;;;;;GAKG;AACH,MAAM,CAAC,MAAM,yBAAyB,GAAG,CACvC,IAAsB,EACtB,UAAoC,EAC6B,EAAE,CACnE,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;IAClB,MAAM,UAAU,GAAG,KAAK,CAAC,CAAC,qBAAqB,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC;IACrE,MAAM,UAAU,GAAe;QAC7B,cAAc,EAAE,eAAe;QAC/B,IAAI,EAAE,aAAa;QACnB,UAAU,EAAE,IAAI,CAAC,YAAY,CAAC,UAAU,CAAC,UAAU;QACnD,UAAU;QACV,MAAM,EAAE,IAAI,CAAC,MAAM;QACnB,UAAU,EAAE,IAAI,CAAC,UAAU;KAC5B,CAAC;IACF,MAAM,qBAAqB,GAA0B;QACnD,cAAc,EAAE,eAAe;QAC/B,IAAI,EAAE,yBAAyB;QAC/B,UAAU,EAAE,KAAK,CAAC,CAAC,UAAU,CAAC,UAAU,CAAC;QACzC,UAAU;QACV,YAAY,EAAE,IAAI,CAAC,YAAY;QAC/B,iBAAiB,EAAE;YACjB,cAAc,EAAE,eAAe;YAC/B,IAAI,EAAE,oBAAoB;YAC1B,UAAU,EAAE,IAAI,CAAC,UAAU;YAC3B,UAAU;SACX;KACF,CAAC;IACF,OAAO,qBAAqB,CAAC;AAC/B,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,2BAA2B,CAAC,CAAC,CAAC;AAExD;;;;;GAKG;AACH,MAAM,CAAC,MAAM,mBAAmB,GAAG,CACjC,qBAA4C,EAC5C,IAAsB,EACqC,EAAE,CAC7D,qBAAqB,CAAC,IAAI,CAAC,kBAAkB,CAAC,CAAC,IAAI,CACjD,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE;IACnB,MAAM,eAAe,GAAoB;QACvC,cAAc,EAAE,eAAe;QAC/B,IAAI,EAAE,kBAAkB;QACxB,qBAAqB;QACrB,qBAAqB,EAAE;YACrB,cAAc,EAAE,eAAe;YAC/B,IAAI,EAAE,wBAAwB;YAC9B,UAAU,EAAE,qBAAqB,CAAC,UAAU;YAC5C,KAAK;SACN;KACF,CAAC;IACF,OAAO,eAAe,CAAC;AACzB,CAAC,CAAC,CACH,CAAC;AAEJ;;;;GAIG;AACH,MAAM,CAAC,MAAM,YAAY,GAAG,CAC1B,MAA6B,EAC2B,EAAE;IAC1D,MAAM,MAAM,GAAG,MAAM,CAAC,UAAU,CAAC,MAAM,CAAC;IACxC,OAAO,eAAe,CAAC,gBAAgB,EAAE,MAAM,CAAC,UAAU,CAAC,CAAC,IAAI,CAC9D,MAAM,CAAC,GAAG,CAAC,CAAC,mBAAmB,EAAE,EAAE,CAAC,CAAC;QACnC,cAAc,EAAE,MAAM,CAAC,cAAc;QACrC,UAAU,EAAE,MAAM,CAAC,UAAU;QAC7B,GAAG,CAAC,MAAM,CAAC,kBAAkB,KAAK,IAAI;YACpC,CAAC,CAAC,EAAE;YACJ,CAAC,CAAC,EAAE,kBAAkB,EAAE,MAAM,CAAC,kBAAkB,EAAE,CAAC;QACtD,cAAc,EACZ,MAAM,CAAC,IAAI,KAAK,SAAS;YACvB,CAAC,CAAC,MAAM,CAAC,UAAU,CAAC,cAAc;YAClC,CAAC,CAAC,MAAM,CAAC,cAAc;QAC3B,UAAU,EAAE,MAAM,CAAC,UAAU,CAAC,UAAU;QACxC,UAAU,EAAE,MAAM,CAAC,UAAU,CAAC,UAAU;QACxC,aAAa,EAAE,MAAM,CAAC,UAAU,CAAC,aAAa;QAC9C,MAAM,EAAE,MAAM,CAAC,UAAU,CAAC,MAAM;QAChC,mBAAmB;KACpB,CAAC,CAAC,CACJ,CAAC;AACJ,CAAC,CAAC;AAEF;;;;;GAKG;AACH,MAAM,CAAC,MAAM,qBAAqB,GAAG,CACnC,MAAuB,EACvB,IAAsB,EAC2C,EAAE,CACnE,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;IAClB,MAAM,MAAM,GAAG,KAAK,CAAC,CAAC,YAAY,CAAC,MAAM,CAAC,qBAAqB,CAAC,CAAC;IACjE,MAAM,cAAc,GAAG,KAAK,CAAC,CAAC,MAAM,CAAC,OAAO,CAC1C,CAAC,GAAG,IAAI,CAAC,cAAc,CAAC,MAAM,EAAE,CAAC,EACjC,CAAC,OAAO,EAAE,EAAE,CACV,gBAAgB,CACd,MAAM,CAAC,cAAc,EACrB,QAAQ,EACR,MAAM,CAAC,UAAU,EACjB,OAAO,CACR,EACH,EAAE,WAAW,EAAE,CAAC,EAAE,CACnB,CAAC;IACF,MAAM,kBAAkB,GAAG,KAAK,CAAC,CAAC,MAAM,CAAC,OAAO,CAC9C,CAAC,GAAG,IAAI,CAAC,kBAAkB,CAAC,MAAM,EAAE,CAAC,EACrC,CAAC,OAAO,EAAE,EAAE,CACV,gBAAgB,CACd,MAAM,CAAC,cAAc,EACrB,YAAY,EACZ,MAAM,CAAC,UAAU,EACjB,OAAO,CACR,EACH,EAAE,WAAW,EAAE,CAAC,EAAE,CACnB,CAAC;IACF,OAAO,EAAE,GAAG,MAAM,EAAE,cAAc,EAAE,kBAAkB,EAAE,CAAC;AAC3D,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,uBAAuB,CAAC,CAAC,CAAC;AAEpD,MAAM,UAAU,GAAG,CAAC,SAAiB,EAAE,EAAE,CACvC,MAAM,CAAC,aAAa,CAAC,YAAY,CAAC,CAAC,SAAS,SAAS,EAAE,CAAC,CAAC,IAAI,CAC3D,MAAM,CAAC,QAAQ,CAAC,qBAAqB,CAAC,CACvC,CAAC;AAEJ,MAAM,mBAAmB,GAAG,CAC1B,YAAgC,EAChC,MAA0C,EAC1C,MAA4D,EACG,EAAE,CACjE,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;IAClB,MAAM,KAAK,GAAG,YAAY,CAAC,UAAU,CAAC,OAAO;SAC1C,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,SAAS,CAAC;SACjC,IAAI,CAAC,YAAY,CAAC,CAAC;IACtB,MAAM,OAAO,GAAG,KAAK,CAAC,CAAC,MAAM,CAAC,aAAa,CAAC,YAAY,CAAC,CACvD,SAAS,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAC3B,CAAC,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,qBAAqB,CAAC,CAAC,CAAC;IAC/C,MAAM,OAAO,GAAG,KAAK,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,KAAK,EAAE,UAAU,EAAE;QACvD,WAAW,EAAE,CAAC;KACf,CAAC,CAAC;IACH,MAAM,KAAK,GAAG,OAAO,CAAC,CAAC,CAAC,CAAC;IACzB,MAAM,MAAM,GAAG,OAAO,CAAC,CAAC,CAAC,CAAC;IAC1B,MAAM,KAAK,GAAG,OAAO,CAAC,CAAC,CAAC,CAAC;IACzB,IAAI,KAAK,KAAK,SAAS,IAAI,MAAM,KAAK,SAAS,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;QACvE,OAAO,KAAK,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,qBAAqB,EAAE,CAAC,CAAC;IACrD,CAAC;IACD,OAAO;QACL,IAAI,EAAE,OAAO;QACb,MAAM,EAAE,MAAM,CAAC,MAAM;QACrB,OAAO;QACP,MAAM;QACN,OAAO,EAAE,CAAC,KAAK,EAAE,MAAM,EAAE,KAAK,EAAE,GAAG,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;QACpD,OAAO,EAAE,MAAM,CAAC,OAAO;KACxB,CAAC;AACJ,CAAC,CAAC,CAAC;AAEL;;;;;GAKG;AACH,MAAM,qBAAqB,GAAG,CAC5B,YAAgC,EAChC,MAAuB,EACwC,EAAE,CACjE,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;IAClB,MAAM,MAAM,GAAG,MAAM,CAAC,qBAAqB,CAAC,UAAU,CAAC,MAAM,CAAC,UAAU,CAAC;IACzE,MAAM,MAAM,GAAG,YAAY,CAAC,UAAU,CAAC,OAAO,CAAC,IAAI,CACjD,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,OAAO,KAAK,MAAM,CAAC,aAAa,CACpD,CAAC;IACF,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;QACzB,OAAO,KAAK,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,qBAAqB,EAAE,CAAC,CAAC;IACrD,CAAC;IACD,MAAM,MAAM,GAAG,KAAK,CAAC,CAAC,UAAU,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC;IACnD,IAAI,YAAY,CAAC,UAAU,CAAC,OAAO,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACjD,MAAM,aAAa,GAAwB;YACzC,IAAI,EAAE,QAAQ;YACd,MAAM,EAAE,MAAM,CAAC,MAAM;YACrB,OAAO,EAAE,MAAM;YACf,MAAM;YACN,OAAO,EAAE,MAAM,CAAC,OAAO;SACxB,CAAC;QACF,OAAO,aAAa,CAAC;IACvB,CAAC;IACD,OAAO,KAAK,CAAC,CAAC,mBAAmB,CAAC,YAAY,EAAE,MAAM,EAAE,MAAM,CAAC,CAAC;AAClE,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,uBAAuB,CAAC,CAAC,CAAC;AAQpD;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,eAAe,GAAG,CAC7B,YAAgC,EAChC,MAAuB,EACvB,gBAAyB,EAC4C,EAAE,CACvE,qBAAqB,CAAC,YAAY,EAAE,MAAM,CAAC,CAAC,IAAI,CAC9C,MAAM,CAAC,OAAO,CAAC,CAAC,OAAO,EAAE,EAAE,CACzB,eAAe,CAAC,cAAc,EAAE,OAAO,CAAC,CAAC,IAAI,CAC3C,MAAM,CAAC,GAAG,CAAC,CAAC,gBAAgB,EAAE,EAAE,CAAC,CAAC;IAChC,KAAK,EAAE,EAAE,gBAAgB,EAAE,gBAAgB,EAAE;IAC7C,OAAO;CACR,CAAC,CAAC,CACJ,CACF,CACF,CAAC;AAEJ;;;;GAIG;AACH,MAAM,CAAC,MAAM,aAAa,GAAG,CAC3B,OAAsB,EACtB,OAA4B,EACP,EAAE,CACvB,QAAQ,CAAC,GAAG,CAAC,IAAI,CACf,MAAM,CAAC,OAAO,CAAC,CAAC,EAAE,EAAE,EAAE,CACpB,OAAO,CAAC,KAAK,CAAC,aAAa,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC,CACrE,CACF,CAAC"}

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

@@ -0,0 +1,50 @@
+/** @file Address resolution, immutable intent binding, and proposal creation. */
+import { SignedMessage } from "@moltzap/identity";
+import { Deferred, Effect } from "effect";
+import type { EngineConversation, EnginePostIntent, EngineRuntime } from "./engine-types.js";
+import { type HistoryExportRecord, type PostId, SendError, type SendInput } from "../contract.js";
+import { type ActionCertifiedRecord, type ActionHash, type CertifiedRecord } from "./representation.js";
+/**
+ * Attach a certified record packet to its durable dissemination obligation.
+ * @param runtime Engine state and local signing authority.
+ * @param conversation Verified conversation and fixed-member recipients.
+ * @param packet Record packet whose state transition retained the obligation.
+ * @returns Completion after the exact outer envelope is durably attached.
+ */
+export declare const queueCertifiedPacket: (runtime: EngineRuntime, conversation: EngineConversation, packet: ActionCertifiedRecord | CertifiedRecord) => Effect.Effect<void, SendError>;
+/**
+ * Queue stable inner evidence without changing its signer attribution.
+ * @param runtime Engine state and local signing authority.
+ * @param conversation Verified conversation and fixed-member recipients.
+ * @param evidence Stable self-addressed evidence message.
+ * @returns Completion after the complete outer message is durably staged.
+ */
+export declare const queueEvidence: (runtime: EngineRuntime, conversation: EngineConversation, evidence: SignedMessage) => Effect.Effect<void, SendError>;
+/**
+ * Rebase one unchanged local intent against the conversation's current head.
+ * @param runtime Current engine state and protocol dependencies.
+ * @param localIntent Durable immutable post intent awaiting certification.
+ * @returns The predecessor-bound action hash proposed for this attempt.
+ */
+export declare const proposeIntent: (runtime: EngineRuntime, localIntent: EnginePostIntent) => Effect.Effect<ActionHash, SendError>;
+/** One durably bound send: its minted identity and its completion latch. */
+export interface PreparedSendHandle {
+    readonly postId: PostId;
+    readonly completion: Deferred.Deferred<undefined, SendError>;
+}
+/** How one completed `send` invocation is recorded in the history export. */
+export type SendExportOutcome = Extract<HistoryExportRecord, {
+    readonly kind: "outbound";
+}>["outcome"];
+/**
+ * Persist an addressed intent and return its durable completion latch.
+ * The latch completes when the minted post becomes locally certified.
+ */
+export declare const prepareSend: (runtime: EngineRuntime, input: SendInput) => Effect.Effect<PreparedSendHandle, SendError>;
+/**
+ * Record one completed `send` invocation in the history export, keeping the
+ * host's addressed input as it was given. When no export is configured the
+ * no-op port records nothing.
+ */
+export declare const exportSend: (runtime: EngineRuntime, input: SendInput, outcome: SendExportOutcome) => Effect.Effect<void>;
+//# sourceMappingURL=engine-send.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"engine-send.d.ts","sourceRoot":"","sources":["../../src/endpoint/engine-send.ts"],"names":[],"mappings":"AAAA,iFAAiF;AAEjF,OAAO,EAA8B,aAAa,EAAE,MAAM,mBAAmB,CAAC;AAC9E,OAAO,EAAY,QAAQ,EAAY,MAAM,EAAU,MAAM,QAAQ,CAAC;AACtE,OAAO,KAAK,EACV,kBAAkB,EAClB,gBAAgB,EAChB,aAAa,EACd,MAAM,mBAAmB,CAAC;AAQ3B,OAAO,EACL,KAAK,mBAAmB,EACxB,KAAK,MAAM,EACX,SAAS,EACT,KAAK,SAAS,EACf,MAAM,gBAAgB,CAAC;AAGxB,OAAO,EACL,KAAK,qBAAqB,EAE1B,KAAK,UAAU,EACf,KAAK,eAAe,EAgBrB,MAAM,qBAAqB,CAAC;AAwL7B;;;;;;GAMG;AACH,eAAO,MAAM,oBAAoB,YACtB,aAAa,gBACR,kBAAkB,UACxB,qBAAqB,GAAG,eAAe,KAC9C,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,SAAS,CAyB7B,CAAC;AAEJ;;;;;;GAMG;AACH,eAAO,MAAM,aAAa,YACf,aAAa,gBACR,kBAAkB,YACtB,aAAa,KACtB,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,SAAS,CAW7B,CAAC;AAkDJ;;;;;GAKG;AACH,eAAO,MAAM,aAAa,YACf,aAAa,eACT,gBAAgB,KAC5B,MAAM,CAAC,MAAM,CAAC,UAAU,EAAE,SAAS,CAsBK,CAAC;AAsI5C,4EAA4E;AAC5E,MAAM,WAAW,kBAAkB;IACjC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,UAAU,EAAE,QAAQ,CAAC,QAAQ,CAAC,SAAS,EAAE,SAAS,CAAC,CAAC;CAC9D;AAED,6EAA6E;AAC7E,MAAM,MAAM,iBAAiB,GAAG,OAAO,CACrC,mBAAmB,EACnB;IAAE,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAA;CAAE,CAC9B,CAAC,SAAS,CAAC,CAAC;AAEb;;;GAGG;AACH,eAAO,MAAM,WAAW,YACb,aAAa,SACf,SAAS,KACf,MAAM,CAAC,MAAM,CAAC,kBAAkB,EAAE,SAAS,CAY3C,CAAC;AAEJ;;;;GAIG;AACH,eAAO,MAAM,UAAU,YACZ,aAAa,SACf,SAAS,WACP,iBAAiB,KACzB,MAAM,CAAC,MAAM,CAAC,IAAI,CAWlB,CAAC"}