@mobrienv/autoloop-harness 0.7.4 → 0.9.1

package/dist/parallel.js

@@ -1,6 +1,6 @@
 import { writeFileSync } from "node:fs";
 import { join } from "node:path";
-import { buildBackendShellCommand, normalizeBackendLabel, runBackendCommand, } from "@mobrienv/autoloop-backends";
+import { buildBackendShellCommand, normalizeBackendLabel, runBackendCommand, runBackendCommandAsync, } from "@mobrienv/autoloop-backends";
 import { joinCsv, jsonBool, jsonField, jsonFieldRaw, listText, shellQuote, splitCsv, } from "@mobrienv/autoloop-core";
 import { appendAgentEvent, appendEvent, extractField, readIfExists, } from "@mobrienv/autoloop-core/journal";
 export function loadParallelBranchLaunch(branchDir) {
@@ -14,6 +14,7 @@ export function loadParallelBranchLaunch(branchDir) {
         allowedEvents: csvFieldList(line, "allowed_events"),
         prompt: extractField(line, "prompt"),
         backendKind: extractField(line, "backend_kind"),
+        backendProvider: extractField(line, "backend_provider"),
         backendCommand: extractField(line, "backend_command"),
         backendArgs: csvFieldList(line, "backend_args"),
         backendPromptMode: extractField(line, "backend_prompt_mode"),
@@ -30,6 +31,8 @@ export function parallelBranchBackendOverride(launch) {
     const override = {};
     if (launch.backendKind)
         override.kind = launch.backendKind;
+    if (launch.backendProvider)
+        override.provider = launch.backendProvider;
     if (launch.backendCommand)
         override.command = launch.backendCommand;
     if (launch.backendArgs.length > 0)
@@ -95,15 +98,42 @@ export function runProcess(command, timeoutMs, providerKind = "command") {
         timedOut: result.timedOut,
     };
 }
+/**
+ * Async, non-blocking sibling of `runProcess` — used for the main-loop
+ * `command` backend so the harness can register a live PID for interrupt
+ * signaling (see `commandControlAdapter`) and keep servicing its SIGUSR1
+ * control-drain handler while the child runs. `onSpawn` fires synchronously
+ * once the child is forked, before the returned promise settles.
+ */
+export function runProcessAsync(command, timeoutMs, providerKind = "command", onSpawn) {
+    return runBackendCommandAsync(providerKind, command, timeoutMs, (pid) => onSpawn?.(pid)).then((result) => ({
+        output: result.output,
+        exitCode: result.exitCode,
+        timedOut: result.timedOut,
+    }));
+}
+/**
+ * Side-file path for the `usage_from = "file"` cost-telemetry convention:
+ * `AUTOLOOP_USAGE_FILE`, exported for the child, read back by
+ * `recordCommandUsage` once the iteration completes. Shared between
+ * `buildBackendCommand` (export) and `iteration.ts` (read-back) so both sides
+ * agree on the same path without threading it through extra state.
+ */
+export function commandUsageFilePath(loop, iteration) {
+    return join(loop.paths.stateDir, `usage.${iteration}.json`);
+}
 export function buildBackendCommand(loop, iter) {
     return buildBackendShellCommand({
         paths: {
             stateDir: loop.paths.stateDir,
             piAdapterPath: loop.paths.piAdapterPath,
         },
-        spec: loop.backend,
+        spec: iter.backend,
         prompt: iter.prompt,
         runtimeEnv: runtimeEnvLines(loop, String(iter.iteration), iter.recentEvent, joinCsv(iter.allowedRoles), joinCsv(iter.allowedEvents), ""),
+        usageFilePath: iter.backend.kind === "command" && iter.backend.usageFrom
+            ? commandUsageFilePath(loop, iter.iteration)
+            : undefined,
     });
 }
 export function buildReviewCommand(loop, iteration, reviewPrompt) {
@@ -215,13 +245,15 @@ export function appendIterationStart(loop, iter) {
         jsonField("prompt", iter.prompt));
 }
 export function appendBackendStart(loop, iter) {
-    appendEvent(loop.paths.journalFile, loop.runtime.runId, String(iter.iteration), "backend.start", jsonField("backend_kind", loop.backend.kind) +
+    appendEvent(loop.paths.journalFile, loop.runtime.runId, String(iter.iteration), "backend.start", jsonField("backend_kind", iter.backend.kind) +
+        ", " +
+        jsonField("command", iter.backend.command) +
         ", " +
-        jsonField("command", loop.backend.command) +
+        jsonField("args", joinCsv(iter.backend.args)) +
         ", " +
-        jsonField("prompt_mode", loop.backend.promptMode) +
+        jsonField("prompt_mode", iter.backend.promptMode) +
         ", " +
-        jsonField("timeout_ms", String(loop.backend.timeoutMs)));
+        jsonField("timeout_ms", String(iter.backend.timeoutMs)));
 }
 export function appendBackendFinish(loop, iter, output, exitCode, timedOut) {
     appendEvent(loop.paths.journalFile, loop.runtime.runId, String(iter.iteration), "backend.finish", jsonField("exit_code", String(exitCode)) +

package/dist/parallel.js.map

@@ -1 +1 @@
-{"version":3,"file":"parallel.js","sourceRoot":"","sources":["../src/parallel.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,aAAa,EAAE,MAAM,SAAS,CAAC;AACxC,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AACjC,OAAO,EACL,wBAAwB,EACxB,qBAAqB,EACrB,iBAAiB,GAClB,MAAM,6BAA6B,CAAC;AACrC,OAAO,EACL,OAAO,EACP,QAAQ,EACR,SAAS,EACT,YAAY,EACZ,QAAQ,EACR,UAAU,EACV,QAAQ,GACT,MAAM,yBAAyB,CAAC;AACjC,OAAO,EACL,gBAAgB,EAChB,WAAW,EACX,YAAY,EACZ,YAAY,GACb,MAAM,iCAAiC,CAAC;AAmBzC,MAAM,UAAU,wBAAwB,CAAC,SAAiB;IACxD,MAAM,IAAI,GAAG,YAAY,CAAC,IAAI,CAAC,SAAS,EAAE,aAAa,CAAC,CAAC,CAAC;IAC1D,OAAO;QACL,QAAQ,EAAE,YAAY,CAAC,IAAI,EAAE,WAAW,CAAC;QACzC,SAAS,EAAE,YAAY,CAAC,IAAI,EAAE,WAAW,CAAC;QAC1C,YAAY,EAAE,YAAY,CAAC,IAAI,EAAE,eAAe,CAAC;QACjD,YAAY,EAAE,YAAY,CAAC,IAAI,EAAE,eAAe,CAAC;QACjD,YAAY,EAAE,YAAY,CAAC,IAAI,EAAE,eAAe,CAAC;QACjD,aAAa,EAAE,YAAY,CAAC,IAAI,EAAE,gBAAgB,CAAC;QACnD,MAAM,EAAE,YAAY,CAAC,IAAI,EAAE,QAAQ,CAAC;QACpC,WAAW,EAAE,YAAY,CAAC,IAAI,EAAE,cAAc,CAAC;QAC/C,cAAc,EAAE,YAAY,CAAC,IAAI,EAAE,iBAAiB,CAAC;QACrD,WAAW,EAAE,YAAY,CAAC,IAAI,EAAE,cAAc,CAAC;QAC/C,iBAAiB,EAAE,YAAY,CAAC,IAAI,EAAE,qBAAqB,CAAC;QAC5D,QAAQ,EAAE,YAAY,CAAC,IAAI,EAAE,WAAW,CAAC;KAC1C,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,YAAY,CAAC,IAAY,EAAE,KAAa;IACtD,MAAM,KAAK,GAAG,YAAY,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;IACxC,IAAI,CAAC,KAAK;QAAE,OAAO,EAAE,CAAC;IACtB,OAAO,QAAQ,CAAC,KAAK,CAAC,CAAC;AACzB,CAAC;AAED,MAAM,UAAU,6BAA6B,CAC3C,MAAoB;IAEpB,MAAM,QAAQ,GAA4B,EAAE,CAAC;IAC7C,IAAI,MAAM,CAAC,WAAW;QAAE,QAAQ,CAAC,IAAI,GAAG,MAAM,CAAC,WAAW,CAAC;IAC3D,IAAI,MAAM,CAAC,cAAc;QAAE,QAAQ,CAAC,OAAO,GAAG,MAAM,CAAC,cAAc,CAAC;IACpE,IAAI,MAAM,CAAC,WAAW,CAAC,MAAM,GAAG,CAAC;QAAE,QAAQ,CAAC,IAAI,GAAG,MAAM,CAAC,WAAW,CAAC;IACtE,IAAI,MAAM,CAAC,iBAAiB;QAAE,QAAQ,CAAC,WAAW,GAAG,MAAM,CAAC,iBAAiB,CAAC;IAC9E,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED,MAAM,UAAU,0BAA0B,CACxC,SAAiB,EACjB,MAA+B;IAE/B,MAAM,MAAM,GACV,SAAS,CAAC,WAAW,EAAE,MAAM,CAAC,MAAM,CAAC,SAAS,IAAI,EAAE,CAAC,CAAC;QACtD,IAAI;QACJ,SAAS,CAAC,WAAW,EAAE,MAAM,CAAC,MAAM,CAAC,SAAS,IAAI,EAAE,CAAC,CAAC;QACtD,IAAI;QACJ,SAAS,CAAC,aAAa,EAAE,MAAM,CAAC,MAAM,CAAC,WAAW,IAAI,SAAS,CAAC,CAAC;QACjE,IAAI;QACJ,SAAS,CAAC,QAAQ,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,IAAI,EAAE,CAAC,CAAC;QAChD,IAAI;QACJ,SAAS,CAAC,eAAe,EAAE,MAAM,CAAC,MAAM,CAAC,aAAa,IAAI,EAAE,CAAC,CAAC;QAC9D,IAAI;QACJ,SAAS,CACP,eAAe,EACf,OAAO,CAAC,CAAC,MAAM,CAAC,aAAa,IAAI,EAAE,CAAa,CAAC,CAClD;QACD,IAAI;QACJ,SAAS,CACP,gBAAgB,EAChB,OAAO,CAAC,CAAC,MAAM,CAAC,cAAc,IAAI,EAAE,CAAa,CAAC,CACnD;QACD,IAAI;QACJ,SAAS,CAAC,YAAY,EAAE,MAAM,CAAC,MAAM,CAAC,UAAU,IAAI,CAAC,CAAC,CAAC;QACvD,IAAI;QACJ,SAAS,CAAC,gBAAgB,EAAE,MAAM,CAAC,MAAM,CAAC,cAAc,IAAI,CAAC,CAAC,CAAC,CAAC;IAClE,aAAa,CAAC,IAAI,CAAC,SAAS,EAAE,cAAc,CAAC,EAAE,IAAI,MAAM,KAAK,CAAC,CAAC;AAClE,CAAC;AAED,MAAM,UAAU,kBAAkB,CAAC,MAA+B;IAChE,OAAO,CACL,qBAAqB;QACrB,gBAAgB;QAChB,CAAC,MAAM,CAAC,WAAW,IAAI,SAAS,CAAC;QACjC,KAAK;QACL,YAAY;QACZ,CAAC,MAAM,CAAC,UAAU,IAAI,CAAC,CAAC;QACxB,OAAO;QACP,kBAAkB;QAClB,CAAC,MAAM,CAAC,aAAa,IAAI,EAAE,CAAC;QAC5B,KAAK;QACL,kBAAkB;QAClB,QAAQ,CAAC,CAAC,MAAM,CAAC,cAAc,IAAI,EAAE,CAAa,CAAC;QACnD,MAAM;QACN,eAAe;QACf,CAAC,MAAM,CAAC,MAAM,IAAI,EAAE,CAAC;QACrB,IAAI,CACL,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,iBAAiB,CAC/B,IAAiB,EACjB,YAAoB;IAEpB,IAAI,YAAY,KAAK,YAAY;QAAE,OAAO,IAAI,CAAC;IAC/C,gBAAgB,CACd,IAAI,CAAC,KAAK,CAAC,WAAW,EACtB,IAAI,CAAC,OAAO,CAAC,KAAK,EAClB,EAAE,EACF,YAAY,EACZ,qBAAqB,CACtB,CAAC;IACF,OAAO,IAAI,CAAC;AACd,CAAC;AAED,MAAM,UAAU,gBAAgB,CAC9B,UAAkB,EAClB,SAAiB,EACjB,SAAiB;IAEjB,IAAI,UAAU,KAAK,iBAAiB;QAAE,OAAO,iBAAiB,CAAC;IAC/D,OAAO,SAAS,GAAG,SAAS,CAAC,CAAC,CAAC,iBAAiB,CAAC,CAAC,CAAC,UAAU,CAAC;AAChE,CAAC;AAUD,MAAM,UAAU,UAAU,CACxB,OAAe,EACf,SAAiB,EACjB,YAAY,GAAG,SAAS;IAExB,MAAM,MAAM,GAAG,iBAAiB,CAAC,YAAY,EAAE,OAAO,EAAE,SAAS,CAAC,CAAC;IACnE,OAAO;QACL,MAAM,EAAE,MAAM,CAAC,MAAM;QACrB,QAAQ,EAAE,MAAM,CAAC,QAAQ;QACzB,QAAQ,EAAE,MAAM,CAAC,QAAQ;KAC1B,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,mBAAmB,CACjC,IAAiB,EACjB,IAAsB;IAEtB,OAAO,wBAAwB,CAAC;QAC9B,KAAK,EAAE;YACL,QAAQ,EAAE,IAAI,CAAC,KAAK,CAAC,QAAQ;YAC7B,aAAa,EAAE,IAAI,CAAC,KAAK,CAAC,aAAa;SACxC;QACD,IAAI,EAAE,IAAI,CAAC,OAAO;QAClB,MAAM,EAAE,IAAI,CAAC,MAAM;QACnB,UAAU,EAAE,eAAe,CACzB,IAAI,EACJ,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,EACtB,IAAI,CAAC,WAAW,EAChB,OAAO,CAAC,IAAI,CAAC,YAAY,CAAC,EAC1B,OAAO,CAAC,IAAI,CAAC,aAAa,CAAC,EAC3B,EAAE,CACH;KACF,CAAC,CAAC;AACL,CAAC;AAED,MAAM,UAAU,kBAAkB,CAChC,IAAiB,EACjB,SAAiB,EACjB,YAAoB;IAEpB,OAAO,wBAAwB,CAAC;QAC9B,KAAK,EAAE;YACL,QAAQ,EAAE,IAAI,CAAC,KAAK,CAAC,QAAQ;YAC7B,aAAa,EAAE,IAAI,CAAC,KAAK,CAAC,aAAa;SACxC;QACD,IAAI,EAAE,IAAI,CAAC,MAAM;QACjB,MAAM,EAAE,YAAY;QACpB,UAAU,EAAE,eAAe,CACzB,IAAI,EACJ,MAAM,CAAC,SAAS,CAAC,EACjB,YAAY,EACZ,QAAQ,EACR,yBAAyB,EACzB,YAAY,CACb;KACF,CAAC,CAAC;AACL,CAAC;AAED,MAAM,UAAU,eAAe,CAC7B,IAAiB,EACjB,SAAiB,EACjB,WAAmB,EACnB,YAAoB,EACpB,aAAqB,EACrB,UAAkB;IAElB,IAAI,KAAK,GACP,yBAAyB;QACzB,UAAU,CAAC,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC;QAC9B,IAAI;QACJ,4BAA4B;QAC5B,UAAU,CAAC,SAAS,CAAC;QACrB,IAAI,CAAC;IACP,IAAI,UAAU,EAAE,CAAC;QACf,KAAK,IAAI,+BAA+B,UAAU,CAAC,UAAU,CAAC,IAAI,CAAC;IACrE,CAAC;IACD,KAAK;QACH,4BAA4B;YAC5B,UAAU,CAAC,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC;YACjC,IAAI;YACJ,qCAAqC;YACrC,UAAU,CAAC,IAAI,CAAC,UAAU,CAAC,OAAO,CAAC;YACnC,IAAI;YACJ,mCAAmC;YACnC,UAAU,CAAC,IAAI,CAAC,UAAU,CAAC,KAAK,CAAC;YACjC,IAAI;YACJ,4BAA4B;YAC5B,UAAU,CAAC,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC;YAC/B,IAAI;YACJ,8BAA8B;YAC9B,UAAU,CAAC,IAAI,CAAC,KAAK,CAAC,UAAU,CAAC;YACjC,IAAI;YACJ,+BAA+B;YAC/B,UAAU,CAAC,IAAI,CAAC,KAAK,CAAC,WAAW,CAAC;YAClC,IAAI;YACJ,8BAA8B;YAC9B,UAAU,CAAC,IAAI,CAAC,KAAK,CAAC,WAAW,CAAC;YAClC,IAAI;YACJ,8BAA8B;YAC9B,UAAU,CAAC,IAAI,CAAC,KAAK,CAAC,UAAU,CAAC;YACjC,IAAI;YACJ,kCAAkC;YAClC,UAAU,CAAC,OAAO,CAAC,IAAI,CAAC,UAAU,CAAC,cAAc,CAAC,CAAC;YACnD,IAAI;YACJ,+BAA+B;YAC/B,UAAU,CAAC,WAAW,CAAC;YACvB,IAAI;YACJ,gCAAgC;YAChC,UAAU,CAAC,YAAY,CAAC;YACxB,IAAI;YACJ,iCAAiC;YACjC,UAAU,CAAC,aAAa,CAAC;YACzB,IAAI;YACJ,sBAAsB;YACtB,UAAU,CAAC,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC;YAC/B,IAAI,CAAC;IACP,OAAO,KAAK,CAAC;AACf,CAAC;AAED,iCAAiC;AAEjC,MAAM,UAAU,eAAe,CAAC,IAAiB;IAC/C,WAAW,CACT,IAAI,CAAC,KAAK,CAAC,WAAW,EACtB,IAAI,CAAC,OAAO,CAAC,KAAK,EAClB,EAAE,EACF,YAAY,EACZ,SAAS,CAAC,gBAAgB,EAAE,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC,CAAC;QAC5D,IAAI;QACJ,SAAS,CAAC,oBAAoB,EAAE,IAAI,CAAC,UAAU,CAAC,OAAO,CAAC;QACxD,IAAI;QACJ,SAAS,CAAC,kBAAkB,EAAE,IAAI,CAAC,UAAU,CAAC,KAAK,CAAC;QACpD,IAAI;QACJ,SAAS,CAAC,cAAc,EAAE,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;QACpD,IAAI;QACJ,SAAS,CAAC,WAAW,EAAE,IAAI,CAAC,SAAS,CAAC;QACtC,IAAI;QACJ,SAAS,CAAC,QAAQ,EAAE,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC;QACvC,IAAI;QACJ,SAAS,CAAC,SAAS,EAAE,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC;QACzC,IAAI;QACJ,SAAS,CAAC,YAAY,EAAE,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC;QAC9C,IAAI;QACJ,SAAS,CAAC,aAAa,EAAE,IAAI,CAAC,KAAK,CAAC,UAAU,CAAC;QAC/C,IAAI;QACJ,SAAS,CAAC,UAAU,EAAE,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC;QACzC,IAAI;QACJ,SAAS,CAAC,SAAS,EAAE,qBAAqB,CAAC,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC;QACjE,IAAI;QACJ,SAAS,CAAC,cAAc,EAAE,OAAO,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;QACrD,IAAI;QACJ,SAAS,CAAC,eAAe,EAAE,IAAI,CAAC,MAAM,CAAC,WAAW,CAAC;QACnD,IAAI;QACJ,SAAS,CAAC,gBAAgB,EAAE,IAAI,CAAC,OAAO,CAAC,aAAa,IAAI,YAAY,CAAC;QACvE,IAAI;QACJ,SAAS,CAAC,eAAe,EAAE,IAAI,CAAC,KAAK,CAAC,cAAc,IAAI,EAAE,CAAC;QAC3D,IAAI;QACJ,SAAS,CAAC,eAAe,EAAE,IAAI,CAAC,KAAK,CAAC,YAAY,IAAI,EAAE,CAAC,CAC5D,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,oBAAoB,CAClC,IAAiB,EACjB,IAAsB;IAEtB,WAAW,CACT,IAAI,CAAC,KAAK,CAAC,WAAW,EACtB,IAAI,CAAC,OAAO,CAAC,KAAK,EAClB,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,EACtB,iBAAiB,EACjB,SAAS,CAAC,cAAc,EAAE,IAAI,CAAC,WAAW,CAAC;QACzC,IAAI;QACJ,SAAS,CAAC,iBAAiB,EAAE,OAAO,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC;QACxD,IAAI;QACJ,SAAS,CAAC,gBAAgB,EAAE,OAAO,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC;QACxD,IAAI;QACJ,SAAS,CAAC,cAAc,EAAE,IAAI,CAAC,YAAY,CAAC;QAC5C,IAAI;QACJ,SAAS,CAAC,QAAQ,EAAE,IAAI,CAAC,MAAM,CAAC,CACnC,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,kBAAkB,CAChC,IAAiB,EACjB,IAAsB;IAEtB,WAAW,CACT,IAAI,CAAC,KAAK,CAAC,WAAW,EACtB,IAAI,CAAC,OAAO,CAAC,KAAK,EAClB,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,EACtB,eAAe,EACf,SAAS,CAAC,cAAc,EAAE,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC;QAC1C,IAAI;QACJ,SAAS,CAAC,SAAS,EAAE,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC;QAC1C,IAAI;QACJ,SAAS,CAAC,aAAa,EAAE,IAAI,CAAC,OAAO,CAAC,UAAU,CAAC;QACjD,IAAI;QACJ,SAAS,CAAC,YAAY,EAAE,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC,CAC1D,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,mBAAmB,CACjC,IAAiB,EACjB,IAAsB,EACtB,MAAc,EACd,QAAgB,EAChB,QAAiB;IAEjB,WAAW,CACT,IAAI,CAAC,KAAK,CAAC,WAAW,EACtB,IAAI,CAAC,OAAO,CAAC,KAAK,EAClB,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,EACtB,gBAAgB,EAChB,SAAS,CAAC,WAAW,EAAE,MAAM,CAAC,QAAQ,CAAC,CAAC;QACtC,IAAI;QACJ,YAAY,CAAC,WAAW,EAAE,QAAQ,CAAC,QAAQ,CAAC,CAAC;QAC7C,IAAI;QACJ,SAAS,CAAC,QAAQ,EAAE,MAAM,CAAC,CAC9B,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,qBAAqB,CACnC,IAAiB,EACjB,IAAsB,EACtB,MAAc,EACd,QAAgB,EAChB,QAAiB,EACjB,QAAgB;IAEhB,WAAW,CACT,IAAI,CAAC,KAAK,CAAC,WAAW,EACtB,IAAI,CAAC,OAAO,CAAC,KAAK,EAClB,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,EACtB,kBAAkB,EAClB,SAAS,CAAC,WAAW,EAAE,MAAM,CAAC,QAAQ,CAAC,CAAC;QACtC,IAAI;QACJ,YAAY,CAAC,WAAW,EAAE,QAAQ,CAAC,QAAQ,CAAC,CAAC;QAC7C,IAAI;QACJ,SAAS,CAAC,WAAW,EAAE,MAAM,CAAC,QAAQ,CAAC,CAAC;QACxC,IAAI;QACJ,SAAS,CAAC,QAAQ,EAAE,MAAM,CAAC,CAC9B,CAAC;AACJ,CAAC"}
+{"version":3,"file":"parallel.js","sourceRoot":"","sources":["../src/parallel.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,aAAa,EAAE,MAAM,SAAS,CAAC;AACxC,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AACjC,OAAO,EACL,wBAAwB,EACxB,qBAAqB,EACrB,iBAAiB,EACjB,sBAAsB,GACvB,MAAM,6BAA6B,CAAC;AACrC,OAAO,EACL,OAAO,EACP,QAAQ,EACR,SAAS,EACT,YAAY,EACZ,QAAQ,EACR,UAAU,EACV,QAAQ,GACT,MAAM,yBAAyB,CAAC;AACjC,OAAO,EACL,gBAAgB,EAChB,WAAW,EACX,YAAY,EACZ,YAAY,GACb,MAAM,iCAAiC,CAAC;AAoBzC,MAAM,UAAU,wBAAwB,CAAC,SAAiB;IACxD,MAAM,IAAI,GAAG,YAAY,CAAC,IAAI,CAAC,SAAS,EAAE,aAAa,CAAC,CAAC,CAAC;IAC1D,OAAO;QACL,QAAQ,EAAE,YAAY,CAAC,IAAI,EAAE,WAAW,CAAC;QACzC,SAAS,EAAE,YAAY,CAAC,IAAI,EAAE,WAAW,CAAC;QAC1C,YAAY,EAAE,YAAY,CAAC,IAAI,EAAE,eAAe,CAAC;QACjD,YAAY,EAAE,YAAY,CAAC,IAAI,EAAE,eAAe,CAAC;QACjD,YAAY,EAAE,YAAY,CAAC,IAAI,EAAE,eAAe,CAAC;QACjD,aAAa,EAAE,YAAY,CAAC,IAAI,EAAE,gBAAgB,CAAC;QACnD,MAAM,EAAE,YAAY,CAAC,IAAI,EAAE,QAAQ,CAAC;QACpC,WAAW,EAAE,YAAY,CAAC,IAAI,EAAE,cAAc,CAAC;QAC/C,eAAe,EAAE,YAAY,CAAC,IAAI,EAAE,kBAAkB,CAAC;QACvD,cAAc,EAAE,YAAY,CAAC,IAAI,EAAE,iBAAiB,CAAC;QACrD,WAAW,EAAE,YAAY,CAAC,IAAI,EAAE,cAAc,CAAC;QAC/C,iBAAiB,EAAE,YAAY,CAAC,IAAI,EAAE,qBAAqB,CAAC;QAC5D,QAAQ,EAAE,YAAY,CAAC,IAAI,EAAE,WAAW,CAAC;KAC1C,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,YAAY,CAAC,IAAY,EAAE,KAAa;IACtD,MAAM,KAAK,GAAG,YAAY,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;IACxC,IAAI,CAAC,KAAK;QAAE,OAAO,EAAE,CAAC;IACtB,OAAO,QAAQ,CAAC,KAAK,CAAC,CAAC;AACzB,CAAC;AAED,MAAM,UAAU,6BAA6B,CAC3C,MAAoB;IAEpB,MAAM,QAAQ,GAA4B,EAAE,CAAC;IAC7C,IAAI,MAAM,CAAC,WAAW;QAAE,QAAQ,CAAC,IAAI,GAAG,MAAM,CAAC,WAAW,CAAC;IAC3D,IAAI,MAAM,CAAC,eAAe;QAAE,QAAQ,CAAC,QAAQ,GAAG,MAAM,CAAC,eAAe,CAAC;IACvE,IAAI,MAAM,CAAC,cAAc;QAAE,QAAQ,CAAC,OAAO,GAAG,MAAM,CAAC,cAAc,CAAC;IACpE,IAAI,MAAM,CAAC,WAAW,CAAC,MAAM,GAAG,CAAC;QAAE,QAAQ,CAAC,IAAI,GAAG,MAAM,CAAC,WAAW,CAAC;IACtE,IAAI,MAAM,CAAC,iBAAiB;QAAE,QAAQ,CAAC,WAAW,GAAG,MAAM,CAAC,iBAAiB,CAAC;IAC9E,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED,MAAM,UAAU,0BAA0B,CACxC,SAAiB,EACjB,MAA+B;IAE/B,MAAM,MAAM,GACV,SAAS,CAAC,WAAW,EAAE,MAAM,CAAC,MAAM,CAAC,SAAS,IAAI,EAAE,CAAC,CAAC;QACtD,IAAI;QACJ,SAAS,CAAC,WAAW,EAAE,MAAM,CAAC,MAAM,CAAC,SAAS,IAAI,EAAE,CAAC,CAAC;QACtD,IAAI;QACJ,SAAS,CAAC,aAAa,EAAE,MAAM,CAAC,MAAM,CAAC,WAAW,IAAI,SAAS,CAAC,CAAC;QACjE,IAAI;QACJ,SAAS,CAAC,QAAQ,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,IAAI,EAAE,CAAC,CAAC;QAChD,IAAI;QACJ,SAAS,CAAC,eAAe,EAAE,MAAM,CAAC,MAAM,CAAC,aAAa,IAAI,EAAE,CAAC,CAAC;QAC9D,IAAI;QACJ,SAAS,CACP,eAAe,EACf,OAAO,CAAC,CAAC,MAAM,CAAC,aAAa,IAAI,EAAE,CAAa,CAAC,CAClD;QACD,IAAI;QACJ,SAAS,CACP,gBAAgB,EAChB,OAAO,CAAC,CAAC,MAAM,CAAC,cAAc,IAAI,EAAE,CAAa,CAAC,CACnD;QACD,IAAI;QACJ,SAAS,CAAC,YAAY,EAAE,MAAM,CAAC,MAAM,CAAC,UAAU,IAAI,CAAC,CAAC,CAAC;QACvD,IAAI;QACJ,SAAS,CAAC,gBAAgB,EAAE,MAAM,CAAC,MAAM,CAAC,cAAc,IAAI,CAAC,CAAC,CAAC,CAAC;IAClE,aAAa,CAAC,IAAI,CAAC,SAAS,EAAE,cAAc,CAAC,EAAE,IAAI,MAAM,KAAK,CAAC,CAAC;AAClE,CAAC;AAED,MAAM,UAAU,kBAAkB,CAAC,MAA+B;IAChE,OAAO,CACL,qBAAqB;QACrB,gBAAgB;QAChB,CAAC,MAAM,CAAC,WAAW,IAAI,SAAS,CAAC;QACjC,KAAK;QACL,YAAY;QACZ,CAAC,MAAM,CAAC,UAAU,IAAI,CAAC,CAAC;QACxB,OAAO;QACP,kBAAkB;QAClB,CAAC,MAAM,CAAC,aAAa,IAAI,EAAE,CAAC;QAC5B,KAAK;QACL,kBAAkB;QAClB,QAAQ,CAAC,CAAC,MAAM,CAAC,cAAc,IAAI,EAAE,CAAa,CAAC;QACnD,MAAM;QACN,eAAe;QACf,CAAC,MAAM,CAAC,MAAM,IAAI,EAAE,CAAC;QACrB,IAAI,CACL,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,iBAAiB,CAC/B,IAAiB,EACjB,YAAoB;IAEpB,IAAI,YAAY,KAAK,YAAY;QAAE,OAAO,IAAI,CAAC;IAC/C,gBAAgB,CACd,IAAI,CAAC,KAAK,CAAC,WAAW,EACtB,IAAI,CAAC,OAAO,CAAC,KAAK,EAClB,EAAE,EACF,YAAY,EACZ,qBAAqB,CACtB,CAAC;IACF,OAAO,IAAI,CAAC;AACd,CAAC;AAED,MAAM,UAAU,gBAAgB,CAC9B,UAAkB,EAClB,SAAiB,EACjB,SAAiB;IAEjB,IAAI,UAAU,KAAK,iBAAiB;QAAE,OAAO,iBAAiB,CAAC;IAC/D,OAAO,SAAS,GAAG,SAAS,CAAC,CAAC,CAAC,iBAAiB,CAAC,CAAC,CAAC,UAAU,CAAC;AAChE,CAAC;AAUD,MAAM,UAAU,UAAU,CACxB,OAAe,EACf,SAAiB,EACjB,YAAY,GAAG,SAAS;IAExB,MAAM,MAAM,GAAG,iBAAiB,CAAC,YAAY,EAAE,OAAO,EAAE,SAAS,CAAC,CAAC;IACnE,OAAO;QACL,MAAM,EAAE,MAAM,CAAC,MAAM;QACrB,QAAQ,EAAE,MAAM,CAAC,QAAQ;QACzB,QAAQ,EAAE,MAAM,CAAC,QAAQ;KAC1B,CAAC;AACJ,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,eAAe,CAC7B,OAAe,EACf,SAAiB,EACjB,YAAY,GAAG,SAAS,EACxB,OAA+B;IAE/B,OAAO,sBAAsB,CAAC,YAAY,EAAE,OAAO,EAAE,SAAS,EAAE,CAAC,GAAG,EAAE,EAAE,CACtE,OAAO,EAAE,CAAC,GAAG,CAAC,CACf,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC;QAClB,MAAM,EAAE,MAAM,CAAC,MAAM;QACrB,QAAQ,EAAE,MAAM,CAAC,QAAQ;QACzB,QAAQ,EAAE,MAAM,CAAC,QAAQ;KAC1B,CAAC,CAAC,CAAC;AACN,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,oBAAoB,CAClC,IAAiB,EACjB,SAAiB;IAEjB,OAAO,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,QAAQ,EAAE,SAAS,SAAS,OAAO,CAAC,CAAC;AAC9D,CAAC;AAED,MAAM,UAAU,mBAAmB,CACjC,IAAiB,EACjB,IAAsB;IAEtB,OAAO,wBAAwB,CAAC;QAC9B,KAAK,EAAE;YACL,QAAQ,EAAE,IAAI,CAAC,KAAK,CAAC,QAAQ;YAC7B,aAAa,EAAE,IAAI,CAAC,KAAK,CAAC,aAAa;SACxC;QACD,IAAI,EAAE,IAAI,CAAC,OAAO;QAClB,MAAM,EAAE,IAAI,CAAC,MAAM;QACnB,UAAU,EAAE,eAAe,CACzB,IAAI,EACJ,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,EACtB,IAAI,CAAC,WAAW,EAChB,OAAO,CAAC,IAAI,CAAC,YAAY,CAAC,EAC1B,OAAO,CAAC,IAAI,CAAC,aAAa,CAAC,EAC3B,EAAE,CACH;QACD,aAAa,EACX,IAAI,CAAC,OAAO,CAAC,IAAI,KAAK,SAAS,IAAI,IAAI,CAAC,OAAO,CAAC,SAAS;YACvD,CAAC,CAAC,oBAAoB,CAAC,IAAI,EAAE,IAAI,CAAC,SAAS,CAAC;YAC5C,CAAC,CAAC,SAAS;KAChB,CAAC,CAAC;AACL,CAAC;AAED,MAAM,UAAU,kBAAkB,CAChC,IAAiB,EACjB,SAAiB,EACjB,YAAoB;IAEpB,OAAO,wBAAwB,CAAC;QAC9B,KAAK,EAAE;YACL,QAAQ,EAAE,IAAI,CAAC,KAAK,CAAC,QAAQ;YAC7B,aAAa,EAAE,IAAI,CAAC,KAAK,CAAC,aAAa;SACxC;QACD,IAAI,EAAE,IAAI,CAAC,MAAM;QACjB,MAAM,EAAE,YAAY;QACpB,UAAU,EAAE,eAAe,CACzB,IAAI,EACJ,MAAM,CAAC,SAAS,CAAC,EACjB,YAAY,EACZ,QAAQ,EACR,yBAAyB,EACzB,YAAY,CACb;KACF,CAAC,CAAC;AACL,CAAC;AAED,MAAM,UAAU,eAAe,CAC7B,IAAiB,EACjB,SAAiB,EACjB,WAAmB,EACnB,YAAoB,EACpB,aAAqB,EACrB,UAAkB;IAElB,IAAI,KAAK,GACP,yBAAyB;QACzB,UAAU,CAAC,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC;QAC9B,IAAI;QACJ,4BAA4B;QAC5B,UAAU,CAAC,SAAS,CAAC;QACrB,IAAI,CAAC;IACP,IAAI,UAAU,EAAE,CAAC;QACf,KAAK,IAAI,+BAA+B,UAAU,CAAC,UAAU,CAAC,IAAI,CAAC;IACrE,CAAC;IACD,KAAK;QACH,4BAA4B;YAC5B,UAAU,CAAC,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC;YACjC,IAAI;YACJ,qCAAqC;YACrC,UAAU,CAAC,IAAI,CAAC,UAAU,CAAC,OAAO,CAAC;YACnC,IAAI;YACJ,mCAAmC;YACnC,UAAU,CAAC,IAAI,CAAC,UAAU,CAAC,KAAK,CAAC;YACjC,IAAI;YACJ,4BAA4B;YAC5B,UAAU,CAAC,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC;YAC/B,IAAI;YACJ,8BAA8B;YAC9B,UAAU,CAAC,IAAI,CAAC,KAAK,CAAC,UAAU,CAAC;YACjC,IAAI;YACJ,+BAA+B;YAC/B,UAAU,CAAC,IAAI,CAAC,KAAK,CAAC,WAAW,CAAC;YAClC,IAAI;YACJ,8BAA8B;YAC9B,UAAU,CAAC,IAAI,CAAC,KAAK,CAAC,WAAW,CAAC;YAClC,IAAI;YACJ,8BAA8B;YAC9B,UAAU,CAAC,IAAI,CAAC,KAAK,CAAC,UAAU,CAAC;YACjC,IAAI;YACJ,kCAAkC;YAClC,UAAU,CAAC,OAAO,CAAC,IAAI,CAAC,UAAU,CAAC,cAAc,CAAC,CAAC;YACnD,IAAI;YACJ,+BAA+B;YAC/B,UAAU,CAAC,WAAW,CAAC;YACvB,IAAI;YACJ,gCAAgC;YAChC,UAAU,CAAC,YAAY,CAAC;YACxB,IAAI;YACJ,iCAAiC;YACjC,UAAU,CAAC,aAAa,CAAC;YACzB,IAAI;YACJ,sBAAsB;YACtB,UAAU,CAAC,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC;YAC/B,IAAI,CAAC;IACP,OAAO,KAAK,CAAC;AACf,CAAC;AAED,iCAAiC;AAEjC,MAAM,UAAU,eAAe,CAAC,IAAiB;IAC/C,WAAW,CACT,IAAI,CAAC,KAAK,CAAC,WAAW,EACtB,IAAI,CAAC,OAAO,CAAC,KAAK,EAClB,EAAE,EACF,YAAY,EACZ,SAAS,CAAC,gBAAgB,EAAE,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC,CAAC;QAC5D,IAAI;QACJ,SAAS,CAAC,oBAAoB,EAAE,IAAI,CAAC,UAAU,CAAC,OAAO,CAAC;QACxD,IAAI;QACJ,SAAS,CAAC,kBAAkB,EAAE,IAAI,CAAC,UAAU,CAAC,KAAK,CAAC;QACpD,IAAI;QACJ,SAAS,CAAC,cAAc,EAAE,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;QACpD,IAAI;QACJ,SAAS,CAAC,WAAW,EAAE,IAAI,CAAC,SAAS,CAAC;QACtC,IAAI;QACJ,SAAS,CAAC,QAAQ,EAAE,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC;QACvC,IAAI;QACJ,SAAS,CAAC,SAAS,EAAE,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC;QACzC,IAAI;QACJ,SAAS,CAAC,YAAY,EAAE,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC;QAC9C,IAAI;QACJ,SAAS,CAAC,aAAa,EAAE,IAAI,CAAC,KAAK,CAAC,UAAU,CAAC;QAC/C,IAAI;QACJ,SAAS,CAAC,UAAU,EAAE,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC;QACzC,IAAI;QACJ,SAAS,CAAC,SAAS,EAAE,qBAAqB,CAAC,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC;QACjE,IAAI;QACJ,SAAS,CAAC,cAAc,EAAE,OAAO,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;QACrD,IAAI;QACJ,SAAS,CAAC,eAAe,EAAE,IAAI,CAAC,MAAM,CAAC,WAAW,CAAC;QACnD,IAAI;QACJ,SAAS,CAAC,gBAAgB,EAAE,IAAI,CAAC,OAAO,CAAC,aAAa,IAAI,YAAY,CAAC;QACvE,IAAI;QACJ,SAAS,CAAC,eAAe,EAAE,IAAI,CAAC,KAAK,CAAC,cAAc,IAAI,EAAE,CAAC;QAC3D,IAAI;QACJ,SAAS,CAAC,eAAe,EAAE,IAAI,CAAC,KAAK,CAAC,YAAY,IAAI,EAAE,CAAC,CAC5D,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,oBAAoB,CAClC,IAAiB,EACjB,IAAsB;IAEtB,WAAW,CACT,IAAI,CAAC,KAAK,CAAC,WAAW,EACtB,IAAI,CAAC,OAAO,CAAC,KAAK,EAClB,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,EACtB,iBAAiB,EACjB,SAAS,CAAC,cAAc,EAAE,IAAI,CAAC,WAAW,CAAC;QACzC,IAAI;QACJ,SAAS,CAAC,iBAAiB,EAAE,OAAO,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC;QACxD,IAAI;QACJ,SAAS,CAAC,gBAAgB,EAAE,OAAO,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC;QACxD,IAAI;QACJ,SAAS,CAAC,cAAc,EAAE,IAAI,CAAC,YAAY,CAAC;QAC5C,IAAI;QACJ,SAAS,CAAC,QAAQ,EAAE,IAAI,CAAC,MAAM,CAAC,CACnC,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,kBAAkB,CAChC,IAAiB,EACjB,IAAsB;IAEtB,WAAW,CACT,IAAI,CAAC,KAAK,CAAC,WAAW,EACtB,IAAI,CAAC,OAAO,CAAC,KAAK,EAClB,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,EACtB,eAAe,EACf,SAAS,CAAC,cAAc,EAAE,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC;QAC1C,IAAI;QACJ,SAAS,CAAC,SAAS,EAAE,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC;QAC1C,IAAI;QACJ,SAAS,CAAC,MAAM,EAAE,OAAO,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;QAC7C,IAAI;QACJ,SAAS,CAAC,aAAa,EAAE,IAAI,CAAC,OAAO,CAAC,UAAU,CAAC;QACjD,IAAI;QACJ,SAAS,CAAC,YAAY,EAAE,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC,CAC1D,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,mBAAmB,CACjC,IAAiB,EACjB,IAAsB,EACtB,MAAc,EACd,QAAgB,EAChB,QAAiB;IAEjB,WAAW,CACT,IAAI,CAAC,KAAK,CAAC,WAAW,EACtB,IAAI,CAAC,OAAO,CAAC,KAAK,EAClB,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,EACtB,gBAAgB,EAChB,SAAS,CAAC,WAAW,EAAE,MAAM,CAAC,QAAQ,CAAC,CAAC;QACtC,IAAI;QACJ,YAAY,CAAC,WAAW,EAAE,QAAQ,CAAC,QAAQ,CAAC,CAAC;QAC7C,IAAI;QACJ,SAAS,CAAC,QAAQ,EAAE,MAAM,CAAC,CAC9B,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,qBAAqB,CACnC,IAAiB,EACjB,IAAsB,EACtB,MAAc,EACd,QAAgB,EAChB,QAAiB,EACjB,QAAgB;IAEhB,WAAW,CACT,IAAI,CAAC,KAAK,CAAC,WAAW,EACtB,IAAI,CAAC,OAAO,CAAC,KAAK,EAClB,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,EACtB,kBAAkB,EAClB,SAAS,CAAC,WAAW,EAAE,MAAM,CAAC,QAAQ,CAAC,CAAC;QACtC,IAAI;QACJ,YAAY,CAAC,WAAW,EAAE,QAAQ,CAAC,QAAQ,CAAC,CAAC;QAC7C,IAAI;QACJ,SAAS,CAAC,WAAW,EAAE,MAAM,CAAC,QAAQ,CAAC,CAAC;QACxC,IAAI;QACJ,SAAS,CAAC,QAAQ,EAAE,MAAM,CAAC,CAC9B,CAAC;AACJ,CAAC"}

package/dist/postconditions.d.ts

@@ -0,0 +1,25 @@
+import type { LoopContext } from "./types.js";
+export interface PostconditionViolation {
+    /** Stable assertion id, e.g. "no_todo". */
+    id: string;
+    /** Human-readable detail (sample offending lines / files). */
+    detail: string;
+}
+export interface PostconditionResult {
+    /** True when at least one guard was enabled and evaluated. */
+    ran: boolean;
+    /** True when no enabled guard was violated. */
+    passed: boolean;
+    violations: PostconditionViolation[];
+}
+/**
+ * Evaluate the enabled required-absence guards at the acceptance gate. All are
+ * harness-side and independent of agent claims; a violation blocks completion.
+ * Guards that depend on git are skipped (not failed) outside a git work tree.
+ */
+export declare function runPostconditionGuards(loop: LoopContext, iteration: number): PostconditionResult;
+/**
+ * Re-inject violated postconditions as operator guidance so the next iteration
+ * fixes them instead of completing.
+ */
+export declare function reinjectPostconditionFailure(loop: LoopContext, iteration: number, result: PostconditionResult): void;

package/dist/postconditions.js

@@ -0,0 +1,107 @@
+import { dirname, relative, sep } from "node:path";
+import { jsonBool, jsonField, jsonFieldRaw } from "@mobrienv/autoloop-core";
+import { appendEvent, appendOperatorEvent, } from "@mobrienv/autoloop-core/journal";
+import { collectAddedLines, isGitRepo, porcelainStatus, } from "./git-diff.js";
+const MAX_SAMPLE = 10;
+const TODO_RE = /\b(TODO|FIXME|XXX|HACK)\b/;
+const SKIP_RE = /(\b(it|describe|test)\.(only|skip)\b|\bx(it|describe)\b|\bf(it|describe)\b|@pytest\.mark\.(skip|xfail)|\bunittest\.skip\b|#\[ignore\]|\bdescribe\.only\b)/;
+const SECRET_RES = [
+    ["aws-access-key", /\bAKIA[0-9A-Z]{16}\b/],
+    ["private-key", /-----BEGIN [A-Z ]*PRIVATE KEY-----/],
+    ["slack-token", /xox[baprs]-[0-9A-Za-z-]{10,}/],
+    ["github-token", /\bghp_[0-9A-Za-z]{36}\b/],
+    [
+        "generic-secret",
+        /(api[_-]?key|secret|token|password|passwd)\s*[:=]\s*['"][A-Za-z0-9_\-./+]{16,}['"]/i,
+    ],
+];
+function sample(lines) {
+    return lines
+        .slice(0, MAX_SAMPLE)
+        .map((l) => `  ${l.file}: ${l.text.trim()}`)
+        .join("\n");
+}
+/**
+ * Evaluate the enabled required-absence guards at the acceptance gate. All are
+ * harness-side and independent of agent claims; a violation blocks completion.
+ * Guards that depend on git are skipped (not failed) outside a git work tree.
+ */
+export function runPostconditionGuards(loop, iteration) {
+    const a = loop.acceptance;
+    const enabled = a.assertNoTodo ||
+        a.assertNoSkippedTests ||
+        a.assertNoSecrets ||
+        a.assertCleanTree;
+    if (!enabled)
+        return { ran: false, passed: true, violations: [] };
+    const iter = String(iteration);
+    const workDir = loop.paths.workDir;
+    const inRepo = isGitRepo(workDir);
+    const violations = [];
+    appendEvent(loop.paths.journalFile, loop.runtime.runId, iter, "postcondition.start", jsonFieldRaw("git_repo", jsonBool(inRepo)));
+    if (inRepo &&
+        (a.assertNoTodo || a.assertNoSkippedTests || a.assertNoSecrets)) {
+        const added = collectAddedLines(workDir);
+        if (a.assertNoTodo) {
+            const hits = added.filter((l) => TODO_RE.test(l.text));
+            if (hits.length)
+                violations.push({
+                    id: "no_todo",
+                    detail: `New TODO/FIXME/XXX/HACK markers:\n${sample(hits)}`,
+                });
+        }
+        if (a.assertNoSkippedTests) {
+            const hits = added.filter((l) => SKIP_RE.test(l.text));
+            if (hits.length)
+                violations.push({
+                    id: "no_skipped_tests",
+                    detail: `Skipped/only/xfail test markers:\n${sample(hits)}`,
+                });
+        }
+        if (a.assertNoSecrets) {
+            const hits = added.filter((l) => SECRET_RES.some(([, re]) => re.test(l.text)));
+            if (hits.length)
+                violations.push({
+                    id: "no_secrets",
+                    detail: `Possible committed secrets:\n${sample(hits)}`,
+                });
+        }
+    }
+    if (a.assertCleanTree && inRepo) {
+        // The harness writes its own journal/state during this very guard, so a
+        // tracked `.autoloop/` would make the guard trip on its own bookkeeping.
+        // clean_tree asserts the agent left the *project* clean — exclude the
+        // autoloop state dir from the assessment.
+        const stateRel = relative(workDir, dirname(loop.paths.journalFile));
+        const dirty = porcelainStatus(workDir).filter((line) => {
+            if (!stateRel || stateRel.startsWith(".."))
+                return true;
+            const path = line.slice(3); // strip the `XY ` porcelain status prefix
+            return path !== stateRel && !path.startsWith(`${stateRel}${sep}`);
+        });
+        if (dirty.length)
+            violations.push({
+                id: "clean_tree",
+                detail: `Working tree is not clean:\n${dirty.slice(0, MAX_SAMPLE).join("\n")}`,
+            });
+    }
+    const passed = violations.length === 0;
+    appendEvent(loop.paths.journalFile, loop.runtime.runId, iter, "postcondition.result", jsonFieldRaw("passed", jsonBool(passed)) +
+        ", " +
+        jsonField("violations", violations.map((v) => v.id).join(",")));
+    return { ran: true, passed, violations };
+}
+/**
+ * Re-inject violated postconditions as operator guidance so the next iteration
+ * fixes them instead of completing.
+ */
+export function reinjectPostconditionFailure(loop, iteration, result) {
+    const detail = result.violations
+        .map((v) => `- [${v.id}] ${v.detail}`)
+        .join("\n\n");
+    const message = "Completion was blocked: required-absence guards failed. " +
+        "Remove these before claiming completion.\n\n" +
+        detail;
+    appendOperatorEvent(loop.paths.journalFile, loop.runtime.runId, String(iteration), "operator.guidance", message);
+}
+//# sourceMappingURL=postconditions.js.map

package/dist/postconditions.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"postconditions.js","sourceRoot":"","sources":["../src/postconditions.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,OAAO,EAAE,QAAQ,EAAE,GAAG,EAAE,MAAM,WAAW,CAAC;AACnD,OAAO,EAAE,QAAQ,EAAE,SAAS,EAAE,YAAY,EAAE,MAAM,yBAAyB,CAAC;AAC5E,OAAO,EACL,WAAW,EACX,mBAAmB,GACpB,MAAM,iCAAiC,CAAC;AACzC,OAAO,EAEL,iBAAiB,EACjB,SAAS,EACT,eAAe,GAChB,MAAM,eAAe,CAAC;AAkBvB,MAAM,UAAU,GAAG,EAAE,CAAC;AAEtB,MAAM,OAAO,GAAG,2BAA2B,CAAC;AAC5C,MAAM,OAAO,GACX,2JAA2J,CAAC;AAC9J,MAAM,UAAU,GAA4B;IAC1C,CAAC,gBAAgB,EAAE,sBAAsB,CAAC;IAC1C,CAAC,aAAa,EAAE,oCAAoC,CAAC;IACrD,CAAC,aAAa,EAAE,8BAA8B,CAAC;IAC/C,CAAC,cAAc,EAAE,yBAAyB,CAAC;IAC3C;QACE,gBAAgB;QAChB,qFAAqF;KACtF;CACF,CAAC;AAEF,SAAS,MAAM,CAAC,KAAkB;IAChC,OAAO,KAAK;SACT,KAAK,CAAC,CAAC,EAAE,UAAU,CAAC;SACpB,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,IAAI,CAAC,IAAI,EAAE,EAAE,CAAC;SAC3C,IAAI,CAAC,IAAI,CAAC,CAAC;AAChB,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,sBAAsB,CACpC,IAAiB,EACjB,SAAiB;IAEjB,MAAM,CAAC,GAAG,IAAI,CAAC,UAAU,CAAC;IAC1B,MAAM,OAAO,GACX,CAAC,CAAC,YAAY;QACd,CAAC,CAAC,oBAAoB;QACtB,CAAC,CAAC,eAAe;QACjB,CAAC,CAAC,eAAe,CAAC;IACpB,IAAI,CAAC,OAAO;QAAE,OAAO,EAAE,GAAG,EAAE,KAAK,EAAE,MAAM,EAAE,IAAI,EAAE,UAAU,EAAE,EAAE,EAAE,CAAC;IAElE,MAAM,IAAI,GAAG,MAAM,CAAC,SAAS,CAAC,CAAC;IAC/B,MAAM,OAAO,GAAG,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC;IACnC,MAAM,MAAM,GAAG,SAAS,CAAC,OAAO,CAAC,CAAC;IAClC,MAAM,UAAU,GAA6B,EAAE,CAAC;IAEhD,WAAW,CACT,IAAI,CAAC,KAAK,CAAC,WAAW,EACtB,IAAI,CAAC,OAAO,CAAC,KAAK,EAClB,IAAI,EACJ,qBAAqB,EACrB,YAAY,CAAC,UAAU,EAAE,QAAQ,CAAC,MAAM,CAAC,CAAC,CAC3C,CAAC;IAEF,IACE,MAAM;QACN,CAAC,CAAC,CAAC,YAAY,IAAI,CAAC,CAAC,oBAAoB,IAAI,CAAC,CAAC,eAAe,CAAC,EAC/D,CAAC;QACD,MAAM,KAAK,GAAG,iBAAiB,CAAC,OAAO,CAAC,CAAC;QACzC,IAAI,CAAC,CAAC,YAAY,EAAE,CAAC;YACnB,MAAM,IAAI,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;YACvD,IAAI,IAAI,CAAC,MAAM;gBACb,UAAU,CAAC,IAAI,CAAC;oBACd,EAAE,EAAE,SAAS;oBACb,MAAM,EAAE,qCAAqC,MAAM,CAAC,IAAI,CAAC,EAAE;iBAC5D,CAAC,CAAC;QACP,CAAC;QACD,IAAI,CAAC,CAAC,oBAAoB,EAAE,CAAC;YAC3B,MAAM,IAAI,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;YACvD,IAAI,IAAI,CAAC,MAAM;gBACb,UAAU,CAAC,IAAI,CAAC;oBACd,EAAE,EAAE,kBAAkB;oBACtB,MAAM,EAAE,qCAAqC,MAAM,CAAC,IAAI,CAAC,EAAE;iBAC5D,CAAC,CAAC;QACP,CAAC;QACD,IAAI,CAAC,CAAC,eAAe,EAAE,CAAC;YACtB,MAAM,IAAI,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAC9B,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAC7C,CAAC;YACF,IAAI,IAAI,CAAC,MAAM;gBACb,UAAU,CAAC,IAAI,CAAC;oBACd,EAAE,EAAE,YAAY;oBAChB,MAAM,EAAE,gCAAgC,MAAM,CAAC,IAAI,CAAC,EAAE;iBACvD,CAAC,CAAC;QACP,CAAC;IACH,CAAC;IAED,IAAI,CAAC,CAAC,eAAe,IAAI,MAAM,EAAE,CAAC;QAChC,wEAAwE;QACxE,yEAAyE;QACzE,sEAAsE;QACtE,0CAA0C;QAC1C,MAAM,QAAQ,GAAG,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,WAAW,CAAC,CAAC,CAAC;QACpE,MAAM,KAAK,GAAG,eAAe,CAAC,OAAO,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE;YACrD,IAAI,CAAC,QAAQ,IAAI,QAAQ,CAAC,UAAU,CAAC,IAAI,CAAC;gBAAE,OAAO,IAAI,CAAC;YACxD,MAAM,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,0CAA0C;YACtE,OAAO,IAAI,KAAK,QAAQ,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,GAAG,QAAQ,GAAG,GAAG,EAAE,CAAC,CAAC;QACpE,CAAC,CAAC,CAAC;QACH,IAAI,KAAK,CAAC,MAAM;YACd,UAAU,CAAC,IAAI,CAAC;gBACd,EAAE,EAAE,YAAY;gBAChB,MAAM,EAAE,+BAA+B,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,UAAU,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE;aAC/E,CAAC,CAAC;IACP,CAAC;IAED,MAAM,MAAM,GAAG,UAAU,CAAC,MAAM,KAAK,CAAC,CAAC;IACvC,WAAW,CACT,IAAI,CAAC,KAAK,CAAC,WAAW,EACtB,IAAI,CAAC,OAAO,CAAC,KAAK,EAClB,IAAI,EACJ,sBAAsB,EACtB,YAAY,CAAC,QAAQ,EAAE,QAAQ,CAAC,MAAM,CAAC,CAAC;QACtC,IAAI;QACJ,SAAS,CAAC,YAAY,EAAE,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CACjE,CAAC;IAEF,OAAO,EAAE,GAAG,EAAE,IAAI,EAAE,MAAM,EAAE,UAAU,EAAE,CAAC;AAC3C,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,4BAA4B,CAC1C,IAAiB,EACjB,SAAiB,EACjB,MAA2B;IAE3B,MAAM,MAAM,GAAG,MAAM,CAAC,UAAU;SAC7B,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,MAAM,EAAE,CAAC;SACrC,IAAI,CAAC,MAAM,CAAC,CAAC;IAChB,MAAM,OAAO,GACX,0DAA0D;QAC1D,8CAA8C;QAC9C,MAAM,CAAC;IACT,mBAAmB,CACjB,IAAI,CAAC,KAAK,CAAC,WAAW,EACtB,IAAI,CAAC,OAAO,CAAC,KAAK,EAClB,MAAM,CAAC,SAAS,CAAC,EACjB,mBAAmB,EACnB,OAAO,CACR,CAAC;AACJ,CAAC"}

package/dist/postfire-verify.d.ts

@@ -0,0 +1,31 @@
+export type Reconcile = "confirmed" | "false_done" | "unverifiable";
+export interface PostFireFailure {
+    command: string;
+    exitCode: number;
+    tail: string;
+}
+export interface PostFireResult {
+    reconcile: Reconcile;
+    ranChecks: number;
+    failures: PostFireFailure[];
+}
+/**
+ * Reconcile a run's bare `completed` claim with an out-of-band re-check.
+ * `green = success` is treated as UNVERIFIED until a deterministic check passes:
+ * no checks → `unverifiable` (nothing to prove the claim), all pass →
+ * `confirmed`, any fail → `false_done`.
+ */
+export declare function reconcileOutcome(ranChecks: number, allPassed: boolean): Reconcile;
+/**
+ * Assemble the deterministic post-fire check commands for a run from its
+ * acceptance config: `verify_cmds`, a single `verify_cmd`, and any
+ * criterion-bound checks (`text :: cmd`). Pure — the caller supplies the raw
+ * config values so this is trivially testable.
+ */
+export declare function postFireCheckCommands(verifyCmds: string[], verifyCmd: string, criteria: string[]): string[];
+/**
+ * Run the deterministic checks out-of-band in `workDir` (the completed run's
+ * work tree) and reconcile. This IS the independent post-fire verifier for
+ * detached/scheduled runs: nobody watched the run, so the harness re-checks.
+ */
+export declare function verifyPostFire(workDir: string, cmds: string[], timeoutMs: number): PostFireResult;

package/dist/postfire-verify.js

@@ -0,0 +1,64 @@
+import { spawnSync } from "node:child_process";
+import { parseCriterion } from "./intent.js";
+/**
+ * Reconcile a run's bare `completed` claim with an out-of-band re-check.
+ * `green = success` is treated as UNVERIFIED until a deterministic check passes:
+ * no checks → `unverifiable` (nothing to prove the claim), all pass →
+ * `confirmed`, any fail → `false_done`.
+ */
+export function reconcileOutcome(ranChecks, allPassed) {
+    if (ranChecks === 0)
+        return "unverifiable";
+    return allPassed ? "confirmed" : "false_done";
+}
+/**
+ * Assemble the deterministic post-fire check commands for a run from its
+ * acceptance config: `verify_cmds`, a single `verify_cmd`, and any
+ * criterion-bound checks (`text :: cmd`). Pure — the caller supplies the raw
+ * config values so this is trivially testable.
+ */
+export function postFireCheckCommands(verifyCmds, verifyCmd, criteria) {
+    const cmds = [...verifyCmds];
+    const single = verifyCmd.trim();
+    if (single)
+        cmds.push(single);
+    for (const line of criteria) {
+        const { check } = parseCriterion(line);
+        if (check)
+            cmds.push(check);
+    }
+    return cmds;
+}
+/**
+ * Run the deterministic checks out-of-band in `workDir` (the completed run's
+ * work tree) and reconcile. This IS the independent post-fire verifier for
+ * detached/scheduled runs: nobody watched the run, so the harness re-checks.
+ */
+export function verifyPostFire(workDir, cmds, timeoutMs) {
+    const failures = [];
+    for (const command of cmds) {
+        const res = spawnSync(command, {
+            shell: "/bin/sh",
+            cwd: workDir,
+            encoding: "utf-8",
+            timeout: timeoutMs,
+            maxBuffer: 50 * 1024 * 1024,
+        });
+        const timedOut = res.signal === "SIGTERM" ||
+            res.error?.code === "ETIMEDOUT";
+        const exitCode = timedOut ? 124 : (res.status ?? 1);
+        if (exitCode !== 0) {
+            failures.push({
+                command,
+                exitCode,
+                tail: `${res.stdout ?? ""}${res.stderr ?? ""}`.slice(-1000),
+            });
+        }
+    }
+    return {
+        reconcile: reconcileOutcome(cmds.length, failures.length === 0),
+        ranChecks: cmds.length,
+        failures,
+    };
+}
+//# sourceMappingURL=postfire-verify.js.map

package/dist/postfire-verify.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"postfire-verify.js","sourceRoot":"","sources":["../src/postfire-verify.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,SAAS,EAAE,MAAM,oBAAoB,CAAC;AAC/C,OAAO,EAAE,cAAc,EAAE,MAAM,aAAa,CAAC;AAgB7C;;;;;GAKG;AACH,MAAM,UAAU,gBAAgB,CAC9B,SAAiB,EACjB,SAAkB;IAElB,IAAI,SAAS,KAAK,CAAC;QAAE,OAAO,cAAc,CAAC;IAC3C,OAAO,SAAS,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,YAAY,CAAC;AAChD,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,qBAAqB,CACnC,UAAoB,EACpB,SAAiB,EACjB,QAAkB;IAElB,MAAM,IAAI,GAAG,CAAC,GAAG,UAAU,CAAC,CAAC;IAC7B,MAAM,MAAM,GAAG,SAAS,CAAC,IAAI,EAAE,CAAC;IAChC,IAAI,MAAM;QAAE,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IAC9B,KAAK,MAAM,IAAI,IAAI,QAAQ,EAAE,CAAC;QAC5B,MAAM,EAAE,KAAK,EAAE,GAAG,cAAc,CAAC,IAAI,CAAC,CAAC;QACvC,IAAI,KAAK;YAAE,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC9B,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,cAAc,CAC5B,OAAe,EACf,IAAc,EACd,SAAiB;IAEjB,MAAM,QAAQ,GAAsB,EAAE,CAAC;IACvC,KAAK,MAAM,OAAO,IAAI,IAAI,EAAE,CAAC;QAC3B,MAAM,GAAG,GAAG,SAAS,CAAC,OAAO,EAAE;YAC7B,KAAK,EAAE,SAAS;YAChB,GAAG,EAAE,OAAO;YACZ,QAAQ,EAAE,OAAO;YACjB,OAAO,EAAE,SAAS;YAClB,SAAS,EAAE,EAAE,GAAG,IAAI,GAAG,IAAI;SAC5B,CAAC,CAAC;QACH,MAAM,QAAQ,GACZ,GAAG,CAAC,MAAM,KAAK,SAAS;YACvB,GAAG,CAAC,KAA2C,EAAE,IAAI,KAAK,WAAW,CAAC;QACzE,MAAM,QAAQ,GAAG,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,MAAM,IAAI,CAAC,CAAC,CAAC;QACpD,IAAI,QAAQ,KAAK,CAAC,EAAE,CAAC;YACnB,QAAQ,CAAC,IAAI,CAAC;gBACZ,OAAO;gBACP,QAAQ;gBACR,IAAI,EAAE,GAAG,GAAG,CAAC,MAAM,IAAI,EAAE,GAAG,GAAG,CAAC,MAAM,IAAI,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC;aAC5D,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IACD,OAAO;QACL,SAAS,EAAE,gBAAgB,CAAC,IAAI,CAAC,MAAM,EAAE,QAAQ,CAAC,MAAM,KAAK,CAAC,CAAC;QAC/D,SAAS,EAAE,IAAI,CAAC,MAAM;QACtB,QAAQ;KACT,CAAC;AACJ,CAAC"}

package/dist/premature-quit.d.ts

@@ -0,0 +1,25 @@
+import type { LoopContext } from "./types.js";
+export interface PrematureQuitCheck {
+    /** True when the run is quitting with authorized work left and no blocker. */
+    premature: boolean;
+    /** Human-readable reasons (open task ids, unmet required events). */
+    reasons: string[];
+}
+/**
+ * Detect an announce-then-halt / silent drift-stop: the loop is stopping (e.g.
+ * a stall) but authorized work remains AND nothing is blocking it. That is a
+ * false finish that quietly under-delivers, distinct from a legitimate stop.
+ *
+ * Work remaining = open non-soft tasks OR unmet required completion events.
+ * Blocker = a transient/availability pause on the latest turn (an availability
+ * issue, not a premature quit).
+ */
+export declare function detectPrematureQuit(loop: LoopContext, runLines: string[]): PrematureQuitCheck;
+/** How many times this run has already been re-armed (bound the re-arm loop). */
+export declare function countRearms(runLines: string[]): number;
+/**
+ * Re-arm a premature quit: journal the re-arm and inject a nudge so the next
+ * iteration's prompt differs (breaking the stall) and the agent finishes the
+ * remaining authorized work instead of halting.
+ */
+export declare function rearmPrematureQuit(loop: LoopContext, iteration: number, check: PrematureQuitCheck): void;

package/dist/premature-quit.js

@@ -0,0 +1,54 @@
+import { jsonField } from "@mobrienv/autoloop-core";
+import { appendEvent, appendOperatorEvent, extractTopic, } from "@mobrienv/autoloop-core/journal";
+import { materializeOpenFrom } from "@mobrienv/autoloop-core/tasks";
+/**
+ * Detect an announce-then-halt / silent drift-stop: the loop is stopping (e.g.
+ * a stall) but authorized work remains AND nothing is blocking it. That is a
+ * false finish that quietly under-delivers, distinct from a legitimate stop.
+ *
+ * Work remaining = open non-soft tasks OR unmet required completion events.
+ * Blocker = a transient/availability pause on the latest turn (an availability
+ * issue, not a premature quit).
+ */
+export function detectPrematureQuit(loop, runLines) {
+    const reasons = [];
+    const openTasks = materializeOpenFrom(loop.paths.tasksFile).filter((t) => t.soft !== true);
+    if (openTasks.length) {
+        reasons.push(`${openTasks.length} open task(s): ${openTasks.map((t) => t.id).join(", ")}`);
+    }
+    const topics = new Set(runLines.map((l) => extractTopic(l)));
+    const unmet = loop.completion.requiredEvents.filter((e) => !topics.has(e));
+    if (unmet.length) {
+        reasons.push(`unmet required event(s): ${unmet.join(", ")}`);
+    }
+    // A transient/availability pause on the latest turn is a real blocker, not a
+    // premature quit — let the circuit breaker own it.
+    const blocked = lastNonSystemSignalIsTransient(runLines);
+    return { premature: reasons.length > 0 && !blocked, reasons };
+}
+function lastNonSystemSignalIsTransient(runLines) {
+    for (let i = runLines.length - 1; i >= 0; i--) {
+        const topic = extractTopic(runLines[i]);
+        if (topic === "backend.transient")
+            return true;
+        if (topic === "iteration.finish")
+            return false;
+    }
+    return false;
+}
+/** How many times this run has already been re-armed (bound the re-arm loop). */
+export function countRearms(runLines) {
+    return runLines.filter((l) => extractTopic(l) === "premature.rearm").length;
+}
+/**
+ * Re-arm a premature quit: journal the re-arm and inject a nudge so the next
+ * iteration's prompt differs (breaking the stall) and the agent finishes the
+ * remaining authorized work instead of halting.
+ */
+export function rearmPrematureQuit(loop, iteration, check) {
+    appendEvent(loop.paths.journalFile, loop.runtime.runId, String(iteration), "premature.rearm", jsonField("reasons", check.reasons.join("; ")));
+    appendOperatorEvent(loop.paths.journalFile, loop.runtime.runId, String(iteration), "operator.guidance", "You stopped with authorized work remaining and no blocker. Do not halt: " +
+        "continue and finish the remaining work, then emit the completion event. " +
+        `Remaining:\n- ${check.reasons.join("\n- ")}`);
+}
+//# sourceMappingURL=premature-quit.js.map

package/dist/premature-quit.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"premature-quit.js","sourceRoot":"","sources":["../src/premature-quit.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,SAAS,EAAE,MAAM,yBAAyB,CAAC;AACpD,OAAO,EACL,WAAW,EACX,mBAAmB,EACnB,YAAY,GACb,MAAM,iCAAiC,CAAC;AACzC,OAAO,EAAE,mBAAmB,EAAE,MAAM,+BAA+B,CAAC;AAUpE;;;;;;;;GAQG;AACH,MAAM,UAAU,mBAAmB,CACjC,IAAiB,EACjB,QAAkB;IAElB,MAAM,OAAO,GAAa,EAAE,CAAC;IAE7B,MAAM,SAAS,GAAG,mBAAmB,CAAC,IAAI,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC,MAAM,CAChE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,IAAI,CACvB,CAAC;IACF,IAAI,SAAS,CAAC,MAAM,EAAE,CAAC;QACrB,OAAO,CAAC,IAAI,CACV,GAAG,SAAS,CAAC,MAAM,kBAAkB,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAC7E,CAAC;IACJ,CAAC;IAED,MAAM,MAAM,GAAG,IAAI,GAAG,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IAC7D,MAAM,KAAK,GAAG,IAAI,CAAC,UAAU,CAAC,cAAc,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;IAC3E,IAAI,KAAK,CAAC,MAAM,EAAE,CAAC;QACjB,OAAO,CAAC,IAAI,CAAC,4BAA4B,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAC/D,CAAC;IAED,6EAA6E;IAC7E,mDAAmD;IACnD,MAAM,OAAO,GAAG,8BAA8B,CAAC,QAAQ,CAAC,CAAC;IAEzD,OAAO,EAAE,SAAS,EAAE,OAAO,CAAC,MAAM,GAAG,CAAC,IAAI,CAAC,OAAO,EAAE,OAAO,EAAE,CAAC;AAChE,CAAC;AAED,SAAS,8BAA8B,CAAC,QAAkB;IACxD,KAAK,IAAI,CAAC,GAAG,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;QAC9C,MAAM,KAAK,GAAG,YAAY,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC;QACxC,IAAI,KAAK,KAAK,mBAAmB;YAAE,OAAO,IAAI,CAAC;QAC/C,IAAI,KAAK,KAAK,kBAAkB;YAAE,OAAO,KAAK,CAAC;IACjD,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,iFAAiF;AACjF,MAAM,UAAU,WAAW,CAAC,QAAkB;IAC5C,OAAO,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,YAAY,CAAC,CAAC,CAAC,KAAK,iBAAiB,CAAC,CAAC,MAAM,CAAC;AAC9E,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,kBAAkB,CAChC,IAAiB,EACjB,SAAiB,EACjB,KAAyB;IAEzB,WAAW,CACT,IAAI,CAAC,KAAK,CAAC,WAAW,EACtB,IAAI,CAAC,OAAO,CAAC,KAAK,EAClB,MAAM,CAAC,SAAS,CAAC,EACjB,iBAAiB,EACjB,SAAS,CAAC,SAAS,EAAE,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAC/C,CAAC;IACF,mBAAmB,CACjB,IAAI,CAAC,KAAK,CAAC,WAAW,EACtB,IAAI,CAAC,OAAO,CAAC,KAAK,EAClB,MAAM,CAAC,SAAS,CAAC,EACjB,mBAAmB,EACnB,0EAA0E;QACxE,0EAA0E;QAC1E,iBAAiB,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAChD,CAAC;AACJ,CAAC"}

package/dist/progress.d.ts

@@ -0,0 +1,20 @@
+import type { LoopContext } from "./types.js";
+export interface ProgressMetric {
+    name: string;
+    value: number;
+    iteration: number;
+}
+/**
+ * Extract the progress scalar from a metric command's stdout: the last numeric
+ * token (so `tests: 42 passed` → 42, `0.87` → 0.87). Returns null when no
+ * number is present.
+ */
+export declare function parseMetricValue(stdout: string): number | null;
+/**
+ * Run the preset-declared progress metric command HARNESS-side after an
+ * iteration and journal the scalar (`progress.metric`). No-op when no metric is
+ * configured or its output has no number. Returns the captured metric, or null.
+ */
+export declare function runProgressMetric(loop: LoopContext, iteration: number): ProgressMetric | null;
+/** Read the journaled progress-metric series for a run (queryable). */
+export declare function readProgressMetrics(runLines: string[]): ProgressMetric[];

package/dist/progress.js

@@ -0,0 +1,56 @@
+import { spawnSync } from "node:child_process";
+import { jsonField, jsonFieldRaw } from "@mobrienv/autoloop-core";
+import { appendEvent, extractField, extractTopic, } from "@mobrienv/autoloop-core/journal";
+/**
+ * Extract the progress scalar from a metric command's stdout: the last numeric
+ * token (so `tests: 42 passed` → 42, `0.87` → 0.87). Returns null when no
+ * number is present.
+ */
+export function parseMetricValue(stdout) {
+    const matches = stdout.match(/-?\d+(?:\.\d+)?/g);
+    if (!matches || matches.length === 0)
+        return null;
+    const n = Number(matches[matches.length - 1]);
+    return Number.isFinite(n) ? n : null;
+}
+/**
+ * Run the preset-declared progress metric command HARNESS-side after an
+ * iteration and journal the scalar (`progress.metric`). No-op when no metric is
+ * configured or its output has no number. Returns the captured metric, or null.
+ */
+export function runProgressMetric(loop, iteration) {
+    const cmd = loop.progress?.metricCmd?.trim();
+    if (!cmd)
+        return null;
+    const res = spawnSync(cmd, {
+        shell: "/bin/sh",
+        cwd: loop.paths.workDir,
+        encoding: "utf-8",
+        timeout: loop.progress?.timeoutMs ?? 60000,
+        maxBuffer: 10 * 1024 * 1024,
+    });
+    const value = parseMetricValue(`${res.stdout ?? ""}`);
+    if (value === null)
+        return null;
+    const name = loop.progress?.name || "progress";
+    appendEvent(loop.paths.journalFile, loop.runtime.runId, String(iteration), "progress.metric", jsonField("name", name) + ", " + jsonFieldRaw("value", String(value)));
+    return { name, value, iteration };
+}
+/** Read the journaled progress-metric series for a run (queryable). */
+export function readProgressMetrics(runLines) {
+    const out = [];
+    for (const line of runLines) {
+        if (extractTopic(line) !== "progress.metric")
+            continue;
+        const value = Number(extractField(line, "value"));
+        if (!Number.isFinite(value))
+            continue;
+        out.push({
+            name: extractField(line, "name") || "progress",
+            value,
+            iteration: Number(extractField(line, "iteration")) || 0,
+        });
+    }
+    return out;
+}
+//# sourceMappingURL=progress.js.map

package/dist/progress.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"progress.js","sourceRoot":"","sources":["../src/progress.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,SAAS,EAAE,MAAM,oBAAoB,CAAC;AAC/C,OAAO,EAAE,SAAS,EAAE,YAAY,EAAE,MAAM,yBAAyB,CAAC;AAClE,OAAO,EACL,WAAW,EACX,YAAY,EACZ,YAAY,GACb,MAAM,iCAAiC,CAAC;AASzC;;;;GAIG;AACH,MAAM,UAAU,gBAAgB,CAAC,MAAc;IAC7C,MAAM,OAAO,GAAG,MAAM,CAAC,KAAK,CAAC,kBAAkB,CAAC,CAAC;IACjD,IAAI,CAAC,OAAO,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC;IAClD,MAAM,CAAC,GAAG,MAAM,CAAC,OAAO,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC;IAC9C,OAAO,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;AACvC,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,iBAAiB,CAC/B,IAAiB,EACjB,SAAiB;IAEjB,MAAM,GAAG,GAAG,IAAI,CAAC,QAAQ,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC;IAC7C,IAAI,CAAC,GAAG;QAAE,OAAO,IAAI,CAAC;IACtB,MAAM,GAAG,GAAG,SAAS,CAAC,GAAG,EAAE;QACzB,KAAK,EAAE,SAAS;QAChB,GAAG,EAAE,IAAI,CAAC,KAAK,CAAC,OAAO;QACvB,QAAQ,EAAE,OAAO;QACjB,OAAO,EAAE,IAAI,CAAC,QAAQ,EAAE,SAAS,IAAI,KAAK;QAC1C,SAAS,EAAE,EAAE,GAAG,IAAI,GAAG,IAAI;KAC5B,CAAC,CAAC;IACH,MAAM,KAAK,GAAG,gBAAgB,CAAC,GAAG,GAAG,CAAC,MAAM,IAAI,EAAE,EAAE,CAAC,CAAC;IACtD,IAAI,KAAK,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC;IAChC,MAAM,IAAI,GAAG,IAAI,CAAC,QAAQ,EAAE,IAAI,IAAI,UAAU,CAAC;IAC/C,WAAW,CACT,IAAI,CAAC,KAAK,CAAC,WAAW,EACtB,IAAI,CAAC,OAAO,CAAC,KAAK,EAClB,MAAM,CAAC,SAAS,CAAC,EACjB,iBAAiB,EACjB,SAAS,CAAC,MAAM,EAAE,IAAI,CAAC,GAAG,IAAI,GAAG,YAAY,CAAC,OAAO,EAAE,MAAM,CAAC,KAAK,CAAC,CAAC,CACtE,CAAC;IACF,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,SAAS,EAAE,CAAC;AACpC,CAAC;AAED,uEAAuE;AACvE,MAAM,UAAU,mBAAmB,CAAC,QAAkB;IACpD,MAAM,GAAG,GAAqB,EAAE,CAAC;IACjC,KAAK,MAAM,IAAI,IAAI,QAAQ,EAAE,CAAC;QAC5B,IAAI,YAAY,CAAC,IAAI,CAAC,KAAK,iBAAiB;YAAE,SAAS;QACvD,MAAM,KAAK,GAAG,MAAM,CAAC,YAAY,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC,CAAC;QAClD,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC;YAAE,SAAS;QACtC,GAAG,CAAC,IAAI,CAAC;YACP,IAAI,EAAE,YAAY,CAAC,IAAI,EAAE,MAAM,CAAC,IAAI,UAAU;YAC9C,KAAK;YACL,SAAS,EAAE,MAAM,CAAC,YAAY,CAAC,IAAI,EAAE,WAAW,CAAC,CAAC,IAAI,CAAC;SACxD,CAAC,CAAC;IACL,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC"}

package/dist/prompt.d.ts

@@ -1,5 +1,6 @@
 import type { TwoTierMemoryStats } from "@mobrienv/autoloop-core/memory-render";
 import * as topology from "@mobrienv/autoloop-core/topology";
+import { type ResolvedIterationBackend } from "./backend/types.js";
 import type { LoopContext } from "./index.js";
 export interface IterationContext {
     iteration: number;
@@ -12,6 +13,9 @@ export interface IterationContext {
     memoryText: string;
     prompt: string;
     roleAgent: string;
+    backend: ResolvedIterationBackend;
+    backendAgent: string;
+    backendModel: string;
 }
 interface DerivedRunContext {
     scratchpadText: string;