@bluewombat/implementer 0.1.0

package/dist/run/run-implementer.js

@@ -0,0 +1,274 @@
+import { runBuilder } from "../child/run-builder.js";
+import { runGate } from "../child/run-gate.js";
+import { decideAfterAttempt } from "../loop/decide-after-attempt.js";
+import { announceStatus } from "../status/announce.js";
+import { makeStatus } from "../status/make-status.js";
+function exitCodeFor(outcome) {
+    switch (outcome) {
+        case "validated":
+            return 0;
+        case "escalated":
+            return 1;
+        case "invalid-invocation":
+            return 2;
+        case "interrupted":
+            return 130;
+    }
+}
+/**
+ * The producer for this pass, and how long it may run.
+ *
+ * A pass with something to resolve is a different job from a first one, and a
+ * Project may hand it to a different agent. The choice is on the report, not on
+ * the Attempt number: a Task run again because an outside judge sent its result
+ * back carries a report from its very first Attempt.
+ */
+function producerFor(invocation, hasReport) {
+    if (invocation.builderArgv === undefined) {
+        return undefined;
+    }
+    if (hasReport && invocation.repairArgv !== undefined) {
+        return {
+            argv: invocation.repairArgv,
+            timeoutMs: invocation.repairTimeoutMs ?? invocation.builderTimeoutMs,
+        };
+    }
+    return { argv: invocation.builderArgv, timeoutMs: invocation.builderTimeoutMs };
+}
+/**
+ * Run one Implementer invocation to a run outcome.
+ */
+export async function runImplementer(options) {
+    const { invocation } = options;
+    const write = options.write ?? (() => { });
+    const interruptState = options.interruptFlag ?? { interrupted: false };
+    const shouldInterrupt = () => interruptState.interrupted;
+    return await runLoop({ invocation, write, shouldInterrupt, cwd: options.cwd });
+}
+async function runLoop(input) {
+    const { invocation, write, shouldInterrupt } = input;
+    const traces = [];
+    let previousReport = invocation.report;
+    let previousRefusedBy = invocation.reportFrom;
+    for (let attempt = 1; attempt <= invocation.maxAttempts; attempt += 1) {
+        if (shouldInterrupt()) {
+            return finishInterrupted({
+                cwd: input.cwd,
+                invocation,
+                write,
+                attempt,
+                traces,
+                // interrupted before Builder spawn of this Attempt — if no prior Attempt, still interrupted
+            });
+        }
+        const builderInput = {
+            intention: invocation.intention,
+            definition_of_done: invocation.definitionOfDone,
+        };
+        if (previousReport !== undefined) {
+            builderInput.report = previousReport;
+        }
+        if (invocation.builderArgv !== undefined) {
+            await announceStatus({
+                cwd: input.cwd,
+                invocation,
+                status: makeStatus({
+                    phase: "building",
+                    attempt,
+                    maxAttempts: invocation.maxAttempts,
+                }),
+                write,
+                shouldInterrupt,
+            });
+        }
+        write({
+            event: "attempt-started",
+            task_id: invocation.id,
+            attempt,
+        });
+        // A Task with no producer is its Gate sequence alone: nothing is made, and
+        // the Attempt is the judgement.
+        const producer = producerFor(invocation, previousReport !== undefined);
+        const builderRun = producer === undefined
+            ? {
+                result: { kind: "skipped" },
+                attemptEnded: undefined,
+                reportForRetry: undefined,
+            }
+            : await runBuilder({
+                invocation,
+                producerArgv: producer.argv,
+                attempt,
+                previousReport,
+                previousRefusedBy,
+                timeoutMs: producer.timeoutMs,
+                shouldInterrupt,
+            });
+        if (invocation.builderArgv !== undefined) {
+            write({
+                event: "builder-finished",
+                task_id: invocation.id,
+                attempt,
+                result: builderRun.result,
+            });
+        }
+        const gateEntries = [];
+        let ended;
+        if (builderRun.attemptEnded !== undefined) {
+            ended = builderRun.attemptEnded;
+            if (ended === "fail-retryable" || ended === "fail-blocking") {
+                previousReport = builderRun.reportForRetry;
+                // The producer failed on its own; no Gate refused it.
+                previousRefusedBy = undefined;
+            }
+        }
+        else {
+            // Builder completed — run Gates (may be empty → validated).
+            let gateStop;
+            for (const gate of invocation.gates) {
+                if (shouldInterrupt()) {
+                    gateStop = "interrupted";
+                    break;
+                }
+                await announceStatus({
+                    cwd: input.cwd,
+                    invocation,
+                    status: makeStatus({
+                        phase: "gating",
+                        attempt,
+                        maxAttempts: invocation.maxAttempts,
+                        gateId: gate.id,
+                    }),
+                    write,
+                    shouldInterrupt,
+                });
+                const gateRun = await runGate({
+                    invocation,
+                    attempt,
+                    gate,
+                    timeoutMs: gate.timeoutMs,
+                    shouldInterrupt,
+                });
+                gateEntries.push(gateRun.entry);
+                write({
+                    event: "gate-finished",
+                    task_id: invocation.id,
+                    attempt,
+                    gate_id: gate.id,
+                    verdict: gateRun.entry.verdict,
+                    report: gateRun.entry.report,
+                });
+                if (gateRun.stop !== undefined) {
+                    gateStop = gateRun.stop;
+                    if (gateRun.stop === "fail-retryable" || gateRun.stop === "fail-blocking") {
+                        previousReport = gateRun.entry.report;
+                        previousRefusedBy = gate.id;
+                    }
+                    break;
+                }
+            }
+            ended = gateStop ?? "validated";
+        }
+        if (shouldInterrupt() && ended !== "interrupted") {
+            // Stop signal raced after child finished: prefer interrupted for in-flight semantics
+            // only when we were killed mid-child — already handled. If interrupt arrived between
+            // children, treat as interrupted for the Attempt when not already validated.
+            if (ended !== "validated") {
+                ended = "interrupted";
+            }
+        }
+        const trace = {
+            task_id: invocation.id,
+            attempt,
+            builder: {
+                input: builderInput,
+                result: builderRun.result,
+            },
+            gates: gateEntries,
+            ended,
+        };
+        traces.push(trace);
+        write({
+            event: "attempt-finished",
+            task_id: invocation.id,
+            attempt,
+            ended,
+            trace,
+        });
+        const decision = decideAfterAttempt({
+            ended,
+            attemptsStarted: attempt,
+            maxAttempts: invocation.maxAttempts,
+        });
+        if (decision.action === "finish") {
+            return finishRun({
+                cwd: input.cwd,
+                invocation,
+                write,
+                attempt,
+                outcome: decision.outcome,
+                traces,
+            });
+        }
+        // retry: clear nothing; Gates restart from first; Builder gets --report
+    }
+    // Exhausted without finish (should be unreachable — last Attempt always decides).
+    return finishRun({
+        cwd: input.cwd,
+        invocation,
+        write,
+        attempt: invocation.maxAttempts,
+        outcome: "escalated",
+        traces,
+    });
+}
+async function finishRun(input) {
+    const { invocation, write, attempt, outcome, traces } = input;
+    await announceStatus({
+        invocation,
+        status: makeStatus({
+            phase: outcome,
+            attempt,
+            maxAttempts: invocation.maxAttempts,
+        }),
+        write,
+        shouldInterrupt: () => false,
+        cwd: input.cwd,
+    });
+    write({
+        event: "run-finished",
+        task_id: invocation.id,
+        outcome,
+        traces,
+    });
+    return { outcome, traces, exitCode: exitCodeFor(outcome) };
+}
+async function finishInterrupted(input) {
+    return finishRun({
+        ...input,
+        outcome: "interrupted",
+    });
+}
+export function invalidInvocationResult(invocationId, write, reason) {
+    const status = makeStatus({ phase: "invalid" });
+    write({
+        event: "status",
+        task_id: invocationId ?? "",
+        phase: status.phase,
+        label: status.label,
+        reason,
+    });
+    write({
+        event: "run-finished",
+        task_id: invocationId ?? "",
+        outcome: "invalid-invocation",
+        reason,
+        traces: [],
+    });
+    return {
+        outcome: "invalid-invocation",
+        traces: [],
+        exitCode: exitCodeFor("invalid-invocation"),
+    };
+}
+//# sourceMappingURL=run-implementer.js.map

package/dist/run/run-implementer.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"run-implementer.js","sourceRoot":"","sources":["../../src/run/run-implementer.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,MAAM,yBAAyB,CAAC;AACrD,OAAO,EAAE,OAAO,EAAE,MAAM,sBAAsB,CAAC;AAC/C,OAAO,EAAE,kBAAkB,EAAE,MAAM,iCAAiC,CAAC;AAErE,OAAO,EAAE,cAAc,EAAE,MAAM,uBAAuB,CAAC;AACvD,OAAO,EAAE,UAAU,EAAE,MAAM,0BAA0B,CAAC;AAkBtD,SAAS,WAAW,CAAC,OAAmB;IACtC,QAAQ,OAAO,EAAE,CAAC;QAChB,KAAK,WAAW;YACd,OAAO,CAAC,CAAC;QACX,KAAK,WAAW;YACd,OAAO,CAAC,CAAC;QACX,KAAK,oBAAoB;YACvB,OAAO,CAAC,CAAC;QACX,KAAK,aAAa;YAChB,OAAO,GAAG,CAAC;IACf,CAAC;AACH,CAAC;AAED;;;;;;;GAOG;AACH,SAAS,WAAW,CAClB,UAAsB,EACtB,SAAkB;IAElB,IAAI,UAAU,CAAC,WAAW,KAAK,SAAS,EAAE,CAAC;QACzC,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,IAAI,SAAS,IAAI,UAAU,CAAC,UAAU,KAAK,SAAS,EAAE,CAAC;QACrD,OAAO;YACL,IAAI,EAAE,UAAU,CAAC,UAAU;YAC3B,SAAS,EAAE,UAAU,CAAC,eAAe,IAAI,UAAU,CAAC,gBAAgB;SACrE,CAAC;IACJ,CAAC;IACD,OAAO,EAAE,IAAI,EAAE,UAAU,CAAC,WAAW,EAAE,SAAS,EAAE,UAAU,CAAC,gBAAgB,EAAE,CAAC;AAClF,CAAC;AAED;;GAEG;AACH,MAAM,CAAC,KAAK,UAAU,cAAc,CAAC,OAAmB;IACtD,MAAM,EAAE,UAAU,EAAE,GAAG,OAAO,CAAC;IAC/B,MAAM,KAAK,GAAG,OAAO,CAAC,KAAK,IAAI,CAAC,GAAG,EAAE,GAAE,CAAC,CAAC,CAAC;IAE1C,MAAM,cAAc,GAAG,OAAO,CAAC,aAAa,IAAI,EAAE,WAAW,EAAE,KAAK,EAAE,CAAC;IACvE,MAAM,eAAe,GAAG,GAAG,EAAE,CAAC,cAAc,CAAC,WAAW,CAAC;IAEzD,OAAO,MAAM,OAAO,CAAC,EAAE,UAAU,EAAE,KAAK,EAAE,eAAe,EAAE,GAAG,EAAE,OAAO,CAAC,GAAG,EAAE,CAAC,CAAC;AACjF,CAAC;AAED,KAAK,UAAU,OAAO,CAAC,KAKtB;IACC,MAAM,EAAE,UAAU,EAAE,KAAK,EAAE,eAAe,EAAE,GAAG,KAAK,CAAC;IACrD,MAAM,MAAM,GAAY,EAAE,CAAC;IAC3B,IAAI,cAAc,GAAuB,UAAU,CAAC,MAAM,CAAC;IAC3D,IAAI,iBAAiB,GAAuB,UAAU,CAAC,UAAU,CAAC;IAElE,KAAK,IAAI,OAAO,GAAG,CAAC,EAAE,OAAO,IAAI,UAAU,CAAC,WAAW,EAAE,OAAO,IAAI,CAAC,EAAE,CAAC;QACtE,IAAI,eAAe,EAAE,EAAE,CAAC;YACtB,OAAO,iBAAiB,CAAC;gBACvB,GAAG,EAAE,KAAK,CAAC,GAAG;gBACd,UAAU;gBACV,KAAK;gBACL,OAAO;gBACP,MAAM;gBACN,4FAA4F;aAC7F,CAAC,CAAC;QACL,CAAC;QAED,MAAM,YAAY,GAAiB;YACjC,SAAS,EAAE,UAAU,CAAC,SAAS;YAC/B,kBAAkB,EAAE,UAAU,CAAC,gBAAgB;SAChD,CAAC;QACF,IAAI,cAAc,KAAK,SAAS,EAAE,CAAC;YACjC,YAAY,CAAC,MAAM,GAAG,cAAc,CAAC;QACvC,CAAC;QAED,IAAI,UAAU,CAAC,WAAW,KAAK,SAAS,EAAE,CAAC;YACzC,MAAM,cAAc,CAAC;gBACnB,GAAG,EAAE,KAAK,CAAC,GAAG;gBACd,UAAU;gBACV,MAAM,EAAE,UAAU,CAAC;oBACjB,KAAK,EAAE,UAAU;oBACjB,OAAO;oBACP,WAAW,EAAE,UAAU,CAAC,WAAW;iBACpC,CAAC;gBACF,KAAK;gBACL,eAAe;aAChB,CAAC,CAAC;QACL,CAAC;QAED,KAAK,CAAC;YACJ,KAAK,EAAE,iBAAiB;YACxB,OAAO,EAAE,UAAU,CAAC,EAAE;YACtB,OAAO;SACR,CAAC,CAAC;QAEH,2EAA2E;QAC3E,gCAAgC;QAChC,MAAM,QAAQ,GAAG,WAAW,CAAC,UAAU,EAAE,cAAc,KAAK,SAAS,CAAC,CAAC;QACvE,MAAM,UAAU,GACd,QAAQ,KAAK,SAAS;YACpB,CAAC,CAAC;gBACE,MAAM,EAAE,EAAE,IAAI,EAAE,SAAkB,EAAE;gBACpC,YAAY,EAAE,SAAS;gBACvB,cAAc,EAAE,SAAS;aAC1B;YACH,CAAC,CAAC,MAAM,UAAU,CAAC;gBACf,UAAU;gBACV,YAAY,EAAE,QAAQ,CAAC,IAAI;gBAC3B,OAAO;gBACP,cAAc;gBACd,iBAAiB;gBACjB,SAAS,EAAE,QAAQ,CAAC,SAAS;gBAC7B,eAAe;aAChB,CAAC,CAAC;QAET,IAAI,UAAU,CAAC,WAAW,KAAK,SAAS,EAAE,CAAC;YACzC,KAAK,CAAC;gBACJ,KAAK,EAAE,kBAAkB;gBACzB,OAAO,EAAE,UAAU,CAAC,EAAE;gBACtB,OAAO;gBACP,MAAM,EAAE,UAAU,CAAC,MAAM;aAC1B,CAAC,CAAC;QACL,CAAC;QAED,MAAM,WAAW,GAAmB,EAAE,CAAC;QACvC,IAAI,KAAmB,CAAC;QAExB,IAAI,UAAU,CAAC,YAAY,KAAK,SAAS,EAAE,CAAC;YAC1C,KAAK,GAAG,UAAU,CAAC,YAAY,CAAC;YAChC,IAAI,KAAK,KAAK,gBAAgB,IAAI,KAAK,KAAK,eAAe,EAAE,CAAC;gBAC5D,cAAc,GAAG,UAAU,CAAC,cAAc,CAAC;gBAC3C,sDAAsD;gBACtD,iBAAiB,GAAG,SAAS,CAAC;YAChC,CAAC;QACH,CAAC;aAAM,CAAC;YACN,4DAA4D;YAC5D,IAAI,QAAkC,CAAC;YACvC,KAAK,MAAM,IAAI,IAAI,UAAU,CAAC,KAAK,EAAE,CAAC;gBACpC,IAAI,eAAe,EAAE,EAAE,CAAC;oBACtB,QAAQ,GAAG,aAAa,CAAC;oBACzB,MAAM;gBACR,CAAC;gBAED,MAAM,cAAc,CAAC;oBACnB,GAAG,EAAE,KAAK,CAAC,GAAG;oBACd,UAAU;oBACV,MAAM,EAAE,UAAU,CAAC;wBACjB,KAAK,EAAE,QAAQ;wBACf,OAAO;wBACP,WAAW,EAAE,UAAU,CAAC,WAAW;wBACnC,MAAM,EAAE,IAAI,CAAC,EAAE;qBAChB,CAAC;oBACF,KAAK;oBACL,eAAe;iBAChB,CAAC,CAAC;gBAEH,MAAM,OAAO,GAAG,MAAM,OAAO,CAAC;oBAC5B,UAAU;oBACV,OAAO;oBACP,IAAI;oBACJ,SAAS,EAAE,IAAI,CAAC,SAAS;oBACzB,eAAe;iBAChB,CAAC,CAAC;gBAEH,WAAW,CAAC,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;gBAChC,KAAK,CAAC;oBACJ,KAAK,EAAE,eAAe;oBACtB,OAAO,EAAE,UAAU,CAAC,EAAE;oBACtB,OAAO;oBACP,OAAO,EAAE,IAAI,CAAC,EAAE;oBAChB,OAAO,EAAE,OAAO,CAAC,KAAK,CAAC,OAAO;oBAC9B,MAAM,EAAE,OAAO,CAAC,KAAK,CAAC,MAAM;iBAC7B,CAAC,CAAC;gBAEH,IAAI,OAAO,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;oBAC/B,QAAQ,GAAG,OAAO,CAAC,IAAI,CAAC;oBACxB,IAAI,OAAO,CAAC,IAAI,KAAK,gBAAgB,IAAI,OAAO,CAAC,IAAI,KAAK,eAAe,EAAE,CAAC;wBAC1E,cAAc,GAAG,OAAO,CAAC,KAAK,CAAC,MAAM,CAAC;wBACtC,iBAAiB,GAAG,IAAI,CAAC,EAAE,CAAC;oBAC9B,CAAC;oBACD,MAAM;gBACR,CAAC;YACH,CAAC;YAED,KAAK,GAAG,QAAQ,IAAI,WAAW,CAAC;QAClC,CAAC;QAED,IAAI,eAAe,EAAE,IAAI,KAAK,KAAK,aAAa,EAAE,CAAC;YACjD,qFAAqF;YACrF,qFAAqF;YACrF,6EAA6E;YAC7E,IAAI,KAAK,KAAK,WAAW,EAAE,CAAC;gBAC1B,KAAK,GAAG,aAAa,CAAC;YACxB,CAAC;QACH,CAAC;QAED,MAAM,KAAK,GAAU;YACnB,OAAO,EAAE,UAAU,CAAC,EAAE;YACtB,OAAO;YACP,OAAO,EAAE;gBACP,KAAK,EAAE,YAAY;gBACnB,MAAM,EAAE,UAAU,CAAC,MAAM;aAC1B;YACD,KAAK,EAAE,WAAW;YAClB,KAAK;SACN,CAAC;QACF,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAEnB,KAAK,CAAC;YACJ,KAAK,EAAE,kBAAkB;YACzB,OAAO,EAAE,UAAU,CAAC,EAAE;YACtB,OAAO;YACP,KAAK;YACL,KAAK;SACN,CAAC,CAAC;QAEH,MAAM,QAAQ,GAAG,kBAAkB,CAAC;YAClC,KAAK;YACL,eAAe,EAAE,OAAO;YACxB,WAAW,EAAE,UAAU,CAAC,WAAW;SACpC,CAAC,CAAC;QAEH,IAAI,QAAQ,CAAC,MAAM,KAAK,QAAQ,EAAE,CAAC;YACjC,OAAO,SAAS,CAAC;gBACf,GAAG,EAAE,KAAK,CAAC,GAAG;gBACd,UAAU;gBACV,KAAK;gBACL,OAAO;gBACP,OAAO,EAAE,QAAQ,CAAC,OAAO;gBACzB,MAAM;aACP,CAAC,CAAC;QACL,CAAC;QAED,wEAAwE;IAC1E,CAAC;IAED,kFAAkF;IAClF,OAAO,SAAS,CAAC;QACf,GAAG,EAAE,KAAK,CAAC,GAAG;QACd,UAAU;QACV,KAAK;QACL,OAAO,EAAE,UAAU,CAAC,WAAW;QAC/B,OAAO,EAAE,WAAW;QACpB,MAAM;KACP,CAAC,CAAC;AACL,CAAC;AAED,KAAK,UAAU,SAAS,CAAC,KAOxB;IACC,MAAM,EAAE,UAAU,EAAE,KAAK,EAAE,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,GAAG,KAAK,CAAC;IAC9D,MAAM,cAAc,CAAC;QACnB,UAAU;QACV,MAAM,EAAE,UAAU,CAAC;YACjB,KAAK,EAAE,OAAO;YACd,OAAO;YACP,WAAW,EAAE,UAAU,CAAC,WAAW;SACpC,CAAC;QACF,KAAK;QACL,eAAe,EAAE,GAAG,EAAE,CAAC,KAAK;QAC5B,GAAG,EAAE,KAAK,CAAC,GAAG;KACf,CAAC,CAAC;IACH,KAAK,CAAC;QACJ,KAAK,EAAE,cAAc;QACrB,OAAO,EAAE,UAAU,CAAC,EAAE;QACtB,OAAO;QACP,MAAM;KACP,CAAC,CAAC;IACH,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,QAAQ,EAAE,WAAW,CAAC,OAAO,CAAC,EAAE,CAAC;AAC7D,CAAC;AAED,KAAK,UAAU,iBAAiB,CAAC,KAMhC;IACC,OAAO,SAAS,CAAC;QACf,GAAG,KAAK;QACR,OAAO,EAAE,aAAa;KACvB,CAAC,CAAC;AACL,CAAC;AAED,MAAM,UAAU,uBAAuB,CACrC,YAAgC,EAChC,KAAqB,EACrB,MAAc;IAEd,MAAM,MAAM,GAAG,UAAU,CAAC,EAAE,KAAK,EAAE,SAAS,EAAE,CAAC,CAAC;IAChD,KAAK,CAAC;QACJ,KAAK,EAAE,QAAQ;QACf,OAAO,EAAE,YAAY,IAAI,EAAE;QAC3B,KAAK,EAAE,MAAM,CAAC,KAAK;QACnB,KAAK,EAAE,MAAM,CAAC,KAAK;QACnB,MAAM;KACP,CAAC,CAAC;IACH,KAAK,CAAC;QACJ,KAAK,EAAE,cAAc;QACrB,OAAO,EAAE,YAAY,IAAI,EAAE;QAC3B,OAAO,EAAE,oBAAoB;QAC7B,MAAM;QACN,MAAM,EAAE,EAAE;KACX,CAAC,CAAC;IACH,OAAO;QACL,OAAO,EAAE,oBAAoB;QAC7B,MAAM,EAAE,EAAE;QACV,QAAQ,EAAE,WAAW,CAAC,oBAAoB,CAAC;KAC5C,CAAC;AACJ,CAAC"}

package/dist/status/announce.d.ts

@@ -0,0 +1,14 @@
+import type { ProgressWriter } from "../progress/emit.js";
+import type { Invocation, Status } from "../types.js";
+/**
+ * Announce Status on stdout (and optionally via --on-status).
+ * --on-status never affects the run outcome.
+ */
+export declare function announceStatus(input: {
+    invocation: Invocation;
+    status: Status;
+    write: ProgressWriter;
+    shouldInterrupt: () => boolean;
+    cwd: string | undefined;
+}): Promise<void>;
+//# sourceMappingURL=announce.d.ts.map

package/dist/status/announce.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"announce.d.ts","sourceRoot":"","sources":["../../src/status/announce.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,qBAAqB,CAAC;AAE1D,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,EAAE,MAAM,aAAa,CAAC;AAEtD;;;GAGG;AACH,wBAAsB,cAAc,CAAC,KAAK,EAAE;IAC1C,UAAU,EAAE,UAAU,CAAC;IACvB,MAAM,EAAE,MAAM,CAAC;IACf,KAAK,EAAE,cAAc,CAAC;IACtB,eAAe,EAAE,MAAM,OAAO,CAAC;IAC/B,GAAG,EAAE,MAAM,GAAG,SAAS,CAAC;CACzB,GAAG,OAAO,CAAC,IAAI,CAAC,CAmChB"}

package/dist/status/announce.js

@@ -0,0 +1,40 @@
+import { runChild } from "../child/run-child.js";
+import { emitStatusEvent } from "../progress/emit.js";
+/**
+ * Announce Status on stdout (and optionally via --on-status).
+ * --on-status never affects the run outcome.
+ */
+export async function announceStatus(input) {
+    const { invocation, status, write, shouldInterrupt, cwd } = input;
+    emitStatusEvent(write, invocation.id, status);
+    const onStatus = invocation.onStatusArgv;
+    if (onStatus === undefined) {
+        return;
+    }
+    const argv = [
+        ...onStatus,
+        "--id",
+        invocation.id,
+        "--label",
+        status.label,
+        "--phase",
+        status.phase,
+    ];
+    if (status.attempt !== undefined) {
+        argv.push("--attempt", String(status.attempt));
+    }
+    if (status.max_attempts !== undefined) {
+        argv.push("--max-attempts", String(status.max_attempts));
+    }
+    if (status.gate_id !== undefined) {
+        argv.push("--gate-id", status.gate_id);
+    }
+    // Soft cap only: a hang or non-zero exit must not change the run outcome.
+    await runChild({
+        argv,
+        cwd,
+        timeoutMs: 5_000,
+        shouldInterrupt,
+    });
+}
+//# sourceMappingURL=announce.js.map

package/dist/status/announce.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"announce.js","sourceRoot":"","sources":["../../src/status/announce.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,MAAM,uBAAuB,CAAC;AAEjD,OAAO,EAAE,eAAe,EAAE,MAAM,qBAAqB,CAAC;AAGtD;;;GAGG;AACH,MAAM,CAAC,KAAK,UAAU,cAAc,CAAC,KAMpC;IACC,MAAM,EAAE,UAAU,EAAE,MAAM,EAAE,KAAK,EAAE,eAAe,EAAE,GAAG,EAAE,GAAG,KAAK,CAAC;IAClE,eAAe,CAAC,KAAK,EAAE,UAAU,CAAC,EAAE,EAAE,MAAM,CAAC,CAAC;IAE9C,MAAM,QAAQ,GAAG,UAAU,CAAC,YAAY,CAAC;IACzC,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;QAC3B,OAAO;IACT,CAAC;IAED,MAAM,IAAI,GAAG;QACX,GAAG,QAAQ;QACX,MAAM;QACN,UAAU,CAAC,EAAE;QACb,SAAS;QACT,MAAM,CAAC,KAAK;QACZ,SAAS;QACT,MAAM,CAAC,KAAK;KACb,CAAC;IACF,IAAI,MAAM,CAAC,OAAO,KAAK,SAAS,EAAE,CAAC;QACjC,IAAI,CAAC,IAAI,CAAC,WAAW,EAAE,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC;IACjD,CAAC;IACD,IAAI,MAAM,CAAC,YAAY,KAAK,SAAS,EAAE,CAAC;QACtC,IAAI,CAAC,IAAI,CAAC,gBAAgB,EAAE,MAAM,CAAC,MAAM,CAAC,YAAY,CAAC,CAAC,CAAC;IAC3D,CAAC;IACD,IAAI,MAAM,CAAC,OAAO,KAAK,SAAS,EAAE,CAAC;QACjC,IAAI,CAAC,IAAI,CAAC,WAAW,EAAE,MAAM,CAAC,OAAO,CAAC,CAAC;IACzC,CAAC;IAED,0EAA0E;IAC1E,MAAM,QAAQ,CAAC;QACb,IAAI;QACJ,GAAG;QACH,SAAS,EAAE,KAAK;QAChB,eAAe;KAChB,CAAC,CAAC;AACL,CAAC"}

package/dist/status/make-status.d.ts

@@ -0,0 +1,9 @@
+import type { Status, StatusPhase } from "../types.js";
+export declare function buildStatusLabel(phase: StatusPhase, attempt: number | undefined, maxAttempts: number | undefined, gateId: string | undefined): string;
+export declare function makeStatus(input: {
+    phase: StatusPhase;
+    attempt?: number;
+    maxAttempts?: number;
+    gateId?: string;
+}): Status;
+//# sourceMappingURL=make-status.d.ts.map

package/dist/status/make-status.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"make-status.d.ts","sourceRoot":"","sources":["../../src/status/make-status.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,MAAM,EAAE,WAAW,EAAE,MAAM,aAAa,CAAC;AAEvD,wBAAgB,gBAAgB,CAC9B,KAAK,EAAE,WAAW,EAClB,OAAO,EAAE,MAAM,GAAG,SAAS,EAC3B,WAAW,EAAE,MAAM,GAAG,SAAS,EAC/B,MAAM,EAAE,MAAM,GAAG,SAAS,GACzB,MAAM,CAiBR;AAED,wBAAgB,UAAU,CAAC,KAAK,EAAE;IAChC,KAAK,EAAE,WAAW,CAAC;IACnB,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,MAAM,CAAC,EAAE,MAAM,CAAC;CACjB,GAAG,MAAM,CAkBT"}

package/dist/status/make-status.js

@@ -0,0 +1,38 @@
+export function buildStatusLabel(phase, attempt, maxAttempts, gateId) {
+    if (phase === "invalid") {
+        return "invalid";
+    }
+    if (attempt === undefined || maxAttempts === undefined) {
+        throw new Error(`Status phase "${phase}" requires attempt and max_attempts.`);
+    }
+    if (phase === "building") {
+        return `building:attempt-${attempt}:${maxAttempts}`;
+    }
+    if (phase === "gating") {
+        if (gateId === undefined) {
+            throw new Error('Status phase "gating" requires gate_id.');
+        }
+        return `gating:${gateId}:attempt-${attempt}:${maxAttempts}`;
+    }
+    return `${phase}:attempt-${attempt}:${maxAttempts}`;
+}
+export function makeStatus(input) {
+    const { phase, attempt, maxAttempts, gateId } = input;
+    const label = buildStatusLabel(phase, attempt, maxAttempts, gateId);
+    const status = { phase, label };
+    if (phase !== "invalid") {
+        if (attempt === undefined || maxAttempts === undefined) {
+            throw new Error(`Status phase "${phase}" requires attempt and max_attempts.`);
+        }
+        status.attempt = attempt;
+        status.max_attempts = maxAttempts;
+    }
+    if (phase === "gating") {
+        if (gateId === undefined) {
+            throw new Error('Status phase "gating" requires gate_id.');
+        }
+        status.gate_id = gateId;
+    }
+    return status;
+}
+//# sourceMappingURL=make-status.js.map

package/dist/status/make-status.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"make-status.js","sourceRoot":"","sources":["../../src/status/make-status.ts"],"names":[],"mappings":"AAEA,MAAM,UAAU,gBAAgB,CAC9B,KAAkB,EAClB,OAA2B,EAC3B,WAA+B,EAC/B,MAA0B;IAE1B,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;QACxB,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,IAAI,OAAO,KAAK,SAAS,IAAI,WAAW,KAAK,SAAS,EAAE,CAAC;QACvD,MAAM,IAAI,KAAK,CAAC,iBAAiB,KAAK,sCAAsC,CAAC,CAAC;IAChF,CAAC;IACD,IAAI,KAAK,KAAK,UAAU,EAAE,CAAC;QACzB,OAAO,oBAAoB,OAAO,IAAI,WAAW,EAAE,CAAC;IACtD,CAAC;IACD,IAAI,KAAK,KAAK,QAAQ,EAAE,CAAC;QACvB,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;YACzB,MAAM,IAAI,KAAK,CAAC,yCAAyC,CAAC,CAAC;QAC7D,CAAC;QACD,OAAO,UAAU,MAAM,YAAY,OAAO,IAAI,WAAW,EAAE,CAAC;IAC9D,CAAC;IACD,OAAO,GAAG,KAAK,YAAY,OAAO,IAAI,WAAW,EAAE,CAAC;AACtD,CAAC;AAED,MAAM,UAAU,UAAU,CAAC,KAK1B;IACC,MAAM,EAAE,KAAK,EAAE,OAAO,EAAE,WAAW,EAAE,MAAM,EAAE,GAAG,KAAK,CAAC;IACtD,MAAM,KAAK,GAAG,gBAAgB,CAAC,KAAK,EAAE,OAAO,EAAE,WAAW,EAAE,MAAM,CAAC,CAAC;IACpE,MAAM,MAAM,GAAW,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC;IACxC,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;QACxB,IAAI,OAAO,KAAK,SAAS,IAAI,WAAW,KAAK,SAAS,EAAE,CAAC;YACvD,MAAM,IAAI,KAAK,CAAC,iBAAiB,KAAK,sCAAsC,CAAC,CAAC;QAChF,CAAC;QACD,MAAM,CAAC,OAAO,GAAG,OAAO,CAAC;QACzB,MAAM,CAAC,YAAY,GAAG,WAAW,CAAC;IACpC,CAAC;IACD,IAAI,KAAK,KAAK,QAAQ,EAAE,CAAC;QACvB,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;YACzB,MAAM,IAAI,KAAK,CAAC,yCAAyC,CAAC,CAAC;QAC7D,CAAC;QACD,MAAM,CAAC,OAAO,GAAG,MAAM,CAAC;IAC1B,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC"}

package/dist/types.d.ts

@@ -0,0 +1,119 @@
+/** Domain types owned by Implementer. Names match the Transformer perimeter only. */
+export type RunOutcome = "invalid-invocation" | "validated" | "escalated" | "interrupted";
+export type AttemptEnded = "validated" | "fail-retryable" | "fail-blocking" | "interrupted";
+export type GateVerdict = "pass" | "fail-retryable" | "fail-blocking";
+export type BuilderResultKind = "completed" | "failed" | "timed_out" | "interrupted" | "refused"
+/** There was no producer to run: the Attempt is its Gate sequence alone. */
+ | "skipped";
+export type StatusPhase = "building" | "gating" | "validated" | "escalated" | "interrupted" | "invalid";
+export type Status = {
+    phase: StatusPhase;
+    attempt?: number;
+    max_attempts?: number;
+    gate_id?: string;
+    label: string;
+};
+export type BuilderInput = {
+    intention: string;
+    definition_of_done: string;
+    report?: string;
+};
+export type BuilderResult = {
+    kind: BuilderResultKind;
+    /** fail-retryable or fail-blocking when kind is failed / refused / timed_out */
+    outcome?: "fail-retryable" | "fail-blocking";
+    detail?: string;
+};
+export type GateTraceEntry = {
+    id: string;
+    verdict: GateVerdict;
+    report: string;
+};
+export type Trace = {
+    task_id: string;
+    attempt: number;
+    builder: {
+        input: BuilderInput;
+        result: BuilderResult;
+    };
+    gates: GateTraceEntry[];
+    ended: AttemptEnded;
+};
+export type GateSpec = {
+    id: string;
+    argv: string[];
+    /**
+     * How long this Gate may take, at most. Required.
+     *
+     * Every child of an Attempt carries its own ceiling, and none is ever derived
+     * from what another child left behind. A Gate that waits on something outside
+     * — a check, a person — is then the only one paying for that wait.
+     */
+    timeoutMs: number;
+};
+export type Invocation = {
+    id: string;
+    intention: string;
+    definitionOfDone: string;
+    workspace: string;
+    /**
+     * The producer. Absent: an Attempt is its Gate sequence alone.
+     *
+     * Some Tasks only need judging — a stage whose work is already done, or one
+     * whose answer comes from outside. Making one produce so that it can be
+     * judged is how a correct result gets rewritten for no reason.
+     */
+    builderArgv?: string[];
+    /**
+     * The producer for a pass that has something to resolve, instead of `builderArgv`.
+     *
+     * Making from a specification and repairing what a check refused are not the
+     * same job, and they are not always best done by the same agent or the same
+     * prompt. Absent: `builderArgv` does both.
+     *
+     * Chosen on the presence of a report, not on the Attempt number: a Task run
+     * again because something outside judged its result carries one from its very
+     * first Attempt.
+     */
+    repairArgv?: string[];
+    gates: GateSpec[];
+    /**
+     * What a pass before this invocation left unresolved.
+     *
+     * Attempt 1 usually has nothing to say to the Builder. When the Task is run
+     * again because something outside judged the last result, that judgement is
+     * the report, and the Builder reads it exactly as it reads a Gate's.
+     */
+    report?: string;
+    /** Which Gate produced `report`, when a Gate did. */
+    reportFrom?: string;
+    /**
+     * One piece of work, or the whole that pieces assemble into.
+     *
+     * A check written for one can be wrong for the other, so each is told which
+     * it is looking at rather than left to guess. Absent: a piece of work.
+     */
+    stage?: "unit" | "assembly";
+    /**
+     * What this Task belongs to, passed to the producer and used for nothing else.
+     *
+     * A Task's own id says which unit of work it is, not which larger piece of
+     * work that unit serves. A producer keeping a record of its turn needs the
+     * second to file it somewhere a person can find it again.
+     */
+    context?: string;
+    maxAttempts: number;
+    /** How long the producer may run, at most. Required: nothing else bounds it. */
+    builderTimeoutMs: number;
+    /** The same, for `repairArgv`. Absent: `builderTimeoutMs`. */
+    repairTimeoutMs?: number;
+    onStatusArgv?: string[];
+};
+export type ParseResult = {
+    ok: true;
+    invocation: Invocation;
+} | {
+    ok: false;
+    reason: string;
+};
+//# sourceMappingURL=types.d.ts.map

package/dist/types.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../src/types.ts"],"names":[],"mappings":"AAAA,qFAAqF;AAErF,MAAM,MAAM,UAAU,GAAG,oBAAoB,GAAG,WAAW,GAAG,WAAW,GAAG,aAAa,CAAC;AAE1F,MAAM,MAAM,YAAY,GAAG,WAAW,GAAG,gBAAgB,GAAG,eAAe,GAAG,aAAa,CAAC;AAE5F,MAAM,MAAM,WAAW,GAAG,MAAM,GAAG,gBAAgB,GAAG,eAAe,CAAC;AAEtE,MAAM,MAAM,iBAAiB,GACzB,WAAW,GACX,QAAQ,GACR,WAAW,GACX,aAAa,GACb,SAAS;AACX,4EAA4E;GAC1E,SAAS,CAAC;AAEd,MAAM,MAAM,WAAW,GACnB,UAAU,GACV,QAAQ,GACR,WAAW,GACX,WAAW,GACX,aAAa,GACb,SAAS,CAAC;AAEd,MAAM,MAAM,MAAM,GAAG;IACnB,KAAK,EAAE,WAAW,CAAC;IACnB,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,KAAK,EAAE,MAAM,CAAC;CACf,CAAC;AAEF,MAAM,MAAM,YAAY,GAAG;IACzB,SAAS,EAAE,MAAM,CAAC;IAClB,kBAAkB,EAAE,MAAM,CAAC;IAC3B,MAAM,CAAC,EAAE,MAAM,CAAC;CACjB,CAAC;AAEF,MAAM,MAAM,aAAa,GAAG;IAC1B,IAAI,EAAE,iBAAiB,CAAC;IACxB,gFAAgF;IAChF,OAAO,CAAC,EAAE,gBAAgB,GAAG,eAAe,CAAC;IAC7C,MAAM,CAAC,EAAE,MAAM,CAAC;CACjB,CAAC;AAEF,MAAM,MAAM,cAAc,GAAG;IAC3B,EAAE,EAAE,MAAM,CAAC;IACX,OAAO,EAAE,WAAW,CAAC;IACrB,MAAM,EAAE,MAAM,CAAC;CAChB,CAAC;AAEF,MAAM,MAAM,KAAK,GAAG;IAClB,OAAO,EAAE,MAAM,CAAC;IAChB,OAAO,EAAE,MAAM,CAAC;IAChB,OAAO,EAAE;QACP,KAAK,EAAE,YAAY,CAAC;QACpB,MAAM,EAAE,aAAa,CAAC;KACvB,CAAC;IACF,KAAK,EAAE,cAAc,EAAE,CAAC;IACxB,KAAK,EAAE,YAAY,CAAC;CACrB,CAAC;AAEF,MAAM,MAAM,QAAQ,GAAG;IACrB,EAAE,EAAE,MAAM,CAAC;IACX,IAAI,EAAE,MAAM,EAAE,CAAC;IACf;;;;;;OAMG;IACH,SAAS,EAAE,MAAM,CAAC;CACnB,CAAC;AAEF,MAAM,MAAM,UAAU,GAAG;IACvB,EAAE,EAAE,MAAM,CAAC;IACX,SAAS,EAAE,MAAM,CAAC;IAClB,gBAAgB,EAAE,MAAM,CAAC;IACzB,SAAS,EAAE,MAAM,CAAC;IAClB;;;;;;OAMG;IACH,WAAW,CAAC,EAAE,MAAM,EAAE,CAAC;IACvB;;;;;;;;;;OAUG;IACH,UAAU,CAAC,EAAE,MAAM,EAAE,CAAC;IACtB,KAAK,EAAE,QAAQ,EAAE,CAAC;IAClB;;;;;;OAMG;IACH,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,qDAAqD;IACrD,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB;;;;;OAKG;IACH,KAAK,CAAC,EAAE,MAAM,GAAG,UAAU,CAAC;IAC5B;;;;;;OAMG;IACH,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,WAAW,EAAE,MAAM,CAAC;IACpB,gFAAgF;IAChF,gBAAgB,EAAE,MAAM,CAAC;IACzB,8DAA8D;IAC9D,eAAe,CAAC,EAAE,MAAM,CAAC;IACzB,YAAY,CAAC,EAAE,MAAM,EAAE,CAAC;CACzB,CAAC;AAEF,MAAM,MAAM,WAAW,GAAG;IAAE,EAAE,EAAE,IAAI,CAAC;IAAC,UAAU,EAAE,UAAU,CAAA;CAAE,GAAG;IAAE,EAAE,EAAE,KAAK,CAAC;IAAC,MAAM,EAAE,MAAM,CAAA;CAAE,CAAC"}

package/dist/types.js

@@ -0,0 +1,3 @@
+/** Domain types owned by Implementer. Names match the Transformer perimeter only. */
+export {};
+//# sourceMappingURL=types.js.map

package/dist/types.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.js","sourceRoot":"","sources":["../src/types.ts"],"names":[],"mappings":"AAAA,qFAAqF"}

package/package.json

@@ -0,0 +1,46 @@
+{
+  "name": "@bluewombat/implementer",
+  "version": "0.1.0",
+  "type": "module",
+  "description": "Transformer: runs one Task — Builder, then Gates — until validated, escalated, or interrupted.",
+  "keywords": [
+    "mason",
+    "bluewombat"
+  ],
+  "license": "MIT",
+  "homepage": "https://github.com/tilap/bluewombat/tree/main/packages/kernel/implementer#readme",
+  "bugs": "https://github.com/tilap/bluewombat/issues",
+  "repository": {
+    "type": "git",
+    "url": "git+https://github.com/tilap/bluewombat.git",
+    "directory": "packages/kernel/implementer"
+  },
+  "exports": {
+    ".": {
+      "types": "./dist/index.d.ts",
+      "import": "./dist/index.js"
+    }
+  },
+  "types": "./dist/index.d.ts",
+  "bin": {
+    "implementer": "./dist/cli.js"
+  },
+  "files": [
+    "dist",
+    "README.md",
+    "SPECS.md"
+  ],
+  "publishConfig": {
+    "access": "public"
+  },
+  "engines": {
+    "node": ">=24.20.0"
+  },
+  "scripts": {
+    "lint": "biome check .",
+    "format": "biome check --write .",
+    "tsc": "tsc --noEmit",
+    "test": "tsx --test $(find src -name '*.test.ts')",
+    "build": "tsc -p tsconfig.build.json"
+  }
+}