@telora/daemon 0.22.239 → 0.22.289

package/dist/supervision/stop-rows-team-session.js

@@ -0,0 +1,286 @@
+// PINNED-BY-BEGIN (generated by gen:pinned-by -- do not hand-edit; checked by lint:pinned-by)
+// Pinned by: packages/daemon/src/supervision/stop-registry.test.ts
+// PINNED-BY-END
+/**
+ * Stop-registry rows: the stops that hold or end a team around its SESSION lifecycle -- session holds, session/process reapers, the disarm reaper, merge-resolution and worker-wait holds, the unreviewed-settle arm release -- plus the merge-resolution budget cap.
+ *
+ * Each row IS the decision its enforcing module acts on: the module asks
+ * supervision/stop-registry.ts evaluateStop for the verdict and decides nothing
+ * on its own.
+ *
+ * @module supervision/stop-rows-team-session
+ */
+import { booleanStopRow, stopRow, TEAM_PROGRESS_RECORD_FACT } from './stop-row.js';
+const MIN_MS = 60_000;
+function sessionHoldExpiryOutcome(f) {
+    if (f.kind === 'young_team_directive_deferral') {
+        return f.directiveStillQueued
+            ? { outcome: 'teardown', detail: 'the deferred spawn directive is still queued behind this team' }
+            : { outcome: 'drop', detail: 'the deferred spawn directive was consumed or replaced' };
+    }
+    if (f.kind === 'merge_resolution') {
+        return f.resolvingMergeConflict
+            ? { outcome: f.onExpire, detail: 'the merge-conflict resolution flag is still set past its bounded wait' }
+            : { outcome: 'drop', detail: 'the merge-conflict resolution already ended' };
+    }
+    // A keep-alive whose teardown already failed stays on the teardown path: the
+    // decision was made, and activity cannot re-open it into an escalation.
+    if (f.teardownAttempts > 0) {
+        return { outcome: 'teardown', detail: 'retrying a teardown whose lead could not be signalled' };
+    }
+    const movedSinceRecorded = (f.lastProgressMs ?? Number.NEGATIVE_INFINITY) > f.recordedAtMs;
+    if (!movedSinceRecorded)
+        return { outcome: f.onExpire, detail: 'no team progress since the hold was recorded' };
+    if (f.escalated)
+        return { outcome: 'teardown', detail: 'still active after the escalated bound' };
+    return { outcome: 'escalation', detail: 'the kept team is still active' };
+}
+const holdBase = {
+    kind: 'review_window_keep_alive',
+    elapsedMs: 10 * MIN_MS,
+    maxMs: 10 * MIN_MS,
+    onExpire: 'teardown',
+    recordedAtMs: 1_000,
+    directiveStillQueued: false,
+    resolvingMergeConflict: false,
+    teardownAttempts: 0,
+    escalated: false,
+    lastProgressMs: null,
+};
+function classifySessionHealthFacts(f) {
+    if (!f.system && f.tracked)
+        return { verdict: 'skip', skipReason: 'tracked_team' };
+    if (f.startedAtMs === null)
+        return { verdict: 'skip', skipReason: 'no_started_at' };
+    if (f.nowMs - f.startedAtMs < f.graceMs)
+        return { verdict: 'skip', skipReason: 'within_grace' };
+    // A live process is never judged here, and never on an activity clock: the
+    // sweep's process half (focus/session-process-reap.ts) ends a verified live
+    // process no team tracks whatever its activity, and a tracked team's stillness
+    // is the stalled_team row's to judge on the team-progress record.
+    const liveness = f.processLiveness();
+    if (liveness === 'alive')
+        return { verdict: 'skip', skipReason: 'live_process' };
+    if (liveness === 'unprovable')
+        return { verdict: 'skip', skipReason: 'unprovable_process' };
+    if (f.rowPidAlive())
+        return { verdict: 'skip', skipReason: 'unverified_live_pid' };
+    return { verdict: 'close', kind: f.system ? 'system_straggler' : 'team_orphan' };
+}
+const healthBase = {
+    system: false,
+    tracked: false,
+    startedAtMs: 0,
+    nowMs: 10 * MIN_MS,
+    graceMs: 2 * MIN_MS,
+    processLiveness: () => 'stopped',
+    rowPidAlive: () => false,
+};
+export const TEAM_SESSION_STOP_ROWS = {
+    session_hold_expiry: stopRow({
+        id: 'session_hold_expiry',
+        kind: 'hold',
+        stopsOn: 'session_hold_bound_elapsed',
+        enforcedBy: 'completion/team-teardown/session-hold.ts',
+        condition: 'A recorded session hold (review_window_keep_alive, first_result_teardown_demoted, merge_resolution, ' +
+            'unclaimed_migration_notice, young_team_directive_deferral) has stood for its bound and the condition ' +
+            'that justified it is re-checked: a deferral whose directive is still queued, a merge resolution whose ' +
+            'flag is still set, or a keep-alive tears down (a keep-alive still active escalates once first); ' +
+            'otherwise the hold is dropped.',
+        factsRead: [
+            'session hold record (kind, recordedAtMs, maxMs, onExpire, escalated, teardownAttempts)',
+            TEAM_PROGRESS_RECORD_FACT,
+            'FocusTeamState.resolvingMergeConflict',
+            'pending spawn-directive queue (by the deferred directive contentHash)',
+            'poll clock',
+        ],
+        effect: 'While the bound stands the team is KEPT (teardown suppressed / directive deferred). At expiry: teardown ' +
+            "(shutdownReason per kind), or one escalation that re-windows the hold; an unsignalable teardown retries " +
+            'and the last attempt force-reaps the registration and escalates.',
+        releaser: 'The session-hold sweep (poll loop) or the condition\'s own owner clearing the hold.',
+        releaseCondition: 'The bound expires (teardown/escalation/drop), the team exits or is replaced (hold dropped), or the ' +
+            'recording path clears the hold.',
+        decidesOnProgress: true,
+        evaluate: (f) => ({ expired: f.elapsedMs >= f.maxMs, ...sessionHoldExpiryOutcome(f) }),
+        fires: (v) => v.expired && v.outcome !== 'drop',
+        characterization: {
+            trigger: [
+                holdBase,
+                { ...holdBase, lastProgressMs: 5_000 },
+                { ...holdBase, lastProgressMs: 5_000, escalated: true },
+                { ...holdBase, lastProgressMs: 5_000, teardownAttempts: 1 },
+                { ...holdBase, kind: 'merge_resolution', maxMs: 6 * MIN_MS, elapsedMs: 6 * MIN_MS, resolvingMergeConflict: true },
+                { ...holdBase, kind: 'young_team_directive_deferral', directiveStillQueued: true },
+            ],
+            release: [
+                { ...holdBase, elapsedMs: 10 * MIN_MS - 1 },
+                { ...holdBase, kind: 'merge_resolution', maxMs: 6 * MIN_MS, elapsedMs: 6 * MIN_MS },
+                { ...holdBase, kind: 'young_team_directive_deferral' },
+            ],
+        },
+    }),
+    session_health_reap: stopRow({
+        id: 'session_health_reap',
+        kind: 'reaper',
+        stopsOn: 'untracked_session_process_stopped',
+        enforcedBy: 'focus/session-process-reap.ts',
+        condition: 'An active agent_sessions row past the grace window that no live in-memory team tracks and whose recorded ' +
+            'process is stopped (team_orphan / system_straggler). A live process is never judged on activity: one ' +
+            'no team tracks is ended by the sweep\'s process half (untracked_process) whatever its activity.',
+        factsRead: [
+            'agent_sessions row (agent_role_id, started_at/queued_at, pid)',
+            'in-memory active teams (leadSessionIds)',
+            'durable lead-process record (classifySessionProcess)',
+            'row pid liveness probe',
+            'poll clock',
+            'session-health grace window',
+        ],
+        effect: "The session's process group is ended and its row marked failed (the close is withheld when the process " +
+            'is not confirmed gone).',
+        releaser: 'The session itself (a tracked team, or a live process) or the next sweep.',
+        releaseCondition: 'The row is tracked by a live team, within grace, backed by a live or unprovable process, or its row pid ' +
+            'is still alive.',
+        evaluate: classifySessionHealthFacts,
+        fires: (v) => v.verdict === 'close',
+        characterization: {
+            trigger: [
+                healthBase,
+                { ...healthBase, system: true, tracked: true },
+                { ...healthBase, processLiveness: () => 'no_process_recorded' },
+            ],
+            release: [
+                { ...healthBase, tracked: true },
+                { ...healthBase, startedAtMs: null },
+                { ...healthBase, startedAtMs: 9 * MIN_MS },
+                { ...healthBase, processLiveness: () => 'alive' },
+                { ...healthBase, processLiveness: () => 'unprovable' },
+                { ...healthBase, rowPidAlive: () => true },
+            ],
+        },
+    }),
+    disarm_reap: booleanStopRow({
+        id: 'disarm_reap',
+        kind: 'reaper',
+        stopsOn: 'operator_stopped_focus_with_running_team',
+        enforcedBy: 'focus/control-state.ts',
+        condition: 'An active focus with a running team is not armed (no assigned agent role, or status not active) and an ' +
+            'operator stopped it (operator_stopped_at set). A lifecycle clear (null role, no operator stop) is left running.',
+        factsRead: [
+            'product_focuses.assigned_agent_role_id',
+            'product_focuses.status',
+            'product_focuses.operator_stopped_at',
+        ],
+        effect: "The focus's running team is cooperatively stopped (shutdownReason 'user_stopped').",
+        releaser: 'A human re-arming the focus.',
+        releaseCondition: 'The focus is armed again (role assigned, status active); the arm edge clears operator_stopped_at.',
+        evaluate: ({ assignedAgentRoleId, focusStatus, operatorStoppedAt }) => {
+            const armed = assignedAgentRoleId != null && focusStatus === 'active';
+            return !armed && operatorStoppedAt != null;
+        },
+        characterization: {
+            trigger: [{ assignedAgentRoleId: null, focusStatus: 'active', operatorStoppedAt: '2026-09-01T00:00:00Z' }],
+            release: [
+                { assignedAgentRoleId: 'role-1', focusStatus: 'active', operatorStoppedAt: null },
+                { assignedAgentRoleId: null, focusStatus: 'active', operatorStoppedAt: null },
+            ],
+        },
+    }),
+    merge_resolution_hold: booleanStopRow({
+        id: 'merge_resolution_hold',
+        kind: 'hold',
+        stopsOn: 'merge_resolution_outstanding',
+        enforcedBy: 'completion/team-outcome/decide-turn-entry-rows.ts',
+        condition: 'A merge-conflict resolution request is outstanding to this team (it is the resolver the daemon asked). ' +
+            'Same verdict as the shared actionable-work predicate (supervision/team-work.ts), where an outstanding ' +
+            'resolution is work before anything else.',
+        factsRead: ['FocusTeamState.resolvingMergeConflict'],
+        effect: "The whole completion flow halts 'kept': no completion phase may tear the team down.",
+        releaser: 'requestTeamLeadResolution (merge/focus-merge.ts), which clears the flag in its finally.',
+        releaseCondition: 'The resolution completes, the resolver dies, or its bounded wait ends (flag cleared); the ' +
+            'merge_resolution session hold bounds a flag that failed to clear.',
+        evaluate: ({ mergeResolutionOutstanding }) => mergeResolutionOutstanding,
+        characterization: {
+            trigger: [{ mergeResolutionOutstanding: true }],
+            release: [{ mergeResolutionOutstanding: false }],
+        },
+    }),
+    worker_wait_hold: booleanStopRow({
+        id: 'worker_wait_hold',
+        kind: 'hold',
+        stopsOn: 'lead_waiting_on_live_workers',
+        enforcedBy: 'completion/completion-event/worker-wait.ts',
+        condition: "The lead's background workers are live and there is no work the lead has not been shown.",
+        factsRead: [
+            'live workers (team-progress measure: teamWorkersLive / teamWorkersQuietInMs)',
+            'deliveries and issues the team has not been shown (knownDeliveryIds, shownIssueIds)',
+        ],
+        effect: 'The wake to the lead (handoff, re-engagement or continuation turn) is held; nothing is sent.',
+        releaser: "The lead's workers (finishing or going quiet) or newly arrived work.",
+        releaseCondition: 'The workers are no longer live, or a delivery/issue the lead has not been shown appears.',
+        evaluate: ({ workersLive, hasUnshownWork }) => workersLive && !hasUnshownWork,
+        characterization: {
+            trigger: [{ workersLive: true, hasUnshownWork: false }],
+            release: [
+                { workersLive: false, hasUnshownWork: false },
+                { workersLive: true, hasUnshownWork: true },
+            ],
+        },
+    }),
+    unreviewed_settle: booleanStopRow({
+        id: 'unreviewed_settle',
+        kind: 'reaper',
+        stopsOn: 'settled_focus_review_never_rendered',
+        enforcedBy: 'supervision/unreviewed-settle-detector.ts',
+        condition: 'The focus settled (aggregate phase winding_down) with a review window open (review_requested_at set), ' +
+            'no verdict ever rendered (reviewed_through_sha null) and its arm still held. The enforcing module ' +
+            'defers while a review session for the focus is live.',
+        factsRead: [
+            'focus delivery aggregate phase',
+            'product_focuses.review_requested_at',
+            'product_focuses.reviewed_through_sha',
+            'product_focuses.assigned_agent_role_id',
+        ],
+        effect: 'One review_window_stalled escalation is filed and the stranded arm is released (role -> null); the ' +
+            'review window stays open.',
+        releaser: 'A rendered review verdict, or the arm release this row performs.',
+        releaseCondition: 'reviewed_through_sha is stamped, the role is null, or the focus is no longer winding_down.',
+        evaluate: (i) => i.phase === 'winding_down' &&
+            i.reviewRequestedAt !== null &&
+            i.reviewedThroughSha === null &&
+            i.assignedAgentRoleId !== null,
+        characterization: {
+            trigger: [{ phase: 'winding_down', reviewRequestedAt: 't', reviewedThroughSha: null, assignedAgentRoleId: 'r' }],
+            release: [
+                { phase: 'executing', reviewRequestedAt: 't', reviewedThroughSha: null, assignedAgentRoleId: 'r' },
+                { phase: 'winding_down', reviewRequestedAt: null, reviewedThroughSha: null, assignedAgentRoleId: 'r' },
+                { phase: 'winding_down', reviewRequestedAt: 't', reviewedThroughSha: 'abc', assignedAgentRoleId: 'r' },
+                { phase: 'winding_down', reviewRequestedAt: 't', reviewedThroughSha: null, assignedAgentRoleId: null },
+            ],
+        },
+    }),
+    merge_resolution_budget: booleanStopRow({
+        id: 'merge_resolution_budget',
+        kind: 'cap',
+        stopsOn: 'merge_resolution_budget_elapsed',
+        enforcedBy: 'merge/resolution-agent.ts',
+        condition: 'The fallback merge-conflict resolution agent is still running when its budget ' +
+            '(merge/resolution-budget.ts computeResolutionAgentBudget) elapses.',
+        factsRead: [
+            'resolver run time (the kill timer armed for the budget)',
+            'computed or configured resolution budget (products[].resolutionAgentTimeoutMs)',
+            'resolver process exit',
+        ],
+        effect: "The resolver's process group is sent SIGTERM, then SIGKILL 10s later; the resolution reports failure.",
+        releaser: 'The resolver process exiting.',
+        releaseCondition: 'The resolver closes (or errors) before the budget elapses; its kill timer is cleared.',
+        evaluate: ({ elapsedMs, budgetMs, resolverExited }) => !resolverExited && elapsedMs >= budgetMs,
+        characterization: {
+            trigger: [{ elapsedMs: 10 * MIN_MS, budgetMs: 10 * MIN_MS, resolverExited: false }],
+            release: [
+                { elapsedMs: 10 * MIN_MS - 1, budgetMs: 10 * MIN_MS, resolverExited: false },
+                { elapsedMs: 10 * MIN_MS, budgetMs: 10 * MIN_MS, resolverExited: true },
+            ],
+        },
+    }),
+};
+//# sourceMappingURL=stop-rows-team-session.js.map

package/dist/supervision/stop-rows-team-session.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"stop-rows-team-session.js","sourceRoot":"","sources":["../../src/supervision/stop-rows-team-session.ts"],"names":[],"mappings":"AAAA,8FAA8F;AAC9F,mEAAmE;AACnE,gBAAgB;AAEhB;;;;;;;;GAQG;AAEH,OAAO,EAAE,cAAc,EAAE,OAAO,EAAE,yBAAyB,EAAE,MAAM,eAAe,CAAC;AAGnF,MAAM,MAAM,GAAG,MAAM,CAAC;AA0CtB,SAAS,wBAAwB,CAAC,CAAyB;IACzD,IAAI,CAAC,CAAC,IAAI,KAAK,+BAA+B,EAAE,CAAC;QAC/C,OAAO,CAAC,CAAC,oBAAoB;YAC3B,CAAC,CAAC,EAAE,OAAO,EAAE,UAAU,EAAE,MAAM,EAAE,+DAA+D,EAAE;YAClG,CAAC,CAAC,EAAE,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,uDAAuD,EAAE,CAAC;IAC3F,CAAC;IACD,IAAI,CAAC,CAAC,IAAI,KAAK,kBAAkB,EAAE,CAAC;QAClC,OAAO,CAAC,CAAC,sBAAsB;YAC7B,CAAC,CAAC,EAAE,OAAO,EAAE,CAAC,CAAC,QAAQ,EAAE,MAAM,EAAE,uEAAuE,EAAE;YAC1G,CAAC,CAAC,EAAE,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,6CAA6C,EAAE,CAAC;IACjF,CAAC;IACD,6EAA6E;IAC7E,wEAAwE;IACxE,IAAI,CAAC,CAAC,gBAAgB,GAAG,CAAC,EAAE,CAAC;QAC3B,OAAO,EAAE,OAAO,EAAE,UAAU,EAAE,MAAM,EAAE,uDAAuD,EAAE,CAAC;IAClG,CAAC;IACD,MAAM,kBAAkB,GAAG,CAAC,CAAC,CAAC,cAAc,IAAI,MAAM,CAAC,iBAAiB,CAAC,GAAG,CAAC,CAAC,YAAY,CAAC;IAC3F,IAAI,CAAC,kBAAkB;QAAE,OAAO,EAAE,OAAO,EAAE,CAAC,CAAC,QAAQ,EAAE,MAAM,EAAE,8CAA8C,EAAE,CAAC;IAChH,IAAI,CAAC,CAAC,SAAS;QAAE,OAAO,EAAE,OAAO,EAAE,UAAU,EAAE,MAAM,EAAE,wCAAwC,EAAE,CAAC;IAClG,OAAO,EAAE,OAAO,EAAE,YAAY,EAAE,MAAM,EAAE,+BAA+B,EAAE,CAAC;AAC5E,CAAC;AAED,MAAM,QAAQ,GAA2B;IACvC,IAAI,EAAE,0BAA0B;IAChC,SAAS,EAAE,EAAE,GAAG,MAAM;IACtB,KAAK,EAAE,EAAE,GAAG,MAAM;IAClB,QAAQ,EAAE,UAAU;IACpB,YAAY,EAAE,KAAK;IACnB,oBAAoB,EAAE,KAAK;IAC3B,sBAAsB,EAAE,KAAK;IAC7B,gBAAgB,EAAE,CAAC;IACnB,SAAS,EAAE,KAAK;IAChB,cAAc,EAAE,IAAI;CACrB,CAAC;AA2BF,SAAS,0BAA0B,CAAC,CAAyB;IAC3D,IAAI,CAAC,CAAC,CAAC,MAAM,IAAI,CAAC,CAAC,OAAO;QAAE,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,UAAU,EAAE,cAAc,EAAE,CAAC;IACnF,IAAI,CAAC,CAAC,WAAW,KAAK,IAAI;QAAE,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,UAAU,EAAE,eAAe,EAAE,CAAC;IACpF,IAAI,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,WAAW,GAAG,CAAC,CAAC,OAAO;QAAE,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,UAAU,EAAE,cAAc,EAAE,CAAC;IAChG,2EAA2E;IAC3E,4EAA4E;IAC5E,+EAA+E;IAC/E,kEAAkE;IAClE,MAAM,QAAQ,GAAG,CAAC,CAAC,eAAe,EAAE,CAAC;IACrC,IAAI,QAAQ,KAAK,OAAO;QAAE,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,UAAU,EAAE,cAAc,EAAE,CAAC;IACjF,IAAI,QAAQ,KAAK,YAAY;QAAE,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,UAAU,EAAE,oBAAoB,EAAE,CAAC;IAC5F,IAAI,CAAC,CAAC,WAAW,EAAE;QAAE,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,UAAU,EAAE,qBAAqB,EAAE,CAAC;IACnF,OAAO,EAAE,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,kBAAkB,CAAC,CAAC,CAAC,aAAa,EAAE,CAAC;AACnF,CAAC;AAED,MAAM,UAAU,GAA2B;IACzC,MAAM,EAAE,KAAK;IACb,OAAO,EAAE,KAAK;IACd,WAAW,EAAE,CAAC;IACd,KAAK,EAAE,EAAE,GAAG,MAAM;IAClB,OAAO,EAAE,CAAC,GAAG,MAAM;IACnB,eAAe,EAAE,GAAG,EAAE,CAAC,SAAS;IAChC,WAAW,EAAE,GAAG,EAAE,CAAC,KAAK;CACzB,CAAC;AA0BF,MAAM,CAAC,MAAM,sBAAsB,GAAG;IACpC,mBAAmB,EAAE,OAAO,CAAmD;QAC7E,EAAE,EAAE,qBAAqB;QACzB,IAAI,EAAE,MAAM;QACZ,OAAO,EAAE,4BAA4B;QACrC,UAAU,EAAE,0CAA0C;QACtD,SAAS,EACP,sGAAsG;YACtG,uGAAuG;YACvG,wGAAwG;YACxG,kGAAkG;YAClG,gCAAgC;QAClC,SAAS,EAAE;YACT,wFAAwF;YACxF,yBAAyB;YACzB,uCAAuC;YACvC,uEAAuE;YACvE,YAAY;SACb;QACD,MAAM,EACJ,0GAA0G;YAC1G,0GAA0G;YAC1G,kEAAkE;QACpE,QAAQ,EAAE,qFAAqF;QAC/F,gBAAgB,EACd,qGAAqG;YACrG,iCAAiC;QACnC,iBAAiB,EAAE,IAAI;QACvB,QAAQ,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,OAAO,EAAE,CAAC,CAAC,SAAS,IAAI,CAAC,CAAC,KAAK,EAAE,GAAG,wBAAwB,CAAC,CAAC,CAAC,EAAE,CAAC;QACtF,KAAK,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,IAAI,CAAC,CAAC,OAAO,KAAK,MAAM;QAC/C,gBAAgB,EAAE;YAChB,OAAO,EAAE;gBACP,QAAQ;gBACR,EAAE,GAAG,QAAQ,EAAE,cAAc,EAAE,KAAK,EAAE;gBACtC,EAAE,GAAG,QAAQ,EAAE,cAAc,EAAE,KAAK,EAAE,SAAS,EAAE,IAAI,EAAE;gBACvD,EAAE,GAAG,QAAQ,EAAE,cAAc,EAAE,KAAK,EAAE,gBAAgB,EAAE,CAAC,EAAE;gBAC3D,EAAE,GAAG,QAAQ,EAAE,IAAI,EAAE,kBAAkB,EAAE,KAAK,EAAE,CAAC,GAAG,MAAM,EAAE,SAAS,EAAE,CAAC,GAAG,MAAM,EAAE,sBAAsB,EAAE,IAAI,EAAE;gBACjH,EAAE,GAAG,QAAQ,EAAE,IAAI,EAAE,+BAA+B,EAAE,oBAAoB,EAAE,IAAI,EAAE;aACnF;YACD,OAAO,EAAE;gBACP,EAAE,GAAG,QAAQ,EAAE,SAAS,EAAE,EAAE,GAAG,MAAM,GAAG,CAAC,EAAE;gBAC3C,EAAE,GAAG,QAAQ,EAAE,IAAI,EAAE,kBAAkB,EAAE,KAAK,EAAE,CAAC,GAAG,MAAM,EAAE,SAAS,EAAE,CAAC,GAAG,MAAM,EAAE;gBACnF,EAAE,GAAG,QAAQ,EAAE,IAAI,EAAE,+BAA+B,EAAE;aACvD;SACF;KACF,CAAC;IAEF,mBAAmB,EAAE,OAAO,CAAmD;QAC7E,EAAE,EAAE,qBAAqB;QACzB,IAAI,EAAE,QAAQ;QACd,OAAO,EAAE,mCAAmC;QAC5C,UAAU,EAAE,+BAA+B;QAC3C,SAAS,EACP,2GAA2G;YAC3G,uGAAuG;YACvG,iGAAiG;QACnG,SAAS,EAAE;YACT,+DAA+D;YAC/D,yCAAyC;YACzC,sDAAsD;YACtD,wBAAwB;YACxB,YAAY;YACZ,6BAA6B;SAC9B;QACD,MAAM,EACJ,yGAAyG;YACzG,yBAAyB;QAC3B,QAAQ,EAAE,2EAA2E;QACrF,gBAAgB,EACd,0GAA0G;YAC1G,iBAAiB;QACnB,QAAQ,EAAE,0BAA0B;QACpC,KAAK,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,KAAK,OAAO;QACnC,gBAAgB,EAAE;YAChB,OAAO,EAAE;gBACP,UAAU;gBACV,EAAE,GAAG,UAAU,EAAE,MAAM,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE;gBAC9C,EAAE,GAAG,UAAU,EAAE,eAAe,EAAE,GAAG,EAAE,CAAC,qBAAqB,EAAE;aAChE;YACD,OAAO,EAAE;gBACP,EAAE,GAAG,UAAU,EAAE,OAAO,EAAE,IAAI,EAAE;gBAChC,EAAE,GAAG,UAAU,EAAE,WAAW,EAAE,IAAI,EAAE;gBACpC,EAAE,GAAG,UAAU,EAAE,WAAW,EAAE,CAAC,GAAG,MAAM,EAAE;gBAC1C,EAAE,GAAG,UAAU,EAAE,eAAe,EAAE,GAAG,EAAE,CAAC,OAAO,EAAE;gBACjD,EAAE,GAAG,UAAU,EAAE,eAAe,EAAE,GAAG,EAAE,CAAC,YAAY,EAAE;gBACtD,EAAE,GAAG,UAAU,EAAE,WAAW,EAAE,GAAG,EAAE,CAAC,IAAI,EAAE;aAC3C;SACF;KACF,CAAC;IAEF,WAAW,EAAE,cAAc,CAAkB;QAC3C,EAAE,EAAE,aAAa;QACjB,IAAI,EAAE,QAAQ;QACd,OAAO,EAAE,0CAA0C;QACnD,UAAU,EAAE,wBAAwB;QACpC,SAAS,EACP,yGAAyG;YACzG,iHAAiH;QACnH,SAAS,EAAE;YACT,wCAAwC;YACxC,wBAAwB;YACxB,qCAAqC;SACtC;QACD,MAAM,EAAE,oFAAoF;QAC5F,QAAQ,EAAE,8BAA8B;QACxC,gBAAgB,EAAE,mGAAmG;QACrH,QAAQ,EAAE,CAAC,EAAE,mBAAmB,EAAE,WAAW,EAAE,iBAAiB,EAAE,EAAE,EAAE;YACpE,MAAM,KAAK,GAAG,mBAAmB,IAAI,IAAI,IAAI,WAAW,KAAK,QAAQ,CAAC;YACtE,OAAO,CAAC,KAAK,IAAI,iBAAiB,IAAI,IAAI,CAAC;QAC7C,CAAC;QACD,gBAAgB,EAAE;YAChB,OAAO,EAAE,CAAC,EAAE,mBAAmB,EAAE,IAAI,EAAE,WAAW,EAAE,QAAQ,EAAE,iBAAiB,EAAE,sBAAsB,EAAE,CAAC;YAC1G,OAAO,EAAE;gBACP,EAAE,mBAAmB,EAAE,QAAQ,EAAE,WAAW,EAAE,QAAQ,EAAE,iBAAiB,EAAE,IAAI,EAAE;gBACjF,EAAE,mBAAmB,EAAE,IAAI,EAAE,WAAW,EAAE,QAAQ,EAAE,iBAAiB,EAAE,IAAI,EAAE;aAC9E;SACF;KACF,CAAC;IAEF,qBAAqB,EAAE,cAAc,CAA0C;QAC7E,EAAE,EAAE,uBAAuB;QAC3B,IAAI,EAAE,MAAM;QACZ,OAAO,EAAE,8BAA8B;QACvC,UAAU,EAAE,mDAAmD;QAC/D,SAAS,EACP,yGAAyG;YACzG,wGAAwG;YACxG,0CAA0C;QAC5C,SAAS,EAAE,CAAC,uCAAuC,CAAC;QACpD,MAAM,EAAE,qFAAqF;QAC7F,QAAQ,EAAE,yFAAyF;QACnG,gBAAgB,EACd,4FAA4F;YAC5F,mEAAmE;QACrE,QAAQ,EAAE,CAAC,EAAE,0BAA0B,EAAE,EAAE,EAAE,CAAC,0BAA0B;QACxE,gBAAgB,EAAE;YAChB,OAAO,EAAE,CAAC,EAAE,0BAA0B,EAAE,IAAI,EAAE,CAAC;YAC/C,OAAO,EAAE,CAAC,EAAE,0BAA0B,EAAE,KAAK,EAAE,CAAC;SACjD;KACF,CAAC;IAEF,gBAAgB,EAAE,cAAc,CAAoD;QAClF,EAAE,EAAE,kBAAkB;QACtB,IAAI,EAAE,MAAM;QACZ,OAAO,EAAE,8BAA8B;QACvC,UAAU,EAAE,4CAA4C;QACxD,SAAS,EACP,0FAA0F;QAC5F,SAAS,EAAE;YACT,8EAA8E;YAC9E,qFAAqF;SACtF;QACD,MAAM,EAAE,8FAA8F;QACtG,QAAQ,EAAE,sEAAsE;QAChF,gBAAgB,EAAE,0FAA0F;QAC5G,QAAQ,EAAE,CAAC,EAAE,WAAW,EAAE,cAAc,EAAE,EAAE,EAAE,CAAC,WAAW,IAAI,CAAC,cAAc;QAC7E,gBAAgB,EAAE;YAChB,OAAO,EAAE,CAAC,EAAE,WAAW,EAAE,IAAI,EAAE,cAAc,EAAE,KAAK,EAAE,CAAC;YACvD,OAAO,EAAE;gBACP,EAAE,WAAW,EAAE,KAAK,EAAE,cAAc,EAAE,KAAK,EAAE;gBAC7C,EAAE,WAAW,EAAE,IAAI,EAAE,cAAc,EAAE,IAAI,EAAE;aAC5C;SACF;KACF,CAAC;IAEF,iBAAiB,EAAE,cAAc,CAK9B;QACD,EAAE,EAAE,mBAAmB;QACvB,IAAI,EAAE,QAAQ;QACd,OAAO,EAAE,qCAAqC;QAC9C,UAAU,EAAE,2CAA2C;QACvD,SAAS,EACP,wGAAwG;YACxG,oGAAoG;YACpG,sDAAsD;QACxD,SAAS,EAAE;YACT,gCAAgC;YAChC,qCAAqC;YACrC,sCAAsC;YACtC,wCAAwC;SACzC;QACD,MAAM,EACJ,qGAAqG;YACrG,2BAA2B;QAC7B,QAAQ,EAAE,kEAAkE;QAC5E,gBAAgB,EAAE,4FAA4F;QAC9G,QAAQ,EAAE,CAAC,CAAC,EAAE,EAAE,CACd,CAAC,CAAC,KAAK,KAAK,cAAc;YAC1B,CAAC,CAAC,iBAAiB,KAAK,IAAI;YAC5B,CAAC,CAAC,kBAAkB,KAAK,IAAI;YAC7B,CAAC,CAAC,mBAAmB,KAAK,IAAI;QAChC,gBAAgB,EAAE;YAChB,OAAO,EAAE,CAAC,EAAE,KAAK,EAAE,cAAc,EAAE,iBAAiB,EAAE,GAAG,EAAE,kBAAkB,EAAE,IAAI,EAAE,mBAAmB,EAAE,GAAG,EAAE,CAAC;YAChH,OAAO,EAAE;gBACP,EAAE,KAAK,EAAE,WAAW,EAAE,iBAAiB,EAAE,GAAG,EAAE,kBAAkB,EAAE,IAAI,EAAE,mBAAmB,EAAE,GAAG,EAAE;gBAClG,EAAE,KAAK,EAAE,cAAc,EAAE,iBAAiB,EAAE,IAAI,EAAE,kBAAkB,EAAE,IAAI,EAAE,mBAAmB,EAAE,GAAG,EAAE;gBACtG,EAAE,KAAK,EAAE,cAAc,EAAE,iBAAiB,EAAE,GAAG,EAAE,kBAAkB,EAAE,KAAK,EAAE,mBAAmB,EAAE,GAAG,EAAE;gBACtG,EAAE,KAAK,EAAE,cAAc,EAAE,iBAAiB,EAAE,GAAG,EAAE,kBAAkB,EAAE,IAAI,EAAE,mBAAmB,EAAE,IAAI,EAAE;aACvG;SACF;KACF,CAAC;IAEF,uBAAuB,EAAE,cAAc,CAA6B;QAClE,EAAE,EAAE,yBAAyB;QAC7B,IAAI,EAAE,KAAK;QACX,OAAO,EAAE,iCAAiC;QAC1C,UAAU,EAAE,2BAA2B;QACvC,SAAS,EACP,gFAAgF;YAChF,oEAAoE;QACtE,SAAS,EAAE;YACT,yDAAyD;YACzD,gFAAgF;YAChF,uBAAuB;SACxB;QACD,MAAM,EAAE,uGAAuG;QAC/G,QAAQ,EAAE,+BAA+B;QACzC,gBAAgB,EAAE,uFAAuF;QACzG,QAAQ,EAAE,CAAC,EAAE,SAAS,EAAE,QAAQ,EAAE,cAAc,EAAE,EAAE,EAAE,CAAC,CAAC,cAAc,IAAI,SAAS,IAAI,QAAQ;QAC/F,gBAAgB,EAAE;YAChB,OAAO,EAAE,CAAC,EAAE,SAAS,EAAE,EAAE,GAAG,MAAM,EAAE,QAAQ,EAAE,EAAE,GAAG,MAAM,EAAE,cAAc,EAAE,KAAK,EAAE,CAAC;YACnF,OAAO,EAAE;gBACP,EAAE,SAAS,EAAE,EAAE,GAAG,MAAM,GAAG,CAAC,EAAE,QAAQ,EAAE,EAAE,GAAG,MAAM,EAAE,cAAc,EAAE,KAAK,EAAE;gBAC5E,EAAE,SAAS,EAAE,EAAE,GAAG,MAAM,EAAE,QAAQ,EAAE,EAAE,GAAG,MAAM,EAAE,cAAc,EAAE,IAAI,EAAE;aACxE;SACF;KACF,CAAC;CACM,CAAC"}

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

@@ -0,0 +1,104 @@
+/**
+ * The clock half of the stalled-team stop: how long the team has been still on
+ * the team-progress record, against its two windows, and whether the acting
+ * reap is allowed (the liveness badge is not demoted). Read by the cascade pass
+ * and a forced spawn.
+ */
+export interface StalledTeamClock {
+    /** When the team last moved on the team-progress record; null = no progress observed yet. */
+    lastProgressMs: number | null;
+    nowMs: number;
+    /** TELORA_STALLED_TEAM_BACKSTOP_MINUTES in ms: past it, an acting-allowed reap files a team_failure. */
+    backstopWindowMs: number;
+    /** TELORA_IDLE_TEAM_STALL_HOURS in ms: past it, the team is reaped whatever the badge says. */
+    idleWindowMs: number;
+    /** The observe-only liveness badge is NOT demoted (its false-positive record permits a reap). */
+    actingAllowed: boolean;
+}
+/**
+ * The daemon's asks a team can leave unanswered, each counted by its own
+ * counter: completion cycles on work the team owns (scope coverage), cycles
+ * across respawns (delivery advancement) and re-engagement wakes. A counter
+ * only counts; it is the stalled_team row that decides whether it ends the team.
+ */
+export type StallAskCounter = 'scope_coverage' | 'delivery_advancement' | 'reengagement';
+/** One counter's reading at a completion event. */
+export interface StallAsk {
+    counter: StallAskCounter;
+    /** Unanswered asks counted so far. */
+    count: number;
+    /** The counter's limit. */
+    limit: number;
+    /**
+     * The team has been still on every axis of the team-progress record for
+     * NO_PROGRESS_STALL_WINDOW_MS (measured across respawns for delivery
+     * advancement). A count alone never ends a team.
+     */
+    stillWindowElapsed: boolean;
+}
+/**
+ * Facts for the one stalled-team stop. A site supplies the half it measures:
+ * the cascade pass and a forced spawn the clock, a completion event the asks.
+ */
+export interface StalledTeamFacts {
+    clock?: StalledTeamClock;
+    /** In precedence order: the first exhausted ask decides the action. */
+    asks?: readonly StallAsk[];
+}
+/**
+ * What the stalled-team stop does: reap and file one team_failure, reap without
+ * filing, record an observe-only firing, or nothing.
+ */
+export type StalledTeamAction = 'reap_and_file' | 'reap' | 'observe';
+export interface StalledTeamVerdict {
+    fires: boolean;
+    action: StalledTeamAction | null;
+    /** The exhausted ask that proved the stall; absent when the clock decided. */
+    cause?: StallAskCounter;
+}
+/** Facts for the outcome backstop (announced death). */
+export interface TeamOutcomeDeadFacts {
+    /** When the session emitted a terminal-error result; null = none. */
+    errorResultAt: number | null;
+    /**
+     * When the team last moved on the team-progress record; null = no reading
+     * yet, or the latest reading was unreadable (withholds the verdict).
+     */
+    lastProgressMs: number | null;
+    nowMs: number;
+    graceMs: number;
+}
+/** Facts for one focus's liveness-badge reading on one heartbeat. */
+export interface LivenessBadgeFacts {
+    /** The team's lifecycle phase (only `executing` can be unresponsive). */
+    phase: string;
+    /** When the team last moved on the team-progress record; undefined = no progress reading yet. */
+    lastProgressMs: number | undefined;
+    nowMs: number;
+    staleMs: number;
+}
+/** Facts for the review-window close (both deadlines). */
+export interface ReviewWindowCloseFacts {
+    reviewRequestedAt: string | null;
+    /** A review team is present AND it moved on the team-progress record recently (isReviewGenuinelyActive). */
+    reviewGenuinelyActive: boolean;
+    /** When the review team last moved on the team-progress record; null = no progress observed yet. */
+    lastReviewProgressMs: number | null;
+    nowMs: number;
+    /** Absolute window-age threshold (TELORA_REVIEW_WINDOW_STALE_HOURS). */
+    thresholdMs: number;
+    /** Reviewer-silence deadline (TELORA_REVIEW_SILENCE_DEADLINE_MINUTES). */
+    silenceDeadlineMs: number;
+}
+export interface ReviewWindowCloseVerdict {
+    close: boolean;
+    /** Which deadline fired, for the log line. '' when close is false. */
+    reason: string;
+}
+export declare const TEAM_STALL_STOP_ROWS: {
+    readonly stalled_team: import("./stop-row.js").StopRow<StalledTeamFacts, StalledTeamVerdict>;
+    readonly team_outcome_dead: import("./stop-row.js").StopRow<TeamOutcomeDeadFacts, boolean>;
+    readonly liveness_badge: import("./stop-row.js").StopRow<LivenessBadgeFacts, boolean>;
+    readonly review_window_close: import("./stop-row.js").StopRow<ReviewWindowCloseFacts, ReviewWindowCloseVerdict>;
+};
+//# sourceMappingURL=stop-rows-team-stall.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"stop-rows-team-stall.d.ts","sourceRoot":"","sources":["../../src/supervision/stop-rows-team-stall.ts"],"names":[],"mappings":"AA4BA;;;;;GAKG;AACH,MAAM,WAAW,gBAAgB;IAC/B,6FAA6F;IAC7F,cAAc,EAAE,MAAM,GAAG,IAAI,CAAC;IAC9B,KAAK,EAAE,MAAM,CAAC;IACd,wGAAwG;IACxG,gBAAgB,EAAE,MAAM,CAAC;IACzB,+FAA+F;IAC/F,YAAY,EAAE,MAAM,CAAC;IACrB,iGAAiG;IACjG,aAAa,EAAE,OAAO,CAAC;CACxB;AAED;;;;;GAKG;AACH,MAAM,MAAM,eAAe,GAAG,gBAAgB,GAAG,sBAAsB,GAAG,cAAc,CAAC;AAEzF,mDAAmD;AACnD,MAAM,WAAW,QAAQ;IACvB,OAAO,EAAE,eAAe,CAAC;IACzB,sCAAsC;IACtC,KAAK,EAAE,MAAM,CAAC;IACd,2BAA2B;IAC3B,KAAK,EAAE,MAAM,CAAC;IACd;;;;OAIG;IACH,kBAAkB,EAAE,OAAO,CAAC;CAC7B;AAED;;;GAGG;AACH,MAAM,WAAW,gBAAgB;IAC/B,KAAK,CAAC,EAAE,gBAAgB,CAAC;IACzB,uEAAuE;IACvE,IAAI,CAAC,EAAE,SAAS,QAAQ,EAAE,CAAC;CAC5B;AAED;;;GAGG;AACH,MAAM,MAAM,iBAAiB,GAAG,eAAe,GAAG,MAAM,GAAG,SAAS,CAAC;AAErE,MAAM,WAAW,kBAAkB;IACjC,KAAK,EAAE,OAAO,CAAC;IACf,MAAM,EAAE,iBAAiB,GAAG,IAAI,CAAC;IACjC,8EAA8E;IAC9E,KAAK,CAAC,EAAE,eAAe,CAAC;CACzB;AAED,wDAAwD;AACxD,MAAM,WAAW,oBAAoB;IACnC,qEAAqE;IACrE,aAAa,EAAE,MAAM,GAAG,IAAI,CAAC;IAC7B;;;OAGG;IACH,cAAc,EAAE,MAAM,GAAG,IAAI,CAAC;IAC9B,KAAK,EAAE,MAAM,CAAC;IACd,OAAO,EAAE,MAAM,CAAC;CACjB;AAED,qEAAqE;AACrE,MAAM,WAAW,kBAAkB;IACjC,yEAAyE;IACzE,KAAK,EAAE,MAAM,CAAC;IACd,iGAAiG;IACjG,cAAc,EAAE,MAAM,GAAG,SAAS,CAAC;IACnC,KAAK,EAAE,MAAM,CAAC;IACd,OAAO,EAAE,MAAM,CAAC;CACjB;AAED,0DAA0D;AAC1D,MAAM,WAAW,sBAAsB;IACrC,iBAAiB,EAAE,MAAM,GAAG,IAAI,CAAC;IACjC,4GAA4G;IAC5G,qBAAqB,EAAE,OAAO,CAAC;IAC/B,oGAAoG;IACpG,oBAAoB,EAAE,MAAM,GAAG,IAAI,CAAC;IACpC,KAAK,EAAE,MAAM,CAAC;IACd,wEAAwE;IACxE,WAAW,EAAE,MAAM,CAAC;IACpB,0EAA0E;IAC1E,iBAAiB,EAAE,MAAM,CAAC;CAC3B;AAED,MAAM,WAAW,wBAAwB;IACvC,KAAK,EAAE,OAAO,CAAC;IACf,sEAAsE;IACtE,MAAM,EAAE,MAAM,CAAC;CAChB;AAmED,eAAO,MAAM,oBAAoB;;;;;CAgLvB,CAAC"}