@blxzer/pactile 0.5.0 → 0.6.0-beta.4

package/dist/pactile/coordination/journal.js

@@ -0,0 +1,255 @@
+import { randomUUID } from "node:crypto";
+import fs from "node:fs";
+import path from "node:path";
+import { assertCanonicalWriteTarget } from "../runtime/paths.js";
+import { coordinationEnvelopeSchema, coordinationEventHash, COORDINATION_GENESIS_HASH, COORDINATION_MAX_EVENT_BYTES, COORDINATION_MAX_LOG_BYTES, COORDINATION_MAX_LOG_EVENTS, CoordinationError, } from "./model.js";
+const STORE_RELATIVE_DIR = ".pactile/runtime/coordination";
+const STORE_FILE = `${STORE_RELATIVE_DIR}/events.jsonl`;
+const LOCK_FILE = `${STORE_RELATIVE_DIR}/events.lock`;
+function safeTarget(root, target) {
+    try {
+        return assertCanonicalWriteTarget(root, target);
+    }
+    catch {
+        throw new CoordinationError("unsafe-path");
+    }
+}
+function errorCode(error) {
+    return error &&
+        typeof error === "object" &&
+        "code" in error &&
+        typeof error.code === "string"
+        ? error.code
+        : null;
+}
+function ensureStoreDirectory(root) {
+    const directory = path.join(path.resolve(root), ...STORE_RELATIVE_DIR.split("/"));
+    const target = safeTarget(root, directory);
+    try {
+        fs.mkdirSync(target, { recursive: true, mode: 0o700 });
+        safeTarget(root, target);
+    }
+    catch (error) {
+        if (error instanceof CoordinationError)
+            throw error;
+        throw new CoordinationError("store-io");
+    }
+}
+export function withCoordinationJournalLock(root, action) {
+    ensureStoreDirectory(root);
+    const lockPath = path.join(path.resolve(root), ...LOCK_FILE.split("/"));
+    const target = safeTarget(root, lockPath);
+    const token = randomUUID();
+    let descriptor = null;
+    try {
+        descriptor = fs.openSync(target, fs.constants.O_WRONLY |
+            fs.constants.O_CREAT |
+            fs.constants.O_EXCL |
+            (fs.constants.O_NOFOLLOW ?? 0), 0o600);
+        const stat = fs.fstatSync(descriptor);
+        if (!stat.isFile() || stat.nlink !== 1) {
+            throw new CoordinationError("unsafe-path");
+        }
+        fs.writeFileSync(descriptor, token, "utf8");
+        fs.fsyncSync(descriptor);
+    }
+    catch (error) {
+        if (descriptor !== null) {
+            try {
+                fs.closeSync(descriptor);
+            }
+            catch {
+                /* The primary lock failure is reported below. */
+            }
+            descriptor = null;
+        }
+        if (error instanceof CoordinationError)
+            throw error;
+        if (errorCode(error) === "EEXIST") {
+            throw new CoordinationError("store-locked");
+        }
+        throw new CoordinationError("store-io");
+    }
+    try {
+        const lockDescriptor = descriptor;
+        if (lockDescriptor === null)
+            throw new CoordinationError("store-io");
+        descriptor = null;
+        try {
+            fs.closeSync(lockDescriptor);
+        }
+        catch {
+            throw new CoordinationError("store-io");
+        }
+        return action();
+    }
+    finally {
+        if (descriptor !== null) {
+            try {
+                fs.closeSync(descriptor);
+            }
+            catch {
+                /* A write error remains the primary result. */
+            }
+        }
+        try {
+            const lockTarget = safeTarget(root, target);
+            const readDescriptor = fs.openSync(lockTarget, fs.constants.O_RDONLY | (fs.constants.O_NOFOLLOW ?? 0));
+            let ownsLock = false;
+            try {
+                const stat = fs.fstatSync(readDescriptor);
+                ownsLock =
+                    stat.isFile() &&
+                        stat.nlink === 1 &&
+                        fs.readFileSync(readDescriptor, { encoding: "utf8" }) === token;
+            }
+            finally {
+                fs.closeSync(readDescriptor);
+            }
+            if (ownsLock)
+                fs.unlinkSync(safeTarget(root, target));
+        }
+        catch {
+            /* A leftover lock is visible and is never removed unless it is ours. */
+        }
+    }
+}
+export function readCoordinationJournal(root) {
+    const file = path.join(path.resolve(root), ...STORE_FILE.split("/"));
+    const target = safeTarget(root, file);
+    let descriptor;
+    try {
+        descriptor = fs.openSync(target, fs.constants.O_RDONLY | (fs.constants.O_NOFOLLOW ?? 0));
+    }
+    catch (error) {
+        if (errorCode(error) === "ENOENT") {
+            return { events: [], bytes: 0, lastHash: COORDINATION_GENESIS_HASH };
+        }
+        throw new CoordinationError("store-io");
+    }
+    let content;
+    let byteLength;
+    try {
+        const stat = fs.fstatSync(descriptor);
+        if (!stat.isFile() || stat.nlink !== 1) {
+            throw new CoordinationError("unsafe-path");
+        }
+        if (stat.size > COORDINATION_MAX_LOG_BYTES) {
+            throw new CoordinationError("store-limit");
+        }
+        byteLength = stat.size;
+        content = fs.readFileSync(descriptor, { encoding: "utf8" });
+    }
+    catch (error) {
+        if (error instanceof CoordinationError)
+            throw error;
+        throw new CoordinationError("store-io");
+    }
+    finally {
+        try {
+            fs.closeSync(descriptor);
+        }
+        catch {
+            /* Read failures are reported by the original operation. */
+        }
+    }
+    if (content.length === 0) {
+        return {
+            events: [],
+            bytes: byteLength,
+            lastHash: COORDINATION_GENESIS_HASH,
+        };
+    }
+    if (!content.endsWith("\n")) {
+        const lockPath = path.join(path.resolve(root), ...LOCK_FILE.split("/"));
+        if (fs.existsSync(lockPath))
+            throw new CoordinationError("store-locked");
+        throw new CoordinationError("store-corrupt");
+    }
+    const lines = content.slice(0, -1).split("\n");
+    if (lines.length > COORDINATION_MAX_LOG_EVENTS) {
+        throw new CoordinationError("store-limit");
+    }
+    let lastHash = COORDINATION_GENESIS_HASH;
+    const events = [];
+    for (const line of lines) {
+        if (Buffer.byteLength(line, "utf8") > COORDINATION_MAX_EVENT_BYTES) {
+            throw new CoordinationError("store-corrupt");
+        }
+        let parsed;
+        try {
+            parsed = JSON.parse(line);
+        }
+        catch {
+            throw new CoordinationError("store-corrupt");
+        }
+        const envelopeResult = coordinationEnvelopeSchema.safeParse(parsed);
+        if (!envelopeResult.success)
+            throw new CoordinationError("store-corrupt");
+        const envelope = envelopeResult.data;
+        if (envelope.previous_hash !== lastHash ||
+            coordinationEventHash(lastHash, envelope.event) !== envelope.hash) {
+            throw new CoordinationError("store-corrupt");
+        }
+        events.push(envelope.event);
+        lastHash = envelope.hash;
+    }
+    return { events, bytes: byteLength, lastHash };
+}
+export function appendCoordinationEnvelope(root, journal, event) {
+    const envelope = {
+        schema_version: 1,
+        previous_hash: journal.lastHash,
+        hash: coordinationEventHash(journal.lastHash, event),
+        event,
+    };
+    const line = Buffer.from(`${JSON.stringify(envelope)}\n`, "utf8");
+    if (line.byteLength > COORDINATION_MAX_EVENT_BYTES) {
+        throw new CoordinationError("store-limit");
+    }
+    if (journal.events.length >= COORDINATION_MAX_LOG_EVENTS ||
+        journal.bytes + line.byteLength > COORDINATION_MAX_LOG_BYTES) {
+        throw new CoordinationError("store-limit");
+    }
+    const file = path.join(path.resolve(root), ...STORE_FILE.split("/"));
+    const target = safeTarget(root, file);
+    let descriptor = null;
+    try {
+        descriptor = fs.openSync(target, fs.constants.O_WRONLY |
+            fs.constants.O_APPEND |
+            fs.constants.O_CREAT |
+            (fs.constants.O_NOFOLLOW ?? 0), 0o600);
+        const stat = fs.fstatSync(descriptor);
+        if (!stat.isFile() || stat.nlink !== 1) {
+            throw new CoordinationError("unsafe-path");
+        }
+        if (stat.size !== journal.bytes) {
+            throw new CoordinationError("state-conflict");
+        }
+        safeTarget(root, target);
+        let offset = 0;
+        while (offset < line.byteLength) {
+            const written = fs.writeSync(descriptor, line, offset, line.byteLength - offset, null);
+            if (written < 1)
+                throw new CoordinationError("store-io");
+            offset += written;
+        }
+        fs.fsyncSync(descriptor);
+    }
+    catch (error) {
+        if (error instanceof CoordinationError)
+            throw error;
+        throw new CoordinationError("store-io");
+    }
+    finally {
+        if (descriptor !== null) {
+            try {
+                fs.closeSync(descriptor);
+            }
+            catch {
+                /* A committed journal line has already been synced. */
+            }
+        }
+    }
+}
+//# sourceMappingURL=journal.js.map

package/dist/pactile/coordination/journal.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"journal.js","sourceRoot":"","sources":["../../../src/pactile/coordination/journal.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AACzC,OAAO,EAAE,MAAM,SAAS,CAAC;AACzB,OAAO,IAAI,MAAM,WAAW,CAAC;AAC7B,OAAO,EAAE,0BAA0B,EAAE,MAAM,qBAAqB,CAAC;AACjE,OAAO,EACL,0BAA0B,EAC1B,qBAAqB,EACrB,yBAAyB,EACzB,4BAA4B,EAC5B,0BAA0B,EAC1B,2BAA2B,EAC3B,iBAAiB,GAGlB,MAAM,YAAY,CAAC;AAEpB,MAAM,kBAAkB,GAAG,+BAA+B,CAAC;AAC3D,MAAM,UAAU,GAAG,GAAG,kBAAkB,eAAe,CAAC;AACxD,MAAM,SAAS,GAAG,GAAG,kBAAkB,cAAc,CAAC;AAQtD,SAAS,UAAU,CAAC,IAAY,EAAE,MAAc;IAC9C,IAAI,CAAC;QACH,OAAO,0BAA0B,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;IAClD,CAAC;IAAC,MAAM,CAAC;QACP,MAAM,IAAI,iBAAiB,CAAC,aAAa,CAAC,CAAC;IAC7C,CAAC;AACH,CAAC;AAED,SAAS,SAAS,CAAC,KAAc;IAC/B,OAAO,KAAK;QACV,OAAO,KAAK,KAAK,QAAQ;QACzB,MAAM,IAAI,KAAK;QACf,OAAQ,KAA4B,CAAC,IAAI,KAAK,QAAQ;QACtD,CAAC,CAAE,KAA0B,CAAC,IAAI;QAClC,CAAC,CAAC,IAAI,CAAC;AACX,CAAC;AAED,SAAS,oBAAoB,CAAC,IAAY;IACxC,MAAM,SAAS,GAAG,IAAI,CAAC,IAAI,CACzB,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,EAClB,GAAG,kBAAkB,CAAC,KAAK,CAAC,GAAG,CAAC,CACjC,CAAC;IACF,MAAM,MAAM,GAAG,UAAU,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC;IAC3C,IAAI,CAAC;QACH,EAAE,CAAC,SAAS,CAAC,MAAM,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC;QACvD,UAAU,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;IAC3B,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,IAAI,KAAK,YAAY,iBAAiB;YAAE,MAAM,KAAK,CAAC;QACpD,MAAM,IAAI,iBAAiB,CAAC,UAAU,CAAC,CAAC;IAC1C,CAAC;AACH,CAAC;AAED,MAAM,UAAU,2BAA2B,CACzC,IAAY,EACZ,MAAe;IAEf,oBAAoB,CAAC,IAAI,CAAC,CAAC;IAC3B,MAAM,QAAQ,GAAG,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,GAAG,SAAS,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC;IACxE,MAAM,MAAM,GAAG,UAAU,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;IAC1C,MAAM,KAAK,GAAG,UAAU,EAAE,CAAC;IAC3B,IAAI,UAAU,GAAkB,IAAI,CAAC;IACrC,IAAI,CAAC;QACH,UAAU,GAAG,EAAE,CAAC,QAAQ,CACtB,MAAM,EACN,EAAE,CAAC,SAAS,CAAC,QAAQ;YACnB,EAAE,CAAC,SAAS,CAAC,OAAO;YACpB,EAAE,CAAC,SAAS,CAAC,MAAM;YACnB,CAAC,EAAE,CAAC,SAAS,CAAC,UAAU,IAAI,CAAC,CAAC,EAChC,KAAK,CACN,CAAC;QACF,MAAM,IAAI,GAAG,EAAE,CAAC,SAAS,CAAC,UAAU,CAAC,CAAC;QACtC,IAAI,CAAC,IAAI,CAAC,MAAM,EAAE,IAAI,IAAI,CAAC,KAAK,KAAK,CAAC,EAAE,CAAC;YACvC,MAAM,IAAI,iBAAiB,CAAC,aAAa,CAAC,CAAC;QAC7C,CAAC;QACD,EAAE,CAAC,aAAa,CAAC,UAAU,EAAE,KAAK,EAAE,MAAM,CAAC,CAAC;QAC5C,EAAE,CAAC,SAAS,CAAC,UAAU,CAAC,CAAC;IAC3B,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,IAAI,UAAU,KAAK,IAAI,EAAE,CAAC;YACxB,IAAI,CAAC;gBACH,EAAE,CAAC,SAAS,CAAC,UAAU,CAAC,CAAC;YAC3B,CAAC;YAAC,MAAM,CAAC;gBACP,iDAAiD;YACnD,CAAC;YACD,UAAU,GAAG,IAAI,CAAC;QACpB,CAAC;QACD,IAAI,KAAK,YAAY,iBAAiB;YAAE,MAAM,KAAK,CAAC;QACpD,IAAI,SAAS,CAAC,KAAK,CAAC,KAAK,QAAQ,EAAE,CAAC;YAClC,MAAM,IAAI,iBAAiB,CAAC,cAAc,CAAC,CAAC;QAC9C,CAAC;QACD,MAAM,IAAI,iBAAiB,CAAC,UAAU,CAAC,CAAC;IAC1C,CAAC;IACD,IAAI,CAAC;QACH,MAAM,cAAc,GAAG,UAAU,CAAC;QAClC,IAAI,cAAc,KAAK,IAAI;YAAE,MAAM,IAAI,iBAAiB,CAAC,UAAU,CAAC,CAAC;QACrE,UAAU,GAAG,IAAI,CAAC;QAClB,IAAI,CAAC;YACH,EAAE,CAAC,SAAS,CAAC,cAAc,CAAC,CAAC;QAC/B,CAAC;QAAC,MAAM,CAAC;YACP,MAAM,IAAI,iBAAiB,CAAC,UAAU,CAAC,CAAC;QAC1C,CAAC;QACD,OAAO,MAAM,EAAE,CAAC;IAClB,CAAC;YAAS,CAAC;QACT,IAAI,UAAU,KAAK,IAAI,EAAE,CAAC;YACxB,IAAI,CAAC;gBACH,EAAE,CAAC,SAAS,CAAC,UAAU,CAAC,CAAC;YAC3B,CAAC;YAAC,MAAM,CAAC;gBACP,+CAA+C;YACjD,CAAC;QACH,CAAC;QACD,IAAI,CAAC;YACH,MAAM,UAAU,GAAG,UAAU,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;YAC5C,MAAM,cAAc,GAAG,EAAE,CAAC,QAAQ,CAChC,UAAU,EACV,EAAE,CAAC,SAAS,CAAC,QAAQ,GAAG,CAAC,EAAE,CAAC,SAAS,CAAC,UAAU,IAAI,CAAC,CAAC,CACvD,CAAC;YACF,IAAI,QAAQ,GAAG,KAAK,CAAC;YACrB,IAAI,CAAC;gBACH,MAAM,IAAI,GAAG,EAAE,CAAC,SAAS,CAAC,cAAc,CAAC,CAAC;gBAC1C,QAAQ;oBACN,IAAI,CAAC,MAAM,EAAE;wBACb,IAAI,CAAC,KAAK,KAAK,CAAC;wBAChB,EAAE,CAAC,YAAY,CAAC,cAAc,EAAE,EAAE,QAAQ,EAAE,MAAM,EAAE,CAAC,KAAK,KAAK,CAAC;YACpE,CAAC;oBAAS,CAAC;gBACT,EAAE,CAAC,SAAS,CAAC,cAAc,CAAC,CAAC;YAC/B,CAAC;YACD,IAAI,QAAQ;gBAAE,EAAE,CAAC,UAAU,CAAC,UAAU,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC,CAAC;QACxD,CAAC;QAAC,MAAM,CAAC;YACP,wEAAwE;QAC1E,CAAC;IACH,CAAC;AACH,CAAC;AAED,MAAM,UAAU,uBAAuB,CAAC,IAAY;IAClD,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,GAAG,UAAU,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC;IACrE,MAAM,MAAM,GAAG,UAAU,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;IACtC,IAAI,UAAkB,CAAC;IACvB,IAAI,CAAC;QACH,UAAU,GAAG,EAAE,CAAC,QAAQ,CACtB,MAAM,EACN,EAAE,CAAC,SAAS,CAAC,QAAQ,GAAG,CAAC,EAAE,CAAC,SAAS,CAAC,UAAU,IAAI,CAAC,CAAC,CACvD,CAAC;IACJ,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,IAAI,SAAS,CAAC,KAAK,CAAC,KAAK,QAAQ,EAAE,CAAC;YAClC,OAAO,EAAE,MAAM,EAAE,EAAE,EAAE,KAAK,EAAE,CAAC,EAAE,QAAQ,EAAE,yBAAyB,EAAE,CAAC;QACvE,CAAC;QACD,MAAM,IAAI,iBAAiB,CAAC,UAAU,CAAC,CAAC;IAC1C,CAAC;IAED,IAAI,OAAe,CAAC;IACpB,IAAI,UAAkB,CAAC;IACvB,IAAI,CAAC;QACH,MAAM,IAAI,GAAG,EAAE,CAAC,SAAS,CAAC,UAAU,CAAC,CAAC;QACtC,IAAI,CAAC,IAAI,CAAC,MAAM,EAAE,IAAI,IAAI,CAAC,KAAK,KAAK,CAAC,EAAE,CAAC;YACvC,MAAM,IAAI,iBAAiB,CAAC,aAAa,CAAC,CAAC;QAC7C,CAAC;QACD,IAAI,IAAI,CAAC,IAAI,GAAG,0BAA0B,EAAE,CAAC;YAC3C,MAAM,IAAI,iBAAiB,CAAC,aAAa,CAAC,CAAC;QAC7C,CAAC;QACD,UAAU,GAAG,IAAI,CAAC,IAAI,CAAC;QACvB,OAAO,GAAG,EAAE,CAAC,YAAY,CAAC,UAAU,EAAE,EAAE,QAAQ,EAAE,MAAM,EAAE,CAAC,CAAC;IAC9D,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,IAAI,KAAK,YAAY,iBAAiB;YAAE,MAAM,KAAK,CAAC;QACpD,MAAM,IAAI,iBAAiB,CAAC,UAAU,CAAC,CAAC;IAC1C,CAAC;YAAS,CAAC;QACT,IAAI,CAAC;YACH,EAAE,CAAC,SAAS,CAAC,UAAU,CAAC,CAAC;QAC3B,CAAC;QAAC,MAAM,CAAC;YACP,2DAA2D;QAC7D,CAAC;IACH,CAAC;IAED,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACzB,OAAO;YACL,MAAM,EAAE,EAAE;YACV,KAAK,EAAE,UAAU;YACjB,QAAQ,EAAE,yBAAyB;SACpC,CAAC;IACJ,CAAC;IACD,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC;QAC5B,MAAM,QAAQ,GAAG,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,GAAG,SAAS,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC;QACxE,IAAI,EAAE,CAAC,UAAU,CAAC,QAAQ,CAAC;YAAE,MAAM,IAAI,iBAAiB,CAAC,cAAc,CAAC,CAAC;QACzE,MAAM,IAAI,iBAAiB,CAAC,eAAe,CAAC,CAAC;IAC/C,CAAC;IAED,MAAM,KAAK,GAAG,OAAO,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IAC/C,IAAI,KAAK,CAAC,MAAM,GAAG,2BAA2B,EAAE,CAAC;QAC/C,MAAM,IAAI,iBAAiB,CAAC,aAAa,CAAC,CAAC;IAC7C,CAAC;IACD,IAAI,QAAQ,GAAG,yBAAyB,CAAC;IACzC,MAAM,MAAM,GAAwB,EAAE,CAAC;IACvC,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,IAAI,MAAM,CAAC,UAAU,CAAC,IAAI,EAAE,MAAM,CAAC,GAAG,4BAA4B,EAAE,CAAC;YACnE,MAAM,IAAI,iBAAiB,CAAC,eAAe,CAAC,CAAC;QAC/C,CAAC;QACD,IAAI,MAAe,CAAC;QACpB,IAAI,CAAC;YACH,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;QAC5B,CAAC;QAAC,MAAM,CAAC;YACP,MAAM,IAAI,iBAAiB,CAAC,eAAe,CAAC,CAAC;QAC/C,CAAC;QACD,MAAM,cAAc,GAAG,0BAA0B,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC;QACpE,IAAI,CAAC,cAAc,CAAC,OAAO;YAAE,MAAM,IAAI,iBAAiB,CAAC,eAAe,CAAC,CAAC;QAC1E,MAAM,QAAQ,GAAyB,cAAc,CAAC,IAAI,CAAC;QAC3D,IACE,QAAQ,CAAC,aAAa,KAAK,QAAQ;YACnC,qBAAqB,CAAC,QAAQ,EAAE,QAAQ,CAAC,KAAK,CAAC,KAAK,QAAQ,CAAC,IAAI,EACjE,CAAC;YACD,MAAM,IAAI,iBAAiB,CAAC,eAAe,CAAC,CAAC;QAC/C,CAAC;QACD,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC;QAC5B,QAAQ,GAAG,QAAQ,CAAC,IAAI,CAAC;IAC3B,CAAC;IACD,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,UAAU,EAAE,QAAQ,EAAE,CAAC;AACjD,CAAC;AAED,MAAM,UAAU,0BAA0B,CACxC,IAAY,EACZ,OAA4B,EAC5B,KAAwB;IAExB,MAAM,QAAQ,GAAyB;QACrC,cAAc,EAAE,CAAC;QACjB,aAAa,EAAE,OAAO,CAAC,QAAQ;QAC/B,IAAI,EAAE,qBAAqB,CAAC,OAAO,CAAC,QAAQ,EAAE,KAAK,CAAC;QACpD,KAAK;KACN,CAAC;IACF,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;IAClE,IAAI,IAAI,CAAC,UAAU,GAAG,4BAA4B,EAAE,CAAC;QACnD,MAAM,IAAI,iBAAiB,CAAC,aAAa,CAAC,CAAC;IAC7C,CAAC;IACD,IACE,OAAO,CAAC,MAAM,CAAC,MAAM,IAAI,2BAA2B;QACpD,OAAO,CAAC,KAAK,GAAG,IAAI,CAAC,UAAU,GAAG,0BAA0B,EAC5D,CAAC;QACD,MAAM,IAAI,iBAAiB,CAAC,aAAa,CAAC,CAAC;IAC7C,CAAC;IACD,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,GAAG,UAAU,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC;IACrE,MAAM,MAAM,GAAG,UAAU,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;IACtC,IAAI,UAAU,GAAkB,IAAI,CAAC;IACrC,IAAI,CAAC;QACH,UAAU,GAAG,EAAE,CAAC,QAAQ,CACtB,MAAM,EACN,EAAE,CAAC,SAAS,CAAC,QAAQ;YACnB,EAAE,CAAC,SAAS,CAAC,QAAQ;YACrB,EAAE,CAAC,SAAS,CAAC,OAAO;YACpB,CAAC,EAAE,CAAC,SAAS,CAAC,UAAU,IAAI,CAAC,CAAC,EAChC,KAAK,CACN,CAAC;QACF,MAAM,IAAI,GAAG,EAAE,CAAC,SAAS,CAAC,UAAU,CAAC,CAAC;QACtC,IAAI,CAAC,IAAI,CAAC,MAAM,EAAE,IAAI,IAAI,CAAC,KAAK,KAAK,CAAC,EAAE,CAAC;YACvC,MAAM,IAAI,iBAAiB,CAAC,aAAa,CAAC,CAAC;QAC7C,CAAC;QACD,IAAI,IAAI,CAAC,IAAI,KAAK,OAAO,CAAC,KAAK,EAAE,CAAC;YAChC,MAAM,IAAI,iBAAiB,CAAC,gBAAgB,CAAC,CAAC;QAChD,CAAC;QACD,UAAU,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;QACzB,IAAI,MAAM,GAAG,CAAC,CAAC;QACf,OAAO,MAAM,GAAG,IAAI,CAAC,UAAU,EAAE,CAAC;YAChC,MAAM,OAAO,GAAG,EAAE,CAAC,SAAS,CAC1B,UAAU,EACV,IAAI,EACJ,MAAM,EACN,IAAI,CAAC,UAAU,GAAG,MAAM,EACxB,IAAI,CACL,CAAC;YACF,IAAI,OAAO,GAAG,CAAC;gBAAE,MAAM,IAAI,iBAAiB,CAAC,UAAU,CAAC,CAAC;YACzD,MAAM,IAAI,OAAO,CAAC;QACpB,CAAC;QACD,EAAE,CAAC,SAAS,CAAC,UAAU,CAAC,CAAC;IAC3B,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,IAAI,KAAK,YAAY,iBAAiB;YAAE,MAAM,KAAK,CAAC;QACpD,MAAM,IAAI,iBAAiB,CAAC,UAAU,CAAC,CAAC;IAC1C,CAAC;YAAS,CAAC;QACT,IAAI,UAAU,KAAK,IAAI,EAAE,CAAC;YACxB,IAAI,CAAC;gBACH,EAAE,CAAC,SAAS,CAAC,UAAU,CAAC,CAAC;YAC3B,CAAC;YAAC,MAAM,CAAC;gBACP,uDAAuD;YACzD,CAAC;QACH,CAAC;IACH,CAAC;AACH,CAAC"}

package/dist/pactile/coordination/kernel-resume.d.ts

@@ -0,0 +1,8 @@
+import { type ResumeTaskRunRequest, type TaskKernelMutationResult } from "../../core/task/index.js";
+/**
+ * Resume a Kernel Run while holding the coordination journal lock. The
+ * authorization event binds the exact Kernel `run.resumed` event to the latest
+ * unblock so dispatch admission can verify the causal chain.
+ */
+export declare function resumeTaskRunWithCoordinationBarrier(request: ResumeTaskRunRequest): TaskKernelMutationResult;
+//# sourceMappingURL=kernel-resume.d.ts.map

package/dist/pactile/coordination/kernel-resume.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"kernel-resume.d.ts","sourceRoot":"","sources":["../../../src/pactile/coordination/kernel-resume.ts"],"names":[],"mappings":"AACA,OAAO,EAGL,KAAK,oBAAoB,EACzB,KAAK,wBAAwB,EAC9B,MAAM,0BAA0B,CAAC;AAmBlC;;;;GAIG;AACH,wBAAgB,oCAAoC,CAClD,OAAO,EAAE,oBAAoB,GAC5B,wBAAwB,CAiG1B"}

package/dist/pactile/coordination/kernel-resume.js

@@ -0,0 +1,87 @@
+import path from "node:path";
+import { readTaskKernel, resumeTaskRun, } from "../../core/task/index.js";
+import { CoordinationError, } from "./model.js";
+import { appendCoordinationEnvelope, readCoordinationJournal, withCoordinationJournalLock, } from "./journal.js";
+import { applyCoordinationEvent, newCoordinationEventBase, parseCoordinationEvent, replayCoordinationEvents, } from "./state.js";
+/**
+ * Resume a Kernel Run while holding the coordination journal lock. The
+ * authorization event binds the exact Kernel `run.resumed` event to the latest
+ * unblock so dispatch admission can verify the causal chain.
+ */
+export function resumeTaskRunWithCoordinationBarrier(request) {
+    const root = path.resolve(request.root);
+    return withCoordinationJournalLock(root, () => {
+        const journal = readCoordinationJournal(root);
+        const state = replayCoordinationEvents(journal.events);
+        const before = readTaskKernel({
+            root,
+            taskDir: request.taskDir,
+            cwd: request.cwd,
+        });
+        if (before.kind !== "task-kernel-v2") {
+            throw new Error("coordination-resume-requires-task-kernel-v2");
+        }
+        const taskId = before.kernel.identity.taskId;
+        if (state.activeBlocks.has(taskId)) {
+            throw new Error("coordination-task-blocked");
+        }
+        const latestUnblock = [...state.events]
+            .reverse()
+            .find((event) => event.type === "task.unblocked" && event.task_id === taskId);
+        if (!latestUnblock)
+            return resumeTaskRun(request);
+        const barrierRevision = latestUnblock.kernel_revision_at_unblock;
+        const barrierEventId = latestUnblock.kernel_event_id_at_unblock;
+        if (typeof barrierRevision !== "number" ||
+            typeof barrierEventId !== "string") {
+            throw new Error("coordination-unblock-kernel-barrier-missing");
+        }
+        const barrierIndex = before.kernel.events.findIndex((event) => event.id === barrierEventId);
+        const barrierEvent = before.kernel.events[barrierIndex];
+        if (barrierEvent?.revision !== barrierRevision || barrierIndex < 0) {
+            throw new Error("coordination-unblock-kernel-barrier-invalid");
+        }
+        const runEntryIndex = before.kernel.events.findIndex((event) => event.entityId === request.runId &&
+            (event.type === "run.queued" || event.type === "run.started"));
+        const runEntry = before.kernel.events[runEntryIndex];
+        if (!runEntry)
+            throw new Error("task-run-start-event-missing");
+        if (runEntryIndex <= barrierIndex &&
+            (runEntry.type !== "run.queued" || latestUnblock.run_id !== request.runId)) {
+            throw new Error("coordination-running-run-requires-terminal-retry");
+        }
+        const result = resumeTaskRun(request);
+        if (result.event.type !== "run.resumed" ||
+            result.event.entityId !== request.runId ||
+            result.kernel.events.find((event) => event.id === result.event.id)
+                ?.revision !== result.event.revision) {
+            throw new Error("coordination-resume-kernel-event-mismatch");
+        }
+        const existing = state.events.find((event) => event.type === "run.resume-authorized" &&
+            event.task_id === taskId &&
+            event.run_id === request.runId &&
+            event.unblock_event_id === latestUnblock.event_id);
+        if (existing) {
+            if (existing.kernel_revision === result.event.revision &&
+                existing.kernel_event_id === result.event.id) {
+                return result;
+            }
+            throw new CoordinationError("state-conflict");
+        }
+        const event = parseCoordinationEvent({
+            ...newCoordinationEventBase("run.resume-authorized"),
+            type: "run.resume-authorized",
+            task_id: taskId,
+            run_id: request.runId,
+            unblock_event_id: latestUnblock.event_id,
+            kernel_revision: result.event.revision,
+            kernel_event_id: result.event.id,
+            actor: { platform: "pactile", id: null },
+            evidence_level: "local",
+        });
+        applyCoordinationEvent(state, event);
+        appendCoordinationEnvelope(root, journal, event);
+        return result;
+    });
+}
+//# sourceMappingURL=kernel-resume.js.map

package/dist/pactile/coordination/kernel-resume.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"kernel-resume.js","sourceRoot":"","sources":["../../../src/pactile/coordination/kernel-resume.ts"],"names":[],"mappings":"AAAA,OAAO,IAAI,MAAM,WAAW,CAAC;AAC7B,OAAO,EACL,cAAc,EACd,aAAa,GAGd,MAAM,0BAA0B,CAAC;AAClC,OAAO,EACL,iBAAiB,GAIlB,MAAM,YAAY,CAAC;AACpB,OAAO,EACL,0BAA0B,EAC1B,uBAAuB,EACvB,2BAA2B,GAC5B,MAAM,cAAc,CAAC;AACtB,OAAO,EACL,sBAAsB,EACtB,wBAAwB,EACxB,sBAAsB,EACtB,wBAAwB,GACzB,MAAM,YAAY,CAAC;AAEpB;;;;GAIG;AACH,MAAM,UAAU,oCAAoC,CAClD,OAA6B;IAE7B,MAAM,IAAI,GAAG,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;IACxC,OAAO,2BAA2B,CAAC,IAAI,EAAE,GAAG,EAAE;QAC5C,MAAM,OAAO,GAAG,uBAAuB,CAAC,IAAI,CAAC,CAAC;QAC9C,MAAM,KAAK,GAAG,wBAAwB,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;QACvD,MAAM,MAAM,GAAG,cAAc,CAAC;YAC5B,IAAI;YACJ,OAAO,EAAE,OAAO,CAAC,OAAO;YACxB,GAAG,EAAE,OAAO,CAAC,GAAG;SACjB,CAAC,CAAC;QACH,IAAI,MAAM,CAAC,IAAI,KAAK,gBAAgB,EAAE,CAAC;YACrC,MAAM,IAAI,KAAK,CAAC,6CAA6C,CAAC,CAAC;QACjE,CAAC;QACD,MAAM,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC;QAC7C,IAAI,KAAK,CAAC,YAAY,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC;YACnC,MAAM,IAAI,KAAK,CAAC,2BAA2B,CAAC,CAAC;QAC/C,CAAC;QAED,MAAM,aAAa,GAAG,CAAC,GAAG,KAAK,CAAC,MAAM,CAAC;aACpC,OAAO,EAAE;aACT,IAAI,CACH,CAAC,KAAK,EAAsC,EAAE,CAC5C,KAAK,CAAC,IAAI,KAAK,gBAAgB,IAAI,KAAK,CAAC,OAAO,KAAK,MAAM,CAC9D,CAAC;QACJ,IAAI,CAAC,aAAa;YAAE,OAAO,aAAa,CAAC,OAAO,CAAC,CAAC;QAElD,MAAM,eAAe,GAAG,aAAa,CAAC,0BAA0B,CAAC;QACjE,MAAM,cAAc,GAAG,aAAa,CAAC,0BAA0B,CAAC;QAChE,IACE,OAAO,eAAe,KAAK,QAAQ;YACnC,OAAO,cAAc,KAAK,QAAQ,EAClC,CAAC;YACD,MAAM,IAAI,KAAK,CAAC,6CAA6C,CAAC,CAAC;QACjE,CAAC;QACD,MAAM,YAAY,GAAG,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,SAAS,CACjD,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,EAAE,KAAK,cAAc,CACvC,CAAC;QACF,MAAM,YAAY,GAAG,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,YAAY,CAAC,CAAC;QACxD,IAAI,YAAY,EAAE,QAAQ,KAAK,eAAe,IAAI,YAAY,GAAG,CAAC,EAAE,CAAC;YACnE,MAAM,IAAI,KAAK,CAAC,6CAA6C,CAAC,CAAC;QACjE,CAAC;QACD,MAAM,aAAa,GAAG,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,SAAS,CAClD,CAAC,KAAK,EAAE,EAAE,CACR,KAAK,CAAC,QAAQ,KAAK,OAAO,CAAC,KAAK;YAChC,CAAC,KAAK,CAAC,IAAI,KAAK,YAAY,IAAI,KAAK,CAAC,IAAI,KAAK,aAAa,CAAC,CAChE,CAAC;QACF,MAAM,QAAQ,GAAG,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,aAAa,CAAC,CAAC;QACrD,IAAI,CAAC,QAAQ;YAAE,MAAM,IAAI,KAAK,CAAC,8BAA8B,CAAC,CAAC;QAC/D,IACE,aAAa,IAAI,YAAY;YAC7B,CAAC,QAAQ,CAAC,IAAI,KAAK,YAAY,IAAI,aAAa,CAAC,MAAM,KAAK,OAAO,CAAC,KAAK,CAAC,EAC1E,CAAC;YACD,MAAM,IAAI,KAAK,CAAC,kDAAkD,CAAC,CAAC;QACtE,CAAC;QAED,MAAM,MAAM,GAAG,aAAa,CAAC,OAAO,CAAC,CAAC;QACtC,IACE,MAAM,CAAC,KAAK,CAAC,IAAI,KAAK,aAAa;YACnC,MAAM,CAAC,KAAK,CAAC,QAAQ,KAAK,OAAO,CAAC,KAAK;YACvC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,EAAE,KAAK,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC;gBAChE,EAAE,QAAQ,KAAK,MAAM,CAAC,KAAK,CAAC,QAAQ,EACtC,CAAC;YACD,MAAM,IAAI,KAAK,CAAC,2CAA2C,CAAC,CAAC;QAC/D,CAAC;QAED,MAAM,QAAQ,GAAG,KAAK,CAAC,MAAM,CAAC,IAAI,CAChC,CAAC,KAAK,EAA4C,EAAE,CAClD,KAAK,CAAC,IAAI,KAAK,uBAAuB;YACtC,KAAK,CAAC,OAAO,KAAK,MAAM;YACxB,KAAK,CAAC,MAAM,KAAK,OAAO,CAAC,KAAK;YAC9B,KAAK,CAAC,gBAAgB,KAAK,aAAa,CAAC,QAAQ,CACpD,CAAC;QACF,IAAI,QAAQ,EAAE,CAAC;YACb,IACE,QAAQ,CAAC,eAAe,KAAK,MAAM,CAAC,KAAK,CAAC,QAAQ;gBAClD,QAAQ,CAAC,eAAe,KAAK,MAAM,CAAC,KAAK,CAAC,EAAE,EAC5C,CAAC;gBACD,OAAO,MAAM,CAAC;YAChB,CAAC;YACD,MAAM,IAAI,iBAAiB,CAAC,gBAAgB,CAAC,CAAC;QAChD,CAAC;QAED,MAAM,KAAK,GAAG,sBAAsB,CAAC;YACnC,GAAG,wBAAwB,CAAC,uBAAuB,CAAC;YACpD,IAAI,EAAE,uBAAuB;YAC7B,OAAO,EAAE,MAAM;YACf,MAAM,EAAE,OAAO,CAAC,KAAK;YACrB,gBAAgB,EAAE,aAAa,CAAC,QAAQ;YACxC,eAAe,EAAE,MAAM,CAAC,KAAK,CAAC,QAAQ;YACtC,eAAe,EAAE,MAAM,CAAC,KAAK,CAAC,EAAE;YAChC,KAAK,EAAE,EAAE,QAAQ,EAAE,SAAS,EAAE,EAAE,EAAE,IAAI,EAAE;YACxC,cAAc,EAAE,OAAO;SACW,CAAC,CAAC;QACtC,sBAAsB,CAAC,KAAK,EAAE,KAA0B,CAAC,CAAC;QAC1D,0BAA0B,CAAC,IAAI,EAAE,OAAO,EAAE,KAAK,CAAC,CAAC;QACjD,OAAO,MAAM,CAAC;IAChB,CAAC,CAAC,CAAC;AACL,CAAC"}