pi-amq 0.1.1

package/dist/workflow/system-process-inspector.js

@@ -0,0 +1,129 @@
+import { execFile } from "node:child_process";
+import { readFile, readlink } from "node:fs/promises";
+import { hostname } from "node:os";
+import { isAbsolute, normalize } from "node:path";
+import { promisify } from "node:util";
+const execFileAsync = promisify(execFile);
+/** Reads PID-reuse-resistant identity evidence without treating age or timeout as death proof. */
+export class SystemProcessIdentityInspector {
+    async current() {
+        const inspection = await this.inspect(process.pid);
+        if (inspection.kind !== "live") {
+            throw new Error(inspection.kind === "unknown"
+                ? `Current process identity is unavailable: ${inspection.diagnostic}`
+                : "Current process disappeared during identity inspection");
+        }
+        return inspection.identity;
+    }
+    async inspect(pid) {
+        if (!Number.isSafeInteger(pid) || pid <= 0) {
+            return { kind: "unknown", diagnostic: "PID must be a positive integer" };
+        }
+        if (process.platform === "linux")
+            return inspectLinux(pid);
+        if (process.platform === "darwin")
+            return inspectDarwin(pid);
+        return {
+            kind: "unknown",
+            diagnostic: `Process start identity is unsupported on ${process.platform}`,
+        };
+    }
+}
+async function inspectLinux(pid) {
+    try {
+        const [stat, executable, bootIdentity] = await Promise.all([
+            readFile(`/proc/${pid}/stat`, "utf8"),
+            readlink(`/proc/${pid}/exe`),
+            readFile("/proc/sys/kernel/random/boot_id", "utf8"),
+        ]);
+        const closing = stat.lastIndexOf(")");
+        if (closing < 0)
+            return { kind: "unknown", diagnostic: "Linux process stat is malformed" };
+        const fields = stat.slice(closing + 2).trim().split(/\s+/);
+        const startTicks = fields[19];
+        if (!startTicks)
+            return { kind: "unknown", diagnostic: "Linux process start ticks are missing" };
+        return {
+            kind: "live",
+            identity: {
+                pid,
+                processStartIdentity: `linux-start-ticks:${startTicks}`,
+                bootIdentity: bootIdentity.trim() || null,
+                executable: normalize(executable),
+                hostname: hostname(),
+            },
+        };
+    }
+    catch (error) {
+        return classifyInspectionFailure(error, pid);
+    }
+}
+async function inspectDarwin(pid) {
+    try {
+        const [{ stdout }, boot] = await Promise.all([
+            execFileAsync("ps", ["-p", String(pid), "-o", "lstart=", "-o", "comm="], {
+                encoding: "utf8",
+                maxBuffer: 8_192,
+                timeout: 2_000,
+            }),
+            execFileAsync("sysctl", ["-n", "kern.boottime"], {
+                encoding: "utf8",
+                maxBuffer: 8_192,
+                timeout: 2_000,
+            }),
+        ]);
+        const line = stdout.trim();
+        if (line.length === 0)
+            return { kind: "absent" };
+        const start = line.slice(0, 24).trim();
+        const psExecutable = line.slice(24).trim();
+        if (start.length === 0) {
+            return { kind: "unknown", diagnostic: "Darwin ps start identity is incomplete" };
+        }
+        const executable = selectDarwinExecutable(psExecutable, pid === process.pid ? process.execPath : null);
+        if (executable === null) {
+            return { kind: "unknown", diagnostic: "Darwin process executable is unavailable" };
+        }
+        return {
+            kind: "live",
+            identity: {
+                pid,
+                processStartIdentity: `darwin-lstart:${start}`,
+                bootIdentity: boot.stdout.trim() || null,
+                executable,
+                hostname: hostname(),
+            },
+        };
+    }
+    catch (error) {
+        return classifyInspectionFailure(error, pid);
+    }
+}
+/** Uses current-process evidence only when ps reports a relative argv[0]. */
+export function selectDarwinExecutable(psExecutable, currentExecutable) {
+    const reported = psExecutable.trim();
+    if (isAbsolute(reported))
+        return normalize(reported);
+    if (currentExecutable !== null && isAbsolute(currentExecutable)) {
+        return normalize(currentExecutable);
+    }
+    return null;
+}
+function classifyInspectionFailure(error, pid) {
+    if (isNodeError(error) && (error.code === "ENOENT" || error.code === "ESRCH")) {
+        return { kind: "absent" };
+    }
+    if (isExecFailure(error) && error.code === 1)
+        return { kind: "absent" };
+    return {
+        kind: "unknown",
+        diagnostic: `Could not inspect PID ${pid}: ${error instanceof Error ? error.message : String(error)}`,
+    };
+}
+function isNodeError(error) {
+    return error instanceof Error && "code" in error;
+}
+function isExecFailure(error) {
+    return error instanceof Error && "code" in error && typeof error.code === "number";
+}
+//# sourceMappingURL=system-process-inspector.js.map

package/dist/workflow/system-process-inspector.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"system-process-inspector.js","sourceRoot":"","sources":["../../workflow/system-process-inspector.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,MAAM,oBAAoB,CAAC;AAC9C,OAAO,EAAE,QAAQ,EAAE,QAAQ,EAAE,MAAM,kBAAkB,CAAC;AACtD,OAAO,EAAE,QAAQ,EAAE,MAAM,SAAS,CAAC;AACnC,OAAO,EAAE,UAAU,EAAE,SAAS,EAAE,MAAM,WAAW,CAAC;AAClD,OAAO,EAAE,SAAS,EAAE,MAAM,WAAW,CAAC;AAQtC,MAAM,aAAa,GAAG,SAAS,CAAC,QAAQ,CAAC,CAAC;AAE1C,kGAAkG;AAClG,MAAM,OAAO,8BAA8B;IACzC,KAAK,CAAC,OAAO;QACX,MAAM,UAAU,GAAG,MAAM,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;QACnD,IAAI,UAAU,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;YAC/B,MAAM,IAAI,KAAK,CACb,UAAU,CAAC,IAAI,KAAK,SAAS;gBAC3B,CAAC,CAAC,4CAA4C,UAAU,CAAC,UAAU,EAAE;gBACrE,CAAC,CAAC,wDAAwD,CAC7D,CAAC;QACJ,CAAC;QACD,OAAO,UAAU,CAAC,QAAQ,CAAC;IAC7B,CAAC;IAED,KAAK,CAAC,OAAO,CAAC,GAAW;QACvB,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC,GAAG,CAAC,IAAI,GAAG,IAAI,CAAC,EAAE,CAAC;YAC3C,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,UAAU,EAAE,gCAAgC,EAAE,CAAC;QAC3E,CAAC;QACD,IAAI,OAAO,CAAC,QAAQ,KAAK,OAAO;YAAE,OAAO,YAAY,CAAC,GAAG,CAAC,CAAC;QAC3D,IAAI,OAAO,CAAC,QAAQ,KAAK,QAAQ;YAAE,OAAO,aAAa,CAAC,GAAG,CAAC,CAAC;QAC7D,OAAO;YACL,IAAI,EAAE,SAAS;YACf,UAAU,EAAE,4CAA4C,OAAO,CAAC,QAAQ,EAAE;SAC3E,CAAC;IACJ,CAAC;CACF;AAED,KAAK,UAAU,YAAY,CAAC,GAAW;IACrC,IAAI,CAAC;QACH,MAAM,CAAC,IAAI,EAAE,UAAU,EAAE,YAAY,CAAC,GAAG,MAAM,OAAO,CAAC,GAAG,CAAC;YACzD,QAAQ,CAAC,SAAS,GAAG,OAAO,EAAE,MAAM,CAAC;YACrC,QAAQ,CAAC,SAAS,GAAG,MAAM,CAAC;YAC5B,QAAQ,CAAC,iCAAiC,EAAE,MAAM,CAAC;SACpD,CAAC,CAAC;QACH,MAAM,OAAO,GAAG,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC;QACtC,IAAI,OAAO,GAAG,CAAC;YAAE,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,UAAU,EAAE,iCAAiC,EAAE,CAAC;QAC3F,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,OAAO,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;QAC3D,MAAM,UAAU,GAAG,MAAM,CAAC,EAAE,CAAC,CAAC;QAC9B,IAAI,CAAC,UAAU;YAAE,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,UAAU,EAAE,uCAAuC,EAAE,CAAC;QACjG,OAAO;YACL,IAAI,EAAE,MAAM;YACZ,QAAQ,EAAE;gBACR,GAAG;gBACH,oBAAoB,EAAE,qBAAqB,UAAU,EAAE;gBACvD,YAAY,EAAE,YAAY,CAAC,IAAI,EAAE,IAAI,IAAI;gBACzC,UAAU,EAAE,SAAS,CAAC,UAAU,CAAC;gBACjC,QAAQ,EAAE,QAAQ,EAAE;aACrB;SACF,CAAC;IACJ,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,OAAO,yBAAyB,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;IAC/C,CAAC;AACH,CAAC;AAED,KAAK,UAAU,aAAa,CAAC,GAAW;IACtC,IAAI,CAAC;QACH,MAAM,CAAC,EAAE,MAAM,EAAE,EAAE,IAAI,CAAC,GAAG,MAAM,OAAO,CAAC,GAAG,CAAC;YAC3C,aAAa,CAAC,IAAI,EAAE,CAAC,IAAI,EAAE,MAAM,CAAC,GAAG,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,OAAO,CAAC,EAAE;gBACvE,QAAQ,EAAE,MAAM;gBAChB,SAAS,EAAE,KAAK;gBAChB,OAAO,EAAE,KAAK;aACf,CAAC;YACF,aAAa,CAAC,QAAQ,EAAE,CAAC,IAAI,EAAE,eAAe,CAAC,EAAE;gBAC/C,QAAQ,EAAE,MAAM;gBAChB,SAAS,EAAE,KAAK;gBAChB,OAAO,EAAE,KAAK;aACf,CAAC;SACH,CAAC,CAAC;QACH,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,EAAE,CAAC;QAC3B,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC;YAAE,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;QACjD,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC;QACvC,MAAM,YAAY,GAAG,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC;QAC3C,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACvB,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,UAAU,EAAE,wCAAwC,EAAE,CAAC;QACnF,CAAC;QACD,MAAM,UAAU,GAAG,sBAAsB,CACvC,YAAY,EACZ,GAAG,KAAK,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAC9C,CAAC;QACF,IAAI,UAAU,KAAK,IAAI,EAAE,CAAC;YACxB,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,UAAU,EAAE,0CAA0C,EAAE,CAAC;QACrF,CAAC;QACD,OAAO;YACL,IAAI,EAAE,MAAM;YACZ,QAAQ,EAAE;gBACR,GAAG;gBACH,oBAAoB,EAAE,iBAAiB,KAAK,EAAE;gBAC9C,YAAY,EAAE,IAAI,CAAC,MAAM,CAAC,IAAI,EAAE,IAAI,IAAI;gBACxC,UAAU;gBACV,QAAQ,EAAE,QAAQ,EAAE;aACrB;SACF,CAAC;IACJ,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,OAAO,yBAAyB,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;IAC/C,CAAC;AACH,CAAC;AAED,6EAA6E;AAC7E,MAAM,UAAU,sBAAsB,CACpC,YAAoB,EACpB,iBAAgC;IAEhC,MAAM,QAAQ,GAAG,YAAY,CAAC,IAAI,EAAE,CAAC;IACrC,IAAI,UAAU,CAAC,QAAQ,CAAC;QAAE,OAAO,SAAS,CAAC,QAAQ,CAAC,CAAC;IACrD,IAAI,iBAAiB,KAAK,IAAI,IAAI,UAAU,CAAC,iBAAiB,CAAC,EAAE,CAAC;QAChE,OAAO,SAAS,CAAC,iBAAiB,CAAC,CAAC;IACtC,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,SAAS,yBAAyB,CAAC,KAAc,EAAE,GAAW;IAC5D,IAAI,WAAW,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,KAAK,QAAQ,IAAI,KAAK,CAAC,IAAI,KAAK,OAAO,CAAC,EAAE,CAAC;QAC9E,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;IAC5B,CAAC;IACD,IAAI,aAAa,CAAC,KAAK,CAAC,IAAI,KAAK,CAAC,IAAI,KAAK,CAAC;QAAE,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;IACxE,OAAO;QACL,IAAI,EAAE,SAAS;QACf,UAAU,EAAE,yBAAyB,GAAG,KAAK,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE;KACtG,CAAC;AACJ,CAAC;AAED,SAAS,WAAW,CAAC,KAAc;IACjC,OAAO,KAAK,YAAY,KAAK,IAAI,MAAM,IAAI,KAAK,CAAC;AACnD,CAAC;AAED,SAAS,aAAa,CAAC,KAAc;IACnC,OAAO,KAAK,YAAY,KAAK,IAAI,MAAM,IAAI,KAAK,IAAI,OAAO,KAAK,CAAC,IAAI,KAAK,QAAQ,CAAC;AACrF,CAAC"}

package/dist/workflow/worker-child-extension.d.ts

@@ -0,0 +1,3 @@
+import type { ExtensionAPI } from "@earendil-works/pi-coding-agent";
+export default function workerChildExtension(pi: ExtensionAPI): void;
+//# sourceMappingURL=worker-child-extension.d.ts.map

package/dist/workflow/worker-child-extension.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"worker-child-extension.d.ts","sourceRoot":"","sources":["../../workflow/worker-child-extension.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,EAAE,YAAY,EAAoB,MAAM,iCAAiC,CAAC;AAWtF,MAAM,CAAC,OAAO,UAAU,oBAAoB,CAAC,EAAE,EAAE,YAAY,GAAG,IAAI,CA2HnE"}

package/dist/workflow/worker-child-extension.js

@@ -0,0 +1,182 @@
+import { createReadStream, readFileSync } from "node:fs";
+import { Type } from "typebox";
+import { parseWorkerLaunchContractV1, validateWorkerChildContext, } from "./worker-launch.js";
+import { classifyProviderFallbackFailure } from "./model-fallback.js";
+export default function workerChildExtension(pi) {
+    const loaded = loadLaunchContract();
+    if (!loaded.ok) {
+        pi.on("session_start", (_event, ctx) => refuse(loaded.error, ctx));
+        pi.on("before_agent_start", (_event, ctx) => refuse(loaded.error, ctx));
+        return;
+    }
+    const contract = loaded.contract;
+    let ready = false;
+    pi.registerTool({
+        name: "message_worker",
+        label: "Message Worker",
+        description: "Request one directionally granted peer message through the parent supervisor.",
+        parameters: Type.Object({
+            target: Type.String({ minLength: 1, maxLength: 256 }),
+            message: Type.String({ minLength: 1, maxLength: 32_768 }),
+            correlation: Type.String({ minLength: 1, maxLength: 256 }),
+        }),
+        async execute(_id, params) {
+            writeProtocolLine({
+                type: "pi_amq_worker_peer_message",
+                runId: contract.runId,
+                workerId: contract.workerId,
+                attemptId: contract.attemptId,
+                workerAttemptGeneration: contract.workerAttemptGeneration,
+                supervisorGeneration: contract.supervisorGeneration,
+                target: params.target,
+                message: params.message,
+                correlation: params.correlation,
+            });
+            const details = { status: "requested", target: params.target, correlation: params.correlation };
+            return { content: [{ type: "text", text: JSON.stringify(details) }], details };
+        },
+    });
+    pi.registerTool({
+        name: "wait_for_input",
+        label: "Wait for Input",
+        description: "Declare a typed correlated wait without inferring waiting from prose or silence.",
+        parameters: Type.Object({
+            reason: Type.String({ minLength: 1, maxLength: 2_048 }),
+            correlation: Type.String({ minLength: 1, maxLength: 256 }),
+        }),
+        async execute(_id, params) {
+            writeProtocolLine({
+                type: "pi_amq_worker_wait",
+                runId: contract.runId,
+                workerId: contract.workerId,
+                attemptId: contract.attemptId,
+                workerAttemptGeneration: contract.workerAttemptGeneration,
+                supervisorGeneration: contract.supervisorGeneration,
+                reason: params.reason,
+                correlation: params.correlation,
+            });
+            const details = {
+                status: "declared",
+                reason: params.reason,
+                correlation: params.correlation,
+            };
+            return { content: [{ type: "text", text: JSON.stringify(details) }], details };
+        },
+    });
+    pi.on("session_start", (_event, ctx) => {
+        try {
+            validateWorkerChildContext(contract, childContext(ctx));
+            attachParentLiveness(contract, ctx);
+            const sessionFile = ctx.sessionManager.getSessionFile();
+            if (!sessionFile)
+                throw new Error("Pi worker session file is unavailable");
+            writeProtocolLine({
+                type: "pi_amq_worker_ready",
+                runId: contract.runId,
+                workerId: contract.workerId,
+                attemptId: contract.attemptId,
+                workerAttemptGeneration: contract.workerAttemptGeneration,
+                supervisorGeneration: contract.supervisorGeneration,
+                sessionFile,
+            });
+            ready = true;
+        }
+        catch (error) {
+            refuse(error, ctx);
+        }
+    });
+    pi.on("before_agent_start", (event, ctx) => {
+        try {
+            if (!ready)
+                throw new Error("Worker launch parity was not established");
+            validateWorkerChildContext(contract, childContext(ctx, event.systemPromptOptions.selectedTools));
+        }
+        catch (error) {
+            refuse(error, ctx);
+        }
+    });
+    pi.on("model_select", (_event, ctx) => revalidateOrRefuse(contract, ctx));
+    pi.on("thinking_level_select", (_event, ctx) => revalidateOrRefuse(contract, ctx));
+    pi.on("agent_settled", () => {
+        if (!ready)
+            return;
+        writeProtocolLine({
+            type: "pi_amq_worker_settled",
+            runId: contract.runId,
+            workerId: contract.workerId,
+            attemptId: contract.attemptId,
+            workerAttemptGeneration: contract.workerAttemptGeneration,
+            supervisorGeneration: contract.supervisorGeneration,
+        });
+    });
+    pi.on("message_end", (event, ctx) => {
+        const message = event.message;
+        if (message.role !== "assistant")
+            return;
+        const reason = classifyProviderFallbackFailure(message.stopReason, message.errorMessage);
+        if (!reason)
+            return;
+        writeProtocolLine({
+            type: "pi_amq_worker_provider_failure",
+            runId: contract.runId,
+            workerId: contract.workerId,
+            attemptId: contract.attemptId,
+            workerAttemptGeneration: contract.workerAttemptGeneration,
+            supervisorGeneration: contract.supervisorGeneration,
+            reason,
+        });
+        ctx.shutdown();
+    });
+}
+function loadLaunchContract() {
+    try {
+        const path = process.env["PI_AMQ_WORKER_LAUNCH_CONTRACT"];
+        if (!path)
+            throw new Error("PI_AMQ_WORKER_LAUNCH_CONTRACT is required");
+        const value = JSON.parse(readFileSync(path, "utf8"));
+        return { ok: true, contract: parseWorkerLaunchContractV1(value) };
+    }
+    catch (error) {
+        return { ok: false, error: error instanceof Error ? error : new Error(String(error)) };
+    }
+}
+function childContext(ctx, tools) {
+    return {
+        mode: ctx.mode,
+        cwd: ctx.cwd,
+        model: ctx.model ? { provider: ctx.model.provider, id: ctx.model.id } : undefined,
+        thinkingLevel: ctx.thinkingLevel,
+        projectTrusted: ctx.isProjectTrusted(),
+        ...(tools === undefined ? {} : { tools }),
+        environmentKeys: Object.keys(process.env),
+    };
+}
+function revalidateOrRefuse(contract, ctx) {
+    try {
+        validateWorkerChildContext(contract, childContext(ctx));
+    }
+    catch (error) {
+        refuse(error, ctx);
+    }
+}
+function attachParentLiveness(contract, ctx) {
+    const configured = Number(process.env["PI_AMQ_PARENT_LIVENESS_FD"]);
+    if (configured !== contract.parentLivenessFd) {
+        throw new Error("Parent-liveness descriptor does not match the launch contract");
+    }
+    const stream = createReadStream("", { fd: configured, autoClose: false });
+    stream.on("end", () => ctx.shutdown());
+    stream.on("error", () => ctx.shutdown());
+    stream.resume();
+}
+function refuse(error, ctx) {
+    writeProtocolLine({
+        type: "pi_amq_worker_refused",
+        error: error instanceof Error ? error.message : String(error),
+    });
+    ctx.shutdown();
+}
+function writeProtocolLine(value) {
+    process.stdout.write(`${JSON.stringify(value)}\n`);
+}
+//# sourceMappingURL=worker-child-extension.js.map

package/dist/workflow/worker-child-extension.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"worker-child-extension.js","sourceRoot":"","sources":["../../workflow/worker-child-extension.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,gBAAgB,EAAE,YAAY,EAAE,MAAM,SAAS,CAAC;AAGzD,OAAO,EAAE,IAAI,EAAE,MAAM,SAAS,CAAC;AAE/B,OAAO,EACL,2BAA2B,EAC3B,0BAA0B,GAE3B,MAAM,oBAAoB,CAAC;AAC5B,OAAO,EAAE,+BAA+B,EAAE,MAAM,qBAAqB,CAAC;AAGtE,MAAM,CAAC,OAAO,UAAU,oBAAoB,CAAC,EAAgB;IAC3D,MAAM,MAAM,GAAG,kBAAkB,EAAE,CAAC;IACpC,IAAI,CAAC,MAAM,CAAC,EAAE,EAAE,CAAC;QACf,EAAE,CAAC,EAAE,CAAC,eAAe,EAAE,CAAC,MAAM,EAAE,GAAG,EAAE,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC,CAAC;QACnE,EAAE,CAAC,EAAE,CAAC,oBAAoB,EAAE,CAAC,MAAM,EAAE,GAAG,EAAE,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC,CAAC;QACxE,OAAO;IACT,CAAC;IACD,MAAM,QAAQ,GAAG,MAAM,CAAC,QAAQ,CAAC;IACjC,IAAI,KAAK,GAAG,KAAK,CAAC;IAElB,EAAE,CAAC,YAAY,CAAC;QACd,IAAI,EAAE,gBAAgB;QACtB,KAAK,EAAE,gBAAgB;QACvB,WAAW,EAAE,+EAA+E;QAC5F,UAAU,EAAE,IAAI,CAAC,MAAM,CAAC;YACtB,MAAM,EAAE,IAAI,CAAC,MAAM,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,SAAS,EAAE,GAAG,EAAE,CAAC;YACrD,OAAO,EAAE,IAAI,CAAC,MAAM,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,SAAS,EAAE,MAAM,EAAE,CAAC;YACzD,WAAW,EAAE,IAAI,CAAC,MAAM,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,SAAS,EAAE,GAAG,EAAE,CAAC;SAC3D,CAAC;QACF,KAAK,CAAC,OAAO,CAAC,GAAG,EAAE,MAAM;YACvB,iBAAiB,CAAC;gBAChB,IAAI,EAAE,4BAA4B;gBAClC,KAAK,EAAE,QAAQ,CAAC,KAAK;gBACrB,QAAQ,EAAE,QAAQ,CAAC,QAAQ;gBAC3B,SAAS,EAAE,QAAQ,CAAC,SAAS;gBAC7B,uBAAuB,EAAE,QAAQ,CAAC,uBAAuB;gBACzD,oBAAoB,EAAE,QAAQ,CAAC,oBAAoB;gBACnD,MAAM,EAAE,MAAM,CAAC,MAAM;gBACrB,OAAO,EAAE,MAAM,CAAC,OAAO;gBACvB,WAAW,EAAE,MAAM,CAAC,WAAW;aAChC,CAAC,CAAC;YACH,MAAM,OAAO,GAAG,EAAE,MAAM,EAAE,WAAW,EAAE,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,WAAW,EAAE,MAAM,CAAC,WAAW,EAAE,CAAC;YAChG,OAAO,EAAE,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,MAAe,EAAE,IAAI,EAAE,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC;QAC1F,CAAC;KACF,CAAC,CAAC;IAEH,EAAE,CAAC,YAAY,CAAC;QACd,IAAI,EAAE,gBAAgB;QACtB,KAAK,EAAE,gBAAgB;QACvB,WAAW,EAAE,kFAAkF;QAC/F,UAAU,EAAE,IAAI,CAAC,MAAM,CAAC;YACtB,MAAM,EAAE,IAAI,CAAC,MAAM,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,SAAS,EAAE,KAAK,EAAE,CAAC;YACvD,WAAW,EAAE,IAAI,CAAC,MAAM,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,SAAS,EAAE,GAAG,EAAE,CAAC;SAC3D,CAAC;QACF,KAAK,CAAC,OAAO,CAAC,GAAG,EAAE,MAAM;YACvB,iBAAiB,CAAC;gBAChB,IAAI,EAAE,oBAAoB;gBAC1B,KAAK,EAAE,QAAQ,CAAC,KAAK;gBACrB,QAAQ,EAAE,QAAQ,CAAC,QAAQ;gBAC3B,SAAS,EAAE,QAAQ,CAAC,SAAS;gBAC7B,uBAAuB,EAAE,QAAQ,CAAC,uBAAuB;gBACzD,oBAAoB,EAAE,QAAQ,CAAC,oBAAoB;gBACnD,MAAM,EAAE,MAAM,CAAC,MAAM;gBACrB,WAAW,EAAE,MAAM,CAAC,WAAW;aAChC,CAAC,CAAC;YACH,MAAM,OAAO,GAAG;gBACd,MAAM,EAAE,UAAU;gBAClB,MAAM,EAAE,MAAM,CAAC,MAAM;gBACrB,WAAW,EAAE,MAAM,CAAC,WAAW;aAChC,CAAC;YACF,OAAO,EAAE,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,MAAe,EAAE,IAAI,EAAE,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC;QAC1F,CAAC;KACF,CAAC,CAAC;IAEH,EAAE,CAAC,EAAE,CAAC,eAAe,EAAE,CAAC,MAAM,EAAE,GAAG,EAAE,EAAE;QACrC,IAAI,CAAC;YACH,0BAA0B,CAAC,QAAQ,EAAE,YAAY,CAAC,GAAG,CAAC,CAAC,CAAC;YACxD,oBAAoB,CAAC,QAAQ,EAAE,GAAG,CAAC,CAAC;YACpC,MAAM,WAAW,GAAG,GAAG,CAAC,cAAc,CAAC,cAAc,EAAE,CAAC;YACxD,IAAI,CAAC,WAAW;gBAAE,MAAM,IAAI,KAAK,CAAC,uCAAuC,CAAC,CAAC;YAC3E,iBAAiB,CAAC;gBAChB,IAAI,EAAE,qBAAqB;gBAC3B,KAAK,EAAE,QAAQ,CAAC,KAAK;gBACrB,QAAQ,EAAE,QAAQ,CAAC,QAAQ;gBAC3B,SAAS,EAAE,QAAQ,CAAC,SAAS;gBAC7B,uBAAuB,EAAE,QAAQ,CAAC,uBAAuB;gBACzD,oBAAoB,EAAE,QAAQ,CAAC,oBAAoB;gBACnD,WAAW;aACZ,CAAC,CAAC;YACH,KAAK,GAAG,IAAI,CAAC;QACf,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YACf,MAAM,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;QACrB,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,EAAE,CAAC,oBAAoB,EAAE,CAAC,KAAK,EAAE,GAAG,EAAE,EAAE;QACzC,IAAI,CAAC;YACH,IAAI,CAAC,KAAK;gBAAE,MAAM,IAAI,KAAK,CAAC,0CAA0C,CAAC,CAAC;YACxE,0BAA0B,CAAC,QAAQ,EAAE,YAAY,CAAC,GAAG,EAAE,KAAK,CAAC,mBAAmB,CAAC,aAAa,CAAC,CAAC,CAAC;QACnG,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YACf,MAAM,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;QACrB,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,EAAE,CAAC,cAAc,EAAE,CAAC,MAAM,EAAE,GAAG,EAAE,EAAE,CAAC,kBAAkB,CAAC,QAAQ,EAAE,GAAG,CAAC,CAAC,CAAC;IAC1E,EAAE,CAAC,EAAE,CAAC,uBAAuB,EAAE,CAAC,MAAM,EAAE,GAAG,EAAE,EAAE,CAAC,kBAAkB,CAAC,QAAQ,EAAE,GAAG,CAAC,CAAC,CAAC;IACnF,EAAE,CAAC,EAAE,CAAC,eAAe,EAAE,GAAG,EAAE;QAC1B,IAAI,CAAC,KAAK;YAAE,OAAO;QACnB,iBAAiB,CAAC;YAChB,IAAI,EAAE,uBAAuB;YAC7B,KAAK,EAAE,QAAQ,CAAC,KAAK;YACrB,QAAQ,EAAE,QAAQ,CAAC,QAAQ;YAC3B,SAAS,EAAE,QAAQ,CAAC,SAAS;YAC7B,uBAAuB,EAAE,QAAQ,CAAC,uBAAuB;YACzD,oBAAoB,EAAE,QAAQ,CAAC,oBAAoB;SACpD,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IACH,EAAE,CAAC,EAAE,CAAC,aAAa,EAAE,CAAC,KAAK,EAAE,GAAG,EAAE,EAAE;QAClC,MAAM,OAAO,GAAG,KAAK,CAAC,OAAO,CAAC;QAC9B,IAAI,OAAO,CAAC,IAAI,KAAK,WAAW;YAAE,OAAO;QACzC,MAAM,MAAM,GAAG,+BAA+B,CAAC,OAAO,CAAC,UAAU,EAAE,OAAO,CAAC,YAAY,CAAC,CAAC;QACzF,IAAI,CAAC,MAAM;YAAE,OAAO;QACpB,iBAAiB,CAAC;YAChB,IAAI,EAAE,gCAAgC;YACtC,KAAK,EAAE,QAAQ,CAAC,KAAK;YACrB,QAAQ,EAAE,QAAQ,CAAC,QAAQ;YAC3B,SAAS,EAAE,QAAQ,CAAC,SAAS;YAC7B,uBAAuB,EAAE,QAAQ,CAAC,uBAAuB;YACzD,oBAAoB,EAAE,QAAQ,CAAC,oBAAoB;YACnD,MAAM;SACP,CAAC,CAAC;QACH,GAAG,CAAC,QAAQ,EAAE,CAAC;IACjB,CAAC,CAAC,CAAC;AACL,CAAC;AAED,SAAS,kBAAkB;IAGzB,IAAI,CAAC;QACH,MAAM,IAAI,GAAG,OAAO,CAAC,GAAG,CAAC,+BAA+B,CAAC,CAAC;QAC1D,IAAI,CAAC,IAAI;YAAE,MAAM,IAAI,KAAK,CAAC,2CAA2C,CAAC,CAAC;QACxE,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,YAAY,CAAC,IAAI,EAAE,MAAM,CAAC,CAAY,CAAC;QAChE,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,2BAA2B,CAAC,KAAK,CAAC,EAAE,CAAC;IACpE,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,KAAK,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC;IACzF,CAAC;AACH,CAAC;AAED,SAAS,YAAY,CAAC,GAAqB,EAAE,KAAyB;IACpE,OAAO;QACL,IAAI,EAAE,GAAG,CAAC,IAAI;QACd,GAAG,EAAE,GAAG,CAAC,GAAG;QACZ,KAAK,EAAE,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,GAAG,CAAC,KAAK,CAAC,QAAQ,EAAE,EAAE,EAAE,GAAG,CAAC,KAAK,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,SAAS;QACjF,aAAa,EAAE,GAAG,CAAC,aAAa;QAChC,cAAc,EAAE,GAAG,CAAC,gBAAgB,EAAE;QACtC,GAAG,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC;QACzC,eAAe,EAAE,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC;KAC1C,CAAC;AACJ,CAAC;AAED,SAAS,kBAAkB,CAAC,QAAgC,EAAE,GAAqB;IACjF,IAAI,CAAC;QACH,0BAA0B,CAAC,QAAQ,EAAE,YAAY,CAAC,GAAG,CAAC,CAAC,CAAC;IAC1D,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,MAAM,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;IACrB,CAAC;AACH,CAAC;AAED,SAAS,oBAAoB,CAAC,QAAgC,EAAE,GAAqB;IACnF,MAAM,UAAU,GAAG,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,2BAA2B,CAAC,CAAC,CAAC;IACpE,IAAI,UAAU,KAAK,QAAQ,CAAC,gBAAgB,EAAE,CAAC;QAC7C,MAAM,IAAI,KAAK,CAAC,+DAA+D,CAAC,CAAC;IACnF,CAAC;IACD,MAAM,MAAM,GAAG,gBAAgB,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,UAAU,EAAE,SAAS,EAAE,KAAK,EAAE,CAAC,CAAC;IAC1E,MAAM,CAAC,EAAE,CAAC,KAAK,EAAE,GAAG,EAAE,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC,CAAC;IACvC,MAAM,CAAC,EAAE,CAAC,OAAO,EAAE,GAAG,EAAE,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC,CAAC;IACzC,MAAM,CAAC,MAAM,EAAE,CAAC;AAClB,CAAC;AAED,SAAS,MAAM,CAAC,KAAc,EAAE,GAAqB;IACnD,iBAAiB,CAAC;QAChB,IAAI,EAAE,uBAAuB;QAC7B,KAAK,EAAE,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC;KAC9D,CAAC,CAAC;IACH,GAAG,CAAC,QAAQ,EAAE,CAAC;AACjB,CAAC;AAED,SAAS,iBAAiB,CAAC,KAAc;IACvC,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,GAAG,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;AACrD,CAAC"}

package/dist/workflow/worker-gate.d.ts

@@ -0,0 +1,74 @@
+import type { ReportSchemaV1 } from "./workflow-types.js";
+export declare const WORKER_ATTEMPT_STATES: readonly ["pending", "running", "blocked", "ambiguous", "done", "failed", "cancelled"];
+export type WorkerAttemptState = (typeof WORKER_ATTEMPT_STATES)[number];
+export declare function normalizeWorkerAttemptState(value: unknown): WorkerAttemptState;
+export interface WorkerGateFacts {
+    readonly evidence: {
+        readonly exists: boolean;
+    };
+    readonly report: {
+        readonly schemaDeclared: boolean;
+        readonly matches: boolean;
+    };
+    readonly acceptanceCheck: {
+        readonly declared: boolean;
+        readonly exitCode: number | null;
+    };
+    readonly human: {
+        readonly approvalRequired: boolean;
+        readonly approved: boolean;
+    };
+    readonly budget: {
+        readonly exceeded: boolean;
+    };
+    readonly runtime: {
+        readonly supervisorLost: boolean;
+        readonly effectsUncertain: boolean;
+        readonly certain?: boolean;
+    };
+    readonly failure?: {
+        readonly observed: boolean;
+    };
+    readonly termination?: {
+        readonly observed: boolean;
+    };
+    readonly wait?: {
+        readonly declared: boolean;
+    };
+    readonly reconcile: {
+        readonly decisionExists: boolean;
+        readonly uncertaintyCleared?: boolean;
+    };
+    readonly input: {
+        readonly kind: "revise_contract" | "steer" | "peer_message" | null;
+        readonly correlationMatches: boolean;
+    };
+    readonly cancel: {
+        readonly verbReceived: boolean;
+    };
+}
+export type WorkerGateGuard = "evidence.exists" | "report.matches(report_schema)" | "acceptance_check.exit == 0" | "human.approved" | "budget.not_exceeded" | "runtime.uncertain" | "runtime.certain" | "failure.observed" | "termination.observed" | "wait.declared" | "reconcile.decision.exists" | "reconcile.uncertainty.cleared" | "input.is_new" | "input.correlation_matches" | "cancel.verb";
+export interface WorkerAttemptTransitionRule {
+    readonly from: WorkerAttemptState;
+    readonly to: WorkerAttemptState;
+    readonly guards: readonly WorkerGateGuard[];
+}
+export declare const WORKER_ATTEMPT_LEGALITY_TABLE: readonly WorkerAttemptTransitionRule[];
+export type WorkerAttemptTransitionResult = {
+    readonly allowed: true;
+} | {
+    readonly allowed: false;
+    readonly reason: "undeclared-transition" | "guard-failed";
+    readonly blockers: readonly WorkerGateGuard[];
+};
+export declare function evaluateWorkerAttemptTransition(from: WorkerAttemptState, to: WorkerAttemptState, facts: WorkerGateFacts): WorkerAttemptTransitionResult;
+export declare const TERMINAL_ATTEMPT_PRIORITY: readonly ["ambiguous", "cancelled", "failed", "running"];
+export declare function classifyObservedTermination(input: {
+    readonly runtimeCertain: boolean;
+    readonly effectsUncertain: boolean;
+    readonly cancellationRequested: boolean;
+    readonly terminationObserved: boolean;
+    readonly failureObserved: boolean;
+}): WorkerAttemptState;
+export declare function reportMatchesSchema(schema: ReportSchemaV1, report: unknown): boolean;
+//# sourceMappingURL=worker-gate.d.ts.map

package/dist/workflow/worker-gate.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"worker-gate.d.ts","sourceRoot":"","sources":["../../workflow/worker-gate.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAqB,cAAc,EAAE,MAAM,qBAAqB,CAAC;AAE7E,eAAO,MAAM,qBAAqB,wFAQxB,CAAC;AAEX,MAAM,MAAM,kBAAkB,GAAG,CAAC,OAAO,qBAAqB,CAAC,CAAC,MAAM,CAAC,CAAC;AAExE,wBAAgB,2BAA2B,CAAC,KAAK,EAAE,OAAO,GAAG,kBAAkB,CAiB9E;AAED,MAAM,WAAW,eAAe;IAC9B,QAAQ,CAAC,QAAQ,EAAE;QAAE,QAAQ,CAAC,MAAM,EAAE,OAAO,CAAA;KAAE,CAAC;IAChD,QAAQ,CAAC,MAAM,EAAE;QAAE,QAAQ,CAAC,cAAc,EAAE,OAAO,CAAC;QAAC,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAA;KAAE,CAAC;IACjF,QAAQ,CAAC,eAAe,EAAE;QAAE,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC;QAAC,QAAQ,CAAC,QAAQ,EAAE,MAAM,GAAG,IAAI,CAAA;KAAE,CAAC;IAC3F,QAAQ,CAAC,KAAK,EAAE;QAAE,QAAQ,CAAC,gBAAgB,EAAE,OAAO,CAAC;QAAC,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAA;KAAE,CAAC;IACnF,QAAQ,CAAC,MAAM,EAAE;QAAE,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAA;KAAE,CAAC;IAChD,QAAQ,CAAC,OAAO,EAAE;QAChB,QAAQ,CAAC,cAAc,EAAE,OAAO,CAAC;QACjC,QAAQ,CAAC,gBAAgB,EAAE,OAAO,CAAC;QACnC,QAAQ,CAAC,OAAO,CAAC,EAAE,OAAO,CAAC;KAC5B,CAAC;IACF,QAAQ,CAAC,OAAO,CAAC,EAAE;QAAE,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAA;KAAE,CAAC;IAClD,QAAQ,CAAC,WAAW,CAAC,EAAE;QAAE,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAA;KAAE,CAAC;IACtD,QAAQ,CAAC,IAAI,CAAC,EAAE;QAAE,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAA;KAAE,CAAC;IAC/C,QAAQ,CAAC,SAAS,EAAE;QAAE,QAAQ,CAAC,cAAc,EAAE,OAAO,CAAC;QAAC,QAAQ,CAAC,kBAAkB,CAAC,EAAE,OAAO,CAAA;KAAE,CAAC;IAChG,QAAQ,CAAC,KAAK,EAAE;QACd,QAAQ,CAAC,IAAI,EAAE,iBAAiB,GAAG,OAAO,GAAG,cAAc,GAAG,IAAI,CAAC;QACnE,QAAQ,CAAC,kBAAkB,EAAE,OAAO,CAAC;KACtC,CAAC;IACF,QAAQ,CAAC,MAAM,EAAE;QAAE,QAAQ,CAAC,YAAY,EAAE,OAAO,CAAA;KAAE,CAAC;CACrD;AAED,MAAM,MAAM,eAAe,GACvB,iBAAiB,GACjB,+BAA+B,GAC/B,4BAA4B,GAC5B,gBAAgB,GAChB,qBAAqB,GACrB,mBAAmB,GACnB,iBAAiB,GACjB,kBAAkB,GAClB,sBAAsB,GACtB,eAAe,GACf,2BAA2B,GAC3B,+BAA+B,GAC/B,cAAc,GACd,2BAA2B,GAC3B,aAAa,CAAC;AAElB,MAAM,WAAW,2BAA2B;IAC1C,QAAQ,CAAC,IAAI,EAAE,kBAAkB,CAAC;IAClC,QAAQ,CAAC,EAAE,EAAE,kBAAkB,CAAC;IAChC,QAAQ,CAAC,MAAM,EAAE,SAAS,eAAe,EAAE,CAAC;CAC7C;AAqBD,eAAO,MAAM,6BAA6B,EAAE,SAAS,2BAA2B,EA4BtE,CAAC;AAEX,MAAM,MAAM,6BAA6B,GACrC;IAAE,QAAQ,CAAC,OAAO,EAAE,IAAI,CAAA;CAAE,GAC1B;IACE,QAAQ,CAAC,OAAO,EAAE,KAAK,CAAC;IACxB,QAAQ,CAAC,MAAM,EAAE,uBAAuB,GAAG,cAAc,CAAC;IAC1D,QAAQ,CAAC,QAAQ,EAAE,SAAS,eAAe,EAAE,CAAC;CAC/C,CAAC;AAEN,wBAAgB,+BAA+B,CAC7C,IAAI,EAAE,kBAAkB,EACxB,EAAE,EAAE,kBAAkB,EACtB,KAAK,EAAE,eAAe,GACrB,6BAA6B,CAY/B;AAwCD,eAAO,MAAM,yBAAyB,0DAA2D,CAAC;AAElG,wBAAgB,2BAA2B,CAAC,KAAK,EAAE;IACjD,QAAQ,CAAC,cAAc,EAAE,OAAO,CAAC;IACjC,QAAQ,CAAC,gBAAgB,EAAE,OAAO,CAAC;IACnC,QAAQ,CAAC,qBAAqB,EAAE,OAAO,CAAC;IACxC,QAAQ,CAAC,mBAAmB,EAAE,OAAO,CAAC;IACtC,QAAQ,CAAC,eAAe,EAAE,OAAO,CAAC;CACnC,GAAG,kBAAkB,CAKrB;AAED,wBAAgB,mBAAmB,CAAC,MAAM,EAAE,cAAc,EAAE,MAAM,EAAE,OAAO,GAAG,OAAO,CAUpF"}

package/dist/workflow/worker-gate.js

@@ -0,0 +1,165 @@
+export const WORKER_ATTEMPT_STATES = [
+    "pending",
+    "running",
+    "blocked",
+    "ambiguous",
+    "done",
+    "failed",
+    "cancelled",
+];
+export function normalizeWorkerAttemptState(value) {
+    switch (value) {
+        case "spawn-intent":
+            return "pending";
+        case "exited":
+            return "running";
+        case "pending":
+        case "running":
+        case "blocked":
+        case "ambiguous":
+        case "done":
+        case "failed":
+        case "cancelled":
+            return value;
+        default:
+            throw new TypeError("worker attempt state is invalid");
+    }
+}
+const DONE_GUARDS = [
+    "runtime.certain",
+    "evidence.exists",
+    "report.matches(report_schema)",
+    "acceptance_check.exit == 0",
+    "human.approved",
+    "budget.not_exceeded",
+];
+const RECONCILE_GUARDS = [
+    "reconcile.decision.exists",
+    "reconcile.uncertainty.cleared",
+];
+const CANCELLED_GUARDS = [
+    "cancel.verb",
+    "termination.observed",
+    "runtime.certain",
+];
+export const WORKER_ATTEMPT_LEGALITY_TABLE = [
+    { from: "pending", to: "running", guards: [] },
+    { from: "pending", to: "failed", guards: ["failure.observed"] },
+    { from: "pending", to: "ambiguous", guards: ["runtime.uncertain"] },
+    { from: "pending", to: "cancelled", guards: CANCELLED_GUARDS },
+    { from: "running", to: "blocked", guards: ["wait.declared"] },
+    { from: "running", to: "done", guards: DONE_GUARDS },
+    { from: "running", to: "failed", guards: ["failure.observed"] },
+    { from: "running", to: "ambiguous", guards: ["runtime.uncertain"] },
+    { from: "running", to: "cancelled", guards: CANCELLED_GUARDS },
+    {
+        from: "blocked",
+        to: "running",
+        guards: ["input.is_new", "input.correlation_matches"],
+    },
+    { from: "blocked", to: "failed", guards: ["failure.observed"] },
+    { from: "blocked", to: "ambiguous", guards: ["runtime.uncertain"] },
+    { from: "blocked", to: "cancelled", guards: CANCELLED_GUARDS },
+    { from: "ambiguous", to: "pending", guards: RECONCILE_GUARDS },
+    { from: "ambiguous", to: "running", guards: RECONCILE_GUARDS },
+    { from: "ambiguous", to: "blocked", guards: [...RECONCILE_GUARDS, "wait.declared"] },
+    { from: "ambiguous", to: "done", guards: [...RECONCILE_GUARDS, ...DONE_GUARDS] },
+    { from: "ambiguous", to: "failed", guards: [...RECONCILE_GUARDS, "failure.observed"] },
+    {
+        from: "ambiguous",
+        to: "cancelled",
+        guards: [...RECONCILE_GUARDS, ...CANCELLED_GUARDS],
+    },
+];
+export function evaluateWorkerAttemptTransition(from, to, facts) {
+    const rule = WORKER_ATTEMPT_LEGALITY_TABLE.find((candidate) => candidate.from === from && candidate.to === to);
+    if (!rule) {
+        return { allowed: false, reason: "undeclared-transition", blockers: [] };
+    }
+    const blockers = rule.guards.filter((guard) => !guardSatisfied(guard, facts));
+    return blockers.length === 0
+        ? { allowed: true }
+        : { allowed: false, reason: "guard-failed", blockers };
+}
+function guardSatisfied(guard, facts) {
+    switch (guard) {
+        case "evidence.exists":
+            return facts.evidence.exists;
+        case "report.matches(report_schema)":
+            return !facts.report.schemaDeclared || facts.report.matches;
+        case "acceptance_check.exit == 0":
+            return !facts.acceptanceCheck.declared || facts.acceptanceCheck.exitCode === 0;
+        case "human.approved":
+            return !facts.human.approvalRequired || facts.human.approved;
+        case "budget.not_exceeded":
+            return !facts.budget.exceeded;
+        case "runtime.uncertain":
+            return facts.runtime.supervisorLost || facts.runtime.effectsUncertain;
+        case "runtime.certain":
+            return facts.runtime.certain === true
+                || (!facts.runtime.supervisorLost && !facts.runtime.effectsUncertain);
+        case "failure.observed":
+            return facts.failure?.observed === true;
+        case "termination.observed":
+            return facts.termination?.observed === true;
+        case "wait.declared":
+            return facts.wait?.declared === true;
+        case "reconcile.decision.exists":
+            return facts.reconcile.decisionExists;
+        case "reconcile.uncertainty.cleared":
+            return facts.reconcile.uncertaintyCleared === true;
+        case "input.is_new":
+            return facts.input.kind === "revise_contract"
+                || facts.input.kind === "steer"
+                || facts.input.kind === "peer_message";
+        case "input.correlation_matches":
+            return facts.input.correlationMatches;
+        case "cancel.verb":
+            return facts.cancel.verbReceived;
+    }
+}
+export const TERMINAL_ATTEMPT_PRIORITY = ["ambiguous", "cancelled", "failed", "running"];
+export function classifyObservedTermination(input) {
+    if (!input.runtimeCertain || input.effectsUncertain)
+        return "ambiguous";
+    if (input.cancellationRequested && input.terminationObserved)
+        return "cancelled";
+    if (input.failureObserved)
+        return "failed";
+    return "running";
+}
+export function reportMatchesSchema(schema, report) {
+    if (!isRecord(report))
+        return false;
+    for (const required of schema.required) {
+        if (!Object.prototype.hasOwnProperty.call(report, required))
+            return false;
+    }
+    for (const [name, field] of Object.entries(schema.properties)) {
+        if (!Object.prototype.hasOwnProperty.call(report, name))
+            continue;
+        if (!matchesFieldType(field, report[name]))
+            return false;
+    }
+    return true;
+}
+function matchesFieldType(field, value) {
+    switch (field.type) {
+        case "string":
+            return typeof value === "string";
+        case "number":
+            return typeof value === "number" && Number.isFinite(value);
+        case "boolean":
+            return typeof value === "boolean";
+        case "object":
+            return isRecord(value);
+        case "array":
+            return Array.isArray(value);
+        case "null":
+            return value === null;
+    }
+}
+function isRecord(value) {
+    return typeof value === "object" && value !== null && !Array.isArray(value);
+}
+//# sourceMappingURL=worker-gate.js.map

package/dist/workflow/worker-gate.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"worker-gate.js","sourceRoot":"","sources":["../../workflow/worker-gate.ts"],"names":[],"mappings":"AAEA,MAAM,CAAC,MAAM,qBAAqB,GAAG;IACnC,SAAS;IACT,SAAS;IACT,SAAS;IACT,WAAW;IACX,MAAM;IACN,QAAQ;IACR,WAAW;CACH,CAAC;AAIX,MAAM,UAAU,2BAA2B,CAAC,KAAc;IACxD,QAAQ,KAAK,EAAE,CAAC;QACd,KAAK,cAAc;YACjB,OAAO,SAAS,CAAC;QACnB,KAAK,QAAQ;YACX,OAAO,SAAS,CAAC;QACnB,KAAK,SAAS,CAAC;QACf,KAAK,SAAS,CAAC;QACf,KAAK,SAAS,CAAC;QACf,KAAK,WAAW,CAAC;QACjB,KAAK,MAAM,CAAC;QACZ,KAAK,QAAQ,CAAC;QACd,KAAK,WAAW;YACd,OAAO,KAAK,CAAC;QACf;YACE,MAAM,IAAI,SAAS,CAAC,iCAAiC,CAAC,CAAC;IAC3D,CAAC;AACH,CAAC;AA+CD,MAAM,WAAW,GAA+B;IAC9C,iBAAiB;IACjB,iBAAiB;IACjB,+BAA+B;IAC/B,4BAA4B;IAC5B,gBAAgB;IAChB,qBAAqB;CACtB,CAAC;AAEF,MAAM,gBAAgB,GAA+B;IACnD,2BAA2B;IAC3B,+BAA+B;CAChC,CAAC;AACF,MAAM,gBAAgB,GAA+B;IACnD,aAAa;IACb,sBAAsB;IACtB,iBAAiB;CAClB,CAAC;AAEF,MAAM,CAAC,MAAM,6BAA6B,GAA2C;IACnF,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,SAAS,EAAE,MAAM,EAAE,EAAE,EAAE;IAC9C,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,QAAQ,EAAE,MAAM,EAAE,CAAC,kBAAkB,CAAC,EAAE;IAC/D,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,WAAW,EAAE,MAAM,EAAE,CAAC,mBAAmB,CAAC,EAAE;IACnE,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,WAAW,EAAE,MAAM,EAAE,gBAAgB,EAAE;IAC9D,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,SAAS,EAAE,MAAM,EAAE,CAAC,eAAe,CAAC,EAAE;IAC7D,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,MAAM,EAAE,MAAM,EAAE,WAAW,EAAE;IACpD,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,QAAQ,EAAE,MAAM,EAAE,CAAC,kBAAkB,CAAC,EAAE;IAC/D,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,WAAW,EAAE,MAAM,EAAE,CAAC,mBAAmB,CAAC,EAAE;IACnE,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,WAAW,EAAE,MAAM,EAAE,gBAAgB,EAAE;IAC9D;QACE,IAAI,EAAE,SAAS;QACf,EAAE,EAAE,SAAS;QACb,MAAM,EAAE,CAAC,cAAc,EAAE,2BAA2B,CAAC;KACtD;IACD,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,QAAQ,EAAE,MAAM,EAAE,CAAC,kBAAkB,CAAC,EAAE;IAC/D,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,WAAW,EAAE,MAAM,EAAE,CAAC,mBAAmB,CAAC,EAAE;IACnE,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,WAAW,EAAE,MAAM,EAAE,gBAAgB,EAAE;IAC9D,EAAE,IAAI,EAAE,WAAW,EAAE,EAAE,EAAE,SAAS,EAAE,MAAM,EAAE,gBAAgB,EAAE;IAC9D,EAAE,IAAI,EAAE,WAAW,EAAE,EAAE,EAAE,SAAS,EAAE,MAAM,EAAE,gBAAgB,EAAE;IAC9D,EAAE,IAAI,EAAE,WAAW,EAAE,EAAE,EAAE,SAAS,EAAE,MAAM,EAAE,CAAC,GAAG,gBAAgB,EAAE,eAAe,CAAC,EAAE;IACpF,EAAE,IAAI,EAAE,WAAW,EAAE,EAAE,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC,GAAG,gBAAgB,EAAE,GAAG,WAAW,CAAC,EAAE;IAChF,EAAE,IAAI,EAAE,WAAW,EAAE,EAAE,EAAE,QAAQ,EAAE,MAAM,EAAE,CAAC,GAAG,gBAAgB,EAAE,kBAAkB,CAAC,EAAE;IACtF;QACE,IAAI,EAAE,WAAW;QACjB,EAAE,EAAE,WAAW;QACf,MAAM,EAAE,CAAC,GAAG,gBAAgB,EAAE,GAAG,gBAAgB,CAAC;KACnD;CACO,CAAC;AAUX,MAAM,UAAU,+BAA+B,CAC7C,IAAwB,EACxB,EAAsB,EACtB,KAAsB;IAEtB,MAAM,IAAI,GAAG,6BAA6B,CAAC,IAAI,CAC7C,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,IAAI,KAAK,IAAI,IAAI,SAAS,CAAC,EAAE,KAAK,EAAE,CAC9D,CAAC;IACF,IAAI,CAAC,IAAI,EAAE,CAAC;QACV,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,MAAM,EAAE,uBAAuB,EAAE,QAAQ,EAAE,EAAE,EAAE,CAAC;IAC3E,CAAC;IAED,MAAM,QAAQ,GAAG,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,cAAc,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC;IAC9E,OAAO,QAAQ,CAAC,MAAM,KAAK,CAAC;QAC1B,CAAC,CAAC,EAAE,OAAO,EAAE,IAAI,EAAE;QACnB,CAAC,CAAC,EAAE,OAAO,EAAE,KAAK,EAAE,MAAM,EAAE,cAAc,EAAE,QAAQ,EAAE,CAAC;AAC3D,CAAC;AAED,SAAS,cAAc,CAAC,KAAsB,EAAE,KAAsB;IACpE,QAAQ,KAAK,EAAE,CAAC;QACd,KAAK,iBAAiB;YACpB,OAAO,KAAK,CAAC,QAAQ,CAAC,MAAM,CAAC;QAC/B,KAAK,+BAA+B;YAClC,OAAO,CAAC,KAAK,CAAC,MAAM,CAAC,cAAc,IAAI,KAAK,CAAC,MAAM,CAAC,OAAO,CAAC;QAC9D,KAAK,4BAA4B;YAC/B,OAAO,CAAC,KAAK,CAAC,eAAe,CAAC,QAAQ,IAAI,KAAK,CAAC,eAAe,CAAC,QAAQ,KAAK,CAAC,CAAC;QACjF,KAAK,gBAAgB;YACnB,OAAO,CAAC,KAAK,CAAC,KAAK,CAAC,gBAAgB,IAAI,KAAK,CAAC,KAAK,CAAC,QAAQ,CAAC;QAC/D,KAAK,qBAAqB;YACxB,OAAO,CAAC,KAAK,CAAC,MAAM,CAAC,QAAQ,CAAC;QAChC,KAAK,mBAAmB;YACtB,OAAO,KAAK,CAAC,OAAO,CAAC,cAAc,IAAI,KAAK,CAAC,OAAO,CAAC,gBAAgB,CAAC;QACxE,KAAK,iBAAiB;YACpB,OAAO,KAAK,CAAC,OAAO,CAAC,OAAO,KAAK,IAAI;mBAChC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,cAAc,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,gBAAgB,CAAC,CAAC;QAC1E,KAAK,kBAAkB;YACrB,OAAO,KAAK,CAAC,OAAO,EAAE,QAAQ,KAAK,IAAI,CAAC;QAC1C,KAAK,sBAAsB;YACzB,OAAO,KAAK,CAAC,WAAW,EAAE,QAAQ,KAAK,IAAI,CAAC;QAC9C,KAAK,eAAe;YAClB,OAAO,KAAK,CAAC,IAAI,EAAE,QAAQ,KAAK,IAAI,CAAC;QACvC,KAAK,2BAA2B;YAC9B,OAAO,KAAK,CAAC,SAAS,CAAC,cAAc,CAAC;QACxC,KAAK,+BAA+B;YAClC,OAAO,KAAK,CAAC,SAAS,CAAC,kBAAkB,KAAK,IAAI,CAAC;QACrD,KAAK,cAAc;YACjB,OAAO,KAAK,CAAC,KAAK,CAAC,IAAI,KAAK,iBAAiB;mBACxC,KAAK,CAAC,KAAK,CAAC,IAAI,KAAK,OAAO;mBAC5B,KAAK,CAAC,KAAK,CAAC,IAAI,KAAK,cAAc,CAAC;QAC3C,KAAK,2BAA2B;YAC9B,OAAO,KAAK,CAAC,KAAK,CAAC,kBAAkB,CAAC;QACxC,KAAK,aAAa;YAChB,OAAO,KAAK,CAAC,MAAM,CAAC,YAAY,CAAC;IACrC,CAAC;AACH,CAAC;AAED,MAAM,CAAC,MAAM,yBAAyB,GAAG,CAAC,WAAW,EAAE,WAAW,EAAE,QAAQ,EAAE,SAAS,CAAU,CAAC;AAElG,MAAM,UAAU,2BAA2B,CAAC,KAM3C;IACC,IAAI,CAAC,KAAK,CAAC,cAAc,IAAI,KAAK,CAAC,gBAAgB;QAAE,OAAO,WAAW,CAAC;IACxE,IAAI,KAAK,CAAC,qBAAqB,IAAI,KAAK,CAAC,mBAAmB;QAAE,OAAO,WAAW,CAAC;IACjF,IAAI,KAAK,CAAC,eAAe;QAAE,OAAO,QAAQ,CAAC;IAC3C,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,MAAM,UAAU,mBAAmB,CAAC,MAAsB,EAAE,MAAe;IACzE,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC;QAAE,OAAO,KAAK,CAAC;IACpC,KAAK,MAAM,QAAQ,IAAI,MAAM,CAAC,QAAQ,EAAE,CAAC;QACvC,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,cAAc,CAAC,IAAI,CAAC,MAAM,EAAE,QAAQ,CAAC;YAAE,OAAO,KAAK,CAAC;IAC5E,CAAC;IACD,KAAK,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,UAAU,CAAC,EAAE,CAAC;QAC9D,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,cAAc,CAAC,IAAI,CAAC,MAAM,EAAE,IAAI,CAAC;YAAE,SAAS;QAClE,IAAI,CAAC,gBAAgB,CAAC,KAAK,EAAE,MAAM,CAAC,IAAI,CAAC,CAAC;YAAE,OAAO,KAAK,CAAC;IAC3D,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,SAAS,gBAAgB,CAAC,KAAwB,EAAE,KAAc;IAChE,QAAQ,KAAK,CAAC,IAAI,EAAE,CAAC;QACnB,KAAK,QAAQ;YACX,OAAO,OAAO,KAAK,KAAK,QAAQ,CAAC;QACnC,KAAK,QAAQ;YACX,OAAO,OAAO,KAAK,KAAK,QAAQ,IAAI,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC;QAC7D,KAAK,SAAS;YACZ,OAAO,OAAO,KAAK,KAAK,SAAS,CAAC;QACpC,KAAK,QAAQ;YACX,OAAO,QAAQ,CAAC,KAAK,CAAC,CAAC;QACzB,KAAK,OAAO;YACV,OAAO,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;QAC9B,KAAK,MAAM;YACT,OAAO,KAAK,KAAK,IAAI,CAAC;IAC1B,CAAC;AACH,CAAC;AAED,SAAS,QAAQ,CAAC,KAAc;IAC9B,OAAO,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;AAC9E,CAAC"}