@telora/daemon 0.22.245 → 0.22.290

package/dist/supervision/stalled-team-backstop.js

@@ -0,0 +1,163 @@
+// PINNED-BY-BEGIN (generated by gen:pinned-by -- do not hand-edit; checked by lint:pinned-by)
+// Pinned by: packages/daemon/src/focus/frozen-claim-preemption.test.ts,
+//   packages/daemon/src/supervision/stall-detectors-clock-wiring.test.ts,
+//   packages/daemon/src/supervision/stalled-team-backstop-detector.test.ts
+// PINNED-BY-END
+/**
+ * The stalled-team stop -- the ONE reaper for a team that is still on the
+ * team-progress record, run INDEPENDENTLY of the completion event.
+ *
+ * Every mechanism that ends a stalled team from the completion handler runs only
+ * when the detector's `complete` event fires. A suppressed `complete` (e.g. a
+ * leaked stdin-turn count) would leave a HEALTHY, idle lead holding a focus and a
+ * governor slot with no stall escalation, no no-progress cycle and no teardown.
+ * This stop reads stillness DIRECTLY, so it holds whether the completion event
+ * is suppressed, never fires, or is latched.
+ *
+ * The decision is the stalled_team stop-registry row
+ * (supervision/stop-rows-team-stall.ts); its verdict carries the one action:
+ *   - reap_and_file: still past TELORA_STALLED_TEAM_BACKSTOP_MINUTES and the
+ *     observe-only liveness badge is NOT demoted -- record a STALLED_TEAM_REAP
+ *     firing, terminate the team (the normal close path preserves uncommitted
+ *     work) and file ONE idempotent team_failure so the wedge is visible;
+ *   - reap: still past TELORA_IDLE_TEAM_STALL_HOURS with the badge demoted --
+ *     terminate the team, no filing (the longer window protects a legit long
+ *     single tool call that a demoted signal cannot vouch for);
+ *   - observe: still past the backstop window only, badge demoted -- record the
+ *     firing and mark it unacted (so the settle sweep cannot true-positive it by
+ *     silence), terminate nothing.
+ * "Still" is judged by the ONE progress measure
+ * (completion/team-progress/team-stillness.ts): no agent event AND no movement
+ * of the diff, HEAD, issues or delivery statuses for the whole window.
+ *
+ * Two sites evaluate it: the per-focus cascade pass (team-stall-reapers.ts) and
+ * a FORCED spawn that finds the team still present
+ * (focus/frozen-claim-preemption.ts), which then skips its inline spawn.
+ *
+ * The acts it performs -- terminating the team, recording the supervision
+ * firing -- arrive through StalledTeamBackstopEffects; the production wiring is
+ * composition/team-stall-reaper-effects.ts.
+ *
+ * History: docs/daemon/history-verify.md (supervision/stalled-team-backstop.ts).
+ *
+ * @module supervision/stalled-team-backstop
+ */
+import { ESCALATION_REASONS, ESCALATION_DISPOSITIONS, withRetry, } from '@telora/daemon-core';
+import { focusBlockageCauseKey } from '../queries/escalations/cause-key.js';
+import { evaluateStop } from './stop-registry.js';
+import { createLogger } from '../log/daemon-log.js';
+const log = createLogger({ module: 'stall-detectors' });
+/**
+ * Pure decision: the stalled_team row's verdict -- whether the team is still
+ * past a window, and the one action that follows. Exported for direct unit testing.
+ */
+export function decideStalledTeam(facts) {
+    return evaluateStop('stalled_team', facts);
+}
+/**
+ * Evaluate the stalled_team row for ONE focus's team and act on its verdict,
+ * WITHOUT depending on the completion event. Returns true when the team was
+ * terminated. A genuinely working team is never touched: its record keeps
+ * moving, so its stillness stays under both windows.
+ */
+export async function checkStalledTeamBackstopForFocus(ctx, deps) {
+    if (!deps.isTeamRecoverable(ctx.focusId))
+        return false;
+    const windowMinutes = deps.resolveWindowMinutes();
+    const idleWindowHours = deps.resolveIdleWindowHours();
+    const nowMs = deps.now();
+    const lastProgressMs = deps.getLastProgressAt(ctx.focusId);
+    const verdict = decideStalledTeam({
+        clock: {
+            lastProgressMs,
+            nowMs,
+            backstopWindowMs: windowMinutes * 60_000,
+            idleWindowMs: idleWindowHours * 3_600_000,
+            actingAllowed: deps.isActingAllowed(),
+        },
+    });
+    if (!verdict.fires || verdict.action === null)
+        return false;
+    const reading = {
+        idleMinutes: Math.floor((nowMs - lastProgressMs) / 60_000),
+        windowMinutes,
+    };
+    if (verdict.action === 'reap')
+        return reapUnfiled(ctx, deps, reading, idleWindowHours);
+    // Record the firing whether or not we act -- the rate must be readable even
+    // when the mechanism is demoted to observe-only.
+    deps.recordReapFiring({
+        focusId: ctx.focusId,
+        predicted: `team wedged: executing but no progress (no agent event, no diff/HEAD/issue/status movement) for ` +
+            `~${reading.idleMinutes}m (> ${windowMinutes}m backstop), completion event not fired`,
+        now: nowMs,
+    });
+    if (verdict.action === 'observe') {
+        // Block-to-observe by a reading: the liveness badge has been shown
+        // false-positive-heavy, so this pass records and marks the firing UNACTED.
+        deps.markReapFiringUnacted(ctx.focusId);
+        log.info(`[stall-detectors] stalled-team stop OBSERVING focus "${ctx.focusName}" ` +
+            `(idle ~${reading.idleMinutes}m > ${windowMinutes}m) -- liveness signal demoted to ` +
+            `observe-only; the team is reaped only past the ${idleWindowHours}h idle window.`);
+        return false;
+    }
+    return reapAndFile(ctx, deps, reading);
+}
+/** The `reap` action: terminate a team still past the idle window, no filing. */
+function reapUnfiled(ctx, deps, reading, idleWindowHours) {
+    const recovered = deps.recoverTeam(ctx.focusId);
+    if (recovered) {
+        log.info(`[stall-detectors] Recovered idle-stalled team for focus "${ctx.focusName}" (no agent event and no ` +
+            `diff/HEAD/issue/status movement for ~${Math.floor(reading.idleMinutes / 60)}h > ${idleWindowHours}h): ` +
+            `terminated so merge-back, slot release, and delivery re-gating resume with no human action.`);
+    }
+    else {
+        log.warn(`[stall-detectors] stalled-team stop: focus "${ctx.focusName}" is idle past the idle window but ` +
+            `terminateTeam found no live team to recover (already torn down?).`);
+    }
+    return recovered;
+}
+/** The `reap_and_file` action: terminate the team and file ONE team_failure. */
+async function reapAndFile(ctx, deps, reading) {
+    const { idleMinutes, windowMinutes } = reading;
+    const recovered = deps.recoverTeam(ctx.focusId);
+    if (!recovered) {
+        log.warn(`[stall-detectors] stalled-team stop: focus "${ctx.focusName}" is idle past ` +
+            `the backstop window but terminateTeam found no live team to recover (already torn down?).`);
+        return false;
+    }
+    log.warn(`[stall-detectors] Reaped stalled team for focus "${ctx.focusName}" (no agent event and no ` +
+        `diff/HEAD/issue/status movement for ~${idleMinutes}m > ${windowMinutes}m backstop) WITHOUT a completion event: ` +
+        `terminated so wip-preserve, slot release, and delivery re-gating resume; filing a ` +
+        `team_failure so the wedge is visible.`);
+    // File ONE team_failure escalation (idempotent by cause key -- at most one open
+    // row per focus). agent_resolvable so it does not block respawn and rides into
+    // the next spawn; the agent-resolvable promotion path escalates it to the
+    // operator only if it survives unresolved.
+    const causeKey = focusBlockageCauseKey('team_failure', ctx.focusId, 'stalled_team_reap');
+    try {
+        await withRetry(() => deps.fileEscalation({
+            causeKey,
+            organizationId: ctx.organizationId,
+            sessionId: deps.getLeadSessionId(ctx.focusId) ?? '',
+            issueId: null,
+            reasonType: ESCALATION_REASONS.BLOCKED_BY_EXTERNAL,
+            disposition: ESCALATION_DISPOSITIONS.AGENT_RESOLVABLE,
+            anchor: { focusId: ctx.focusId },
+            escalationKind: 'team_failure',
+            description: `Team for focus "${ctx.focusName}" showed no progress -- no agent event and no ` +
+                `worktree, HEAD, issue or delivery-status movement -- for ~${idleMinutes} ` +
+                `minutes (> ${windowMinutes}m backstop) while still holding the focus and a ` +
+                `governor slot, with no completion event. The daemon reaped it directly from the ` +
+                `poll loop (reading liveness, not the completion event), preserving its ` +
+                `uncommitted work and releasing its slot. If the underlying cause recurs the ` +
+                `incoming team will hit it again.`,
+        }), { maxAttempts: 3, label: `file-stalled-team-reap-${ctx.focusId}` });
+    }
+    catch (err) {
+        log.warn(`[stall-detectors] stalled-team backstop: failed to file team_failure for ` +
+            `"${ctx.focusName}":`, err.message);
+    }
+    return true;
+}
+//# sourceMappingURL=stalled-team-backstop.js.map

package/dist/supervision/stalled-team-backstop.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"stalled-team-backstop.js","sourceRoot":"","sources":["../../src/supervision/stalled-team-backstop.ts"],"names":[],"mappings":"AAAA,8FAA8F;AAC9F,wEAAwE;AACxE,0EAA0E;AAC1E,2EAA2E;AAC3E,gBAAgB;AAEhB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAsCG;AAEH,OAAO,EACL,kBAAkB,EAClB,uBAAuB,EACvB,SAAS,GACV,MAAM,qBAAqB,CAAC;AAK7B,OAAO,EAAE,qBAAqB,EAAE,MAAM,qCAAqC,CAAC;AAE5E,OAAO,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAC;AAElD,OAAO,EAAE,YAAY,EAAE,MAAM,sBAAsB,CAAC;AAEpD,MAAM,GAAG,GAAG,YAAY,CAAC,EAAE,MAAM,EAAE,iBAAiB,EAAE,CAAC,CAAC;AA0DxD;;;GAGG;AACH,MAAM,UAAU,iBAAiB,CAAC,KAAuB;IACvD,OAAO,YAAY,CAAC,cAAc,EAAE,KAAK,CAAC,CAAC;AAC7C,CAAC;AAQD;;;;;GAKG;AACH,MAAM,CAAC,KAAK,UAAU,gCAAgC,CACpD,GAAsB,EACtB,IAA6B;IAE7B,IAAI,CAAC,IAAI,CAAC,iBAAiB,CAAC,GAAG,CAAC,OAAO,CAAC;QAAE,OAAO,KAAK,CAAC;IAEvD,MAAM,aAAa,GAAG,IAAI,CAAC,oBAAoB,EAAE,CAAC;IAClD,MAAM,eAAe,GAAG,IAAI,CAAC,sBAAsB,EAAE,CAAC;IACtD,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;IACzB,MAAM,cAAc,GAAG,IAAI,CAAC,iBAAiB,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;IAC3D,MAAM,OAAO,GAAG,iBAAiB,CAAC;QAChC,KAAK,EAAE;YACL,cAAc;YACd,KAAK;YACL,gBAAgB,EAAE,aAAa,GAAG,MAAM;YACxC,YAAY,EAAE,eAAe,GAAG,SAAS;YACzC,aAAa,EAAE,IAAI,CAAC,eAAe,EAAE;SACtC;KACF,CAAC,CAAC;IACH,IAAI,CAAC,OAAO,CAAC,KAAK,IAAI,OAAO,CAAC,MAAM,KAAK,IAAI;QAAE,OAAO,KAAK,CAAC;IAE5D,MAAM,OAAO,GAAmB;QAC9B,WAAW,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC,KAAK,GAAI,cAAyB,CAAC,GAAG,MAAM,CAAC;QACtE,aAAa;KACd,CAAC;IACF,IAAI,OAAO,CAAC,MAAM,KAAK,MAAM;QAAE,OAAO,WAAW,CAAC,GAAG,EAAE,IAAI,EAAE,OAAO,EAAE,eAAe,CAAC,CAAC;IACvF,4EAA4E;IAC5E,iDAAiD;IACjD,IAAI,CAAC,gBAAgB,CAAC;QACpB,OAAO,EAAE,GAAG,CAAC,OAAO;QACpB,SAAS,EACP,kGAAkG;YAClG,IAAI,OAAO,CAAC,WAAW,QAAQ,aAAa,yCAAyC;QACvF,GAAG,EAAE,KAAK;KACX,CAAC,CAAC;IACH,IAAI,OAAO,CAAC,MAAM,KAAK,SAAS,EAAE,CAAC;QACjC,mEAAmE;QACnE,2EAA2E;QAC3E,IAAI,CAAC,qBAAqB,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;QACxC,GAAG,CAAC,IAAI,CACN,wDAAwD,GAAG,CAAC,SAAS,IAAI;YACzE,UAAU,OAAO,CAAC,WAAW,OAAO,aAAa,mCAAmC;YACpF,kDAAkD,eAAe,gBAAgB,CAClF,CAAC;QACF,OAAO,KAAK,CAAC;IACf,CAAC;IACD,OAAO,WAAW,CAAC,GAAG,EAAE,IAAI,EAAE,OAAO,CAAC,CAAC;AACzC,CAAC;AAED,iFAAiF;AACjF,SAAS,WAAW,CAClB,GAAsB,EACtB,IAA6B,EAC7B,OAAuB,EACvB,eAAuB;IAEvB,MAAM,SAAS,GAAG,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;IAChD,IAAI,SAAS,EAAE,CAAC;QACd,GAAG,CAAC,IAAI,CACN,4DAA4D,GAAG,CAAC,SAAS,2BAA2B;YACpG,wCAAwC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,WAAW,GAAG,EAAE,CAAC,OAAO,eAAe,MAAM;YACxG,6FAA6F,CAC9F,CAAC;IACJ,CAAC;SAAM,CAAC;QACN,GAAG,CAAC,IAAI,CACN,+CAA+C,GAAG,CAAC,SAAS,qCAAqC;YACjG,mEAAmE,CACpE,CAAC;IACJ,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,gFAAgF;AAChF,KAAK,UAAU,WAAW,CACxB,GAAsB,EACtB,IAA6B,EAC7B,OAAuB;IAEvB,MAAM,EAAE,WAAW,EAAE,aAAa,EAAE,GAAG,OAAO,CAAC;IAC/C,MAAM,SAAS,GAAG,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;IAChD,IAAI,CAAC,SAAS,EAAE,CAAC;QACf,GAAG,CAAC,IAAI,CACN,+CAA+C,GAAG,CAAC,SAAS,iBAAiB;YAC7E,2FAA2F,CAC5F,CAAC;QACF,OAAO,KAAK,CAAC;IACf,CAAC;IACD,GAAG,CAAC,IAAI,CACN,oDAAoD,GAAG,CAAC,SAAS,2BAA2B;QAC5F,wCAAwC,WAAW,OAAO,aAAa,0CAA0C;QACjH,oFAAoF;QACpF,uCAAuC,CACxC,CAAC;IACF,gFAAgF;IAChF,+EAA+E;IAC/E,0EAA0E;IAC1E,2CAA2C;IAC3C,MAAM,QAAQ,GAAG,qBAAqB,CAAC,cAAc,EAAE,GAAG,CAAC,OAAO,EAAE,mBAAmB,CAAC,CAAC;IACzF,IAAI,CAAC;QACH,MAAM,SAAS,CACb,GAAG,EAAE,CAAC,IAAI,CAAC,cAAc,CAAC;YACxB,QAAQ;YACR,cAAc,EAAE,GAAG,CAAC,cAAc;YAClC,SAAS,EAAE,IAAI,CAAC,gBAAgB,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,EAAE;YACnD,OAAO,EAAE,IAAI;YACb,UAAU,EAAE,kBAAkB,CAAC,mBAAmB;YAClD,WAAW,EAAE,uBAAuB,CAAC,gBAAgB;YACrD,MAAM,EAAE,EAAE,OAAO,EAAE,GAAG,CAAC,OAAO,EAAE;YAChC,cAAc,EAAE,cAAc;YAC9B,WAAW,EACT,mBAAmB,GAAG,CAAC,SAAS,gDAAgD;gBAChF,6DAA6D,WAAW,GAAG;gBAC3E,cAAc,aAAa,kDAAkD;gBAC7E,kFAAkF;gBAClF,yEAAyE;gBACzE,8EAA8E;gBAC9E,kCAAkC;SACrC,CAAC,EACF,EAAE,WAAW,EAAE,CAAC,EAAE,KAAK,EAAE,0BAA0B,GAAG,CAAC,OAAO,EAAE,EAAE,CACnE,CAAC;IACJ,CAAC;IAAC,OAAO,GAAG,EAAE,CAAC;QACb,GAAG,CAAC,IAAI,CACN,2EAA2E;YAC3E,IAAI,GAAG,CAAC,SAAS,IAAI,EACpB,GAAa,CAAC,OAAO,CACvB,CAAC;IACJ,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC"}

package/dist/supervision/stop-registry.d.ts

@@ -0,0 +1,139 @@
+/**
+ * THE STOP REGISTRY: every hold, guard, watchdog, stall detector, reaper, cap,
+ * breaker and cooldown in the daemon, as one row each, evaluated in one place.
+ *
+ * "What stops or holds a team when X?" is answered here: read the rows (their
+ * condition, facts read, effect, releaser and release condition), and for any
+ * row that decides on progress, the team-progress record it reads
+ * (completion/team-progress/team-progress-measure.ts). The enforcing modules
+ * do not decide on their own -- each asks evaluateStop(rowId, facts) and acts on
+ * the verdict -- so the row IS the decision, not a description of one.
+ *
+ * Rows are declared by concern in the stop-rows-*.ts files and assembled below.
+ * A new stop is a new row: add it to the concern file it belongs to, give it
+ * characterization fixtures, and route its enforcing module through
+ * evaluateStop. The registry tests fail on a row that declares no releaser or
+ * release condition or whose fixtures do not characterize it
+ * (stop-registry.test.ts), and on a no-progress row that reads anything but the
+ * team-progress record (stop-progress-record.test.ts).
+ *
+ * Reader's guide and the row index: docs/daemon/stop-registry.md.
+ *
+ * @module supervision/stop-registry
+ */
+import { type StopRow } from './stop-row.js';
+/** Every registered stop, keyed by row id. */
+export declare const STOP_REGISTRY: {
+    readonly stalled_team: StopRow<import("./stop-rows-team-stall.js").StalledTeamFacts, import("./stop-rows-team-stall.js").StalledTeamVerdict>;
+    readonly team_outcome_dead: StopRow<import("./stop-rows-team-stall.js").TeamOutcomeDeadFacts, boolean>;
+    readonly liveness_badge: StopRow<import("./stop-rows-team-stall.js").LivenessBadgeFacts, boolean>;
+    readonly review_window_close: StopRow<import("./stop-rows-team-stall.js").ReviewWindowCloseFacts, import("./stop-rows-team-stall.js").ReviewWindowCloseVerdict>;
+} & {
+    readonly completion_non_advanceable: StopRow<import("./stop-rows-completion-stall.js").CompletionStopFacts, boolean>;
+    readonly completion_no_actionable_work: StopRow<import("./stop-rows-completion-stall.js").CompletionStopFacts, boolean>;
+    readonly terminal_error_terminate: StopRow<import("./stop-rows-completion-stall.js").TerminalErrorTerminateFacts, boolean>;
+} & {
+    readonly session_hold_expiry: StopRow<import("./stop-rows-team-session.js").SessionHoldExpiryFacts, import("./stop-rows-team-session.js").SessionHoldExpiryVerdict>;
+    readonly session_health_reap: StopRow<import("./stop-rows-team-session.js").SessionHealthReapFacts, import("./stop-rows-team-session.js").SessionHealthReapVerdict>;
+    readonly disarm_reap: StopRow<import("./stop-rows-team-session.js").DisarmReapFacts, boolean>;
+    readonly merge_resolution_hold: StopRow<{
+        mergeResolutionOutstanding: boolean;
+    }, boolean>;
+    readonly worker_wait_hold: StopRow<{
+        workersLive: boolean;
+        hasUnshownWork: boolean;
+    }, boolean>;
+    readonly unreviewed_settle: StopRow<{
+        phase: string;
+        reviewRequestedAt: string | null;
+        reviewedThroughSha: string | null;
+        assignedAgentRoleId: string | null;
+    }, boolean>;
+    readonly merge_resolution_budget: StopRow<import("./stop-rows-team-session.js").MergeResolutionBudgetFacts, boolean>;
+} & {
+    readonly spawn_cooldown: StopRow<import("./stop-rows-spawn.js").SpawnCooldownFacts, boolean>;
+    readonly respawn_cycle_exhausted: StopRow<import("./stop-rows-spawn.js").RespawnCycleExhaustedFacts, boolean>;
+    readonly provider_rate_limit_window: StopRow<import("./stop-rows-spawn.js").ProviderRateLimitWindowFacts, boolean>;
+    readonly engine_not_ready: StopRow<import("./stop-rows-spawn.js").EngineNotReadyFacts, boolean>;
+    readonly respawn_guard: StopRow<import("./stop-rows-spawn.js").RespawnGuardFacts, boolean>;
+    readonly arm_guard: StopRow<import("./stop-rows-spawn.js").ArmGuardFacts, boolean>;
+    readonly directive_verify_hold: StopRow<import("./stop-rows-spawn.js").DirectiveVerifyHoldFacts, boolean>;
+    readonly review_next_step_spawn_hold: StopRow<import("./stop-rows-spawn.js").ReviewNextStepHoldFacts, import("./stop-rows-spawn.js").ReviewNextStepHoldVerdict>;
+} & {
+    readonly review_budget_spent: StopRow<import("./stop-rows-review-spawn.js").ReviewBudgetSpentFacts, boolean>;
+    readonly review_handoff_breaker: StopRow<import("./stop-rows-review-spawn.js").ReviewHandoffBreakerFacts, boolean>;
+    readonly review_handoff_breaker_hold: StopRow<import("./stop-rows-review-spawn.js").ReviewHandoffBreakerHoldFacts, boolean>;
+    readonly review_spawn_coverage_guard: StopRow<import("./stop-rows-review-spawn.js").ReviewSpawnCoverageGuardFacts, boolean>;
+    readonly review_hold_park: StopRow<import("./stop-rows-review-spawn.js").ReviewHoldParkFacts, boolean>;
+} & {
+    readonly operator_hold: StopRow<import("./stop-rows-delivery.js").OperatorHoldFacts, boolean>;
+    readonly operator_hold_escalation: StopRow<import("./stop-rows-delivery.js").OperatorHoldEscalationFacts, import("./stop-rows-delivery.js").OperatorHoldEscalationVerdict>;
+} & {
+    readonly external_hold: StopRow<import("./stop-rows-delivery.js").ExternalHoldFacts, boolean>;
+    readonly external_hold_reference_less_stale: StopRow<import("./stop-rows-delivery.js").ExternalHoldStaleFacts, boolean>;
+} & {
+    readonly commit_verdict_hold: StopRow<import("./stop-rows-delivery.js").CommitVerdictHoldFacts, boolean>;
+    readonly advance_hold: StopRow<import("./stop-rows-delivery.js").AdvanceHoldFacts, import("./stop-rows-delivery.js").AdvanceHoldVerdict>;
+    readonly model_unavailable_verify_hold: StopRow<import("./stop-rows-delivery.js").ModelUnavailableVerifyHoldFacts, boolean>;
+    readonly incurable_model_hold: StopRow<import("./stop-rows-delivery.js").IncurableModelHoldFacts, boolean>;
+    readonly model_unavailable_done_hold: StopRow<import("./stop-rows-delivery.js").ModelUnavailableDoneHoldFacts, boolean>;
+} & {
+    readonly verify_gate_unclearable: StopRow<import("./stop-rows-verify-rerun.js").VerifyGateStallFacts, import("./stop-rows-verify-rerun.js").VerifyGateStallVerdict>;
+    readonly verify_rerun_already_passed: StopRow<import("./stop-rows-verify-rerun.js").VerifyRerunAlreadyPassedFacts, boolean>;
+    readonly verify_rerun_ran_on_head: StopRow<import("./stop-rows-verify-rerun.js").VerifyRerunRanOnHeadFacts, boolean>;
+    readonly verify_rerun_failed_on_head: StopRow<import("./stop-rows-verify-rerun.js").VerifyRerunFailedOnHeadFacts, boolean>;
+} & {
+    readonly focus_wedge: StopRow<import("./stop-rows-focus-health.js").FocusWedgeFacts, boolean>;
+    readonly circuit_wedge: StopRow<import("./stop-rows-focus-health.js").CircuitWedgeFacts, boolean>;
+} & {
+    readonly stuck_shutdown_reap: StopRow<import("./stop-rows-team-registration.js").StuckShutdownFacts, boolean>;
+    readonly dead_process_reap: StopRow<import("./stop-rows-team-registration.js").DeadProcessFacts, import("./stop-rows-team-registration.js").DeadProcessVerdict>;
+    readonly deactivated_focus_teardown: StopRow<import("./stop-rows-team-registration.js").DeactivatedFocusFacts, boolean>;
+    readonly planning_no_deliveries: StopRow<import("./stop-rows-team-registration.js").PlanningNoDeliveriesFacts, boolean>;
+    readonly completion_handler_failed: StopRow<import("./stop-rows-team-registration.js").CompletionHandlerFailedFacts, boolean>;
+} & {
+    readonly shortfall_park: StopRow<import("./stop-rows-work-holds.js").ShortfallParkFacts, boolean>;
+    readonly shortfall_adjudication_hold: StopRow<import("./stop-rows-work-holds.js").ShortfallAdjudicationFacts, boolean>;
+    readonly verify_interlock: StopRow<import("./stop-rows-work-holds.js").VerifyInterlockFacts, boolean>;
+    readonly merge_gate_coverage: StopRow<import("./stop-rows-work-holds.js").MergeGateCoverageFacts, boolean>;
+    readonly unrecorded_branch_work_hold: StopRow<import("./stop-rows-work-holds.js").UnrecordedBranchWorkFacts, boolean>;
+    readonly ratify_bar_hold: StopRow<import("./stop-rows-work-holds.js").RatifyBarFacts, boolean>;
+};
+export type StopRegistry = typeof STOP_REGISTRY;
+export type StopId = keyof StopRegistry;
+export type StopFactsOf<K extends StopId> = Parameters<StopRegistry[K]['evaluate']>[0];
+export type StopVerdictOf<K extends StopId> = ReturnType<StopRegistry[K]['evaluate']>;
+/** A row viewed without its fact/verdict types (for iteration). */
+export type AnyStopRow = StopRow<never, unknown>;
+/** Every row, in declaration order. */
+export declare function listStopRows(): readonly AnyStopRow[];
+/** Sees every evaluation (which row, whether it fired). */
+export type StopEvaluationObserver = (id: StopId, fires: boolean) => void;
+/**
+ * Watch every evaluation; null stops watching. The applied-effect tests use it
+ * to see WHICH rows decided an outcome the real pipeline produced (e.g. that
+ * only stalled_team fires on the cycle that ends a still team).
+ */
+export declare function observeStopEvaluations(observer: StopEvaluationObserver | null): void;
+/**
+ * THE evaluator. Every enforcing module decides through this call: the verdict
+ * of row `id` on `facts`.
+ */
+export declare function evaluateStop<K extends StopId>(id: K, facts: StopFactsOf<K>): StopVerdictOf<K>;
+/** Whether row `id` fires on `facts` (its verdict read through the row's `fires`). */
+export declare function stopFires<K extends StopId>(id: K, facts: StopFactsOf<K>): boolean;
+/** One row's outcome in an evaluateStops pass. */
+export interface StopEvaluation {
+    id: StopId;
+    fires: boolean;
+}
+/** Facts for any subset of rows, keyed by row id. */
+export type StopFactsById = {
+    [K in StopId]?: StopFactsOf<K>;
+};
+/**
+ * Run every row the caller supplied facts for, through the one evaluator, and
+ * report which fire. Rows with no facts supplied are not evaluated.
+ */
+export declare function evaluateStops(factsById: StopFactsById): StopEvaluation[];
+//# sourceMappingURL=stop-registry.d.ts.map

package/dist/supervision/stop-registry.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"stop-registry.d.ts","sourceRoot":"","sources":["../../src/supervision/stop-registry.ts"],"names":[],"mappings":"AAQA;;;;;;;;;;;;;;;;;;;;;;GAsBG;AAEH,OAAO,EAAwB,KAAK,OAAO,EAAE,MAAM,eAAe,CAAC;AAYnE,8CAA8C;AAC9C,eAAO,MAAM,aAAa;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;CAWzB,CAAC;AAEF,MAAM,MAAM,YAAY,GAAG,OAAO,aAAa,CAAC;AAChD,MAAM,MAAM,MAAM,GAAG,MAAM,YAAY,CAAC;AACxC,MAAM,MAAM,WAAW,CAAC,CAAC,SAAS,MAAM,IAAI,UAAU,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;AACvF,MAAM,MAAM,aAAa,CAAC,CAAC,SAAS,MAAM,IAAI,UAAU,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC;AAEtF,mEAAmE;AACnE,MAAM,MAAM,UAAU,GAAG,OAAO,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;AAEjD,uCAAuC;AACvC,wBAAgB,YAAY,IAAI,SAAS,UAAU,EAAE,CAEpD;AAED,2DAA2D;AAC3D,MAAM,MAAM,sBAAsB,GAAG,CAAC,EAAE,EAAE,MAAM,EAAE,KAAK,EAAE,OAAO,KAAK,IAAI,CAAC;AAI1E;;;;GAIG;AACH,wBAAgB,sBAAsB,CAAC,QAAQ,EAAE,sBAAsB,GAAG,IAAI,GAAG,IAAI,CAEpF;AAED;;;GAGG;AACH,wBAAgB,YAAY,CAAC,CAAC,SAAS,MAAM,EAAE,EAAE,EAAE,CAAC,EAAE,KAAK,EAAE,WAAW,CAAC,CAAC,CAAC,GAAG,aAAa,CAAC,CAAC,CAAC,CAK7F;AAED,sFAAsF;AACtF,wBAAgB,SAAS,CAAC,CAAC,SAAS,MAAM,EAAE,EAAE,EAAE,CAAC,EAAE,KAAK,EAAE,WAAW,CAAC,CAAC,CAAC,GAAG,OAAO,CAGjF;AAED,kDAAkD;AAClD,MAAM,WAAW,cAAc;IAC7B,EAAE,EAAE,MAAM,CAAC;IACX,KAAK,EAAE,OAAO,CAAC;CAChB;AAED,qDAAqD;AACrD,MAAM,MAAM,aAAa,GAAG;KAAG,CAAC,IAAI,MAAM,CAAC,CAAC,EAAE,WAAW,CAAC,CAAC,CAAC;CAAE,CAAC;AAE/D;;;GAGG;AACH,wBAAgB,aAAa,CAAC,SAAS,EAAE,aAAa,GAAG,cAAc,EAAE,CAQxE"}

package/dist/supervision/stop-registry.js

@@ -0,0 +1,86 @@
+// PINNED-BY-BEGIN (generated by gen:pinned-by -- do not hand-edit; checked by lint:pinned-by)
+// Pinned by: packages/daemon/src/completion/completion-event/stall-termination-authority.test.ts,
+//   packages/daemon/src/focus-stage-lifecycle/ratify-bar-gate.test.ts,
+//   packages/daemon/src/supervision/stop-inventory.test.ts,
+//   packages/daemon/src/supervision/stop-progress-record.test.ts,
+//   packages/daemon/src/supervision/stop-registry.test.ts
+// PINNED-BY-END
+/**
+ * THE STOP REGISTRY: every hold, guard, watchdog, stall detector, reaper, cap,
+ * breaker and cooldown in the daemon, as one row each, evaluated in one place.
+ *
+ * "What stops or holds a team when X?" is answered here: read the rows (their
+ * condition, facts read, effect, releaser and release condition), and for any
+ * row that decides on progress, the team-progress record it reads
+ * (completion/team-progress/team-progress-measure.ts). The enforcing modules
+ * do not decide on their own -- each asks evaluateStop(rowId, facts) and acts on
+ * the verdict -- so the row IS the decision, not a description of one.
+ *
+ * Rows are declared by concern in the stop-rows-*.ts files and assembled below.
+ * A new stop is a new row: add it to the concern file it belongs to, give it
+ * characterization fixtures, and route its enforcing module through
+ * evaluateStop. The registry tests fail on a row that declares no releaser or
+ * release condition or whose fixtures do not characterize it
+ * (stop-registry.test.ts), and on a no-progress row that reads anything but the
+ * team-progress record (stop-progress-record.test.ts).
+ *
+ * Reader's guide and the row index: docs/daemon/stop-registry.md.
+ *
+ * @module supervision/stop-registry
+ */
+import { combineStopRowTables } from './stop-row.js';
+import { TEAM_STALL_STOP_ROWS } from './stop-rows-team-stall.js';
+import { COMPLETION_STALL_STOP_ROWS } from './stop-rows-completion-stall.js';
+import { TEAM_SESSION_STOP_ROWS } from './stop-rows-team-session.js';
+import { SPAWN_STOP_ROWS } from './stop-rows-spawn.js';
+import { REVIEW_SPAWN_STOP_ROWS } from './stop-rows-review-spawn.js';
+import { DELIVERY_STOP_ROWS } from './stop-rows-delivery.js';
+import { VERIFY_RERUN_STOP_ROWS } from './stop-rows-verify-rerun.js';
+import { FOCUS_HEALTH_STOP_ROWS } from './stop-rows-focus-health.js';
+import { TEAM_REGISTRATION_STOP_ROWS } from './stop-rows-team-registration.js';
+import { WORK_HOLD_STOP_ROWS } from './stop-rows-work-holds.js';
+/** Every registered stop, keyed by row id. */
+export const STOP_REGISTRY = combineStopRowTables(TEAM_STALL_STOP_ROWS, COMPLETION_STALL_STOP_ROWS, TEAM_SESSION_STOP_ROWS, SPAWN_STOP_ROWS, REVIEW_SPAWN_STOP_ROWS, DELIVERY_STOP_ROWS, VERIFY_RERUN_STOP_ROWS, FOCUS_HEALTH_STOP_ROWS, TEAM_REGISTRATION_STOP_ROWS, WORK_HOLD_STOP_ROWS);
+/** Every row, in declaration order. */
+export function listStopRows() {
+    return Object.values(STOP_REGISTRY);
+}
+let evaluationObserver = null;
+/**
+ * Watch every evaluation; null stops watching. The applied-effect tests use it
+ * to see WHICH rows decided an outcome the real pipeline produced (e.g. that
+ * only stalled_team fires on the cycle that ends a still team).
+ */
+export function observeStopEvaluations(observer) {
+    evaluationObserver = observer;
+}
+/**
+ * THE evaluator. Every enforcing module decides through this call: the verdict
+ * of row `id` on `facts`.
+ */
+export function evaluateStop(id, facts) {
+    const row = STOP_REGISTRY[id];
+    const verdict = row.evaluate(facts);
+    evaluationObserver?.(id, row.fires(verdict));
+    return verdict;
+}
+/** Whether row `id` fires on `facts` (its verdict read through the row's `fires`). */
+export function stopFires(id, facts) {
+    const row = STOP_REGISTRY[id];
+    return row.fires(evaluateStop(id, facts));
+}
+/**
+ * Run every row the caller supplied facts for, through the one evaluator, and
+ * report which fire. Rows with no facts supplied are not evaluated.
+ */
+export function evaluateStops(factsById) {
+    const out = [];
+    for (const id of Object.keys(STOP_REGISTRY)) {
+        if (!(id in factsById))
+            continue;
+        const facts = factsById[id];
+        out.push({ id, fires: stopFires(id, facts) });
+    }
+    return out;
+}
+//# sourceMappingURL=stop-registry.js.map

package/dist/supervision/stop-registry.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"stop-registry.js","sourceRoot":"","sources":["../../src/supervision/stop-registry.ts"],"names":[],"mappings":"AAAA,8FAA8F;AAC9F,kGAAkG;AAClG,uEAAuE;AACvE,4DAA4D;AAC5D,kEAAkE;AAClE,0DAA0D;AAC1D,gBAAgB;AAEhB;;;;;;;;;;;;;;;;;;;;;;GAsBG;AAEH,OAAO,EAAE,oBAAoB,EAAgB,MAAM,eAAe,CAAC;AACnE,OAAO,EAAE,oBAAoB,EAAE,MAAM,2BAA2B,CAAC;AACjE,OAAO,EAAE,0BAA0B,EAAE,MAAM,iCAAiC,CAAC;AAC7E,OAAO,EAAE,sBAAsB,EAAE,MAAM,6BAA6B,CAAC;AACrE,OAAO,EAAE,eAAe,EAAE,MAAM,sBAAsB,CAAC;AACvD,OAAO,EAAE,sBAAsB,EAAE,MAAM,6BAA6B,CAAC;AACrE,OAAO,EAAE,kBAAkB,EAAE,MAAM,yBAAyB,CAAC;AAC7D,OAAO,EAAE,sBAAsB,EAAE,MAAM,6BAA6B,CAAC;AACrE,OAAO,EAAE,sBAAsB,EAAE,MAAM,6BAA6B,CAAC;AACrE,OAAO,EAAE,2BAA2B,EAAE,MAAM,kCAAkC,CAAC;AAC/E,OAAO,EAAE,mBAAmB,EAAE,MAAM,2BAA2B,CAAC;AAEhE,8CAA8C;AAC9C,MAAM,CAAC,MAAM,aAAa,GAAG,oBAAoB,CAC/C,oBAAoB,EACpB,0BAA0B,EAC1B,sBAAsB,EACtB,eAAe,EACf,sBAAsB,EACtB,kBAAkB,EAClB,sBAAsB,EACtB,sBAAsB,EACtB,2BAA2B,EAC3B,mBAAmB,CACpB,CAAC;AAUF,uCAAuC;AACvC,MAAM,UAAU,YAAY;IAC1B,OAAO,MAAM,CAAC,MAAM,CAAC,aAAa,CAAqC,CAAC;AAC1E,CAAC;AAKD,IAAI,kBAAkB,GAAkC,IAAI,CAAC;AAE7D;;;;GAIG;AACH,MAAM,UAAU,sBAAsB,CAAC,QAAuC;IAC5E,kBAAkB,GAAG,QAAQ,CAAC;AAChC,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,YAAY,CAAmB,EAAK,EAAE,KAAqB;IACzE,MAAM,GAAG,GAAG,aAAa,CAAC,EAAE,CAAyD,CAAC;IACtF,MAAM,OAAO,GAAG,GAAG,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC;IACpC,kBAAkB,EAAE,CAAC,EAAE,EAAE,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC;IAC7C,OAAO,OAAO,CAAC;AACjB,CAAC;AAED,sFAAsF;AACtF,MAAM,UAAU,SAAS,CAAmB,EAAK,EAAE,KAAqB;IACtE,MAAM,GAAG,GAAG,aAAa,CAAC,EAAE,CAAyD,CAAC;IACtF,OAAO,GAAG,CAAC,KAAK,CAAC,YAAY,CAAC,EAAE,EAAE,KAAK,CAAC,CAAC,CAAC;AAC5C,CAAC;AAWD;;;GAGG;AACH,MAAM,UAAU,aAAa,CAAC,SAAwB;IACpD,MAAM,GAAG,GAAqB,EAAE,CAAC;IACjC,KAAK,MAAM,EAAE,IAAI,MAAM,CAAC,IAAI,CAAC,aAAa,CAAa,EAAE,CAAC;QACxD,IAAI,CAAC,CAAC,EAAE,IAAI,SAAS,CAAC;YAAE,SAAS;QACjC,MAAM,KAAK,GAAG,SAAS,CAAC,EAAE,CAA2B,CAAC;QACtD,GAAG,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,KAAK,EAAE,SAAS,CAAC,EAAE,EAAE,KAAK,CAAC,EAAE,CAAC,CAAC;IAChD,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC"}

package/dist/supervision/stop-row.d.ts

@@ -0,0 +1,99 @@
+/**
+ * The shape of one stop-registry row, and the helper every row file declares
+ * its rows with.
+ *
+ * A STOP is anything that can stop, hold or end a team, or hold its work out of
+ * a transition: a hold, guard, watchdog, stall detector, reaper, cap, breaker or
+ * cooldown. Each one is a row naming five things a reader needs without opening
+ * the enforcing module -- its condition, the facts it reads, what it does when
+ * it fires, who releases it and under what condition -- plus the ONE decision
+ * function that answers "does it fire on these facts?". The decision lives in
+ * the row; the enforcing module asks the registry (supervision/stop-registry.ts
+ * evaluateStop) rather than deciding on its own.
+ *
+ * Every row also carries its characterization fixtures: fact sets on which it
+ * must fire (trigger) and fact sets on which it must not (release). The registry
+ * tests run every row over its fixtures through the one evaluator.
+ *
+ * This module is a leaf (types only, no imports) so every row file and the
+ * registry can depend on it without a cycle.
+ *
+ * @module supervision/stop-row
+ */
+/** The eight families of stop the registry covers. */
+export type StopKind = 'hold' | 'guard' | 'watchdog' | 'stall_detector' | 'reaper' | 'cap' | 'breaker' | 'cooldown';
+/**
+ * The fact every no-progress row must read, and the only one it may read about
+ * whether the team moved: the team-progress record
+ * (completion/team-progress/team-progress-measure.ts, observed through
+ * completion/team-progress/team-stillness.ts).
+ */
+export declare const TEAM_PROGRESS_RECORD_FACT = "team-progress record";
+/** One registered stop. `F` = the facts its decision reads, `V` = its verdict. */
+export interface StopRow<F, V> {
+    /** Stable snake_case id; the key the enforcing module evaluates it by. */
+    readonly id: string;
+    readonly kind: StopKind;
+    /**
+     * The ONE condition this row stops or holds on, as a snake_case key. No two
+     * rows share a key (stop-registry.test.ts): a condition enforced from two
+     * sites is one row evaluated by both, never two rows that can drift apart.
+     */
+    readonly stopsOn: string;
+    /** The src-relative module that acts on the verdict (the enforcement site). */
+    readonly enforcedBy: string;
+    /** When it fires, in one sentence. */
+    readonly condition: string;
+    /** Every fact the decision reads (fields, tables, clocks, records). */
+    readonly factsRead: readonly string[];
+    /** What happens to the team / focus / delivery when it fires. */
+    readonly effect: string;
+    /** Who or what releases it. Never blank: a stop with no releaser is a wedge. */
+    readonly releaser: string;
+    /** The condition under which it releases. Never blank. */
+    readonly releaseCondition: string;
+    /**
+     * True when the row decides on whether a team made progress. Such a row must
+     * read the team-progress record and no other activity source
+     * (TEAM_PROGRESS_RECORD_FACT).
+     */
+    readonly decidesOnProgress?: boolean;
+    /** The one decision: the verdict on these facts. Pure. */
+    readonly evaluate: (facts: F) => V;
+    /** Whether a verdict means the stop fires (holds / stops / ends). */
+    readonly fires: (verdict: V) => boolean;
+    /** Fact sets pinning the trigger and the release behaviour. */
+    readonly characterization: {
+        readonly trigger: readonly F[];
+        readonly release: readonly F[];
+    };
+}
+/** Declare a row whose verdict is a plain boolean (fires = the verdict). */
+export declare function booleanStopRow<F>(row: Omit<StopRow<F, boolean>, 'fires'>): StopRow<F, boolean>;
+/** Declare a row with a structured verdict and an explicit `fires`. */
+export declare function stopRow<F, V>(row: StopRow<F, V>): StopRow<F, V>;
+/** A row viewed without its fact/verdict types, for declaration checks. */
+export type StopRowDeclaration = Pick<StopRow<never, unknown>, 'id' | 'kind' | 'stopsOn' | 'enforcedBy' | 'condition' | 'factsRead' | 'effect' | 'releaser' | 'releaseCondition'>;
+/**
+ * What a row fails to declare. Empty = well-formed. A stop with no releaser or
+ * no release condition is a hold with no reachable close-half, so both are
+ * required, as are the condition, the facts it reads and its effect.
+ */
+export declare function stopRowDeclarationDefects(row: StopRowDeclaration): string[];
+/**
+ * The stop conditions two or more rows claim, each with the ids that claim it.
+ * Empty = every condition is enforced by exactly one row.
+ */
+export declare function duplicateStopConditions(rows: readonly Pick<StopRowDeclaration, 'id' | 'stopsOn'>[]): Array<{
+    stopsOn: string;
+    ids: string[];
+}>;
+type UnionToIntersection<U> = (U extends unknown ? (u: U) => void : never) extends (i: infer I) => void ? I : never;
+/**
+ * Combine concern row tables into one table keyed by row id. A row id declared
+ * by two tables THROWS at module load: a later table can never silently replace
+ * an earlier row (the hazard of assembling tables by successive spreads).
+ */
+export declare function combineStopRowTables<T extends readonly Readonly<Record<string, unknown>>[]>(...tables: T): UnionToIntersection<T[number]>;
+export {};
+//# sourceMappingURL=stop-row.d.ts.map

package/dist/supervision/stop-row.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"stop-row.d.ts","sourceRoot":"","sources":["../../src/supervision/stop-row.ts"],"names":[],"mappings":"AAKA;;;;;;;;;;;;;;;;;;;;;GAqBG;AAEH,sDAAsD;AACtD,MAAM,MAAM,QAAQ,GAChB,MAAM,GACN,OAAO,GACP,UAAU,GACV,gBAAgB,GAChB,QAAQ,GACR,KAAK,GACL,SAAS,GACT,UAAU,CAAC;AAEf;;;;;GAKG;AACH,eAAO,MAAM,yBAAyB,yBAAyB,CAAC;AAEhE,kFAAkF;AAClF,MAAM,WAAW,OAAO,CAAC,CAAC,EAAE,CAAC;IAC3B,0EAA0E;IAC1E,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;IACxB;;;;OAIG;IACH,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,+EAA+E;IAC/E,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,sCAAsC;IACtC,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,uEAAuE;IACvE,QAAQ,CAAC,SAAS,EAAE,SAAS,MAAM,EAAE,CAAC;IACtC,iEAAiE;IACjE,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,gFAAgF;IAChF,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,0DAA0D;IAC1D,QAAQ,CAAC,gBAAgB,EAAE,MAAM,CAAC;IAClC;;;;OAIG;IACH,QAAQ,CAAC,iBAAiB,CAAC,EAAE,OAAO,CAAC;IACrC,0DAA0D;IAC1D,QAAQ,CAAC,QAAQ,EAAE,CAAC,KAAK,EAAE,CAAC,KAAK,CAAC,CAAC;IACnC,qEAAqE;IACrE,QAAQ,CAAC,KAAK,EAAE,CAAC,OAAO,EAAE,CAAC,KAAK,OAAO,CAAC;IACxC,+DAA+D;IAC/D,QAAQ,CAAC,gBAAgB,EAAE;QACzB,QAAQ,CAAC,OAAO,EAAE,SAAS,CAAC,EAAE,CAAC;QAC/B,QAAQ,CAAC,OAAO,EAAE,SAAS,CAAC,EAAE,CAAC;KAChC,CAAC;CACH;AAED,4EAA4E;AAC5E,wBAAgB,cAAc,CAAC,CAAC,EAC9B,GAAG,EAAE,IAAI,CAAC,OAAO,CAAC,CAAC,EAAE,OAAO,CAAC,EAAE,OAAO,CAAC,GACtC,OAAO,CAAC,CAAC,EAAE,OAAO,CAAC,CAErB;AAED,uEAAuE;AACvE,wBAAgB,OAAO,CAAC,CAAC,EAAE,CAAC,EAAE,GAAG,EAAE,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC,CAE/D;AAED,2EAA2E;AAC3E,MAAM,MAAM,kBAAkB,GAAG,IAAI,CACnC,OAAO,CAAC,KAAK,EAAE,OAAO,CAAC,EACvB,IAAI,GAAG,MAAM,GAAG,SAAS,GAAG,YAAY,GAAG,WAAW,GAAG,WAAW,GAAG,QAAQ,GAAG,UAAU,GAAG,kBAAkB,CAClH,CAAC;AAIF;;;;GAIG;AACH,wBAAgB,yBAAyB,CAAC,GAAG,EAAE,kBAAkB,GAAG,MAAM,EAAE,CAW3E;AAED;;;GAGG;AACH,wBAAgB,uBAAuB,CACrC,IAAI,EAAE,SAAS,IAAI,CAAC,kBAAkB,EAAE,IAAI,GAAG,SAAS,CAAC,EAAE,GAC1D,KAAK,CAAC;IAAE,OAAO,EAAE,MAAM,CAAC;IAAC,GAAG,EAAE,MAAM,EAAE,CAAA;CAAE,CAAC,CAU3C;AAED,KAAK,mBAAmB,CAAC,CAAC,IAAI,CAAC,CAAC,SAAS,OAAO,GAAG,CAAC,CAAC,EAAE,CAAC,KAAK,IAAI,GAAG,KAAK,CAAC,SAAS,CAAC,CAAC,EAAE,MAAM,CAAC,KAAK,IAAI,GAAG,CAAC,GAAG,KAAK,CAAC;AAEpH;;;;GAIG;AACH,wBAAgB,oBAAoB,CAAC,CAAC,SAAS,SAAS,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,EAAE,EACzF,GAAG,MAAM,EAAE,CAAC,GACX,mBAAmB,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAShC"}

package/dist/supervision/stop-row.js

@@ -0,0 +1,77 @@
+// PINNED-BY-BEGIN (generated by gen:pinned-by -- do not hand-edit; checked by lint:pinned-by)
+// Pinned by: packages/daemon/src/supervision/stop-progress-record.test.ts,
+//   packages/daemon/src/supervision/stop-registry.test.ts
+// PINNED-BY-END
+/**
+ * The fact every no-progress row must read, and the only one it may read about
+ * whether the team moved: the team-progress record
+ * (completion/team-progress/team-progress-measure.ts, observed through
+ * completion/team-progress/team-stillness.ts).
+ */
+export const TEAM_PROGRESS_RECORD_FACT = 'team-progress record';
+/** Declare a row whose verdict is a plain boolean (fires = the verdict). */
+export function booleanStopRow(row) {
+    return { ...row, fires: (verdict) => verdict };
+}
+/** Declare a row with a structured verdict and an explicit `fires`. */
+export function stopRow(row) {
+    return row;
+}
+const isBlank = (s) => s === undefined || s.trim() === '';
+/**
+ * What a row fails to declare. Empty = well-formed. A stop with no releaser or
+ * no release condition is a hold with no reachable close-half, so both are
+ * required, as are the condition, the facts it reads and its effect.
+ */
+export function stopRowDeclarationDefects(row) {
+    const defects = [];
+    if (isBlank(row.id))
+        defects.push('id');
+    if (isBlank(row.stopsOn))
+        defects.push('stopsOn');
+    if (isBlank(row.enforcedBy))
+        defects.push('enforcedBy');
+    if (isBlank(row.condition))
+        defects.push('condition');
+    if (row.factsRead.length === 0 || row.factsRead.some(isBlank))
+        defects.push('factsRead');
+    if (isBlank(row.effect))
+        defects.push('effect');
+    if (isBlank(row.releaser))
+        defects.push('releaser');
+    if (isBlank(row.releaseCondition))
+        defects.push('releaseCondition');
+    return defects;
+}
+/**
+ * The stop conditions two or more rows claim, each with the ids that claim it.
+ * Empty = every condition is enforced by exactly one row.
+ */
+export function duplicateStopConditions(rows) {
+    const byCondition = new Map();
+    for (const row of rows) {
+        const ids = byCondition.get(row.stopsOn) ?? [];
+        ids.push(row.id);
+        byCondition.set(row.stopsOn, ids);
+    }
+    return [...byCondition.entries()]
+        .filter(([, ids]) => ids.length > 1)
+        .map(([stopsOn, ids]) => ({ stopsOn, ids }));
+}
+/**
+ * Combine concern row tables into one table keyed by row id. A row id declared
+ * by two tables THROWS at module load: a later table can never silently replace
+ * an earlier row (the hazard of assembling tables by successive spreads).
+ */
+export function combineStopRowTables(...tables) {
+    const combined = {};
+    for (const table of tables) {
+        for (const [id, row] of Object.entries(table)) {
+            if (Object.hasOwn(combined, id))
+                throw new Error(`stop row "${id}" is declared by two row tables`);
+            combined[id] = row;
+        }
+    }
+    return combined;
+}
+//# sourceMappingURL=stop-row.js.map

package/dist/supervision/stop-row.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"stop-row.js","sourceRoot":"","sources":["../../src/supervision/stop-row.ts"],"names":[],"mappings":"AAAA,8FAA8F;AAC9F,2EAA2E;AAC3E,0DAA0D;AAC1D,gBAAgB;AAoChB;;;;;GAKG;AACH,MAAM,CAAC,MAAM,yBAAyB,GAAG,sBAAsB,CAAC;AA0ChE,4EAA4E;AAC5E,MAAM,UAAU,cAAc,CAC5B,GAAuC;IAEvC,OAAO,EAAE,GAAG,GAAG,EAAE,KAAK,EAAE,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,EAAE,CAAC;AACjD,CAAC;AAED,uEAAuE;AACvE,MAAM,UAAU,OAAO,CAAO,GAAkB;IAC9C,OAAO,GAAG,CAAC;AACb,CAAC;AAQD,MAAM,OAAO,GAAG,CAAC,CAAqB,EAAW,EAAE,CAAC,CAAC,KAAK,SAAS,IAAI,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,CAAC;AAEvF;;;;GAIG;AACH,MAAM,UAAU,yBAAyB,CAAC,GAAuB;IAC/D,MAAM,OAAO,GAAa,EAAE,CAAC;IAC7B,IAAI,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC;QAAE,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACxC,IAAI,OAAO,CAAC,GAAG,CAAC,OAAO,CAAC;QAAE,OAAO,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;IAClD,IAAI,OAAO,CAAC,GAAG,CAAC,UAAU,CAAC;QAAE,OAAO,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC;IACxD,IAAI,OAAO,CAAC,GAAG,CAAC,SAAS,CAAC;QAAE,OAAO,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;IACtD,IAAI,GAAG,CAAC,SAAS,CAAC,MAAM,KAAK,CAAC,IAAI,GAAG,CAAC,SAAS,CAAC,IAAI,CAAC,OAAO,CAAC;QAAE,OAAO,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;IACzF,IAAI,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC;QAAE,OAAO,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;IAChD,IAAI,OAAO,CAAC,GAAG,CAAC,QAAQ,CAAC;QAAE,OAAO,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;IACpD,IAAI,OAAO,CAAC,GAAG,CAAC,gBAAgB,CAAC;QAAE,OAAO,CAAC,IAAI,CAAC,kBAAkB,CAAC,CAAC;IACpE,OAAO,OAAO,CAAC;AACjB,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,uBAAuB,CACrC,IAA2D;IAE3D,MAAM,WAAW,GAAG,IAAI,GAAG,EAAoB,CAAC;IAChD,KAAK,MAAM,GAAG,IAAI,IAAI,EAAE,CAAC;QACvB,MAAM,GAAG,GAAG,WAAW,CAAC,GAAG,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC;QAC/C,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QACjB,WAAW,CAAC,GAAG,CAAC,GAAG,CAAC,OAAO,EAAE,GAAG,CAAC,CAAC;IACpC,CAAC;IACD,OAAO,CAAC,GAAG,WAAW,CAAC,OAAO,EAAE,CAAC;SAC9B,MAAM,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,MAAM,GAAG,CAAC,CAAC;SACnC,GAAG,CAAC,CAAC,CAAC,OAAO,EAAE,GAAG,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,OAAO,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC;AACjD,CAAC;AAID;;;;GAIG;AACH,MAAM,UAAU,oBAAoB,CAClC,GAAG,MAAS;IAEZ,MAAM,QAAQ,GAA4B,EAAE,CAAC;IAC7C,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;QAC3B,KAAK,MAAM,CAAC,EAAE,EAAE,GAAG,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;YAC9C,IAAI,MAAM,CAAC,MAAM,CAAC,QAAQ,EAAE,EAAE,CAAC;gBAAE,MAAM,IAAI,KAAK,CAAC,aAAa,EAAE,iCAAiC,CAAC,CAAC;YACnG,QAAQ,CAAC,EAAE,CAAC,GAAG,GAAG,CAAC;QACrB,CAAC;IACH,CAAC;IACD,OAAO,QAA0C,CAAC;AACpD,CAAC"}

package/dist/supervision/stop-rows-completion-stall.d.ts

@@ -0,0 +1,26 @@
+/**
+ * The completion decision's facts the terminating rows read. The completion
+ * layer's CompletionDecisionFacts is assignable to it.
+ */
+export interface CompletionStopFacts {
+    /** The team owns work it can act on (a planning delivery, or an actionable one with an open issue). */
+    teamHasActionableWork: boolean;
+    /** A prior progress snapshot exists AND differs from this cycle's. */
+    advancedThisCycle: boolean;
+    /** A remaining agent-actionable delivery is structurally non-advanceable. */
+    hasNonAdvanceableStuck: boolean;
+    /** A non-terminal delivery appeared that the team has never been told about. */
+    hasNewlyAppearedDelivery: boolean;
+}
+/** Facts for the terminal-error termination. */
+export interface TerminalErrorTerminateFacts {
+    sessionType: 'coding' | 'review';
+    /** The completion result carried is_error. */
+    resultIsError: boolean;
+}
+export declare const COMPLETION_STALL_STOP_ROWS: {
+    readonly completion_non_advanceable: import("./stop-row.js").StopRow<CompletionStopFacts, boolean>;
+    readonly completion_no_actionable_work: import("./stop-row.js").StopRow<CompletionStopFacts, boolean>;
+    readonly terminal_error_terminate: import("./stop-row.js").StopRow<TerminalErrorTerminateFacts, boolean>;
+};
+//# sourceMappingURL=stop-rows-completion-stall.d.ts.map

package/dist/supervision/stop-rows-completion-stall.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"stop-rows-completion-stall.d.ts","sourceRoot":"","sources":["../../src/supervision/stop-rows-completion-stall.ts"],"names":[],"mappings":"AAyBA;;;GAGG;AACH,MAAM,WAAW,mBAAmB;IAClC,uGAAuG;IACvG,qBAAqB,EAAE,OAAO,CAAC;IAC/B,sEAAsE;IACtE,iBAAiB,EAAE,OAAO,CAAC;IAC3B,6EAA6E;IAC7E,sBAAsB,EAAE,OAAO,CAAC;IAChC,gFAAgF;IAChF,wBAAwB,EAAE,OAAO,CAAC;CACnC;AAED,gDAAgD;AAChD,MAAM,WAAW,2BAA2B;IAC1C,WAAW,EAAE,QAAQ,GAAG,QAAQ,CAAC;IACjC,8CAA8C;IAC9C,aAAa,EAAE,OAAO,CAAC;CACxB;AAiBD,eAAO,MAAM,0BAA0B;;;;CA0F7B,CAAC"}