@ai-dossier/sched 0.57.3 → 0.57.5

package/dist/batch-dispatch.d.ts

@@ -207,7 +207,7 @@ export declare function memberBranchFor(batchId: string, memberIndex: number, is
  */
 export declare function evictMemberAndContinue(deps: BatchDispatchDeps, config: SchedConfig, dispatch: ResolvedDispatch, batchId: string, batch: BatchEntry, memberIssue: number, failure: MemberFailure, now: Date, result: BatchTickResult, 
 /** #844: the member's slot release (or any pre-write) — committed in the eviction's own write. */
-preWrite?: (s: SchedState) => SchedState): void;
+preWrite?: (s: SchedState) => SchedState, afterEvict?: () => void): void;
 /**
  * `sched resume --batch <id>` (#583 AC4): an operator-triggered, synchronous
  * one-shot recheck of a batch blocked on `gate-inconclusive:<capabilityId>`

package/dist/batch-dispatch.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"batch-dispatch.d.ts","sourceRoot":"","sources":["../src/batch-dispatch.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA8DG;AAUH,OAAO,EAIL,KAAK,YAAY,EAGjB,KAAK,gBAAgB,EAGtB,MAAM,gBAAgB,CAAC;AAUxB,OAAO,EAcL,KAAK,gBAAgB,EAGrB,KAAK,SAAS,EAEf,MAAM,YAAY,CAAC;AAEpB,OAAO,EAGL,KAAK,WAAW,EAcjB,MAAM,eAAe,CAAC;AACvB,OAAO,EAAE,KAAK,OAAO,EAAa,MAAM,WAAW,CAAC;AACpD,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,WAAW,CAAC;AAC5C,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,WAAW,CAAC;AAExC,OAAO,EACL,KAAK,iBAAiB,EActB,KAAK,WAAW,EACjB,MAAM,YAAY,CAAC;AAGpB,OAAO,EAyBL,kBAAkB,EAKnB,MAAM,SAAS,CAAC;AACjB,OAAO,EACL,KAAK,QAAQ,EAMd,MAAM,YAAY,CAAC;AACpB,OAAO,KAAK,EAGV,UAAU,EAEV,oBAAoB,EAKpB,kBAAkB,EAClB,cAAc,EAId,WAAW,EACX,UAAU,EAEX,MAAM,SAAS,CAAC;AAcjB,YAAY,EAAE,UAAU,EAAE,MAAM,SAAS,CAAC;AAI1C,OAAO,EAAE,kBAAkB,EAAE,CAAC;AAE9B,8DAA8D;AAC9D,MAAM,WAAW,iBAAiB;IAChC,KAAK,EAAE,UAAU,CAAC;IAClB,OAAO,EAAE,OAAO,CAAC;IACjB,WAAW,EAAE,WAAW,CAAC;IACzB,SAAS,EAAE,SAAS,CAAC;IACrB,GAAG,EAAE,MAAM,IAAI,CAAC;IAChB,uFAAuF;IACvF,OAAO,EAAE,MAAM,CAAC;IAChB,0FAA0F;IAC1F,IAAI,EAAE,MAAM,CAAC;IACb;;;;;;OAMG;IACH,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB;;;;;OAKG;IACH,QAAQ,EAAE,CAAC,QAAQ,EAAE,MAAM,EAAE,GAAG,CAAC,EAAE,iBAAiB,KAAK,WAAW,CAAC;IACrE;;;;;;;;;;;;;;;;;;;OAmBG;IACH,aAAa,CAAC,EAAE,CAAC,QAAQ,EAAE,MAAM,EAAE,YAAY,EAAE,MAAM,KAAK,oBAAoB,CAAC;IACjF,QAAQ,CAAC,EAAE,QAAQ,CAAC;IACpB;;;OAGG;IACH,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB;;;;;;OAMG;IACH,UAAU,CAAC,EAAE,MAAM,CAAC;CACrB;AAED,8FAA8F;AAC9F,MAAM,WAAW,eAAe;IAC9B,OAAO,EAAE,MAAM,EAAE,CAAC;IAClB,SAAS,EAAE,MAAM,EAAE,CAAC;IACpB,MAAM,EAAE,MAAM,EAAE,CAAC;IACjB,aAAa,EAAE,MAAM,EAAE,CAAC;IACxB,MAAM,EAAE,MAAM,EAAE,CAAC;IACjB,uFAAuF;IACvF,qBAAqB,EAAE,MAAM,EAAE,CAAC;IAChC,8FAA8F;IAC9F,OAAO,EAAE,MAAM,EAAE,CAAC;CACnB;AAED;;;;;;GAMG;AACH,MAAM,WAAW,aAAa;IAC5B,MAAM,EAAE,MAAM,CAAC;IACf,MAAM,EAAE,MAAM,CAAC;IACf,OAAO,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IACjC;;;;OAIG;IACH,IAAI,CAAC,EAAE,cAAc,CAAC;CACvB;AAmmBD;;;;;;;GAOG;AACH,wBAAgB,eAAe,CAAC,OAAO,EAAE,MAAM,EAAE,WAAW,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,GAAG,MAAM,CAE3F;AAygDD;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA8BG;AACH,wBAAgB,sBAAsB,CACpC,IAAI,EAAE,iBAAiB,EACvB,MAAM,EAAE,WAAW,EACnB,QAAQ,EAAE,gBAAgB,EAC1B,OAAO,EAAE,MAAM,EACf,KAAK,EAAE,UAAU,EACjB,WAAW,EAAE,MAAM,EACnB,OAAO,EAAE,aAAa,EACtB,GAAG,EAAE,IAAI,EACT,MAAM,EAAE,eAAe;AACvB,kGAAkG;AAClG,QAAQ,CAAC,EAAE,CAAC,CAAC,EAAE,UAAU,KAAK,UAAU,GACvC,IAAI,CAgBN;AAoWD;;;;;;;;;;;;;;;;;;;;;;;;;;;GA2BG;AACH,wBAAgB,iBAAiB,CAC/B,IAAI,EAAE,iBAAiB,EACvB,MAAM,EAAE,WAAW,EACnB,QAAQ,EAAE,gBAAgB,EAC1B,OAAO,EAAE,MAAM,EACf,GAAG,EAAE,IAAI,GACR;IACD,OAAO,EAAE,eAAe,GAAG,SAAS,GAAG,WAAW,GAAG,SAAS,CAAC;IAC/D,UAAU,EAAE,MAAM,CAAC;IACnB;;;;;OAKG;IACH,SAAS,CAAC,EAAE,cAAc,GAAG,qBAAqB,CAAC;IACnD,MAAM,CAAC,EAAE,MAAM,CAAC;CACjB,CA+KA;AAw5BD;;;;;;;;GAQG;AACH,eAAO,MAAM,wBAAwB,IAAI,CAAC;AAmkB1C;;;;;;GAMG;AACH,wBAAgB,4BAA4B,CAAC,KAAK,EAAE,UAAU,EAAE,KAAK,EAAE,UAAU,GAAG,MAAM,EAAE,CAuB3F;AA6HD;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAwCG;AACH,wBAAgB,4BAA4B,CAC1C,IAAI,EAAE,iBAAiB,EACvB,GAAG,EAAE,IAAI,EACT,MAAM,EAAE,eAAe,EACvB,SAAS,EAAE,iBAAiB,GAAG,SAAS,GACvC,IAAI,CAmMN;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAyCG;AACH,wBAAgB,sBAAsB,CAAC,IAAI,EAAE,iBAAiB,EAAE,GAAG,EAAE,IAAI,GAAG,IAAI,CAuG/E;AAED;;;;;;GAMG;AACH,UAAU,iBAAiB;IACzB,IAAI,EAAE,MAAM,CAAC;IACb,gDAAgD;IAChD,IAAI,EAAE,gBAAgB,CAAC;IACvB,uEAAuE;IACvE,SAAS,EAAE,gBAAgB,CAAC;IAC5B,YAAY,EAAE,YAAY,CAAC;CAC5B;AAmTD;;;;;;;;;;;GAWG;AACH,oCAAoC;AACpC,wBAAgB,qBAAqB,CACnC,KAAK,EAAE,UAAU,EACjB,KAAK,EAAE,UAAU,EACjB,MAAM,EAAE,WAAW,GAClB,kBAAkB,CAQpB;AAy4BD;;;;;;;;;;;;;GAaG;AACH,wBAAgB,YAAY,CAC1B,IAAI,EAAE,iBAAiB,EACvB,MAAM,EAAE,WAAW,EACnB,QAAQ,EAAE,gBAAgB,GACzB,eAAe,CAgSjB"}
+{"version":3,"file":"batch-dispatch.d.ts","sourceRoot":"","sources":["../src/batch-dispatch.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA8DG;AAUH,OAAO,EAIL,KAAK,YAAY,EAGjB,KAAK,gBAAgB,EAGtB,MAAM,gBAAgB,CAAC;AAUxB,OAAO,EAcL,KAAK,gBAAgB,EAGrB,KAAK,SAAS,EAEf,MAAM,YAAY,CAAC;AAEpB,OAAO,EAGL,KAAK,WAAW,EAcjB,MAAM,eAAe,CAAC;AACvB,OAAO,EAAE,KAAK,OAAO,EAAa,MAAM,WAAW,CAAC;AACpD,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,WAAW,CAAC;AAC5C,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,WAAW,CAAC;AAExC,OAAO,EACL,KAAK,iBAAiB,EActB,KAAK,WAAW,EACjB,MAAM,YAAY,CAAC;AAGpB,OAAO,EAyBL,kBAAkB,EAKnB,MAAM,SAAS,CAAC;AACjB,OAAO,EACL,KAAK,QAAQ,EAMd,MAAM,YAAY,CAAC;AACpB,OAAO,KAAK,EAGV,UAAU,EAEV,oBAAoB,EAKpB,kBAAkB,EAClB,cAAc,EAId,WAAW,EACX,UAAU,EAEX,MAAM,SAAS,CAAC;AAcjB,YAAY,EAAE,UAAU,EAAE,MAAM,SAAS,CAAC;AAI1C,OAAO,EAAE,kBAAkB,EAAE,CAAC;AAE9B,8DAA8D;AAC9D,MAAM,WAAW,iBAAiB;IAChC,KAAK,EAAE,UAAU,CAAC;IAClB,OAAO,EAAE,OAAO,CAAC;IACjB,WAAW,EAAE,WAAW,CAAC;IACzB,SAAS,EAAE,SAAS,CAAC;IACrB,GAAG,EAAE,MAAM,IAAI,CAAC;IAChB,uFAAuF;IACvF,OAAO,EAAE,MAAM,CAAC;IAChB,0FAA0F;IAC1F,IAAI,EAAE,MAAM,CAAC;IACb;;;;;;OAMG;IACH,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB;;;;;OAKG;IACH,QAAQ,EAAE,CAAC,QAAQ,EAAE,MAAM,EAAE,GAAG,CAAC,EAAE,iBAAiB,KAAK,WAAW,CAAC;IACrE;;;;;;;;;;;;;;;;;;;OAmBG;IACH,aAAa,CAAC,EAAE,CAAC,QAAQ,EAAE,MAAM,EAAE,YAAY,EAAE,MAAM,KAAK,oBAAoB,CAAC;IACjF,QAAQ,CAAC,EAAE,QAAQ,CAAC;IACpB;;;OAGG;IACH,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB;;;;;;OAMG;IACH,UAAU,CAAC,EAAE,MAAM,CAAC;CACrB;AAED,8FAA8F;AAC9F,MAAM,WAAW,eAAe;IAC9B,OAAO,EAAE,MAAM,EAAE,CAAC;IAClB,SAAS,EAAE,MAAM,EAAE,CAAC;IACpB,MAAM,EAAE,MAAM,EAAE,CAAC;IACjB,aAAa,EAAE,MAAM,EAAE,CAAC;IACxB,MAAM,EAAE,MAAM,EAAE,CAAC;IACjB,uFAAuF;IACvF,qBAAqB,EAAE,MAAM,EAAE,CAAC;IAChC,8FAA8F;IAC9F,OAAO,EAAE,MAAM,EAAE,CAAC;CACnB;AAED;;;;;;GAMG;AACH,MAAM,WAAW,aAAa;IAC5B,MAAM,EAAE,MAAM,CAAC;IACf,MAAM,EAAE,MAAM,CAAC;IACf,OAAO,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IACjC;;;;OAIG;IACH,IAAI,CAAC,EAAE,cAAc,CAAC;CACvB;AAmmBD;;;;;;;GAOG;AACH,wBAAgB,eAAe,CAAC,OAAO,EAAE,MAAM,EAAE,WAAW,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,GAAG,MAAM,CAE3F;AAygDD;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA8BG;AACH,wBAAgB,sBAAsB,CACpC,IAAI,EAAE,iBAAiB,EACvB,MAAM,EAAE,WAAW,EACnB,QAAQ,EAAE,gBAAgB,EAC1B,OAAO,EAAE,MAAM,EACf,KAAK,EAAE,UAAU,EACjB,WAAW,EAAE,MAAM,EACnB,OAAO,EAAE,aAAa,EACtB,GAAG,EAAE,IAAI,EACT,MAAM,EAAE,eAAe;AACvB,kGAAkG;AAClG,QAAQ,CAAC,EAAE,CAAC,CAAC,EAAE,UAAU,KAAK,UAAU,EACxC,UAAU,CAAC,EAAE,MAAM,IAAI,GACtB,IAAI,CAiBN;AAoWD;;;;;;;;;;;;;;;;;;;;;;;;;;;GA2BG;AACH,wBAAgB,iBAAiB,CAC/B,IAAI,EAAE,iBAAiB,EACvB,MAAM,EAAE,WAAW,EACnB,QAAQ,EAAE,gBAAgB,EAC1B,OAAO,EAAE,MAAM,EACf,GAAG,EAAE,IAAI,GACR;IACD,OAAO,EAAE,eAAe,GAAG,SAAS,GAAG,WAAW,GAAG,SAAS,CAAC;IAC/D,UAAU,EAAE,MAAM,CAAC;IACnB;;;;;OAKG;IACH,SAAS,CAAC,EAAE,cAAc,GAAG,qBAAqB,CAAC;IACnD,MAAM,CAAC,EAAE,MAAM,CAAC;CACjB,CA+KA;AAm9BD;;;;;;;;GAQG;AACH,eAAO,MAAM,wBAAwB,IAAI,CAAC;AAmkB1C;;;;;;GAMG;AACH,wBAAgB,4BAA4B,CAAC,KAAK,EAAE,UAAU,EAAE,KAAK,EAAE,UAAU,GAAG,MAAM,EAAE,CAuB3F;AA6HD;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAwCG;AACH,wBAAgB,4BAA4B,CAC1C,IAAI,EAAE,iBAAiB,EACvB,GAAG,EAAE,IAAI,EACT,MAAM,EAAE,eAAe,EACvB,SAAS,EAAE,iBAAiB,GAAG,SAAS,GACvC,IAAI,CAmMN;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAyCG;AACH,wBAAgB,sBAAsB,CAAC,IAAI,EAAE,iBAAiB,EAAE,GAAG,EAAE,IAAI,GAAG,IAAI,CAuG/E;AAED;;;;;;GAMG;AACH,UAAU,iBAAiB;IACzB,IAAI,EAAE,MAAM,CAAC;IACb,gDAAgD;IAChD,IAAI,EAAE,gBAAgB,CAAC;IACvB,uEAAuE;IACvE,SAAS,EAAE,gBAAgB,CAAC;IAC5B,YAAY,EAAE,YAAY,CAAC;CAC5B;AAmTD;;;;;;;;;;;GAWG;AACH,oCAAoC;AACpC,wBAAgB,qBAAqB,CACnC,KAAK,EAAE,UAAU,EACjB,KAAK,EAAE,UAAU,EACjB,MAAM,EAAE,WAAW,GAClB,kBAAkB,CAQpB;AA+4BD;;;;;;;;;;;;;GAaG;AACH,wBAAgB,YAAY,CAC1B,IAAI,EAAE,iBAAiB,EACvB,MAAM,EAAE,WAAW,EACnB,QAAQ,EAAE,gBAAgB,GACzB,eAAe,CAgSjB"}

package/dist/batch-dispatch.js

@@ -1838,10 +1838,11 @@ serialTeardown) {
  */
 function evictMemberAndContinue(deps, config, dispatch, batchId, batch, memberIssue, failure, now, result, 
 /** #844: the member's slot release (or any pre-write) — committed in the eviction's own write. */
-preWrite) {
+preWrite, afterEvict) {
     const { batchEnded, duplicate } = evictMemberDirectly(deps, config, batchId, memberIssue, failure, now, preWrite);
     if (duplicate)
         return;
+    afterEvict?.();
     if (batchEnded) {
         result.failed.push(unit(batchId));
         return;
@@ -2271,7 +2272,7 @@ function resumeBlockedGate(deps, config, dispatch, batchId, now) {
  * full-cycle run is an independent unit), so unlike `engine.ts`'s per-unit log, a member's log file is
  * always one-shot and reading from offset 0 is always correct.
  */
-function recordMemberRunLog(deps, dispatch, state, batchId, 
+function prepareMemberRunLog(deps, dispatch, state, batchId, 
 /** 1-based member index — names the per-member log file (serial: `executing_member`; parallel: `MemberRun.index`). */
 memberIndex, memberIssue, slot, now) {
     if (slot.status !== 'running' || slot.spawned_at === null) {
@@ -2309,10 +2310,17 @@ memberIndex, memberIssue, slot, now) {
         cwd: deps.repoDir,
         tier,
     });
-    (0, run_log_1.finalizeRunLogEntry)(runEntry, logContent, deps.homeDir, (event, extra) => journalEvent(deps, event, unit(batchId), extra), { issue: memberIssue, log: logFile });
-    // #591: the last tool this member dispatch called — attributes an
-    // `agent-exited-unverified` failure to a concrete cause without opening the transcript.
-    return (0, core_1.parseLastToolUse)(logContent);
+    return {
+        lastTool: (0, core_1.parseLastToolUse)(logContent),
+        append: () => (0, run_log_1.finalizeRunLogEntry)(runEntry, logContent, deps.homeDir, (event, extra) => journalEvent(deps, event, unit(batchId), extra), { issue: memberIssue, log: logFile }),
+    };
+}
+function recordMemberRunLog(deps, dispatch, state, batchId, memberIndex, memberIssue, slot, now) {
+    const runLog = prepareMemberRunLog(deps, dispatch, state, batchId, memberIndex, memberIssue, slot, now);
+    if (runLog === null)
+        return null;
+    runLog.append();
+    return runLog.lastTool;
 }
 /**
  * #622: the milestone a member dispatch's fate is read from.
@@ -2477,9 +2485,9 @@ function currentDispatchStamp(stamp, spawnedAt, now) {
  * `kill-escalated` once (`kill_escalated_at`). Pre-#844 this path re-sent
  * SIGTERM forever, so an agent ignoring it held its member indefinitely.
  */
-function stopAgentBeforeDeciding(deps, batchId, memberIssue, slot, now) {
+function stopAgentBeforeDeciding(deps, config, batchId, memberIssue, slot, now, result) {
     if (!agentAlive(deps, slot))
-        return false;
+        return 'gone';
     const pid = slot.pid;
     const pidStart = slot.pid_start ?? undefined;
     const sentAt = currentDispatchStamp(slot.kill_sent_at, slot.spawned_at, now);
@@ -2488,7 +2496,26 @@ function stopAgentBeforeDeciding(deps, batchId, memberIssue, slot, now) {
     // `kill` refuses a pid whose recorded identity no longer matches (reused by
     // another process): the agent we spawned is gone, so stop waiting on it.
     if (!deps.spawnDeps.kill(pid, pidStart, escalate ? 'SIGKILL' : 'SIGTERM'))
-        return false;
+        return 'gone';
+    const escalatedAt = currentDispatchStamp(slot.kill_escalated_at, slot.spawned_at, now);
+    const ineffective = escalatedAt !== null && now.getTime() - Date.parse(escalatedAt) >= dispatch_1.KILL_ESCALATION_MS;
+    if (ineffective) {
+        const firstIneffective = currentDispatchStamp(slot.kill_ineffective_at, slot.spawned_at, now) === null;
+        if (firstIneffective) {
+            deps.store.withLock((s) => ({
+                state: (0, state_1.patchSlot)(s, slot.id, { kill_ineffective_at: now.toISOString() }, now),
+                result: undefined,
+            }));
+            journalEvent(deps, 'kill-ineffective', unit(batchId), {
+                issue: memberIssue,
+                pid,
+                slot: slot.id,
+                detail: `agent remained alive ${dispatch_1.KILL_ESCALATION_MS / 1000}s after SIGKILL — blocking for operator`,
+            });
+            blockBatchForOperator(deps, config, batchId, { reason: 'agent-unkillable' }, now, result);
+        }
+        return 'unkillable';
+    }
     const firstEscalation = escalate && currentDispatchStamp(slot.kill_escalated_at, slot.spawned_at, now) === null;
     if (sentAt === null || firstEscalation) {
         deps.store.withLock((s) => {
@@ -2522,7 +2549,7 @@ function stopAgentBeforeDeciding(deps, batchId, memberIssue, slot, now) {
             detail: `agent still alive ${Math.round(aliveForMs / 1000)}s after SIGTERM (bound ${dispatch_1.KILL_ESCALATION_MS / 1000}s) — sent SIGKILL (to its process group where available)`,
         });
     }
-    return true;
+    return 'waiting';
 }
 /**
  * #822 (#810 proposal 3): the member's dispatch ran the wrong procedure (a
@@ -2538,12 +2565,12 @@ function stopAgentBeforeDeciding(deps, batchId, memberIssue, slot, now) {
  * `evictMemberAndContinue`/`evictParallelMember`, which commits it in the
  * eviction's own write (#844).
  */
-function repromptWrongProcedure(deps, batchId, memberIssue, milestoneAt, slot, release, now) {
+function repromptWrongProcedure(deps, config, batchId, memberIssue, milestoneAt, slot, release, now, result) {
     // Never respawn into (or release) a worktree the old agent is still in: a
     // dying full-cycle run could still push, post, or open a PR. Signal it and
     // decide on a later tick, once it is gone — and so the re-prompt's
     // `reprompted_at` fence postdates everything it could still post.
-    if (stopAgentBeforeDeciding(deps, batchId, memberIssue, slot, now))
+    if (stopAgentBeforeDeciding(deps, config, batchId, memberIssue, slot, now, result) !== 'gone')
         return 'waiting';
     const outcome = deps.store.withLock((s) => {
         const b = (0, state_1.findBatch)(s, batchId);
@@ -2597,15 +2624,15 @@ function wrongProcedureFailure(lastTool, shippedPr = null) {
  * a re-prompt. On an eviction the slot is still held: the caller passes
  * `release` to the eviction, which commits both in one write (#844).
  */
-function decideWrongProcedure(deps, batchId, memberIssue, milestone, slot, release, lastTool, now) {
+function decideWrongProcedure(deps, config, batchId, memberIssue, milestone, slot, release, lastTool, now, result) {
     const shipped = (0, groundtruth_1.wrongProcedureShippedPr)(milestone);
     if (shipped !== null) {
-        if (stopAgentBeforeDeciding(deps, batchId, memberIssue, slot, now))
+        if (stopAgentBeforeDeciding(deps, config, batchId, memberIssue, slot, now, result) !== 'gone')
             return 'waiting';
         // #844: the caller's eviction releases the slot in its own write.
         return wrongProcedureFailure(lastTool(), shipped);
     }
-    const verdict = repromptWrongProcedure(deps, batchId, memberIssue, milestone.at, slot, release, now);
+    const verdict = repromptWrongProcedure(deps, config, batchId, memberIssue, milestone.at, slot, release, now, result);
     if (verdict === 'waiting')
         return verdict;
     // The finished dispatch's run-log entry, exactly once (never while waiting).
@@ -2688,7 +2715,7 @@ function reconcileMemberSlot(deps, config, dispatch, batchId, slot, now, result)
     // before the dead/blocked rail, which would otherwise evict it as an
     // unverified exit at the first sight.
     if (wrongProcedureCounts(batch, memberIssue, read) && read.milestone !== null) {
-        const decision = decideWrongProcedure(deps, batchId, memberIssue, read.milestone, slot, release, () => recordMemberRunLog(deps, dispatch, state0, batchId, batch.executing_member, memberIssue, slot, now), now);
+        const decision = decideWrongProcedure(deps, config, batchId, memberIssue, read.milestone, slot, release, () => recordMemberRunLog(deps, dispatch, state0, batchId, batch.executing_member, memberIssue, slot, now), now, result);
         if (typeof decision === 'object') {
             evictMemberAndContinue(deps, config, dispatch, batchId, batch, memberIssue, decision, now, result, release);
         }
@@ -2705,7 +2732,7 @@ function reconcileMemberSlot(deps, config, dispatch, batchId, slot, now, result)
         return;
     }
     if (read.blockedNow || read.dead) {
-        const lastTool = recordMemberRunLog(deps, dispatch, state0, batchId, batch.executing_member, memberIssue, slot, now);
+        const runLog = prepareMemberRunLog(deps, dispatch, state0, batchId, batch.executing_member, memberIssue, slot, now);
         // A member that never went green (RFC F.1) evicts DIRECTLY — no aggregate
         // suite has run yet, so there is nothing for `attributing`/`evicting` (the
         // AGGREGATE-suite-red pipeline, RFC F.2) to attribute or revert: the
@@ -2714,9 +2741,9 @@ function reconcileMemberSlot(deps, config, dispatch, batchId, slot, now, result)
         // attributing → evicting` is not even a legal edge from mid-`executing`
         // (BATCH_TRANSITIONS has no `executing → evicting`) — this stays entirely
         // within `executing`/`dissolving`, both of which ARE legal from here.
-        evictMemberAndContinue(deps, config, dispatch, batchId, batch, memberIssue, memberFailureFor(read, lastTool), now, result, 
+        evictMemberAndContinue(deps, config, dispatch, batchId, batch, memberIssue, memberFailureFor(read, runLog?.lastTool ?? null), now, result, 
         // #844: released in the eviction's own write, never before it.
-        release);
+        release, () => runLog?.append());
     }
 }
 /**
@@ -4368,7 +4395,7 @@ function spawnParallelMembers(deps, config, dispatch, batchId, now, result) {
  */
 function evictParallelMember(deps, config, batchId, run, failure, now, result, 
 /** #844: the member's own slot release — committed in the eviction's write. */
-release) {
+release, afterEvict) {
     const { batchEnded, duplicate } = evictMemberDirectly(deps, config, batchId, run.issue, failure, now, 
     // #844: the run's `evicted` status lands in the eviction's write too — a
     // separate write left an evicted member's run `running` (slotless, its
@@ -4376,6 +4403,7 @@ release) {
     (s) => patchRun(release ? release(s) : s, batchId, run.issue, { status: 'evicted', gate_inconclusive: null }, now));
     if (duplicate)
         return;
+    afterEvict?.();
     result.failed.push(batchEnded ? unit(batchId) : (0, state_1.batchMemberUnit)(batchId, run.issue));
     if (batchEnded)
         return;
@@ -4404,7 +4432,7 @@ function reconcileParallelMemberSlot(deps, config, dispatch, batchId, run, slot,
         // The member's tree may be rebased or removed immediately after its slot
         // is released. Keep this slot draining until the agent is really gone so
         // the #844 SIGKILL bound remains available to a SIGTERM-ignoring agent.
-        if (stopAgentBeforeDeciding(deps, batchId, run.issue, slot, now))
+        if (stopAgentBeforeDeciding(deps, config, batchId, run.issue, slot, now, result) !== 'gone')
             return;
         journalEvent(deps, 'external-advance', unit(batchId), {
             issue: run.issue,
@@ -4432,7 +4460,7 @@ function reconcileParallelMemberSlot(deps, config, dispatch, batchId, run, slot,
     if (parallelBatch &&
         wrongProcedureCounts(parallelBatch, run.issue, read) &&
         read.milestone !== null) {
-        const decision = decideWrongProcedure(deps, batchId, run.issue, read.milestone, slot, release, () => recordMemberRunLog(deps, dispatch, state0, batchId, run.index, run.issue, slot, now), now);
+        const decision = decideWrongProcedure(deps, config, batchId, run.issue, read.milestone, slot, release, () => recordMemberRunLog(deps, dispatch, state0, batchId, run.index, run.issue, slot, now), now, result);
         if (typeof decision === 'object') {
             evictParallelMember(deps, config, batchId, run, decision, now, result, release);
         }
@@ -4446,8 +4474,8 @@ function reconcileParallelMemberSlot(deps, config, dispatch, batchId, run, slot,
         return;
     }
     if (read.blockedNow || read.dead) {
-        const lastTool = recordMemberRunLog(deps, dispatch, state0, batchId, run.index, run.issue, slot, now);
-        evictParallelMember(deps, config, batchId, run, memberFailureFor(read, lastTool), now, result, release);
+        const runLog = prepareMemberRunLog(deps, dispatch, state0, batchId, run.index, run.issue, slot, now);
+        evictParallelMember(deps, config, batchId, run, memberFailureFor(read, runLog?.lastTool ?? null), now, result, release, () => runLog?.append());
     }
 }
 /**