@blxzer/pactile 0.6.0-beta.2 → 0.6.0-beta.5

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"}

package/dist/pactile/coordination/model.d.ts

@@ -0,0 +1,553 @@
+import { z } from "zod";
+export declare const COORDINATION_MAX_EVENT_BYTES: number;
+export declare const COORDINATION_MAX_LOG_BYTES: number;
+export declare const COORDINATION_MAX_LOG_EVENTS = 20000;
+export type CoordinationErrorCode = "invalid-input" | "unsafe-path" | "store-corrupt" | "store-locked" | "store-limit" | "state-conflict" | "store-io";
+export declare class CoordinationError extends Error {
+    readonly code: CoordinationErrorCode;
+    constructor(code: CoordinationErrorCode);
+}
+declare const evidenceLevel: z.ZodEnum<{
+    provider: "provider";
+    "desktop-native": "desktop-native";
+    local: "local";
+    simulated: "simulated";
+}>;
+declare const actor: z.ZodObject<{
+    platform: z.ZodEnum<{
+        user: "user";
+        host: "host";
+        pactile: "pactile";
+        pi: "pi";
+        codex: "codex";
+        other: "other";
+    }>;
+    id: z.ZodNullable<z.ZodString>;
+}, z.core.$strict>;
+export declare const coordinationEventSchema: z.ZodDiscriminatedUnion<[z.ZodObject<{
+    type: z.ZodLiteral<"message.created">;
+    message_id: z.ZodString;
+    from_task_id: z.ZodString;
+    to_task_id: z.ZodString;
+    from_run_id: z.ZodNullable<z.ZodString>;
+    to_run_id: z.ZodNullable<z.ZodString>;
+    sender: z.ZodObject<{
+        platform: z.ZodEnum<{
+            user: "user";
+            host: "host";
+            pactile: "pactile";
+            pi: "pi";
+            codex: "codex";
+            other: "other";
+        }>;
+        id: z.ZodNullable<z.ZodString>;
+    }, z.core.$strict>;
+    evidence_level: z.ZodEnum<{
+        provider: "provider";
+        "desktop-native": "desktop-native";
+        local: "local";
+        simulated: "simulated";
+    }>;
+    body: z.ZodString;
+    request_id: z.ZodNullable<z.ZodString>;
+    host_ref: z.ZodNullable<z.ZodString>;
+    schema_version: z.ZodLiteral<1>;
+    event_id: z.ZodString;
+    recorded_at: z.ZodString;
+}, z.core.$strict>, z.ZodObject<{
+    type: z.ZodLiteral<"message.receipt">;
+    message_id: z.ZodString;
+    receipt_id: z.ZodString;
+    status: z.ZodEnum<{
+        failed: "failed";
+        delivered: "delivered";
+        queued: "queued";
+        sent: "sent";
+        acknowledged: "acknowledged";
+    }>;
+    actor: z.ZodObject<{
+        platform: z.ZodEnum<{
+            user: "user";
+            host: "host";
+            pactile: "pactile";
+            pi: "pi";
+            codex: "codex";
+            other: "other";
+        }>;
+        id: z.ZodNullable<z.ZodString>;
+    }, z.core.$strict>;
+    evidence_level: z.ZodEnum<{
+        provider: "provider";
+        "desktop-native": "desktop-native";
+        local: "local";
+        simulated: "simulated";
+    }>;
+    external_ref: z.ZodNullable<z.ZodString>;
+    note: z.ZodNullable<z.ZodString>;
+    schema_version: z.ZodLiteral<1>;
+    event_id: z.ZodString;
+    recorded_at: z.ZodString;
+}, z.core.$strict>, z.ZodObject<{
+    type: z.ZodLiteral<"task.blocked">;
+    task_id: z.ZodString;
+    block_id: z.ZodString;
+    blocked_by_task_id: z.ZodNullable<z.ZodString>;
+    message_id: z.ZodNullable<z.ZodString>;
+    reason: z.ZodString;
+    actor: z.ZodObject<{
+        platform: z.ZodEnum<{
+            user: "user";
+            host: "host";
+            pactile: "pactile";
+            pi: "pi";
+            codex: "codex";
+            other: "other";
+        }>;
+        id: z.ZodNullable<z.ZodString>;
+    }, z.core.$strict>;
+    evidence_level: z.ZodEnum<{
+        provider: "provider";
+        "desktop-native": "desktop-native";
+        local: "local";
+        simulated: "simulated";
+    }>;
+    schema_version: z.ZodLiteral<1>;
+    event_id: z.ZodString;
+    recorded_at: z.ZodString;
+}, z.core.$strict>, z.ZodObject<{
+    type: z.ZodLiteral<"task.unblocked">;
+    task_id: z.ZodString;
+    block_id: z.ZodString;
+    unblocked_by_task_id: z.ZodNullable<z.ZodString>;
+    resolution_message_id: z.ZodNullable<z.ZodString>;
+    run_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
+    kernel_revision_at_unblock: z.ZodOptional<z.ZodNullable<z.ZodNumber>>;
+    kernel_event_id_at_unblock: z.ZodOptional<z.ZodNullable<z.ZodString>>;
+    reason: z.ZodString;
+    actor: z.ZodObject<{
+        platform: z.ZodEnum<{
+            user: "user";
+            host: "host";
+            pactile: "pactile";
+            pi: "pi";
+            codex: "codex";
+            other: "other";
+        }>;
+        id: z.ZodNullable<z.ZodString>;
+    }, z.core.$strict>;
+    evidence_level: z.ZodEnum<{
+        provider: "provider";
+        "desktop-native": "desktop-native";
+        local: "local";
+        simulated: "simulated";
+    }>;
+    schema_version: z.ZodLiteral<1>;
+    event_id: z.ZodString;
+    recorded_at: z.ZodString;
+}, z.core.$strict>, z.ZodObject<{
+    type: z.ZodLiteral<"run.resume-authorized">;
+    task_id: z.ZodString;
+    run_id: z.ZodString;
+    unblock_event_id: z.ZodString;
+    kernel_revision: z.ZodNumber;
+    kernel_event_id: z.ZodString;
+    actor: z.ZodObject<{
+        platform: z.ZodEnum<{
+            user: "user";
+            host: "host";
+            pactile: "pactile";
+            pi: "pi";
+            codex: "codex";
+            other: "other";
+        }>;
+        id: z.ZodNullable<z.ZodString>;
+    }, z.core.$strict>;
+    evidence_level: z.ZodLiteral<"local">;
+    schema_version: z.ZodLiteral<1>;
+    event_id: z.ZodString;
+    recorded_at: z.ZodString;
+}, z.core.$strict>, z.ZodObject<{
+    type: z.ZodLiteral<"run.started">;
+    task_id: z.ZodString;
+    run_id: z.ZodString;
+    role: z.ZodNullable<z.ZodString>;
+    workspace_id: z.ZodNullable<z.ZodString>;
+    provider_run_id: z.ZodNullable<z.ZodString>;
+    actor: z.ZodObject<{
+        platform: z.ZodEnum<{
+            user: "user";
+            host: "host";
+            pactile: "pactile";
+            pi: "pi";
+            codex: "codex";
+            other: "other";
+        }>;
+        id: z.ZodNullable<z.ZodString>;
+    }, z.core.$strict>;
+    evidence_level: z.ZodEnum<{
+        provider: "provider";
+        "desktop-native": "desktop-native";
+        local: "local";
+        simulated: "simulated";
+    }>;
+    schema_version: z.ZodLiteral<1>;
+    event_id: z.ZodString;
+    recorded_at: z.ZodString;
+}, z.core.$strict>, z.ZodObject<{
+    type: z.ZodLiteral<"run.progress">;
+    task_id: z.ZodString;
+    run_id: z.ZodString;
+    sequence: z.ZodNumber;
+    name: z.ZodString;
+    summary: z.ZodString;
+    evidence_refs: z.ZodArray<z.ZodString>;
+    actor: z.ZodObject<{
+        platform: z.ZodEnum<{
+            user: "user";
+            host: "host";
+            pactile: "pactile";
+            pi: "pi";
+            codex: "codex";
+            other: "other";
+        }>;
+        id: z.ZodNullable<z.ZodString>;
+    }, z.core.$strict>;
+    evidence_level: z.ZodEnum<{
+        provider: "provider";
+        "desktop-native": "desktop-native";
+        local: "local";
+        simulated: "simulated";
+    }>;
+    schema_version: z.ZodLiteral<1>;
+    event_id: z.ZodString;
+    recorded_at: z.ZodString;
+}, z.core.$strict>, z.ZodObject<{
+    type: z.ZodLiteral<"run.result">;
+    task_id: z.ZodString;
+    run_id: z.ZodString;
+    outcome: z.ZodEnum<{
+        failed: "failed";
+        cancelled: "cancelled";
+        timed_out: "timed_out";
+        interrupted: "interrupted";
+        settled: "settled";
+        needs_review: "needs_review";
+    }>;
+    summary: z.ZodString;
+    evidence_refs: z.ZodArray<z.ZodString>;
+    actor: z.ZodObject<{
+        platform: z.ZodEnum<{
+            user: "user";
+            host: "host";
+            pactile: "pactile";
+            pi: "pi";
+            codex: "codex";
+            other: "other";
+        }>;
+        id: z.ZodNullable<z.ZodString>;
+    }, z.core.$strict>;
+    evidence_level: z.ZodEnum<{
+        provider: "provider";
+        "desktop-native": "desktop-native";
+        local: "local";
+        simulated: "simulated";
+    }>;
+    schema_version: z.ZodLiteral<1>;
+    event_id: z.ZodString;
+    recorded_at: z.ZodString;
+}, z.core.$strict>], "type">;
+export declare const coordinationEnvelopeSchema: z.ZodObject<{
+    schema_version: z.ZodLiteral<1>;
+    previous_hash: z.ZodString;
+    hash: z.ZodString;
+    event: z.ZodDiscriminatedUnion<[z.ZodObject<{
+        type: z.ZodLiteral<"message.created">;
+        message_id: z.ZodString;
+        from_task_id: z.ZodString;
+        to_task_id: z.ZodString;
+        from_run_id: z.ZodNullable<z.ZodString>;
+        to_run_id: z.ZodNullable<z.ZodString>;
+        sender: z.ZodObject<{
+            platform: z.ZodEnum<{
+                user: "user";
+                host: "host";
+                pactile: "pactile";
+                pi: "pi";
+                codex: "codex";
+                other: "other";
+            }>;
+            id: z.ZodNullable<z.ZodString>;
+        }, z.core.$strict>;
+        evidence_level: z.ZodEnum<{
+            provider: "provider";
+            "desktop-native": "desktop-native";
+            local: "local";
+            simulated: "simulated";
+        }>;
+        body: z.ZodString;
+        request_id: z.ZodNullable<z.ZodString>;
+        host_ref: z.ZodNullable<z.ZodString>;
+        schema_version: z.ZodLiteral<1>;
+        event_id: z.ZodString;
+        recorded_at: z.ZodString;
+    }, z.core.$strict>, z.ZodObject<{
+        type: z.ZodLiteral<"message.receipt">;
+        message_id: z.ZodString;
+        receipt_id: z.ZodString;
+        status: z.ZodEnum<{
+            failed: "failed";
+            delivered: "delivered";
+            queued: "queued";
+            sent: "sent";
+            acknowledged: "acknowledged";
+        }>;
+        actor: z.ZodObject<{
+            platform: z.ZodEnum<{
+                user: "user";
+                host: "host";
+                pactile: "pactile";
+                pi: "pi";
+                codex: "codex";
+                other: "other";
+            }>;
+            id: z.ZodNullable<z.ZodString>;
+        }, z.core.$strict>;
+        evidence_level: z.ZodEnum<{
+            provider: "provider";
+            "desktop-native": "desktop-native";
+            local: "local";
+            simulated: "simulated";
+        }>;
+        external_ref: z.ZodNullable<z.ZodString>;
+        note: z.ZodNullable<z.ZodString>;
+        schema_version: z.ZodLiteral<1>;
+        event_id: z.ZodString;
+        recorded_at: z.ZodString;
+    }, z.core.$strict>, z.ZodObject<{
+        type: z.ZodLiteral<"task.blocked">;
+        task_id: z.ZodString;
+        block_id: z.ZodString;
+        blocked_by_task_id: z.ZodNullable<z.ZodString>;
+        message_id: z.ZodNullable<z.ZodString>;
+        reason: z.ZodString;
+        actor: z.ZodObject<{
+            platform: z.ZodEnum<{
+                user: "user";
+                host: "host";
+                pactile: "pactile";
+                pi: "pi";
+                codex: "codex";
+                other: "other";
+            }>;
+            id: z.ZodNullable<z.ZodString>;
+        }, z.core.$strict>;
+        evidence_level: z.ZodEnum<{
+            provider: "provider";
+            "desktop-native": "desktop-native";
+            local: "local";
+            simulated: "simulated";
+        }>;
+        schema_version: z.ZodLiteral<1>;
+        event_id: z.ZodString;
+        recorded_at: z.ZodString;
+    }, z.core.$strict>, z.ZodObject<{
+        type: z.ZodLiteral<"task.unblocked">;
+        task_id: z.ZodString;
+        block_id: z.ZodString;
+        unblocked_by_task_id: z.ZodNullable<z.ZodString>;
+        resolution_message_id: z.ZodNullable<z.ZodString>;
+        run_id: z.ZodOptional<z.ZodNullable<z.ZodString>>;
+        kernel_revision_at_unblock: z.ZodOptional<z.ZodNullable<z.ZodNumber>>;
+        kernel_event_id_at_unblock: z.ZodOptional<z.ZodNullable<z.ZodString>>;
+        reason: z.ZodString;
+        actor: z.ZodObject<{
+            platform: z.ZodEnum<{
+                user: "user";
+                host: "host";
+                pactile: "pactile";
+                pi: "pi";
+                codex: "codex";
+                other: "other";
+            }>;
+            id: z.ZodNullable<z.ZodString>;
+        }, z.core.$strict>;
+        evidence_level: z.ZodEnum<{
+            provider: "provider";
+            "desktop-native": "desktop-native";
+            local: "local";
+            simulated: "simulated";
+        }>;
+        schema_version: z.ZodLiteral<1>;
+        event_id: z.ZodString;
+        recorded_at: z.ZodString;
+    }, z.core.$strict>, z.ZodObject<{
+        type: z.ZodLiteral<"run.resume-authorized">;
+        task_id: z.ZodString;
+        run_id: z.ZodString;
+        unblock_event_id: z.ZodString;
+        kernel_revision: z.ZodNumber;
+        kernel_event_id: z.ZodString;
+        actor: z.ZodObject<{
+            platform: z.ZodEnum<{
+                user: "user";
+                host: "host";
+                pactile: "pactile";
+                pi: "pi";
+                codex: "codex";
+                other: "other";
+            }>;
+            id: z.ZodNullable<z.ZodString>;
+        }, z.core.$strict>;
+        evidence_level: z.ZodLiteral<"local">;
+        schema_version: z.ZodLiteral<1>;
+        event_id: z.ZodString;
+        recorded_at: z.ZodString;
+    }, z.core.$strict>, z.ZodObject<{
+        type: z.ZodLiteral<"run.started">;
+        task_id: z.ZodString;
+        run_id: z.ZodString;
+        role: z.ZodNullable<z.ZodString>;
+        workspace_id: z.ZodNullable<z.ZodString>;
+        provider_run_id: z.ZodNullable<z.ZodString>;
+        actor: z.ZodObject<{
+            platform: z.ZodEnum<{
+                user: "user";
+                host: "host";
+                pactile: "pactile";
+                pi: "pi";
+                codex: "codex";
+                other: "other";
+            }>;
+            id: z.ZodNullable<z.ZodString>;
+        }, z.core.$strict>;
+        evidence_level: z.ZodEnum<{
+            provider: "provider";
+            "desktop-native": "desktop-native";
+            local: "local";
+            simulated: "simulated";
+        }>;
+        schema_version: z.ZodLiteral<1>;
+        event_id: z.ZodString;
+        recorded_at: z.ZodString;
+    }, z.core.$strict>, z.ZodObject<{
+        type: z.ZodLiteral<"run.progress">;
+        task_id: z.ZodString;
+        run_id: z.ZodString;
+        sequence: z.ZodNumber;
+        name: z.ZodString;
+        summary: z.ZodString;
+        evidence_refs: z.ZodArray<z.ZodString>;
+        actor: z.ZodObject<{
+            platform: z.ZodEnum<{
+                user: "user";
+                host: "host";
+                pactile: "pactile";
+                pi: "pi";
+                codex: "codex";
+                other: "other";
+            }>;
+            id: z.ZodNullable<z.ZodString>;
+        }, z.core.$strict>;
+        evidence_level: z.ZodEnum<{
+            provider: "provider";
+            "desktop-native": "desktop-native";
+            local: "local";
+            simulated: "simulated";
+        }>;
+        schema_version: z.ZodLiteral<1>;
+        event_id: z.ZodString;
+        recorded_at: z.ZodString;
+    }, z.core.$strict>, z.ZodObject<{
+        type: z.ZodLiteral<"run.result">;
+        task_id: z.ZodString;
+        run_id: z.ZodString;
+        outcome: z.ZodEnum<{
+            failed: "failed";
+            cancelled: "cancelled";
+            timed_out: "timed_out";
+            interrupted: "interrupted";
+            settled: "settled";
+            needs_review: "needs_review";
+        }>;
+        summary: z.ZodString;
+        evidence_refs: z.ZodArray<z.ZodString>;
+        actor: z.ZodObject<{
+            platform: z.ZodEnum<{
+                user: "user";
+                host: "host";
+                pactile: "pactile";
+                pi: "pi";
+                codex: "codex";
+                other: "other";
+            }>;
+            id: z.ZodNullable<z.ZodString>;
+        }, z.core.$strict>;
+        evidence_level: z.ZodEnum<{
+            provider: "provider";
+            "desktop-native": "desktop-native";
+            local: "local";
+            simulated: "simulated";
+        }>;
+        schema_version: z.ZodLiteral<1>;
+        event_id: z.ZodString;
+        recorded_at: z.ZodString;
+    }, z.core.$strict>], "type">;
+}, z.core.$strict>;
+export type CoordinationEvidenceLevel = z.infer<typeof evidenceLevel>;
+export type CoordinationActor = z.infer<typeof actor>;
+export type CoordinationEvent = z.infer<typeof coordinationEventSchema>;
+export type CoordinationMessageCreated = Extract<CoordinationEvent, {
+    type: "message.created";
+}>;
+export type CoordinationMessageReceipt = Extract<CoordinationEvent, {
+    type: "message.receipt";
+}>;
+export type CoordinationTaskBlocked = Extract<CoordinationEvent, {
+    type: "task.blocked";
+}>;
+export type CoordinationTaskUnblocked = Extract<CoordinationEvent, {
+    type: "task.unblocked";
+}>;
+export type CoordinationRunResumeAuthorized = Extract<CoordinationEvent, {
+    type: "run.resume-authorized";
+}>;
+export type CoordinationRunStarted = Extract<CoordinationEvent, {
+    type: "run.started";
+}>;
+export type CoordinationRunProgress = Extract<CoordinationEvent, {
+    type: "run.progress";
+}>;
+export type CoordinationRunResult = Extract<CoordinationEvent, {
+    type: "run.result";
+}>;
+export type CoordinationMessageStatus = "pending" | CoordinationMessageReceipt["status"];
+export interface CoordinationMessageSnapshot {
+    message: CoordinationMessageCreated;
+    status: CoordinationMessageStatus;
+    receipts: CoordinationMessageReceipt[];
+}
+export interface CoordinationRunSnapshot {
+    started: CoordinationRunStarted;
+    progress: CoordinationRunProgress[];
+    result: CoordinationRunResult | null;
+}
+export interface CoordinationSnapshot {
+    events: CoordinationEvent[];
+    messages: CoordinationMessageSnapshot[];
+    blocked_tasks: CoordinationTaskBlocked[];
+    runs: CoordinationRunSnapshot[];
+}
+export interface CoordinationEnvelope {
+    schema_version: 1;
+    previous_hash: string;
+    hash: string;
+    event: CoordinationEvent;
+}
+export declare const COORDINATION_GENESIS_HASH: string;
+export declare function hasForbiddenCoordinationControl(value: string): boolean;
+/** Stable JSON representation used only for journal hashing and replay checks. */
+export declare function canonicalCoordinationJson(value: unknown): string;
+export declare function coordinationEventHash(previousHash: string, event: CoordinationEvent): string;
+export declare function redactCoordinationText(value: string): string;
+export {};
+//# sourceMappingURL=model.d.ts.map