@ai-dossier/sched 0.2.1 → 0.4.0

package/dist/engine.js

@@ -2,12 +2,16 @@
 /**
  * The scheduler engine (#464): dispatch, completion verification, and the
  * stall/escalation ladder (RFC-0001 §C.1) — the deterministic organs that
- * replace fleet-cycle's LLM supervision.
+ * replace fleet-cycle's LLM supervision. Since #468 it also owns the
+ * detached-ship tail: the PR watcher, script-based teardown, and the
+ * cheap-tier report dispatch.
  *
  * One `tick()` is a full reconcile+refill cycle:
  *
- * 1. **Poll** ground truth for every live unit OUTSIDE the state lock (gh/git
- *    subprocesses are slow; the lock must never wait on a network call).
+ * 1. **Poll** ground truth for every live unit and every parked PR OUTSIDE
+ *    the state lock (gh/git subprocesses are slow; the lock must never wait
+ *    on a network call). Parked PRs poll on their own cadence
+ *    (`pr_poll_interval_ms`, persisted `last_pr_poll_at`) — every 2–3 min.
  * 2. **Apply** under `SchedStore.withLock`:
  *    - `assigned` slots (crash between assign and spawn) are spawned/re-attached
  *    - `running` slots: dead pid → exit rail; ground truth says complete →
@@ -15,13 +19,25 @@
  *      pushed commit → progress; no progress for `stall_timeout_ms` →
  *      redispatch one tier stronger (cap 2, then failed)
  *    - `exited`/`verifying` slots: the agent exited — completion is verified
- *      against ground truth, never assumed (AC2); unverified exits ride the
- *      same recovery ladder as stalls
- *    - `recovering` slots: respawned with the escalated tier (resume rails —
- *      the agent re-enters via gate and resumes from the milestone trail)
+ *      against ground truth, never assumed (AC2); an exit whose milestone is
+ *      the ship phase's `awaiting-merge` (with `pr=`) is a VERIFIED park:
+ *      entry → parked, slot released (a parked unit holds no slot — AC5)
+ *    - `parked` entries: the watcher applies the PR truth — merge accepted
+ *      only when state MERGED AND mergedAt non-null AND the issue is closed
+ *      (AC1) → shipped (gating on MERGE, never the park — AC4);
+ *      CONFLICTING / closed-unmerged / auto-merge-blocked → failed + transitive
+ *      dependents blocked (AC3)
  *    - failures block their TRANSITIVE dependents (AC4)
- * 3. **Refill**: `computeAssignments` fills every freed slot in the SAME tick —
- *    a runnable unit never waits while a slot is idle (AC5).
+ *    - report agents are dispatched for merged units whose teardown is
+ *      already recorded (before queue refill — cheap reports don't queue
+ *      behind long runs)
+ *    - **Refill** in the SAME lock pass: `computeAssignments` fills every
+ *      freed slot — a runnable unit never waits while a slot is idle (AC5)
+ * 3. **Teardown** (outside the lock — pool/git subprocesses are slow): for
+ *    every freshly-merged unit, recover the setup milestone's worktree info
+ *    and run pool return / worktree remove, VERIFIED before claimed
+ *    (`cleanup=failed-<step>` on mismatch, AC2). Results land in a second
+ *    short lock pass together with the report dispatch.
  *
  * Everything that touches the world (processes, GitHub, git) is injected;
  * the state machine is pure. Only `issue:<n>` units are dispatched — batch
@@ -69,12 +85,19 @@ const groundtruth_1 = require("./groundtruth");
 const journal_1 = require("./journal");
 const scheduler_1 = require("./scheduler");
 const state_1 = require("./state");
+const teardown_1 = require("./teardown");
 const types_1 = require("./types");
 function emptyResult() {
     return {
         spawned: [],
         externalAdvances: [],
         completed: [],
+        parked: [],
+        mergeAccepted: [],
+        reportDispatched: [],
+        reportWaiting: 0,
+        teardownDone: [],
+        teardownFailed: [],
         redispatched: [],
         failed: [],
         blocked: [],
@@ -138,39 +161,53 @@ function pollUnits(deps, state) {
     }
     return out;
 }
-// --- Spawn / fail / complete ---
-/** Spawn (or respawn) the agent for `unit` and move its slot to `running`. */
-function spawnUnit(ctx, state, unit) {
-    const issue = (0, journal_1.issueOfUnit)(unit);
-    if (issue === null)
-        return state;
-    const entry = (0, state_1.findEntry)(state, issue);
-    const slot = slotOf(state, unit);
-    if (!entry ||
-        !slot ||
-        slot.status === 'idle' ||
-        slot.status === 'complete' ||
-        slot.status === 'failed') {
-        return state;
+/**
+ * Poll parked PRs on their own cadence (#468 AC1 — every 2–3 min, persisted
+ * `last_pr_poll_at` so a restart honors it). Runs only when parked entries
+ * exist AND the interval elapsed; every subprocess stays outside the lock.
+ * The issue-closed signal rides along — it is the second half of the
+ * merge-acceptance gate and must not be re-queried under the lock.
+ */
+function pollParkedPrs(deps, state, dispatch) {
+    const parked = state.entries.filter((e) => e.status === 'parked' && e.pr !== null);
+    if (parked.length === 0)
+        return { ran: false, truths: new Map(), closed: new Map() };
+    const now = deps.now().getTime();
+    const last = state.last_pr_poll_at !== null ? Date.parse(state.last_pr_poll_at) : 0;
+    if (Number.isFinite(last) && now - last < dispatch.prPollIntervalMs) {
+        return { ran: false, truths: new Map(), closed: new Map() };
     }
-    const cmd = (0, dispatch_1.buildAgentCommand)(ctx.dispatch.command, entry.tier, issue, ctx.dispatch.tierModels);
-    const prompt = (0, dispatch_1.buildPrompt)(ctx.dispatch.prompt, issue);
+    const truths = new Map();
+    const closed = new Map();
+    for (const entry of parked) {
+        truths.set(entry.issue, deps.groundTruth.prState(entry.pr));
+        closed.set(entry.issue, deps.groundTruth.issueClosed(entry.issue));
+    }
+    return { ran: true, truths, closed };
+}
+// --- Spawn / fail / complete / park ---
+/**
+ * The shared spawn-and-record tail of every agent dispatch (#464 full-cycle,
+ * #468 report): log file, try-spawn (a throw fails the unit through the
+ * declared failure rail — visible in `sched status`, never a tick abort),
+ * pid/phase/progress patch, the `assigned|recovering → running` transition,
+ * and the `spawned` journal event. `spawnUnit`/`spawnReportAgent` differ only
+ * in tier, prompt, phase, and failure opts.
+ */
+function spawnAndRecord(ctx, state, unit, slot, opts) {
     const logFile = path.join(ctx.deps.store.runsDir, `${(0, dispatch_1.unitLogName)(unit)}.log`);
     let pid;
     try {
-        pid = ctx.deps.spawnDeps.spawn(cmd, prompt, logFile);
+        pid = ctx.deps.spawnDeps.spawn(opts.cmd, opts.prompt, logFile);
     }
     catch (err) {
-        // A spawn failure fails the unit through the declared failure rail —
-        // visible in `sched status` (Failed: … spawn-error) instead of aborting
-        // the whole tick and silently discarding every other unit's reconcile.
-        return failUnit(ctx, state, unit, `spawn-error: ${err.message}`);
+        return failUnit(ctx, state, unit, `spawn-error: ${err.message}`, opts.failOpts);
     }
     const now = ctx.deps.now();
     const patch = {
         pid,
         pid_start: ctx.deps.spawnDeps.processStart(pid),
-        phase: 'gate',
+        phase: opts.phase,
         last_progress_at: now.toISOString(),
     };
     const next = slot.status === 'assigned' || slot.status === 'recovering'
@@ -178,16 +215,75 @@ function spawnUnit(ctx, state, unit) {
         : patchSlot(state, slot.id, patch, now);
     journal(ctx, 'spawned', unit, {
         pid,
-        tier: entry.tier,
+        tier: opts.tier,
         slot: slot.id,
-        cmd: cmd.join(' '),
+        cmd: opts.cmd.join(' '),
         log: logFile,
+        ...(opts.journalExtra ?? {}),
     });
     ctx.result.spawned.push(unit);
     return next;
 }
-/** Fail a unit: entry → failed, slot released, transitive dependents blocked (AC4). */
-function failUnit(ctx, state, unit, reason) {
+/** Spawn (or respawn) the agent for `unit` and move its slot to `running`. */
+function spawnUnit(ctx, state, unit) {
+    const issue = (0, journal_1.issueOfUnit)(unit);
+    if (issue === null)
+        return state;
+    const entry = (0, state_1.findEntry)(state, issue);
+    const slot = slotOf(state, unit);
+    if (!entry ||
+        !slot ||
+        slot.status === 'idle' ||
+        slot.status === 'complete' ||
+        slot.status === 'failed') {
+        return state;
+    }
+    // Report slots (crash recovery, ladder redispatch) respawn as report agents.
+    if (slot.phase === 'report') {
+        return spawnReportAgent(ctx, state, unit);
+    }
+    return spawnAndRecord(ctx, state, unit, slot, {
+        tier: entry.tier,
+        cmd: (0, dispatch_1.buildAgentCommand)(ctx.dispatch.command, entry.tier, issue, ctx.dispatch.tierModels),
+        prompt: (0, dispatch_1.buildPrompt)(ctx.dispatch.prompt, issue),
+        phase: 'gate',
+    });
+}
+/**
+ * Spawn the report agent for a merged unit (#468 AC2 — "a cheap-tier report
+ * agent is dispatched", never a full-cycle tail run). The tier climbs the
+ * ladder from mechanical across redispatches (`reportTierFor`).
+ */
+function spawnReportAgent(ctx, state, unit) {
+    const issue = (0, journal_1.issueOfUnit)(unit);
+    if (issue === null)
+        return state;
+    const entry = (0, state_1.findEntry)(state, issue);
+    const slot = slotOf(state, unit);
+    if (!entry || !slot || entry.pr === null || entry.cleanup === null)
+        return state;
+    const tier = (0, dispatch_1.reportTierFor)(slot.recoveries);
+    if (tier === null)
+        return state;
+    return spawnAndRecord(ctx, state, unit, slot, {
+        tier,
+        cmd: (0, dispatch_1.buildAgentCommand)(ctx.dispatch.command, tier, issue, ctx.dispatch.tierModels),
+        prompt: (0, dispatch_1.buildReportPrompt)(ctx.dispatch.reportPrompt, issue, entry.pr, entry.cleanup),
+        phase: 'report',
+        // Merged-aware: the PR is merged — a report spawn failure never blocks
+        // dependents (gating already released at `shipped`).
+        failOpts: { merged: true },
+        journalExtra: { detail: 'report agent' },
+    });
+}
+/**
+ * Fail a unit: entry → failed, slot released, transitive dependents blocked
+ * (AC4). `merged: true` (report-agent failures on a merged unit, #468) is the
+ * merged-aware rail: the PR is merged, so the unit COMPLETES (done, reason
+ * recorded) instead of failing — a failed report never fails shipped work and
+ * never blocks dependents whose dependency actually merged.
+ */
+function failUnit(ctx, state, unit, reason, opts = {}) {
     const issue = (0, journal_1.issueOfUnit)(unit);
     if (issue === null)
         return state;
@@ -196,12 +292,18 @@ function failUnit(ctx, state, unit, reason) {
     let next = releaseSlotViaFailure(ctx, state, unit);
     const entry = (0, state_1.findEntry)(next, issue);
     if (entry && !types_1.TERMINAL_ISSUE_STATUSES.has(entry.status)) {
-        next = (0, state_1.transitionIssue)(next, issue, 'failed', { reason }, now);
-        journal(ctx, 'unit-failed', unit, { reason });
         ctx.result.failed.push(unit);
-        const blocked = blockTransitiveDependents(ctx, next, issue);
-        next = blocked.state;
-        ctx.result.blocked.push(...blocked.issues);
+        if (opts.merged === true && entry.status === 'shipped') {
+            next = (0, state_1.transitionIssue)(next, issue, 'done', { reason }, now);
+            journal(ctx, 'report-failed', unit, { reason });
+        }
+        else {
+            next = (0, state_1.transitionIssue)(next, issue, 'failed', { reason }, now);
+            journal(ctx, 'unit-failed', unit, { reason });
+            const blocked = blockTransitiveDependents(ctx, next, issue);
+            next = blocked.state;
+            ctx.result.blocked.push(...blocked.issues);
+        }
     }
     return next;
 }
@@ -256,7 +358,9 @@ function blockTransitiveDependents(ctx, state, failedIssue) {
  * The recovery decision for a unit that must be redispatched one tier
  * stronger (stall or unverified exit, AC4). At the escalation cap or the
  * strongest tier, the unit fails instead — the designed signal that a human,
- * not a stronger model, is next.
+ * not a stronger model, is next. Report agents (#468) climb their own
+ * mechanical-starting ladder and fail MERGED-AWARE at the cap: the PR is
+ * already merged, so dependents stay released.
  */
 function enterRecovery(ctx, state, unit, causeEvent, cause, evidence = {}) {
     const issue = (0, journal_1.issueOfUnit)(unit);
@@ -268,18 +372,25 @@ function enterRecovery(ctx, state, unit, causeEvent, cause, evidence = {}) {
     if (!entry || !slot)
         return state;
     killUnitAgent(ctx, state, unit);
-    const nextTier = (0, dispatch_1.escalateTier)(entry.tier);
+    const report = slot.phase === 'report';
+    const nextTier = report ? (0, dispatch_1.reportTierFor)(slot.recoveries + 1) : (0, dispatch_1.escalateTier)(entry.tier);
     if (slot.recoveries >= types_1.ESCALATION_CAP || nextTier === null) {
         // Cap reached (2 escalations) or already at the strongest tier — the
         // designed signal that a human, not a stronger model, is next.
-        const reason = slot.recoveries >= types_1.ESCALATION_CAP ? 'escalation-cap' : `${cause}-at-strongest-tier`;
-        return failUnit(ctx, state, unit, reason);
+        const reason = report
+            ? 'report-escalation-cap'
+            : slot.recoveries >= types_1.ESCALATION_CAP
+                ? 'escalation-cap'
+                : `${cause}-at-strongest-tier`;
+        return failUnit(ctx, state, unit, reason, { merged: report });
     }
     let next = (0, state_1.transitionSlot)(state, slot.id, 'recovering', { pid: null, recoveries: slot.recoveries + 1 }, now);
-    next = {
-        ...next,
-        entries: next.entries.map((e) => e.issue === issue ? { ...e, tier: nextTier, updated_at: now.toISOString() } : e),
-    };
+    if (!report) {
+        next = {
+            ...next,
+            entries: next.entries.map((e) => e.issue === issue ? { ...e, tier: nextTier, updated_at: now.toISOString() } : e),
+        };
+    }
     journal(ctx, causeEvent, unit, {
         detail: cause,
         slot: slot.id,
@@ -288,41 +399,68 @@ function enterRecovery(ctx, state, unit, causeEvent, cause, evidence = {}) {
     });
     journal(ctx, 'redispatched', unit, { tier: nextTier, slot: slot.id });
     ctx.result.redispatched.push(unit);
-    // Respawn immediately on the recovering rail — recovering → running.
+    // Respawn immediately on the recovering rail — recovering → running. A
+    // report-phase slot routes to the report agent with its escalated tier.
     return spawnUnit(ctx, next, unit);
 }
+/**
+ * Verified-exit walk to idle: `complete` is reachable only via
+ * exited → verifying → complete → idle; the fallback keeps the walk from
+ * ever wedging (assigned/recovering have nothing verified yet).
+ */
+function stepVerifiedExitToIdle(status) {
+    if (status === 'complete' || status === 'failed')
+        return 'idle';
+    if (status === 'running')
+        return 'exited';
+    if (status === 'exited')
+        return 'verifying';
+    if (status === 'verifying')
+        return 'complete';
+    return 'failed';
+}
 /** Complete a unit whose ground truth is verified (AC2). */
 function completeUnit(ctx, state, unit, via) {
     const issue = (0, journal_1.issueOfUnit)(unit);
     if (issue === null)
         return state;
     const now = ctx.deps.now();
-    // Walk the slot machine to idle through its declared edges: complete is
-    // reachable only via exited → verifying → complete → idle.
-    let next = walkSlotToIdle(state, unit, now, (status) => {
-        if (status === 'complete' || status === 'failed')
-            return 'idle';
-        if (status === 'running')
-            return 'exited';
-        if (status === 'exited')
-            return 'verifying';
-        if (status === 'verifying')
-            return 'complete';
-        return 'failed'; // assigned/recovering: nothing verified yet — never wedge
-    });
+    const next = walkSlotToIdle(state, unit, now, stepVerifiedExitToIdle);
+    let withEntry = next;
     const entry = (0, state_1.findEntry)(next, issue);
     if (entry && entry.status === 'dispatched') {
-        next = (0, state_1.transitionIssue)(next, issue, 'shipped', {}, now);
-        next = (0, state_1.transitionIssue)(next, issue, 'done', {}, now);
+        withEntry = (0, state_1.transitionIssue)(next, issue, 'shipped', {}, now);
+        withEntry = (0, state_1.transitionIssue)(withEntry, issue, 'done', {}, now);
     }
     else if (entry && entry.status === 'shipped') {
-        next = (0, state_1.transitionIssue)(next, issue, 'done', {}, now);
+        // A report agent completing its run (#468): shipped → done.
+        withEntry = (0, state_1.transitionIssue)(next, issue, 'done', {}, now);
     }
     journal(ctx, via, unit);
     if (via === 'external-advance')
         ctx.result.externalAdvances.push(unit);
     else
         ctx.result.completed.push(unit);
+    return withEntry;
+}
+/**
+ * Park a unit whose agent exited after parking its PR on auto-merge (#468):
+ * the exit is VERIFIED (the ship phase's `awaiting-merge` milestone with
+ * `pr=`), entry → parked (pr recorded), slot released — a waiting unit
+ * consumes zero slots (AC5) and the watcher owns it from here.
+ */
+function parkUnit(ctx, state, unit, milestone) {
+    const issue = (0, journal_1.issueOfUnit)(unit);
+    if (issue === null)
+        return state;
+    const now = ctx.deps.now();
+    const pr = (0, groundtruth_1.prOfMilestone)(milestone);
+    if (pr === null)
+        return state; // isParkedMilestone guarantees this
+    let next = walkSlotToIdle(state, unit, now, stepVerifiedExitToIdle);
+    next = (0, state_1.transitionIssue)(next, issue, 'parked', { pr }, now);
+    journal(ctx, 'pr-parked', unit, { pr });
+    ctx.result.parked.push(unit);
     return next;
 }
 // --- Per-slot reconciliation ---
@@ -361,6 +499,14 @@ function applyProgressSignals(ctx, state, slot, truth, unit) {
     }
     return { state: next, progressed };
 }
+/**
+ * The issue-closed completion signal for a live unit (#468): a report agent's
+ * issue is already closed (closed AT MERGE), so for report-phase slots the
+ * closed signal is suppressed — only the report milestone can complete them.
+ */
+function effectiveClosedSignal(slot, truth) {
+    return slot.phase === 'report' ? false : truth.closed;
+}
 /** Reconcile one running slot against its polled ground truth. */
 function reconcileRunning(ctx, state, slot, truth, unit) {
     const now = ctx.deps.now();
@@ -384,7 +530,11 @@ function reconcileRunning(ctx, state, slot, truth, unit) {
     }
     // Ground truth says the unit is DONE while the agent still holds the slot —
     // externally-advanced state (AC3): reclaim the slot, kill the leftover agent.
-    if ((0, groundtruth_1.isVerifiedComplete)(truth.milestone, truth.closed)) {
+    // A parked milestone is deliberately NOT an advance: a detached run parks
+    // and stops — the watcher owns the tail (#468); the exit/stall rails take
+    // the agent from here.
+    if ((0, groundtruth_1.isVerifiedComplete)(truth.milestone, effectiveClosedSignal(slot, truth)) &&
+        !(0, groundtruth_1.isParkedMilestone)(truth.milestone)) {
         journal(ctx, 'external-advance', unit, {
             pid: slot.pid,
             slot: slot.id,
@@ -406,8 +556,10 @@ function reconcileRunning(ctx, state, slot, truth, unit) {
 }
 /**
  * An exited/verifying slot: verify the claimed state against ground truth
- * (AC2). Verified → complete; unverified → the same recovery ladder as a
- * stall. `via` distinguishes the journal's completion event.
+ * (AC2). Verified → complete; a ship-phase `awaiting-merge` milestone with
+ * `pr=` → parked (the detached-run exit, #468); unverified → the same
+ * recovery ladder as a stall. `via` distinguishes the journal's completion
+ * event.
  */
 function completeUnitOrRecover(ctx, state, unit, truth, via) {
     const now = ctx.deps.now();
@@ -429,7 +581,15 @@ function completeUnitOrRecover(ctx, state, unit, truth, via) {
         });
         return next;
     }
-    if ((0, groundtruth_1.isVerifiedComplete)(truth.milestone, truth.closed)) {
+    const issue = (0, journal_1.issueOfUnit)(unit);
+    const entry = issue !== null ? (0, state_1.findEntry)(next, issue) : undefined;
+    // A verified park: the agent exited having parked its PR — the watcher
+    // takes the unit (AC2's "never inferred from agent exit" cut both ways:
+    // the park IS the milestone, the merge is not).
+    if (entry !== undefined && entry.status === 'dispatched' && (0, groundtruth_1.isParkedMilestone)(truth.milestone)) {
+        return parkUnit(ctx, next, unit, truth.milestone);
+    }
+    if ((0, groundtruth_1.isVerifiedComplete)(truth.milestone, effectiveClosedSignal(slot, truth))) {
         return completeUnit(ctx, next, unit, via);
     }
     return enterRecovery(ctx, next, unit, 'verify-incomplete', 'unverified-exit', {
@@ -506,6 +666,135 @@ function requeueOrphanedDispatches(ctx, state) {
     }
     return next;
 }
+/**
+ * The PR watcher's decision pass (#468): apply polled PR truths to parked
+ * entries. Merge acceptance (AC1) requires state MERGED AND mergedAt non-null
+ * AND the issue closed — never an agent exit. Failure states (AC3) fail the
+ * unit and block transitive dependents; the engine never merges anything
+ * itself. `shipped` (not `parked`) is what unblocks dependents (AC4).
+ *
+ * Entries are re-read fresh each iteration: a mid-loop failure blocks OTHER
+ * parked entries (transitive dependents), and acting on a stale snapshot
+ * would drive an already-blocked entry through `parked → shipped`.
+ */
+function reconcileParked(ctx, state, prPoll) {
+    if (!prPoll.ran)
+        return state;
+    let next = { ...state, last_pr_poll_at: ctx.deps.now().toISOString() };
+    const parkedIssues = state.entries
+        .filter((e) => e.status === 'parked' && e.pr !== null)
+        .map((e) => e.issue);
+    for (const issue of parkedIssues) {
+        const entry = (0, state_1.findEntry)(next, issue);
+        if (!entry || entry.status !== 'parked' || entry.pr === null)
+            continue; // blocked mid-loop
+        const unit = `issue:${issue}`;
+        const truth = prPoll.truths.get(issue);
+        if (truth === undefined) {
+            if (!prPoll.truths.has(issue)) {
+                continue; // parked AFTER the poll ran (this tick) — next cadence picks it up
+            }
+            journal(ctx, 'ground-truth-unreachable', unit, {
+                detail: 'pr watch paused until truth returns',
+            });
+            continue;
+        }
+        const failWatch = (reason) => {
+            journal(ctx, 'pr-watch-failed', unit, { reason, pr: entry.pr });
+            return failUnit(ctx, next, unit, reason);
+        };
+        if (truth.blocked) {
+            next = failWatch('auto-merge-blocked');
+            continue;
+        }
+        if (truth.mergeable === 'CONFLICTING') {
+            next = failWatch('pr-conflicting');
+            continue;
+        }
+        if (truth.state === 'CLOSED' && truth.mergedAt === null) {
+            next = failWatch('pr-closed-unmerged');
+            continue;
+        }
+        if (truth.state === 'MERGED' && truth.mergedAt !== null) {
+            // AC1: the issue must ALSO be closed (a merged PR auto-closes it) —
+            // until GitHub propagates, the unit stays parked and keeps watching.
+            if (prPoll.closed.get(issue) !== true) {
+                journal(ctx, 'pr-watch-waiting', unit, {
+                    pr: entry.pr,
+                    mergedAt: truth.mergedAt,
+                    detail: 'merge seen but issue not closed — keep watching',
+                });
+                continue;
+            }
+            next = (0, state_1.transitionIssue)(next, issue, 'shipped', { reason: null }, ctx.deps.now());
+            journal(ctx, 'merge-accepted', unit, { pr: entry.pr, mergedAt: truth.mergedAt });
+            ctx.result.mergeAccepted.push(unit);
+        }
+        // OPEN (or MERGED without a date / mergeable UNKNOWN) — keep watching.
+    }
+    return next;
+}
+/**
+ * Dispatch report agents for merged units whose teardown is recorded (#468
+ * AC2): shipped + pr + cleanup + no live slot + free capacity → a slot is
+ * assigned (phase `report`) and a mechanical-tier agent spawned with the
+ * report prompt. Reports run BEFORE queue refill — a cheap report never
+ * queues behind long full-cycle runs. A unit waiting for capacity consumes
+ * zero slots (AC5) and is surfaced via `result.reportWaiting`.
+ */
+function dispatchReportAgents(ctx, state, config) {
+    let next = state;
+    for (const entry of state.entries) {
+        if (entry.status !== 'shipped' || entry.pr === null || entry.cleanup === null)
+            continue;
+        const unit = `issue:${entry.issue}`;
+        if (slotOf(next, unit) !== undefined)
+            continue; // a slot already holds the unit
+        if ((0, scheduler_1.freeCapacity)(next, config) === 0) {
+            // Full — the report waits (zero slots consumed). Count what is waiting
+            // so the wait is visible, then stop scanning.
+            ctx.result.reportWaiting = state.entries.filter((e) => e.status === 'shipped' &&
+                e.pr !== null &&
+                e.cleanup !== null &&
+                slotOf(next, `issue:${e.issue}`) === undefined).length;
+            break;
+        }
+        const now = ctx.deps.now();
+        const assigned = (0, scheduler_1.assignToIdleSlot)(next, unit, 'report', now);
+        next = assigned.state;
+        journal(ctx, 'assigned', unit, { slot: assigned.slotId, detail: 'report agent' });
+        journal(ctx, 'report-dispatched', unit, {
+            slot: assigned.slotId,
+            pr: entry.pr,
+            cleanup: entry.cleanup,
+        });
+        ctx.result.reportDispatched.push(unit);
+        next = spawnReportAgent(ctx, next, unit);
+    }
+    return next;
+}
+/**
+ * Run the teardown script for one merged unit OUTSIDE the state lock (#468
+ * AC2). Returns null when teardown must be retried next tick (setup info
+ * unreachable — a transient outage, never a failure).
+ */
+function runTeardownFor(deps, issue) {
+    const info = deps.groundTruth.setupInfo(issue);
+    const unit = `issue:${issue}`;
+    if (info === undefined) {
+        deps.journal.append((0, journal_1.unitEvent)('ground-truth-unreachable', unit, {
+            detail: 'teardown paused until truth returns',
+        }), deps.now());
+        return null;
+    }
+    if (info === null) {
+        return {
+            cleanup: 'failed-missing-setup-info',
+            detail: 'no setup milestone with worktree= found on the issue',
+        };
+    }
+    return (0, teardown_1.runTeardown)(deps.teardownExec, deps.repoDir, info);
+}
 /** Phase 3: refill — every freed slot is filled in THIS tick (AC5). */
 function dispatchAssignments(ctx, state, config) {
     const now = ctx.deps.now();
@@ -527,20 +816,77 @@ function dispatchAssignments(ctx, state, config) {
     }
     return next;
 }
+/** Entries freshly shipped whose teardown has not run yet (cleanup still null). */
+function teardownPendingIssues(state) {
+    return state.entries
+        .filter((e) => e.status === 'shipped' && e.pr !== null && e.cleanup === null)
+        .map((e) => e.issue);
+}
+/** Record teardown results on their entries + journal (the lock pass after the subprocesses). */
+function recordTeardowns(ctx, state, results) {
+    const now = ctx.deps.now();
+    let next = state;
+    for (const [issue, result] of results) {
+        const unit = `issue:${issue}`;
+        next = {
+            ...next,
+            entries: next.entries.map((e) => e.issue === issue ? { ...e, cleanup: result.cleanup, updated_at: now.toISOString() } : e),
+        };
+        journal(ctx, result.cleanup === 'done' ? 'teardown-done' : 'teardown-failed', unit, {
+            cleanup: result.cleanup,
+            detail: result.detail,
+        });
+        if (result.cleanup === 'done')
+            ctx.result.teardownDone.push(unit);
+        else
+            ctx.result.teardownFailed.push(unit);
+    }
+    return next;
+}
 /**
- * One full reconcile+refill cycle. Ground truth is polled WITHOUT the lock;
- * every state mutation happens under `store.withLock`; refills are computed in
- * the same pass, so a freed slot is reused within this tick (AC5).
+ * One full reconcile+refill cycle. Ground truth is polled WITHOUT the lock
+ * (live units AND parked PRs); every state mutation happens under
+ * `store.withLock`; refills are computed in the same pass, so a freed slot
+ * is reused within this tick (AC5). Teardown subprocesses run between two
+ * short lock passes — a slow `npx`/`git` call never holds the lock.
  */
 function tick(deps, config) {
     const dispatch = (0, dispatch_1.resolveDispatch)(config);
-    const polled = pollUnits(deps, deps.store.load());
-    return deps.store.withLock((state) => {
+    const state0 = deps.store.load();
+    const polled = pollUnits(deps, state0);
+    const prPoll = pollParkedPrs(deps, state0, dispatch);
+    const pass1 = deps.store.withLock((state) => {
         const ctx = { deps, dispatch, result: emptyResult() };
         let next = reconcileSlots(ctx, state, polled);
+        next = reconcileParked(ctx, next, prPoll);
         next = requeueOrphanedDispatches(ctx, next);
+        next = dispatchReportAgents(ctx, next, config);
         next = dispatchAssignments(ctx, next, config);
-        return { state: next, result: ctx.result };
+        return {
+            state: next,
+            result: { tick: ctx.result, teardownPending: teardownPendingIssues(next) },
+        };
+    });
+    if (pass1.teardownPending.length === 0) {
+        return pass1.tick;
+    }
+    // Teardown subprocesses (pool return / worktree remove) run OUTSIDE the
+    // lock; results land in a second short lock pass together with the report
+    // dispatch (AC2: teardown, THEN the cheap-tier report agent).
+    const results = new Map();
+    for (const issue of pass1.teardownPending) {
+        const result = runTeardownFor(deps, issue);
+        if (result !== null)
+            results.set(issue, result);
+    }
+    if (results.size === 0) {
+        return pass1.tick; // all deferred (setup info unreachable) — retried next tick
+    }
+    return deps.store.withLock((state) => {
+        const ctx = { deps, dispatch, result: pass1.tick };
+        const next = recordTeardowns(ctx, state, results);
+        const withReport = dispatchReportAgents(ctx, next, config);
+        return { state: withReport, result: ctx.result };
     });
 }
 /**