@agent-teams/engineering-foundation 0.17.0 → 0.19.0

package/dist/repository-mutation/adapters/node/node-known-file-recovery-cleanup.js

@@ -0,0 +1,203 @@
+import { lstat, rmdir } from "node:fs/promises";
+import { basename, dirname, join } from "node:path";
+import { deserializeKnownFileIdentity } from "../../application/model/known-file-transaction-journal.js";
+import { readBoundedRegularFile } from "./node-bounded-regular-file.js";
+import { syncDirectoryStrictly } from "./node-directory-durability.js";
+import { knownFileErrorCode, knownFileTemporaryName, KnownFileTransactionError, matchesKnownFileImage, sameKnownFileIdentity } from "./node-known-file-transaction-filesystem.js";
+import { knownFileCapturePaths } from "./node-known-file-recovery-filesystem.js";
+import { restorePreimage } from "./node-known-file-recovery-preimage.js";
+import { retireJournalBoundPath } from "./node-known-file-recovery-retirement.js";
+async function cleanupOperationTemporaries(options) {
+    const operation = options.stored.envelope.journal.plan.operations[options.operationIndex];
+    const journalOperation = options.stored.envelope.journal.operations[options.operationIndex];
+    const parent = dirname(join(options.root, ...operation.path.split("/")));
+    const candidates = [
+        {
+            identity: "temporaryIdentity" in journalOperation
+                ? deserializeKnownFileIdentity(journalOperation.temporaryIdentity)
+                : undefined,
+            image: operation.postimage,
+            kind: "temporary",
+            authorizedWithoutIdentity: journalOperation.state === "temporary-authorized",
+            path: join(parent, knownFileTemporaryName(operation.path, options.stored.envelope.journal.plan.planDigest, options.operationIndex))
+        },
+        ...(operation.precondition.state === "known-file" &&
+            journalOperation.matchedPreimage !== undefined
+            ? [{
+                    identity: journalOperation.rollbackTemporaryIdentity === undefined
+                        ? undefined
+                        : deserializeKnownFileIdentity(journalOperation.rollbackTemporaryIdentity),
+                    image: operation.precondition.acceptedPreimages[journalOperation.matchedPreimage],
+                    kind: "rollback-temporary",
+                    path: join(parent, `.${basename(operation.path)}.agent-teams.rollback.${options.operationIndex}.tmp`)
+                }]
+            : [])
+    ];
+    for (const candidate of candidates) {
+        let observed;
+        try {
+            observed = await readBoundedRegularFile(candidate.path, candidate.image.size);
+        }
+        catch (error) {
+            if (knownFileErrorCode(error) === "ENOENT") {
+                continue;
+            }
+            throw error;
+        }
+        if (observed.outcome !== "read" || !matchesKnownFileImage({
+            state: "file", bytes: observed.bytes, identity: observed.identity,
+            mode: observed.mode & 0o777
+        }, candidate.image)) {
+            throw new KnownFileTransactionError("KNOWN_FILE_RECOVERY_CONFLICT", `Transaction temporary is foreign or modified: ${operation.path}.`);
+        }
+        if (candidate.identity === undefined && candidate.authorizedWithoutIdentity === true) {
+            throw new KnownFileTransactionError("KNOWN_FILE_RECOVERY_CONFLICT", `Authorized temporary exists without durable ownership identity: ${operation.path}.`);
+        }
+        if (candidate.identity === undefined ||
+            !sameKnownFileIdentity(observed.identity, candidate.identity)) {
+            throw new KnownFileTransactionError("KNOWN_FILE_RECOVERY_CONFLICT", `Transaction temporary identity is absent or changed: ${operation.path}.`);
+        }
+        await retireJournalBoundPath({
+            expectedIdentity: candidate.identity,
+            kind: candidate.kind,
+            operationIndex: options.operationIndex,
+            root: options.root,
+            store: options.store,
+            stored: options.stored
+        });
+    }
+}
+async function cleanupAuthorizedCapture(options) {
+    const operation = options.journal.plan.operations[options.operationIndex];
+    const parent = dirname(join(options.root, ...operation.path.split("/")));
+    const paths = knownFileCapturePaths({
+        operationIndex: options.operationIndex,
+        operationPath: operation.path,
+        parent,
+        planDigest: options.journal.plan.planDigest
+    });
+    const metadata = await lstat(paths.directory).catch((error) => {
+        if (knownFileErrorCode(error) === "ENOENT") {
+            return null;
+        }
+        throw error;
+    });
+    if (metadata === null) {
+        return;
+    }
+    if (!metadata.isDirectory() || metadata.isSymbolicLink()) {
+        throw new KnownFileTransactionError("KNOWN_FILE_RECOVERY_CONFLICT", `Authorized capture path is foreign: ${operation.path}.`);
+    }
+    throw new KnownFileTransactionError("KNOWN_FILE_RECOVERY_CONFLICT", `Authorized capture exists without durable ownership identity: ${operation.path}.`);
+}
+async function removeAuthorizedDirectories(root, directories) {
+    for (const repositoryPath of directories.toReversed()) {
+        const path = join(root, ...repositoryPath.split("/"));
+        const metadata = await lstat(path).catch((error) => {
+            if (knownFileErrorCode(error) === "ENOENT") {
+                return null;
+            }
+            throw error;
+        });
+        if (metadata === null) {
+            continue;
+        }
+        if (!metadata.isDirectory() || metadata.isSymbolicLink()) {
+            throw new KnownFileTransactionError("KNOWN_FILE_RECOVERY_CONFLICT", `Authorized directory path is foreign: ${repositoryPath}.`);
+        }
+        throw new KnownFileTransactionError("KNOWN_FILE_RECOVERY_CONFLICT", `Authorized directory exists without durable ownership identity: ${repositoryPath}.`);
+    }
+}
+async function removeCreatedDirectories(root, directories) {
+    for (const directory of directories.toReversed()) {
+        const path = join(root, ...directory.path.split("/"));
+        let metadata;
+        try {
+            metadata = await lstat(path, { bigint: true });
+        }
+        catch (error) {
+            if (knownFileErrorCode(error) === "ENOENT") {
+                continue;
+            }
+            throw error;
+        }
+        const expected = deserializeKnownFileIdentity(directory.identity);
+        if (!metadata.isDirectory() || metadata.isSymbolicLink() ||
+            metadata.dev !== expected.dev || metadata.ino !== expected.ino ||
+            metadata.birthtimeNs !== expected.birthtimeNs) {
+            throw new KnownFileTransactionError("KNOWN_FILE_RECOVERY_CONFLICT", `Transaction-created directory changed before cleanup: ${directory.path}.`);
+        }
+        try {
+            await rmdir(path);
+            await syncDirectoryStrictly(dirname(path));
+        }
+        catch (error) {
+            if (knownFileErrorCode(error) !== "ENOTEMPTY") {
+                throw error;
+            }
+        }
+    }
+}
+export async function rollbackKnownFileRecovery(options) {
+    for (let index = options.stored.envelope.journal.operations.length - 1; index >= 0; index -= 1) {
+        let journalOperation = options.stored.envelope.journal.operations[index];
+        if (journalOperation.retirement !== undefined) {
+            await retireJournalBoundPath({
+                expectedIdentity: deserializeKnownFileIdentity(journalOperation.retirement.pathIdentity),
+                ...(options.faultInjector === undefined ? {} : { faultInjector: options.faultInjector }),
+                kind: journalOperation.retirement.kind,
+                operationIndex: index,
+                root: options.root,
+                store: options.store,
+                stored: options.stored
+            });
+            journalOperation = options.stored.envelope.journal.operations[index];
+        }
+        if (journalOperation.state === "capture-authorized") {
+            await cleanupAuthorizedCapture({
+                journal: options.stored.envelope.journal,
+                operationIndex: index,
+                root: options.root
+            });
+            continue;
+        }
+        if (![
+            "capture-ready", "preimage-captured", "destination-retired",
+            "publishing", "published", "rollback-restored"
+        ].includes(journalOperation.state)) {
+            continue;
+        }
+        await restorePreimage({
+            ...(options.faultInjector === undefined ? {} : { faultInjector: options.faultInjector }),
+            operation: options.stored.envelope.journal.plan.operations[index],
+            operationIndex: index,
+            root: options.root,
+            store: options.store,
+            stored: options.stored
+        });
+        await cleanupOperationTemporaries({
+            operationIndex: index,
+            root: options.root,
+            store: options.store,
+            stored: options.stored
+        });
+    }
+    for (let index = options.stored.envelope.journal.operations.length - 1; index >= 0; index -= 1) {
+        const journal = options.stored.envelope.journal;
+        if (![
+            "capture-ready", "preimage-captured", "destination-retired",
+            "publishing", "published", "rollback-restored"
+        ].includes(journal.operations[index].state)) {
+            await cleanupOperationTemporaries({
+                operationIndex: index,
+                root: options.root,
+                store: options.store,
+                stored: options.stored
+            });
+        }
+    }
+    const journal = options.stored.envelope.journal;
+    await removeCreatedDirectories(options.root, journal.createdDirectories);
+    await removeAuthorizedDirectories(options.root, journal.authorizedDirectories);
+}
+//# sourceMappingURL=node-known-file-recovery-cleanup.js.map

package/dist/repository-mutation/adapters/node/node-known-file-recovery-cleanup.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"node-known-file-recovery-cleanup.js","sourceRoot":"","sources":["../../../../src/repository-mutation/adapters/node/node-known-file-recovery-cleanup.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,kBAAkB,CAAC;AAChD,OAAO,EAAE,QAAQ,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AAIpD,OAAO,EAAE,4BAA4B,EAAE,MAAM,2DAA2D,CAAC;AACzG,OAAO,EAAE,sBAAsB,EAAE,MAAM,gCAAgC,CAAC;AACxE,OAAO,EAAE,qBAAqB,EAAE,MAAM,gCAAgC,CAAC;AACvE,OAAO,EACL,kBAAkB,EAClB,sBAAsB,EACtB,yBAAyB,EACzB,qBAAqB,EACrB,qBAAqB,EACtB,MAAM,6CAA6C,CAAC;AACrD,OAAO,EAAE,qBAAqB,EAAE,MAAM,0CAA0C,CAAC;AACjF,OAAO,EAAE,eAAe,EAAE,MAAM,wCAAwC,CAAC;AACzE,OAAO,EAAE,sBAAsB,EAAE,MAAM,0CAA0C,CAAC;AAOlF,KAAK,UAAU,2BAA2B,CAAC,OAK1C;IACC,MAAM,SAAS,GAAG,OAAO,CAAC,MAAM,CAAC,QAAQ,CAAC,OAAO,CAAC,IAAI,CAAC,UAAU,CAAC,OAAO,CAAC,cAAc,CAAE,CAAC;IAC3F,MAAM,gBAAgB,GAAG,OAAO,CAAC,MAAM,CAAC,QAAQ,CAAC,OAAO,CAAC,UAAU,CAAC,OAAO,CAAC,cAAc,CAAE,CAAC;IAC7F,MAAM,MAAM,GAAG,OAAO,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,EAAE,GAAG,SAAS,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;IACzE,MAAM,UAAU,GAMV;QACJ;YACE,QAAQ,EAAE,mBAAmB,IAAI,gBAAgB;gBAC/C,CAAC,CAAC,4BAA4B,CAAC,gBAAgB,CAAC,iBAAiB,CAAC;gBAClE,CAAC,CAAC,SAAS;YACb,KAAK,EAAE,SAAS,CAAC,SAAS;YAC1B,IAAI,EAAE,WAAW;YACjB,yBAAyB,EAAE,gBAAgB,CAAC,KAAK,KAAK,sBAAsB;YAC5E,IAAI,EAAE,IAAI,CAAC,MAAM,EAAE,sBAAsB,CACvC,SAAS,CAAC,IAAI,EACd,OAAO,CAAC,MAAM,CAAC,QAAQ,CAAC,OAAO,CAAC,IAAI,CAAC,UAAU,EAC/C,OAAO,CAAC,cAAc,CACvB,CAAC;SACH;QACD,GAAG,CAAC,SAAS,CAAC,YAAY,CAAC,KAAK,KAAK,YAAY;YAC/C,gBAAgB,CAAC,eAAe,KAAK,SAAS;YAC9C,CAAC,CAAC,CAAC;oBACC,QAAQ,EAAE,gBAAgB,CAAC,yBAAyB,KAAK,SAAS;wBAChE,CAAC,CAAC,SAAS;wBACX,CAAC,CAAC,4BAA4B,CAAC,gBAAgB,CAAC,yBAAyB,CAAC;oBAC5E,KAAK,EAAE,SAAS,CAAC,YAAY,CAAC,iBAAiB,CAAC,gBAAgB,CAAC,eAAe,CAAE;oBAClF,IAAI,EAAE,oBAA6B;oBACnC,IAAI,EAAE,IAAI,CAAC,MAAM,EAAE,IAAI,QAAQ,CAAC,SAAS,CAAC,IAAI,CAAC,yBAAyB,OAAO,CAAC,cAAc,MAAM,CAAC;iBACtG,CAAC;YACJ,CAAC,CAAC,EAAE,CAAC;KACR,CAAC;IACF,KAAK,MAAM,SAAS,IAAI,UAAU,EAAE,CAAC;QACnC,IAAI,QAAQ,CAAC;QACb,IAAI,CAAC;YACH,QAAQ,GAAG,MAAM,sBAAsB,CAAC,SAAS,CAAC,IAAI,EAAE,SAAS,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;QAChF,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YACf,IAAI,kBAAkB,CAAC,KAAK,CAAC,KAAK,QAAQ,EAAE,CAAC;gBAAA,SAAS;YAAA,CAAC;YACvD,MAAM,KAAK,CAAC;QACd,CAAC;QACD,IAAI,QAAQ,CAAC,OAAO,KAAK,MAAM,IAAI,CAAC,qBAAqB,CAAC;YACxD,KAAK,EAAE,MAAM,EAAE,KAAK,EAAE,QAAQ,CAAC,KAAK,EAAE,QAAQ,EAAE,QAAQ,CAAC,QAAQ;YACjE,IAAI,EAAE,QAAQ,CAAC,IAAI,GAAG,KAAK;SAC5B,EAAE,SAAS,CAAC,KAAK,CAAC,EAAE,CAAC;YACpB,MAAM,IAAI,yBAAyB,CACjC,8BAA8B,EAC9B,iDAAiD,SAAS,CAAC,IAAI,GAAG,CACnE,CAAC;QACJ,CAAC;QACD,IAAI,SAAS,CAAC,QAAQ,KAAK,SAAS,IAAI,SAAS,CAAC,yBAAyB,KAAK,IAAI,EAAE,CAAC;YACrF,MAAM,IAAI,yBAAyB,CACjC,8BAA8B,EAC9B,mEAAmE,SAAS,CAAC,IAAI,GAAG,CACrF,CAAC;QACJ,CAAC;QACD,IAAI,SAAS,CAAC,QAAQ,KAAK,SAAS;YAClC,CAAC,qBAAqB,CAAC,QAAQ,CAAC,QAAQ,EAAE,SAAS,CAAC,QAAQ,CAAC,EAAE,CAAC;YAChE,MAAM,IAAI,yBAAyB,CACjC,8BAA8B,EAC9B,wDAAwD,SAAS,CAAC,IAAI,GAAG,CAC1E,CAAC;QACJ,CAAC;QACD,MAAM,sBAAsB,CAAC;YAC3B,gBAAgB,EAAE,SAAS,CAAC,QAAQ;YACpC,IAAI,EAAE,SAAS,CAAC,IAAI;YACpB,cAAc,EAAE,OAAO,CAAC,cAAc;YACtC,IAAI,EAAE,OAAO,CAAC,IAAI;YAClB,KAAK,EAAE,OAAO,CAAC,KAAK;YACpB,MAAM,EAAE,OAAO,CAAC,MAAM;SACvB,CAAC,CAAC;IACL,CAAC;AACH,CAAC;AAED,KAAK,UAAU,wBAAwB,CAAC,OAIvC;IACC,MAAM,SAAS,GAAG,OAAO,CAAC,OAAO,CAAC,IAAI,CAAC,UAAU,CAAC,OAAO,CAAC,cAAc,CAAE,CAAC;IAC3E,MAAM,MAAM,GAAG,OAAO,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,EAAE,GAAG,SAAS,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;IACzE,MAAM,KAAK,GAAG,qBAAqB,CAAC;QAClC,cAAc,EAAE,OAAO,CAAC,cAAc;QACtC,aAAa,EAAE,SAAS,CAAC,IAAI;QAC7B,MAAM;QACN,UAAU,EAAE,OAAO,CAAC,OAAO,CAAC,IAAI,CAAC,UAAU;KAC5C,CAAC,CAAC;IACH,MAAM,QAAQ,GAAG,MAAM,KAAK,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC,KAAK,CAAC,CAAC,KAAc,EAAE,EAAE;QACrE,IAAI,kBAAkB,CAAC,KAAK,CAAC,KAAK,QAAQ,EAAE,CAAC;YAAA,OAAO,IAAI,CAAC;QAAA,CAAC;QAC1D,MAAM,KAAK,CAAC;IACd,CAAC,CAAC,CAAC;IACH,IAAI,QAAQ,KAAK,IAAI,EAAE,CAAC;QAAA,OAAO;IAAA,CAAC;IAChC,IAAI,CAAC,QAAQ,CAAC,WAAW,EAAE,IAAI,QAAQ,CAAC,cAAc,EAAE,EAAE,CAAC;QACzD,MAAM,IAAI,yBAAyB,CACjC,8BAA8B,EAC9B,uCAAuC,SAAS,CAAC,IAAI,GAAG,CACzD,CAAC;IACJ,CAAC;IACD,MAAM,IAAI,yBAAyB,CACjC,8BAA8B,EAC9B,iEAAiE,SAAS,CAAC,IAAI,GAAG,CACnF,CAAC;AACJ,CAAC;AAED,KAAK,UAAU,2BAA2B,CACxC,IAAY,EACZ,WAAmE;IAEnE,KAAK,MAAM,cAAc,IAAI,WAAW,CAAC,UAAU,EAAE,EAAE,CAAC;QACtD,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,EAAE,GAAG,cAAc,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC;QACtD,MAAM,QAAQ,GAAG,MAAM,KAAK,CAAC,IAAI,CAAC,CAAC,KAAK,CAAC,CAAC,KAAc,EAAE,EAAE;YAC1D,IAAI,kBAAkB,CAAC,KAAK,CAAC,KAAK,QAAQ,EAAE,CAAC;gBAAA,OAAO,IAAI,CAAC;YAAA,CAAC;YAC1D,MAAM,KAAK,CAAC;QACd,CAAC,CAAC,CAAC;QACH,IAAI,QAAQ,KAAK,IAAI,EAAE,CAAC;YAAA,SAAS;QAAA,CAAC;QAClC,IAAI,CAAC,QAAQ,CAAC,WAAW,EAAE,IAAI,QAAQ,CAAC,cAAc,EAAE,EAAE,CAAC;YACzD,MAAM,IAAI,yBAAyB,CACjC,8BAA8B,EAC9B,yCAAyC,cAAc,GAAG,CAC3D,CAAC;QACJ,CAAC;QACD,MAAM,IAAI,yBAAyB,CACjC,8BAA8B,EAC9B,mEAAmE,cAAc,GAAG,CACrF,CAAC;IACJ,CAAC;AACH,CAAC;AAED,KAAK,UAAU,wBAAwB,CACrC,IAAY,EACZ,WAAgE;IAEhE,KAAK,MAAM,SAAS,IAAI,WAAW,CAAC,UAAU,EAAE,EAAE,CAAC;QACjD,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,EAAE,GAAG,SAAS,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC;QACtD,IAAI,QAAQ,CAAC;QACb,IAAI,CAAC;YACH,QAAQ,GAAG,MAAM,KAAK,CAAC,IAAI,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC;QACjD,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YACf,IAAI,kBAAkB,CAAC,KAAK,CAAC,KAAK,QAAQ,EAAE,CAAC;gBAAA,SAAS;YAAA,CAAC;YACvD,MAAM,KAAK,CAAC;QACd,CAAC;QACD,MAAM,QAAQ,GAAG,4BAA4B,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC;QAClE,IAAI,CAAC,QAAQ,CAAC,WAAW,EAAE,IAAI,QAAQ,CAAC,cAAc,EAAE;YACtD,QAAQ,CAAC,GAAG,KAAK,QAAQ,CAAC,GAAG,IAAI,QAAQ,CAAC,GAAG,KAAK,QAAQ,CAAC,GAAG;YAC9D,QAAQ,CAAC,WAAW,KAAK,QAAQ,CAAC,WAAW,EAAE,CAAC;YAChD,MAAM,IAAI,yBAAyB,CACjC,8BAA8B,EAC9B,yDAAyD,SAAS,CAAC,IAAI,GAAG,CAC3E,CAAC;QACJ,CAAC;QACD,IAAI,CAAC;YACH,MAAM,KAAK,CAAC,IAAI,CAAC,CAAC;YAClB,MAAM,qBAAqB,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC;QAC7C,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YACf,IAAI,kBAAkB,CAAC,KAAK,CAAC,KAAK,WAAW,EAAE,CAAC;gBAAA,MAAM,KAAK,CAAC;YAAA,CAAC;QAC/D,CAAC;IACH,CAAC;AACH,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,yBAAyB,CAAC,OAK/C;IACC,KAAK,IAAI,KAAK,GAAG,OAAO,CAAC,MAAM,CAAC,QAAQ,CAAC,OAAO,CAAC,UAAU,CAAC,MAAM,GAAG,CAAC,EAAE,KAAK,IAAI,CAAC,EAAE,KAAK,IAAI,CAAC,EAAE,CAAC;QAC/F,IAAI,gBAAgB,GAAG,OAAO,CAAC,MAAM,CAAC,QAAQ,CAAC,OAAO,CAAC,UAAU,CAAC,KAAK,CAAE,CAAC;QAC1E,IAAI,gBAAgB,CAAC,UAAU,KAAK,SAAS,EAAE,CAAC;YAC9C,MAAM,sBAAsB,CAAC;gBAC3B,gBAAgB,EAAE,4BAA4B,CAAC,gBAAgB,CAAC,UAAU,CAAC,YAAY,CAAC;gBACxF,GAAG,CAAC,OAAO,CAAC,aAAa,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,aAAa,EAAE,OAAO,CAAC,aAAa,EAAE,CAAC;gBACxF,IAAI,EAAE,gBAAgB,CAAC,UAAU,CAAC,IAAI;gBACtC,cAAc,EAAE,KAAK;gBACrB,IAAI,EAAE,OAAO,CAAC,IAAI;gBAClB,KAAK,EAAE,OAAO,CAAC,KAAK;gBACpB,MAAM,EAAE,OAAO,CAAC,MAAM;aACvB,CAAC,CAAC;YACH,gBAAgB,GAAG,OAAO,CAAC,MAAM,CAAC,QAAQ,CAAC,OAAO,CAAC,UAAU,CAAC,KAAK,CAAE,CAAC;QACxE,CAAC;QACD,IAAI,gBAAgB,CAAC,KAAK,KAAK,oBAAoB,EAAE,CAAC;YACpD,MAAM,wBAAwB,CAAC;gBAC7B,OAAO,EAAE,OAAO,CAAC,MAAM,CAAC,QAAQ,CAAC,OAAO;gBACxC,cAAc,EAAE,KAAK;gBACrB,IAAI,EAAE,OAAO,CAAC,IAAI;aACnB,CAAC,CAAC;YACH,SAAS;QACX,CAAC;QACD,IAAI,CAAC;YACH,eAAe,EAAE,mBAAmB,EAAE,qBAAqB;YAC3D,YAAY,EAAE,WAAW,EAAE,mBAAmB;SAC/C,CAAC,QAAQ,CAAC,gBAAgB,CAAC,KAAK,CAAC,EAAE,CAAC;YAAA,SAAS;QAAA,CAAC;QAC/C,MAAM,eAAe,CAAC;YACpB,GAAG,CAAC,OAAO,CAAC,aAAa,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,aAAa,EAAE,OAAO,CAAC,aAAa,EAAE,CAAC;YACxF,SAAS,EAAE,OAAO,CAAC,MAAM,CAAC,QAAQ,CAAC,OAAO,CAAC,IAAI,CAAC,UAAU,CAAC,KAAK,CAAE;YAClE,cAAc,EAAE,KAAK;YACrB,IAAI,EAAE,OAAO,CAAC,IAAI;YAClB,KAAK,EAAE,OAAO,CAAC,KAAK;YACpB,MAAM,EAAE,OAAO,CAAC,MAAM;SACvB,CAAC,CAAC;QACH,MAAM,2BAA2B,CAAC;YAChC,cAAc,EAAE,KAAK;YACrB,IAAI,EAAE,OAAO,CAAC,IAAI;YAClB,KAAK,EAAE,OAAO,CAAC,KAAK;YACpB,MAAM,EAAE,OAAO,CAAC,MAAM;SACvB,CAAC,CAAC;IACL,CAAC;IACD,KAAK,IAAI,KAAK,GAAG,OAAO,CAAC,MAAM,CAAC,QAAQ,CAAC,OAAO,CAAC,UAAU,CAAC,MAAM,GAAG,CAAC,EAAE,KAAK,IAAI,CAAC,EAAE,KAAK,IAAI,CAAC,EAAE,CAAC;QAC/F,MAAM,OAAO,GAAG,OAAO,CAAC,MAAM,CAAC,QAAQ,CAAC,OAAO,CAAC;QAChD,IAAI,CAAC;YACH,eAAe,EAAE,mBAAmB,EAAE,qBAAqB;YAC3D,YAAY,EAAE,WAAW,EAAE,mBAAmB;SAC/C,CAAC,QAAQ,CAAC,OAAO,CAAC,UAAU,CAAC,KAAK,CAAE,CAAC,KAAK,CAAC,EAAE,CAAC;YAC7C,MAAM,2BAA2B,CAAC;gBAChC,cAAc,EAAE,KAAK;gBACrB,IAAI,EAAE,OAAO,CAAC,IAAI;gBAClB,KAAK,EAAE,OAAO,CAAC,KAAK;gBACpB,MAAM,EAAE,OAAO,CAAC,MAAM;aACvB,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IACD,MAAM,OAAO,GAAG,OAAO,CAAC,MAAM,CAAC,QAAQ,CAAC,OAAO,CAAC;IAChD,MAAM,wBAAwB,CAAC,OAAO,CAAC,IAAI,EAAE,OAAO,CAAC,kBAAkB,CAAC,CAAC;IACzE,MAAM,2BAA2B,CAAC,OAAO,CAAC,IAAI,EAAE,OAAO,CAAC,qBAAqB,CAAC,CAAC;AACjF,CAAC"}

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

@@ -0,0 +1,17 @@
+import type { KnownFileTransactionReceiptV1 } from "../../application/model/known-file-transaction.js";
+import { type KnownFileRecoveryFaultInjector, type StoredRecoveryJournal } from "./node-known-file-recovery-state.js";
+import type { NodeKnownFileTransactionJournalStore } from "./node-known-file-transaction-journal-store.js";
+export type { KnownFileRecoveryFaultInjector } from "./node-known-file-recovery-state.js";
+export declare function executeCommittedKnownFileRecovery(options: {
+    readonly faultInjector?: KnownFileRecoveryFaultInjector;
+    readonly root: string;
+    readonly store: NodeKnownFileTransactionJournalStore;
+    readonly stored: StoredRecoveryJournal;
+}): Promise<KnownFileTransactionReceiptV1>;
+export declare function executeApplyingKnownFileRollback(options: {
+    readonly faultInjector?: KnownFileRecoveryFaultInjector;
+    readonly root: string;
+    readonly store: NodeKnownFileTransactionJournalStore;
+    readonly stored: StoredRecoveryJournal;
+}): Promise<KnownFileTransactionReceiptV1>;
+//# sourceMappingURL=node-known-file-recovery-executor.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"node-known-file-recovery-executor.d.ts","sourceRoot":"","sources":["../../../../src/repository-mutation/adapters/node/node-known-file-recovery-executor.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,6BAA6B,EAAE,MAAM,mDAAmD,CAAC;AAGvG,OAAO,EACL,KAAK,8BAA8B,EACnC,KAAK,qBAAqB,EAC3B,MAAM,qCAAqC,CAAC;AAC7C,OAAO,KAAK,EAAE,oCAAoC,EAAE,MAAM,gDAAgD,CAAC;AAQ3G,YAAY,EAAE,8BAA8B,EAAE,MAAM,qCAAqC,CAAC;AAE1F,wBAAsB,iCAAiC,CAAC,OAAO,EAAE;IAC/D,QAAQ,CAAC,aAAa,CAAC,EAAE,8BAA8B,CAAC;IACxD,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,KAAK,EAAE,oCAAoC,CAAC;IACrD,QAAQ,CAAC,MAAM,EAAE,qBAAqB,CAAC;CACxC,GAAG,OAAO,CAAC,6BAA6B,CAAC,CAczC;AAED,wBAAsB,gCAAgC,CAAC,OAAO,EAAE;IAC9D,QAAQ,CAAC,aAAa,CAAC,EAAE,8BAA8B,CAAC;IACxD,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,KAAK,EAAE,oCAAoC,CAAC;IACrD,QAAQ,CAAC,MAAM,EAAE,qBAAqB,CAAC;CACxC,GAAG,OAAO,CAAC,6BAA6B,CAAC,CAMzC"}

package/dist/repository-mutation/adapters/node/node-known-file-recovery-executor.js

@@ -0,0 +1,22 @@
+import { cleanupCommittedKnownFileCaptures } from "./node-known-file-recovery-filesystem.js";
+import { rollbackKnownFileRecovery } from "./node-known-file-recovery-cleanup.js";
+import {} from "./node-known-file-recovery-state.js";
+import { compileKnownFileTransactionReceipt, verifyCommittedKnownFilePostimages } from "./node-known-file-transaction.js";
+import { compileRolledBackReceipt } from "./node-known-file-transaction-receipt.js";
+import { verifyRolledBackKnownFileState } from "./node-known-file-recovery-observation.js";
+export async function executeCommittedKnownFileRecovery(options) {
+    await verifyCommittedKnownFilePostimages(options.root, options.stored.envelope.journal);
+    await cleanupCommittedKnownFileCaptures(options.root, options.stored.envelope.journal, options.faultInjector);
+    await verifyCommittedKnownFilePostimages(options.root, options.stored.envelope.journal);
+    const result = compileKnownFileTransactionReceipt(options.stored.envelope.journal, "applied");
+    await options.store.remove(options.stored.authority);
+    return result;
+}
+export async function executeApplyingKnownFileRollback(options) {
+    await rollbackKnownFileRecovery(options);
+    await verifyRolledBackKnownFileState(options.root, options.stored.envelope.journal);
+    const result = compileRolledBackReceipt(options.stored.envelope.journal);
+    await options.store.remove(options.stored.authority);
+    return result;
+}
+//# sourceMappingURL=node-known-file-recovery-executor.js.map

package/dist/repository-mutation/adapters/node/node-known-file-recovery-executor.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"node-known-file-recovery-executor.js","sourceRoot":"","sources":["../../../../src/repository-mutation/adapters/node/node-known-file-recovery-executor.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,iCAAiC,EAAE,MAAM,0CAA0C,CAAC;AAC7F,OAAO,EAAE,yBAAyB,EAAE,MAAM,uCAAuC,CAAC;AAClF,OAAO,EAGN,MAAM,qCAAqC,CAAC;AAE7C,OAAO,EACL,kCAAkC,EAClC,kCAAkC,EACnC,MAAM,kCAAkC,CAAC;AAC1C,OAAO,EAAE,wBAAwB,EAAE,MAAM,0CAA0C,CAAC;AACpF,OAAO,EAAE,8BAA8B,EAAE,MAAM,2CAA2C,CAAC;AAI3F,MAAM,CAAC,KAAK,UAAU,iCAAiC,CAAC,OAKvD;IACC,MAAM,kCAAkC,CAAC,OAAO,CAAC,IAAI,EAAE,OAAO,CAAC,MAAM,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC;IACxF,MAAM,iCAAiC,CACrC,OAAO,CAAC,IAAI,EACZ,OAAO,CAAC,MAAM,CAAC,QAAQ,CAAC,OAAO,EAC/B,OAAO,CAAC,aAAa,CACtB,CAAC;IACF,MAAM,kCAAkC,CAAC,OAAO,CAAC,IAAI,EAAE,OAAO,CAAC,MAAM,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC;IACxF,MAAM,MAAM,GAAG,kCAAkC,CAC/C,OAAO,CAAC,MAAM,CAAC,QAAQ,CAAC,OAAO,EAC/B,SAAS,CACV,CAAC;IACF,MAAM,OAAO,CAAC,KAAK,CAAC,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC;IACrD,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,gCAAgC,CAAC,OAKtD;IACC,MAAM,yBAAyB,CAAC,OAAO,CAAC,CAAC;IACzC,MAAM,8BAA8B,CAAC,OAAO,CAAC,IAAI,EAAE,OAAO,CAAC,MAAM,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC;IACpF,MAAM,MAAM,GAAG,wBAAwB,CAAC,OAAO,CAAC,MAAM,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC;IACzE,MAAM,OAAO,CAAC,KAAK,CAAC,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC;IACrD,OAAO,MAAM,CAAC;AAChB,CAAC"}

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

@@ -0,0 +1,15 @@
+import type { KnownFileTransactionEnvelopeV1, KnownFileTransactionJournalV1 } from "../../application/model/known-file-transaction-journal.js";
+import type { InstalledKnownFileRecoveryBuild } from "../../application/policies/classify-known-file-recovery-transition.js";
+import { NodeKnownFileTransactionJournalStore, type KnownFileJournalAuthority } from "./node-known-file-transaction-journal-store.js";
+export interface StoredKnownFileRecoveryJournal {
+    authority: KnownFileJournalAuthority;
+    envelope: KnownFileTransactionEnvelopeV1;
+}
+export interface KnownFileRecoveryEvidence {
+    readonly installedBuild: InstalledKnownFileRecoveryBuild;
+    readonly store: NodeKnownFileTransactionJournalStore;
+    readonly stored: StoredKnownFileRecoveryJournal;
+}
+export declare function observeKnownFileRecoveryEvidence(root: string): Promise<KnownFileRecoveryEvidence>;
+export declare function verifyRolledBackKnownFileState(root: string, journal: KnownFileTransactionJournalV1): Promise<void>;
+//# sourceMappingURL=node-known-file-recovery-observation.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"node-known-file-recovery-observation.d.ts","sourceRoot":"","sources":["../../../../src/repository-mutation/adapters/node/node-known-file-recovery-observation.ts"],"names":[],"mappings":"AAKA,OAAO,KAAK,EACV,8BAA8B,EAC9B,6BAA6B,EAC9B,MAAM,2DAA2D,CAAC;AACnE,OAAO,KAAK,EAAE,+BAA+B,EAAE,MAAM,uEAAuE,CAAC;AAO7H,OAAO,EACL,oCAAoC,EACpC,KAAK,yBAAyB,EAC/B,MAAM,gDAAgD,CAAC;AAExD,MAAM,WAAW,8BAA8B;IAC7C,SAAS,EAAE,yBAAyB,CAAC;IACrC,QAAQ,EAAE,8BAA8B,CAAC;CAC1C;AAED,MAAM,WAAW,yBAAyB;IACxC,QAAQ,CAAC,cAAc,EAAE,+BAA+B,CAAC;IACzD,QAAQ,CAAC,KAAK,EAAE,oCAAoC,CAAC;IACrD,QAAQ,CAAC,MAAM,EAAE,8BAA8B,CAAC;CACjD;AAED,wBAAsB,gCAAgC,CACpD,IAAI,EAAE,MAAM,GACX,OAAO,CAAC,yBAAyB,CAAC,CAmBpC;AAED,wBAAsB,8BAA8B,CAClD,IAAI,EAAE,MAAM,EACZ,OAAO,EAAE,6BAA6B,GACrC,OAAO,CAAC,IAAI,CAAC,CAmCf"}

package/dist/repository-mutation/adapters/node/node-known-file-recovery-observation.js

@@ -0,0 +1,47 @@
+import { join } from "node:path";
+import { LOCAL_STATE_DIRECTORY } from "../../../foundation-state-contract.js";
+import { installedFoundationVersion } from "../../../package-version.js";
+import { installedFoundationBuildIdentity } from "../../../transaction-coordination/adapters/node/installed-foundation-build-identity.js";
+import { KnownFileTransactionError, matchesKnownFileImage, maximumKnownFileEvidenceBytes, observeKnownFile } from "./node-known-file-transaction-filesystem.js";
+import { NodeKnownFileTransactionJournalStore } from "./node-known-file-transaction-journal-store.js";
+export async function observeKnownFileRecoveryEvidence(root) {
+    const store = new NodeKnownFileTransactionJournalStore(join(root, LOCAL_STATE_DIRECTORY));
+    await store.canonicalizeTemporary();
+    const observed = await store.read();
+    if (observed === undefined) {
+        throw new KnownFileTransactionError("KNOWN_FILE_JOURNAL_MISSING", "Known-file recovery journal disappeared.");
+    }
+    const [version, buildIdentity] = await Promise.all([
+        installedFoundationVersion(),
+        installedFoundationBuildIdentity()
+    ]);
+    return {
+        installedBuild: { buildIdentity, version },
+        store,
+        stored: observed
+    };
+}
+export async function verifyRolledBackKnownFileState(root, journal) {
+    for (const [index, operation] of journal.plan.operations.entries()) {
+        const journalOperation = journal.operations[index];
+        const observed = await observeKnownFile(root, operation.path, maximumKnownFileEvidenceBytes(operation));
+        if (journalOperation.state === "already-satisfied") {
+            if (!matchesKnownFileImage(observed, operation.postimage)) {
+                throw new KnownFileTransactionError("KNOWN_FILE_RECOVERY_CONFLICT", `Unchanged guard drifted during rollback: ${operation.path}.`);
+            }
+            continue;
+        }
+        if (operation.precondition.state === "absent") {
+            if (observed.state !== "absent") {
+                throw new KnownFileTransactionError("KNOWN_FILE_RECOVERY_CONFLICT", `Absent preimage was not restored: ${operation.path}.`);
+            }
+            continue;
+        }
+        const matched = journalOperation.matchedPreimage;
+        if (matched === undefined ||
+            !matchesKnownFileImage(observed, operation.precondition.acceptedPreimages[matched])) {
+            throw new KnownFileTransactionError("KNOWN_FILE_RECOVERY_CONFLICT", `Exact preimage was not restored: ${operation.path}.`);
+        }
+    }
+}
+//# sourceMappingURL=node-known-file-recovery-observation.js.map

package/dist/repository-mutation/adapters/node/node-known-file-recovery-observation.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"node-known-file-recovery-observation.js","sourceRoot":"","sources":["../../../../src/repository-mutation/adapters/node/node-known-file-recovery-observation.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AAEjC,OAAO,EAAE,qBAAqB,EAAE,MAAM,uCAAuC,CAAC;AAC9E,OAAO,EAAE,0BAA0B,EAAE,MAAM,6BAA6B,CAAC;AACzE,OAAO,EAAE,gCAAgC,EAAE,MAAM,wFAAwF,CAAC;AAM1I,OAAO,EACL,yBAAyB,EACzB,qBAAqB,EACrB,6BAA6B,EAC7B,gBAAgB,EACjB,MAAM,6CAA6C,CAAC;AACrD,OAAO,EACL,oCAAoC,EAErC,MAAM,gDAAgD,CAAC;AAaxD,MAAM,CAAC,KAAK,UAAU,gCAAgC,CACpD,IAAY;IAEZ,MAAM,KAAK,GAAG,IAAI,oCAAoC,CAAC,IAAI,CAAC,IAAI,EAAE,qBAAqB,CAAC,CAAC,CAAC;IAC1F,MAAM,KAAK,CAAC,qBAAqB,EAAE,CAAC;IACpC,MAAM,QAAQ,GAAG,MAAM,KAAK,CAAC,IAAI,EAAE,CAAC;IACpC,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;QAC3B,MAAM,IAAI,yBAAyB,CACjC,4BAA4B,EAC5B,0CAA0C,CAC3C,CAAC;IACJ,CAAC;IACD,MAAM,CAAC,OAAO,EAAE,aAAa,CAAC,GAAG,MAAM,OAAO,CAAC,GAAG,CAAC;QACjD,0BAA0B,EAAE;QAC5B,gCAAgC,EAAE;KACnC,CAAC,CAAC;IACH,OAAO;QACL,cAAc,EAAE,EAAE,aAAa,EAAE,OAAO,EAAE;QAC1C,KAAK;QACL,MAAM,EAAE,QAAQ;KACjB,CAAC;AACJ,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,8BAA8B,CAClD,IAAY,EACZ,OAAsC;IAEtC,KAAK,MAAM,CAAC,KAAK,EAAE,SAAS,CAAC,IAAI,OAAO,CAAC,IAAI,CAAC,UAAU,CAAC,OAAO,EAAE,EAAE,CAAC;QACnE,MAAM,gBAAgB,GAAG,OAAO,CAAC,UAAU,CAAC,KAAK,CAAE,CAAC;QACpD,MAAM,QAAQ,GAAG,MAAM,gBAAgB,CACrC,IAAI,EACJ,SAAS,CAAC,IAAI,EACd,6BAA6B,CAAC,SAAS,CAAC,CACzC,CAAC;QACF,IAAI,gBAAgB,CAAC,KAAK,KAAK,mBAAmB,EAAE,CAAC;YACnD,IAAI,CAAC,qBAAqB,CAAC,QAAQ,EAAE,SAAS,CAAC,SAAS,CAAC,EAAE,CAAC;gBAC1D,MAAM,IAAI,yBAAyB,CACjC,8BAA8B,EAC9B,4CAA4C,SAAS,CAAC,IAAI,GAAG,CAC9D,CAAC;YACJ,CAAC;YACD,SAAS;QACX,CAAC;QACD,IAAI,SAAS,CAAC,YAAY,CAAC,KAAK,KAAK,QAAQ,EAAE,CAAC;YAC9C,IAAI,QAAQ,CAAC,KAAK,KAAK,QAAQ,EAAE,CAAC;gBAChC,MAAM,IAAI,yBAAyB,CACjC,8BAA8B,EAC9B,qCAAqC,SAAS,CAAC,IAAI,GAAG,CACvD,CAAC;YACJ,CAAC;YACD,SAAS;QACX,CAAC;QACD,MAAM,OAAO,GAAG,gBAAgB,CAAC,eAAe,CAAC;QACjD,IAAI,OAAO,KAAK,SAAS;YACvB,CAAC,qBAAqB,CAAC,QAAQ,EAAE,SAAS,CAAC,YAAY,CAAC,iBAAiB,CAAC,OAAO,CAAE,CAAC,EAAE,CAAC;YACvF,MAAM,IAAI,yBAAyB,CACjC,8BAA8B,EAC9B,oCAAoC,SAAS,CAAC,IAAI,GAAG,CACtD,CAAC;QACJ,CAAC;IACH,CAAC;AACH,CAAC"}

package/dist/repository-mutation/adapters/node/node-known-file-recovery-preimage-captured-cleanup.d.ts

@@ -0,0 +1,29 @@
+import type { KnownFileTransactionPlanV1 } from "../../application/model/known-file-transaction.js";
+import type { KnownFileTransactionJournalV1 } from "../../application/model/known-file-transaction-journal.js";
+import type { KnownFileRecoveryFaultInjector } from "./node-known-file-recovery-state.js";
+export declare function cleanupRestoredCapturedPreimage(options: {
+    readonly destination: string;
+    readonly faultInjector?: KnownFileRecoveryFaultInjector;
+    readonly journalOperation: KnownFileTransactionJournalV1["operations"][number] & {
+        readonly captureDirectoryIdentity: NonNullable<Extract<KnownFileTransactionJournalV1["operations"][number], {
+            readonly temporaryIdentity: unknown;
+        }>["captureDirectoryIdentity"]>;
+        readonly capturedPreimageIdentity?: NonNullable<Extract<KnownFileTransactionJournalV1["operations"][number], {
+            readonly temporaryIdentity: unknown;
+        }>["capturedPreimageIdentity"]>;
+    };
+    readonly operation: KnownFileTransactionPlanV1["operations"][number] & {
+        readonly precondition: Extract<KnownFileTransactionPlanV1["operations"][number]["precondition"], {
+            readonly state: "known-file";
+        }>;
+    };
+    readonly operationIndex: number;
+    readonly parent: string;
+    readonly paths: {
+        readonly captured: string;
+        readonly directory: string;
+        readonly retired: string;
+    };
+    readonly recoveryMaximumBytes: number;
+}): Promise<void>;
+//# sourceMappingURL=node-known-file-recovery-preimage-captured-cleanup.d.ts.map

package/dist/repository-mutation/adapters/node/node-known-file-recovery-preimage-captured-cleanup.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"node-known-file-recovery-preimage-captured-cleanup.d.ts","sourceRoot":"","sources":["../../../../src/repository-mutation/adapters/node/node-known-file-recovery-preimage-captured-cleanup.ts"],"names":[],"mappings":"AAGA,OAAO,KAAK,EAAE,0BAA0B,EAAE,MAAM,mDAAmD,CAAC;AACpG,OAAO,KAAK,EAAE,6BAA6B,EAAE,MAAM,2DAA2D,CAAC;AAU/G,OAAO,KAAK,EAAE,8BAA8B,EAAE,MAAM,qCAAqC,CAAC;AAY1F,wBAAsB,+BAA+B,CAAC,OAAO,EAAE;IAC7D,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,aAAa,CAAC,EAAE,8BAA8B,CAAC;IACxD,QAAQ,CAAC,gBAAgB,EAAE,6BAA6B,CAAC,YAAY,CAAC,CAAC,MAAM,CAAC,GAAG;QAC/E,QAAQ,CAAC,wBAAwB,EAAE,WAAW,CAAC,OAAO,CACpD,6BAA6B,CAAC,YAAY,CAAC,CAAC,MAAM,CAAC,EACnD;YAAE,QAAQ,CAAC,iBAAiB,EAAE,OAAO,CAAA;SAAE,CACxC,CAAC,0BAA0B,CAAC,CAAC,CAAC;QAC/B,QAAQ,CAAC,wBAAwB,CAAC,EAAE,WAAW,CAAC,OAAO,CACrD,6BAA6B,CAAC,YAAY,CAAC,CAAC,MAAM,CAAC,EACnD;YAAE,QAAQ,CAAC,iBAAiB,EAAE,OAAO,CAAA;SAAE,CACxC,CAAC,0BAA0B,CAAC,CAAC,CAAC;KAChC,CAAC;IACF,QAAQ,CAAC,SAAS,EAAE,0BAA0B,CAAC,YAAY,CAAC,CAAC,MAAM,CAAC,GAAG;QACrE,QAAQ,CAAC,YAAY,EAAE,OAAO,CAC5B,0BAA0B,CAAC,YAAY,CAAC,CAAC,MAAM,CAAC,CAAC,cAAc,CAAC,EAChE;YAAE,QAAQ,CAAC,KAAK,EAAE,YAAY,CAAA;SAAE,CACjC,CAAC;KACH,CAAC;IACF,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAC;IAChC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,KAAK,EAAE;QAAE,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;QAAC,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;QAAC,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAA;KAAE,CAAC;IACpG,QAAQ,CAAC,oBAAoB,EAAE,MAAM,CAAC;CACvC,GAAG,OAAO,CAAC,IAAI,CAAC,CA2FhB"}

package/dist/repository-mutation/adapters/node/node-known-file-recovery-preimage-captured-cleanup.js

@@ -0,0 +1,72 @@
+import { lstat, rmdir, unlink } from "node:fs/promises";
+import { basename, join } from "node:path";
+import { deserializeKnownFileIdentity } from "../../application/model/known-file-transaction-journal.js";
+import { syncDirectoryStrictly } from "./node-directory-durability.js";
+import { knownFileErrorCode, KnownFileTransactionError, matchesKnownFileImage, sameKnownFileIdentity } from "./node-known-file-transaction-filesystem.js";
+import { observeRecoveryFile } from "./node-known-file-recovery-filesystem.js";
+function matchesRollbackCopy(observed, expected, preimage) {
+    return observed.state === "file" && observed.identity !== undefined &&
+        sameKnownFileIdentity(observed.identity, expected) &&
+        matchesKnownFileImage(observed, preimage);
+}
+export async function cleanupRestoredCapturedPreimage(options) {
+    const matched = options.journalOperation.matchedPreimage;
+    if (matched === undefined) {
+        throw new KnownFileTransactionError("KNOWN_FILE_JOURNAL_INVALID", `Restored replacement lacks exact preimage authority: ${options.operation.path}.`);
+    }
+    const preimage = options.operation.precondition.acceptedPreimages[matched];
+    const destinationObserved = await observeRecoveryFile(options.destination, options.recoveryMaximumBytes);
+    if (!matchesKnownFileImage(destinationObserved, preimage)) {
+        throw new KnownFileTransactionError("KNOWN_FILE_RECOVERY_CONFLICT", `Restored destination changed during cleanup: ${options.operation.path}.`);
+    }
+    const rollbackPath = join(options.parent, `.${basename(options.operation.path)}.agent-teams.rollback.${options.operationIndex}.tmp`);
+    if (options.journalOperation.rollbackTemporaryIdentity !== undefined) {
+        const rollbackObserved = await observeRecoveryFile(rollbackPath, preimage.size);
+        if (rollbackObserved.state === "file") {
+            const expectedRollback = deserializeKnownFileIdentity(options.journalOperation.rollbackTemporaryIdentity);
+            if (!matchesRollbackCopy(rollbackObserved, expectedRollback, preimage)) {
+                throw new KnownFileTransactionError("KNOWN_FILE_RECOVERY_CONFLICT", `Rollback copy changed during cleanup: ${options.operation.path}.`);
+            }
+            await unlink(rollbackPath);
+            await syncDirectoryStrictly(options.parent);
+        }
+    }
+    const directory = await lstat(options.paths.directory, { bigint: true }).catch((error) => {
+        if (knownFileErrorCode(error) === "ENOENT") {
+            return null;
+        }
+        throw error;
+    });
+    if (directory === null) {
+        return;
+    }
+    const expectedDirectory = deserializeKnownFileIdentity(options.journalOperation.captureDirectoryIdentity);
+    if (!directory.isDirectory() || directory.isSymbolicLink() ||
+        directory.birthtimeNs !== expectedDirectory.birthtimeNs ||
+        directory.dev !== expectedDirectory.dev || directory.ino !== expectedDirectory.ino) {
+        throw new KnownFileTransactionError("KNOWN_FILE_RECOVERY_CONFLICT", `Rollback capture directory changed during cleanup: ${options.operation.path}.`);
+    }
+    const capturedObserved = await observeRecoveryFile(options.paths.captured, options.recoveryMaximumBytes);
+    if (capturedObserved.state === "file") {
+        const expectedCaptured = options.journalOperation.capturedPreimageIdentity;
+        if (expectedCaptured === undefined || capturedObserved.identity === undefined ||
+            !sameKnownFileIdentity(capturedObserved.identity, deserializeKnownFileIdentity(expectedCaptured)) ||
+            !matchesKnownFileImage(capturedObserved, preimage)) {
+            throw new KnownFileTransactionError("KNOWN_FILE_RECOVERY_CONFLICT", `Rollback capture changed during cleanup: ${options.operation.path}.`);
+        }
+        await unlink(options.paths.captured);
+        await syncDirectoryStrictly(options.paths.directory);
+        await options.faultInjector?.({
+            phase: "after-rollback-capture-unlinked",
+            operationIndex: options.operationIndex,
+            path: options.operation.path
+        });
+    }
+    const retiredObserved = await observeRecoveryFile(options.paths.retired, options.recoveryMaximumBytes);
+    if (retiredObserved.state !== "absent") {
+        throw new KnownFileTransactionError("KNOWN_FILE_RECOVERY_CONFLICT", `Rollback capture retains foreign retired evidence: ${options.operation.path}.`);
+    }
+    await rmdir(options.paths.directory);
+    await syncDirectoryStrictly(options.parent);
+}
+//# sourceMappingURL=node-known-file-recovery-preimage-captured-cleanup.js.map

package/dist/repository-mutation/adapters/node/node-known-file-recovery-preimage-captured-cleanup.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"node-known-file-recovery-preimage-captured-cleanup.js","sourceRoot":"","sources":["../../../../src/repository-mutation/adapters/node/node-known-file-recovery-preimage-captured-cleanup.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,EAAE,MAAM,kBAAkB,CAAC;AACxD,OAAO,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AAI3C,OAAO,EAAE,4BAA4B,EAAE,MAAM,2DAA2D,CAAC;AACzG,OAAO,EAAE,qBAAqB,EAAE,MAAM,gCAAgC,CAAC;AACvE,OAAO,EACL,kBAAkB,EAClB,yBAAyB,EACzB,qBAAqB,EACrB,qBAAqB,EACtB,MAAM,6CAA6C,CAAC;AACrD,OAAO,EAAE,mBAAmB,EAAE,MAAM,0CAA0C,CAAC;AAG/E,SAAS,mBAAmB,CAC1B,QAAyD,EACzD,QAAyD,EACzD,QAAuE;IAEvE,OAAO,QAAQ,CAAC,KAAK,KAAK,MAAM,IAAI,QAAQ,CAAC,QAAQ,KAAK,SAAS;QACjE,qBAAqB,CAAC,QAAQ,CAAC,QAAQ,EAAE,QAAQ,CAAC;QAClD,qBAAqB,CAAC,QAAQ,EAAE,QAAQ,CAAC,CAAC;AAC9C,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,+BAA+B,CAAC,OAuBrD;IACC,MAAM,OAAO,GAAG,OAAO,CAAC,gBAAgB,CAAC,eAAe,CAAC;IACzD,IAAI,OAAO,KAAK,SAAS,EAAE,CAAC;QAC1B,MAAM,IAAI,yBAAyB,CACjC,4BAA4B,EAC5B,wDAAwD,OAAO,CAAC,SAAS,CAAC,IAAI,GAAG,CAClF,CAAC;IACJ,CAAC;IACD,MAAM,QAAQ,GAAG,OAAO,CAAC,SAAS,CAAC,YAAY,CAAC,iBAAiB,CAAC,OAAO,CAAE,CAAC;IAC5E,MAAM,mBAAmB,GAAG,MAAM,mBAAmB,CACnD,OAAO,CAAC,WAAW,EACnB,OAAO,CAAC,oBAAoB,CAC7B,CAAC;IACF,IAAI,CAAC,qBAAqB,CAAC,mBAAmB,EAAE,QAAQ,CAAC,EAAE,CAAC;QAC1D,MAAM,IAAI,yBAAyB,CACjC,8BAA8B,EAC9B,gDAAgD,OAAO,CAAC,SAAS,CAAC,IAAI,GAAG,CAC1E,CAAC;IACJ,CAAC;IACD,MAAM,YAAY,GAAG,IAAI,CACvB,OAAO,CAAC,MAAM,EACd,IAAI,QAAQ,CAAC,OAAO,CAAC,SAAS,CAAC,IAAI,CAAC,yBAAyB,OAAO,CAAC,cAAc,MAAM,CAC1F,CAAC;IACF,IAAI,OAAO,CAAC,gBAAgB,CAAC,yBAAyB,KAAK,SAAS,EAAE,CAAC;QACrE,MAAM,gBAAgB,GAAG,MAAM,mBAAmB,CAAC,YAAY,EAAE,QAAQ,CAAC,IAAI,CAAC,CAAC;QAChF,IAAI,gBAAgB,CAAC,KAAK,KAAK,MAAM,EAAE,CAAC;YACtC,MAAM,gBAAgB,GAAG,4BAA4B,CACnD,OAAO,CAAC,gBAAgB,CAAC,yBAAyB,CACnD,CAAC;YACF,IAAI,CAAC,mBAAmB,CAAC,gBAAgB,EAAE,gBAAgB,EAAE,QAAQ,CAAC,EAAE,CAAC;gBACvE,MAAM,IAAI,yBAAyB,CACjC,8BAA8B,EAC9B,yCAAyC,OAAO,CAAC,SAAS,CAAC,IAAI,GAAG,CACnE,CAAC;YACJ,CAAC;YACD,MAAM,MAAM,CAAC,YAAY,CAAC,CAAC;YAC3B,MAAM,qBAAqB,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;QAC9C,CAAC;IACH,CAAC;IACD,MAAM,SAAS,GAAG,MAAM,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,SAAS,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC,KAAK,CAC5E,CAAC,KAAc,EAAE,EAAE;QACjB,IAAI,kBAAkB,CAAC,KAAK,CAAC,KAAK,QAAQ,EAAE,CAAC;YAAA,OAAO,IAAI,CAAC;QAAA,CAAC;QAC1D,MAAM,KAAK,CAAC;IACd,CAAC,CACF,CAAC;IACF,IAAI,SAAS,KAAK,IAAI,EAAE,CAAC;QAAA,OAAO;IAAA,CAAC;IACjC,MAAM,iBAAiB,GAAG,4BAA4B,CACpD,OAAO,CAAC,gBAAgB,CAAC,wBAAwB,CAClD,CAAC;IACF,IAAI,CAAC,SAAS,CAAC,WAAW,EAAE,IAAI,SAAS,CAAC,cAAc,EAAE;QACxD,SAAS,CAAC,WAAW,KAAK,iBAAiB,CAAC,WAAW;QACvD,SAAS,CAAC,GAAG,KAAK,iBAAiB,CAAC,GAAG,IAAI,SAAS,CAAC,GAAG,KAAK,iBAAiB,CAAC,GAAG,EAAE,CAAC;QACrF,MAAM,IAAI,yBAAyB,CACjC,8BAA8B,EAC9B,sDAAsD,OAAO,CAAC,SAAS,CAAC,IAAI,GAAG,CAChF,CAAC;IACJ,CAAC;IACD,MAAM,gBAAgB,GAAG,MAAM,mBAAmB,CAChD,OAAO,CAAC,KAAK,CAAC,QAAQ,EACtB,OAAO,CAAC,oBAAoB,CAC7B,CAAC;IACF,IAAI,gBAAgB,CAAC,KAAK,KAAK,MAAM,EAAE,CAAC;QACtC,MAAM,gBAAgB,GAAG,OAAO,CAAC,gBAAgB,CAAC,wBAAwB,CAAC;QAC3E,IAAI,gBAAgB,KAAK,SAAS,IAAI,gBAAgB,CAAC,QAAQ,KAAK,SAAS;YAC3E,CAAC,qBAAqB,CAAC,gBAAgB,CAAC,QAAQ,EAAE,4BAA4B,CAAC,gBAAgB,CAAC,CAAC;YACjG,CAAC,qBAAqB,CAAC,gBAAgB,EAAE,QAAQ,CAAC,EAAE,CAAC;YACrD,MAAM,IAAI,yBAAyB,CACjC,8BAA8B,EAC9B,4CAA4C,OAAO,CAAC,SAAS,CAAC,IAAI,GAAG,CACtE,CAAC;QACJ,CAAC;QACD,MAAM,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;QACrC,MAAM,qBAAqB,CAAC,OAAO,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;QACrD,MAAM,OAAO,CAAC,aAAa,EAAE,CAAC;YAC5B,KAAK,EAAE,iCAAiC;YACxC,cAAc,EAAE,OAAO,CAAC,cAAc;YACtC,IAAI,EAAE,OAAO,CAAC,SAAS,CAAC,IAAI;SAC7B,CAAC,CAAC;IACL,CAAC;IACD,MAAM,eAAe,GAAG,MAAM,mBAAmB,CAC/C,OAAO,CAAC,KAAK,CAAC,OAAO,EACrB,OAAO,CAAC,oBAAoB,CAC7B,CAAC;IACF,IAAI,eAAe,CAAC,KAAK,KAAK,QAAQ,EAAE,CAAC;QACvC,MAAM,IAAI,yBAAyB,CACjC,8BAA8B,EAC9B,sDAAsD,OAAO,CAAC,SAAS,CAAC,IAAI,GAAG,CAChF,CAAC;IACJ,CAAC;IACD,MAAM,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;IACrC,MAAM,qBAAqB,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;AAC9C,CAAC"}

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

@@ -0,0 +1,31 @@
+import type { KnownFileTransactionPlanV1 } from "../../application/model/known-file-transaction.js";
+import type { KnownFileTransactionJournalV1 } from "../../application/model/known-file-transaction-journal.js";
+import { type KnownFileRecoveryFaultInjector, type StoredRecoveryJournal } from "./node-known-file-recovery-state.js";
+import type { NodeKnownFileTransactionJournalStore } from "./node-known-file-transaction-journal-store.js";
+interface CapturedPreimageOptions {
+    readonly faultInjector?: KnownFileRecoveryFaultInjector;
+    readonly journalOperation: KnownFileTransactionJournalV1["operations"][number] & {
+        readonly captureDirectoryIdentity: NonNullable<Extract<KnownFileTransactionJournalV1["operations"][number], {
+            readonly temporaryIdentity: unknown;
+        }>["captureDirectoryIdentity"]>;
+        readonly temporaryIdentity: NonNullable<Extract<KnownFileTransactionJournalV1["operations"][number], {
+            readonly temporaryIdentity: unknown;
+        }>["temporaryIdentity"]>;
+        readonly capturedPreimageIdentity?: NonNullable<Extract<KnownFileTransactionJournalV1["operations"][number], {
+            readonly temporaryIdentity: unknown;
+        }>["capturedPreimageIdentity"]>;
+    };
+    readonly operation: KnownFileTransactionPlanV1["operations"][number] & {
+        readonly precondition: Extract<KnownFileTransactionPlanV1["operations"][number]["precondition"], {
+            readonly state: "known-file";
+        }>;
+    };
+    readonly operationIndex: number;
+    readonly planDigest: string;
+    readonly root: string;
+    readonly store: NodeKnownFileTransactionJournalStore;
+    readonly stored: StoredRecoveryJournal;
+}
+export declare function restoreCapturedPreimage(options: CapturedPreimageOptions): Promise<void>;
+export {};
+//# sourceMappingURL=node-known-file-recovery-preimage-captured.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"node-known-file-recovery-preimage-captured.d.ts","sourceRoot":"","sources":["../../../../src/repository-mutation/adapters/node/node-known-file-recovery-preimage-captured.ts"],"names":[],"mappings":"AAGA,OAAO,KAAK,EAAoB,0BAA0B,EAAE,MAAM,mDAAmD,CAAC;AACtH,OAAO,KAAK,EAAE,6BAA6B,EAAE,MAAM,2DAA2D,CAAC;AAc/G,OAAO,EACL,KAAK,8BAA8B,EAGnC,KAAK,qBAAqB,EAC3B,MAAM,qCAAqC,CAAC;AAC7C,OAAO,KAAK,EAAE,oCAAoC,EAAE,MAAM,gDAAgD,CAAC;AAM3G,UAAU,uBAAuB;IAC/B,QAAQ,CAAC,aAAa,CAAC,EAAE,8BAA8B,CAAC;IACxD,QAAQ,CAAC,gBAAgB,EAAE,6BAA6B,CAAC,YAAY,CAAC,CAAC,MAAM,CAAC,GAAG;QAC/E,QAAQ,CAAC,wBAAwB,EAAE,WAAW,CAAC,OAAO,CACpD,6BAA6B,CAAC,YAAY,CAAC,CAAC,MAAM,CAAC,EACnD;YAAE,QAAQ,CAAC,iBAAiB,EAAE,OAAO,CAAA;SAAE,CACxC,CAAC,0BAA0B,CAAC,CAAC,CAAC;QAC/B,QAAQ,CAAC,iBAAiB,EAAE,WAAW,CAAC,OAAO,CAC7C,6BAA6B,CAAC,YAAY,CAAC,CAAC,MAAM,CAAC,EACnD;YAAE,QAAQ,CAAC,iBAAiB,EAAE,OAAO,CAAA;SAAE,CACxC,CAAC,mBAAmB,CAAC,CAAC,CAAC;QACxB,QAAQ,CAAC,wBAAwB,CAAC,EAAE,WAAW,CAAC,OAAO,CACrD,6BAA6B,CAAC,YAAY,CAAC,CAAC,MAAM,CAAC,EACnD;YAAE,QAAQ,CAAC,iBAAiB,EAAE,OAAO,CAAA;SAAE,CACxC,CAAC,0BAA0B,CAAC,CAAC,CAAC;KAChC,CAAC;IACF,QAAQ,CAAC,SAAS,EAAE,0BAA0B,CAAC,YAAY,CAAC,CAAC,MAAM,CAAC,GAAG;QACrE,QAAQ,CAAC,YAAY,EAAE,OAAO,CAC5B,0BAA0B,CAAC,YAAY,CAAC,CAAC,MAAM,CAAC,CAAC,cAAc,CAAC,EAChE;YAAE,QAAQ,CAAC,KAAK,EAAE,YAAY,CAAA;SAAE,CACjC,CAAC;KACH,CAAC;IACF,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAC;IAChC,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,KAAK,EAAE,oCAAoC,CAAC;IACrD,QAAQ,CAAC,MAAM,EAAE,qBAAqB,CAAC;CACxC;AAsSD,wBAAsB,uBAAuB,CAAC,OAAO,EAAE,uBAAuB,GAAG,OAAO,CAAC,IAAI,CAAC,CAgF7F"}