codexgpt 1.0.0

package/dist/transactions/installation.js

@@ -0,0 +1,158 @@
+import fs from "node:fs";
+import path from "node:path";
+import { createHmac, hkdfSync, randomBytes as nodeRandomBytes } from "node:crypto";
+import { installationStateV1Schema } from "./schemas.js";
+import { normalizeCanonicalWorkspaceRoot, transactionStateDirectories } from "./stateRoot.js";
+import { TransactionError } from "./types.js";
+function syncDirectoryBestEffort(directory) {
+    let fd;
+    try {
+        fd = fs.openSync(directory, "r");
+        fs.fsyncSync(fd);
+    }
+    catch {
+        // Directory fsync is not supported uniformly, especially on Windows.
+    }
+    finally {
+        if (fd !== undefined)
+            fs.closeSync(fd);
+    }
+}
+function parseInstallationState(text) {
+    try {
+        return installationStateV1Schema.parse(JSON.parse(text));
+    }
+    catch {
+        throw new TransactionError("TRANSACTION_STATE_CORRUPT", "Persisted installation state is invalid.");
+    }
+}
+function readInstallationState(file) {
+    try {
+        return parseInstallationState(fs.readFileSync(file, "utf8"));
+    }
+    catch (error) {
+        if (error instanceof TransactionError)
+            throw error;
+        if (error.code === "ENOENT")
+            throw error;
+        throw new TransactionError("TRANSACTION_STATE_CORRUPT", "Persisted installation state could not be read.");
+    }
+}
+export function loadOrCreateInstallationState(options) {
+    const stateRoot = path.resolve(options.stateRoot);
+    const directories = transactionStateDirectories(stateRoot);
+    fs.mkdirSync(stateRoot, { recursive: true, mode: 0o700 });
+    for (const directory of [
+        directories.instances,
+        directories.workspaceLocks,
+        directories.auditLocks,
+        directories.transactions,
+        directories.changesets,
+        directories.audit
+    ]) {
+        fs.mkdirSync(directory, { recursive: true, mode: 0o700 });
+    }
+    try {
+        return readInstallationState(directories.installationFile);
+    }
+    catch (error) {
+        if (error.code !== "ENOENT")
+            throw error;
+    }
+    const randomBytes = options.randomBytes ?? nodeRandomBytes;
+    const installationIdBytes = randomBytes(16);
+    const masterKeyBytes = randomBytes(32);
+    if (installationIdBytes.length !== 16 || masterKeyBytes.length !== 32) {
+        throw new TransactionError("TRANSACTION_STATE_CORRUPT", "Installation random source returned an invalid length.");
+    }
+    const candidate = {
+        schemaVersion: 1,
+        installationId: `install_${installationIdBytes.toString("hex")}`,
+        masterKeyBase64: masterKeyBytes.toString("base64"),
+        createdAt: new Date((options.now ?? Date.now)()).toISOString()
+    };
+    installationStateV1Schema.parse(candidate);
+    const temporaryFile = path.join(stateRoot, `.codexgpt-install-${installationIdBytes.toString("hex")}.tmp`);
+    let fd;
+    let published = false;
+    try {
+        fd = fs.openSync(temporaryFile, "wx", 0o600);
+        fs.writeFileSync(fd, `${JSON.stringify(candidate)}\n`, "utf8");
+        fs.fsyncSync(fd);
+        fs.closeSync(fd);
+        fd = undefined;
+        try {
+            fs.chmodSync(temporaryFile, 0o600);
+        }
+        catch {
+            // Windows ACL semantics are outside the portable mode-bit contract.
+        }
+        try {
+            fs.linkSync(temporaryFile, directories.installationFile);
+            published = true;
+            syncDirectoryBestEffort(stateRoot);
+        }
+        catch (error) {
+            if (error.code !== "EEXIST") {
+                throw new TransactionError("TRANSACTION_STATE_CORRUPT", "Installation state could not be published.");
+            }
+        }
+    }
+    catch (error) {
+        if (fd !== undefined) {
+            fs.closeSync(fd);
+            fd = undefined;
+        }
+        if (error instanceof TransactionError)
+            throw error;
+        throw new TransactionError("TRANSACTION_STATE_CORRUPT", "Installation state could not be created.");
+    }
+    finally {
+        if (fd !== undefined)
+            fs.closeSync(fd);
+        try {
+            fs.unlinkSync(temporaryFile);
+            if (published)
+                syncDirectoryBestEffort(stateRoot);
+        }
+        catch {
+            // Best-effort cleanup; publication correctness does not depend on the temporary name.
+        }
+        installationIdBytes.fill(0);
+        masterKeyBytes.fill(0);
+    }
+    return readInstallationState(directories.installationFile);
+}
+export function deriveTransactionSubkey(masterKey, label) {
+    if (masterKey.length !== 32) {
+        throw new TransactionError("TRANSACTION_STATE_CORRUPT", "Installation master key has an invalid length.");
+    }
+    if (!/^[a-z][a-z0-9-]{0,63}$/.test(label)) {
+        throw new TransactionError("TRANSACTION_PRECONDITION_FAILED", "Transaction subkey label is invalid.");
+    }
+    return Buffer.from(hkdfSync("sha256", masterKey, Buffer.alloc(0), Buffer.from(`codexgpt/phase3/${label}/v1`, "utf8"), 32));
+}
+export function workspaceStateKeyForRoot(canonicalRoot, masterKey, platform = process.platform) {
+    const key = deriveTransactionSubkey(masterKey, "workspace-state");
+    try {
+        const normalized = normalizeCanonicalWorkspaceRoot(canonicalRoot, platform);
+        const digest = createHmac("sha256", key).update(normalized, "utf8").digest("hex");
+        return `wsk_${digest.slice(0, 32)}`;
+    }
+    finally {
+        key.fill(0);
+    }
+}
+export function installationMasterKey(state) {
+    try {
+        const parsed = installationStateV1Schema.parse(state);
+        const key = Buffer.from(parsed.masterKeyBase64, "base64");
+        if (key.length !== 32)
+            throw new Error("invalid length");
+        return key;
+    }
+    catch {
+        throw new TransactionError("TRANSACTION_STATE_CORRUPT", "Installation master key has an invalid length.");
+    }
+}
+//# sourceMappingURL=installation.js.map

package/dist/transactions/installation.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"installation.js","sourceRoot":"","sources":["../../src/transactions/installation.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,SAAS,CAAC;AACzB,OAAO,IAAI,MAAM,WAAW,CAAC;AAC7B,OAAO,EAAE,UAAU,EAAE,QAAQ,EAAE,WAAW,IAAI,eAAe,EAAE,MAAM,aAAa,CAAC;AACnF,OAAO,EAAE,yBAAyB,EAAE,MAAM,cAAc,CAAC;AACzD,OAAO,EACL,+BAA+B,EAC/B,2BAA2B,EAC5B,MAAM,gBAAgB,CAAC;AACxB,OAAO,EACL,gBAAgB,EAEjB,MAAM,YAAY,CAAC;AAQpB,SAAS,uBAAuB,CAAC,SAAiB;IAChD,IAAI,EAAsB,CAAC;IAC3B,IAAI,CAAC;QACH,EAAE,GAAG,EAAE,CAAC,QAAQ,CAAC,SAAS,EAAE,GAAG,CAAC,CAAC;QACjC,EAAE,CAAC,SAAS,CAAC,EAAE,CAAC,CAAC;IACnB,CAAC;IAAC,MAAM,CAAC;QACP,qEAAqE;IACvE,CAAC;YAAS,CAAC;QACT,IAAI,EAAE,KAAK,SAAS;YAAE,EAAE,CAAC,SAAS,CAAC,EAAE,CAAC,CAAC;IACzC,CAAC;AACH,CAAC;AAED,SAAS,sBAAsB,CAAC,IAAY;IAC1C,IAAI,CAAC;QACH,OAAO,yBAAyB,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC;IAC3D,CAAC;IAAC,MAAM,CAAC;QACP,MAAM,IAAI,gBAAgB,CACxB,2BAA2B,EAC3B,0CAA0C,CAC3C,CAAC;IACJ,CAAC;AACH,CAAC;AAED,SAAS,qBAAqB,CAAC,IAAY;IACzC,IAAI,CAAC;QACH,OAAO,sBAAsB,CAAC,EAAE,CAAC,YAAY,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC,CAAC;IAC/D,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,IAAI,KAAK,YAAY,gBAAgB;YAAE,MAAM,KAAK,CAAC;QACnD,IAAK,KAA+B,CAAC,IAAI,KAAK,QAAQ;YAAE,MAAM,KAAK,CAAC;QACpE,MAAM,IAAI,gBAAgB,CACxB,2BAA2B,EAC3B,iDAAiD,CAClD,CAAC;IACJ,CAAC;AACH,CAAC;AAED,MAAM,UAAU,6BAA6B,CAC3C,OAAiC;IAEjC,MAAM,SAAS,GAAG,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC;IAClD,MAAM,WAAW,GAAG,2BAA2B,CAAC,SAAS,CAAC,CAAC;IAC3D,EAAE,CAAC,SAAS,CAAC,SAAS,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC;IAC1D,KAAK,MAAM,SAAS,IAAI;QACtB,WAAW,CAAC,SAAS;QACrB,WAAW,CAAC,cAAc;QAC1B,WAAW,CAAC,UAAU;QACtB,WAAW,CAAC,YAAY;QACxB,WAAW,CAAC,UAAU;QACtB,WAAW,CAAC,KAAK;KAClB,EAAE,CAAC;QACF,EAAE,CAAC,SAAS,CAAC,SAAS,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC;IAC5D,CAAC;IAED,IAAI,CAAC;QACH,OAAO,qBAAqB,CAAC,WAAW,CAAC,gBAAgB,CAAC,CAAC;IAC7D,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,IAAK,KAA+B,CAAC,IAAI,KAAK,QAAQ;YAAE,MAAM,KAAK,CAAC;IACtE,CAAC;IAED,MAAM,WAAW,GAAG,OAAO,CAAC,WAAW,IAAI,eAAe,CAAC;IAC3D,MAAM,mBAAmB,GAAG,WAAW,CAAC,EAAE,CAAC,CAAC;IAC5C,MAAM,cAAc,GAAG,WAAW,CAAC,EAAE,CAAC,CAAC;IACvC,IAAI,mBAAmB,CAAC,MAAM,KAAK,EAAE,IAAI,cAAc,CAAC,MAAM,KAAK,EAAE,EAAE,CAAC;QACtE,MAAM,IAAI,gBAAgB,CACxB,2BAA2B,EAC3B,wDAAwD,CACzD,CAAC;IACJ,CAAC;IACD,MAAM,SAAS,GAAwB;QACrC,aAAa,EAAE,CAAC;QAChB,cAAc,EAAE,WAAW,mBAAmB,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE;QAChE,eAAe,EAAE,cAAc,CAAC,QAAQ,CAAC,QAAQ,CAAC;QAClD,SAAS,EAAE,IAAI,IAAI,CAAC,CAAC,OAAO,CAAC,GAAG,IAAI,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,WAAW,EAAE;KAC/D,CAAC;IACF,yBAAyB,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;IAE3C,MAAM,aAAa,GAAG,IAAI,CAAC,IAAI,CAC7B,SAAS,EACT,qBAAqB,mBAAmB,CAAC,QAAQ,CAAC,KAAK,CAAC,MAAM,CAC/D,CAAC;IACF,IAAI,EAAsB,CAAC;IAC3B,IAAI,SAAS,GAAG,KAAK,CAAC;IACtB,IAAI,CAAC;QACH,EAAE,GAAG,EAAE,CAAC,QAAQ,CAAC,aAAa,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC;QAC7C,EAAE,CAAC,aAAa,CAAC,EAAE,EAAE,GAAG,IAAI,CAAC,SAAS,CAAC,SAAS,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;QAC/D,EAAE,CAAC,SAAS,CAAC,EAAE,CAAC,CAAC;QACjB,EAAE,CAAC,SAAS,CAAC,EAAE,CAAC,CAAC;QACjB,EAAE,GAAG,SAAS,CAAC;QACf,IAAI,CAAC;YACH,EAAE,CAAC,SAAS,CAAC,aAAa,EAAE,KAAK,CAAC,CAAC;QACrC,CAAC;QAAC,MAAM,CAAC;YACP,oEAAoE;QACtE,CAAC;QACD,IAAI,CAAC;YACH,EAAE,CAAC,QAAQ,CAAC,aAAa,EAAE,WAAW,CAAC,gBAAgB,CAAC,CAAC;YACzD,SAAS,GAAG,IAAI,CAAC;YACjB,uBAAuB,CAAC,SAAS,CAAC,CAAC;QACrC,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YACf,IAAK,KAA+B,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;gBACvD,MAAM,IAAI,gBAAgB,CACxB,2BAA2B,EAC3B,4CAA4C,CAC7C,CAAC;YACJ,CAAC;QACH,CAAC;IACH,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,IAAI,EAAE,KAAK,SAAS,EAAE,CAAC;YACrB,EAAE,CAAC,SAAS,CAAC,EAAE,CAAC,CAAC;YACjB,EAAE,GAAG,SAAS,CAAC;QACjB,CAAC;QACD,IAAI,KAAK,YAAY,gBAAgB;YAAE,MAAM,KAAK,CAAC;QACnD,MAAM,IAAI,gBAAgB,CACxB,2BAA2B,EAC3B,0CAA0C,CAC3C,CAAC;IACJ,CAAC;YAAS,CAAC;QACT,IAAI,EAAE,KAAK,SAAS;YAAE,EAAE,CAAC,SAAS,CAAC,EAAE,CAAC,CAAC;QACvC,IAAI,CAAC;YACH,EAAE,CAAC,UAAU,CAAC,aAAa,CAAC,CAAC;YAC7B,IAAI,SAAS;gBAAE,uBAAuB,CAAC,SAAS,CAAC,CAAC;QACpD,CAAC;QAAC,MAAM,CAAC;YACP,sFAAsF;QACxF,CAAC;QACD,mBAAmB,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC5B,cAAc,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACzB,CAAC;IAED,OAAO,qBAAqB,CAAC,WAAW,CAAC,gBAAgB,CAAC,CAAC;AAC7D,CAAC;AAED,MAAM,UAAU,uBAAuB,CAAC,SAAiB,EAAE,KAAa;IACtE,IAAI,SAAS,CAAC,MAAM,KAAK,EAAE,EAAE,CAAC;QAC5B,MAAM,IAAI,gBAAgB,CACxB,2BAA2B,EAC3B,gDAAgD,CACjD,CAAC;IACJ,CAAC;IACD,IAAI,CAAC,wBAAwB,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;QAC1C,MAAM,IAAI,gBAAgB,CACxB,iCAAiC,EACjC,sCAAsC,CACvC,CAAC;IACJ,CAAC;IACD,OAAO,MAAM,CAAC,IAAI,CAAC,QAAQ,CACzB,QAAQ,EACR,SAAS,EACT,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,EACf,MAAM,CAAC,IAAI,CAAC,mBAAmB,KAAK,KAAK,EAAE,MAAM,CAAC,EAClD,EAAE,CACH,CAAC,CAAC;AACL,CAAC;AAED,MAAM,UAAU,wBAAwB,CACtC,aAAqB,EACrB,SAAiB,EACjB,WAA4B,OAAO,CAAC,QAAQ;IAE5C,MAAM,GAAG,GAAG,uBAAuB,CAAC,SAAS,EAAE,iBAAiB,CAAC,CAAC;IAClE,IAAI,CAAC;QACH,MAAM,UAAU,GAAG,+BAA+B,CAAC,aAAa,EAAE,QAAQ,CAAC,CAAC;QAC5E,MAAM,MAAM,GAAG,UAAU,CAAC,QAAQ,EAAE,GAAG,CAAC,CAAC,MAAM,CAAC,UAAU,EAAE,MAAM,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;QAClF,OAAO,OAAO,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,CAAC;IACtC,CAAC;YAAS,CAAC;QACT,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACd,CAAC;AACH,CAAC;AAED,MAAM,UAAU,qBAAqB,CAAC,KAA0B;IAC9D,IAAI,CAAC;QACH,MAAM,MAAM,GAAG,yBAAyB,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;QACtD,MAAM,GAAG,GAAG,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,eAAe,EAAE,QAAQ,CAAC,CAAC;QAC1D,IAAI,GAAG,CAAC,MAAM,KAAK,EAAE;YAAE,MAAM,IAAI,KAAK,CAAC,gBAAgB,CAAC,CAAC;QACzD,OAAO,GAAG,CAAC;IACb,CAAC;IAAC,MAAM,CAAC;QACP,MAAM,IAAI,gBAAgB,CACxB,2BAA2B,EAC3B,gDAAgD,CACjD,CAAC;IACJ,CAAC;AACH,CAAC"}

package/dist/transactions/manifestV2Store.js

@@ -0,0 +1,96 @@
+import fs from "node:fs";
+import path from "node:path";
+import { createHmac, timingSafeEqual } from "node:crypto";
+import { canonicalJson } from "../audit/canonicalJson.js";
+import { AtomicJsonFileStore, manifestPathFor } from "./atomicStateFile.js";
+import { deriveTransactionSubkey } from "./installation.js";
+import { transactionManifestV2Schema } from "./schemas.js";
+import { transactionWorkspaceStateDirectory } from "./stateRoot.js";
+import { TransactionError } from "./types.js";
+export class TransactionManifestV2Store {
+    stateRoot;
+    atomic;
+    key;
+    constructor(stateRoot, masterKey) {
+        this.stateRoot = stateRoot;
+        this.atomic = new AtomicJsonFileStore(stateRoot, transactionManifestV2Schema);
+        this.key = deriveTransactionSubkey(masterKey, "transaction-manifest-v2");
+    }
+    dispose() {
+        this.key.fill(0);
+    }
+    sign(manifest) {
+        const { manifestMac: _ignored, ...facts } = manifest;
+        const manifestMac = createHmac("sha256", this.key)
+            .update(canonicalJson(facts), "utf8")
+            .digest("hex");
+        return transactionManifestV2Schema.parse({ ...facts, manifestMac });
+    }
+    verify(manifest) {
+        const expected = this.sign(manifest).manifestMac;
+        const actual = Buffer.from(manifest.manifestMac, "hex");
+        const expectedBytes = Buffer.from(expected, "hex");
+        if (actual.length !== expectedBytes.length || !timingSafeEqual(actual, expectedBytes)) {
+            throw new TransactionError("TRANSACTION_STATE_CORRUPT", "Transaction manifest authentication failed.");
+        }
+        return manifest;
+    }
+    read(workspaceStateKey, transactionId) {
+        return this.verify(this.atomic.read(manifestPathFor(this.stateRoot, workspaceStateKey, transactionId)));
+    }
+    writeInitial(manifest) {
+        if (manifest.generation !== 1 || manifest.state !== "preparing") {
+            throw new TransactionError("TRANSACTION_STATE_CORRUPT", "Initial V2 transaction manifest must be generation 1 and preparing.");
+        }
+        const signed = this.sign(manifest);
+        const file = manifestPathFor(this.stateRoot, signed.workspaceStateKey, signed.transactionId);
+        if (fs.existsSync(file)) {
+            throw new TransactionError("TRANSACTION_STATE_CORRUPT", "Initial transaction manifest already exists.");
+        }
+        return this.atomic.write(file, signed);
+    }
+    writeNext(previous, next) {
+        const verifiedPrevious = this.verify(transactionManifestV2Schema.parse(previous));
+        const signedNext = this.sign(next);
+        if (signedNext.schemaVersion !== 2 ||
+            signedNext.transactionId !== verifiedPrevious.transactionId ||
+            signedNext.changeSetId !== verifiedPrevious.changeSetId ||
+            signedNext.workspaceStateKey !== verifiedPrevious.workspaceStateKey ||
+            signedNext.generation !== verifiedPrevious.generation + 1) {
+            throw new TransactionError("TRANSACTION_STATE_CORRUPT", "V2 transaction manifest transition is not monotonic.");
+        }
+        const persisted = this.read(verifiedPrevious.workspaceStateKey, verifiedPrevious.transactionId);
+        if (persisted.generation !== verifiedPrevious.generation || persisted.manifestMac !== verifiedPrevious.manifestMac) {
+            throw new TransactionError("TRANSACTION_STATE_CORRUPT", "V2 transaction manifest transition is stale.");
+        }
+        return this.atomic.write(manifestPathFor(this.stateRoot, signedNext.workspaceStateKey, signedNext.transactionId), signedNext);
+    }
+    list(workspaceStateKey) {
+        const directory = transactionWorkspaceStateDirectory(this.stateRoot, "transactions", workspaceStateKey);
+        let names;
+        try {
+            names = fs.readdirSync(directory);
+        }
+        catch (error) {
+            if (error.code === "ENOENT")
+                return [];
+            throw new TransactionError("TRANSACTION_STATE_CORRUPT", "Transaction manifest directory is unreadable.");
+        }
+        const result = [];
+        for (const name of names.filter((value) => /^tx_[a-f0-9]{32}\.json$/.test(value)).sort()) {
+            const file = path.join(directory, name);
+            let version;
+            try {
+                version = JSON.parse(fs.readFileSync(file, "utf8")).schemaVersion;
+            }
+            catch {
+                throw new TransactionError("TRANSACTION_STATE_CORRUPT", "Transaction manifest is unreadable.");
+            }
+            if (version !== 2)
+                continue;
+            result.push(this.verify(this.atomic.read(file)));
+        }
+        return result;
+    }
+}
+//# sourceMappingURL=manifestV2Store.js.map

package/dist/transactions/manifestV2Store.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"manifestV2Store.js","sourceRoot":"","sources":["../../src/transactions/manifestV2Store.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,SAAS,CAAC;AACzB,OAAO,IAAI,MAAM,WAAW,CAAC;AAC7B,OAAO,EAAE,UAAU,EAAE,eAAe,EAAE,MAAM,aAAa,CAAC;AAC1D,OAAO,EAAE,aAAa,EAAE,MAAM,2BAA2B,CAAC;AAC1D,OAAO,EAAE,mBAAmB,EAAE,eAAe,EAAE,MAAM,sBAAsB,CAAC;AAC5E,OAAO,EAAE,uBAAuB,EAAE,MAAM,mBAAmB,CAAC;AAC5D,OAAO,EAAE,2BAA2B,EAAE,MAAM,cAAc,CAAC;AAC3D,OAAO,EAAE,kCAAkC,EAAE,MAAM,gBAAgB,CAAC;AACpE,OAAO,EAAE,gBAAgB,EAA4D,MAAM,YAAY,CAAC;AAExG,MAAM,OAAO,0BAA0B;IAIR;IAHZ,MAAM,CAA6C;IACnD,GAAG,CAAS;IAE7B,YAA6B,SAAiB,EAAE,SAAiB;QAApC,cAAS,GAAT,SAAS,CAAQ;QAC5C,IAAI,CAAC,MAAM,GAAG,IAAI,mBAAmB,CAAC,SAAS,EAAE,2BAA2B,CAAC,CAAC;QAC9E,IAAI,CAAC,GAAG,GAAG,uBAAuB,CAAC,SAAS,EAAE,yBAAyB,CAAC,CAAC;IAC3E,CAAC;IAED,OAAO;QACL,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACnB,CAAC;IAEO,IAAI,CAAC,QAA4E;QACvF,MAAM,EAAE,WAAW,EAAE,QAAQ,EAAE,GAAG,KAAK,EAAE,GAAG,QAAiC,CAAC;QAC9E,MAAM,WAAW,GAAG,UAAU,CAAC,QAAQ,EAAE,IAAI,CAAC,GAAG,CAAC;aAC/C,MAAM,CAAC,aAAa,CAAC,KAAK,CAAC,EAAE,MAAM,CAAC;aACpC,MAAM,CAAC,KAAK,CAAC,CAAC;QACjB,OAAO,2BAA2B,CAAC,KAAK,CAAC,EAAE,GAAG,KAAK,EAAE,WAAW,EAAE,CAAC,CAAC;IACtE,CAAC;IAEO,MAAM,CAAC,QAA+B;QAC5C,MAAM,QAAQ,GAAG,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,WAAW,CAAC;QACjD,MAAM,MAAM,GAAG,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,WAAW,EAAE,KAAK,CAAC,CAAC;QACxD,MAAM,aAAa,GAAG,MAAM,CAAC,IAAI,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAC;QACnD,IAAI,MAAM,CAAC,MAAM,KAAK,aAAa,CAAC,MAAM,IAAI,CAAC,eAAe,CAAC,MAAM,EAAE,aAAa,CAAC,EAAE,CAAC;YACtF,MAAM,IAAI,gBAAgB,CAAC,2BAA2B,EAAE,6CAA6C,CAAC,CAAC;QACzG,CAAC;QACD,OAAO,QAAQ,CAAC;IAClB,CAAC;IAED,IAAI,CAAC,iBAAyB,EAAE,aAAqB;QACnD,OAAO,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,eAAe,CAAC,IAAI,CAAC,SAAS,EAAE,iBAAiB,EAAE,aAAa,CAAC,CAAC,CAAC,CAAC;IAC1G,CAAC;IAED,YAAY,CAAC,QAAoD;QAC/D,IAAI,QAAQ,CAAC,UAAU,KAAK,CAAC,IAAI,QAAQ,CAAC,KAAK,KAAK,WAAW,EAAE,CAAC;YAChE,MAAM,IAAI,gBAAgB,CAAC,2BAA2B,EAAE,qEAAqE,CAAC,CAAC;QACjI,CAAC;QACD,MAAM,MAAM,GAAG,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;QACnC,MAAM,IAAI,GAAG,eAAe,CAAC,IAAI,CAAC,SAAS,EAAE,MAAM,CAAC,iBAAiB,EAAE,MAAM,CAAC,aAAa,CAAC,CAAC;QAC7F,IAAI,EAAE,CAAC,UAAU,CAAC,IAAI,CAAC,EAAE,CAAC;YACxB,MAAM,IAAI,gBAAgB,CAAC,2BAA2B,EAAE,8CAA8C,CAAC,CAAC;QAC1G,CAAC;QACD,OAAO,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;IACzC,CAAC;IAED,SAAS,CAAC,QAA+B,EAAE,IAAwE;QACjH,MAAM,gBAAgB,GAAG,IAAI,CAAC,MAAM,CAAC,2BAA2B,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAC;QAClF,MAAM,UAAU,GAAG,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACnC,IACE,UAAU,CAAC,aAAa,KAAK,CAAC;YAC9B,UAAU,CAAC,aAAa,KAAK,gBAAgB,CAAC,aAAa;YAC3D,UAAU,CAAC,WAAW,KAAK,gBAAgB,CAAC,WAAW;YACvD,UAAU,CAAC,iBAAiB,KAAK,gBAAgB,CAAC,iBAAiB;YACnE,UAAU,CAAC,UAAU,KAAK,gBAAgB,CAAC,UAAU,GAAG,CAAC,EACzD,CAAC;YACD,MAAM,IAAI,gBAAgB,CAAC,2BAA2B,EAAE,sDAAsD,CAAC,CAAC;QAClH,CAAC;QACD,MAAM,SAAS,GAAG,IAAI,CAAC,IAAI,CAAC,gBAAgB,CAAC,iBAAiB,EAAE,gBAAgB,CAAC,aAAa,CAAC,CAAC;QAChG,IAAI,SAAS,CAAC,UAAU,KAAK,gBAAgB,CAAC,UAAU,IAAI,SAAS,CAAC,WAAW,KAAK,gBAAgB,CAAC,WAAW,EAAE,CAAC;YACnH,MAAM,IAAI,gBAAgB,CAAC,2BAA2B,EAAE,8CAA8C,CAAC,CAAC;QAC1G,CAAC;QACD,OAAO,IAAI,CAAC,MAAM,CAAC,KAAK,CACtB,eAAe,CAAC,IAAI,CAAC,SAAS,EAAE,UAAU,CAAC,iBAAiB,EAAE,UAAU,CAAC,aAAa,CAAC,EACvF,UAAU,CACX,CAAC;IACJ,CAAC;IAED,IAAI,CAAC,iBAAyB;QAC5B,MAAM,SAAS,GAAG,kCAAkC,CAAC,IAAI,CAAC,SAAS,EAAE,cAAc,EAAE,iBAAiB,CAAC,CAAC;QACxG,IAAI,KAAe,CAAC;QACpB,IAAI,CAAC;YACH,KAAK,GAAG,EAAE,CAAC,WAAW,CAAC,SAAS,CAAC,CAAC;QACpC,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YACf,IAAK,KAA+B,CAAC,IAAI,KAAK,QAAQ;gBAAE,OAAO,EAAE,CAAC;YAClE,MAAM,IAAI,gBAAgB,CAAC,2BAA2B,EAAE,+CAA+C,CAAC,CAAC;QAC3G,CAAC;QACD,MAAM,MAAM,GAA4B,EAAE,CAAC;QAC3C,KAAK,MAAM,IAAI,IAAI,KAAK,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,yBAAyB,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC;YACzF,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,SAAS,EAAE,IAAI,CAAC,CAAC;YACxC,IAAI,OAAgB,CAAC;YACrB,IAAI,CAAC;gBACH,OAAO,GAAG,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,YAAY,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC,CAAC,aAAa,CAAC;YACpE,CAAC;YAAC,MAAM,CAAC;gBACP,MAAM,IAAI,gBAAgB,CAAC,2BAA2B,EAAE,qCAAqC,CAAC,CAAC;YACjG,CAAC;YACD,IAAI,OAAO,KAAK,CAAC;gBAAE,SAAS;YAC5B,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACnD,CAAC;QACD,OAAO,MAAM,CAAC;IAChB,CAAC;CACF"}

package/dist/transactions/participantRecovery.js

@@ -0,0 +1,98 @@
+import { TransactionError } from "./types.js";
+function timestamp(now) {
+    const value = new Date(now()).toISOString();
+    if (value === "Invalid Date") {
+        throw new TransactionError("TRANSACTION_RECOVERY_REQUIRED", "Participant recovery clock is invalid.");
+    }
+    return value;
+}
+export class DurableParticipantRecoveryAdapter {
+    options;
+    now;
+    constructor(options) {
+        this.options = options;
+        this.now = options.now ?? Date.now;
+    }
+    async probe(manifest, participant) {
+        if (participant === "audit") {
+            return this.options.auditStore.probeExecutionParticipant(manifest.changeSetId);
+        }
+        if (participant === "change_set") {
+            return manifest.schemaVersion === 2
+                ? this.options.moveChangeSetStore.probe(manifest.workspaceStateKey, manifest.changeSetId)
+                : this.options.changeSetStore.probe(manifest.workspaceStateKey, manifest.changeSetId);
+        }
+        if (participant === "original_change_set" && manifest.schemaVersion === 2) {
+            const reference = manifest.participantReferences.original_change_set;
+            const match = /^original_change_set:(cs_[a-f0-9]{32})$/.exec(reference ?? "");
+            if (!match)
+                return "unknown";
+            try {
+                const original = this.options.moveChangeSetStore.read(manifest.workspaceStateKey, match[1]);
+                if (original.state === "active")
+                    return "absent";
+                if (original.state !== "undone")
+                    return "unknown";
+                const reverse = this.options.moveChangeSetStore.read(manifest.workspaceStateKey, manifest.changeSetId);
+                return reverse.toolName === "undo_change_set" && reverse.revertsChangeSetId === original.changeSetId
+                    ? "present"
+                    : "unknown";
+            }
+            catch {
+                return "unknown";
+            }
+        }
+        return "unknown";
+    }
+    compensateV1(manifest) {
+        const current = this.options.changeSetStore.read(manifest.workspaceStateKey, manifest.changeSetId);
+        if (current.state === "recovery_required")
+            return;
+        if (current.state !== "active") {
+            throw new TransactionError("TRANSACTION_RECOVERY_REQUIRED", "V1 change-set compensation found an incompatible state.");
+        }
+        this.options.changeSetStore.transition(manifest.workspaceStateKey, manifest.changeSetId, {
+            expectedGeneration: current.generation,
+            state: "recovery_required",
+            updatedAt: timestamp(this.now)
+        });
+    }
+    compensateV2(manifest) {
+        const current = this.options.moveChangeSetStore.read(manifest.workspaceStateKey, manifest.changeSetId);
+        if (current.state === "recovery_required")
+            return;
+        if (current.state !== "active") {
+            throw new TransactionError("TRANSACTION_RECOVERY_REQUIRED", "V2 change-set compensation found an incompatible state.");
+        }
+        this.options.moveChangeSetStore.transition(manifest.workspaceStateKey, manifest.changeSetId, {
+            expectedGeneration: current.generation,
+            state: "recovery_required",
+            updatedAt: timestamp(this.now)
+        });
+    }
+    async compensatePartial(manifest, presentParticipants) {
+        if (presentParticipants.includes("original_change_set")) {
+            throw new TransactionError("TRANSACTION_RECOVERY_REQUIRED", "An original change-set transition cannot be safely compensated after reverse effects diverged.");
+        }
+        if (!presentParticipants.includes("change_set"))
+            return;
+        if (manifest.schemaVersion === 2)
+            this.compensateV2(manifest);
+        else
+            this.compensateV1(manifest);
+    }
+    async recordRecovery(manifest, action, resultCode) {
+        await this.options.auditStore.recordTransactionRecovery({
+            action,
+            transactionId: manifest.transactionId,
+            changeSetId: manifest.changeSetId,
+            operationCount: manifest.operations.length,
+            resultCode,
+            timestamp: manifest.updatedAt
+        });
+    }
+}
+export function createDurableParticipantRecoveryAdapter(options) {
+    return new DurableParticipantRecoveryAdapter(options);
+}
+//# sourceMappingURL=participantRecovery.js.map

package/dist/transactions/participantRecovery.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"participantRecovery.js","sourceRoot":"","sources":["../../src/transactions/participantRecovery.ts"],"names":[],"mappings":"AAGA,OAAO,EAAE,gBAAgB,EAAE,MAAM,YAAY,CAAC;AAc9C,SAAS,SAAS,CAAC,GAAiB;IAClC,MAAM,KAAK,GAAG,IAAI,IAAI,CAAC,GAAG,EAAE,CAAC,CAAC,WAAW,EAAE,CAAC;IAC5C,IAAI,KAAK,KAAK,cAAc,EAAE,CAAC;QAC7B,MAAM,IAAI,gBAAgB,CACxB,+BAA+B,EAC/B,wCAAwC,CACzC,CAAC;IACJ,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,MAAM,OAAO,iCAAiC;IAGf;IAFZ,GAAG,CAAe;IAEnC,YAA6B,OAAiD;QAAjD,YAAO,GAAP,OAAO,CAA0C;QAC5E,IAAI,CAAC,GAAG,GAAG,OAAO,CAAC,GAAG,IAAI,IAAI,CAAC,GAAG,CAAC;IACrC,CAAC;IAED,KAAK,CAAC,KAAK,CACT,QAA6B,EAC7B,WAAmB;QAEnB,IAAI,WAAW,KAAK,OAAO,EAAE,CAAC;YAC5B,OAAO,IAAI,CAAC,OAAO,CAAC,UAAU,CAAC,yBAAyB,CAAC,QAAQ,CAAC,WAAW,CAAC,CAAC;QACjF,CAAC;QACD,IAAI,WAAW,KAAK,YAAY,EAAE,CAAC;YACjC,OAAO,QAAQ,CAAC,aAAa,KAAK,CAAC;gBACjC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,kBAAkB,CAAC,KAAK,CAAC,QAAQ,CAAC,iBAAiB,EAAE,QAAQ,CAAC,WAAW,CAAC;gBACzF,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,cAAc,CAAC,KAAK,CAAC,QAAQ,CAAC,iBAAiB,EAAE,QAAQ,CAAC,WAAW,CAAC,CAAC;QAC1F,CAAC;QACD,IAAI,WAAW,KAAK,qBAAqB,IAAI,QAAQ,CAAC,aAAa,KAAK,CAAC,EAAE,CAAC;YAC1E,MAAM,SAAS,GAAG,QAAQ,CAAC,qBAAqB,CAAC,mBAAmB,CAAC;YACrE,MAAM,KAAK,GAAG,yCAAyC,CAAC,IAAI,CAAC,SAAS,IAAI,EAAE,CAAC,CAAC;YAC9E,IAAI,CAAC,KAAK;gBAAE,OAAO,SAAS,CAAC;YAC7B,IAAI,CAAC;gBACH,MAAM,QAAQ,GAAG,IAAI,CAAC,OAAO,CAAC,kBAAkB,CAAC,IAAI,CAAC,QAAQ,CAAC,iBAAiB,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;gBAC5F,IAAI,QAAQ,CAAC,KAAK,KAAK,QAAQ;oBAAE,OAAO,QAAQ,CAAC;gBACjD,IAAI,QAAQ,CAAC,KAAK,KAAK,QAAQ;oBAAE,OAAO,SAAS,CAAC;gBAClD,MAAM,OAAO,GAAG,IAAI,CAAC,OAAO,CAAC,kBAAkB,CAAC,IAAI,CAClD,QAAQ,CAAC,iBAAiB,EAC1B,QAAQ,CAAC,WAAW,CACrB,CAAC;gBACF,OAAO,OAAO,CAAC,QAAQ,KAAK,iBAAiB,IAAI,OAAO,CAAC,kBAAkB,KAAK,QAAQ,CAAC,WAAW;oBAClG,CAAC,CAAC,SAAS;oBACX,CAAC,CAAC,SAAS,CAAC;YAChB,CAAC;YAAC,MAAM,CAAC;gBACP,OAAO,SAAS,CAAC;YACnB,CAAC;QACH,CAAC;QACD,OAAO,SAAS,CAAC;IACnB,CAAC;IAEO,YAAY,CAAC,QAA4D;QAC/E,MAAM,OAAO,GAAG,IAAI,CAAC,OAAO,CAAC,cAAc,CAAC,IAAI,CAC9C,QAAQ,CAAC,iBAAiB,EAC1B,QAAQ,CAAC,WAAW,CACrB,CAAC;QACF,IAAI,OAAO,CAAC,KAAK,KAAK,mBAAmB;YAAE,OAAO;QAClD,IAAI,OAAO,CAAC,KAAK,KAAK,QAAQ,EAAE,CAAC;YAC/B,MAAM,IAAI,gBAAgB,CACxB,+BAA+B,EAC/B,yDAAyD,CAC1D,CAAC;QACJ,CAAC;QACD,IAAI,CAAC,OAAO,CAAC,cAAc,CAAC,UAAU,CACpC,QAAQ,CAAC,iBAAiB,EAC1B,QAAQ,CAAC,WAAW,EACpB;YACE,kBAAkB,EAAE,OAAO,CAAC,UAAU;YACtC,KAAK,EAAE,mBAAmB;YAC1B,SAAS,EAAE,SAAS,CAAC,IAAI,CAAC,GAAG,CAAC;SAC/B,CACF,CAAC;IACJ,CAAC;IAEO,YAAY,CAAC,QAA4D;QAC/E,MAAM,OAAO,GAAG,IAAI,CAAC,OAAO,CAAC,kBAAkB,CAAC,IAAI,CAClD,QAAQ,CAAC,iBAAiB,EAC1B,QAAQ,CAAC,WAAW,CACrB,CAAC;QACF,IAAI,OAAO,CAAC,KAAK,KAAK,mBAAmB;YAAE,OAAO;QAClD,IAAI,OAAO,CAAC,KAAK,KAAK,QAAQ,EAAE,CAAC;YAC/B,MAAM,IAAI,gBAAgB,CACxB,+BAA+B,EAC/B,yDAAyD,CAC1D,CAAC;QACJ,CAAC;QACD,IAAI,CAAC,OAAO,CAAC,kBAAkB,CAAC,UAAU,CACxC,QAAQ,CAAC,iBAAiB,EAC1B,QAAQ,CAAC,WAAW,EACpB;YACE,kBAAkB,EAAE,OAAO,CAAC,UAAU;YACtC,KAAK,EAAE,mBAAmB;YAC1B,SAAS,EAAE,SAAS,CAAC,IAAI,CAAC,GAAG,CAAC;SAC/B,CACF,CAAC;IACJ,CAAC;IAED,KAAK,CAAC,iBAAiB,CACrB,QAA6B,EAC7B,mBAAsC;QAEtC,IAAI,mBAAmB,CAAC,QAAQ,CAAC,qBAAqB,CAAC,EAAE,CAAC;YACxD,MAAM,IAAI,gBAAgB,CACxB,+BAA+B,EAC/B,gGAAgG,CACjG,CAAC;QACJ,CAAC;QACD,IAAI,CAAC,mBAAmB,CAAC,QAAQ,CAAC,YAAY,CAAC;YAAE,OAAO;QACxD,IAAI,QAAQ,CAAC,aAAa,KAAK,CAAC;YAAE,IAAI,CAAC,YAAY,CAAC,QAAQ,CAAC,CAAC;;YACzD,IAAI,CAAC,YAAY,CAAC,QAAQ,CAAC,CAAC;IACnC,CAAC;IAED,KAAK,CAAC,cAAc,CAClB,QAA6B,EAC7B,MAAuE,EACvE,UAAkB;QAElB,MAAM,IAAI,CAAC,OAAO,CAAC,UAAU,CAAC,yBAAyB,CAAC;YACtD,MAAM;YACN,aAAa,EAAE,QAAQ,CAAC,aAAa;YACrC,WAAW,EAAE,QAAQ,CAAC,WAAW;YACjC,cAAc,EAAE,QAAQ,CAAC,UAAU,CAAC,MAAM;YAC1C,UAAU;YACV,SAAS,EAAE,QAAQ,CAAC,SAAS;SAC9B,CAAC,CAAC;IACL,CAAC;CACF;AAED,MAAM,UAAU,uCAAuC,CACrD,OAAiD;IAEjD,OAAO,IAAI,iCAAiC,CAAC,OAAO,CAAC,CAAC;AACxD,CAAC"}