@telora/daemon 0.21.26 → 0.21.81

package/dist/stall-detectors.js

@@ -1,348 +0,0 @@
-/**
- * Targeted daemon-owned stall detectors.
- *
- * The lifecycle-aware no-progress predicate (completion/event.ts) makes the
- * generic watchdog PATIENT: it no longer trips on healthy review/verify/requeue
- * latency. That patience is only safe if the genuinely-wedged daemon-owned
- * cases it would otherwise have (noisily) surfaced are caught by dedicated
- * detectors with their own actionable reasons. This module is that safety
- * backfill:
- *
- *   1. verify_failed cycle cap -- a delivery whose verify_failed re-code cycle
- *      count (iteration_count) exceeds TELORA_VERIFY_FAILED_ITERATION_CAP is
- *      stuck in an unbounded re-code loop the verify gate will never clear. File
- *      ONE verify_gate_unclearable escalation (needs_operator) carrying the
- *      gate_state / last failing condition -- not a generic no-progress ping.
- *
- *   2. review-window staleness -- a focus stuck in the `reviewing` phase whose
- *      review_requested_at has sat past TELORA_REVIEW_WINDOW_STALE_HOURS with no
- *      active review team (a completed review would have cleared
- *      review_requested_at) is wedged. File ONE review_window_stalled escalation
- *      (needs_operator).
- *
- * BOTH detectors are PER-FOCUS and operate on state the caller already has --
- * they do NOT fan out their own getActiveFocuses / getFocusDeliveries pass.
- * They are driven from state-cascade.ts's runCascadeChecks loop, which already
- * iterates active focuses, fetches each focus's deliveries, and computes the
- * review phase: the detectors RIDE that existing review-handling seam (so there
- * is no redundant per-poll fan-out, and the review-window detector is wired into
- * the same review handling that owns review_requested_at). Each files AT MOST
- * ONE open escalation per entity (per delivery / per focus), mirroring the
- * merge-back stuck_focus_branch idempotency: the dedup queries the DB so it
- * survives a daemon restart. Pure over injected deps so the four cases
- * (under-cap, over-cap, fresh window, stale window) unit-test without
- * Supabase/MCP.
- */
-import { ESCALATION_REASONS, ESCALATION_DISPOSITIONS, withRetry, } from '@telora/daemon-core';
-import { fileEscalationIdempotent as defaultFileEscalationIdempotent, } from './queries/escalation-suppression.js';
-import { deliveryGuardCauseKey, focusBlockageCauseKey } from './queries/cause-key.js';
-import { getActiveTeams, terminateTeam } from './focus-executor.js';
-import { getTeamLastActivityAt } from './focus-team-state.js';
-import { isStatusTerminal } from './stage-classifier.js';
-import { resolveVerifyFailedCap, resolveReviewWindowStaleHours, resolveIdleTeamStallHours, } from './stall-detector-config.js';
-import { createLogger } from './log.js';
-const log = createLogger({ module: 'stall-detectors' });
-/**
- * escalation_kind discriminators for the two stall detectors. Declared as
- * daemon-local string constants (not imported from @telora/daemon-core's
- * ESCALATION_KINDS) on purpose: the daemon consumes the registry-PUBLISHED
- * daemon-core, so it cannot reference newly-added enum members until a build
- * that depends on a daemon-core publish carrying them. They ARE now in
- * daemon-core (ESCALATION_KINDS.VERIFY_GATE_UNCLEARABLE / .REVIEW_WINDOW_STALLED)
- * for other consumers, but the daemon keeps the local strings so this code does
- * not depend on publish ordering. The DB CHECK -- loosened by the
- * agent_escalations_kind_stall_detectors migration -- is the real constraint.
- */
-export const VERIFY_GATE_UNCLEARABLE_KIND = 'verify_gate_unclearable';
-export const REVIEW_WINDOW_STALLED_KIND = 'review_window_stalled';
-/** Render gate_state compactly for the escalation body. */
-function formatGateState(gateState) {
-    if (gateState == null)
-        return '(none recorded)';
-    try {
-        return JSON.stringify(gateState);
-    }
-    catch {
-        return '(unserializable)';
-    }
-}
-/**
- * The names of the guards currently in `gate_state.blocking`. Empty when the gate
- * carries no live guard verdict. Used to make the escalation body assert only what
- * the gate actually says (the detector only fires when this is non-empty).
- */
-function blockingGuardNames(gateState) {
-    if (gateState == null || typeof gateState !== 'object')
-        return [];
-    const blocking = gateState.blocking;
-    if (!Array.isArray(blocking))
-        return [];
-    return blocking
-        .map((b) => b && typeof b === 'object' && typeof b.guardName === 'string'
-        ? b.guardName
-        : null)
-        .filter((n) => n !== null);
-}
-const defaultVerifyFailedCapDeps = {
-    fileEscalation: defaultFileEscalationIdempotent,
-};
-/**
- * True when `gateState.blocking` carries at least one guard verdict -- i.e. a
- * guard is ACTUALLY rejecting the work right now.
- *
- * Only the `blocking` array counts. operatorHold / externalHold / shortfallProposalIds
- * are carried OUTSIDE `blocking` (queries/deliveries.ts DeliveryGateState) because a
- * hold is not a guard verdict. Treating operatorHold as a block here would
- * reintroduce the very fixpoint the sibling operator-hold exclusion removes: the
- * verify_gate_unclearable alarm writes gate_state with `blocking: []` + a populated
- * operatorHold, and if that counted as "still blocking" the detector would keep
- * re-firing on its own alarm. So the guard-verdict array is the sole live-block
- * signal. (verify_evidence_unavailable DOES populate `blocking` with its own guard,
- * but it consumes no iteration_count, so it can never by itself push over the cap.)
- *
- * Defensive over the `unknown` gate_state shape (FocusDeliveryInfo.gateState). Pure
- * -- exported for direct unit testing.
- */
-export function hasLiveBlockingGuard(gateState) {
-    if (gateState == null || typeof gateState !== 'object')
-        return false;
-    const blocking = gateState.blocking;
-    return Array.isArray(blocking) && blocking.length > 0;
-}
-/**
- * Pure decision: does this delivery exceed the verify_failed re-code cap AND is a
- * guard still actively rejecting it?
- *
- * iteration_count is a MONOTONIC proxy for "the gate keeps rejecting this work",
- * but the condition it proxies is NOT monotonic: the counter never decreases while
- * the gate can go clear. Keying only on the counter let the detector assert "the
- * gate keeps rejecting the work" at a moment when gate_state.blocking was empty and
- * the gate was rejecting nothing (observed 2026-07-26). So the counter remains the
- * TRIGGER (it is the right bounded-loop signal -- a delivery that has re-coded N
- * times is the thing worth escalating), but the LIVE gate must also show a blocking
- * guard for the claim to be true by construction. A terminal delivery
- * (done/cancelled) is never escalated -- it has stopped cycling.
- *
- * Exported for direct unit testing.
- */
-export function exceedsVerifyFailedCap(delivery, cap) {
-    if (isStatusTerminal(delivery.executionStatus ?? ''))
-        return false;
-    if ((delivery.iterationCount ?? 0) <= cap)
-        return false;
-    return hasLiveBlockingGuard(delivery.gateState);
-}
-/**
- * Check ONE focus's ALREADY-FETCHED deliveries for any whose iteration_count
- * exceeds the verify_failed re-code cap, filing a verify_gate_unclearable
- * escalation (needs_operator) for each -- at most one open per delivery.
- * Operates on the deliveries the caller (runCascadeChecks) already loaded; it
- * does NOT fetch.
- */
-export async function checkVerifyFailedCapForFocus(ctx, deliveries, deps = defaultVerifyFailedCapDeps) {
-    const cap = deps.cap ?? resolveVerifyFailedCap();
-    for (const delivery of deliveries) {
-        if (!exceedsVerifyFailedCap(delivery, cap))
-            continue;
-        // Guaranteed non-empty by exceedsVerifyFailedCap -- the escalation asserts only
-        // what the live gate says (AC3), never an unconditional "gate keeps rejecting".
-        const guards = blockingGuardNames(delivery.gateState);
-        const guardClause = guards.length
-            ? `The verify gate is currently blocking on: ${guards.join(', ')}.`
-            : `The verify gate is currently blocking (see gate_state).`;
-        // Per-delivery cause key (guard-less): one open row per stuck delivery, and a
-        // dismissed one stays silent -- the cause is the delivery, not the guard name.
-        const causeKey = deliveryGuardCauseKey(VERIFY_GATE_UNCLEARABLE_KIND, delivery.id);
-        try {
-            await withRetry(() => deps.fileEscalation({
-                causeKey,
-                organizationId: ctx.organizationId,
-                sessionId: '',
-                issueId: null,
-                reasonType: ESCALATION_REASONS.BLOCKED_BY_EXTERNAL,
-                // Operator triages the unclearable gate condition from gate_state.
-                disposition: ESCALATION_DISPOSITIONS.NEEDS_OPERATOR,
-                anchor: { deliveryId: delivery.id, focusId: ctx.focusId },
-                escalationKind: VERIFY_GATE_UNCLEARABLE_KIND,
-                description: `Delivery "${delivery.name}" has been through ${delivery.iterationCount ?? 0} ` +
-                    `verify_failed re-code cycles (cap ${cap}) without clearing the verify gate. ` +
-                    `${guardClause} The loop will not converge on its own.\n\n` +
-                    `**Focus:** ${ctx.focusName}\n` +
-                    `**Focus ID:** ${ctx.focusId}\n` +
-                    `**Delivery:** "${delivery.name}" (${delivery.id})\n` +
-                    `**Status:** ${delivery.executionStatus ?? 'unknown'}\n` +
-                    `**iteration_count:** ${delivery.iterationCount ?? 0}\n` +
-                    `**gate_state:** ${formatGateState(delivery.gateState)}\n\n` +
-                    `Inspect the gate_state / last failing condition above. See docs/runbook-verify-gate.md.`,
-                whatWasTried: `The delivery re-entered verify_failed ${delivery.iterationCount ?? 0} times; ` +
-                    `each verify pass was rejected by the gate and re-queued.`,
-                helpNeeded: `Resolve the blocking gate condition (relax the gate, fix the underlying defect ` +
-                    `manually, or cancel the delivery if it cannot pass).`,
-                metadata: {
-                    cause: VERIFY_GATE_UNCLEARABLE_KIND,
-                    deliveryName: delivery.name,
-                    executionStatus: delivery.executionStatus,
-                    iterationCount: delivery.iterationCount ?? 0,
-                    cap,
-                    gateState: delivery.gateState ?? null,
-                },
-            }), { maxAttempts: 3, label: `escalation-verify-gate-unclearable-${delivery.id}` });
-            log.info(`[stall-detectors] Filed verify_gate_unclearable escalation for delivery "${delivery.name}" ` +
-                `(iteration_count ${delivery.iterationCount ?? 0} > cap ${cap})`);
-        }
-        catch (err) {
-            log.warn(`[stall-detectors] verify-failed-cap: failed to file escalation for delivery "${delivery.name}":`, err.message);
-        }
-    }
-}
-/** Focus IDs that currently have an active REVIEW team (live default). */
-export function activeReviewFocusIds() {
-    const ids = new Set();
-    for (const [focusId, team] of getActiveTeams()) {
-        if (team.sessionType === 'review')
-            ids.add(focusId);
-    }
-    return ids;
-}
-const defaultReviewWindowDeps = {
-    fileEscalation: defaultFileEscalationIdempotent,
-    activeReviewFocusIds,
-    now: () => Date.now(),
-};
-/**
- * Pure decision: is this focus's review window stale? True when a
- * review_requested_at exists, is older than `thresholdMs`, and the focus has no
- * active review team. A completed review clears review_requested_at, so a
- * still-set timestamp older than the threshold with no active review team means
- * the review never ran (or never finished). Exported for direct unit testing.
- */
-export function isReviewWindowStale(reviewRequestedAt, hasActiveReview, nowMs, thresholdMs) {
-    if (!reviewRequestedAt)
-        return false;
-    if (hasActiveReview)
-        return false;
-    const requestedMs = Date.parse(reviewRequestedAt);
-    if (Number.isNaN(requestedMs))
-        return false;
-    return nowMs - requestedMs > thresholdMs;
-}
-/**
- * Check ONE focus for a stale review window and file a review_window_stalled
- * escalation (needs_operator) -- at most one open per focus. The caller
- * (runCascadeChecks) passes the focus's review_requested_at, so this rides the
- * existing review-handling seam rather than fanning out its own focus scan.
- */
-export async function checkReviewWindowStaleForFocus(ctx, reviewRequestedAt, deps = defaultReviewWindowDeps) {
-    const thresholdHours = deps.thresholdHours ?? resolveReviewWindowStaleHours();
-    const thresholdMs = thresholdHours * 3_600_000;
-    const nowMs = deps.now();
-    const hasActiveReview = deps.activeReviewFocusIds().has(ctx.focusId);
-    if (!isReviewWindowStale(reviewRequestedAt, hasActiveReview, nowMs, thresholdMs)) {
-        return;
-    }
-    // Per-focus cause key: one open row per focus for a stale review window, and a
-    // dismissed one keeps it silent (dismissal memory) until the review state changes.
-    const causeKey = focusBlockageCauseKey(REVIEW_WINDOW_STALLED_KIND, ctx.focusId, 'stale_review_window');
-    try {
-        const ageHours = Math.floor((nowMs - Date.parse(reviewRequestedAt)) / 3_600_000);
-        await withRetry(() => deps.fileEscalation({
-            causeKey,
-            organizationId: ctx.organizationId,
-            sessionId: '',
-            issueId: null,
-            reasonType: ESCALATION_REASONS.BLOCKED_BY_EXTERNAL,
-            // Operator triages a review that was requested but never ran/finished.
-            disposition: ESCALATION_DISPOSITIONS.NEEDS_OPERATOR,
-            anchor: { focusId: ctx.focusId },
-            escalationKind: REVIEW_WINDOW_STALLED_KIND,
-            description: `Focus "${ctx.focusName}" requested a review ~${ageHours}h ago ` +
-                `(threshold ${thresholdHours}h) but no review is running and none has completed ` +
-                `(a completed review clears review_requested_at). The focus is wedged in the ` +
-                `review window -- its verify deliveries will never route to done/verify_failed ` +
-                `on their own.\n\n` +
-                `**Focus:** ${ctx.focusName}\n` +
-                `**Focus ID:** ${ctx.focusId}\n` +
-                `**review_requested_at:** ${reviewRequestedAt}\n\n` +
-                `Either re-spawn the review (clear and re-request the review window) or clear the ` +
-                `stale request via telora_product_focus update clearReviewRequest=true.`,
-            whatWasTried: `The review window was opened (review_requested_at set ~${ageHours}h ago) but no ` +
-                `review team is active and review_requested_at was never cleared by a completion.`,
-            helpNeeded: `Re-trigger the review or clear the stale review_requested_at ` +
-                `(telora_product_focus update clearReviewRequest=true) so the verify deliveries ` +
-                `can route forward.`,
-            metadata: {
-                cause: REVIEW_WINDOW_STALLED_KIND,
-                focusName: ctx.focusName,
-                reviewRequestedAt,
-                ageHours,
-                thresholdHours,
-            },
-        }), { maxAttempts: 3, label: `escalation-review-window-stalled-${ctx.focusId}` });
-        log.info(`[stall-detectors] Filed review_window_stalled escalation for focus "${ctx.focusName}" ` +
-            `(review_requested_at ~${ageHours}h old > ${thresholdHours}h)`);
-    }
-    catch (err) {
-        log.warn(`[stall-detectors] review-window: failed to file escalation for focus "${ctx.focusName}":`, err.message);
-    }
-}
-/** Default: a focus is recoverable when its team is live and `executing`. */
-export function isTeamRecoverable(focusId) {
-    const team = getActiveTeams().get(focusId);
-    return team !== undefined && team.phase === 'executing';
-}
-const defaultIdleTeamStallDeps = {
-    getLastActivityAt: getTeamLastActivityAt,
-    isTeamRecoverable,
-    recoverTeam: (focusId) => terminateTeam(focusId, 'teardown'),
-    now: () => Date.now(),
-};
-/**
- * Pure decision: has this team's activity clock frozen past the threshold?
- *
- * False when no activity has been recorded yet (null) -- a team still
- * initializing has not stalled, it just has not produced its first event. The
- * gap is measured against the LAST agent event, not spawn, so a team that keeps
- * producing events never trips (its idle age stays under the threshold). The
- * observed park kept phase=executing while the last-activity clock stayed frozen
- * for 16h37m -- exactly what this predicate catches. Exported for direct unit
- * testing.
- */
-export function isTeamIdleStalled(lastActivityMs, nowMs, thresholdMs) {
-    if (lastActivityMs === null)
-        return false;
-    return nowMs - lastActivityMs > thresholdMs;
-}
-/**
- * Check ONE focus's team for an idle stall and RECOVER it (terminate so the
- * daemon's normal execution/release paths resume) when its last agent event is
- * older than the threshold. Reads the per-team last-activity clock the caller's
- * seam does not need to load.
- *
- * Files NO escalation: the ask -- recover the parked team -- names an act the
- * daemon performs itself, so this detector ACTS rather than routing a human an
- * item that can only wait ("A hold must name a human act"). A genuinely working
- * team is never recovered: its clock keeps advancing, so its idle age stays
- * under the threshold.
- */
-export function checkIdleTeamStallForFocus(ctx, deps = defaultIdleTeamStallDeps) {
-    if (!deps.isTeamRecoverable(ctx.focusId))
-        return;
-    const thresholdHours = deps.thresholdHours ?? resolveIdleTeamStallHours();
-    const thresholdMs = thresholdHours * 3_600_000;
-    const nowMs = deps.now();
-    const lastActivityMs = deps.getLastActivityAt(ctx.focusId);
-    if (!isTeamIdleStalled(lastActivityMs, nowMs, thresholdMs))
-        return;
-    const idleHours = Math.floor((nowMs - lastActivityMs) / 3_600_000);
-    const recovered = deps.recoverTeam(ctx.focusId);
-    if (recovered) {
-        log.info(`[stall-detectors] Recovered idle-stalled team for focus "${ctx.focusName}" ` +
-            `(no agent event for ~${idleHours}h > ${thresholdHours}h): terminated so merge-back, ` +
-            `slot release, and delivery re-gating resume with no human action.`);
-    }
-    else {
-        log.warn(`[stall-detectors] idle-team: focus "${ctx.focusName}" is idle past threshold but ` +
-            `terminateTeam found no live team to recover (already torn down?).`);
-    }
-}
-//# sourceMappingURL=stall-detectors.js.map

package/dist/stall-detectors.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"stall-detectors.js","sourceRoot":"","sources":["../src/stall-detectors.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAkCG;AAGH,OAAO,EACL,kBAAkB,EAClB,uBAAuB,EACvB,SAAS,GACV,MAAM,qBAAqB,CAAC;AAC7B,OAAO,EACL,wBAAwB,IAAI,+BAA+B,GAG5D,MAAM,qCAAqC,CAAC;AAC7C,OAAO,EAAE,qBAAqB,EAAE,qBAAqB,EAAE,MAAM,wBAAwB,CAAC;AACtF,OAAO,EAAE,cAAc,EAAE,aAAa,EAAE,MAAM,qBAAqB,CAAC;AACpE,OAAO,EAAE,qBAAqB,EAAE,MAAM,uBAAuB,CAAC;AAC9D,OAAO,EAAE,gBAAgB,EAAE,MAAM,uBAAuB,CAAC;AACzD,OAAO,EACL,sBAAsB,EACtB,6BAA6B,EAC7B,yBAAyB,GAC1B,MAAM,4BAA4B,CAAC;AACpC,OAAO,EAAE,YAAY,EAAE,MAAM,UAAU,CAAC;AAExC,MAAM,GAAG,GAAG,YAAY,CAAC,EAAE,MAAM,EAAE,iBAAiB,EAAE,CAAC,CAAC;AAGxD;;;;;;;;;;GAUG;AACH,MAAM,CAAC,MAAM,4BAA4B,GAAG,yBAAyB,CAAC;AACtE,MAAM,CAAC,MAAM,0BAA0B,GAAG,uBAAuB,CAAC;AASlE,2DAA2D;AAC3D,SAAS,eAAe,CAAC,SAAkB;IACzC,IAAI,SAAS,IAAI,IAAI;QAAE,OAAO,iBAAiB,CAAC;IAChD,IAAI,CAAC;QACH,OAAO,IAAI,CAAC,SAAS,CAAC,SAAS,CAAC,CAAC;IACnC,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,kBAAkB,CAAC;IAC5B,CAAC;AACH,CAAC;AAED;;;;GAIG;AACH,SAAS,kBAAkB,CAAC,SAAkB;IAC5C,IAAI,SAAS,IAAI,IAAI,IAAI,OAAO,SAAS,KAAK,QAAQ;QAAE,OAAO,EAAE,CAAC;IAClE,MAAM,QAAQ,GAAI,SAAoC,CAAC,QAAQ,CAAC;IAChE,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,QAAQ,CAAC;QAAE,OAAO,EAAE,CAAC;IACxC,OAAO,QAAQ;SACZ,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CACT,CAAC,IAAI,OAAO,CAAC,KAAK,QAAQ,IAAI,OAAQ,CAA6B,CAAC,SAAS,KAAK,QAAQ;QACxF,CAAC,CAAE,CAA2B,CAAC,SAAS;QACxC,CAAC,CAAC,IAAI,CACT;SACA,MAAM,CAAC,CAAC,CAAC,EAAe,EAAE,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC;AAC5C,CAAC;AAeD,MAAM,0BAA0B,GAAwB;IACtD,cAAc,EAAE,+BAA+B;CAChD,CAAC;AAEF;;;;;;;;;;;;;;;;GAgBG;AACH,MAAM,UAAU,oBAAoB,CAAC,SAAkB;IACrD,IAAI,SAAS,IAAI,IAAI,IAAI,OAAO,SAAS,KAAK,QAAQ;QAAE,OAAO,KAAK,CAAC;IACrE,MAAM,QAAQ,GAAI,SAAoC,CAAC,QAAQ,CAAC;IAChE,OAAO,KAAK,CAAC,OAAO,CAAC,QAAQ,CAAC,IAAI,QAAQ,CAAC,MAAM,GAAG,CAAC,CAAC;AACxD,CAAC;AAED;;;;;;;;;;;;;;;GAeG;AACH,MAAM,UAAU,sBAAsB,CACpC,QAAqF,EACrF,GAAW;IAEX,IAAI,gBAAgB,CAAC,QAAQ,CAAC,eAAe,IAAI,EAAE,CAAC;QAAE,OAAO,KAAK,CAAC;IACnE,IAAI,CAAC,QAAQ,CAAC,cAAc,IAAI,CAAC,CAAC,IAAI,GAAG;QAAE,OAAO,KAAK,CAAC;IACxD,OAAO,oBAAoB,CAAC,QAAQ,CAAC,SAAS,CAAC,CAAC;AAClD,CAAC;AAED;;;;;;GAMG;AACH,MAAM,CAAC,KAAK,UAAU,4BAA4B,CAChD,GAAsB,EACtB,UAA+B,EAC/B,OAA4B,0BAA0B;IAEtD,MAAM,GAAG,GAAG,IAAI,CAAC,GAAG,IAAI,sBAAsB,EAAE,CAAC;IAEjD,KAAK,MAAM,QAAQ,IAAI,UAAU,EAAE,CAAC;QAClC,IAAI,CAAC,sBAAsB,CAAC,QAAQ,EAAE,GAAG,CAAC;YAAE,SAAS;QACrD,gFAAgF;QAChF,gFAAgF;QAChF,MAAM,MAAM,GAAG,kBAAkB,CAAC,QAAQ,CAAC,SAAS,CAAC,CAAC;QACtD,MAAM,WAAW,GAAG,MAAM,CAAC,MAAM;YAC/B,CAAC,CAAC,6CAA6C,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG;YACnE,CAAC,CAAC,yDAAyD,CAAC;QAC9D,8EAA8E;QAC9E,+EAA+E;QAC/E,MAAM,QAAQ,GAAG,qBAAqB,CAAC,4BAA4B,EAAE,QAAQ,CAAC,EAAE,CAAC,CAAC;QAClF,IAAI,CAAC;YACH,MAAM,SAAS,CACb,GAAG,EAAE,CAAC,IAAI,CAAC,cAAc,CAAC;gBACxB,QAAQ;gBACR,cAAc,EAAE,GAAG,CAAC,cAAc;gBAClC,SAAS,EAAE,EAAE;gBACb,OAAO,EAAE,IAAI;gBACb,UAAU,EAAE,kBAAkB,CAAC,mBAAmB;gBAClD,mEAAmE;gBACnE,WAAW,EAAE,uBAAuB,CAAC,cAAc;gBACnD,MAAM,EAAE,EAAE,UAAU,EAAE,QAAQ,CAAC,EAAE,EAAE,OAAO,EAAE,GAAG,CAAC,OAAO,EAAE;gBACzD,cAAc,EAAE,4BAA4B;gBAC5C,WAAW,EACT,aAAa,QAAQ,CAAC,IAAI,sBAAsB,QAAQ,CAAC,cAAc,IAAI,CAAC,GAAG;oBAC/E,qCAAqC,GAAG,sCAAsC;oBAC9E,GAAG,WAAW,6CAA6C;oBAC3D,cAAc,GAAG,CAAC,SAAS,IAAI;oBAC/B,iBAAiB,GAAG,CAAC,OAAO,IAAI;oBAChC,kBAAkB,QAAQ,CAAC,IAAI,MAAM,QAAQ,CAAC,EAAE,KAAK;oBACrD,eAAe,QAAQ,CAAC,eAAe,IAAI,SAAS,IAAI;oBACxD,wBAAwB,QAAQ,CAAC,cAAc,IAAI,CAAC,IAAI;oBACxD,mBAAmB,eAAe,CAAC,QAAQ,CAAC,SAAS,CAAC,MAAM;oBAC5D,yFAAyF;gBAC3F,YAAY,EACV,yCAAyC,QAAQ,CAAC,cAAc,IAAI,CAAC,UAAU;oBAC/E,0DAA0D;gBAC5D,UAAU,EACR,iFAAiF;oBACjF,sDAAsD;gBACxD,QAAQ,EAAE;oBACR,KAAK,EAAE,4BAA4B;oBACnC,YAAY,EAAE,QAAQ,CAAC,IAAI;oBAC3B,eAAe,EAAE,QAAQ,CAAC,eAAe;oBACzC,cAAc,EAAE,QAAQ,CAAC,cAAc,IAAI,CAAC;oBAC5C,GAAG;oBACH,SAAS,EAAE,QAAQ,CAAC,SAAS,IAAI,IAAI;iBACtC;aACF,CAAC,EACF,EAAE,WAAW,EAAE,CAAC,EAAE,KAAK,EAAE,sCAAsC,QAAQ,CAAC,EAAE,EAAE,EAAE,CAC/E,CAAC;YACF,GAAG,CAAC,IAAI,CACN,4EAA4E,QAAQ,CAAC,IAAI,IAAI;gBAC7F,oBAAoB,QAAQ,CAAC,cAAc,IAAI,CAAC,UAAU,GAAG,GAAG,CACjE,CAAC;QACJ,CAAC;QAAC,OAAO,GAAG,EAAE,CAAC;YACb,GAAG,CAAC,IAAI,CACN,gFAAgF,QAAQ,CAAC,IAAI,IAAI,EAChG,GAAa,CAAC,OAAO,CACvB,CAAC;QACJ,CAAC;IACH,CAAC;AACH,CAAC;AAmBD,0EAA0E;AAC1E,MAAM,UAAU,oBAAoB;IAClC,MAAM,GAAG,GAAG,IAAI,GAAG,EAAU,CAAC;IAC9B,KAAK,MAAM,CAAC,OAAO,EAAE,IAAI,CAAC,IAAI,cAAc,EAAE,EAAE,CAAC;QAC/C,IAAI,IAAI,CAAC,WAAW,KAAK,QAAQ;YAAE,GAAG,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;IACtD,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,MAAM,uBAAuB,GAAqB;IAChD,cAAc,EAAE,+BAA+B;IAC/C,oBAAoB;IACpB,GAAG,EAAE,GAAG,EAAE,CAAC,IAAI,CAAC,GAAG,EAAE;CACtB,CAAC;AAEF;;;;;;GAMG;AACH,MAAM,UAAU,mBAAmB,CACjC,iBAAgC,EAChC,eAAwB,EACxB,KAAa,EACb,WAAmB;IAEnB,IAAI,CAAC,iBAAiB;QAAE,OAAO,KAAK,CAAC;IACrC,IAAI,eAAe;QAAE,OAAO,KAAK,CAAC;IAClC,MAAM,WAAW,GAAG,IAAI,CAAC,KAAK,CAAC,iBAAiB,CAAC,CAAC;IAClD,IAAI,MAAM,CAAC,KAAK,CAAC,WAAW,CAAC;QAAE,OAAO,KAAK,CAAC;IAC5C,OAAO,KAAK,GAAG,WAAW,GAAG,WAAW,CAAC;AAC3C,CAAC;AAED;;;;;GAKG;AACH,MAAM,CAAC,KAAK,UAAU,8BAA8B,CAClD,GAAsB,EACtB,iBAAgC,EAChC,OAAyB,uBAAuB;IAEhD,MAAM,cAAc,GAAG,IAAI,CAAC,cAAc,IAAI,6BAA6B,EAAE,CAAC;IAC9E,MAAM,WAAW,GAAG,cAAc,GAAG,SAAS,CAAC;IAC/C,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;IAEzB,MAAM,eAAe,GAAG,IAAI,CAAC,oBAAoB,EAAE,CAAC,GAAG,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;IACrE,IAAI,CAAC,mBAAmB,CAAC,iBAAiB,EAAE,eAAe,EAAE,KAAK,EAAE,WAAW,CAAC,EAAE,CAAC;QACjF,OAAO;IACT,CAAC;IACD,+EAA+E;IAC/E,mFAAmF;IACnF,MAAM,QAAQ,GAAG,qBAAqB,CAAC,0BAA0B,EAAE,GAAG,CAAC,OAAO,EAAE,qBAAqB,CAAC,CAAC;IACvG,IAAI,CAAC;QACH,MAAM,QAAQ,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,iBAA2B,CAAC,CAAC,GAAG,SAAS,CAAC,CAAC;QAC3F,MAAM,SAAS,CACb,GAAG,EAAE,CAAC,IAAI,CAAC,cAAc,CAAC;YACxB,QAAQ;YACR,cAAc,EAAE,GAAG,CAAC,cAAc;YAClC,SAAS,EAAE,EAAE;YACb,OAAO,EAAE,IAAI;YACb,UAAU,EAAE,kBAAkB,CAAC,mBAAmB;YAClD,uEAAuE;YACvE,WAAW,EAAE,uBAAuB,CAAC,cAAc;YACnD,MAAM,EAAE,EAAE,OAAO,EAAE,GAAG,CAAC,OAAO,EAAE;YAChC,cAAc,EAAE,0BAA0B;YAC1C,WAAW,EACT,UAAU,GAAG,CAAC,SAAS,yBAAyB,QAAQ,QAAQ;gBAChE,cAAc,cAAc,qDAAqD;gBACjF,8EAA8E;gBAC9E,gFAAgF;gBAChF,mBAAmB;gBACnB,cAAc,GAAG,CAAC,SAAS,IAAI;gBAC/B,iBAAiB,GAAG,CAAC,OAAO,IAAI;gBAChC,4BAA4B,iBAAiB,MAAM;gBACnD,mFAAmF;gBACnF,wEAAwE;YAC1E,YAAY,EACV,0DAA0D,QAAQ,gBAAgB;gBAClF,kFAAkF;YACpF,UAAU,EACR,+DAA+D;gBAC/D,iFAAiF;gBACjF,oBAAoB;YACtB,QAAQ,EAAE;gBACR,KAAK,EAAE,0BAA0B;gBACjC,SAAS,EAAE,GAAG,CAAC,SAAS;gBACxB,iBAAiB;gBACjB,QAAQ;gBACR,cAAc;aACf;SACF,CAAC,EACF,EAAE,WAAW,EAAE,CAAC,EAAE,KAAK,EAAE,oCAAoC,GAAG,CAAC,OAAO,EAAE,EAAE,CAC7E,CAAC;QACF,GAAG,CAAC,IAAI,CACN,uEAAuE,GAAG,CAAC,SAAS,IAAI;YACxF,yBAAyB,QAAQ,WAAW,cAAc,IAAI,CAC/D,CAAC;IACJ,CAAC;IAAC,OAAO,GAAG,EAAE,CAAC;QACb,GAAG,CAAC,IAAI,CACN,yEAAyE,GAAG,CAAC,SAAS,IAAI,EACzF,GAAa,CAAC,OAAO,CACvB,CAAC;IACJ,CAAC;AACH,CAAC;AAiCD,6EAA6E;AAC7E,MAAM,UAAU,iBAAiB,CAAC,OAAe;IAC/C,MAAM,IAAI,GAAG,cAAc,EAAE,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;IAC3C,OAAO,IAAI,KAAK,SAAS,IAAI,IAAI,CAAC,KAAK,KAAK,WAAW,CAAC;AAC1D,CAAC;AAED,MAAM,wBAAwB,GAAsB;IAClD,iBAAiB,EAAE,qBAAqB;IACxC,iBAAiB;IACjB,WAAW,EAAE,CAAC,OAAO,EAAE,EAAE,CAAC,aAAa,CAAC,OAAO,EAAE,UAAU,CAAC;IAC5D,GAAG,EAAE,GAAG,EAAE,CAAC,IAAI,CAAC,GAAG,EAAE;CACtB,CAAC;AAEF;;;;;;;;;;GAUG;AACH,MAAM,UAAU,iBAAiB,CAC/B,cAA6B,EAC7B,KAAa,EACb,WAAmB;IAEnB,IAAI,cAAc,KAAK,IAAI;QAAE,OAAO,KAAK,CAAC;IAC1C,OAAO,KAAK,GAAG,cAAc,GAAG,WAAW,CAAC;AAC9C,CAAC;AAED;;;;;;;;;;;GAWG;AACH,MAAM,UAAU,0BAA0B,CACxC,GAAsB,EACtB,OAA0B,wBAAwB;IAElD,IAAI,CAAC,IAAI,CAAC,iBAAiB,CAAC,GAAG,CAAC,OAAO,CAAC;QAAE,OAAO;IAEjD,MAAM,cAAc,GAAG,IAAI,CAAC,cAAc,IAAI,yBAAyB,EAAE,CAAC;IAC1E,MAAM,WAAW,GAAG,cAAc,GAAG,SAAS,CAAC;IAC/C,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;IAEzB,MAAM,cAAc,GAAG,IAAI,CAAC,iBAAiB,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;IAC3D,IAAI,CAAC,iBAAiB,CAAC,cAAc,EAAE,KAAK,EAAE,WAAW,CAAC;QAAE,OAAO;IAEnE,MAAM,SAAS,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,KAAK,GAAI,cAAyB,CAAC,GAAG,SAAS,CAAC,CAAC;IAC/E,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,IAAI;YAC7E,wBAAwB,SAAS,OAAO,cAAc,gCAAgC;YACtF,mEAAmE,CACpE,CAAC;IACJ,CAAC;SAAM,CAAC;QACN,GAAG,CAAC,IAAI,CACN,uCAAuC,GAAG,CAAC,SAAS,+BAA+B;YACnF,mEAAmE,CACpE,CAAC;IACJ,CAAC;AACH,CAAC"}

package/dist/state-cascade.d.ts

@@ -1,90 +0,0 @@
-/**
- * Deterministic state cascade engine.
- *
- * Operates on the focus EXECUTION PHASE axis (derived from delivery
- * aggregate via deriveFocusPhase). Two behaviors live here:
- *
- *   1. Auto-review: phase === 'verifying' + pipelineConfig.review.enabled
- *      -> set review_requested_at. Deliveries stay in `verify`
- *         throughout the review window. The phase will become 'reviewing'
- *         on the next syncFocusPhase poll because phase derivation reads
- *         `review_requested_at + verify > 0`.
- *
- *   2. Stale review clearing: review_requested_at set but a delivery has
- *      regressed back to active work -> clear review_requested_at so the
- *      user can request a fresh review when verify is reached again.
- *
- * Review completion is NOT auto-routed here. Closing out a review and
- * routing verify deliveries to done/verify_failed is the exclusive
- * responsibility of focus-completion.ts's review exit handler, which
- * gates on the exiting team's sessionType === 'review' (a positive
- * signal that an actual review ran). If the review team never spawns
- * or never exits cleanly, the focus stays in `reviewing` phase until a
- * human intervenes -- silent auto-completion would mask a missing
- * review and violate the asymmetric correction principle.
- *
- * The "deliveries all reach verify -> focus advances" cascade and focus
- * phase regression are handled by syncFocusPhase in directive-executor.ts;
- * they no longer live here.
- */
-import type { DaemonConfig, PipelineConfig } from './types.js';
-import type { FocusDeliveryInfo } from './types.js';
-import { type FocusExecutionPhase } from './focus-phase.js';
-/** Injectable dependencies for cascade functions (testing). */
-export interface CascadeDeps {
-    getFocusDeliveries: (focusId: string) => Promise<FocusDeliveryInfo[]>;
-    setReviewRequestedAt: (focusId: string, isoTimestamp: string) => Promise<void>;
-    clearReviewRequestedAt: (focusId: string) => Promise<void>;
-}
-/**
- * Test-only: clear the auto-review backoff signatures so each test starts from
- * a clean slate (the map is module-level and otherwise persists across cases).
- */
-export declare function __resetReviewSignaturesForTesting(): void;
-/**
- * When a focus reaches the verifying phase and auto-review is enabled
- * (default-on via `isReviewEnabled`; only an explicit review.enabled === false
- * opts out), set review_requested_at. Deliveries stay in `verify` throughout
- * the review window -- there is no separate in-review delivery state. The
- * phase derivation picks up `review_requested_at + verify > 0` on the next
- * poll and emits phase = 'reviewing', firing the reviewing-stage directive.
- *
- * Backoff: if review was already triggered for an identical delivery aggregate
- * (same signature) and nothing has changed since, do NOT re-trigger. This
- * breaks the reinforcing auto-review/idle-spawn loop on a wedged focus.
- */
-export declare function checkAutoReview(focusId: string, phase: FocusExecutionPhase, pipelineConfig: PipelineConfig | null, reviewRequestedAt: string | null, deliveries: FocusDeliveryInfo[], deps?: CascadeDeps): Promise<void>;
-/**
- * Clear a review_requested_at the daemon can prove is stale, in either of two
- * machine-decidable phases:
- *
- *   coding / kickoff -- a delivery reverted to active work, so the prior review
- *     request no longer matches reality. Clear it so the user can request a
- *     fresh review once verify is reached again.
- *
- *   winding_down -- every executable delivery is terminal AND verify === 0 (see
- *     deriveFocusPhase). With review_requested_at still set and zero verify
- *     deliveries, the review window is stale BY CONSTRUCTION: there is nothing
- *     to route and no review can be in flight. The review exit's warn-and-leave
- *     branch (review-exit-phase.ts) leaves the flag set when it has no verify
- *     delivery to route; this branch is what closes the window on the next poll,
- *     so a focus can never sit in a review window it can never leave. This is
- *     the differential the machine used to MEASURE (checkReviewWindowStaleForFocus
- *     filing a needs_operator escalation) and hand to a human -- now closed here
- *     without a human.
- *
- * This intentionally does NOT touch phase 'reviewing' (verify > 0): a focus
- * holding one or more verify deliveries has a legitimately-open window, and the
- * deliberate hold branches in review-exit-phase.ts (shortfall / operator-
- * escalation / external-gate_state / below-coverage) all leave the delivery in
- * verify, so they derive 'reviewing' and this branch cannot reach them. Phase
- * regression itself is handled by syncFocusPhase.
- */
-export declare function clearStaleReviewRequest(focusId: string, phase: FocusExecutionPhase, reviewRequestedAt: string | null, deps?: CascadeDeps): Promise<void>;
-/**
- * Run cascade checks for active focuses across all configured products.
- * Called from the daemon poll loop after syncFocusPhase has updated
- * current_workflow_stage_id, so the derived phase is authoritative.
- */
-export declare function runCascadeChecks(config: DaemonConfig): Promise<void>;
-//# sourceMappingURL=state-cascade.d.ts.map

package/dist/state-cascade.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"state-cascade.d.ts","sourceRoot":"","sources":["../src/state-cascade.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA4BG;AAGH,OAAO,KAAK,EAAE,YAAY,EAAE,cAAc,EAAE,MAAM,YAAY,CAAC;AAC/D,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,YAAY,CAAC;AASpD,OAAO,EAAoB,KAAK,mBAAmB,EAAE,MAAM,kBAAkB,CAAC;AAY9E,+DAA+D;AAC/D,MAAM,WAAW,WAAW;IAC1B,kBAAkB,EAAE,CAAC,OAAO,EAAE,MAAM,KAAK,OAAO,CAAC,iBAAiB,EAAE,CAAC,CAAC;IACtE,oBAAoB,EAAE,CAAC,OAAO,EAAE,MAAM,EAAE,YAAY,EAAE,MAAM,KAAK,OAAO,CAAC,IAAI,CAAC,CAAC;IAC/E,sBAAsB,EAAE,CAAC,OAAO,EAAE,MAAM,KAAK,OAAO,CAAC,IAAI,CAAC,CAAC;CAC5D;AAgCD;;;GAGG;AACH,wBAAgB,iCAAiC,IAAI,IAAI,CAExD;AAED;;;;;;;;;;;GAWG;AACH,wBAAsB,eAAe,CACnC,OAAO,EAAE,MAAM,EACf,KAAK,EAAE,mBAAmB,EAC1B,cAAc,EAAE,cAAc,GAAG,IAAI,EACrC,iBAAiB,EAAE,MAAM,GAAG,IAAI,EAChC,UAAU,EAAE,iBAAiB,EAAE,EAC/B,IAAI,GAAE,WAAyB,GAC9B,OAAO,CAAC,IAAI,CAAC,CA2Cf;AAED;;;;;;;;;;;;;;;;;;;;;;;;;GAyBG;AACH,wBAAsB,uBAAuB,CAC3C,OAAO,EAAE,MAAM,EACf,KAAK,EAAE,mBAAmB,EAC1B,iBAAiB,EAAE,MAAM,GAAG,IAAI,EAChC,IAAI,GAAE,WAAyB,GAC9B,OAAO,CAAC,IAAI,CAAC,CA8Bf;AAED;;;;GAIG;AACH,wBAAsB,gBAAgB,CAAC,MAAM,EAAE,YAAY,GAAG,OAAO,CAAC,IAAI,CAAC,CA+D1E"}