@telora/daemon 0.24.42 → 0.24.55

package/dist/supervision/focus-liveness.d.ts

@@ -0,0 +1,89 @@
+/**
+ * THE LIVENESS DETECTOR: an armed focus whose decided next actor does not move
+ * it is ONE condition, read off the one next-step decision
+ * (supervision/focus-next-step.ts) -- not a predicate per stall shape.
+ *
+ * Each poll the detector is handed a focus's decided step. The actors it
+ * watches are the ones that must START for the focus to move: a coding team, a
+ * gate run at HEAD, a review, the merge of a settled branch. It keys what it sees
+ * on (step, HEAD, review window) -- the reason is left out, so a team going live does not look like a
+ * new answer -- and counts, while the key is unchanged:
+ *   - not-started polls: the actor is neither live nor in flight (a queued spawn
+ *     directive is not started: it may wait on a cooldown or a slot);
+ *   - starts: the actor went live -- a review re-fired on an unchanged range, a
+ *     coding team that committed nothing -- and the focus still did not move.
+ * A new key (a commit, a new step, a window opened or closed) starts over.
+ *
+ * WHAT IT DOES:
+ *   - at LIVENESS_START_CODING_POLLS not-started polls on a coding step, it asks
+ *     its caller to start the coding team itself (a daemon coding respawn naming
+ *     the reason) -- once per key. The ready-focus path spawns only for
+ *     actionable deliveries, so a coding answer for uncommitted work, or for a
+ *     failed HEAD's rework on a verify-only focus, has no other starter. A start
+ *     the caller could not make (the failed HEAD's rework Bug could not be filed
+ *     or re-opened) is handed back (unmarkFocusLivenessCodingStarted), so the next
+ *     poll asks again -- the caller queues nothing until it can;
+ *   - at the stall (the focus_next_actor_stalled stop-registry row: not-started
+ *     polls or starts past their bounds) it asks its caller to file ONE
+ *     agent-resolvable observation for the key, and marks the focus stalled so
+ *     the stranded-review re-fire stops queueing a review that cannot move it
+ *     (focus/review-refire-gate.ts).
+ * A merge never reads as started (no step answers a merge in flight), so its
+ * bound is the longer LIVENESS_MERGE_STALL_POLLS: a completion merge waits on its
+ * candidate's CI judgment before it lands. Holds, done and an unreadable state are
+ * not counted: a hold names its own releaser (the decision's exhaustive test
+ * proves it reachable), and an unreadable state is bounded by the pending-spawn
+ * deferral. A focus that is not armed is
+ * forgotten.
+ *
+ * In memory: a restart starts every count over.
+ *
+ * @module supervision/focus-liveness
+ */
+import type { FocusNextStep } from './focus-next-step.js';
+/** Not-started polls on a coding step before the detector starts the coding team itself. */
+export declare const LIVENESS_START_CODING_POLLS = 4;
+/** Not-started polls on an unchanged key before the stall is reported (10 minutes at the 30s poll). */
+export declare const LIVENESS_STALL_POLLS = 20;
+/** Not-started polls on an unchanged merge step before the stall is reported (an hour at the 30s poll: the candidate's CI judges first). */
+export declare const LIVENESS_MERGE_STALL_POLLS = 120;
+/** Starts of the decided actor on an unchanged key before the stall is reported. */
+export declare const LIVENESS_STALL_STARTS = 3;
+/** The actors whose start moves a focus. */
+export type WatchedStep = 'coding' | 'gate_run' | 'review' | 'merge';
+/** What the detector is handed for one focus this poll. */
+export interface LivenessObservation {
+    focusId: string;
+    next: FocusNextStep;
+    /** The HEAD the step was decided at. */
+    head: string | null;
+    /** review_requested_at. */
+    reviewWindow: string | null;
+}
+/** What the caller does this poll. */
+export type LivenessAct = {
+    act: 'none';
+} | {
+    act: 'start_coding';
+    key: string;
+    notStartedPolls: number;
+} | {
+    act: 'report';
+    key: string;
+    step: WatchedStep;
+    notStartedPolls: number;
+    starts: number;
+};
+/** Test-only: forget every count. */
+export declare function __resetFocusLivenessForTests(): void;
+/** Forget a focus (it is no longer armed, or its state is unreadable this poll). */
+export declare function forgetFocusLiveness(focusId: string): void;
+/** Whether the detector has reported the focus's current key stalled. */
+export declare function focusLivenessStalled(focusId: string): boolean;
+/** Count one poll of a focus's decided step and say what the caller does (module header). */
+export declare function observeFocusLiveness(obs: LivenessObservation): LivenessAct;
+/** A coding start the caller could not make: the next poll asks for it again. */
+export declare function unmarkFocusLivenessCodingStarted(focusId: string, key: string): void;
+/** A report the caller could not file: the next poll reports it again. */
+export declare function unmarkFocusLivenessReported(focusId: string, key: string): void;
+//# sourceMappingURL=focus-liveness.d.ts.map

package/dist/supervision/focus-liveness.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"focus-liveness.d.ts","sourceRoot":"","sources":["../../src/supervision/focus-liveness.ts"],"names":[],"mappings":"AASA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAyCG;AAEH,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,sBAAsB,CAAC;AAG1D,4FAA4F;AAC5F,eAAO,MAAM,2BAA2B,IAAI,CAAC;AAE7C,uGAAuG;AACvG,eAAO,MAAM,oBAAoB,KAAK,CAAC;AAEvC,4IAA4I;AAC5I,eAAO,MAAM,0BAA0B,MAAM,CAAC;AAE9C,oFAAoF;AACpF,eAAO,MAAM,qBAAqB,IAAI,CAAC;AAEvC,4CAA4C;AAC5C,MAAM,MAAM,WAAW,GAAG,QAAQ,GAAG,UAAU,GAAG,QAAQ,GAAG,OAAO,CAAC;AAErE,2DAA2D;AAC3D,MAAM,WAAW,mBAAmB;IAClC,OAAO,EAAE,MAAM,CAAC;IAChB,IAAI,EAAE,aAAa,CAAC;IACpB,wCAAwC;IACxC,IAAI,EAAE,MAAM,GAAG,IAAI,CAAC;IACpB,2BAA2B;IAC3B,YAAY,EAAE,MAAM,GAAG,IAAI,CAAC;CAC7B;AAED,sCAAsC;AACtC,MAAM,MAAM,WAAW,GACnB;IAAE,GAAG,EAAE,MAAM,CAAA;CAAE,GACf;IAAE,GAAG,EAAE,cAAc,CAAC;IAAC,GAAG,EAAE,MAAM,CAAC;IAAC,eAAe,EAAE,MAAM,CAAA;CAAE,GAC7D;IAAE,GAAG,EAAE,QAAQ,CAAC;IAAC,GAAG,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,WAAW,CAAC;IAAC,eAAe,EAAE,MAAM,CAAC;IAAC,MAAM,EAAE,MAAM,CAAA;CAAE,CAAC;AAa/F,qCAAqC;AACrC,wBAAgB,4BAA4B,IAAI,IAAI,CAEnD;AAED,oFAAoF;AACpF,wBAAgB,mBAAmB,CAAC,OAAO,EAAE,MAAM,GAAG,IAAI,CAEzD;AAED,yEAAyE;AACzE,wBAAgB,oBAAoB,CAAC,OAAO,EAAE,MAAM,GAAG,OAAO,CAE7D;AAqBD,6FAA6F;AAC7F,wBAAgB,oBAAoB,CAAC,GAAG,EAAE,mBAAmB,GAAG,WAAW,CA6B1E;AAED,iFAAiF;AACjF,wBAAgB,gCAAgC,CAAC,OAAO,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,GAAG,IAAI,CAGnF;AAED,0EAA0E;AAC1E,wBAAgB,2BAA2B,CAAC,OAAO,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,GAAG,IAAI,CAG9E"}

package/dist/supervision/focus-liveness.js

@@ -0,0 +1,94 @@
+// PINNED-BY-BEGIN (generated by gen:pinned-by -- do not hand-edit; checked by lint:pinned-by)
+// Pinned by: packages/daemon/src/focus/focus-liveness-pass.test.ts,
+//   packages/daemon/src/focus/stranded-review-refire-bound.test.ts,
+//   packages/daemon/src/integration/failed-verdict-review-exit-respawn-regression.test.ts,
+//   packages/daemon/src/integration/failed-verdict-review-loop-regression.test.ts,
+//   packages/daemon/src/integration/focus-liveness-poll.test.ts,
+//   packages/daemon/src/supervision/focus-liveness.test.ts
+// PINNED-BY-END
+import { evaluateStop } from './stop-registry.js';
+/** Not-started polls on a coding step before the detector starts the coding team itself. */
+export const LIVENESS_START_CODING_POLLS = 4;
+/** Not-started polls on an unchanged key before the stall is reported (10 minutes at the 30s poll). */
+export const LIVENESS_STALL_POLLS = 20;
+/** Not-started polls on an unchanged merge step before the stall is reported (an hour at the 30s poll: the candidate's CI judges first). */
+export const LIVENESS_MERGE_STALL_POLLS = 120;
+/** Starts of the decided actor on an unchanged key before the stall is reported. */
+export const LIVENESS_STALL_STARTS = 3;
+const entries = new Map();
+/** Test-only: forget every count. */
+export function __resetFocusLivenessForTests() {
+    entries.clear();
+}
+/** Forget a focus (it is no longer armed, or its state is unreadable this poll). */
+export function forgetFocusLiveness(focusId) {
+    entries.delete(focusId);
+}
+/** Whether the detector has reported the focus's current key stalled. */
+export function focusLivenessStalled(focusId) {
+    return entries.get(focusId)?.reported === true;
+}
+function watchedStep(next) {
+    return next.step === 'coding' || next.step === 'gate_run' || next.step === 'review' || next.step === 'merge' ? next.step : null;
+}
+/** The actor is running: a live team, or a gate run in flight. */
+function isStarted(next) {
+    return (next.step === 'coding' || next.step === 'review' || next.step === 'gate_run')
+        && (next.reason === 'team_live' || next.reason === 'run_in_flight');
+}
+/** The entry for this key: kept when the key is unchanged, else a fresh one. */
+function entryFor(focusId, key) {
+    const prior = entries.get(focusId);
+    if (prior?.key === key)
+        return prior;
+    const fresh = { key, notStartedPolls: 0, starts: 0, wasStarted: false, codingStarted: false, reported: false };
+    entries.set(focusId, fresh);
+    return fresh;
+}
+/** Count one poll of a focus's decided step and say what the caller does (module header). */
+export function observeFocusLiveness(obs) {
+    const step = watchedStep(obs.next);
+    if (step === null) {
+        forgetFocusLiveness(obs.focusId);
+        return { act: 'none' };
+    }
+    const key = `${step}|${obs.head ?? '?'}|${obs.reviewWindow ?? ''}`;
+    const entry = entryFor(obs.focusId, key);
+    const started = isStarted(obs.next);
+    if (started && !entry.wasStarted)
+        entry.starts += 1;
+    entry.wasStarted = started;
+    if (!started)
+        entry.notStartedPolls += 1;
+    if (entry.reported)
+        return { act: 'none' };
+    const stalled = evaluateStop('focus_next_actor_stalled', {
+        watched: true,
+        notStartedPolls: entry.notStartedPolls,
+        starts: entry.starts,
+        stallPolls: step === 'merge' ? LIVENESS_MERGE_STALL_POLLS : LIVENESS_STALL_POLLS,
+        stallStarts: LIVENESS_STALL_STARTS,
+    });
+    if (stalled) {
+        entry.reported = true;
+        return { act: 'report', key, step, notStartedPolls: entry.notStartedPolls, starts: entry.starts };
+    }
+    if (step === 'coding' && !started && !entry.codingStarted && entry.notStartedPolls >= LIVENESS_START_CODING_POLLS) {
+        entry.codingStarted = true;
+        return { act: 'start_coding', key, notStartedPolls: entry.notStartedPolls };
+    }
+    return { act: 'none' };
+}
+/** A coding start the caller could not make: the next poll asks for it again. */
+export function unmarkFocusLivenessCodingStarted(focusId, key) {
+    const entry = entries.get(focusId);
+    if (entry?.key === key)
+        entry.codingStarted = false;
+}
+/** A report the caller could not file: the next poll reports it again. */
+export function unmarkFocusLivenessReported(focusId, key) {
+    const entry = entries.get(focusId);
+    if (entry?.key === key)
+        entry.reported = false;
+}
+//# sourceMappingURL=focus-liveness.js.map

package/dist/supervision/focus-liveness.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"focus-liveness.js","sourceRoot":"","sources":["../../src/supervision/focus-liveness.ts"],"names":[],"mappings":"AAAA,8FAA8F;AAC9F,oEAAoE;AACpE,oEAAoE;AACpE,2FAA2F;AAC3F,mFAAmF;AACnF,iEAAiE;AACjE,2DAA2D;AAC3D,gBAAgB;AA8ChB,OAAO,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAC;AAElD,4FAA4F;AAC5F,MAAM,CAAC,MAAM,2BAA2B,GAAG,CAAC,CAAC;AAE7C,uGAAuG;AACvG,MAAM,CAAC,MAAM,oBAAoB,GAAG,EAAE,CAAC;AAEvC,4IAA4I;AAC5I,MAAM,CAAC,MAAM,0BAA0B,GAAG,GAAG,CAAC;AAE9C,oFAAoF;AACpF,MAAM,CAAC,MAAM,qBAAqB,GAAG,CAAC,CAAC;AA8BvC,MAAM,OAAO,GAAG,IAAI,GAAG,EAAyB,CAAC;AAEjD,qCAAqC;AACrC,MAAM,UAAU,4BAA4B;IAC1C,OAAO,CAAC,KAAK,EAAE,CAAC;AAClB,CAAC;AAED,oFAAoF;AACpF,MAAM,UAAU,mBAAmB,CAAC,OAAe;IACjD,OAAO,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;AAC1B,CAAC;AAED,yEAAyE;AACzE,MAAM,UAAU,oBAAoB,CAAC,OAAe;IAClD,OAAO,OAAO,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,QAAQ,KAAK,IAAI,CAAC;AACjD,CAAC;AAED,SAAS,WAAW,CAAC,IAAmB;IACtC,OAAO,IAAI,CAAC,IAAI,KAAK,QAAQ,IAAI,IAAI,CAAC,IAAI,KAAK,UAAU,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ,IAAI,IAAI,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC;AAClI,CAAC;AAED,kEAAkE;AAClE,SAAS,SAAS,CAAC,IAAmB;IACpC,OAAO,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ,IAAI,IAAI,CAAC,IAAI,KAAK,UAAU,CAAC;WAChF,CAAC,IAAI,CAAC,MAAM,KAAK,WAAW,IAAI,IAAI,CAAC,MAAM,KAAK,eAAe,CAAC,CAAC;AACxE,CAAC;AAED,gFAAgF;AAChF,SAAS,QAAQ,CAAC,OAAe,EAAE,GAAW;IAC5C,MAAM,KAAK,GAAG,OAAO,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;IACnC,IAAI,KAAK,EAAE,GAAG,KAAK,GAAG;QAAE,OAAO,KAAK,CAAC;IACrC,MAAM,KAAK,GAAkB,EAAE,GAAG,EAAE,eAAe,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,UAAU,EAAE,KAAK,EAAE,aAAa,EAAE,KAAK,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC;IAC9H,OAAO,CAAC,GAAG,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC;IAC5B,OAAO,KAAK,CAAC;AACf,CAAC;AAED,6FAA6F;AAC7F,MAAM,UAAU,oBAAoB,CAAC,GAAwB;IAC3D,MAAM,IAAI,GAAG,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IACnC,IAAI,IAAI,KAAK,IAAI,EAAE,CAAC;QAClB,mBAAmB,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;QACjC,OAAO,EAAE,GAAG,EAAE,MAAM,EAAE,CAAC;IACzB,CAAC;IACD,MAAM,GAAG,GAAG,GAAG,IAAI,IAAI,GAAG,CAAC,IAAI,IAAI,GAAG,IAAI,GAAG,CAAC,YAAY,IAAI,EAAE,EAAE,CAAC;IACnE,MAAM,KAAK,GAAG,QAAQ,CAAC,GAAG,CAAC,OAAO,EAAE,GAAG,CAAC,CAAC;IACzC,MAAM,OAAO,GAAG,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IACpC,IAAI,OAAO,IAAI,CAAC,KAAK,CAAC,UAAU;QAAE,KAAK,CAAC,MAAM,IAAI,CAAC,CAAC;IACpD,KAAK,CAAC,UAAU,GAAG,OAAO,CAAC;IAC3B,IAAI,CAAC,OAAO;QAAE,KAAK,CAAC,eAAe,IAAI,CAAC,CAAC;IACzC,IAAI,KAAK,CAAC,QAAQ;QAAE,OAAO,EAAE,GAAG,EAAE,MAAM,EAAE,CAAC;IAC3C,MAAM,OAAO,GAAG,YAAY,CAAC,0BAA0B,EAAE;QACvD,OAAO,EAAE,IAAI;QACb,eAAe,EAAE,KAAK,CAAC,eAAe;QACtC,MAAM,EAAE,KAAK,CAAC,MAAM;QACpB,UAAU,EAAE,IAAI,KAAK,OAAO,CAAC,CAAC,CAAC,0BAA0B,CAAC,CAAC,CAAC,oBAAoB;QAChF,WAAW,EAAE,qBAAqB;KACnC,CAAC,CAAC;IACH,IAAI,OAAO,EAAE,CAAC;QACZ,KAAK,CAAC,QAAQ,GAAG,IAAI,CAAC;QACtB,OAAO,EAAE,GAAG,EAAE,QAAQ,EAAE,GAAG,EAAE,IAAI,EAAE,eAAe,EAAE,KAAK,CAAC,eAAe,EAAE,MAAM,EAAE,KAAK,CAAC,MAAM,EAAE,CAAC;IACpG,CAAC;IACD,IAAI,IAAI,KAAK,QAAQ,IAAI,CAAC,OAAO,IAAI,CAAC,KAAK,CAAC,aAAa,IAAI,KAAK,CAAC,eAAe,IAAI,2BAA2B,EAAE,CAAC;QAClH,KAAK,CAAC,aAAa,GAAG,IAAI,CAAC;QAC3B,OAAO,EAAE,GAAG,EAAE,cAAc,EAAE,GAAG,EAAE,eAAe,EAAE,KAAK,CAAC,eAAe,EAAE,CAAC;IAC9E,CAAC;IACD,OAAO,EAAE,GAAG,EAAE,MAAM,EAAE,CAAC;AACzB,CAAC;AAED,iFAAiF;AACjF,MAAM,UAAU,gCAAgC,CAAC,OAAe,EAAE,GAAW;IAC3E,MAAM,KAAK,GAAG,OAAO,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;IACnC,IAAI,KAAK,EAAE,GAAG,KAAK,GAAG;QAAE,KAAK,CAAC,aAAa,GAAG,KAAK,CAAC;AACtD,CAAC;AAED,0EAA0E;AAC1E,MAAM,UAAU,2BAA2B,CAAC,OAAe,EAAE,GAAW;IACtE,MAAM,KAAK,GAAG,OAAO,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;IACnC,IAAI,KAAK,EAAE,GAAG,KAAK,GAAG;QAAE,KAAK,CAAC,QAAQ,GAAG,KAAK,CAAC;AACjD,CAAC"}

package/dist/supervision/focus-next-step.d.ts

@@ -0,0 +1,175 @@
+/**
+ * THE NEXT-STEP DECISION: one total function from a focus's state to the actor
+ * that moves it next.
+ *
+ * The stop registry (supervision/stop-registry.ts) answers what STOPS a team.
+ * This answers what MOVES a focus: a coding team, a gate run at HEAD, a review,
+ * a merge, a named hold with its releaser, or done -- exactly one, for every
+ * state -- so no decider names a releaser another is suppressing.
+ * History: docs/daemon/history-team-lifecycle.md (supervision/focus-next-step.ts).
+ *
+ * PURE. The decision reads a reduced snapshot (FocusNextStepFacts), each input
+ * cut to the distinct values that change the answer, and calls nothing. The
+ * snapshot is built from the live reads by
+ * completion/state-cascade/focus-next-step-read.ts; the decision's exhaustive
+ * test (focus-next-step.test.ts) enumerates every combination of the value lists
+ * exported below and fails when one maps to no actor, or to a hold whose
+ * releaser the decision itself holds in that state.
+ *
+ * HOLDS NAME A RELEASER THE DECISION CAN REACH. A hold is answered only where
+ * no actor can move the focus until something outside the decision's inputs
+ * changes. Each hold kind is one row of HOLD_RELEASES: the actor that moves the
+ * focus once the hold lifts (one of the decision's own steps), what lifts it,
+ * and the state just after it lifts. The exhaustive test re-decides that state
+ * and requires the named releaser -- so a hold can never name a step another
+ * hold in the same state would suppress.
+ *
+ * ORDER (first match answers):
+ *   1. a live team is the actor (its lineage);
+ *   2. uncommitted work in the worktree: a coding team commits it -- the gate
+ *      and the review judge commits, so nothing else can see it;
+ *   3. by the delivery aggregate: nothing executable -> done; active work ->
+ *      coding; all remaining work paused, or every delivery settled, with a
+ *      FAILED gate at HEAD -> the failed HEAD's rework (below: the completion merge
+ *      refuses a red HEAD, and the gate-rework reopen re-opens a done or paused
+ *      owner); else paused -> hold (paused), settled -> merge while the branch
+ *      holds unmerged commits, else done;
+ *   4. converged on verify (decideConverged): a park, owed open work (a coding
+ *      team -- or the review, while its window is open, since the review exit
+ *      routes that work), then the gate at HEAD, then the review.
+ *
+ * THE FAILED HEAD. A failed gate at HEAD whose rework Bug is OPEN (or not yet
+ * filed) is a coding team's. One whose rework Bug is CLOSED, with no new commit
+ * (HEAD is still the failed commit), answers a gate run at that HEAD -- once:
+ * the re-run is recorded per (focus, HEAD) (supervision/failed-head-rerun.ts),
+ * and the same state after it answers the coding team again, with the Bug
+ * re-opened (reason gate_rework_unanswered), never a second re-run.
+ *
+ * @module supervision/focus-next-step
+ */
+import type { PipelineConfig } from '../types/index.js';
+/** The delivery aggregate, reduced (supervision/focus-delivery-aggregate-phase.ts). */
+export declare const FOCUS_WORK_STATES: readonly ["nothing_executable", "active", "converged", "settled", "paused"];
+export type FocusWorkState = (typeof FOCUS_WORK_STATES)[number];
+/** Which verify deliveries are parked on a repeating verify shortfall (verify/shortfalls/shortfall-park.ts). */
+export declare const PARKED_STATES: readonly ["none", "some", "all"];
+export type ParkedState = (typeof PARKED_STATES)[number];
+/**
+ * The gate's judgment of the focus HEAD, combined with verify's
+ * (review-request-gate.ts + review-verify-judgment-gate.ts): unconfigured (no
+ * gate governs a verify delivery), pending (no verdict, or verify has not
+ * finished judging it), in_flight (a run is selected and not finished), passed,
+ * failed.
+ */
+export declare const HEAD_GATE_STATES: readonly ["unconfigured", "pending", "in_flight", "passed", "failed"];
+export type HeadGateState = (typeof HEAD_GATE_STATES)[number];
+/** The rework Bug for a failed HEAD (verify/outcome-routing/verification-rework-issue.ts): open, closed, or never filed. */
+export declare const HEAD_REWORK_STATES: readonly ["open", "closed", "unfiled"];
+export type HeadReworkState = (typeof HEAD_REWORK_STATES)[number];
+/** The lineage of the team live for the focus on this host, if any. */
+export declare const LIVE_TEAMS: readonly ["none", "coding", "review"];
+export type LiveTeam = (typeof LIVE_TEAMS)[number];
+/** Everything the decision reads. Each field is one dimension of the exhaustive test. */
+export interface FocusNextStepFacts {
+    work: FocusWorkState;
+    /** An owed open Task/Bug on an UNPARKED verify delivery (recorded concerns are not owed). */
+    openWorkOnVerify: boolean;
+    parked: ParkedState;
+    reviewEnabled: boolean;
+    /** review_requested_at is set. */
+    reviewWindowOpen: boolean;
+    gateAtHead: HeadGateState;
+    /** Read only when gateAtHead is failed. */
+    reworkAtHead: HeadReworkState;
+    /** The one failed-HEAD re-run was already taken at this HEAD. */
+    rerunSpentAtHead: boolean;
+    liveTeam: LiveTeam;
+    /** The focus worktree holds uncommitted paths. */
+    uncommittedWork: boolean;
+    /** The focus branch holds commits integration does not. */
+    branchAhead: boolean;
+}
+/** The actors a step or a hold's releaser can name. */
+export declare const NEXT_STEP_ACTORS: readonly ["coding", "gate_run", "review", "merge"];
+export type NextStepActor = (typeof NEXT_STEP_ACTORS)[number];
+export type CodingReason = 'team_live' | 'uncommitted_work' | 'owed_work' | 'gate_rework' | 'gate_rework_unfiled' | 'gate_rework_unanswered';
+export type GateRunReason = 'run_in_flight' | 'verdict_owed' | 'failed_head_rework_closed';
+export type ReviewReason = 'team_live' | 'review_team' | 'window_ready' | 'review_disabled_skip';
+export type HoldKind = 'shortfall_park' | 'paused';
+/** The decision's answer: exactly one of these. */
+export type FocusNextStep = {
+    step: 'coding';
+    reason: CodingReason;
+} | {
+    step: 'gate_run';
+    reason: GateRunReason;
+} | {
+    step: 'review';
+    reason: ReviewReason;
+} | {
+    step: 'merge';
+    reason: 'settled_unmerged';
+} | {
+    step: 'hold';
+    hold: HoldKind;
+    releaser: NextStepActor;
+    releasedBy: string;
+} | {
+    step: 'done';
+    reason: 'settled_merged' | 'nothing_executable';
+};
+/** One hold kind: the actor that moves the focus once it lifts, what lifts it, and the state just after. */
+export interface HoldRelease {
+    releaser: NextStepActor;
+    releasedBy: string;
+    lifted: (facts: FocusNextStepFacts) => FocusNextStepFacts;
+}
+/**
+ * Every hold the decision can answer. A park lifts on a ruling on its nodes or a
+ * new delivery commit, and either re-selects the parked delivery for verify
+ * (shortfall-rulings.ts): the state just after is a run in flight with nothing
+ * parked, and the open work a park held is the shortfall's own, routed only once
+ * verify re-judges. A pause lifts when an operator resumes the delivery, which
+ * makes it active work again.
+ */
+export declare const HOLD_RELEASES: Readonly<Record<HoldKind, HoldRelease>>;
+/** Resolve the one next step for a focus (module header). Total and pure. */
+export declare function resolveFocusNextStep(facts: FocusNextStepFacts): FocusNextStep;
+/** The delivery slice the read takes. */
+export interface NextStepDelivery {
+    id: string;
+    executionStatus?: string | null;
+    injectionId?: string | null;
+    gateState?: unknown;
+}
+/** The focus row slice the read takes. */
+export interface NextStepFocus {
+    focus_id: string;
+    review_requested_at: string | null;
+    pipeline_config: PipelineConfig | null;
+}
+/** The focus row slice a production read takes: the HEAD reads key on its product and read_only, the merge read on its branch. */
+export interface NextStepFocusRow extends NextStepFocus {
+    product_id: string | null;
+    read_only: boolean;
+    branch_name: string | null;
+}
+/** What the read could not take. */
+export type NextStepUnreadable = 'deliveries' | 'issues' | 'concerns' | 'head_verdict' | 'worktree';
+/** The read's answer: the facts, the step and the HEAD they were read at -- or what could not be read. */
+export type FocusNextStepRead<D extends NextStepDelivery = NextStepDelivery> = {
+    readable: true;
+    facts: FocusNextStepFacts;
+    next: FocusNextStep;
+    head: string | null;
+    deliveries: readonly D[];
+} | {
+    readable: false;
+    what: NextStepUnreadable;
+    error: Error;
+};
+/** Reads a focus's one next step against the live daemon (composition/focus-next-step-context.ts binds it). */
+export type FocusNextStepReader = (focus: NextStepFocusRow) => Promise<FocusNextStepRead>;
+/** One line naming the step, for the deciders' logs. */
+export declare function describeFocusNextStep(next: FocusNextStep): string;
+//# sourceMappingURL=focus-next-step.d.ts.map

package/dist/supervision/focus-next-step.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"focus-next-step.d.ts","sourceRoot":"","sources":["../../src/supervision/focus-next-step.ts"],"names":[],"mappings":"AAaA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAgDG;AAEH,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,mBAAmB,CAAC;AAExD,uFAAuF;AACvF,eAAO,MAAM,iBAAiB,6EAA8E,CAAC;AAC7G,MAAM,MAAM,cAAc,GAAG,CAAC,OAAO,iBAAiB,CAAC,CAAC,MAAM,CAAC,CAAC;AAEhE,gHAAgH;AAChH,eAAO,MAAM,aAAa,kCAAmC,CAAC;AAC9D,MAAM,MAAM,WAAW,GAAG,CAAC,OAAO,aAAa,CAAC,CAAC,MAAM,CAAC,CAAC;AAEzD;;;;;;GAMG;AACH,eAAO,MAAM,gBAAgB,uEAAwE,CAAC;AACtG,MAAM,MAAM,aAAa,GAAG,CAAC,OAAO,gBAAgB,CAAC,CAAC,MAAM,CAAC,CAAC;AAE9D,4HAA4H;AAC5H,eAAO,MAAM,kBAAkB,wCAAyC,CAAC;AACzE,MAAM,MAAM,eAAe,GAAG,CAAC,OAAO,kBAAkB,CAAC,CAAC,MAAM,CAAC,CAAC;AAElE,uEAAuE;AACvE,eAAO,MAAM,UAAU,uCAAwC,CAAC;AAChE,MAAM,MAAM,QAAQ,GAAG,CAAC,OAAO,UAAU,CAAC,CAAC,MAAM,CAAC,CAAC;AAEnD,yFAAyF;AACzF,MAAM,WAAW,kBAAkB;IACjC,IAAI,EAAE,cAAc,CAAC;IACrB,6FAA6F;IAC7F,gBAAgB,EAAE,OAAO,CAAC;IAC1B,MAAM,EAAE,WAAW,CAAC;IACpB,aAAa,EAAE,OAAO,CAAC;IACvB,kCAAkC;IAClC,gBAAgB,EAAE,OAAO,CAAC;IAC1B,UAAU,EAAE,aAAa,CAAC;IAC1B,2CAA2C;IAC3C,YAAY,EAAE,eAAe,CAAC;IAC9B,iEAAiE;IACjE,gBAAgB,EAAE,OAAO,CAAC;IAC1B,QAAQ,EAAE,QAAQ,CAAC;IACnB,kDAAkD;IAClD,eAAe,EAAE,OAAO,CAAC;IACzB,2DAA2D;IAC3D,WAAW,EAAE,OAAO,CAAC;CACtB;AAED,uDAAuD;AACvD,eAAO,MAAM,gBAAgB,oDAAqD,CAAC;AACnF,MAAM,MAAM,aAAa,GAAG,CAAC,OAAO,gBAAgB,CAAC,CAAC,MAAM,CAAC,CAAC;AAE9D,MAAM,MAAM,YAAY,GACpB,WAAW,GACX,kBAAkB,GAClB,WAAW,GACX,aAAa,GACb,qBAAqB,GACrB,wBAAwB,CAAC;AAC7B,MAAM,MAAM,aAAa,GAAG,eAAe,GAAG,cAAc,GAAG,2BAA2B,CAAC;AAC3F,MAAM,MAAM,YAAY,GAAG,WAAW,GAAG,aAAa,GAAG,cAAc,GAAG,sBAAsB,CAAC;AACjG,MAAM,MAAM,QAAQ,GAAG,gBAAgB,GAAG,QAAQ,CAAC;AAEnD,mDAAmD;AACnD,MAAM,MAAM,aAAa,GACrB;IAAE,IAAI,EAAE,QAAQ,CAAC;IAAC,MAAM,EAAE,YAAY,CAAA;CAAE,GACxC;IAAE,IAAI,EAAE,UAAU,CAAC;IAAC,MAAM,EAAE,aAAa,CAAA;CAAE,GAC3C;IAAE,IAAI,EAAE,QAAQ,CAAC;IAAC,MAAM,EAAE,YAAY,CAAA;CAAE,GACxC;IAAE,IAAI,EAAE,OAAO,CAAC;IAAC,MAAM,EAAE,kBAAkB,CAAA;CAAE,GAC7C;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,QAAQ,CAAC;IAAC,QAAQ,EAAE,aAAa,CAAC;IAAC,UAAU,EAAE,MAAM,CAAA;CAAE,GAC7E;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,MAAM,EAAE,gBAAgB,GAAG,oBAAoB,CAAA;CAAE,CAAC;AAEtE,4GAA4G;AAC5G,MAAM,WAAW,WAAW;IAC1B,QAAQ,EAAE,aAAa,CAAC;IACxB,UAAU,EAAE,MAAM,CAAC;IACnB,MAAM,EAAE,CAAC,KAAK,EAAE,kBAAkB,KAAK,kBAAkB,CAAC;CAC3D;AAED;;;;;;;GAOG;AACH,eAAO,MAAM,aAAa,EAAE,QAAQ,CAAC,MAAM,CAAC,QAAQ,EAAE,WAAW,CAAC,CAiBjE,CAAC;AAwCF,6EAA6E;AAC7E,wBAAgB,oBAAoB,CAAC,KAAK,EAAE,kBAAkB,GAAG,aAAa,CAgB7E;AAED,yCAAyC;AACzC,MAAM,WAAW,gBAAgB;IAC/B,EAAE,EAAE,MAAM,CAAC;IACX,eAAe,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;IAChC,WAAW,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;IAC5B,SAAS,CAAC,EAAE,OAAO,CAAC;CACrB;AAED,0CAA0C;AAC1C,MAAM,WAAW,aAAa;IAC5B,QAAQ,EAAE,MAAM,CAAC;IACjB,mBAAmB,EAAE,MAAM,GAAG,IAAI,CAAC;IACnC,eAAe,EAAE,cAAc,GAAG,IAAI,CAAC;CACxC;AAED,kIAAkI;AAClI,MAAM,WAAW,gBAAiB,SAAQ,aAAa;IACrD,UAAU,EAAE,MAAM,GAAG,IAAI,CAAC;IAC1B,SAAS,EAAE,OAAO,CAAC;IACnB,WAAW,EAAE,MAAM,GAAG,IAAI,CAAC;CAC5B;AAED,oCAAoC;AACpC,MAAM,MAAM,kBAAkB,GAAG,YAAY,GAAG,QAAQ,GAAG,UAAU,GAAG,cAAc,GAAG,UAAU,CAAC;AAEpG,0GAA0G;AAC1G,MAAM,MAAM,iBAAiB,CAAC,CAAC,SAAS,gBAAgB,GAAG,gBAAgB,IACvE;IAAE,QAAQ,EAAE,IAAI,CAAC;IAAC,KAAK,EAAE,kBAAkB,CAAC;IAAC,IAAI,EAAE,aAAa,CAAC;IAAC,IAAI,EAAE,MAAM,GAAG,IAAI,CAAC;IAAC,UAAU,EAAE,SAAS,CAAC,EAAE,CAAA;CAAE,GACjH;IAAE,QAAQ,EAAE,KAAK,CAAC;IAAC,IAAI,EAAE,kBAAkB,CAAC;IAAC,KAAK,EAAE,KAAK,CAAA;CAAE,CAAC;AAEhE,+GAA+G;AAC/G,MAAM,MAAM,mBAAmB,GAAG,CAAC,KAAK,EAAE,gBAAgB,KAAK,OAAO,CAAC,iBAAiB,CAAC,CAAC;AAE1F,wDAAwD;AACxD,wBAAgB,qBAAqB,CAAC,IAAI,EAAE,aAAa,GAAG,MAAM,CAGjE"}

package/dist/supervision/focus-next-step.js

@@ -0,0 +1,129 @@
+// PINNED-BY-BEGIN (generated by gen:pinned-by -- do not hand-edit; checked by lint:pinned-by)
+// Pinned by: packages/daemon/src/completion/state-cascade/focus-next-step-agreement.test.ts,
+//   packages/daemon/src/focus/focus-liveness-pass.test.ts,
+//   packages/daemon/src/integration/failed-verdict-review-exit-respawn-regression.test.ts,
+//   packages/daemon/src/integration/failed-verdict-review-loop-regression.test.ts,
+//   packages/daemon/src/integration/held-route-pull-dispatch.test.ts,
+//   packages/daemon/src/supervision/focus-liveness.test.ts,
+//   packages/daemon/src/supervision/focus-next-step.test.ts,
+//   packages/daemon/src/verify/engine/verification-commit-sharing.test.ts,
+//   packages/daemon/src/verify/run-selection/explicit-next-step-gate.test.ts,
+//   packages/daemon/src/verify/run-selection/verification-default-on.test.ts
+// PINNED-BY-END
+/** The delivery aggregate, reduced (supervision/focus-delivery-aggregate-phase.ts). */
+export const FOCUS_WORK_STATES = ['nothing_executable', 'active', 'converged', 'settled', 'paused'];
+/** Which verify deliveries are parked on a repeating verify shortfall (verify/shortfalls/shortfall-park.ts). */
+export const PARKED_STATES = ['none', 'some', 'all'];
+/**
+ * The gate's judgment of the focus HEAD, combined with verify's
+ * (review-request-gate.ts + review-verify-judgment-gate.ts): unconfigured (no
+ * gate governs a verify delivery), pending (no verdict, or verify has not
+ * finished judging it), in_flight (a run is selected and not finished), passed,
+ * failed.
+ */
+export const HEAD_GATE_STATES = ['unconfigured', 'pending', 'in_flight', 'passed', 'failed'];
+/** The rework Bug for a failed HEAD (verify/outcome-routing/verification-rework-issue.ts): open, closed, or never filed. */
+export const HEAD_REWORK_STATES = ['open', 'closed', 'unfiled'];
+/** The lineage of the team live for the focus on this host, if any. */
+export const LIVE_TEAMS = ['none', 'coding', 'review'];
+/** The actors a step or a hold's releaser can name. */
+export const NEXT_STEP_ACTORS = ['coding', 'gate_run', 'review', 'merge'];
+/**
+ * Every hold the decision can answer. A park lifts on a ruling on its nodes or a
+ * new delivery commit, and either re-selects the parked delivery for verify
+ * (shortfall-rulings.ts): the state just after is a run in flight with nothing
+ * parked, and the open work a park held is the shortfall's own, routed only once
+ * verify re-judges. A pause lifts when an operator resumes the delivery, which
+ * makes it active work again.
+ */
+export const HOLD_RELEASES = {
+    shortfall_park: {
+        releaser: 'gate_run',
+        releasedBy: 'a ruling on the parked nodes (the park escalation names it) or a new delivery commit, '
+            + 'either of which re-selects the parked delivery for verify',
+        lifted: (facts) => ({
+            ...facts,
+            parked: 'none',
+            gateAtHead: 'in_flight',
+            openWorkOnVerify: facts.parked === 'all' ? false : facts.openWorkOnVerify,
+        }),
+    },
+    paused: {
+        releaser: 'coding',
+        releasedBy: 'an operator resuming the paused delivery',
+        lifted: (facts) => ({ ...facts, work: 'active' }),
+    },
+};
+function hold(kind) {
+    const { releaser, releasedBy } = HOLD_RELEASES[kind];
+    return { step: 'hold', hold: kind, releaser, releasedBy };
+}
+/** A failed gate at HEAD: its rework is the coding team's, unless the Bug closed with no commit. */
+function decideFailedHead(facts) {
+    if (facts.reworkAtHead === 'open')
+        return { step: 'coding', reason: 'gate_rework' };
+    if (facts.reworkAtHead === 'unfiled')
+        return { step: 'coding', reason: 'gate_rework_unfiled' };
+    // Closed with no new commit: re-judge the same HEAD once; after that, the Bug re-opens for a coding team.
+    return facts.rerunSpentAtHead
+        ? { step: 'coding', reason: 'gate_rework_unanswered' }
+        : { step: 'gate_run', reason: 'failed_head_rework_closed' };
+}
+/**
+ * Owed open work on a verify delivery. A failed HEAD's rework wins. With the review window open, the review is next:
+ * its exit routes the open work back to coding (the open-work pass leaves a windowed focus to it). Else a coding team.
+ */
+function decideOwedWork(facts) {
+    if (facts.gateAtHead === 'failed')
+        return decideFailedHead(facts);
+    if (facts.reviewWindowOpen)
+        return { step: 'review', reason: 'review_team' };
+    return { step: 'coding', reason: 'owed_work' };
+}
+/** Converged on verify (nothing active, at least one verify delivery). */
+function decideConverged(facts) {
+    if (facts.parked === 'all')
+        return hold('shortfall_park');
+    if (facts.openWorkOnVerify)
+        return decideOwedWork(facts);
+    // A parked sibling's failure stands at this head: no review may approve it.
+    if (facts.parked === 'some')
+        return hold('shortfall_park');
+    if (facts.gateAtHead === 'in_flight')
+        return { step: 'gate_run', reason: 'run_in_flight' };
+    if (facts.gateAtHead === 'pending')
+        return { step: 'gate_run', reason: 'verdict_owed' };
+    if (facts.gateAtHead === 'failed')
+        return decideFailedHead(facts);
+    if (!facts.reviewEnabled)
+        return { step: 'review', reason: 'review_disabled_skip' };
+    return facts.reviewWindowOpen ? { step: 'review', reason: 'review_team' } : { step: 'review', reason: 'window_ready' };
+}
+/** Resolve the one next step for a focus (module header). Total and pure. */
+export function resolveFocusNextStep(facts) {
+    if (facts.liveTeam !== 'none')
+        return { step: facts.liveTeam, reason: 'team_live' };
+    if (facts.uncommittedWork)
+        return { step: 'coding', reason: 'uncommitted_work' };
+    switch (facts.work) {
+        case 'nothing_executable':
+            return { step: 'done', reason: 'nothing_executable' };
+        case 'paused':
+            return facts.gateAtHead === 'failed' ? decideFailedHead(facts) : hold('paused');
+        case 'active':
+            return { step: 'coding', reason: 'owed_work' };
+        case 'settled':
+            if (facts.gateAtHead === 'failed')
+                return decideFailedHead(facts);
+            return facts.branchAhead ? { step: 'merge', reason: 'settled_unmerged' } : { step: 'done', reason: 'settled_merged' };
+        case 'converged':
+            return decideConverged(facts);
+    }
+}
+/** One line naming the step, for the deciders' logs. */
+export function describeFocusNextStep(next) {
+    if (next.step === 'hold')
+        return `hold (${next.hold}) until ${next.releasedBy}; then ${next.releaser}`;
+    return `${next.step} (${next.reason})`;
+}
+//# sourceMappingURL=focus-next-step.js.map

package/dist/supervision/focus-next-step.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"focus-next-step.js","sourceRoot":"","sources":["../../src/supervision/focus-next-step.ts"],"names":[],"mappings":"AAAA,8FAA8F;AAC9F,6FAA6F;AAC7F,2DAA2D;AAC3D,2FAA2F;AAC3F,mFAAmF;AACnF,sEAAsE;AACtE,4DAA4D;AAC5D,6DAA6D;AAC7D,2EAA2E;AAC3E,8EAA8E;AAC9E,6EAA6E;AAC7E,gBAAgB;AAsDhB,uFAAuF;AACvF,MAAM,CAAC,MAAM,iBAAiB,GAAG,CAAC,oBAAoB,EAAE,QAAQ,EAAE,WAAW,EAAE,SAAS,EAAE,QAAQ,CAAU,CAAC;AAG7G,gHAAgH;AAChH,MAAM,CAAC,MAAM,aAAa,GAAG,CAAC,MAAM,EAAE,MAAM,EAAE,KAAK,CAAU,CAAC;AAG9D;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,gBAAgB,GAAG,CAAC,cAAc,EAAE,SAAS,EAAE,WAAW,EAAE,QAAQ,EAAE,QAAQ,CAAU,CAAC;AAGtG,4HAA4H;AAC5H,MAAM,CAAC,MAAM,kBAAkB,GAAG,CAAC,MAAM,EAAE,QAAQ,EAAE,SAAS,CAAU,CAAC;AAGzE,uEAAuE;AACvE,MAAM,CAAC,MAAM,UAAU,GAAG,CAAC,MAAM,EAAE,QAAQ,EAAE,QAAQ,CAAU,CAAC;AAwBhE,uDAAuD;AACvD,MAAM,CAAC,MAAM,gBAAgB,GAAG,CAAC,QAAQ,EAAE,UAAU,EAAE,QAAQ,EAAE,OAAO,CAAU,CAAC;AA8BnF;;;;;;;GAOG;AACH,MAAM,CAAC,MAAM,aAAa,GAA4C;IACpE,cAAc,EAAE;QACd,QAAQ,EAAE,UAAU;QACpB,UAAU,EAAE,wFAAwF;cAChG,2DAA2D;QAC/D,MAAM,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;YAClB,GAAG,KAAK;YACR,MAAM,EAAE,MAAM;YACd,UAAU,EAAE,WAAW;YACvB,gBAAgB,EAAE,KAAK,CAAC,MAAM,KAAK,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,gBAAgB;SAC1E,CAAC;KACH;IACD,MAAM,EAAE;QACN,QAAQ,EAAE,QAAQ;QAClB,UAAU,EAAE,0CAA0C;QACtD,MAAM,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,EAAE,GAAG,KAAK,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;KAClD;CACF,CAAC;AAEF,SAAS,IAAI,CAAC,IAAc;IAC1B,MAAM,EAAE,QAAQ,EAAE,UAAU,EAAE,GAAG,aAAa,CAAC,IAAI,CAAC,CAAC;IACrD,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,QAAQ,EAAE,UAAU,EAAE,CAAC;AAC5D,CAAC;AAED,oGAAoG;AACpG,SAAS,gBAAgB,CAAC,KAAyB;IACjD,IAAI,KAAK,CAAC,YAAY,KAAK,MAAM;QAAE,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE,aAAa,EAAE,CAAC;IACpF,IAAI,KAAK,CAAC,YAAY,KAAK,SAAS;QAAE,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE,qBAAqB,EAAE,CAAC;IAC/F,0GAA0G;IAC1G,OAAO,KAAK,CAAC,gBAAgB;QAC3B,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE,wBAAwB,EAAE;QACtD,CAAC,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,MAAM,EAAE,2BAA2B,EAAE,CAAC;AAChE,CAAC;AAED;;;GAGG;AACH,SAAS,cAAc,CAAC,KAAyB;IAC/C,IAAI,KAAK,CAAC,UAAU,KAAK,QAAQ;QAAE,OAAO,gBAAgB,CAAC,KAAK,CAAC,CAAC;IAClE,IAAI,KAAK,CAAC,gBAAgB;QAAE,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE,aAAa,EAAE,CAAC;IAC7E,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE,WAAW,EAAE,CAAC;AACjD,CAAC;AAED,0EAA0E;AAC1E,SAAS,eAAe,CAAC,KAAyB;IAChD,IAAI,KAAK,CAAC,MAAM,KAAK,KAAK;QAAE,OAAO,IAAI,CAAC,gBAAgB,CAAC,CAAC;IAC1D,IAAI,KAAK,CAAC,gBAAgB;QAAE,OAAO,cAAc,CAAC,KAAK,CAAC,CAAC;IACzD,4EAA4E;IAC5E,IAAI,KAAK,CAAC,MAAM,KAAK,MAAM;QAAE,OAAO,IAAI,CAAC,gBAAgB,CAAC,CAAC;IAC3D,IAAI,KAAK,CAAC,UAAU,KAAK,WAAW;QAAE,OAAO,EAAE,IAAI,EAAE,UAAU,EAAE,MAAM,EAAE,eAAe,EAAE,CAAC;IAC3F,IAAI,KAAK,CAAC,UAAU,KAAK,SAAS;QAAE,OAAO,EAAE,IAAI,EAAE,UAAU,EAAE,MAAM,EAAE,cAAc,EAAE,CAAC;IACxF,IAAI,KAAK,CAAC,UAAU,KAAK,QAAQ;QAAE,OAAO,gBAAgB,CAAC,KAAK,CAAC,CAAC;IAClE,IAAI,CAAC,KAAK,CAAC,aAAa;QAAE,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE,sBAAsB,EAAE,CAAC;IACpF,OAAO,KAAK,CAAC,gBAAgB,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE,aAAa,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE,cAAc,EAAE,CAAC;AACzH,CAAC;AAED,6EAA6E;AAC7E,MAAM,UAAU,oBAAoB,CAAC,KAAyB;IAC5D,IAAI,KAAK,CAAC,QAAQ,KAAK,MAAM;QAAE,OAAO,EAAE,IAAI,EAAE,KAAK,CAAC,QAAQ,EAAE,MAAM,EAAE,WAAW,EAAE,CAAC;IACpF,IAAI,KAAK,CAAC,eAAe;QAAE,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE,kBAAkB,EAAE,CAAC;IACjF,QAAQ,KAAK,CAAC,IAAI,EAAE,CAAC;QACnB,KAAK,oBAAoB;YACvB,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,oBAAoB,EAAE,CAAC;QACxD,KAAK,QAAQ;YACX,OAAO,KAAK,CAAC,UAAU,KAAK,QAAQ,CAAC,CAAC,CAAC,gBAAgB,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;QAClF,KAAK,QAAQ;YACX,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE,WAAW,EAAE,CAAC;QACjD,KAAK,SAAS;YACZ,IAAI,KAAK,CAAC,UAAU,KAAK,QAAQ;gBAAE,OAAO,gBAAgB,CAAC,KAAK,CAAC,CAAC;YAClE,OAAO,KAAK,CAAC,WAAW,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,EAAE,kBAAkB,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,gBAAgB,EAAE,CAAC;QACxH,KAAK,WAAW;YACd,OAAO,eAAe,CAAC,KAAK,CAAC,CAAC;IAClC,CAAC;AACH,CAAC;AAmCD,wDAAwD;AACxD,MAAM,UAAU,qBAAqB,CAAC,IAAmB;IACvD,IAAI,IAAI,CAAC,IAAI,KAAK,MAAM;QAAE,OAAO,SAAS,IAAI,CAAC,IAAI,WAAW,IAAI,CAAC,UAAU,UAAU,IAAI,CAAC,QAAQ,EAAE,CAAC;IACvG,OAAO,GAAG,IAAI,CAAC,IAAI,KAAK,IAAI,CAAC,MAAM,GAAG,CAAC;AACzC,CAAC"}

package/dist/supervision/prd-frontier-rule.d.ts

@@ -0,0 +1,52 @@
+/**
+ * GENERATED FILE -- DO NOT EDIT.
+ *
+ * Deno edge-function copy of src/lib/prd/frontier-rule.ts, produced by
+ * `npm run gen:shared-mirrors`. The canonical source is the ONLY hand-edited
+ * copy of this algorithm; edit it there and regenerate. The drift gate
+ * (`npm run lint:shared-mirrors`) fails CI when this file differs from what
+ * generation would produce, so the same algorithm runs in both runtimes.
+ *
+ * @module supervision/prd-frontier-rule
+ */
+/** The PRT node status that clears a node. */
+export declare const PRT_NODE_CLEARED = "cleared";
+/** The PRT edge type the frontier walks. */
+export declare const PRT_PREREQUISITE_EDGE = "prerequisite";
+/** An edge, as the frontier rule reads it. */
+export interface FrontierRuleEdge {
+    edgeType: string;
+    fromNodeId: string;
+    toNodeId: string;
+}
+/** A prerequisite of an overcome and what the read knows of its status. */
+export interface FrontierRulePrerequisite {
+    id: string;
+    /** undefined or null = not read / unknown, which counts as NOT cleared. */
+    status?: string | null;
+}
+/** Whether an overcome is on its PRD's frontier, and why not when it is not. */
+export type FrontierVerdict = {
+    onFrontier: true;
+} | {
+    onFrontier: false;
+    reason: 'overcome_cleared';
+} | {
+    onFrontier: false;
+    reason: 'prerequisites_open';
+    openPrerequisiteIds: string[];
+};
+/** The distinct ids of every node with a prerequisite edge into the overcome, in edge order. */
+export declare function prerequisiteIdsOf(overcomeNodeId: string, edges: readonly FrontierRuleEdge[]): string[];
+/** Judge one overcome against the frontier rule. */
+export declare function judgeOvercomeFrontier(overcomeStatus: string | null | undefined, prerequisites: readonly FrontierRulePrerequisite[]): FrontierVerdict;
+/**
+ * Judge an overcome given the whole graph and the set of node ids known
+ * cleared -- the shape the daemon and the canvas hold. A prerequisite not in
+ * clearedNodeIds is open, whether it is uncleared or was never read.
+ */
+export declare function judgeOvercomeInGraph(overcome: {
+    id: string;
+    status?: string | null;
+}, edges: readonly FrontierRuleEdge[], clearedNodeIds: ReadonlySet<string>): FrontierVerdict;
+//# sourceMappingURL=prd-frontier-rule.d.ts.map

package/dist/supervision/prd-frontier-rule.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"prd-frontier-rule.d.ts","sourceRoot":"","sources":["../../src/supervision/prd-frontier-rule.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AAEH,8CAA8C;AAC9C,eAAO,MAAM,gBAAgB,YAAY,CAAC;AAE1C,4CAA4C;AAC5C,eAAO,MAAM,qBAAqB,iBAAiB,CAAC;AAEpD,8CAA8C;AAC9C,MAAM,WAAW,gBAAgB;IAC/B,QAAQ,EAAE,MAAM,CAAC;IACjB,UAAU,EAAE,MAAM,CAAC;IACnB,QAAQ,EAAE,MAAM,CAAC;CAClB;AAED,2EAA2E;AAC3E,MAAM,WAAW,wBAAwB;IACvC,EAAE,EAAE,MAAM,CAAC;IACX,2EAA2E;IAC3E,MAAM,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;CACxB;AAED,gFAAgF;AAChF,MAAM,MAAM,eAAe,GACvB;IAAE,UAAU,EAAE,IAAI,CAAA;CAAE,GACpB;IAAE,UAAU,EAAE,KAAK,CAAC;IAAC,MAAM,EAAE,kBAAkB,CAAA;CAAE,GACjD;IAAE,UAAU,EAAE,KAAK,CAAC;IAAC,MAAM,EAAE,oBAAoB,CAAC;IAAC,mBAAmB,EAAE,MAAM,EAAE,CAAA;CAAE,CAAC;AAEvF,gGAAgG;AAChG,wBAAgB,iBAAiB,CAAC,cAAc,EAAE,MAAM,EAAE,KAAK,EAAE,SAAS,gBAAgB,EAAE,GAAG,MAAM,EAAE,CAUtG;AAED,oDAAoD;AACpD,wBAAgB,qBAAqB,CACnC,cAAc,EAAE,MAAM,GAAG,IAAI,GAAG,SAAS,EACzC,aAAa,EAAE,SAAS,wBAAwB,EAAE,GACjD,eAAe,CAKjB;AAED;;;;GAIG;AACH,wBAAgB,oBAAoB,CAClC,QAAQ,EAAE;IAAE,EAAE,EAAE,MAAM,CAAC;IAAC,MAAM,CAAC,EAAE,MAAM,GAAG,IAAI,CAAA;CAAE,EAChD,KAAK,EAAE,SAAS,gBAAgB,EAAE,EAClC,cAAc,EAAE,WAAW,CAAC,MAAM,CAAC,GAClC,eAAe,CAMjB"}

package/dist/supervision/prd-frontier-rule.js

@@ -0,0 +1,51 @@
+/**
+ * GENERATED FILE -- DO NOT EDIT.
+ *
+ * Deno edge-function copy of src/lib/prd/frontier-rule.ts, produced by
+ * `npm run gen:shared-mirrors`. The canonical source is the ONLY hand-edited
+ * copy of this algorithm; edit it there and regenerate. The drift gate
+ * (`npm run lint:shared-mirrors`) fails CI when this file differs from what
+ * generation would produce, so the same algorithm runs in both runtimes.
+ *
+ * @module supervision/prd-frontier-rule
+ */
+/** The PRT node status that clears a node. */
+export const PRT_NODE_CLEARED = 'cleared';
+/** The PRT edge type the frontier walks. */
+export const PRT_PREREQUISITE_EDGE = 'prerequisite';
+/** The distinct ids of every node with a prerequisite edge into the overcome, in edge order. */
+export function prerequisiteIdsOf(overcomeNodeId, edges) {
+    const ids = [];
+    const seen = new Set();
+    for (const edge of edges) {
+        if (edge.edgeType !== PRT_PREREQUISITE_EDGE || edge.toNodeId !== overcomeNodeId)
+            continue;
+        if (seen.has(edge.fromNodeId))
+            continue;
+        seen.add(edge.fromNodeId);
+        ids.push(edge.fromNodeId);
+    }
+    return ids;
+}
+/** Judge one overcome against the frontier rule. */
+export function judgeOvercomeFrontier(overcomeStatus, prerequisites) {
+    if (overcomeStatus === PRT_NODE_CLEARED)
+        return { onFrontier: false, reason: 'overcome_cleared' };
+    const openPrerequisiteIds = prerequisites.filter((p) => p.status !== PRT_NODE_CLEARED).map((p) => p.id);
+    if (openPrerequisiteIds.length > 0)
+        return { onFrontier: false, reason: 'prerequisites_open', openPrerequisiteIds };
+    return { onFrontier: true };
+}
+/**
+ * Judge an overcome given the whole graph and the set of node ids known
+ * cleared -- the shape the daemon and the canvas hold. A prerequisite not in
+ * clearedNodeIds is open, whether it is uncleared or was never read.
+ */
+export function judgeOvercomeInGraph(overcome, edges, clearedNodeIds) {
+    const prerequisites = prerequisiteIdsOf(overcome.id, edges).map((id) => ({
+        id,
+        status: clearedNodeIds.has(id) ? PRT_NODE_CLEARED : null,
+    }));
+    return judgeOvercomeFrontier(overcome.status, prerequisites);
+}
+//# sourceMappingURL=prd-frontier-rule.js.map

package/dist/supervision/prd-frontier-rule.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"prd-frontier-rule.js","sourceRoot":"","sources":["../../src/supervision/prd-frontier-rule.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AAEH,8CAA8C;AAC9C,MAAM,CAAC,MAAM,gBAAgB,GAAG,SAAS,CAAC;AAE1C,4CAA4C;AAC5C,MAAM,CAAC,MAAM,qBAAqB,GAAG,cAAc,CAAC;AAsBpD,gGAAgG;AAChG,MAAM,UAAU,iBAAiB,CAAC,cAAsB,EAAE,KAAkC;IAC1F,MAAM,GAAG,GAAa,EAAE,CAAC;IACzB,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,IAAI,IAAI,CAAC,QAAQ,KAAK,qBAAqB,IAAI,IAAI,CAAC,QAAQ,KAAK,cAAc;YAAE,SAAS;QAC1F,IAAI,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,UAAU,CAAC;YAAE,SAAS;QACxC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;QAC1B,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;IAC5B,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,oDAAoD;AACpD,MAAM,UAAU,qBAAqB,CACnC,cAAyC,EACzC,aAAkD;IAElD,IAAI,cAAc,KAAK,gBAAgB;QAAE,OAAO,EAAE,UAAU,EAAE,KAAK,EAAE,MAAM,EAAE,kBAAkB,EAAE,CAAC;IAClG,MAAM,mBAAmB,GAAG,aAAa,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,gBAAgB,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;IACxG,IAAI,mBAAmB,CAAC,MAAM,GAAG,CAAC;QAAE,OAAO,EAAE,UAAU,EAAE,KAAK,EAAE,MAAM,EAAE,oBAAoB,EAAE,mBAAmB,EAAE,CAAC;IACpH,OAAO,EAAE,UAAU,EAAE,IAAI,EAAE,CAAC;AAC9B,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,oBAAoB,CAClC,QAAgD,EAChD,KAAkC,EAClC,cAAmC;IAEnC,MAAM,aAAa,GAAG,iBAAiB,CAAC,QAAQ,CAAC,EAAE,EAAE,KAAK,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC;QACvE,EAAE;QACF,MAAM,EAAE,cAAc,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,gBAAgB,CAAC,CAAC,CAAC,IAAI;KACzD,CAAC,CAAC,CAAC;IACJ,OAAO,qBAAqB,CAAC,QAAQ,CAAC,MAAM,EAAE,aAAa,CAAC,CAAC;AAC/D,CAAC"}