audit-tools 0.51.7 → 0.51.9

package/dist/audit/cli/statusCommand.js

@@ -1,9 +1,8 @@
-import { readdir } from "node:fs/promises";
 import { join } from "node:path";
 import { isFileMissingError, readJsonFile } from "audit-tools/shared";
-import { loadRunLedger } from "../supervisor/runLedger.js";
 import { getArtifactsDir } from "./args.js";
 import { outputJson } from "./cliHelpers.js";
+import { loadCurrentActiveReviewRun } from "./reviewRun.js";
 export async function cmdStatus(argv) {
     const artifactsDir = getArtifactsDir(argv);
     const auditStatePath = join(artifactsDir, "audit_state.json");
@@ -36,82 +35,46 @@ export async function cmdStatus(argv) {
             obligationStates[state]++;
         }
     }
-    // 2. Read run ledger for last N entries
-    const ledger = await loadRunLedger(artifactsDir);
-    const RECENT_RUN_LIMIT = 5;
-    const recentRuns = ledger.runs
-        .slice(-RECENT_RUN_LIMIT)
-        .reverse()
-        .map((entry) => {
-        const startMs = Date.parse(entry.started_at);
-        const endMs = Date.parse(entry.ended_at);
-        const duration_ms = Number.isFinite(startMs) && Number.isFinite(endMs) ? endMs - startMs : undefined;
-        return {
-            run_id: entry.run_id,
-            obligation_id: entry.obligation_id,
-            status: entry.status,
-            started_at: entry.started_at,
-            ended_at: entry.ended_at,
-            ...(duration_ms !== undefined ? { duration_ms } : {}),
-        };
-    });
-    // 3. Find the most recent run directory and read pending-audit-tasks.json
+    // 2. Read the ACTIVE run's pending-audit-tasks.json
+    //
+    // The active run is the one the loop is on, named by the review-run manifest
+    // the pause wrote — never "the newest directory under runs/". That inference
+    // sorted the directory NAMES, which only meant "newest" while a run id began
+    // with a UTC timestamp: with the derived id (obligation slug + digest) the
+    // sort is alphabetical, so the command would report an arbitrary obligation's
+    // pending count and call it current.
+    //
+    // Both reads degrade to "no run" rather than to a stack. A malformed
+    // manifest, an unreadable manifest and an absent manifest all say the same
+    // true thing about the ACTIVE run: `status` does not know of one. A status
+    // command that throws tells an operator nothing it could have reported.
     let pendingTasksSummary = null;
-    const runsDir = join(artifactsDir, "runs");
-    let runDirs = [];
     try {
-        const entries = await readdir(runsDir, { withFileTypes: true });
-        runDirs = entries
-            .filter((e) => e.isDirectory())
-            .map((e) => e.name)
-            .sort()
-            .reverse();
+        const activeRun = await loadCurrentActiveReviewRun(artifactsDir);
+        if (activeRun) {
+            const tasks = await readJsonFile(activeRun.pending_audit_tasks_path);
+            if (Array.isArray(tasks)) {
+                // Count remaining: tasks without status "complete"
+                const total = tasks.length;
+                const remaining = tasks.filter((t) => t.status !== "complete").length;
+                pendingTasksSummary = {
+                    run_id: activeRun.run_id,
+                    total,
+                    remaining,
+                };
+            }
+        }
     }
     catch {
-        // runs directory may not exist yet
-    }
-    for (const runDirName of runDirs) {
-        const runDir = join(runsDir, runDirName);
-        const tasksPath = join(runDir, "pending-audit-tasks.json");
-        let tasks = null;
-        try {
-            tasks = await readJsonFile(tasksPath);
-        }
-        catch {
-            continue; // no pending-audit-tasks.json in this run dir — try previous
-        }
-        if (!Array.isArray(tasks))
-            continue;
-        // Count remaining: tasks without status "complete"
-        const total = tasks.length;
-        const remaining = tasks.filter((t) => t.status !== "complete").length;
-        pendingTasksSummary = {
-            run_id: runDirName,
-            total,
-            remaining,
-        };
-        break;
+        // Malformed / unreadable active-run manifest: report "no run", never throw.
     }
-    // Derive the started_at and elapsed time for the current last_obligation from
-    // the most recent ledger entry that matches it, so operators can tell whether
-    // the audit is stuck or merely running.
-    const lastObligationEntry = auditState.last_obligation
-        ? [...ledger.runs].reverse().find((r) => r.obligation_id === auditState.last_obligation)
-        : undefined;
-    const lastObligationStartedAt = lastObligationEntry?.started_at ?? null;
-    const lastObligationElapsedMs = lastObligationStartedAt
-        ? Date.now() - Date.parse(lastObligationStartedAt)
-        : null;
     outputJson({
         artifacts_dir: artifactsDir,
         status: auditState.status,
         last_obligation: auditState.last_obligation ?? null,
-        last_obligation_started_at: lastObligationStartedAt,
-        last_obligation_elapsed_ms: lastObligationElapsedMs,
         last_executor: auditState.last_executor ?? null,
         blockers: auditState.blockers ?? [],
         obligations_summary: obligationStates,
-        recent_runs: recentRuns,
         pending_tasks: pendingTasksSummary,
     });
 }

package/dist/audit/cli/statusCommand.js.map

@@ -1 +1 @@
-{"version":3,"file":"statusCommand.js","sourceRoot":"","sources":["../../../src/audit/cli/statusCommand.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,OAAO,EAAE,MAAM,kBAAkB,CAAC;AAC3C,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AACjC,OAAO,EAAE,kBAAkB,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAC;AAGtE,OAAO,EAAE,aAAa,EAAE,MAAM,4BAA4B,CAAC;AAC3D,OAAO,EAAE,eAAe,EAAE,MAAM,WAAW,CAAC;AAC5C,OAAO,EAAE,UAAU,EAAE,MAAM,iBAAiB,CAAC;AAE7C,MAAM,CAAC,KAAK,UAAU,SAAS,CAAC,IAAc;IAC5C,MAAM,YAAY,GAAG,eAAe,CAAC,IAAI,CAAC,CAAC;IAC3C,MAAM,cAAc,GAAG,IAAI,CAAC,YAAY,EAAE,kBAAkB,CAAC,CAAC;IAE9D,2BAA2B;IAC3B,IAAI,UAAU,GAAsB,IAAI,CAAC;IACzC,IAAI,CAAC;QACH,UAAU,GAAG,MAAM,YAAY,CAAa,cAAc,CAAC,CAAC;IAC9D,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,IAAI,CAAC,kBAAkB,CAAC,KAAK,CAAC,EAAE,CAAC;YAC/B,MAAM,KAAK,CAAC;QACd,CAAC;IACH,CAAC;IAED,IAAI,CAAC,UAAU,EAAE,CAAC;QAChB,UAAU,CAAC,EAAE,MAAM,EAAE,iBAAiB,EAAE,KAAK,EAAE,yEAAyE,EAAE,CAAC,CAAC;QAC5H,OAAO,CAAC,QAAQ,GAAG,CAAC,CAAC;QACrB,OAAO;IACT,CAAC;IAED,4CAA4C;IAC5C,MAAM,gBAAgB,GAA2B;QAC/C,OAAO,EAAE,CAAC;QACV,OAAO,EAAE,CAAC;QACV,KAAK,EAAE,CAAC;QACR,OAAO,EAAE,CAAC;QACV,SAAS,EAAE,CAAC;KACb,CAAC;IACF,KAAK,MAAM,UAAU,IAAI,UAAU,CAAC,WAAW,IAAI,EAAE,EAAE,CAAC;QACtD,MAAM,KAAK,GAAG,UAAU,CAAC,KAAK,CAAC;QAC/B,IAAI,KAAK,IAAI,gBAAgB,EAAE,CAAC;YAC9B,gBAAgB,CAAC,KAAK,CAAE,EAAE,CAAC;QAC7B,CAAC;IACH,CAAC;IAED,wCAAwC;IACxC,MAAM,MAAM,GAAG,MAAM,aAAa,CAAC,YAAY,CAAC,CAAC;IACjD,MAAM,gBAAgB,GAAG,CAAC,CAAC;IAC3B,MAAM,UAAU,GAAG,MAAM,CAAC,IAAI;SAC3B,KAAK,CAAC,CAAC,gBAAgB,CAAC;SACxB,OAAO,EAAE;SACT,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE;QACb,MAAM,OAAO,GAAG,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC;QAC7C,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;QACzC,MAAM,WAAW,GAAG,MAAM,CAAC,QAAQ,CAAC,OAAO,CAAC,IAAI,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,GAAG,OAAO,CAAC,CAAC,CAAC,SAAS,CAAC;QACrG,OAAO;YACL,MAAM,EAAE,KAAK,CAAC,MAAM;YACpB,aAAa,EAAE,KAAK,CAAC,aAAa;YAClC,MAAM,EAAE,KAAK,CAAC,MAAM;YACpB,UAAU,EAAE,KAAK,CAAC,UAAU;YAC5B,QAAQ,EAAE,KAAK,CAAC,QAAQ;YACxB,GAAG,CAAC,WAAW,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,WAAW,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;SACtD,CAAC;IACJ,CAAC,CAAC,CAAC;IAEL,0EAA0E;IAC1E,IAAI,mBAAmB,GAIZ,IAAI,CAAC;IAEhB,MAAM,OAAO,GAAG,IAAI,CAAC,YAAY,EAAE,MAAM,CAAC,CAAC;IAC3C,IAAI,OAAO,GAAa,EAAE,CAAC;IAC3B,IAAI,CAAC;QACH,MAAM,OAAO,GAAG,MAAM,OAAO,CAAC,OAAO,EAAE,EAAE,aAAa,EAAE,IAAI,EAAE,CAAC,CAAC;QAChE,OAAO,GAAG,OAAO;aACd,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,WAAW,EAAE,CAAC;aAC9B,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC;aAClB,IAAI,EAAE;aACN,OAAO,EAAE,CAAC;IACf,CAAC;IAAC,MAAM,CAAC;QACP,mCAAmC;IACrC,CAAC;IAED,KAAK,MAAM,UAAU,IAAI,OAAO,EAAE,CAAC;QACjC,MAAM,MAAM,GAAG,IAAI,CAAC,OAAO,EAAE,UAAU,CAAC,CAAC;QACzC,MAAM,SAAS,GAAG,IAAI,CAAC,MAAM,EAAE,0BAA0B,CAAC,CAAC;QAC3D,IAAI,KAAK,GAAuB,IAAI,CAAC;QACrC,IAAI,CAAC;YACH,KAAK,GAAG,MAAM,YAAY,CAAc,SAAS,CAAC,CAAC;QACrD,CAAC;QAAC,MAAM,CAAC;YACP,SAAS,CAAC,6DAA6D;QACzE,CAAC;QACD,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;YAAE,SAAS;QAEpC,mDAAmD;QACnD,MAAM,KAAK,GAAG,KAAK,CAAC,MAAM,CAAC;QAC3B,MAAM,SAAS,GAAG,KAAK,CAAC,MAAM,CAC5B,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,UAAU,CAC/B,CAAC,MAAM,CAAC;QAET,mBAAmB,GAAG;YACpB,MAAM,EAAE,UAAU;YAClB,KAAK;YACL,SAAS;SACV,CAAC;QACF,MAAM;IACR,CAAC;IAED,8EAA8E;IAC9E,8EAA8E;IAC9E,wCAAwC;IACxC,MAAM,mBAAmB,GAAG,UAAU,CAAC,eAAe;QACpD,CAAC,CAAC,CAAC,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC,OAAO,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,aAAa,KAAK,UAAU,CAAC,eAAe,CAAC;QACxF,CAAC,CAAC,SAAS,CAAC;IACd,MAAM,uBAAuB,GAAG,mBAAmB,EAAE,UAAU,IAAI,IAAI,CAAC;IACxE,MAAM,uBAAuB,GAC3B,uBAAuB;QACrB,CAAC,CAAC,IAAI,CAAC,GAAG,EAAE,GAAG,IAAI,CAAC,KAAK,CAAC,uBAAuB,CAAC;QAClD,CAAC,CAAC,IAAI,CAAC;IAEX,UAAU,CAAC;QACT,aAAa,EAAE,YAAY;QAC3B,MAAM,EAAE,UAAU,CAAC,MAAM;QACzB,eAAe,EAAE,UAAU,CAAC,eAAe,IAAI,IAAI;QACnD,0BAA0B,EAAE,uBAAuB;QACnD,0BAA0B,EAAE,uBAAuB;QACnD,aAAa,EAAE,UAAU,CAAC,aAAa,IAAI,IAAI;QAC/C,QAAQ,EAAE,UAAU,CAAC,QAAQ,IAAI,EAAE;QACnC,mBAAmB,EAAE,gBAAgB;QACrC,WAAW,EAAE,UAAU;QACvB,aAAa,EAAE,mBAAmB;KACnC,CAAC,CAAC;AACL,CAAC"}
+{"version":3,"file":"statusCommand.js","sourceRoot":"","sources":["../../../src/audit/cli/statusCommand.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AACjC,OAAO,EAAE,kBAAkB,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAC;AAGtE,OAAO,EAAE,eAAe,EAAE,MAAM,WAAW,CAAC;AAC5C,OAAO,EAAE,UAAU,EAAE,MAAM,iBAAiB,CAAC;AAC7C,OAAO,EAAE,0BAA0B,EAAE,MAAM,gBAAgB,CAAC;AAE5D,MAAM,CAAC,KAAK,UAAU,SAAS,CAAC,IAAc;IAC5C,MAAM,YAAY,GAAG,eAAe,CAAC,IAAI,CAAC,CAAC;IAC3C,MAAM,cAAc,GAAG,IAAI,CAAC,YAAY,EAAE,kBAAkB,CAAC,CAAC;IAE9D,2BAA2B;IAC3B,IAAI,UAAU,GAAsB,IAAI,CAAC;IACzC,IAAI,CAAC;QACH,UAAU,GAAG,MAAM,YAAY,CAAa,cAAc,CAAC,CAAC;IAC9D,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,IAAI,CAAC,kBAAkB,CAAC,KAAK,CAAC,EAAE,CAAC;YAC/B,MAAM,KAAK,CAAC;QACd,CAAC;IACH,CAAC;IAED,IAAI,CAAC,UAAU,EAAE,CAAC;QAChB,UAAU,CAAC,EAAE,MAAM,EAAE,iBAAiB,EAAE,KAAK,EAAE,yEAAyE,EAAE,CAAC,CAAC;QAC5H,OAAO,CAAC,QAAQ,GAAG,CAAC,CAAC;QACrB,OAAO;IACT,CAAC;IAED,4CAA4C;IAC5C,MAAM,gBAAgB,GAA2B;QAC/C,OAAO,EAAE,CAAC;QACV,OAAO,EAAE,CAAC;QACV,KAAK,EAAE,CAAC;QACR,OAAO,EAAE,CAAC;QACV,SAAS,EAAE,CAAC;KACb,CAAC;IACF,KAAK,MAAM,UAAU,IAAI,UAAU,CAAC,WAAW,IAAI,EAAE,EAAE,CAAC;QACtD,MAAM,KAAK,GAAG,UAAU,CAAC,KAAK,CAAC;QAC/B,IAAI,KAAK,IAAI,gBAAgB,EAAE,CAAC;YAC9B,gBAAgB,CAAC,KAAK,CAAE,EAAE,CAAC;QAC7B,CAAC;IACH,CAAC;IAED,oDAAoD;IACpD,EAAE;IACF,6EAA6E;IAC7E,6EAA6E;IAC7E,6EAA6E;IAC7E,2EAA2E;IAC3E,8EAA8E;IAC9E,qCAAqC;IACrC,EAAE;IACF,qEAAqE;IACrE,2EAA2E;IAC3E,2EAA2E;IAC3E,wEAAwE;IACxE,IAAI,mBAAmB,GAIZ,IAAI,CAAC;IAEhB,IAAI,CAAC;QACH,MAAM,SAAS,GAAG,MAAM,0BAA0B,CAAC,YAAY,CAAC,CAAC;QACjE,IAAI,SAAS,EAAE,CAAC;YACd,MAAM,KAAK,GAAG,MAAM,YAAY,CAC9B,SAAS,CAAC,wBAAwB,CACnC,CAAC;YACF,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;gBACzB,mDAAmD;gBACnD,MAAM,KAAK,GAAG,KAAK,CAAC,MAAM,CAAC;gBAC3B,MAAM,SAAS,GAAG,KAAK,CAAC,MAAM,CAC5B,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,UAAU,CAC/B,CAAC,MAAM,CAAC;gBAET,mBAAmB,GAAG;oBACpB,MAAM,EAAE,SAAS,CAAC,MAAM;oBACxB,KAAK;oBACL,SAAS;iBACV,CAAC;YACJ,CAAC;QACH,CAAC;IACH,CAAC;IAAC,MAAM,CAAC;QACP,4EAA4E;IAC9E,CAAC;IAED,UAAU,CAAC;QACT,aAAa,EAAE,YAAY;QAC3B,MAAM,EAAE,UAAU,CAAC,MAAM;QACzB,eAAe,EAAE,UAAU,CAAC,eAAe,IAAI,IAAI;QACnD,aAAa,EAAE,UAAU,CAAC,aAAa,IAAI,IAAI;QAC/C,QAAQ,EAAE,UAAU,CAAC,QAAQ,IAAI,EAAE;QACnC,mBAAmB,EAAE,gBAAgB;QACrC,aAAa,EAAE,mBAAmB;KACnC,CAAC,CAAC;AACL,CAAC"}

package/dist/audit/cli/stepScaffold.d.ts

@@ -1,7 +1,48 @@
+/**
+ * The execution MODE a step command selects — the field that makes the choice
+ * a stated one rather than an implied one.
+ *
+ * `preferredExecutor` is not a runner preference; it is a mode switch. A forced
+ * executor runs exactly ONE step and bypasses the shared obligation engine
+ * entirely, while the absence of one runs the PRIORITY scan and drains the
+ * deterministic frontier (`advanceAudit`'s own doc comment). The two modes are
+ * different DRAWS over the same registry, so a command that serves one cannot
+ * be made to serve the other by filling in a field.
+ *
+ * It is spelled as a string-literal union rather than a constant because
+ * `runAuditStep` already takes `preferredExecutor?: string`, so a constant
+ * could be widened silently at the call site. An `executor` mode carries the
+ * id; a `drain` mode has no id to carry; a future mode names itself.
+ */
+export type StepCommandMode = "drain" | "executor";
+/**
+ * The mode THIS scaffold implements, stated once.
+ *
+ * The scaffold hard-codes `executor`: a spec that asks for any other mode is
+ * refused at the boundary. That refusal is the point. `cmdPlan` is the drain
+ * draw — it takes no `preferredExecutor` precisely because supplying one would
+ * silently convert the plan draw into a single forced dispatch — and the way it
+ * stays out is that adopting this scaffold would require writing
+ * `mode: "drain"`, which throws here naming the command's real shape. Before
+ * this field existed, `cmdPlan` could not adopt the scaffold at all (the
+ * required `preferredExecutor` was the only obstacle), and the day someone
+ * relaxed that field to optional is the day the plan draw would have become a
+ * forced dispatch with nothing red: the CLI suites pin only that each module
+ * exports a function of that name.
+ */
+export declare const STEP_SCAFFOLD_MODE: StepCommandMode;
 export interface StepCommandSpec {
     /**
-     * The executor to force. Required — see the module header: absence is a
-     * different execution mode, not a defaulted value.
+     * The execution mode this command runs in. Must match
+     * {@link STEP_SCAFFOLD_MODE}; anything else is refused with a message naming
+     * the mode's real home.
+     */
+    mode: StepCommandMode;
+    /**
+     * The executor to force — the id half of `mode: "executor"`. Required, and
+     * not an oversight to relax casually: a defaulted id would run a step the
+     * command never asked for, in the mode that makes such a step look
+     * intentional.
      */
     preferredExecutor: string;
     /**

package/dist/audit/cli/stepScaffold.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"stepScaffold.d.ts","sourceRoot":"","sources":["../../../src/audit/cli/stepScaffold.ts"],"names":[],"mappings":"AA4BA,MAAM,WAAW,eAAe;IAC9B;;;OAGG;IACH,iBAAiB,EAAE,MAAM,CAAC;IAC1B;;;;OAIG;IACH,YAAY,CAAC,EAAE,OAAO,CAAC;CACxB;AAED;;;;;GAKG;AACH,wBAAsB,cAAc,CAClC,IAAI,EAAE,MAAM,EAAE,EACd,IAAI,EAAE,eAAe,GACpB,OAAO,CAAC,IAAI,CAAC,CAcf"}
+{"version":3,"file":"stepScaffold.d.ts","sourceRoot":"","sources":["../../../src/audit/cli/stepScaffold.ts"],"names":[],"mappings":"AAkBA;;;;;;;;;;;;;;;GAeG;AACH,MAAM,MAAM,eAAe,GAAG,OAAO,GAAG,UAAU,CAAC;AAEnD;;;;;;;;;;;;;;GAcG;AACH,eAAO,MAAM,kBAAkB,EAAE,eAA4B,CAAC;AAE9D,MAAM,WAAW,eAAe;IAC9B;;;;OAIG;IACH,IAAI,EAAE,eAAe,CAAC;IACtB;;;;;OAKG;IACH,iBAAiB,EAAE,MAAM,CAAC;IAC1B;;;;OAIG;IACH,YAAY,CAAC,EAAE,OAAO,CAAC;CACxB;AAED;;;;;GAKG;AACH,wBAAsB,cAAc,CAClC,IAAI,EAAE,MAAM,EAAE,EACd,IAAI,EAAE,eAAe,GACpB,OAAO,CAAC,IAAI,CAAC,CAwBf"}

package/dist/audit/cli/stepScaffold.js

@@ -12,19 +12,25 @@
 // CLI VERB in the dispatch table. This is the scaffold those verbs are built
 // from, and it is not dispatchable, so naming it to match that convention would
 // misdescribe it.
-//
-// ⚠ `preferredExecutor` is REQUIRED here, and that is not an oversight to relax
-// casually. It is a MODE SWITCH, not a choice of runner: a forced executor makes
-// `advanceAudit` run exactly one step and bypass the shared engine entirely,
-// while its absence runs the PRIORITY scan and drains the deterministic
-// frontier. So this scaffold serves single-action commands ONLY. `cmdPlan` takes
-// no `preferredExecutor` and therefore CANNOT adopt this as written — giving it
-// one to satisfy the field would silently convert the plan draw into a single
-// forced dispatch. Making the field optional is a real option, but it widens
-// this contract to two modes and belongs in its own change.
 import { runAuditStep } from "./auditStep.js";
 import { getArtifactsDir, getRootDir, warnIfNotGitRepo } from "./args.js";
 import { outputJson } from "./cliHelpers.js";
+/**
+ * The mode THIS scaffold implements, stated once.
+ *
+ * The scaffold hard-codes `executor`: a spec that asks for any other mode is
+ * refused at the boundary. That refusal is the point. `cmdPlan` is the drain
+ * draw — it takes no `preferredExecutor` precisely because supplying one would
+ * silently convert the plan draw into a single forced dispatch — and the way it
+ * stays out is that adopting this scaffold would require writing
+ * `mode: "drain"`, which throws here naming the command's real shape. Before
+ * this field existed, `cmdPlan` could not adopt the scaffold at all (the
+ * required `preferredExecutor` was the only obstacle), and the day someone
+ * relaxed that field to optional is the day the plan draw would have become a
+ * forced dispatch with nothing red: the CLI suites pin only that each module
+ * exports a function of that name.
+ */
+export const STEP_SCAFFOLD_MODE = "executor";
 /**
  * Run one forced-executor audit step and print its envelope.
  *
@@ -32,6 +38,14 @@ import { outputJson } from "./cliHelpers.js";
  * every adopter — the shape all three hand-rolled copies already emitted.
  */
 export async function runStepCommand(argv, spec) {
+    if (spec.mode !== STEP_SCAFFOLD_MODE) {
+        throw new Error(`The step-command scaffold serves mode "${STEP_SCAFFOLD_MODE}" only, but this ` +
+            `command asked for "${spec.mode}". A "${spec.mode}" draw is NOT a single forced ` +
+            `dispatch: it runs the PRIORITY scan and drains the deterministic frontier, ` +
+            `stopping at the first boundary that needs host work. Express that mode in the ` +
+            `command's own contract or leave the command bespoke — never reach it by ` +
+            `supplying an executor id it does not have.`);
+    }
     const root = getRootDir(argv);
     if (spec.warnIfNotGit)
         warnIfNotGitRepo(root);

package/dist/audit/cli/stepScaffold.js.map

@@ -1 +1 @@
-{"version":3,"file":"stepScaffold.js","sourceRoot":"","sources":["../../../src/audit/cli/stepScaffold.ts"],"names":[],"mappings":"AAAA,6EAA6E;AAC7E,+EAA+E;AAC/E,2EAA2E;AAC3E,kBAAkB;AAClB,EAAE;AACF,0EAA0E;AAC1E,mEAAmE;AACnE,+EAA+E;AAC/E,iDAAiD;AACjD,EAAE;AACF,gFAAgF;AAChF,6EAA6E;AAC7E,gFAAgF;AAChF,kBAAkB;AAClB,EAAE;AACF,gFAAgF;AAChF,iFAAiF;AACjF,6EAA6E;AAC7E,wEAAwE;AACxE,iFAAiF;AACjF,gFAAgF;AAChF,8EAA8E;AAC9E,6EAA6E;AAC7E,4DAA4D;AAC5D,OAAO,EAAE,YAAY,EAAE,MAAM,gBAAgB,CAAC;AAC9C,OAAO,EAAE,eAAe,EAAE,UAAU,EAAE,gBAAgB,EAAE,MAAM,WAAW,CAAC;AAC1E,OAAO,EAAE,UAAU,EAAE,MAAM,iBAAiB,CAAC;AAgB7C;;;;;GAKG;AACH,MAAM,CAAC,KAAK,UAAU,cAAc,CAClC,IAAc,EACd,IAAqB;IAErB,MAAM,IAAI,GAAG,UAAU,CAAC,IAAI,CAAC,CAAC;IAC9B,IAAI,IAAI,CAAC,YAAY;QAAE,gBAAgB,CAAC,IAAI,CAAC,CAAC;IAC9C,MAAM,YAAY,GAAG,eAAe,CAAC,IAAI,CAAC,CAAC;IAC3C,MAAM,MAAM,GAAG,MAAM,YAAY,CAAC;QAChC,IAAI;QACJ,YAAY;QACZ,iBAAiB,EAAE,IAAI,CAAC,iBAAiB;KAC1C,CAAC,CAAC;IACH,UAAU,CAAC;QACT,aAAa,EAAE,YAAY;QAC3B,iBAAiB,EAAE,MAAM,CAAC,iBAAiB;QAC3C,gBAAgB,EAAE,MAAM,CAAC,gBAAgB;KAC1C,CAAC,CAAC;AACL,CAAC"}
+{"version":3,"file":"stepScaffold.js","sourceRoot":"","sources":["../../../src/audit/cli/stepScaffold.ts"],"names":[],"mappings":"AAAA,6EAA6E;AAC7E,+EAA+E;AAC/E,2EAA2E;AAC3E,kBAAkB;AAClB,EAAE;AACF,0EAA0E;AAC1E,mEAAmE;AACnE,+EAA+E;AAC/E,iDAAiD;AACjD,EAAE;AACF,gFAAgF;AAChF,6EAA6E;AAC7E,gFAAgF;AAChF,kBAAkB;AAClB,OAAO,EAAE,YAAY,EAAE,MAAM,gBAAgB,CAAC;AAC9C,OAAO,EAAE,eAAe,EAAE,UAAU,EAAE,gBAAgB,EAAE,MAAM,WAAW,CAAC;AAC1E,OAAO,EAAE,UAAU,EAAE,MAAM,iBAAiB,CAAC;AAoB7C;;;;;;;;;;;;;;GAcG;AACH,MAAM,CAAC,MAAM,kBAAkB,GAAoB,UAAU,CAAC;AAwB9D;;;;;GAKG;AACH,MAAM,CAAC,KAAK,UAAU,cAAc,CAClC,IAAc,EACd,IAAqB;IAErB,IAAI,IAAI,CAAC,IAAI,KAAK,kBAAkB,EAAE,CAAC;QACrC,MAAM,IAAI,KAAK,CACb,0CAA0C,kBAAkB,mBAAmB;YAC7E,sBAAsB,IAAI,CAAC,IAAI,SAAS,IAAI,CAAC,IAAI,gCAAgC;YACjF,6EAA6E;YAC7E,gFAAgF;YAChF,0EAA0E;YAC1E,4CAA4C,CAC/C,CAAC;IACJ,CAAC;IACD,MAAM,IAAI,GAAG,UAAU,CAAC,IAAI,CAAC,CAAC;IAC9B,IAAI,IAAI,CAAC,YAAY;QAAE,gBAAgB,CAAC,IAAI,CAAC,CAAC;IAC9C,MAAM,YAAY,GAAG,eAAe,CAAC,IAAI,CAAC,CAAC;IAC3C,MAAM,MAAM,GAAG,MAAM,YAAY,CAAC;QAChC,IAAI;QACJ,YAAY;QACZ,iBAAiB,EAAE,IAAI,CAAC,iBAAiB;KAC1C,CAAC,CAAC;IACH,UAAU,CAAC;QACT,aAAa,EAAE,YAAY;QAC3B,iBAAiB,EAAE,MAAM,CAAC,iBAAiB;QAC3C,gBAAgB,EAAE,MAAM,CAAC,gBAAgB;KAC1C,CAAC,CAAC;AACL,CAAC"}

package/dist/audit/cli/steps.d.ts

@@ -2,7 +2,7 @@ import { z } from "zod";
 import type { AccessDeclaration, StepStatus } from "audit-tools/shared";
 import { type LaneSubmissionShortfall } from "./laneSubmissions.js";
 export declare const STEP_CONTRACT_VERSION = "audit-code-step/v1alpha1";
-export declare const StepKindSchema: z.ZodEnum<["dispatch_review", "design_review", "design_review_parallel", "design_review_contract", "design_review_conceptual", "charter_extraction", "charter_delta", "charter_clarification", "systemic_challenge", "confirm_intent", "intent_equivalence", "analyzer_install", "analyzer_consent", "edge_reasoning_dispatch", "critical_flow_fallback", "synthesis_narrative", "present_report", "blocked"]>;
+export declare const StepKindSchema: z.ZodEnum<["dispatch_review", "design_review", "design_review_parallel", "design_review_contract", "design_review_conceptual", "charter_extraction", "charter_comparison", "charter_fidelity", "charter_clarification", "systemic_challenge", "confirm_intent", "intent_equivalence", "analyzer_install", "analyzer_consent", "edge_reasoning_dispatch", "critical_flow_fallback", "synthesis_narrative", "present_report", "blocked"]>;
 export type StepKind = z.infer<typeof StepKindSchema>;
 /**
  * Lightweight run-level orientation surfaced in the step contract so a host
@@ -54,10 +54,24 @@ export declare const StepProgressSchema: z.ZodObject<{
 export type StepProgress = z.infer<typeof StepProgressSchema>;
 export declare const StepArtifactSchema: z.ZodObject<{
     contract_version: z.ZodLiteral<"audit-code-step/v1alpha1">;
-    step_kind: z.ZodEnum<["dispatch_review", "design_review", "design_review_parallel", "design_review_contract", "design_review_conceptual", "charter_extraction", "charter_delta", "charter_clarification", "systemic_challenge", "confirm_intent", "intent_equivalence", "analyzer_install", "analyzer_consent", "edge_reasoning_dispatch", "critical_flow_fallback", "synthesis_narrative", "present_report", "blocked"]>;
+    step_kind: z.ZodEnum<["dispatch_review", "design_review", "design_review_parallel", "design_review_contract", "design_review_conceptual", "charter_extraction", "charter_comparison", "charter_fidelity", "charter_clarification", "systemic_challenge", "confirm_intent", "intent_equivalence", "analyzer_install", "analyzer_consent", "edge_reasoning_dispatch", "critical_flow_fallback", "synthesis_narrative", "present_report", "blocked"]>;
     prompt_path: z.ZodString;
     status: z.ZodEnum<["ready", "blocked", "complete"]>;
     run_id: z.ZodNullable<z.ZodString>;
+    /**
+     * The per-process agent id `writeStepContract` stamps on every step it
+     * writes — the owner of the `steps/<agentId>/` slot the step's canonical
+     * `prompt_path` points into.
+     *
+     * NAMED HERE because the schema is `.strict()`: the writer stamped it and
+     * this list omitted it, so the contract the tool WRITES was rejected by the
+     * schema the tool declares for reading it. The strictness is right and the
+     * omission was the bug — a reader must not be able to loosen `.strict()`
+     * away, because that is the property catching every future such drift.
+     * Optional for a HAND-BUILT fixture that predates the per-agent slot; the
+     * writer always supplies it.
+     */
+    agent_id: z.ZodOptional<z.ZodString>;
     /** Run-level orientation; omitted for steps that have no meaningful summary. */
     progress: z.ZodOptional<z.ZodObject<{
         /** One-line, human-readable summary safe to show a resuming host. */
@@ -104,13 +118,6 @@ export declare const StepArtifactSchema: z.ZodObject<{
     }>>;
     /** Shell commands the host may run for this step. */
     allowed_commands: z.ZodArray<z.ZodString, "many">;
-    /**
-     * MCP tool names equivalent to `allowed_commands`, for hosts driving the
-     * backend through the MCP adapter. Omitted when the step has no MCP
-     * equivalents, so a shell host never has to guess which list entries are
-     * tool names versus runnable commands.
-     */
-    allowed_mcp_tools: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
     stop_condition: z.ZodString;
     repo_root: z.ZodString;
     artifacts_dir: z.ZodString;
@@ -145,47 +152,47 @@ export declare const StepArtifactSchema: z.ZodObject<{
             message: z.ZodString;
         }, "strict", z.ZodTypeAny, {
             message: string;
-            submission_path: string;
-            submission_id: string;
             lane: string;
+            submission_id: string;
             issue_code: string;
+            submission_path: string;
         }, {
             message: string;
-            submission_path: string;
-            submission_id: string;
             lane: string;
+            submission_id: string;
             issue_code: string;
+            submission_path: string;
         }>, "many">;
     }, "strict", z.ZodTypeAny, {
         expected: number;
         accepted: number;
         outstanding: {
             message: string;
-            submission_path: string;
-            submission_id: string;
             lane: string;
+            submission_id: string;
             issue_code: string;
+            submission_path: string;
         }[];
     }, {
         expected: number;
         accepted: number;
         outstanding: {
             message: string;
-            submission_path: string;
-            submission_id: string;
             lane: string;
+            submission_id: string;
             issue_code: string;
+            submission_path: string;
         }[];
     }>>;
 }, "strict", z.ZodTypeAny, {
     status: "blocked" | "ready" | "complete";
-    contract_version: "audit-code-step/v1alpha1";
     run_id: string | null;
+    contract_version: "audit-code-step/v1alpha1";
     prompt_path: string;
     repo_root: string;
     artifacts_dir: string;
     artifact_paths: Record<string, string | null>;
-    step_kind: "blocked" | "design_review" | "charter_clarification" | "analyzer_consent" | "systemic_challenge" | "critical_flow_fallback" | "synthesis_narrative" | "design_review_contract" | "design_review_conceptual" | "intent_equivalence" | "charter_delta" | "dispatch_review" | "design_review_parallel" | "charter_extraction" | "confirm_intent" | "analyzer_install" | "edge_reasoning_dispatch" | "present_report";
+    step_kind: "design_review" | "charter_clarification" | "blocked" | "analyzer_consent" | "systemic_challenge" | "critical_flow_fallback" | "synthesis_narrative" | "design_review_contract" | "design_review_conceptual" | "intent_equivalence" | "charter_comparison" | "charter_fidelity" | "dispatch_review" | "design_review_parallel" | "charter_extraction" | "confirm_intent" | "analyzer_install" | "edge_reasoning_dispatch" | "present_report";
     allowed_commands: string[];
     stop_condition: string;
     progress?: {
@@ -199,7 +206,7 @@ export declare const StepArtifactSchema: z.ZodObject<{
         confirmation_recommended?: boolean | undefined;
         dispatch_summary?: string | undefined;
     } | undefined;
-    allowed_mcp_tools?: string[] | undefined;
+    agent_id?: string | undefined;
     access?: {
         read_paths: string[];
         write_paths: string[];
@@ -210,21 +217,21 @@ export declare const StepArtifactSchema: z.ZodObject<{
         accepted: number;
         outstanding: {
             message: string;
-            submission_path: string;
-            submission_id: string;
             lane: string;
+            submission_id: string;
             issue_code: string;
+            submission_path: string;
         }[];
     } | undefined;
 }, {
     status: "blocked" | "ready" | "complete";
-    contract_version: "audit-code-step/v1alpha1";
     run_id: string | null;
+    contract_version: "audit-code-step/v1alpha1";
     prompt_path: string;
     repo_root: string;
     artifacts_dir: string;
     artifact_paths: Record<string, string | null>;
-    step_kind: "blocked" | "design_review" | "charter_clarification" | "analyzer_consent" | "systemic_challenge" | "critical_flow_fallback" | "synthesis_narrative" | "design_review_contract" | "design_review_conceptual" | "intent_equivalence" | "charter_delta" | "dispatch_review" | "design_review_parallel" | "charter_extraction" | "confirm_intent" | "analyzer_install" | "edge_reasoning_dispatch" | "present_report";
+    step_kind: "design_review" | "charter_clarification" | "blocked" | "analyzer_consent" | "systemic_challenge" | "critical_flow_fallback" | "synthesis_narrative" | "design_review_contract" | "design_review_conceptual" | "intent_equivalence" | "charter_comparison" | "charter_fidelity" | "dispatch_review" | "design_review_parallel" | "charter_extraction" | "confirm_intent" | "analyzer_install" | "edge_reasoning_dispatch" | "present_report";
     allowed_commands: string[];
     stop_condition: string;
     progress?: {
@@ -238,7 +245,7 @@ export declare const StepArtifactSchema: z.ZodObject<{
         confirmation_recommended?: boolean | undefined;
         dispatch_summary?: string | undefined;
     } | undefined;
-    allowed_mcp_tools?: string[] | undefined;
+    agent_id?: string | undefined;
     access?: {
         read_paths: string[];
         write_paths: string[];
@@ -249,10 +256,10 @@ export declare const StepArtifactSchema: z.ZodObject<{
         accepted: number;
         outstanding: {
             message: string;
-            submission_path: string;
-            submission_id: string;
             lane: string;
+            submission_id: string;
             issue_code: string;
+            submission_path: string;
         }[];
     } | undefined;
 }>;
@@ -265,7 +272,7 @@ export type StepArtifact = z.infer<typeof StepArtifactSchema>;
  * writer to shared is what fixed audit-code's Windows path-separator drift: it
  * previously wrote `prompt_path` / `repo_root` / `artifacts_dir` /
  * `artifact_paths` with raw backslashes, while remediate-code normalized them.
- * Audit's optional fields (progress, allowed_mcp_tools, access) ride through
+ * Audit's optional fields (progress, access) ride through
  * `extraFields` with the same conditional-omission semantics as before.
  */
 /**
@@ -278,13 +285,29 @@ export type StepArtifact = z.infer<typeof StepArtifactSchema>;
  * Lenient: no/malformed summary file → no line.
  */
 export declare function scopeEchoLine(artifactsDir: string): string | null;
+/**
+ * The reserved `artifact_paths` key carrying the run's agent-reflection file
+ * (`<artifactsDir>/agent-feedback.jsonl`, append-only NDJSON).
+ *
+ * WHY IT IS ON THE STEP. The loader prompt asks the host to append reflections
+ * (and requires one for a degraded quick/shallow run), but a host can only do
+ * that if it knows WHICH FILE. `parseReflectionsNdjson` reports a malformed line
+ * inside a file it FOUND; it returns an empty list, silently, when the file is
+ * absent — so a host that guessed a different filename produced no reflection,
+ * no error, and a quietly thinner audit report. Handing the path over on the
+ * contract is what makes the filename something the tool SUPPLIES rather than
+ * something a host must reproduce from prose (auditor-agnostic robustness).
+ *
+ * Set HERE, in the one funnel every audit step emission goes through, so no
+ * step kind can be added that forgets it.
+ */
+export declare const AGENT_FEEDBACK_ARTIFACT_KEY = "agent_feedback";
 export declare function writeCurrentStep(params: {
     artifactsDir: string;
     stepKind: StepKind;
     status: StepStatus;
     runId: string | null;
     allowedCommands: string[];
-    allowedMcpTools?: string[];
     progress?: StepProgress;
     stopCondition: string;
     repoRoot: string;

package/dist/audit/cli/steps.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"steps.d.ts","sourceRoot":"","sources":["../../../src/audit/cli/steps.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAQxB,OAAO,KAAK,EAAE,iBAAiB,EAAE,UAAU,EAAE,MAAM,oBAAoB,CAAC;AACxE,OAAO,EAEL,KAAK,uBAAuB,EAC7B,MAAM,sBAAsB,CAAC;AAE9B,eAAO,MAAM,qBAAqB,6BAA6B,CAAC;AAEhE,eAAO,MAAM,cAAc,gZAmBzB,CAAC;AACH,MAAM,MAAM,QAAQ,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,cAAc,CAAC,CAAC;AAEtD;;;GAGG;AACH,eAAO,MAAM,kBAAkB;IAE3B,qEAAqE;;IAErE,0EAA0E;;IAE1E,kDAAkD;;IAElD,uEAAuE;;IAEvE,6EAA6E;;IAE7E,iEAAiE;;IAEjE,6DAA6D;;IAE7D;;;OAGG;;IAEH,oFAAoF;;;;;;;;;;;;;;;;;;;;;;EAG7E,CAAC;AACZ,MAAM,MAAM,YAAY,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,kBAAkB,CAAC,CAAC;AAE9D,eAAO,MAAM,kBAAkB;;;;;;IAO3B,gFAAgF;;QAhChF,qEAAqE;;QAErE,0EAA0E;;QAE1E,kDAAkD;;QAElD,uEAAuE;;QAEvE,6EAA6E;;QAE7E,iEAAiE;;QAEjE,6DAA6D;;QAE7D;;;WAGG;;QAEH,oFAAoF;;;;;;;;;;;;;;;;;;;;;;;IAepF,qDAAqD;;IAErD;;;;;OAKG;;;;;;;;;;;;;;;;;;;IAOH;;;;;OAKG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAGI,CAAC;AACZ,MAAM,MAAM,YAAY,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,kBAAkB,CAAC,CAAC;AAE9D;;;;;;;;;;GAUG;AACH;;;;;;;;GAQG;AACH,wBAAgB,aAAa,CAAC,YAAY,EAAE,MAAM,GAAG,MAAM,GAAG,IAAI,CAiBjE;AAED,wBAAsB,gBAAgB,CAAC,MAAM,EAAE;IAC7C,YAAY,EAAE,MAAM,CAAC;IACrB,QAAQ,EAAE,QAAQ,CAAC;IACnB,MAAM,EAAE,UAAU,CAAC;IACnB,KAAK,EAAE,MAAM,GAAG,IAAI,CAAC;IACrB,eAAe,EAAE,MAAM,EAAE,CAAC;IAC1B,eAAe,CAAC,EAAE,MAAM,EAAE,CAAC;IAC3B,QAAQ,CAAC,EAAE,YAAY,CAAC;IACxB,aAAa,EAAE,MAAM,CAAC;IACtB,QAAQ,EAAE,MAAM,CAAC;IACjB,aAAa,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,GAAG,IAAI,CAAC,CAAC;IAC7C,MAAM,EAAE,MAAM,CAAC;IACf,MAAM,CAAC,EAAE,iBAAiB,CAAC;IAC3B,mBAAmB,CAAC,EAAE,uBAAuB,CAAC;CAC/C,GAAG,OAAO,CAAC,YAAY,CAAC,CA6BxB"}
+{"version":3,"file":"steps.d.ts","sourceRoot":"","sources":["../../../src/audit/cli/steps.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AASxB,OAAO,KAAK,EAAE,iBAAiB,EAAE,UAAU,EAAE,MAAM,oBAAoB,CAAC;AACxE,OAAO,EAEL,KAAK,uBAAuB,EAC7B,MAAM,sBAAsB,CAAC;AAE9B,eAAO,MAAM,qBAAqB,6BAA6B,CAAC;AAEhE,eAAO,MAAM,cAAc,yaAoBzB,CAAC;AACH,MAAM,MAAM,QAAQ,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,cAAc,CAAC,CAAC;AAEtD;;;GAGG;AACH,eAAO,MAAM,kBAAkB;IAE3B,qEAAqE;;IAErE,0EAA0E;;IAE1E,kDAAkD;;IAElD,uEAAuE;;IAEvE,6EAA6E;;IAE7E,iEAAiE;;IAEjE,6DAA6D;;IAE7D;;;OAGG;;IAEH,oFAAoF;;;;;;;;;;;;;;;;;;;;;;EAG7E,CAAC;AACZ,MAAM,MAAM,YAAY,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,kBAAkB,CAAC,CAAC;AAE9D,eAAO,MAAM,kBAAkB;;;;;;IAO3B;;;;;;;;;;;;OAYG;;IAEH,gFAAgF;;QA9ChF,qEAAqE;;QAErE,0EAA0E;;QAE1E,kDAAkD;;QAElD,uEAAuE;;QAEvE,6EAA6E;;QAE7E,iEAAiE;;QAEjE,6DAA6D;;QAE7D;;;WAGG;;QAEH,oFAAoF;;;;;;;;;;;;;;;;;;;;;;;IA6BpF,qDAAqD;;;;;;;;;;;;;;;;;;;IAOrD;;;;;OAKG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAGI,CAAC;AACZ,MAAM,MAAM,YAAY,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,kBAAkB,CAAC,CAAC;AAE9D;;;;;;;;;;GAUG;AACH;;;;;;;;GAQG;AACH,wBAAgB,aAAa,CAAC,YAAY,EAAE,MAAM,GAAG,MAAM,GAAG,IAAI,CAiBjE;AAED;;;;;;;;;;;;;;;GAeG;AACH,eAAO,MAAM,2BAA2B,mBAAmB,CAAC;AAE5D,wBAAsB,gBAAgB,CAAC,MAAM,EAAE;IAC7C,YAAY,EAAE,MAAM,CAAC;IACrB,QAAQ,EAAE,QAAQ,CAAC;IACnB,MAAM,EAAE,UAAU,CAAC;IACnB,KAAK,EAAE,MAAM,GAAG,IAAI,CAAC;IACrB,eAAe,EAAE,MAAM,EAAE,CAAC;IAC1B,QAAQ,CAAC,EAAE,YAAY,CAAC;IACxB,aAAa,EAAE,MAAM,CAAC;IACtB,QAAQ,EAAE,MAAM,CAAC;IACjB,aAAa,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,GAAG,IAAI,CAAC,CAAC;IAC7C,MAAM,EAAE,MAAM,CAAC;IACf,MAAM,CAAC,EAAE,iBAAiB,CAAC;IAC3B,mBAAmB,CAAC,EAAE,uBAAuB,CAAC;CAC/C,GAAG,OAAO,CAAC,YAAY,CAAC,CAoCxB"}

package/dist/audit/cli/steps.js

@@ -1,7 +1,8 @@
+// sites-pinned: tests/audit/next-step-helpers.test.ts, tests/audit/charter-emit-order.test.ts, tests/audit/executor-registry-sync.test.ts, tests/audit/pipeline-integration.test.ts
 import { z } from "zod";
 import { readFileSync } from "node:fs";
 import { join } from "node:path";
-import { writeStepContract, StepStatusSchema, AccessDeclarationSchema, } from "audit-tools/shared";
+import { writeStepContract, StepStatusSchema, AccessDeclarationSchema, AGENT_FEEDBACK_FILENAME, } from "audit-tools/shared";
 import { LaneSubmissionShortfallSchema, } from "./laneSubmissions.js";
 export const STEP_CONTRACT_VERSION = "audit-code-step/v1alpha1";
 export const StepKindSchema = z.enum([
@@ -11,7 +12,8 @@ export const StepKindSchema = z.enum([
     "design_review_contract",
     "design_review_conceptual",
     "charter_extraction",
-    "charter_delta",
+    "charter_comparison",
+    "charter_fidelity",
     "charter_clarification",
     "systemic_challenge",
     "confirm_intent",
@@ -60,17 +62,24 @@ export const StepArtifactSchema = z
     prompt_path: z.string(),
     status: StepStatusSchema,
     run_id: z.string().nullable(),
+    /**
+     * The per-process agent id `writeStepContract` stamps on every step it
+     * writes — the owner of the `steps/<agentId>/` slot the step's canonical
+     * `prompt_path` points into.
+     *
+     * NAMED HERE because the schema is `.strict()`: the writer stamped it and
+     * this list omitted it, so the contract the tool WRITES was rejected by the
+     * schema the tool declares for reading it. The strictness is right and the
+     * omission was the bug — a reader must not be able to loosen `.strict()`
+     * away, because that is the property catching every future such drift.
+     * Optional for a HAND-BUILT fixture that predates the per-agent slot; the
+     * writer always supplies it.
+     */
+    agent_id: z.string().optional(),
     /** Run-level orientation; omitted for steps that have no meaningful summary. */
     progress: StepProgressSchema.optional(),
     /** Shell commands the host may run for this step. */
     allowed_commands: z.array(z.string()),
-    /**
-     * MCP tool names equivalent to `allowed_commands`, for hosts driving the
-     * backend through the MCP adapter. Omitted when the step has no MCP
-     * equivalents, so a shell host never has to guess which list entries are
-     * tool names versus runnable commands.
-     */
-    allowed_mcp_tools: z.array(z.string()).optional(),
     stop_condition: z.string(),
     repo_root: z.string(),
     artifacts_dir: z.string(),
@@ -93,7 +102,7 @@ export const StepArtifactSchema = z
  * writer to shared is what fixed audit-code's Windows path-separator drift: it
  * previously wrote `prompt_path` / `repo_root` / `artifacts_dir` /
  * `artifact_paths` with raw backslashes, while remediate-code normalized them.
- * Audit's optional fields (progress, allowed_mcp_tools, access) ride through
+ * Audit's optional fields (progress, access) ride through
  * `extraFields` with the same conditional-omission semantics as before.
  */
 /**
@@ -119,6 +128,23 @@ export function scopeEchoLine(artifactsDir) {
         return null;
     }
 }
+/**
+ * The reserved `artifact_paths` key carrying the run's agent-reflection file
+ * (`<artifactsDir>/agent-feedback.jsonl`, append-only NDJSON).
+ *
+ * WHY IT IS ON THE STEP. The loader prompt asks the host to append reflections
+ * (and requires one for a degraded quick/shallow run), but a host can only do
+ * that if it knows WHICH FILE. `parseReflectionsNdjson` reports a malformed line
+ * inside a file it FOUND; it returns an empty list, silently, when the file is
+ * absent — so a host that guessed a different filename produced no reflection,
+ * no error, and a quietly thinner audit report. Handing the path over on the
+ * contract is what makes the filename something the tool SUPPLIES rather than
+ * something a host must reproduce from prose (auditor-agnostic robustness).
+ *
+ * Set HERE, in the one funnel every audit step emission goes through, so no
+ * step kind can be added that forgets it.
+ */
+export const AGENT_FEEDBACK_ARTIFACT_KEY = "agent_feedback";
 export async function writeCurrentStep(params) {
     const echo = scopeEchoLine(params.artifactsDir);
     return writeStepContract({
@@ -131,14 +157,18 @@ export async function writeCurrentStep(params) {
         repoRoot: params.repoRoot,
         artifactsDir: params.artifactsDir,
         prompt: echo ? `${echo}\n\n${params.prompt}` : params.prompt,
-        artifactPaths: params.artifactPaths,
+        artifactPaths: {
+            ...params.artifactPaths,
+            // The canonical reflection destination, supplied on EVERY step and
+            // overwriting any caller entry of the same name — a reserved slot, the
+            // same rule as current_step / current_prompt, so no caller can repoint a
+            // host at a file the loader will not read.
+            [AGENT_FEEDBACK_ARTIFACT_KEY]: join(params.artifactsDir, AGENT_FEEDBACK_FILENAME),
+        },
         extraFields: {
             // Optional audit fields keep their conditional-omission semantics; they
             // ride before the canonical path fields so they can never clobber them.
             ...(params.progress ? { progress: params.progress } : {}),
-            ...(params.allowedMcpTools && params.allowedMcpTools.length > 0
-                ? { allowed_mcp_tools: params.allowedMcpTools }
-                : {}),
             ...(params.access ? { access: params.access } : {}),
             // Omitted when nothing is outstanding: a field that is always present
             // reads as noise, while its presence IS the statement.

package/dist/audit/cli/steps.js.map

@@ -1 +1 @@
-{"version":3,"file":"steps.js","sourceRoot":"","sources":["../../../src/audit/cli/steps.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AACxB,OAAO,EAAE,YAAY,EAAE,MAAM,SAAS,CAAC;AACvC,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AACjC,OAAO,EACL,iBAAiB,EACjB,gBAAgB,EAChB,uBAAuB,GACxB,MAAM,oBAAoB,CAAC;AAE5B,OAAO,EACL,6BAA6B,GAE9B,MAAM,sBAAsB,CAAC;AAE9B,MAAM,CAAC,MAAM,qBAAqB,GAAG,0BAA0B,CAAC;AAEhE,MAAM,CAAC,MAAM,cAAc,GAAG,CAAC,CAAC,IAAI,CAAC;IACnC,iBAAiB;IACjB,eAAe;IACf,wBAAwB;IACxB,wBAAwB;IACxB,0BAA0B;IAC1B,oBAAoB;IACpB,eAAe;IACf,uBAAuB;IACvB,oBAAoB;IACpB,gBAAgB;IAChB,oBAAoB;IACpB,kBAAkB;IAClB,kBAAkB;IAClB,yBAAyB;IACzB,wBAAwB;IACxB,qBAAqB;IACrB,gBAAgB;IAChB,SAAS;CACV,CAAC,CAAC;AAGH;;;GAGG;AACH,MAAM,CAAC,MAAM,kBAAkB,GAAG,CAAC;KAChC,MAAM,CAAC;IACN,qEAAqE;IACrE,OAAO,EAAE,CAAC,CAAC,MAAM,EAAE;IACnB,0EAA0E;IAC1E,eAAe,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,QAAQ,EAAE;IAC5C,kDAAkD;IAClD,aAAa,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,QAAQ,EAAE;IAC1C,uEAAuE;IACvE,eAAe,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,QAAQ,EAAE;IAC5C,6EAA6E;IAC7E,aAAa,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,QAAQ,EAAE;IAC1C,iEAAiE;IACjE,YAAY,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,QAAQ,EAAE,CAAC,QAAQ,EAAE;IACpD,6DAA6D;IAC7D,WAAW,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,QAAQ,EAAE;IACxC;;;OAGG;IACH,wBAAwB,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC,QAAQ,EAAE;IAChD,oFAAoF;IACpF,gBAAgB,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;CACxC,CAAC;KACD,MAAM,EAAE,CAAC;AAGZ,MAAM,CAAC,MAAM,kBAAkB,GAAG,CAAC;KAChC,MAAM,CAAC;IACN,gBAAgB,EAAE,CAAC,CAAC,OAAO,CAAC,qBAAqB,CAAC;IAClD,SAAS,EAAE,cAAc;IACzB,WAAW,EAAE,CAAC,CAAC,MAAM,EAAE;IACvB,MAAM,EAAE,gBAAgB;IACxB,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;IAC7B,gFAAgF;IAChF,QAAQ,EAAE,kBAAkB,CAAC,QAAQ,EAAE;IACvC,qDAAqD;IACrD,gBAAgB,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC;IACrC;;;;;OAKG;IACH,iBAAiB,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,QAAQ,EAAE;IACjD,cAAc,EAAE,CAAC,CAAC,MAAM,EAAE;IAC1B,SAAS,EAAE,CAAC,CAAC,MAAM,EAAE;IACrB,aAAa,EAAE,CAAC,CAAC,MAAM,EAAE;IACzB,cAAc,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE,CAAC;IAC3D,MAAM,EAAE,uBAAuB,CAAC,QAAQ,EAAE;IAC1C;;;;;OAKG;IACH,oBAAoB,EAAE,6BAA6B,CAAC,QAAQ,EAAE;CAC/D,CAAC;KACD,MAAM,EAAE,CAAC;AAGZ;;;;;;;;;;GAUG;AACH;;;;;;;;GAQG;AACH,MAAM,UAAU,aAAa,CAAC,YAAoB;IAChD,IAAI,CAAC;QACH,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CACvB,YAAY,CAAC,IAAI,CAAC,YAAY,EAAE,oBAAoB,CAAC,EAAE,MAAM,CAAC,CACqB,CAAC;QACtF,IACE,OAAO,MAAM,CAAC,SAAS,KAAK,QAAQ;YACpC,OAAO,MAAM,CAAC,oBAAoB,KAAK,QAAQ,EAC/C,CAAC;YACD,OAAO,IAAI,CAAC;QACd,CAAC;QACD,MAAM,GAAG,GACP,MAAM,CAAC,aAAa,KAAK,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC,aAAa,KAAK,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC;QAC5F,OAAO,uBAAuB,MAAM,CAAC,SAAS,QAAQ,MAAM,CAAC,oBAAoB,gBAAgB,GAAG,GAAG,CAAC;IAC1G,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,IAAI,CAAC;IACd,CAAC;AACH,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,gBAAgB,CAAC,MActC;IACC,MAAM,IAAI,GAAG,aAAa,CAAC,MAAM,CAAC,YAAY,CAAC,CAAC;IAChD,OAAO,iBAAiB,CAAwC;QAC9D,eAAe,EAAE,qBAAqB;QACtC,QAAQ,EAAE,MAAM,CAAC,QAAQ;QACzB,MAAM,EAAE,MAAM,CAAC,MAAM;QACrB,KAAK,EAAE,MAAM,CAAC,KAAK;QACnB,eAAe,EAAE,MAAM,CAAC,eAAe;QACvC,aAAa,EAAE,MAAM,CAAC,aAAa;QACnC,QAAQ,EAAE,MAAM,CAAC,QAAQ;QACzB,YAAY,EAAE,MAAM,CAAC,YAAY;QACjC,MAAM,EAAE,IAAI,CAAC,CAAC,CAAC,GAAG,IAAI,OAAO,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,MAAM;QAC5D,aAAa,EAAE,MAAM,CAAC,aAAa;QACnC,WAAW,EAAE;YACX,wEAAwE;YACxE,wEAAwE;YACxE,GAAG,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,MAAM,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YACzD,GAAG,CAAC,MAAM,CAAC,eAAe,IAAI,MAAM,CAAC,eAAe,CAAC,MAAM,GAAG,CAAC;gBAC7D,CAAC,CAAC,EAAE,iBAAiB,EAAE,MAAM,CAAC,eAAe,EAAE;gBAC/C,CAAC,CAAC,EAAE,CAAC;YACP,GAAG,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YACnD,sEAAsE;YACtE,uDAAuD;YACvD,GAAG,CAAC,MAAM,CAAC,mBAAmB;gBAC9B,MAAM,CAAC,mBAAmB,CAAC,WAAW,CAAC,MAAM,GAAG,CAAC;gBAC/C,CAAC,CAAC,EAAE,oBAAoB,EAAE,MAAM,CAAC,mBAAmB,EAAE;gBACtD,CAAC,CAAC,EAAE,CAAC;SACR;KACF,CAAC,CAAC;AACL,CAAC"}
+{"version":3,"file":"steps.js","sourceRoot":"","sources":["../../../src/audit/cli/steps.ts"],"names":[],"mappings":"AAAA,oLAAoL;AACpL,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AACxB,OAAO,EAAE,YAAY,EAAE,MAAM,SAAS,CAAC;AACvC,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AACjC,OAAO,EACL,iBAAiB,EACjB,gBAAgB,EAChB,uBAAuB,EACvB,uBAAuB,GACxB,MAAM,oBAAoB,CAAC;AAE5B,OAAO,EACL,6BAA6B,GAE9B,MAAM,sBAAsB,CAAC;AAE9B,MAAM,CAAC,MAAM,qBAAqB,GAAG,0BAA0B,CAAC;AAEhE,MAAM,CAAC,MAAM,cAAc,GAAG,CAAC,CAAC,IAAI,CAAC;IACnC,iBAAiB;IACjB,eAAe;IACf,wBAAwB;IACxB,wBAAwB;IACxB,0BAA0B;IAC1B,oBAAoB;IACpB,oBAAoB;IACpB,kBAAkB;IAClB,uBAAuB;IACvB,oBAAoB;IACpB,gBAAgB;IAChB,oBAAoB;IACpB,kBAAkB;IAClB,kBAAkB;IAClB,yBAAyB;IACzB,wBAAwB;IACxB,qBAAqB;IACrB,gBAAgB;IAChB,SAAS;CACV,CAAC,CAAC;AAGH;;;GAGG;AACH,MAAM,CAAC,MAAM,kBAAkB,GAAG,CAAC;KAChC,MAAM,CAAC;IACN,qEAAqE;IACrE,OAAO,EAAE,CAAC,CAAC,MAAM,EAAE;IACnB,0EAA0E;IAC1E,eAAe,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,QAAQ,EAAE;IAC5C,kDAAkD;IAClD,aAAa,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,QAAQ,EAAE;IAC1C,uEAAuE;IACvE,eAAe,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,QAAQ,EAAE;IAC5C,6EAA6E;IAC7E,aAAa,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,QAAQ,EAAE;IAC1C,iEAAiE;IACjE,YAAY,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,QAAQ,EAAE,CAAC,QAAQ,EAAE;IACpD,6DAA6D;IAC7D,WAAW,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,QAAQ,EAAE;IACxC;;;OAGG;IACH,wBAAwB,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC,QAAQ,EAAE;IAChD,oFAAoF;IACpF,gBAAgB,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;CACxC,CAAC;KACD,MAAM,EAAE,CAAC;AAGZ,MAAM,CAAC,MAAM,kBAAkB,GAAG,CAAC;KAChC,MAAM,CAAC;IACN,gBAAgB,EAAE,CAAC,CAAC,OAAO,CAAC,qBAAqB,CAAC;IAClD,SAAS,EAAE,cAAc;IACzB,WAAW,EAAE,CAAC,CAAC,MAAM,EAAE;IACvB,MAAM,EAAE,gBAAgB;IACxB,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;IAC7B;;;;;;;;;;;;OAYG;IACH,QAAQ,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;IAC/B,gFAAgF;IAChF,QAAQ,EAAE,kBAAkB,CAAC,QAAQ,EAAE;IACvC,qDAAqD;IACrD,gBAAgB,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC;IACrC,cAAc,EAAE,CAAC,CAAC,MAAM,EAAE;IAC1B,SAAS,EAAE,CAAC,CAAC,MAAM,EAAE;IACrB,aAAa,EAAE,CAAC,CAAC,MAAM,EAAE;IACzB,cAAc,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE,CAAC;IAC3D,MAAM,EAAE,uBAAuB,CAAC,QAAQ,EAAE;IAC1C;;;;;OAKG;IACH,oBAAoB,EAAE,6BAA6B,CAAC,QAAQ,EAAE;CAC/D,CAAC;KACD,MAAM,EAAE,CAAC;AAGZ;;;;;;;;;;GAUG;AACH;;;;;;;;GAQG;AACH,MAAM,UAAU,aAAa,CAAC,YAAoB;IAChD,IAAI,CAAC;QACH,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CACvB,YAAY,CAAC,IAAI,CAAC,YAAY,EAAE,oBAAoB,CAAC,EAAE,MAAM,CAAC,CACqB,CAAC;QACtF,IACE,OAAO,MAAM,CAAC,SAAS,KAAK,QAAQ;YACpC,OAAO,MAAM,CAAC,oBAAoB,KAAK,QAAQ,EAC/C,CAAC;YACD,OAAO,IAAI,CAAC;QACd,CAAC;QACD,MAAM,GAAG,GACP,MAAM,CAAC,aAAa,KAAK,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC,aAAa,KAAK,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC;QAC5F,OAAO,uBAAuB,MAAM,CAAC,SAAS,QAAQ,MAAM,CAAC,oBAAoB,gBAAgB,GAAG,GAAG,CAAC;IAC1G,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,IAAI,CAAC;IACd,CAAC;AACH,CAAC;AAED;;;;;;;;;;;;;;;GAeG;AACH,MAAM,CAAC,MAAM,2BAA2B,GAAG,gBAAgB,CAAC;AAE5D,MAAM,CAAC,KAAK,UAAU,gBAAgB,CAAC,MAatC;IACC,MAAM,IAAI,GAAG,aAAa,CAAC,MAAM,CAAC,YAAY,CAAC,CAAC;IAChD,OAAO,iBAAiB,CAAwC;QAC9D,eAAe,EAAE,qBAAqB;QACtC,QAAQ,EAAE,MAAM,CAAC,QAAQ;QACzB,MAAM,EAAE,MAAM,CAAC,MAAM;QACrB,KAAK,EAAE,MAAM,CAAC,KAAK;QACnB,eAAe,EAAE,MAAM,CAAC,eAAe;QACvC,aAAa,EAAE,MAAM,CAAC,aAAa;QACnC,QAAQ,EAAE,MAAM,CAAC,QAAQ;QACzB,YAAY,EAAE,MAAM,CAAC,YAAY;QACjC,MAAM,EAAE,IAAI,CAAC,CAAC,CAAC,GAAG,IAAI,OAAO,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,MAAM;QAC5D,aAAa,EAAE;YACb,GAAG,MAAM,CAAC,aAAa;YACvB,mEAAmE;YACnE,uEAAuE;YACvE,yEAAyE;YACzE,2CAA2C;YAC3C,CAAC,2BAA2B,CAAC,EAAE,IAAI,CACjC,MAAM,CAAC,YAAY,EACnB,uBAAuB,CACxB;SACF;QACD,WAAW,EAAE;YACX,wEAAwE;YACxE,wEAAwE;YACxE,GAAG,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,MAAM,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YACzD,GAAG,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YACnD,sEAAsE;YACtE,uDAAuD;YACvD,GAAG,CAAC,MAAM,CAAC,mBAAmB;gBAC9B,MAAM,CAAC,mBAAmB,CAAC,WAAW,CAAC,MAAM,GAAG,CAAC;gBAC/C,CAAC,CAAC,EAAE,oBAAoB,EAAE,MAAM,CAAC,mBAAmB,EAAE;gBACtD,CAAC,CAAC,EAAE,CAAC;SACR;KACF,CAAC,CAAC;AACL,CAAC"}

package/dist/audit/cli/synthesizeCommand.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"synthesizeCommand.d.ts","sourceRoot":"","sources":["../../../src/audit/cli/synthesizeCommand.ts"],"names":[],"mappings":"AAEA,wBAAsB,aAAa,CAAC,IAAI,EAAE,MAAM,EAAE,GAAG,OAAO,CAAC,IAAI,CAAC,CAEjE"}
+{"version":3,"file":"synthesizeCommand.d.ts","sourceRoot":"","sources":["../../../src/audit/cli/synthesizeCommand.ts"],"names":[],"mappings":"AAEA,wBAAsB,aAAa,CAAC,IAAI,EAAE,MAAM,EAAE,GAAG,OAAO,CAAC,IAAI,CAAC,CAKjE"}

package/dist/audit/cli/synthesizeCommand.js

@@ -1,5 +1,8 @@
 import { runStepCommand } from "./stepScaffold.js";
 export async function cmdSynthesize(argv) {
-    await runStepCommand(argv, { preferredExecutor: "synthesis_executor" });
+    await runStepCommand(argv, {
+        mode: "executor",
+        preferredExecutor: "synthesis_executor",
+    });
 }
 //# sourceMappingURL=synthesizeCommand.js.map

package/dist/audit/cli/synthesizeCommand.js.map

@@ -1 +1 @@
-{"version":3,"file":"synthesizeCommand.js","sourceRoot":"","sources":["../../../src/audit/cli/synthesizeCommand.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,cAAc,EAAE,MAAM,mBAAmB,CAAC;AAEnD,MAAM,CAAC,KAAK,UAAU,aAAa,CAAC,IAAc;IAChD,MAAM,cAAc,CAAC,IAAI,EAAE,EAAE,iBAAiB,EAAE,oBAAoB,EAAE,CAAC,CAAC;AAC1E,CAAC"}
+{"version":3,"file":"synthesizeCommand.js","sourceRoot":"","sources":["../../../src/audit/cli/synthesizeCommand.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,cAAc,EAAE,MAAM,mBAAmB,CAAC;AAEnD,MAAM,CAAC,KAAK,UAAU,aAAa,CAAC,IAAc;IAChD,MAAM,cAAc,CAAC,IAAI,EAAE;QACzB,IAAI,EAAE,UAAU;QAChB,iBAAiB,EAAE,oBAAoB;KACxC,CAAC,CAAC;AACL,CAAC"}