@agent-teams/repository-mutation 0.0.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.payload.plan.operations[options.operationIndex];
+    const journalOperation = options.stored.envelope.payload.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.payload.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.payload.operations.length - 1; index >= 0; index -= 1) {
+        let journalOperation = options.stored.envelope.payload.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.payload.operations[index];
+        }
+        if (journalOperation.state === "capture-authorized") {
+            await cleanupAuthorizedCapture({
+                journal: options.stored.envelope.payload,
+                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.payload.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.payload.operations.length - 1; index >= 0; index -= 1) {
+        const journal = options.stored.envelope.payload;
+        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.payload;
+    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.payload);
+    await cleanupCommittedKnownFileCaptures(options.root, options.stored.envelope.payload, options.faultInjector);
+    await verifyCommittedKnownFilePostimages(options.root, options.stored.envelope.payload);
+    const result = compileKnownFileTransactionReceipt(options.stored.envelope.payload, "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.payload);
+    const result = compileRolledBackReceipt(options.stored.envelope.payload);
+    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-filesystem.d.ts

@@ -0,0 +1,28 @@
+import type { KnownFileImageV1 } from "../../application/model/known-file-transaction.js";
+import type { KnownFileTransactionJournalV1 } from "../../application/model/known-file-transaction-journal.js";
+import { deserializeKnownFileIdentity } from "../../application/model/known-file-transaction-journal.js";
+import { captureFileHandleIdentity } from "./node-bounded-regular-file.js";
+import { type ObservedKnownFile } from "./node-known-file-transaction-filesystem.js";
+export declare function knownFileCapturePaths(options: {
+    readonly operationPath: string;
+    readonly operationIndex: number;
+    readonly parent: string;
+    readonly planDigest: string;
+}): {
+    readonly captured: string;
+    readonly directory: string;
+    readonly retired: string;
+};
+export declare function cleanupCommittedKnownFileCaptures(root: string, journal: KnownFileTransactionJournalV1, faultInjector?: (point: {
+    readonly operationIndex: number;
+    readonly path: string;
+    readonly phase: "after-committed-capture-unlinked";
+}) => Promise<void> | void): Promise<void>;
+export declare function observeRecoveryFile(path: string, maximumBytes: number): Promise<ObservedKnownFile>;
+export declare function prepareRollbackTemporary(options: {
+    readonly expectedIdentity?: ReturnType<typeof deserializeKnownFileIdentity>;
+    readonly operationPath: string;
+    readonly path: string;
+    readonly preimage: KnownFileImageV1;
+}): Promise<Awaited<ReturnType<typeof captureFileHandleIdentity>>>;
+//# sourceMappingURL=node-known-file-recovery-filesystem.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"node-known-file-recovery-filesystem.d.ts","sourceRoot":"","sources":["../../../../src/repository-mutation/adapters/node/node-known-file-recovery-filesystem.ts"],"names":[],"mappings":"AAWA,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,mDAAmD,CAAC;AAC1F,OAAO,KAAK,EAAE,6BAA6B,EAAE,MAAM,2DAA2D,CAAC;AAC/G,OAAO,EAAE,4BAA4B,EAAE,MAAM,2DAA2D,CAAC;AACzG,OAAO,EACL,yBAAyB,EAG1B,MAAM,gCAAgC,CAAC;AAExC,OAAO,EAOL,KAAK,iBAAiB,EACvB,MAAM,6CAA6C,CAAC;AAErD,wBAAgB,qBAAqB,CAAC,OAAO,EAAE;IAC7C,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;IAC/B,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAC;IAChC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;CAC7B,GAAG;IAAE,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAA;CAAE,CAWtF;AA2CD,wBAAsB,iCAAiC,CACrD,IAAI,EAAE,MAAM,EACZ,OAAO,EAAE,6BAA6B,EACtC,aAAa,CAAC,EAAE,CAAC,KAAK,EAAE;IACtB,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAC;IAChC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,KAAK,EAAE,kCAAkC,CAAC;CACpD,KAAK,OAAO,CAAC,IAAI,CAAC,GAAG,IAAI,GACzB,OAAO,CAAC,IAAI,CAAC,CA6Ff;AAED,wBAAsB,mBAAmB,CACvC,IAAI,EAAE,MAAM,EACZ,YAAY,EAAE,MAAM,GACnB,OAAO,CAAC,iBAAiB,CAAC,CAoB5B;AAED,wBAAsB,wBAAwB,CAAC,OAAO,EAAE;IACtD,QAAQ,CAAC,gBAAgB,CAAC,EAAE,UAAU,CAAC,OAAO,4BAA4B,CAAC,CAAC;IAC5E,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;IAC/B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,QAAQ,EAAE,gBAAgB,CAAC;CACrC,GAAG,OAAO,CAAC,OAAO,CAAC,UAAU,CAAC,OAAO,yBAAyB,CAAC,CAAC,CAAC,CAuFjE"}

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

@@ -0,0 +1,213 @@
+import { constants, lstat, open, opendir, rmdir, unlink } from "node:fs/promises";
+import { basename, dirname, join } from "node:path";
+import { deserializeKnownFileIdentity } from "../../application/model/known-file-transaction-journal.js";
+import { captureFileHandleIdentity, readBoundedRegularFile, readBoundedRegularFileHandle } from "./node-bounded-regular-file.js";
+import { syncDirectoryStrictly } from "./node-directory-durability.js";
+import { knownFileErrorCode, knownFileCaptureDirectoryName, knownFileImageBytes, KnownFileTransactionError, matchesKnownFileImage, sameKnownFileIdentity } from "./node-known-file-transaction-filesystem.js";
+export function knownFileCapturePaths(options) {
+    const directory = join(options.parent, knownFileCaptureDirectoryName(options.operationPath, options.planDigest, options.operationIndex));
+    return {
+        captured: join(directory, "preimage"),
+        directory,
+        retired: join(directory, "retired")
+    };
+}
+async function boundedCaptureEntries(path) {
+    const directory = await opendir(path);
+    const entries = [];
+    try {
+        for (;;) {
+            const entry = await directory.read();
+            if (entry === null) {
+                return entries.toSorted();
+            }
+            entries.push(entry.name);
+            if (entries.length > 2) {
+                throw new KnownFileTransactionError("KNOWN_FILE_RECOVERY_CONFLICT", "Transaction capture directory contains excess foreign evidence.");
+            }
+        }
+    }
+    finally {
+        await directory.close();
+    }
+}
+async function assertCaptureDirectoryIdentity(path, expected, displayPath) {
+    const metadata = await lstat(path, { bigint: true }).catch((error) => {
+        if (knownFileErrorCode(error) === "ENOENT") {
+            return null;
+        }
+        throw error;
+    });
+    if (metadata === null) {
+        return false;
+    }
+    if (!metadata.isDirectory() || metadata.isSymbolicLink() ||
+        metadata.birthtimeNs !== expected.birthtimeNs || metadata.dev !== expected.dev ||
+        metadata.ino !== expected.ino) {
+        throw new KnownFileTransactionError("KNOWN_FILE_RECOVERY_CONFLICT", `Transaction capture directory changed: ${displayPath}.`);
+    }
+    return true;
+}
+export async function cleanupCommittedKnownFileCaptures(root, journal, faultInjector) {
+    for (const [index, journalOperation] of journal.operations.entries()) {
+        if (!("temporaryIdentity" in journalOperation) ||
+            journalOperation.captureDirectoryIdentity === undefined) {
+            continue;
+        }
+        const operation = journal.plan.operations[index];
+        const parent = dirname(join(root, ...operation.path.split("/")));
+        const paths = knownFileCapturePaths({
+            operationIndex: index,
+            operationPath: operation.path,
+            parent,
+            planDigest: journal.plan.planDigest
+        });
+        if (operation.precondition.state !== "known-file" ||
+            journalOperation.matchedPreimage === undefined) {
+            throw new KnownFileTransactionError("KNOWN_FILE_RECOVERY_CONFLICT", `Committed replacement lacks exact preimage authority: ${operation.path}.`);
+        }
+        const preimage = operation.precondition.acceptedPreimages[journalOperation.matchedPreimage];
+        if (journalOperation.rollbackTemporaryIdentity !== undefined) {
+            const rollbackPath = join(parent, `.${basename(operation.path)}.agent-teams.rollback.${index}.tmp`);
+            const rollback = await observeRecoveryFile(rollbackPath, preimage.size);
+            if (rollback.state === "file") {
+                const expectedRollback = deserializeKnownFileIdentity(journalOperation.rollbackTemporaryIdentity);
+                if (rollback.identity === undefined ||
+                    !sameKnownFileIdentity(rollback.identity, expectedRollback) ||
+                    !matchesKnownFileImage(rollback, preimage)) {
+                    throw new KnownFileTransactionError("KNOWN_FILE_RECOVERY_CONFLICT", `Committed rollback copy changed: ${operation.path}.`);
+                }
+                await unlink(rollbackPath);
+                await syncDirectoryStrictly(parent);
+            }
+        }
+        const expectedDirectory = deserializeKnownFileIdentity(journalOperation.captureDirectoryIdentity);
+        const directoryExists = await assertCaptureDirectoryIdentity(paths.directory, expectedDirectory, operation.path);
+        if (!directoryExists) {
+            continue;
+        }
+        const entries = await boundedCaptureEntries(paths.directory);
+        if (entries.length === 0) {
+            await rmdir(paths.directory);
+            await syncDirectoryStrictly(parent);
+            continue;
+        }
+        if (journalOperation.capturedPreimageIdentity === undefined) {
+            throw new KnownFileTransactionError("KNOWN_FILE_RECOVERY_CONFLICT", `Committed replacement lacks captured preimage authority: ${operation.path}.`);
+        }
+        const captured = await readBoundedRegularFile(paths.captured, operation.precondition.acceptedPreimages[journalOperation.matchedPreimage].size);
+        const expectedCaptured = deserializeKnownFileIdentity(journalOperation.capturedPreimageIdentity);
+        if (captured.outcome !== "read" ||
+            !sameKnownFileIdentity(captured.identity, expectedCaptured) ||
+            !matchesKnownFileImage({
+                state: "file", bytes: captured.bytes, identity: captured.identity,
+                mode: captured.mode & 0o777
+            }, preimage)) {
+            throw new KnownFileTransactionError("KNOWN_FILE_RECOVERY_CONFLICT", `Committed captured preimage changed: ${operation.path}.`);
+        }
+        if (entries.join(",") !== "preimage") {
+            throw new KnownFileTransactionError("KNOWN_FILE_RECOVERY_CONFLICT", `Committed capture directory contains foreign evidence: ${operation.path}.`);
+        }
+        await unlink(paths.captured);
+        await syncDirectoryStrictly(paths.directory);
+        await faultInjector?.({
+            operationIndex: index,
+            path: operation.path,
+            phase: "after-committed-capture-unlinked"
+        });
+        await rmdir(paths.directory);
+        await syncDirectoryStrictly(parent);
+    }
+}
+export async function observeRecoveryFile(path, maximumBytes) {
+    let observed;
+    try {
+        observed = await readBoundedRegularFile(path, maximumBytes);
+    }
+    catch (error) {
+        if (knownFileErrorCode(error) === "ENOENT") {
+            return { state: "absent" };
+        }
+        throw error;
+    }
+    if (observed.outcome !== "read") {
+        throw new KnownFileTransactionError("KNOWN_FILE_RECOVERY_CONFLICT", "Recovery path is not one stable bounded regular file.");
+    }
+    return {
+        state: "file",
+        bytes: observed.bytes,
+        identity: observed.identity,
+        mode: observed.mode & 0o777
+    };
+}
+export async function prepareRollbackTemporary(options) {
+    let handle;
+    let rollbackIdentity;
+    let created = false;
+    try {
+        handle = await open(options.path, "wx", 0o600);
+        created = true;
+        rollbackIdentity = await captureFileHandleIdentity(handle);
+    }
+    catch (error) {
+        if (knownFileErrorCode(error) !== "EEXIST") {
+            throw error;
+        }
+        if (options.expectedIdentity === undefined) {
+            throw new KnownFileTransactionError("KNOWN_FILE_RECOVERY_CONFLICT", `Rollback temporary exists without durable identity authority: ${options.operationPath}.`);
+        }
+        const noFollow = process.platform === "win32" ? 0 : constants.O_NOFOLLOW;
+        handle = await open(options.path, constants.O_RDWR | noFollow);
+        try {
+            const stale = await readBoundedRegularFileHandle(handle, options.path, options.preimage.size);
+            if (stale.outcome !== "read" || !matchesKnownFileImage({
+                state: "file", bytes: stale.bytes, identity: stale.identity,
+                mode: stale.mode & 0o777
+            }, options.preimage)) {
+                throw new KnownFileTransactionError("KNOWN_FILE_RECOVERY_CONFLICT", `Rollback temporary is foreign or modified: ${options.operationPath}.`);
+            }
+            rollbackIdentity = await captureFileHandleIdentity(handle);
+            if (!sameKnownFileIdentity(rollbackIdentity, stale.identity) ||
+                !sameKnownFileIdentity(rollbackIdentity, options.expectedIdentity)) {
+                throw new KnownFileTransactionError("KNOWN_FILE_RECOVERY_CONFLICT", `Rollback temporary changed while it was opened: ${options.operationPath}.`);
+            }
+        }
+        catch (inspectionError) {
+            await handle.close();
+            throw inspectionError;
+        }
+    }
+    if (created) {
+        try {
+            const bytes = knownFileImageBytes(options.preimage);
+            await handle.truncate(0);
+            let offset = 0;
+            while (offset < bytes.byteLength) {
+                const { bytesWritten } = await handle.write(bytes, offset, bytes.byteLength - offset, offset);
+                if (bytesWritten === 0) {
+                    throw new KnownFileTransactionError("KNOWN_FILE_RECOVERY_FAILED", `Rollback temporary write made no progress: ${options.operationPath}.`);
+                }
+                offset += bytesWritten;
+            }
+            await handle.chmod(options.preimage.mode);
+            await handle.sync();
+        }
+        finally {
+            await handle.close();
+        }
+    }
+    else {
+        await handle.close();
+    }
+    const prepared = await readBoundedRegularFile(options.path, options.preimage.size);
+    if (prepared.outcome !== "read" ||
+        !sameKnownFileIdentity(prepared.identity, rollbackIdentity) ||
+        !matchesKnownFileImage({
+            state: "file", bytes: prepared.bytes, identity: prepared.identity,
+            mode: prepared.mode & 0o777
+        }, options.preimage)) {
+        throw new KnownFileTransactionError("KNOWN_FILE_RECOVERY_CONFLICT", `Rollback temporary changed before publication: ${options.operationPath}.`);
+    }
+    return rollbackIdentity;
+}
+//# sourceMappingURL=node-known-file-recovery-filesystem.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"node-known-file-recovery-filesystem.js","sourceRoot":"","sources":["../../../../src/repository-mutation/adapters/node/node-known-file-recovery-filesystem.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,SAAS,EACT,KAAK,EACL,IAAI,EACJ,OAAO,EACP,KAAK,EACL,MAAM,EAEP,MAAM,kBAAkB,CAAC;AAC1B,OAAO,EAAE,QAAQ,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AAIpD,OAAO,EAAE,4BAA4B,EAAE,MAAM,2DAA2D,CAAC;AACzG,OAAO,EACL,yBAAyB,EACzB,sBAAsB,EACtB,4BAA4B,EAC7B,MAAM,gCAAgC,CAAC;AACxC,OAAO,EAAE,qBAAqB,EAAE,MAAM,gCAAgC,CAAC;AACvE,OAAO,EACL,kBAAkB,EAClB,6BAA6B,EAC7B,mBAAmB,EACnB,yBAAyB,EACzB,qBAAqB,EACrB,qBAAqB,EAEtB,MAAM,6CAA6C,CAAC;AAErD,MAAM,UAAU,qBAAqB,CAAC,OAKrC;IACC,MAAM,SAAS,GAAG,IAAI,CAAC,OAAO,CAAC,MAAM,EAAE,6BAA6B,CAClE,OAAO,CAAC,aAAa,EACrB,OAAO,CAAC,UAAU,EAClB,OAAO,CAAC,cAAc,CACvB,CAAC,CAAC;IACH,OAAO;QACL,QAAQ,EAAE,IAAI,CAAC,SAAS,EAAE,UAAU,CAAC;QACrC,SAAS;QACT,OAAO,EAAE,IAAI,CAAC,SAAS,EAAE,SAAS,CAAC;KACpC,CAAC;AACJ,CAAC;AAED,KAAK,UAAU,qBAAqB,CAAC,IAAY;IAC/C,MAAM,SAAS,GAAG,MAAM,OAAO,CAAC,IAAI,CAAC,CAAC;IACtC,MAAM,OAAO,GAAa,EAAE,CAAC;IAC7B,IAAI,CAAC;QACH,SAAS,CAAC;YACR,MAAM,KAAK,GAAG,MAAM,SAAS,CAAC,IAAI,EAAE,CAAC;YACrC,IAAI,KAAK,KAAK,IAAI,EAAE,CAAC;gBAAA,OAAO,OAAO,CAAC,QAAQ,EAAE,CAAC;YAAA,CAAC;YAChD,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;YACzB,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBACvB,MAAM,IAAI,yBAAyB,CACjC,8BAA8B,EAC9B,iEAAiE,CAClE,CAAC;YACJ,CAAC;QACH,CAAC;IACH,CAAC;YAAS,CAAC;QACT,MAAM,SAAS,CAAC,KAAK,EAAE,CAAC;IAC1B,CAAC;AACH,CAAC;AAED,KAAK,UAAU,8BAA8B,CAC3C,IAAY,EACZ,QAAyD,EACzD,WAAmB;IAEnB,MAAM,QAAQ,GAAG,MAAM,KAAK,CAAC,IAAI,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,KAAc,EAAE,EAAE;QAC5E,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,KAAK,CAAC;IAAA,CAAC;IACtC,IAAI,CAAC,QAAQ,CAAC,WAAW,EAAE,IAAI,QAAQ,CAAC,cAAc,EAAE;QACtD,QAAQ,CAAC,WAAW,KAAK,QAAQ,CAAC,WAAW,IAAI,QAAQ,CAAC,GAAG,KAAK,QAAQ,CAAC,GAAG;QAC9E,QAAQ,CAAC,GAAG,KAAK,QAAQ,CAAC,GAAG,EAAE,CAAC;QAChC,MAAM,IAAI,yBAAyB,CACjC,8BAA8B,EAC9B,0CAA0C,WAAW,GAAG,CACzD,CAAC;IACJ,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,iCAAiC,CACrD,IAAY,EACZ,OAAsC,EACtC,aAI0B;IAE1B,KAAK,MAAM,CAAC,KAAK,EAAE,gBAAgB,CAAC,IAAI,OAAO,CAAC,UAAU,CAAC,OAAO,EAAE,EAAE,CAAC;QACrE,IAAI,CAAC,CAAC,mBAAmB,IAAI,gBAAgB,CAAC;YAC5C,gBAAgB,CAAC,wBAAwB,KAAK,SAAS,EAAE,CAAC;YAAA,SAAS;QAAA,CAAC;QACtE,MAAM,SAAS,GAAG,OAAO,CAAC,IAAI,CAAC,UAAU,CAAC,KAAK,CAAE,CAAC;QAClD,MAAM,MAAM,GAAG,OAAO,CAAC,IAAI,CAAC,IAAI,EAAE,GAAG,SAAS,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QACjE,MAAM,KAAK,GAAG,qBAAqB,CAAC;YAClC,cAAc,EAAE,KAAK;YACrB,aAAa,EAAE,SAAS,CAAC,IAAI;YAC7B,MAAM;YACN,UAAU,EAAE,OAAO,CAAC,IAAI,CAAC,UAAU;SACpC,CAAC,CAAC;QACH,IAAI,SAAS,CAAC,YAAY,CAAC,KAAK,KAAK,YAAY;YAC/C,gBAAgB,CAAC,eAAe,KAAK,SAAS,EAAE,CAAC;YACjD,MAAM,IAAI,yBAAyB,CACjC,8BAA8B,EAC9B,yDAAyD,SAAS,CAAC,IAAI,GAAG,CAC3E,CAAC;QACJ,CAAC;QACD,MAAM,QAAQ,GAAG,SAAS,CAAC,YAAY,CAAC,iBAAiB,CAAC,gBAAgB,CAAC,eAAe,CAAE,CAAC;QAC7F,IAAI,gBAAgB,CAAC,yBAAyB,KAAK,SAAS,EAAE,CAAC;YAC7D,MAAM,YAAY,GAAG,IAAI,CACvB,MAAM,EACN,IAAI,QAAQ,CAAC,SAAS,CAAC,IAAI,CAAC,yBAAyB,KAAK,MAAM,CACjE,CAAC;YACF,MAAM,QAAQ,GAAG,MAAM,mBAAmB,CAAC,YAAY,EAAE,QAAQ,CAAC,IAAI,CAAC,CAAC;YACxE,IAAI,QAAQ,CAAC,KAAK,KAAK,MAAM,EAAE,CAAC;gBAC9B,MAAM,gBAAgB,GAAG,4BAA4B,CACnD,gBAAgB,CAAC,yBAAyB,CAC3C,CAAC;gBACF,IAAI,QAAQ,CAAC,QAAQ,KAAK,SAAS;oBACjC,CAAC,qBAAqB,CAAC,QAAQ,CAAC,QAAQ,EAAE,gBAAgB,CAAC;oBAC3D,CAAC,qBAAqB,CAAC,QAAQ,EAAE,QAAQ,CAAC,EAAE,CAAC;oBAC7C,MAAM,IAAI,yBAAyB,CACjC,8BAA8B,EAC9B,oCAAoC,SAAS,CAAC,IAAI,GAAG,CACtD,CAAC;gBACJ,CAAC;gBACD,MAAM,MAAM,CAAC,YAAY,CAAC,CAAC;gBAC3B,MAAM,qBAAqB,CAAC,MAAM,CAAC,CAAC;YACtC,CAAC;QACH,CAAC;QACD,MAAM,iBAAiB,GAAG,4BAA4B,CAAC,gBAAgB,CAAC,wBAAwB,CAAC,CAAC;QAClG,MAAM,eAAe,GAAG,MAAM,8BAA8B,CAC1D,KAAK,CAAC,SAAS,EACf,iBAAiB,EACjB,SAAS,CAAC,IAAI,CACf,CAAC;QACF,IAAI,CAAC,eAAe,EAAE,CAAC;YAAA,SAAS;QAAA,CAAC;QACjC,MAAM,OAAO,GAAG,MAAM,qBAAqB,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;QAC7D,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACzB,MAAM,KAAK,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;YAC7B,MAAM,qBAAqB,CAAC,MAAM,CAAC,CAAC;YACpC,SAAS;QACX,CAAC;QACD,IAAI,gBAAgB,CAAC,wBAAwB,KAAK,SAAS,EAAE,CAAC;YAC5D,MAAM,IAAI,yBAAyB,CACjC,8BAA8B,EAC9B,4DAA4D,SAAS,CAAC,IAAI,GAAG,CAC9E,CAAC;QACJ,CAAC;QACD,MAAM,QAAQ,GAAG,MAAM,sBAAsB,CAC3C,KAAK,CAAC,QAAQ,EACd,SAAS,CAAC,YAAY,CAAC,iBAAiB,CAAC,gBAAgB,CAAC,eAAe,CAAE,CAAC,IAAI,CACjF,CAAC;QACF,MAAM,gBAAgB,GAAG,4BAA4B,CAAC,gBAAgB,CAAC,wBAAwB,CAAC,CAAC;QACjG,IAAI,QAAQ,CAAC,OAAO,KAAK,MAAM;YAC7B,CAAC,qBAAqB,CAAC,QAAQ,CAAC,QAAQ,EAAE,gBAAgB,CAAC;YAC3D,CAAC,qBAAqB,CAAC;gBACrB,KAAK,EAAE,MAAM,EAAE,KAAK,EAAE,QAAQ,CAAC,KAAK,EAAE,QAAQ,EAAE,QAAQ,CAAC,QAAQ;gBACjE,IAAI,EAAE,QAAQ,CAAC,IAAI,GAAG,KAAK;aAC5B,EAAE,QAAQ,CAAC,EAAE,CAAC;YACf,MAAM,IAAI,yBAAyB,CACjC,8BAA8B,EAC9B,wCAAwC,SAAS,CAAC,IAAI,GAAG,CAC1D,CAAC;QACJ,CAAC;QACD,IAAI,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,KAAK,UAAU,EAAE,CAAC;YACrC,MAAM,IAAI,yBAAyB,CACjC,8BAA8B,EAC9B,0DAA0D,SAAS,CAAC,IAAI,GAAG,CAC5E,CAAC;QACJ,CAAC;QACD,MAAM,MAAM,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;QAC7B,MAAM,qBAAqB,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;QAC7C,MAAM,aAAa,EAAE,CAAC;YACpB,cAAc,EAAE,KAAK;YACrB,IAAI,EAAE,SAAS,CAAC,IAAI;YACpB,KAAK,EAAE,kCAAkC;SAC1C,CAAC,CAAC;QACH,MAAM,KAAK,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;QAC7B,MAAM,qBAAqB,CAAC,MAAM,CAAC,CAAC;IACtC,CAAC;AACH,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,mBAAmB,CACvC,IAAY,EACZ,YAAoB;IAEpB,IAAI,QAAQ,CAAC;IACb,IAAI,CAAC;QACH,QAAQ,GAAG,MAAM,sBAAsB,CAAC,IAAI,EAAE,YAAY,CAAC,CAAC;IAC9D,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,IAAI,kBAAkB,CAAC,KAAK,CAAC,KAAK,QAAQ,EAAE,CAAC;YAAA,OAAO,EAAE,KAAK,EAAE,QAAQ,EAAE,CAAC;QAAA,CAAC;QACzE,MAAM,KAAK,CAAC;IACd,CAAC;IACD,IAAI,QAAQ,CAAC,OAAO,KAAK,MAAM,EAAE,CAAC;QAChC,MAAM,IAAI,yBAAyB,CACjC,8BAA8B,EAC9B,uDAAuD,CACxD,CAAC;IACJ,CAAC;IACD,OAAO;QACL,KAAK,EAAE,MAAM;QACb,KAAK,EAAE,QAAQ,CAAC,KAAK;QACrB,QAAQ,EAAE,QAAQ,CAAC,QAAQ;QAC3B,IAAI,EAAE,QAAQ,CAAC,IAAI,GAAG,KAAK;KAC5B,CAAC;AACJ,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,wBAAwB,CAAC,OAK9C;IACC,IAAI,MAAkB,CAAC;IACvB,IAAI,gBAAgB,CAAC;IACrB,IAAI,OAAO,GAAG,KAAK,CAAC;IACpB,IAAI,CAAC;QACH,MAAM,GAAG,MAAM,IAAI,CAAC,OAAO,CAAC,IAAI,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC;QAC/C,OAAO,GAAG,IAAI,CAAC;QACf,gBAAgB,GAAG,MAAM,yBAAyB,CAAC,MAAM,CAAC,CAAC;IAC7D,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,IAAI,kBAAkB,CAAC,KAAK,CAAC,KAAK,QAAQ,EAAE,CAAC;YAAA,MAAM,KAAK,CAAC;QAAA,CAAC;QAC1D,IAAI,OAAO,CAAC,gBAAgB,KAAK,SAAS,EAAE,CAAC;YAC3C,MAAM,IAAI,yBAAyB,CACjC,8BAA8B,EAC9B,iEAAiE,OAAO,CAAC,aAAa,GAAG,CAC1F,CAAC;QACJ,CAAC;QACD,MAAM,QAAQ,GAAG,OAAO,CAAC,QAAQ,KAAK,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,UAAU,CAAC;QACzE,MAAM,GAAG,MAAM,IAAI,CAAC,OAAO,CAAC,IAAI,EAAE,SAAS,CAAC,MAAM,GAAG,QAAQ,CAAC,CAAC;QAC/D,IAAI,CAAC;YACH,MAAM,KAAK,GAAG,MAAM,4BAA4B,CAC9C,MAAM,EACN,OAAO,CAAC,IAAI,EACZ,OAAO,CAAC,QAAQ,CAAC,IAAI,CACtB,CAAC;YACF,IAAI,KAAK,CAAC,OAAO,KAAK,MAAM,IAAI,CAAC,qBAAqB,CAAC;gBACrD,KAAK,EAAE,MAAM,EAAE,KAAK,EAAE,KAAK,CAAC,KAAK,EAAE,QAAQ,EAAE,KAAK,CAAC,QAAQ;gBAC3D,IAAI,EAAE,KAAK,CAAC,IAAI,GAAG,KAAK;aACzB,EAAE,OAAO,CAAC,QAAQ,CAAC,EAAE,CAAC;gBACrB,MAAM,IAAI,yBAAyB,CACjC,8BAA8B,EAC9B,8CAA8C,OAAO,CAAC,aAAa,GAAG,CACvE,CAAC;YACJ,CAAC;YACD,gBAAgB,GAAG,MAAM,yBAAyB,CAAC,MAAM,CAAC,CAAC;YAC3D,IAAI,CAAC,qBAAqB,CAAC,gBAAgB,EAAE,KAAK,CAAC,QAAQ,CAAC;gBAC1D,CAAC,qBAAqB,CAAC,gBAAgB,EAAE,OAAO,CAAC,gBAAgB,CAAC,EAAE,CAAC;gBACrE,MAAM,IAAI,yBAAyB,CACjC,8BAA8B,EAC9B,mDAAmD,OAAO,CAAC,aAAa,GAAG,CAC5E,CAAC;YACJ,CAAC;QACH,CAAC;QAAC,OAAO,eAAe,EAAE,CAAC;YACzB,MAAM,MAAM,CAAC,KAAK,EAAE,CAAC;YACrB,MAAM,eAAe,CAAC;QACxB,CAAC;IACH,CAAC;IACD,IAAI,OAAO,EAAE,CAAC;QACZ,IAAI,CAAC;YACH,MAAM,KAAK,GAAG,mBAAmB,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC;YACpD,MAAM,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC;YACzB,IAAI,MAAM,GAAG,CAAC,CAAC;YACf,OAAO,MAAM,GAAG,KAAK,CAAC,UAAU,EAAE,CAAC;gBACjC,MAAM,EAAE,YAAY,EAAE,GAAG,MAAM,MAAM,CAAC,KAAK,CACzC,KAAK,EACL,MAAM,EACN,KAAK,CAAC,UAAU,GAAG,MAAM,EACzB,MAAM,CACP,CAAC;gBACF,IAAI,YAAY,KAAK,CAAC,EAAE,CAAC;oBACvB,MAAM,IAAI,yBAAyB,CACjC,4BAA4B,EAC5B,8CAA8C,OAAO,CAAC,aAAa,GAAG,CACvE,CAAC;gBACJ,CAAC;gBACD,MAAM,IAAI,YAAY,CAAC;YACzB,CAAC;YACD,MAAM,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;YAC1C,MAAM,MAAM,CAAC,IAAI,EAAE,CAAC;QACtB,CAAC;gBAAS,CAAC;YACT,MAAM,MAAM,CAAC,KAAK,EAAE,CAAC;QACvB,CAAC;IACH,CAAC;SAAM,CAAC;QACN,MAAM,MAAM,CAAC,KAAK,EAAE,CAAC;IACvB,CAAC;IACD,MAAM,QAAQ,GAAG,MAAM,sBAAsB,CAAC,OAAO,CAAC,IAAI,EAAE,OAAO,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;IACnF,IAAI,QAAQ,CAAC,OAAO,KAAK,MAAM;QAC7B,CAAC,qBAAqB,CAAC,QAAQ,CAAC,QAAQ,EAAE,gBAAgB,CAAC;QAC3D,CAAC,qBAAqB,CAAC;YACrB,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,OAAO,CAAC,QAAQ,CAAC,EAAE,CAAC;QACvB,MAAM,IAAI,yBAAyB,CACjC,8BAA8B,EAC9B,kDAAkD,OAAO,CAAC,aAAa,GAAG,CAC3E,CAAC;IACJ,CAAC;IACD,OAAO,gBAAgB,CAAC;AAC1B,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,CAyBpC;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,51 @@
+import { join } from "node:path";
+import { installedRepositoryMutationBuildIdentity } from "../../../installed-artifact-identity.js";
+import { installedRepositoryMutationVersion, REPOSITORY_MUTATION_PACKAGE_NAME } from "../../../package-version.js";
+import { LOCAL_STATE_DIRECTORY } from "../../../state-contract.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 [version, buildIdentity] = await Promise.all([
+        installedRepositoryMutationVersion(),
+        installedRepositoryMutationBuildIdentity()
+    ]);
+    const artifact = { name: REPOSITORY_MUTATION_PACKAGE_NAME, buildIdentity, version };
+    const store = new NodeKnownFileTransactionJournalStore(join(root, LOCAL_STATE_DIRECTORY), artifact, artifact);
+    await store.canonicalizeTemporary();
+    const observed = await store.read();
+    if (observed === undefined) {
+        throw new KnownFileTransactionError("KNOWN_FILE_JOURNAL_MISSING", "Known-file recovery journal disappeared.");
+    }
+    return {
+        installedBuild: {
+            ownerArtifact: artifact,
+            kernelArtifact: artifact
+        },
+        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,wCAAwC,EAAE,MAAM,yCAAyC,CAAC;AACnG,OAAO,EAAE,kCAAkC,EAAE,gCAAgC,EAAE,MAAM,6BAA6B,CAAC;AACnH,OAAO,EAAE,qBAAqB,EAAE,MAAM,4BAA4B,CAAC;AAMnE,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,CAAC,OAAO,EAAE,aAAa,CAAC,GAAG,MAAM,OAAO,CAAC,GAAG,CAAC;QACjD,kCAAkC,EAAE;QACpC,wCAAwC,EAAE;KAC3C,CAAC,CAAC;IACH,MAAM,QAAQ,GAAG,EAAE,IAAI,EAAE,gCAAgC,EAAE,aAAa,EAAE,OAAO,EAAE,CAAC;IACpF,MAAM,KAAK,GAAG,IAAI,oCAAoC,CACpD,IAAI,CAAC,IAAI,EAAE,qBAAqB,CAAC,EAAE,QAAQ,EAAE,QAAQ,CACtD,CAAC;IACF,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,OAAO;QACL,cAAc,EAAE;YACd,aAAa,EAAE,QAAQ;YACvB,cAAc,EAAE,QAAQ;SACzB;QACD,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"}