@agent-teams/engineering-foundation 0.17.0-rc.0 → 0.17.0-rc.2

package/dist/repository-mutation/adapters/node/node-known-file-transaction-journal-store.js

@@ -0,0 +1,178 @@
+import { createHash } from "node:crypto";
+import { open, rename, unlink } from "node:fs/promises";
+import { join } from "node:path";
+import { TextDecoder } from "node:util";
+import { canonicalJson } from "../../../canonical-json.js";
+import { FOUNDATION_TRANSACTION_FILE, KNOWN_FILE_TRANSACTION_TEMPORARY_FILE } from "../../../foundation-state-contract.js";
+import { parseStrictJson } from "../../../strict-json.js";
+import { assertKnownFileTransactionEnvelope } from "../../application/policies/known-file-transaction-envelope.js";
+import { captureFileHandleIdentity, pathMatchesRegularFileIdentity, readBoundedRegularFile } from "./node-bounded-regular-file.js";
+import { cleanupIdentityMatchingOwnedTemporary } from "./node-cleanup-owned-temporary.js";
+import { syncDirectoryDurably, syncDirectoryStrictly } from "./node-directory-durability.js";
+const MAXIMUM_JOURNAL_BYTES = 32 * 1024 * 1024;
+const strictUtf8 = new TextDecoder("utf-8", { fatal: true, ignoreBOM: true });
+function errorCode(error) {
+    return error instanceof Error && "code" in error
+        ? error.code
+        : undefined;
+}
+function digest(content) {
+    return `sha256:${createHash("sha256").update(content).digest("hex")}`;
+}
+function bytes(envelope) {
+    assertKnownFileTransactionEnvelope(envelope);
+    const result = Buffer.from(`${canonicalJson(envelope)}\n`, "utf8");
+    if (result.byteLength > MAXIMUM_JOURNAL_BYTES) {
+        throw new Error("Known-file transaction journal exceeds its byte limit.");
+    }
+    return result;
+}
+async function readEnvelope(path) {
+    let observed;
+    try {
+        observed = await readBoundedRegularFile(path, MAXIMUM_JOURNAL_BYTES);
+    }
+    catch (error) {
+        if (errorCode(error) === "ENOENT") {
+            return undefined;
+        }
+        throw error;
+    }
+    if (observed.outcome !== "read") {
+        throw new Error("Known-file transaction journal is not one stable regular file.");
+    }
+    const parsed = parseStrictJson(strictUtf8.decode(observed.bytes));
+    assertKnownFileTransactionEnvelope(parsed);
+    if (!observed.bytes.equals(bytes(parsed))) {
+        throw new Error("Known-file transaction journal bytes are not canonical.");
+    }
+    return {
+        envelope: parsed,
+        authority: { digest: digest(observed.bytes), identity: observed.identity }
+    };
+}
+async function prove(path, authority) {
+    const observed = await readBoundedRegularFile(path, MAXIMUM_JOURNAL_BYTES);
+    if (observed.outcome !== "read" || digest(observed.bytes) !== authority.digest ||
+        await pathMatchesRegularFileIdentity(path, authority.identity) !== "match") {
+        throw new Error("Known-file transaction journal authority changed concurrently.");
+    }
+}
+export class NodeKnownFileTransactionJournalStore {
+    #journalPath;
+    #parent;
+    #temporaryPath;
+    constructor(stateDirectory) {
+        this.#parent = stateDirectory;
+        this.#journalPath = join(stateDirectory, FOUNDATION_TRANSACTION_FILE);
+        this.#temporaryPath = join(stateDirectory, KNOWN_FILE_TRANSACTION_TEMPORARY_FILE);
+    }
+    async read() {
+        const canonical = await readEnvelope(this.#journalPath);
+        if (canonical !== undefined) {
+            return canonical;
+        }
+        return readEnvelope(this.#temporaryPath);
+    }
+    async #writeTemporary(envelope) {
+        const content = bytes(envelope);
+        let handle;
+        try {
+            handle = await open(this.#temporaryPath, "wx", 0o600);
+        }
+        catch (error) {
+            if (errorCode(error) === "EEXIST") {
+                const stale = await readEnvelope(this.#temporaryPath);
+                if (stale === undefined) {
+                    throw error;
+                }
+                await prove(this.#temporaryPath, stale.authority);
+                await unlink(this.#temporaryPath);
+                await syncDirectoryStrictly(this.#parent);
+                handle = await open(this.#temporaryPath, "wx", 0o600);
+            }
+            else {
+                throw error;
+            }
+        }
+        try {
+            await handle.writeFile(content);
+            await handle.sync();
+            return { digest: digest(content), identity: await captureFileHandleIdentity(handle) };
+        }
+        finally {
+            await handle.close();
+        }
+    }
+    async create(envelope) {
+        if (await readEnvelope(this.#journalPath) !== undefined) {
+            throw new Error("Foundation transaction slot is already occupied.");
+        }
+        const authority = await this.#writeTemporary(envelope);
+        await prove(this.#temporaryPath, authority);
+        await rename(this.#temporaryPath, this.#journalPath);
+        await syncDirectoryStrictly(this.#parent);
+        await prove(this.#journalPath, authority);
+        return authority;
+    }
+    async replace(expected, envelope) {
+        await prove(this.#journalPath, expected);
+        const authority = await this.#writeTemporary(envelope);
+        await prove(this.#journalPath, expected);
+        await prove(this.#temporaryPath, authority);
+        await rename(this.#temporaryPath, this.#journalPath);
+        await syncDirectoryStrictly(this.#parent);
+        await prove(this.#journalPath, authority);
+        return authority;
+    }
+    async remove(expected) {
+        await prove(this.#journalPath, expected);
+        await unlink(this.#journalPath);
+        await syncDirectoryStrictly(this.#parent);
+    }
+    async canonicalizeTemporary() {
+        const canonical = await readEnvelope(this.#journalPath);
+        if (canonical !== undefined) {
+            // The canonical envelope remains authoritative during replacement. A
+            // crash can leave an unbound candidate torn or foreign; recovery must
+            // neither parse nor mutate that pathname. It remains preserved evidence
+            // and must not be parsed as authority. Capture a stable regular
+            // candidate by identity and retire it into terminal evidence so neither
+            // a torn write nor a concurrent pathname replacement can block replay.
+            let candidate;
+            try {
+                candidate = await readBoundedRegularFile(this.#temporaryPath, MAXIMUM_JOURNAL_BYTES);
+            }
+            catch (error) {
+                if (errorCode(error) === "ENOENT") {
+                    return;
+                }
+                throw error;
+            }
+            if (candidate.outcome !== "read") {
+                throw new Error("Known-file transaction candidate cannot be retired safely.");
+            }
+            const retired = await cleanupIdentityMatchingOwnedTemporary({
+                allowUnsupportedDirectoryDurability: false,
+                displayPath: KNOWN_FILE_TRANSACTION_TEMPORARY_FILE,
+                expectedIdentity: candidate.identity,
+                parent: this.#parent,
+                rm: async () => { },
+                syncDirectory: syncDirectoryDurably,
+                temporaryPath: this.#temporaryPath
+            });
+            if (retired === "different") {
+                throw new Error("Known-file transaction candidate changed during retirement.");
+            }
+            return;
+        }
+        const temporary = await readEnvelope(this.#temporaryPath);
+        if (temporary === undefined) {
+            throw new Error("Known-file recovery journal is absent.");
+        }
+        await prove(this.#temporaryPath, temporary.authority);
+        await rename(this.#temporaryPath, this.#journalPath);
+        await syncDirectoryStrictly(this.#parent);
+    }
+}
+//# sourceMappingURL=node-known-file-transaction-journal-store.js.map

package/dist/repository-mutation/adapters/node/node-known-file-transaction-journal-store.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"node-known-file-transaction-journal-store.js","sourceRoot":"","sources":["../../../../src/repository-mutation/adapters/node/node-known-file-transaction-journal-store.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AACzC,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAmB,MAAM,kBAAkB,CAAC;AACzE,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AACjC,OAAO,EAAE,WAAW,EAAE,MAAM,WAAW,CAAC;AAExC,OAAO,EAAE,aAAa,EAA2B,MAAM,4BAA4B,CAAC;AACpF,OAAO,EACL,2BAA2B,EAC3B,qCAAqC,EACtC,MAAM,uCAAuC,CAAC;AAC/C,OAAO,EAAE,eAAe,EAAE,MAAM,yBAAyB,CAAC;AAE1D,OAAO,EAAE,kCAAkC,EAAE,MAAM,+DAA+D,CAAC;AACnH,OAAO,EACL,yBAAyB,EACzB,8BAA8B,EAC9B,sBAAsB,EACvB,MAAM,gCAAgC,CAAC;AACxC,OAAO,EAAE,qCAAqC,EAAE,MAAM,mCAAmC,CAAC;AAC1F,OAAO,EAAE,oBAAoB,EAAE,qBAAqB,EAAE,MAAM,gCAAgC,CAAC;AAE7F,MAAM,qBAAqB,GAAG,EAAE,GAAG,IAAI,GAAG,IAAI,CAAC;AAC/C,MAAM,UAAU,GAAG,IAAI,WAAW,CAAC,OAAO,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;AAO9E,SAAS,SAAS,CAAC,KAAc;IAC/B,OAAO,KAAK,YAAY,KAAK,IAAI,MAAM,IAAI,KAAK;QAC9C,CAAC,CAAE,KAA+B,CAAC,IAAI;QACvC,CAAC,CAAC,SAAS,CAAC;AAChB,CAAC;AAED,SAAS,MAAM,CAAC,OAAmB;IACjC,OAAO,UAAU,UAAU,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC;AACxE,CAAC;AAED,SAAS,KAAK,CAAC,QAAwC;IACrD,kCAAkC,CAAC,QAAQ,CAAC,CAAC;IAC7C,MAAM,MAAM,GAAG,MAAM,CAAC,IAAI,CACxB,GAAG,aAAa,CAAC,QAAyC,CAAC,IAAI,EAC/D,MAAM,CACP,CAAC;IACF,IAAI,MAAM,CAAC,UAAU,GAAG,qBAAqB,EAAE,CAAC;QAC9C,MAAM,IAAI,KAAK,CAAC,wDAAwD,CAAC,CAAC;IAC5E,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,KAAK,UAAU,YAAY,CAAC,IAAY;IAItC,IAAI,QAAQ,CAAC;IACb,IAAI,CAAC;QACH,QAAQ,GAAG,MAAM,sBAAsB,CAAC,IAAI,EAAE,qBAAqB,CAAC,CAAC;IACvE,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,IAAI,SAAS,CAAC,KAAK,CAAC,KAAK,QAAQ,EAAE,CAAC;YAClC,OAAO,SAAS,CAAC;QACnB,CAAC;QACD,MAAM,KAAK,CAAC;IACd,CAAC;IACD,IAAI,QAAQ,CAAC,OAAO,KAAK,MAAM,EAAE,CAAC;QAChC,MAAM,IAAI,KAAK,CAAC,gEAAgE,CAAC,CAAC;IACpF,CAAC;IACD,MAAM,MAAM,GAAG,eAAe,CAAC,UAAU,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC;IAClE,kCAAkC,CAAC,MAAM,CAAC,CAAC;IAC3C,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC;QAC1C,MAAM,IAAI,KAAK,CAAC,yDAAyD,CAAC,CAAC;IAC7E,CAAC;IACD,OAAO;QACL,QAAQ,EAAE,MAAM;QAChB,SAAS,EAAE,EAAE,MAAM,EAAE,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,QAAQ,EAAE,QAAQ,CAAC,QAAQ,EAAE;KAC3E,CAAC;AACJ,CAAC;AAED,KAAK,UAAU,KAAK,CAAC,IAAY,EAAE,SAAoC;IACrE,MAAM,QAAQ,GAAG,MAAM,sBAAsB,CAAC,IAAI,EAAE,qBAAqB,CAAC,CAAC;IAC3E,IAAI,QAAQ,CAAC,OAAO,KAAK,MAAM,IAAI,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,KAAK,SAAS,CAAC,MAAM;QAC5E,MAAM,8BAA8B,CAAC,IAAI,EAAE,SAAS,CAAC,QAAQ,CAAC,KAAK,OAAO,EAAE,CAAC;QAC7E,MAAM,IAAI,KAAK,CAAC,gEAAgE,CAAC,CAAC;IACpF,CAAC;AACH,CAAC;AAED,MAAM,OAAO,oCAAoC;IACtC,YAAY,CAAS;IACrB,OAAO,CAAS;IAChB,cAAc,CAAS;IAEhC,YAAmB,cAAsB;QACvC,IAAI,CAAC,OAAO,GAAG,cAAc,CAAC;QAC9B,IAAI,CAAC,YAAY,GAAG,IAAI,CAAC,cAAc,EAAE,2BAA2B,CAAC,CAAC;QACtE,IAAI,CAAC,cAAc,GAAG,IAAI,CAAC,cAAc,EAAE,qCAAqC,CAAC,CAAC;IACpF,CAAC;IAEM,KAAK,CAAC,IAAI;QACf,MAAM,SAAS,GAAG,MAAM,YAAY,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC;QACxD,IAAI,SAAS,KAAK,SAAS,EAAE,CAAC;YAC5B,OAAO,SAAS,CAAC;QACnB,CAAC;QACD,OAAO,YAAY,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC;IAC3C,CAAC;IAED,KAAK,CAAC,eAAe,CAAC,QAAwC;QAC5D,MAAM,OAAO,GAAG,KAAK,CAAC,QAAQ,CAAC,CAAC;QAChC,IAAI,MAAkB,CAAC;QACvB,IAAI,CAAC;YACH,MAAM,GAAG,MAAM,IAAI,CAAC,IAAI,CAAC,cAAc,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC;QACxD,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YACf,IAAI,SAAS,CAAC,KAAK,CAAC,KAAK,QAAQ,EAAE,CAAC;gBAClC,MAAM,KAAK,GAAG,MAAM,YAAY,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC;gBACtD,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;oBACxB,MAAM,KAAK,CAAC;gBACd,CAAC;gBACD,MAAM,KAAK,CAAC,IAAI,CAAC,cAAc,EAAE,KAAK,CAAC,SAAS,CAAC,CAAC;gBAClD,MAAM,MAAM,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC;gBAClC,MAAM,qBAAqB,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;gBAC1C,MAAM,GAAG,MAAM,IAAI,CAAC,IAAI,CAAC,cAAc,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC;YACxD,CAAC;iBAAM,CAAC;gBACN,MAAM,KAAK,CAAC;YACd,CAAC;QACH,CAAC;QACD,IAAI,CAAC;YACH,MAAM,MAAM,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC;YAChC,MAAM,MAAM,CAAC,IAAI,EAAE,CAAC;YACpB,OAAO,EAAE,MAAM,EAAE,MAAM,CAAC,OAAO,CAAC,EAAE,QAAQ,EAAE,MAAM,yBAAyB,CAAC,MAAM,CAAC,EAAE,CAAC;QACxF,CAAC;gBAAS,CAAC;YACT,MAAM,MAAM,CAAC,KAAK,EAAE,CAAC;QACvB,CAAC;IACH,CAAC;IAEM,KAAK,CAAC,MAAM,CAAC,QAAwC;QAC1D,IAAI,MAAM,YAAY,CAAC,IAAI,CAAC,YAAY,CAAC,KAAK,SAAS,EAAE,CAAC;YACxD,MAAM,IAAI,KAAK,CAAC,kDAAkD,CAAC,CAAC;QACtE,CAAC;QACD,MAAM,SAAS,GAAG,MAAM,IAAI,CAAC,eAAe,CAAC,QAAQ,CAAC,CAAC;QACvD,MAAM,KAAK,CAAC,IAAI,CAAC,cAAc,EAAE,SAAS,CAAC,CAAC;QAC5C,MAAM,MAAM,CAAC,IAAI,CAAC,cAAc,EAAE,IAAI,CAAC,YAAY,CAAC,CAAC;QACrD,MAAM,qBAAqB,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QAC1C,MAAM,KAAK,CAAC,IAAI,CAAC,YAAY,EAAE,SAAS,CAAC,CAAC;QAC1C,OAAO,SAAS,CAAC;IACnB,CAAC;IAEM,KAAK,CAAC,OAAO,CAClB,QAAmC,EACnC,QAAwC;QAExC,MAAM,KAAK,CAAC,IAAI,CAAC,YAAY,EAAE,QAAQ,CAAC,CAAC;QACzC,MAAM,SAAS,GAAG,MAAM,IAAI,CAAC,eAAe,CAAC,QAAQ,CAAC,CAAC;QACvD,MAAM,KAAK,CAAC,IAAI,CAAC,YAAY,EAAE,QAAQ,CAAC,CAAC;QACzC,MAAM,KAAK,CAAC,IAAI,CAAC,cAAc,EAAE,SAAS,CAAC,CAAC;QAC5C,MAAM,MAAM,CAAC,IAAI,CAAC,cAAc,EAAE,IAAI,CAAC,YAAY,CAAC,CAAC;QACrD,MAAM,qBAAqB,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QAC1C,MAAM,KAAK,CAAC,IAAI,CAAC,YAAY,EAAE,SAAS,CAAC,CAAC;QAC1C,OAAO,SAAS,CAAC;IACnB,CAAC;IAEM,KAAK,CAAC,MAAM,CAAC,QAAmC;QACrD,MAAM,KAAK,CAAC,IAAI,CAAC,YAAY,EAAE,QAAQ,CAAC,CAAC;QACzC,MAAM,MAAM,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC;QAChC,MAAM,qBAAqB,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IAC5C,CAAC;IAEM,KAAK,CAAC,qBAAqB;QAChC,MAAM,SAAS,GAAG,MAAM,YAAY,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC;QACxD,IAAI,SAAS,KAAK,SAAS,EAAE,CAAC;YAC5B,qEAAqE;YACrE,sEAAsE;YACtE,wEAAwE;YACxE,gEAAgE;YAChE,wEAAwE;YACxE,uEAAuE;YACvE,IAAI,SAAS,CAAC;YACd,IAAI,CAAC;gBACH,SAAS,GAAG,MAAM,sBAAsB,CACtC,IAAI,CAAC,cAAc,EACnB,qBAAqB,CACtB,CAAC;YACJ,CAAC;YAAC,OAAO,KAAK,EAAE,CAAC;gBACf,IAAI,SAAS,CAAC,KAAK,CAAC,KAAK,QAAQ,EAAE,CAAC;oBAAA,OAAO;gBAAA,CAAC;gBAC5C,MAAM,KAAK,CAAC;YACd,CAAC;YACD,IAAI,SAAS,CAAC,OAAO,KAAK,MAAM,EAAE,CAAC;gBACjC,MAAM,IAAI,KAAK,CAAC,4DAA4D,CAAC,CAAC;YAChF,CAAC;YACD,MAAM,OAAO,GAAG,MAAM,qCAAqC,CAAC;gBAC1D,mCAAmC,EAAE,KAAK;gBAC1C,WAAW,EAAE,qCAAqC;gBAClD,gBAAgB,EAAE,SAAS,CAAC,QAAQ;gBACpC,MAAM,EAAE,IAAI,CAAC,OAAO;gBACpB,EAAE,EAAE,KAAK,IAAI,EAAE,GAAE,CAAC;gBAClB,aAAa,EAAE,oBAAoB;gBACnC,aAAa,EAAE,IAAI,CAAC,cAAc;aACnC,CAAC,CAAC;YACH,IAAI,OAAO,KAAK,WAAW,EAAE,CAAC;gBAC5B,MAAM,IAAI,KAAK,CAAC,6DAA6D,CAAC,CAAC;YACjF,CAAC;YACD,OAAO;QACT,CAAC;QACD,MAAM,SAAS,GAAG,MAAM,YAAY,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC;QAC1D,IAAI,SAAS,KAAK,SAAS,EAAE,CAAC;YAC5B,MAAM,IAAI,KAAK,CAAC,wCAAwC,CAAC,CAAC;QAC5D,CAAC;QACD,MAAM,KAAK,CAAC,IAAI,CAAC,cAAc,EAAE,SAAS,CAAC,SAAS,CAAC,CAAC;QACtD,MAAM,MAAM,CAAC,IAAI,CAAC,cAAc,EAAE,IAAI,CAAC,YAAY,CAAC,CAAC;QACrD,MAAM,qBAAqB,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IAC5C,CAAC;CACF"}

package/dist/repository-mutation/adapters/node/node-known-file-transaction-receipt.d.ts

@@ -0,0 +1,4 @@
+import type { KnownFileTransactionReceiptV1 } from "../../application/model/known-file-transaction.js";
+import type { KnownFileTransactionJournalV1 } from "../../application/model/known-file-transaction-journal.js";
+export declare function compileRolledBackReceipt(journal: KnownFileTransactionJournalV1): KnownFileTransactionReceiptV1;
+//# sourceMappingURL=node-known-file-transaction-receipt.d.ts.map

package/dist/repository-mutation/adapters/node/node-known-file-transaction-receipt.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"node-known-file-transaction-receipt.d.ts","sourceRoot":"","sources":["../../../../src/repository-mutation/adapters/node/node-known-file-transaction-receipt.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,6BAA6B,EAAE,MAAM,mDAAmD,CAAC;AACvG,OAAO,KAAK,EAAE,6BAA6B,EAAE,MAAM,2DAA2D,CAAC;AAG/G,wBAAgB,wBAAwB,CACtC,OAAO,EAAE,6BAA6B,GACrC,6BAA6B,CA0C/B"}

package/dist/repository-mutation/adapters/node/node-known-file-transaction-receipt.js

@@ -0,0 +1,43 @@
+import { sha256Json } from "../../../canonical-json.js";
+import { KnownFileTransactionError } from "./node-known-file-transaction-filesystem.js";
+export function compileRolledBackReceipt(journal) {
+    const operations = journal.operations.map((entry, index) => {
+        const planOperation = journal.plan.operations[index];
+        if (entry.state === "already-satisfied") {
+            return Object.freeze({
+                path: entry.path,
+                outcome: "already-satisfied",
+                resultDigest: planOperation.postimage.digest
+            });
+        }
+        if (planOperation.precondition.state === "absent") {
+            return Object.freeze({
+                path: entry.path,
+                outcome: "rolled-back-to-absent"
+            });
+        }
+        if (entry.matchedPreimage === undefined) {
+            throw new KnownFileTransactionError("KNOWN_FILE_JOURNAL_INVALID", `Replacement preimage binding is absent: ${entry.path}.`);
+        }
+        return Object.freeze({
+            path: entry.path,
+            outcome: "rolled-back-to-preimage",
+            resultDigest: planOperation.precondition.acceptedPreimages[entry.matchedPreimage].digest
+        });
+    });
+    const body = {
+        schemaVersion: 1,
+        protocol: "foundation.replace-known-file/v1",
+        planDigest: journal.plan.planDigest,
+        outcome: "rolled-back",
+        operations: Object.freeze(operations)
+    };
+    return Object.freeze({
+        ...body,
+        receiptDigest: sha256Json({
+            domain: "agent-teams.foundation.known-file-transaction-receipt/v1",
+            body
+        })
+    });
+}
+//# sourceMappingURL=node-known-file-transaction-receipt.js.map

package/dist/repository-mutation/adapters/node/node-known-file-transaction-receipt.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"node-known-file-transaction-receipt.js","sourceRoot":"","sources":["../../../../src/repository-mutation/adapters/node/node-known-file-transaction-receipt.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,MAAM,4BAA4B,CAAC;AAGxD,OAAO,EAAE,yBAAyB,EAAE,MAAM,6CAA6C,CAAC;AAExF,MAAM,UAAU,wBAAwB,CACtC,OAAsC;IAEtC,MAAM,UAAU,GAAG,OAAO,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,KAAK,EAAE,EAAE;QACzD,MAAM,aAAa,GAAG,OAAO,CAAC,IAAI,CAAC,UAAU,CAAC,KAAK,CAAE,CAAC;QACtD,IAAI,KAAK,CAAC,KAAK,KAAK,mBAAmB,EAAE,CAAC;YACxC,OAAO,MAAM,CAAC,MAAM,CAAC;gBACnB,IAAI,EAAE,KAAK,CAAC,IAAI;gBAChB,OAAO,EAAE,mBAA4B;gBACrC,YAAY,EAAE,aAAa,CAAC,SAAS,CAAC,MAAM;aAC7C,CAAC,CAAC;QACL,CAAC;QACD,IAAI,aAAa,CAAC,YAAY,CAAC,KAAK,KAAK,QAAQ,EAAE,CAAC;YAClD,OAAO,MAAM,CAAC,MAAM,CAAC;gBACnB,IAAI,EAAE,KAAK,CAAC,IAAI;gBAChB,OAAO,EAAE,uBAAgC;aAC1C,CAAC,CAAC;QACL,CAAC;QACD,IAAI,KAAK,CAAC,eAAe,KAAK,SAAS,EAAE,CAAC;YACxC,MAAM,IAAI,yBAAyB,CACjC,4BAA4B,EAC5B,2CAA2C,KAAK,CAAC,IAAI,GAAG,CACzD,CAAC;QACJ,CAAC;QACD,OAAO,MAAM,CAAC,MAAM,CAAC;YACnB,IAAI,EAAE,KAAK,CAAC,IAAI;YAChB,OAAO,EAAE,yBAAkC;YAC3C,YAAY,EAAE,aAAa,CAAC,YAAY,CAAC,iBAAiB,CAAC,KAAK,CAAC,eAAe,CAAE,CAAC,MAAM;SAC1F,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IACH,MAAM,IAAI,GAAG;QACX,aAAa,EAAE,CAAU;QACzB,QAAQ,EAAE,kCAA2C;QACrD,UAAU,EAAE,OAAO,CAAC,IAAI,CAAC,UAAU;QACnC,OAAO,EAAE,aAAsB;QAC/B,UAAU,EAAE,MAAM,CAAC,MAAM,CAAC,UAAU,CAAC;KACtC,CAAC;IACF,OAAO,MAAM,CAAC,MAAM,CAAC;QACnB,GAAG,IAAI;QACP,aAAa,EAAE,UAAU,CAAC;YACxB,MAAM,EAAE,0DAA0D;YAClE,IAAI;SACL,CAAC;KACH,CAAC,CAAC;AACL,CAAC"}

package/dist/repository-mutation/adapters/node/node-known-file-transaction-recovery.d.ts

@@ -0,0 +1,11 @@
+import type { KnownFileTransactionReceiptV1 } from "../../application/model/known-file-transaction.js";
+export type KnownFileRecoveryFaultInjector = (point: {
+    readonly phase: "after-committed-capture-unlinked" | "after-destination-retired" | "after-rollback-linked" | "after-rollback-capture-unlinked" | "after-retirement-directory-bound" | "after-retirement-captured" | "after-retirement-unlink-authorized";
+    readonly operationIndex: number;
+    readonly path: string;
+}) => Promise<void> | void;
+export declare function recoverKnownFileTransaction(options: {
+    readonly consumerRoot: string;
+    readonly faultInjector?: KnownFileRecoveryFaultInjector;
+}): Promise<KnownFileTransactionReceiptV1>;
+//# sourceMappingURL=node-known-file-transaction-recovery.d.ts.map

package/dist/repository-mutation/adapters/node/node-known-file-transaction-recovery.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"node-known-file-transaction-recovery.d.ts","sourceRoot":"","sources":["../../../../src/repository-mutation/adapters/node/node-known-file-transaction-recovery.ts"],"names":[],"mappings":"AAgBA,OAAO,KAAK,EAGV,6BAA6B,EAC9B,MAAM,mDAAmD,CAAC;AA8C3D,MAAM,MAAM,8BAA8B,GAAG,CAAC,KAAK,EAAE;IACnD,QAAQ,CAAC,KAAK,EACV,kCAAkC,GAClC,2BAA2B,GAC3B,uBAAuB,GACvB,iCAAiC,GACjC,kCAAkC,GAClC,2BAA2B,GAC3B,oCAAoC,CAAC;IACzC,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAC;IAChC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;CACvB,KAAK,OAAO,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC;AAgqC3B,wBAAsB,2BAA2B,CAAC,OAAO,EAAE;IACzD,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,aAAa,CAAC,EAAE,8BAA8B,CAAC;CACzD,GAAG,OAAO,CAAC,6BAA6B,CAAC,CAqEzC"}