@telora/daemon 0.23.48 → 0.23.56

package/dist/completion/state-cascade/standing-approval-failed-verdict.js

@@ -0,0 +1,121 @@
+// 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/standing-approval-failed-verdict.test.ts
+// PINNED-BY-END
+import { filterWorkIssues } from '../../types/issue-status.js';
+import { splitOpenWork } from '../../delivery/recorded-concerns.js';
+import { sameCommit } from '../../queries/focus-review/focus-review-approval.js';
+import { readFailedShortfallJudgment } from '../../verify/shortfalls/latest-shortfall-judgment.js';
+import { rulingRecordedSince } from '../../verify/shortfalls/shortfall-park.js';
+import { createLogger } from '../../log/daemon-log.js';
+const log = createLogger({ module: 'state-cascade' });
+/** deliveryId -> the last state logged for it (one line per delivery per state, not one per poll). */
+const lastNoted = new Map();
+/**
+ * The deliveries whose latest verify judgment is a shortfall failure (rule 1 of
+ * the module header); every other delivery's logged state is forgotten.
+ */
+export function failedVerdictCandidates(deliveries) {
+    const out = [];
+    for (const delivery of deliveries) {
+        const failed = readFailedShortfallJudgment(delivery);
+        if (failed !== null)
+            out.push({ delivery, failed });
+        else
+            lastNoted.delete(delivery.id);
+    }
+    return out;
+}
+/** The judged commit when it is the approved head (rule 2), else null. Pure. */
+function judgedAtHead(failed, head) {
+    const sha = failed.judgment.judgedSha;
+    if (sha === undefined || sha === '')
+        return null;
+    return sameCommit(sha, head.approvedSha) || (head.advanceHead !== null && sameCommit(sha, head.advanceHead)) ? sha : null;
+}
+/** What the streak compares for a failed-verdict decline (module header, THE SIGNATURE). Pure. */
+export function failedVerdictSignature(failed, approvedSha) {
+    const nodes = failed.judgment.nodes.map((n) => `${n.nodeId}:${n.unjudged ?? ''}:${n.reason}`).join(';');
+    return `failed_verdict|${approvedSha}|${failed.outcome ?? 'unrecorded'}|${failed.judgment.judgedSha ?? ''}|${failed.judgment.heldAt}|${nodes}`;
+}
+/** Forget every logged state (the convergence's test seam calls it). */
+export function forgetFailedVerdictNotes() {
+    lastNoted.clear();
+}
+function noteOnce(d, state, line) {
+    if (lastNoted.get(d.id) === state)
+        return;
+    lastNoted.set(d.id, state);
+    log.info(line());
+}
+/** Why `d` is not counted this poll (module header, NOT COUNTED), or null when nothing answers for it. */
+async function answeredBy(d, failed, deps, concernIds) {
+    if (deps.isGateRunSelected?.(d.id) === true)
+        return 'a verify run for it is in flight';
+    if (deps.readShortfallRulings) {
+        const { fingerprint } = await deps.readShortfallRulings(d.id);
+        if (rulingRecordedSince(failed.appliedRulings, fingerprint))
+            return 'a ruling verify did not apply is in force; it awaits re-judgement';
+    }
+    const work = filterWorkIssues(await deps.getDeliveryIssues(d.id));
+    if (splitOpenWork(work, await concernIds()).owed.length > 0)
+        return 'it owes open work; a coding pass is next';
+    return null;
+}
+/** The decline for one counted delivery: its judgment, held at the approved head. */
+function declineOf(d, failed, judgedSha, approvedSha, readFailure) {
+    const payload = {
+        heldAt: failed.judgment.heldAt, judgedSha, outcome: failed.outcome, nodes: failed.judgment.nodes,
+    };
+    const ids = failed.judgment.nodes.map((n) => n.nodeId).join(', ');
+    if (readFailure !== null) {
+        return { deliveryId: d.id, deliveryName: d.name, kind: 'read_failed', reason: `a read failed (${readFailure})`, failed: payload };
+    }
+    return {
+        deliveryId: d.id,
+        deliveryName: d.name,
+        kind: 'failed_verdict',
+        reason: `verify's latest judgment of ${approvedSha.slice(0, 12)} is a failure on node(s) ${ids}`,
+        signature: failedVerdictSignature(failed, approvedSha),
+        failed: payload,
+    };
+}
+/**
+ * Examine each failed-verdict candidate at the approved head and return the
+ * declines to count (module header). `readConcernIds` is called at most once.
+ * Never throws: a read that fails is a `read_failed` decline.
+ */
+export async function examineFailedVerdicts(focus, candidates, head, deps, readConcernIds) {
+    let concerns;
+    const concernIds = () => (concerns ??= readConcernIds());
+    const declines = [];
+    for (const { delivery: d, failed } of candidates) {
+        const judgedSha = judgedAtHead(failed, head);
+        if (judgedSha === null) {
+            lastNoted.delete(d.id);
+            continue;
+        }
+        let answered;
+        try {
+            answered = await answeredBy(d, failed, deps, concernIds);
+        }
+        catch (err) {
+            const decline = declineOf(d, failed, judgedSha, head.approvedSha, err.message);
+            noteOnce(d, decline.reason, () => `[state-cascade] Delivery "${d.name}" on "${focus.focusName}" failed verify at the approved head ` +
+                `${head.approvedSha.slice(0, 12)} and could not be examined this poll: ${decline.reason}. Left in verify; re-read next poll.`);
+            declines.push(decline);
+            continue;
+        }
+        if (answered !== null) {
+            noteOnce(d, `answered:${answered}`, () => `[state-cascade] Delivery "${d.name}" on "${focus.focusName}" failed verify at the ` +
+                `approved head ${head.approvedSha.slice(0, 12)}; not stranded: ${answered}.`);
+            continue;
+        }
+        const decline = declineOf(d, failed, judgedSha, head.approvedSha, null);
+        noteOnce(d, decline.signature ?? decline.reason, () => `[state-cascade] Delivery "${d.name}" on "${focus.focusName}": ${decline.reason}, ` +
+            'and nothing re-judges it -- no verify run, no park, no ruling since that judgment, no owed work. Left in verify; ' +
+            'filed as stranded if it stands for the stranded poll count. A shortfall ruling on those nodes, or a new delivery commit, moves it.');
+        declines.push(decline);
+    }
+    return declines;
+}
+//# sourceMappingURL=standing-approval-failed-verdict.js.map

package/dist/completion/state-cascade/standing-approval-failed-verdict.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"standing-approval-failed-verdict.js","sourceRoot":"","sources":["../../../src/completion/state-cascade/standing-approval-failed-verdict.ts"],"names":[],"mappings":"AAAA,8FAA8F;AAC9F,mGAAmG;AACnG,gBAAgB;AAmEhB,OAAO,EAAE,gBAAgB,EAAE,MAAM,6BAA6B,CAAC;AAC/D,OAAO,EAAE,aAAa,EAAE,MAAM,qCAAqC,CAAC;AACpE,OAAO,EAAE,UAAU,EAAE,MAAM,qDAAqD,CAAC;AACjF,OAAO,EAAE,2BAA2B,EAAgC,MAAM,sDAAsD,CAAC;AACjI,OAAO,EAAE,mBAAmB,EAAE,MAAM,2CAA2C,CAAC;AAIhF,OAAO,EAAE,YAAY,EAAE,MAAM,yBAAyB,CAAC;AAEvD,MAAM,GAAG,GAAG,YAAY,CAAC,EAAE,MAAM,EAAE,eAAe,EAAE,CAAC,CAAC;AA6BtD,sGAAsG;AACtG,MAAM,SAAS,GAAG,IAAI,GAAG,EAAkB,CAAC;AAE5C;;;GAGG;AACH,MAAM,UAAU,uBAAuB,CAAC,UAAwC;IAC9E,MAAM,GAAG,GAA6B,EAAE,CAAC;IACzC,KAAK,MAAM,QAAQ,IAAI,UAAU,EAAE,CAAC;QAClC,MAAM,MAAM,GAAG,2BAA2B,CAAC,QAAQ,CAAC,CAAC;QACrD,IAAI,MAAM,KAAK,IAAI;YAAE,GAAG,CAAC,IAAI,CAAC,EAAE,QAAQ,EAAE,MAAM,EAAE,CAAC,CAAC;;YAC/C,SAAS,CAAC,MAAM,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC;IACrC,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,gFAAgF;AAChF,SAAS,YAAY,CAAC,MAA+B,EAAE,IAAuB;IAC5E,MAAM,GAAG,GAAG,MAAM,CAAC,QAAQ,CAAC,SAAS,CAAC;IACtC,IAAI,GAAG,KAAK,SAAS,IAAI,GAAG,KAAK,EAAE;QAAE,OAAO,IAAI,CAAC;IACjD,OAAO,UAAU,CAAC,GAAG,EAAE,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,WAAW,KAAK,IAAI,IAAI,UAAU,CAAC,GAAG,EAAE,IAAI,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC;AAC5H,CAAC;AAED,kGAAkG;AAClG,MAAM,UAAU,sBAAsB,CAAC,MAA+B,EAAE,WAAmB;IACzF,MAAM,KAAK,GAAG,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,MAAM,IAAI,CAAC,CAAC,QAAQ,IAAI,EAAE,IAAI,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IACxG,OAAO,kBAAkB,WAAW,IAAI,MAAM,CAAC,OAAO,IAAI,YAAY,IAAI,MAAM,CAAC,QAAQ,CAAC,SAAS,IAAI,EAAE,IAAI,MAAM,CAAC,QAAQ,CAAC,MAAM,IAAI,KAAK,EAAE,CAAC;AACjJ,CAAC;AAED,wEAAwE;AACxE,MAAM,UAAU,wBAAwB;IACtC,SAAS,CAAC,KAAK,EAAE,CAAC;AACpB,CAAC;AAED,SAAS,QAAQ,CAAC,CAAoB,EAAE,KAAa,EAAE,IAAkB;IACvE,IAAI,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,KAAK;QAAE,OAAO;IAC1C,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,KAAK,CAAC,CAAC;IAC3B,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC;AACnB,CAAC;AAED,0GAA0G;AAC1G,KAAK,UAAU,UAAU,CACvB,CAAoB,EACpB,MAA+B,EAC/B,IAAuB,EACvB,UAA8C;IAE9C,IAAI,IAAI,CAAC,iBAAiB,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,IAAI;QAAE,OAAO,kCAAkC,CAAC;IACvF,IAAI,IAAI,CAAC,oBAAoB,EAAE,CAAC;QAC9B,MAAM,EAAE,WAAW,EAAE,GAAG,MAAM,IAAI,CAAC,oBAAoB,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QAC9D,IAAI,mBAAmB,CAAC,MAAM,CAAC,cAAc,EAAE,WAAW,CAAC;YAAE,OAAO,mEAAmE,CAAC;IAC1I,CAAC;IACD,MAAM,IAAI,GAAG,gBAAgB,CAAC,MAAM,IAAI,CAAC,iBAAiB,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IAClE,IAAI,aAAa,CAAC,IAAI,EAAE,MAAM,UAAU,EAAE,CAAC,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC;QAAE,OAAO,0CAA0C,CAAC;IAC/G,OAAO,IAAI,CAAC;AACd,CAAC;AAED,qFAAqF;AACrF,SAAS,SAAS,CAChB,CAAoB,EACpB,MAA+B,EAC/B,SAAiB,EACjB,WAAmB,EACnB,WAA0B;IAE1B,MAAM,OAAO,GAA2B;QACtC,MAAM,EAAE,MAAM,CAAC,QAAQ,CAAC,MAAM,EAAE,SAAS,EAAE,OAAO,EAAE,MAAM,CAAC,OAAO,EAAE,KAAK,EAAE,MAAM,CAAC,QAAQ,CAAC,KAAK;KACjG,CAAC;IACF,MAAM,GAAG,GAAG,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAClE,IAAI,WAAW,KAAK,IAAI,EAAE,CAAC;QACzB,OAAO,EAAE,UAAU,EAAE,CAAC,CAAC,EAAE,EAAE,YAAY,EAAE,CAAC,CAAC,IAAI,EAAE,IAAI,EAAE,aAAa,EAAE,MAAM,EAAE,kBAAkB,WAAW,GAAG,EAAE,MAAM,EAAE,OAAO,EAAE,CAAC;IACpI,CAAC;IACD,OAAO;QACL,UAAU,EAAE,CAAC,CAAC,EAAE;QAChB,YAAY,EAAE,CAAC,CAAC,IAAI;QACpB,IAAI,EAAE,gBAAgB;QACtB,MAAM,EAAE,+BAA+B,WAAW,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,4BAA4B,GAAG,EAAE;QAChG,SAAS,EAAE,sBAAsB,CAAC,MAAM,EAAE,WAAW,CAAC;QACtD,MAAM,EAAE,OAAO;KAChB,CAAC;AACJ,CAAC;AAED;;;;GAIG;AACH,MAAM,CAAC,KAAK,UAAU,qBAAqB,CACzC,KAAyB,EACzB,UAA6C,EAC7C,IAAuB,EACvB,IAAuB,EACvB,cAAkD;IAElD,IAAI,QAAkD,CAAC;IACvD,MAAM,UAAU,GAAG,GAAiC,EAAE,CAAC,CAAC,QAAQ,KAAK,cAAc,EAAE,CAAC,CAAC;IACvF,MAAM,QAAQ,GAA8B,EAAE,CAAC;IAC/C,KAAK,MAAM,EAAE,QAAQ,EAAE,CAAC,EAAE,MAAM,EAAE,IAAI,UAAU,EAAE,CAAC;QACjD,MAAM,SAAS,GAAG,YAAY,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC;QAC7C,IAAI,SAAS,KAAK,IAAI,EAAE,CAAC;YACvB,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;YACvB,SAAS;QACX,CAAC;QACD,IAAI,QAAuB,CAAC;QAC5B,IAAI,CAAC;YACH,QAAQ,GAAG,MAAM,UAAU,CAAC,CAAC,EAAE,MAAM,EAAE,IAAI,EAAE,UAAU,CAAC,CAAC;QAC3D,CAAC;QAAC,OAAO,GAAG,EAAE,CAAC;YACb,MAAM,OAAO,GAAG,SAAS,CAAC,CAAC,EAAE,MAAM,EAAE,SAAS,EAAE,IAAI,CAAC,WAAW,EAAG,GAAa,CAAC,OAAO,CAAC,CAAC;YAC1F,QAAQ,CAAC,CAAC,EAAE,OAAO,CAAC,MAAM,EAAE,GAAG,EAAE,CAAC,6BAA6B,CAAC,CAAC,IAAI,SAAS,KAAK,CAAC,SAAS,uCAAuC;gBAClI,GAAG,IAAI,CAAC,WAAW,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,yCAAyC,OAAO,CAAC,MAAM,sCAAsC,CAAC,CAAC;YACjI,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;YACvB,SAAS;QACX,CAAC;QACD,IAAI,QAAQ,KAAK,IAAI,EAAE,CAAC;YACtB,QAAQ,CAAC,CAAC,EAAE,YAAY,QAAQ,EAAE,EAAE,GAAG,EAAE,CAAC,6BAA6B,CAAC,CAAC,IAAI,SAAS,KAAK,CAAC,SAAS,yBAAyB;gBAC5H,iBAAiB,IAAI,CAAC,WAAW,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,mBAAmB,QAAQ,GAAG,CAAC,CAAC;YAChF,SAAS;QACX,CAAC;QACD,MAAM,OAAO,GAAG,SAAS,CAAC,CAAC,EAAE,MAAM,EAAE,SAAS,EAAE,IAAI,CAAC,WAAW,EAAE,IAAI,CAAC,CAAC;QACxE,QAAQ,CAAC,CAAC,EAAE,OAAO,CAAC,SAAS,IAAI,OAAO,CAAC,MAAM,EAAE,GAAG,EAAE,CAAC,6BAA6B,CAAC,CAAC,IAAI,SAAS,KAAK,CAAC,SAAS,MAAM,OAAO,CAAC,MAAM,IAAI;YACxI,mHAAmH;YACnH,oIAAoI,CAAC,CAAC;QACxI,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IACzB,CAAC;IACD,OAAO,QAAQ,CAAC;AAClB,CAAC"}

package/dist/completion/state-cascade/standing-approval-stranded.d.ts

@@ -1,4 +1,5 @@
 import type { FileEscalationIdempotentParams, FileEscalationIdempotentResult } from '../../supervision/escalation-suppression.js';
+import { type StrandedFailedJudgment } from './failed-verdict-stranded-filing.js';
 /** Consecutive passes with the identical decline before the delivery is filed, and between asks after (~2.5 min at the 30s poll). */
 export declare const STANDING_APPROVAL_STRANDED_POLLS = 5;
 /** The filing's escalation_kind (see the module header for why this existing kind). */
@@ -6,13 +7,17 @@ export declare const STANDING_APPROVAL_STRANDED_KIND = "verify_gate_unclearable"
 /** metadata.diagnosis of the filing (its cause namespace). */
 export declare const STANDING_APPROVAL_STRANDED_DIAGNOSIS = "standing_approval_unconverged";
 /** Why a pass declined a delivery: the class decides whether it is ever filed. */
-export type StandingApprovalDeclineKind = 'census' | 'reconciler' | 'operator_hold' | 'external_hold' | 'shortfall_hold' | 'verdict' | 'read_failed';
+export type StandingApprovalDeclineKind = 'census' | 'reconciler' | 'operator_hold' | 'external_hold' | 'shortfall_hold' | 'verdict' | 'read_failed' | 'failed_verdict';
 /** One decline a pass made. */
 export interface StandingApprovalDecline {
     deliveryId: string;
     deliveryName: string;
     kind: StandingApprovalDeclineKind;
     reason: string;
+    /** What the identical-poll streak compares; the reason when absent. */
+    signature?: string;
+    /** The failed verify judgment that holds it (a failed-verdict decline, or a failed one the pass could not examine). */
+    failed?: StrandedFailedJudgment;
 }
 /** The focus the filing is anchored under. */
 export interface StrandedFocus {
@@ -23,11 +28,19 @@ export interface StrandedFocus {
 }
 /** The idempotent filer (supervision/escalation-suppression.ts fileEscalationIdempotent in production). */
 export type StrandedEscalationFiler = (params: FileEscalationIdempotentParams) => Promise<FileEscalationIdempotentResult>;
-/** Test seam: forget every streak. */
+/**
+ * Resolves the open rows carrying any of `causeKeys` on the focus and retires the
+ * keys where they were absorbed as symptoms; returns the count resolved
+ * (supervision/escalation-clearing.ts resolveOpenEscalationsOfCause in production).
+ */
+export type StrandedEscalationResolver = (focusId: string, causeKeys: readonly string[], notes: string) => Promise<number>;
+/** Test seam: forget every streak and every ask. */
 export declare function __resetStandingApprovalStrandedForTests(): void;
 /** The cause key: one filing per delivery per approved commit. Pure. */
 export declare function strandedCauseKey(deliveryId: string, approvedSha: string): string;
-/** The filing for one stranded delivery. Pure. */
+/** Every stranded cause key a delivery can carry at an approved commit: the passed and the failed-verdict filing. Pure. */
+export declare function strandedCauseKeys(deliveryId: string, approvedSha: string): string[];
+/** The filing for one stranded delivery: the failed-verdict variant when a failed judgment holds it. Pure. */
 export declare function buildStrandedEscalation(focus: StrandedFocus, decline: StandingApprovalDecline, approvedSha: string, polls: number): FileEscalationIdempotentParams;
 /**
  * Record one pass's declines and ask the idempotent gate to file each delivery
@@ -36,4 +49,17 @@ export declare function buildStrandedEscalation(focus: StrandedFocus, decline: S
  * at: one not declined this pass loses its streak. Never throws.
  */
 export declare function reportStandingApprovalDeclines(focus: StrandedFocus, approvedSha: string | null, seen: readonly string[], declines: readonly StandingApprovalDecline[], file: StrandedEscalationFiler | undefined): Promise<string[]>;
+/** The delivery fields the close half reads. */
+export interface StrandedDeliveryState {
+    id: string;
+    name: string;
+    executionStatus: string | null;
+}
+/**
+ * The close half (module header): resolve the open stranded rows of every
+ * delivery whose stranding ended -- `converged` by this pass at `approvedSha`, or
+ * one the gate was asked about that now sits outside verify. A resolve that
+ * fails is retried on the next pass. Returns the count resolved. Never throws.
+ */
+export declare function resolveClearedStrands(focus: StrandedFocus, deliveries: readonly StrandedDeliveryState[], converged: readonly string[], approvedSha: string | null, resolve: StrandedEscalationResolver | undefined): Promise<number>;
 //# sourceMappingURL=standing-approval-stranded.d.ts.map

package/dist/completion/state-cascade/standing-approval-stranded.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"standing-approval-stranded.d.ts","sourceRoot":"","sources":["../../../src/completion/state-cascade/standing-approval-stranded.ts"],"names":[],"mappings":"AAmDA,OAAO,KAAK,EACV,8BAA8B,EAC9B,8BAA8B,EAC/B,MAAM,6CAA6C,CAAC;AAMrD,qIAAqI;AACrI,eAAO,MAAM,gCAAgC,IAAI,CAAC;AAElD,uFAAuF;AACvF,eAAO,MAAM,+BAA+B,4BAA4B,CAAC;AAEzE,8DAA8D;AAC9D,eAAO,MAAM,oCAAoC,kCAAmC,CAAC;AAErF,kFAAkF;AAClF,MAAM,MAAM,2BAA2B,GACnC,QAAQ,GAAG,YAAY,GAAG,eAAe,GAAG,eAAe,GAAG,gBAAgB,GAAG,SAAS,GAAG,aAAa,CAAC;AAK/G,+BAA+B;AAC/B,MAAM,WAAW,uBAAuB;IACtC,UAAU,EAAE,MAAM,CAAC;IACnB,YAAY,EAAE,MAAM,CAAC;IACrB,IAAI,EAAE,2BAA2B,CAAC;IAClC,MAAM,EAAE,MAAM,CAAC;CAChB;AAED,8CAA8C;AAC9C,MAAM,WAAW,aAAa;IAC5B,cAAc,EAAE,MAAM,CAAC;IACvB,SAAS,EAAE,MAAM,CAAC;IAClB,OAAO,EAAE,MAAM,CAAC;IAChB,SAAS,EAAE,MAAM,CAAC;CACnB;AAED,2GAA2G;AAC3G,MAAM,MAAM,uBAAuB,GAAG,CAAC,MAAM,EAAE,8BAA8B,KAAK,OAAO,CAAC,8BAA8B,CAAC,CAAC;AAO1H,sCAAsC;AACtC,wBAAgB,uCAAuC,IAAI,IAAI,CAE9D;AAED,wEAAwE;AACxE,wBAAgB,gBAAgB,CAAC,UAAU,EAAE,MAAM,EAAE,WAAW,EAAE,MAAM,GAAG,MAAM,CAEhF;AAED,kDAAkD;AAClD,wBAAgB,uBAAuB,CACrC,KAAK,EAAE,aAAa,EACpB,OAAO,EAAE,uBAAuB,EAChC,WAAW,EAAE,MAAM,EACnB,KAAK,EAAE,MAAM,GACZ,8BAA8B,CAqChC;AAED;;;;;GAKG;AACH,wBAAsB,8BAA8B,CAClD,KAAK,EAAE,aAAa,EACpB,WAAW,EAAE,MAAM,GAAG,IAAI,EAC1B,IAAI,EAAE,SAAS,MAAM,EAAE,EACvB,QAAQ,EAAE,SAAS,uBAAuB,EAAE,EAC5C,IAAI,EAAE,uBAAuB,GAAG,SAAS,GACxC,OAAO,CAAC,MAAM,EAAE,CAAC,CAuBnB"}
+{"version":3,"file":"standing-approval-stranded.d.ts","sourceRoot":"","sources":["../../../src/completion/state-cascade/standing-approval-stranded.ts"],"names":[],"mappings":"AA0EA,OAAO,KAAK,EACV,8BAA8B,EAC9B,8BAA8B,EAC/B,MAAM,6CAA6C,CAAC;AAMrD,OAAO,EAAgC,KAAK,sBAAsB,EAAE,MAAM,qCAAqC,CAAC;AAKhH,qIAAqI;AACrI,eAAO,MAAM,gCAAgC,IAAI,CAAC;AAElD,uFAAuF;AACvF,eAAO,MAAM,+BAA+B,4BAA4B,CAAC;AAEzE,8DAA8D;AAC9D,eAAO,MAAM,oCAAoC,kCAAmC,CAAC;AAErF,kFAAkF;AAClF,MAAM,MAAM,2BAA2B,GACnC,QAAQ,GAAG,YAAY,GAAG,eAAe,GAAG,eAAe,GAAG,gBAAgB,GAAG,SAAS,GAAG,aAAa,GAAG,gBAAgB,CAAC;AAKlI,+BAA+B;AAC/B,MAAM,WAAW,uBAAuB;IACtC,UAAU,EAAE,MAAM,CAAC;IACnB,YAAY,EAAE,MAAM,CAAC;IACrB,IAAI,EAAE,2BAA2B,CAAC;IAClC,MAAM,EAAE,MAAM,CAAC;IACf,uEAAuE;IACvE,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,uHAAuH;IACvH,MAAM,CAAC,EAAE,sBAAsB,CAAC;CACjC;AAED,8CAA8C;AAC9C,MAAM,WAAW,aAAa;IAC5B,cAAc,EAAE,MAAM,CAAC;IACvB,SAAS,EAAE,MAAM,CAAC;IAClB,OAAO,EAAE,MAAM,CAAC;IAChB,SAAS,EAAE,MAAM,CAAC;CACnB;AAED,2GAA2G;AAC3G,MAAM,MAAM,uBAAuB,GAAG,CAAC,MAAM,EAAE,8BAA8B,KAAK,OAAO,CAAC,8BAA8B,CAAC,CAAC;AAE1H;;;;GAIG;AACH,MAAM,MAAM,0BAA0B,GAAG,CAAC,OAAO,EAAE,MAAM,EAAE,SAAS,EAAE,SAAS,MAAM,EAAE,EAAE,KAAK,EAAE,MAAM,KAAK,OAAO,CAAC,MAAM,CAAC,CAAC;AAU3H,oDAAoD;AACpD,wBAAgB,uCAAuC,IAAI,IAAI,CAG9D;AAED,wEAAwE;AACxE,wBAAgB,gBAAgB,CAAC,UAAU,EAAE,MAAM,EAAE,WAAW,EAAE,MAAM,GAAG,MAAM,CAEhF;AAED,2HAA2H;AAC3H,wBAAgB,iBAAiB,CAAC,UAAU,EAAE,MAAM,EAAE,WAAW,EAAE,MAAM,GAAG,MAAM,EAAE,CAEnF;AAyCD,8GAA8G;AAC9G,wBAAgB,uBAAuB,CACrC,KAAK,EAAE,aAAa,EACpB,OAAO,EAAE,uBAAuB,EAChC,WAAW,EAAE,MAAM,EACnB,KAAK,EAAE,MAAM,GACZ,8BAA8B,CAsChC;AAED;;;;;GAKG;AACH,wBAAsB,8BAA8B,CAClD,KAAK,EAAE,aAAa,EACpB,WAAW,EAAE,MAAM,GAAG,IAAI,EAC1B,IAAI,EAAE,SAAS,MAAM,EAAE,EACvB,QAAQ,EAAE,SAAS,uBAAuB,EAAE,EAC5C,IAAI,EAAE,uBAAuB,GAAG,SAAS,GACxC,OAAO,CAAC,MAAM,EAAE,CAAC,CAyBnB;AAED,gDAAgD;AAChD,MAAM,WAAW,qBAAqB;IACpC,EAAE,EAAE,MAAM,CAAC;IACX,IAAI,EAAE,MAAM,CAAC;IACb,eAAe,EAAE,MAAM,GAAG,IAAI,CAAC;CAChC;AAUD;;;;;GAKG;AACH,wBAAsB,qBAAqB,CACzC,KAAK,EAAE,aAAa,EACpB,UAAU,EAAE,SAAS,qBAAqB,EAAE,EAC5C,SAAS,EAAE,SAAS,MAAM,EAAE,EAC5B,WAAW,EAAE,MAAM,GAAG,IAAI,EAC1B,OAAO,EAAE,0BAA0B,GAAG,SAAS,GAC9C,OAAO,CAAC,MAAM,CAAC,CA2BjB"}

package/dist/completion/state-cascade/standing-approval-stranded.js

@@ -1,5 +1,9 @@
 // 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/standing-approval-stranded.test.ts
+// Pinned by: packages/daemon/src/completion/state-cascade/standing-approval-failed-verdict.test.ts,
+//   packages/daemon/src/completion/state-cascade/standing-approval-stranded.test.ts,
+//   packages/daemon/src/integration/approved-head-hold-release-no-directive-regression.test.ts,
+//   packages/daemon/src/integration/failed-verdict-ruling-rejudge-regression.test.ts,
+//   packages/daemon/src/supervision/agent-resolvable-promotion-sweep.test.ts
 // PINNED-BY-END
 /**
  * A delivery the standing-approval convergence keeps declining for the SAME reason
@@ -35,6 +39,25 @@
  * again. A delivery that converges, stops being a candidate, or changes reason
  * starts its count over.
  *
+ * A FAILED VERDICT is reported here too
+ * (completion/state-cascade/standing-approval-failed-verdict.ts): a verify
+ * delivery whose latest verify judgment of the approved commit is a failure, with
+ * nothing re-judging it, is declined as `failed_verdict` on every poll, counted by
+ * the same streak and filed after the same STANDING_APPROVAL_STRANDED_POLLS. Its
+ * streak is keyed on the decline's `signature` (the head, the row's outcome and
+ * the judgment), not its prose; its filing names every held node and the act that
+ * moves it (completion/state-cascade/failed-verdict-stranded-filing.ts) under the
+ * same cause family with its own subject (standingApprovalFailedVerdictCauseKey).
+ *
+ * THE CLOSE HALF. A delivery whose stranding ended -- the pass converged it to
+ * done, or a delivery the gate was asked about has left verify -- has its open
+ * stranded rows (either variant, for that approved commit) resolved auto_swept,
+ * and the keys retired where they were absorbed as symptoms
+ * (resolveClearedStrands; production: supervision/escalation-clearing.ts
+ * resolveOpenEscalationsOfCause). A convergence asks every time (a restart cannot
+ * hide a row from it); leaving verify is known only for a delivery this process
+ * asked the gate about. Best-effort, like the filing.
+ *
  * Two declines are never filed: an operator hold (the open hold IS the human
  * signal) and an external hold (a declared wait on another product's request,
  * which clears itself). The kind is verify_gate_unclearable, whose self-report
@@ -46,8 +69,9 @@
  *
  * @module completion/state-cascade/standing-approval-stranded
  */
-import { ESCALATION_DISPOSITIONS, ESCALATION_REASONS } from '@telora/daemon-core';
-import { STANDING_APPROVAL_STRANDED_CAUSE, standingApprovalStrandedCauseKey } from '../../queries/escalations/cause-key.js';
+import { DELIVERY_STATUS, ESCALATION_DISPOSITIONS, ESCALATION_REASONS } from '@telora/daemon-core';
+import { STANDING_APPROVAL_STRANDED_CAUSE, standingApprovalFailedVerdictCauseKey, standingApprovalStrandedCauseKey, } from '../../queries/escalations/cause-key.js';
+import { buildFailedVerdictFilingText } from './failed-verdict-stranded-filing.js';
 import { createLogger } from '../../log/daemon-log.js';
 const log = createLogger({ module: 'state-cascade' });
 /** Consecutive passes with the identical decline before the delivery is filed, and between asks after (~2.5 min at the 30s poll). */
@@ -60,16 +84,57 @@ export const STANDING_APPROVAL_STRANDED_DIAGNOSIS = STANDING_APPROVAL_STRANDED_C
 const NEVER_FILED = new Set(['operator_hold', 'external_hold']);
 /** Per-delivery streak of the identical decline since it began, or since the gate was last asked. */
 const streaks = new Map();
-/** Test seam: forget every streak. */
+/** Delivery id -> the approved commit the gate was last asked to file it at (the close half's memory). */
+const asked = new Map();
+/** Test seam: forget every streak and every ask. */
 export function __resetStandingApprovalStrandedForTests() {
     streaks.clear();
+    asked.clear();
 }
 /** The cause key: one filing per delivery per approved commit. Pure. */
 export function strandedCauseKey(deliveryId, approvedSha) {
     return standingApprovalStrandedCauseKey(deliveryId, approvedSha);
 }
-/** The filing for one stranded delivery. Pure. */
+/** Every stranded cause key a delivery can carry at an approved commit: the passed and the failed-verdict filing. Pure. */
+export function strandedCauseKeys(deliveryId, approvedSha) {
+    return [standingApprovalStrandedCauseKey(deliveryId, approvedSha), standingApprovalFailedVerdictCauseKey(deliveryId, approvedSha)];
+}
+/** The filing for a delivery held by a failed verify verdict at the approved commit (module header). Pure. */
+function buildFailedVerdictStrandedEscalation(focus, decline, failed, approvedSha, polls) {
+    const text = buildFailedVerdictFilingText({
+        focusName: focus.focusName, deliveryName: decline.deliveryName, approvedSha, polls,
+        reason: decline.reason, examined: decline.kind === 'failed_verdict', failed,
+    });
+    return {
+        causeKey: standingApprovalFailedVerdictCauseKey(decline.deliveryId, approvedSha),
+        organizationId: focus.organizationId,
+        sessionId: '',
+        issueId: null,
+        reasonType: ESCALATION_REASONS.ERROR_ENCOUNTERED,
+        disposition: ESCALATION_DISPOSITIONS.NEEDS_OPERATOR,
+        humanAct: { kind: 'unreachable_capability', act: text.act },
+        anchor: { deliveryId: decline.deliveryId, focusId: focus.focusId },
+        productId: focus.productId,
+        escalationKind: STANDING_APPROVAL_STRANDED_KIND,
+        description: text.description,
+        whatWasTried: text.whatWasTried,
+        helpNeeded: text.act,
+        metadata: {
+            cause: STANDING_APPROVAL_STRANDED_KIND,
+            diagnosis: STANDING_APPROVAL_STRANDED_DIAGNOSIS,
+            deliveryName: decline.deliveryName,
+            approvedSha,
+            declineKind: decline.kind,
+            reason: decline.reason,
+            consecutivePolls: polls,
+            ...text.metadata,
+        },
+    };
+}
+/** The filing for one stranded delivery: the failed-verdict variant when a failed judgment holds it. Pure. */
 export function buildStrandedEscalation(focus, decline, approvedSha, polls) {
+    if (decline.failed)
+        return buildFailedVerdictStrandedEscalation(focus, decline, decline.failed, approvedSha, polls);
     const sha = approvedSha.slice(0, 12);
     const act = `Decide delivery "${decline.deliveryName}" on focus "${focus.focusName}": it passed verify at ${sha}, the ` +
         `commit the focus's standing approval judged, but cannot converge to done because ${decline.reason}. Clear ` +
@@ -117,15 +182,17 @@ export async function reportStandingApprovalDeclines(focus, approvedSha, seen, d
             streaks.delete(id);
     const filed = [];
     for (const d of declines) {
+        const signature = d.signature ?? d.reason;
         const prior = streaks.get(d.deliveryId);
-        const streak = { reason: d.reason, count: prior?.reason === d.reason ? prior.count + 1 : 1 };
+        const streak = { signature, count: prior?.signature === signature ? prior.count + 1 : 1 };
         streaks.set(d.deliveryId, streak);
         if (streak.count < STANDING_APPROVAL_STRANDED_POLLS || NEVER_FILED.has(d.kind))
             continue;
         if (approvedSha === null || file === undefined)
             continue;
         // Asked now; the next ask is STANDING_APPROVAL_STRANDED_POLLS passes on. The open row suppresses it, a resolved one does not.
-        streaks.set(d.deliveryId, { reason: d.reason, count: 0 });
+        streaks.set(d.deliveryId, { signature, count: 0 });
+        asked.set(d.deliveryId, approvedSha);
         try {
             const result = await file(buildStrandedEscalation(focus, d, approvedSha, streak.count));
             if (result.filed) {
@@ -139,4 +206,51 @@ export async function reportStandingApprovalDeclines(focus, approvedSha, seen, d
     }
     return filed;
 }
+/** Why a delivery's stranding ended, for the resolution note. Pure. */
+function endedNote(d, convergedHere, approvedSha) {
+    const name = d ? `"${d.name}"` : 'the delivery';
+    return convergedHere
+        ? `Auto-resolved by the daemon: delivery ${name} converged to done on the standing approval at ${approvedSha.slice(0, 12)}; it is no longer stranded.`
+        : `Auto-resolved by the daemon: delivery ${name} left verify (now ${d?.executionStatus ?? 'unknown'}); it is no longer stranded at the approved head ${approvedSha.slice(0, 12)}.`;
+}
+/**
+ * The close half (module header): resolve the open stranded rows of every
+ * delivery whose stranding ended -- `converged` by this pass at `approvedSha`, or
+ * one the gate was asked about that now sits outside verify. A resolve that
+ * fails is retried on the next pass. Returns the count resolved. Never throws.
+ */
+export async function resolveClearedStrands(focus, deliveries, converged, approvedSha, resolve) {
+    if (resolve === undefined)
+        return 0;
+    // Delivery id -> every approved commit its stranding may have been filed at.
+    const ended = new Map();
+    const end = (id, sha) => { ended.set(id, (ended.get(id) ?? new Set()).add(sha)); };
+    if (approvedSha !== null)
+        for (const id of converged)
+            end(id, approvedSha);
+    for (const d of deliveries) {
+        const sha = asked.get(d.id);
+        if (sha !== undefined && (d.executionStatus !== DELIVERY_STATUS.VERIFY || converged.includes(d.id)))
+            end(d.id, sha);
+    }
+    let resolved = 0;
+    for (const [id, shas] of ended) {
+        const sha = asked.get(id);
+        asked.delete(id);
+        const d = deliveries.find((x) => x.id === id);
+        const keys = [...shas].flatMap((at) => strandedCauseKeys(id, at));
+        const at = approvedSha !== null && converged.includes(id) ? approvedSha : [...shas][0] ?? '';
+        try {
+            const n = await resolve(focus.focusId, keys, endedNote(d, converged.includes(id), at));
+            resolved += n;
+            if (n > 0)
+                log.info(`[state-cascade] Delivery "${d?.name ?? id}" on "${focus.focusName}" is no longer stranded; resolved its ${n} stranded escalation(s).`);
+        }
+        catch (err) {
+            asked.set(id, sha ?? at);
+            log.warn(`[state-cascade] failed to resolve the stranded-delivery escalation for "${d?.name ?? id}" (retried next poll): ${err.message}`);
+        }
+    }
+    return resolved;
+}
 //# sourceMappingURL=standing-approval-stranded.js.map

package/dist/completion/state-cascade/standing-approval-stranded.js.map

@@ -1 +1 @@
-{"version":3,"file":"standing-approval-stranded.js","sourceRoot":"","sources":["../../../src/completion/state-cascade/standing-approval-stranded.ts"],"names":[],"mappings":"AAAA,8FAA8F;AAC9F,6FAA6F;AAC7F,gBAAgB;AAEhB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA4CG;AAEH,OAAO,EAAE,uBAAuB,EAAE,kBAAkB,EAAE,MAAM,qBAAqB,CAAC;AAKlF,OAAO,EAAE,gCAAgC,EAAE,gCAAgC,EAAE,MAAM,wCAAwC,CAAC;AAC5H,OAAO,EAAE,YAAY,EAAE,MAAM,yBAAyB,CAAC;AAEvD,MAAM,GAAG,GAAG,YAAY,CAAC,EAAE,MAAM,EAAE,eAAe,EAAE,CAAC,CAAC;AAEtD,qIAAqI;AACrI,MAAM,CAAC,MAAM,gCAAgC,GAAG,CAAC,CAAC;AAElD,uFAAuF;AACvF,MAAM,CAAC,MAAM,+BAA+B,GAAG,yBAAyB,CAAC;AAEzE,8DAA8D;AAC9D,MAAM,CAAC,MAAM,oCAAoC,GAAG,gCAAgC,CAAC;AAMrF,6GAA6G;AAC7G,MAAM,WAAW,GAA6C,IAAI,GAAG,CAAC,CAAC,eAAe,EAAE,eAAe,CAAC,CAAC,CAAC;AAuB1G,qGAAqG;AACrG,MAAM,OAAO,GAAG,IAAI,GAAG,EAAkB,CAAC;AAE1C,sCAAsC;AACtC,MAAM,UAAU,uCAAuC;IACrD,OAAO,CAAC,KAAK,EAAE,CAAC;AAClB,CAAC;AAED,wEAAwE;AACxE,MAAM,UAAU,gBAAgB,CAAC,UAAkB,EAAE,WAAmB;IACtE,OAAO,gCAAgC,CAAC,UAAU,EAAE,WAAW,CAAC,CAAC;AACnE,CAAC;AAED,kDAAkD;AAClD,MAAM,UAAU,uBAAuB,CACrC,KAAoB,EACpB,OAAgC,EAChC,WAAmB,EACnB,KAAa;IAEb,MAAM,GAAG,GAAG,WAAW,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;IACrC,MAAM,GAAG,GACP,oBAAoB,OAAO,CAAC,YAAY,eAAe,KAAK,CAAC,SAAS,0BAA0B,GAAG,QAAQ;QAC3G,oFAAoF,OAAO,CAAC,MAAM,UAAU;QAC5G,6DAA6D,CAAC;IAChE,OAAO;QACL,QAAQ,EAAE,gBAAgB,CAAC,OAAO,CAAC,UAAU,EAAE,WAAW,CAAC;QAC3D,cAAc,EAAE,KAAK,CAAC,cAAc;QACpC,SAAS,EAAE,EAAE;QACb,OAAO,EAAE,IAAI;QACb,UAAU,EAAE,kBAAkB,CAAC,iBAAiB;QAChD,WAAW,EAAE,uBAAuB,CAAC,cAAc;QACnD,QAAQ,EAAE,EAAE,IAAI,EAAE,wBAAwB,EAAE,GAAG,EAAE;QACjD,MAAM,EAAE,EAAE,UAAU,EAAE,OAAO,CAAC,UAAU,EAAE,OAAO,EAAE,KAAK,CAAC,OAAO,EAAE;QAClE,SAAS,EAAE,KAAK,CAAC,SAAS;QAC1B,cAAc,EAAE,+BAA+B;QAC/C,WAAW,EACT,aAAa,OAAO,CAAC,YAAY,qCAAqC,KAAK,CAAC,SAAS,yBAAyB;YAC9G,GAAG,GAAG,sGAAsG;YAC5G,6BAA6B,KAAK,2CAA2C,OAAO,CAAC,MAAM,OAAO;YAClG,wGAAwG;YACxG,qBAAqB;QACvB,YAAY,EACV,2EAA2E,KAAK,uCAAuC;YACvH,2BAA2B;QAC7B,UAAU,EAAE,GAAG;QACf,QAAQ,EAAE;YACR,KAAK,EAAE,+BAA+B;YACtC,SAAS,EAAE,oCAAoC;YAC/C,YAAY,EAAE,OAAO,CAAC,YAAY;YAClC,WAAW;YACX,WAAW,EAAE,OAAO,CAAC,IAAI;YACzB,MAAM,EAAE,OAAO,CAAC,MAAM;YACtB,gBAAgB,EAAE,KAAK;SACxB;KACF,CAAC;AACJ,CAAC;AAED;;;;;GAKG;AACH,MAAM,CAAC,KAAK,UAAU,8BAA8B,CAClD,KAAoB,EACpB,WAA0B,EAC1B,IAAuB,EACvB,QAA4C,EAC5C,IAAyC;IAEzC,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,UAAU,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;IACjE,KAAK,MAAM,EAAE,IAAI,IAAI;QAAE,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC;YAAE,OAAO,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;IACjE,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,KAAK,MAAM,CAAC,IAAI,QAAQ,EAAE,CAAC;QACzB,MAAM,KAAK,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC;QACxC,MAAM,MAAM,GAAW,EAAE,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,KAAK,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;QACrG,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,UAAU,EAAE,MAAM,CAAC,CAAC;QAClC,IAAI,MAAM,CAAC,KAAK,GAAG,gCAAgC,IAAI,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC;YAAE,SAAS;QACzF,IAAI,WAAW,KAAK,IAAI,IAAI,IAAI,KAAK,SAAS;YAAE,SAAS;QACzD,8HAA8H;QAC9H,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,UAAU,EAAE,EAAE,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,CAAC;QAC1D,IAAI,CAAC;YACH,MAAM,MAAM,GAAG,MAAM,IAAI,CAAC,uBAAuB,CAAC,KAAK,EAAE,CAAC,EAAE,WAAW,EAAE,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC;YACxF,IAAI,MAAM,CAAC,KAAK,EAAE,CAAC;gBACjB,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC;gBACzB,GAAG,CAAC,IAAI,CAAC,6BAA6B,CAAC,CAAC,YAAY,SAAS,KAAK,CAAC,SAAS,sCAAsC,WAAW,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,MAAM,8BAA8B,CAAC,CAAC;YACzL,CAAC;QACH,CAAC;QAAC,OAAO,GAAG,EAAE,CAAC;YACb,GAAG,CAAC,IAAI,CAAC,wEAAwE,CAAC,CAAC,YAAY,MAAO,GAAa,CAAC,OAAO,EAAE,CAAC,CAAC;QACjI,CAAC;IACH,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC"}
+{"version":3,"file":"standing-approval-stranded.js","sourceRoot":"","sources":["../../../src/completion/state-cascade/standing-approval-stranded.ts"],"names":[],"mappings":"AAAA,8FAA8F;AAC9F,oGAAoG;AACpG,qFAAqF;AACrF,gGAAgG;AAChG,sFAAsF;AACtF,6EAA6E;AAC7E,gBAAgB;AAEhB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA+DG;AAEH,OAAO,EAAE,eAAe,EAAE,uBAAuB,EAAE,kBAAkB,EAAE,MAAM,qBAAqB,CAAC;AAKnG,OAAO,EACL,gCAAgC,EAChC,qCAAqC,EACrC,gCAAgC,GACjC,MAAM,wCAAwC,CAAC;AAChD,OAAO,EAAE,4BAA4B,EAA+B,MAAM,qCAAqC,CAAC;AAChH,OAAO,EAAE,YAAY,EAAE,MAAM,yBAAyB,CAAC;AAEvD,MAAM,GAAG,GAAG,YAAY,CAAC,EAAE,MAAM,EAAE,eAAe,EAAE,CAAC,CAAC;AAEtD,qIAAqI;AACrI,MAAM,CAAC,MAAM,gCAAgC,GAAG,CAAC,CAAC;AAElD,uFAAuF;AACvF,MAAM,CAAC,MAAM,+BAA+B,GAAG,yBAAyB,CAAC;AAEzE,8DAA8D;AAC9D,MAAM,CAAC,MAAM,oCAAoC,GAAG,gCAAgC,CAAC;AAMrF,6GAA6G;AAC7G,MAAM,WAAW,GAA6C,IAAI,GAAG,CAAC,CAAC,eAAe,EAAE,eAAe,CAAC,CAAC,CAAC;AAkC1G,qGAAqG;AACrG,MAAM,OAAO,GAAG,IAAI,GAAG,EAAkB,CAAC;AAE1C,0GAA0G;AAC1G,MAAM,KAAK,GAAG,IAAI,GAAG,EAAkB,CAAC;AAExC,oDAAoD;AACpD,MAAM,UAAU,uCAAuC;IACrD,OAAO,CAAC,KAAK,EAAE,CAAC;IAChB,KAAK,CAAC,KAAK,EAAE,CAAC;AAChB,CAAC;AAED,wEAAwE;AACxE,MAAM,UAAU,gBAAgB,CAAC,UAAkB,EAAE,WAAmB;IACtE,OAAO,gCAAgC,CAAC,UAAU,EAAE,WAAW,CAAC,CAAC;AACnE,CAAC;AAED,2HAA2H;AAC3H,MAAM,UAAU,iBAAiB,CAAC,UAAkB,EAAE,WAAmB;IACvE,OAAO,CAAC,gCAAgC,CAAC,UAAU,EAAE,WAAW,CAAC,EAAE,qCAAqC,CAAC,UAAU,EAAE,WAAW,CAAC,CAAC,CAAC;AACrI,CAAC;AAED,8GAA8G;AAC9G,SAAS,oCAAoC,CAC3C,KAAoB,EACpB,OAAgC,EAChC,MAA8B,EAC9B,WAAmB,EACnB,KAAa;IAEb,MAAM,IAAI,GAAG,4BAA4B,CAAC;QACxC,SAAS,EAAE,KAAK,CAAC,SAAS,EAAE,YAAY,EAAE,OAAO,CAAC,YAAY,EAAE,WAAW,EAAE,KAAK;QAClF,MAAM,EAAE,OAAO,CAAC,MAAM,EAAE,QAAQ,EAAE,OAAO,CAAC,IAAI,KAAK,gBAAgB,EAAE,MAAM;KAC5E,CAAC,CAAC;IACH,OAAO;QACL,QAAQ,EAAE,qCAAqC,CAAC,OAAO,CAAC,UAAU,EAAE,WAAW,CAAC;QAChF,cAAc,EAAE,KAAK,CAAC,cAAc;QACpC,SAAS,EAAE,EAAE;QACb,OAAO,EAAE,IAAI;QACb,UAAU,EAAE,kBAAkB,CAAC,iBAAiB;QAChD,WAAW,EAAE,uBAAuB,CAAC,cAAc;QACnD,QAAQ,EAAE,EAAE,IAAI,EAAE,wBAAwB,EAAE,GAAG,EAAE,IAAI,CAAC,GAAG,EAAE;QAC3D,MAAM,EAAE,EAAE,UAAU,EAAE,OAAO,CAAC,UAAU,EAAE,OAAO,EAAE,KAAK,CAAC,OAAO,EAAE;QAClE,SAAS,EAAE,KAAK,CAAC,SAAS;QAC1B,cAAc,EAAE,+BAA+B;QAC/C,WAAW,EAAE,IAAI,CAAC,WAAW;QAC7B,YAAY,EAAE,IAAI,CAAC,YAAY;QAC/B,UAAU,EAAE,IAAI,CAAC,GAAG;QACpB,QAAQ,EAAE;YACR,KAAK,EAAE,+BAA+B;YACtC,SAAS,EAAE,oCAAoC;YAC/C,YAAY,EAAE,OAAO,CAAC,YAAY;YAClC,WAAW;YACX,WAAW,EAAE,OAAO,CAAC,IAAI;YACzB,MAAM,EAAE,OAAO,CAAC,MAAM;YACtB,gBAAgB,EAAE,KAAK;YACvB,GAAG,IAAI,CAAC,QAAQ;SACjB;KACF,CAAC;AACJ,CAAC;AAED,8GAA8G;AAC9G,MAAM,UAAU,uBAAuB,CACrC,KAAoB,EACpB,OAAgC,EAChC,WAAmB,EACnB,KAAa;IAEb,IAAI,OAAO,CAAC,MAAM;QAAE,OAAO,oCAAoC,CAAC,KAAK,EAAE,OAAO,EAAE,OAAO,CAAC,MAAM,EAAE,WAAW,EAAE,KAAK,CAAC,CAAC;IACpH,MAAM,GAAG,GAAG,WAAW,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;IACrC,MAAM,GAAG,GACP,oBAAoB,OAAO,CAAC,YAAY,eAAe,KAAK,CAAC,SAAS,0BAA0B,GAAG,QAAQ;QAC3G,oFAAoF,OAAO,CAAC,MAAM,UAAU;QAC5G,6DAA6D,CAAC;IAChE,OAAO;QACL,QAAQ,EAAE,gBAAgB,CAAC,OAAO,CAAC,UAAU,EAAE,WAAW,CAAC;QAC3D,cAAc,EAAE,KAAK,CAAC,cAAc;QACpC,SAAS,EAAE,EAAE;QACb,OAAO,EAAE,IAAI;QACb,UAAU,EAAE,kBAAkB,CAAC,iBAAiB;QAChD,WAAW,EAAE,uBAAuB,CAAC,cAAc;QACnD,QAAQ,EAAE,EAAE,IAAI,EAAE,wBAAwB,EAAE,GAAG,EAAE;QACjD,MAAM,EAAE,EAAE,UAAU,EAAE,OAAO,CAAC,UAAU,EAAE,OAAO,EAAE,KAAK,CAAC,OAAO,EAAE;QAClE,SAAS,EAAE,KAAK,CAAC,SAAS;QAC1B,cAAc,EAAE,+BAA+B;QAC/C,WAAW,EACT,aAAa,OAAO,CAAC,YAAY,qCAAqC,KAAK,CAAC,SAAS,yBAAyB;YAC9G,GAAG,GAAG,sGAAsG;YAC5G,6BAA6B,KAAK,2CAA2C,OAAO,CAAC,MAAM,OAAO;YAClG,wGAAwG;YACxG,qBAAqB;QACvB,YAAY,EACV,2EAA2E,KAAK,uCAAuC;YACvH,2BAA2B;QAC7B,UAAU,EAAE,GAAG;QACf,QAAQ,EAAE;YACR,KAAK,EAAE,+BAA+B;YACtC,SAAS,EAAE,oCAAoC;YAC/C,YAAY,EAAE,OAAO,CAAC,YAAY;YAClC,WAAW;YACX,WAAW,EAAE,OAAO,CAAC,IAAI;YACzB,MAAM,EAAE,OAAO,CAAC,MAAM;YACtB,gBAAgB,EAAE,KAAK;SACxB;KACF,CAAC;AACJ,CAAC;AAED;;;;;GAKG;AACH,MAAM,CAAC,KAAK,UAAU,8BAA8B,CAClD,KAAoB,EACpB,WAA0B,EAC1B,IAAuB,EACvB,QAA4C,EAC5C,IAAyC;IAEzC,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,UAAU,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;IACjE,KAAK,MAAM,EAAE,IAAI,IAAI;QAAE,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC;YAAE,OAAO,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;IACjE,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,KAAK,MAAM,CAAC,IAAI,QAAQ,EAAE,CAAC;QACzB,MAAM,SAAS,GAAG,CAAC,CAAC,SAAS,IAAI,CAAC,CAAC,MAAM,CAAC;QAC1C,MAAM,KAAK,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC;QACxC,MAAM,MAAM,GAAW,EAAE,SAAS,EAAE,KAAK,EAAE,KAAK,EAAE,SAAS,KAAK,SAAS,CAAC,CAAC,CAAC,KAAK,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;QAClG,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,UAAU,EAAE,MAAM,CAAC,CAAC;QAClC,IAAI,MAAM,CAAC,KAAK,GAAG,gCAAgC,IAAI,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC;YAAE,SAAS;QACzF,IAAI,WAAW,KAAK,IAAI,IAAI,IAAI,KAAK,SAAS;YAAE,SAAS;QACzD,8HAA8H;QAC9H,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,UAAU,EAAE,EAAE,SAAS,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,CAAC;QACnD,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,UAAU,EAAE,WAAW,CAAC,CAAC;QACrC,IAAI,CAAC;YACH,MAAM,MAAM,GAAG,MAAM,IAAI,CAAC,uBAAuB,CAAC,KAAK,EAAE,CAAC,EAAE,WAAW,EAAE,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC;YACxF,IAAI,MAAM,CAAC,KAAK,EAAE,CAAC;gBACjB,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC;gBACzB,GAAG,CAAC,IAAI,CAAC,6BAA6B,CAAC,CAAC,YAAY,SAAS,KAAK,CAAC,SAAS,sCAAsC,WAAW,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,MAAM,8BAA8B,CAAC,CAAC;YACzL,CAAC;QACH,CAAC;QAAC,OAAO,GAAG,EAAE,CAAC;YACb,GAAG,CAAC,IAAI,CAAC,wEAAwE,CAAC,CAAC,YAAY,MAAO,GAAa,CAAC,OAAO,EAAE,CAAC,CAAC;QACjI,CAAC;IACH,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AASD,uEAAuE;AACvE,SAAS,SAAS,CAAC,CAAoC,EAAE,aAAsB,EAAE,WAAmB;IAClG,MAAM,IAAI,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC,CAAC,cAAc,CAAC;IAChD,OAAO,aAAa;QAClB,CAAC,CAAC,yCAAyC,IAAI,kDAAkD,WAAW,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,6BAA6B;QACtJ,CAAC,CAAC,yCAAyC,IAAI,qBAAqB,CAAC,EAAE,eAAe,IAAI,SAAS,oDAAoD,WAAW,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC;AACvL,CAAC;AAED;;;;;GAKG;AACH,MAAM,CAAC,KAAK,UAAU,qBAAqB,CACzC,KAAoB,EACpB,UAA4C,EAC5C,SAA4B,EAC5B,WAA0B,EAC1B,OAA+C;IAE/C,IAAI,OAAO,KAAK,SAAS;QAAE,OAAO,CAAC,CAAC;IACpC,6EAA6E;IAC7E,MAAM,KAAK,GAAG,IAAI,GAAG,EAAuB,CAAC;IAC7C,MAAM,GAAG,GAAG,CAAC,EAAU,EAAE,GAAW,EAAQ,EAAE,GAAG,KAAK,CAAC,GAAG,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,IAAI,GAAG,EAAU,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IACjH,IAAI,WAAW,KAAK,IAAI;QAAE,KAAK,MAAM,EAAE,IAAI,SAAS;YAAE,GAAG,CAAC,EAAE,EAAE,WAAW,CAAC,CAAC;IAC3E,KAAK,MAAM,CAAC,IAAI,UAAU,EAAE,CAAC;QAC3B,MAAM,GAAG,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QAC5B,IAAI,GAAG,KAAK,SAAS,IAAI,CAAC,CAAC,CAAC,eAAe,KAAK,eAAe,CAAC,MAAM,IAAI,SAAS,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;YAAE,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,GAAG,CAAC,CAAC;IACtH,CAAC;IACD,IAAI,QAAQ,GAAG,CAAC,CAAC;IACjB,KAAK,MAAM,CAAC,EAAE,EAAE,IAAI,CAAC,IAAI,KAAK,EAAE,CAAC;QAC/B,MAAM,GAAG,GAAG,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QAC1B,KAAK,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;QACjB,MAAM,CAAC,GAAG,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC;QAC9C,MAAM,IAAI,GAAG,CAAC,GAAG,IAAI,CAAC,CAAC,OAAO,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,iBAAiB,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC;QAClE,MAAM,EAAE,GAAG,WAAW,KAAK,IAAI,IAAI,SAAS,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;QAC7F,IAAI,CAAC;YACH,MAAM,CAAC,GAAG,MAAM,OAAO,CAAC,KAAK,CAAC,OAAO,EAAE,IAAI,EAAE,SAAS,CAAC,CAAC,EAAE,SAAS,CAAC,QAAQ,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC;YACvF,QAAQ,IAAI,CAAC,CAAC;YACd,IAAI,CAAC,GAAG,CAAC;gBAAE,GAAG,CAAC,IAAI,CAAC,6BAA6B,CAAC,EAAE,IAAI,IAAI,EAAE,SAAS,KAAK,CAAC,SAAS,yCAAyC,CAAC,0BAA0B,CAAC,CAAC;QAC9J,CAAC;QAAC,OAAO,GAAG,EAAE,CAAC;YACb,KAAK,CAAC,GAAG,CAAC,EAAE,EAAE,GAAG,IAAI,EAAE,CAAC,CAAC;YACzB,GAAG,CAAC,IAAI,CAAC,2EAA2E,CAAC,EAAE,IAAI,IAAI,EAAE,0BAA2B,GAAa,CAAC,OAAO,EAAE,CAAC,CAAC;QACvJ,CAAC;IACH,CAAC;IACD,OAAO,QAAQ,CAAC;AAClB,CAAC"}

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

@@ -15,6 +15,7 @@ import { type StandingApprovalDeps } from './standing-approval-convergence.js';
 import { type RecordedConcernReader } from '../../delivery/recorded-concerns.js';
 import { type BranchAheadRead, type CompletionMergePendingDeps } from '../../merge/completion-merge-pending.js';
 import { type FocusHeadGateVerdict, type ReviewRequestGateDeps } from './review-request-gate.js';
+import { type FocusHeadVerifyJudgment, type ReviewVerifyJudgmentDeps } from './review-verify-judgment-gate.js';
 /** Injectable dependencies for cascade functions (testing). */
 export interface CascadeDeps {
     getFocusDeliveries: (focusId: string) => Promise<FocusDeliveryInfo[]>;
@@ -96,6 +97,17 @@ export interface CascadeDeps {
      * object omitting it behaves as before (no gate).
      */
     readHeadGateVerdict?: (focusId: string, verifyDeliveries: readonly FocusDeliveryInfo[]) => Promise<FocusHeadGateVerdict>;
+    /**
+     * Whether verify has FINISHED judging the focus HEAD across its verify deliveries
+     * (completion/state-cascade/review-verify-judgment-gate.ts): no verify run in
+     * flight for any of them, and a verify outcome recorded for that HEAD -- effect
+     * reconciliation included -- for each one verify judges. checkAutoReview reads it
+     * after the gate verdict, whose record is written before the reconciliation, and
+     * opens the window only on `judged`; a recorded failure routes rework instead.
+     * Fails CLOSED. Wired per focus by runFocusCascadePass; a partial test deps
+     * object omitting it behaves as before (the gate verdict alone decides).
+     */
+    readVerifyJudgment?: (focusId: string, verifyDeliveries: readonly FocusDeliveryInfo[]) => Promise<FocusHeadVerifyJudgment>;
 }
 /**
  * Every collaborator of one cascade pass (runCascadeChecks), bound once at the
@@ -122,6 +134,8 @@ export interface StateCascadeContext {
     reviewCycleCapHold: ReviewCycleCapHoldDeps;
     /** The gate verdict reads the review request waits on (completion/state-cascade/review-request-gate.ts). */
     reviewRequestGate: ReviewRequestGateDeps;
+    /** The verify-outcome reads the review request waits on after the gate verdict (completion/state-cascade/review-verify-judgment-gate.ts). */
+    reviewVerifyJudgment: ReviewVerifyJudgmentDeps;
     /** The pending completion merge that holds the arm through it (merge/completion-merge-pending.ts). */
     completionMergePending: CompletionMergePendingDeps & {
         readBranchAhead: (repoPath: string, branchName: string, integrationBranch: string) => BranchAheadRead;

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

@@ -1 +1 @@
-{"version":3,"file":"state-cascade.d.ts","sourceRoot":"","sources":["../../../src/completion/state-cascade/state-cascade.ts"],"names":[],"mappings":"AAoCA,OAAO,KAAK,EAAE,YAAY,EAAE,cAAc,EAAE,MAAM,sBAAsB,CAAC;AACzE,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,sBAAsB,CAAC;AAC9D,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,0CAA0C,CAAC;AAEjF,OAAO,EAEL,KAAK,eAAe,EACpB,KAAK,kBAAkB,EACxB,MAAM,6BAA6B,CAAC;AAErC,OAAO,EAAqC,KAAK,2BAA2B,EAAE,MAAM,qDAAqD,CAAC;AAC1I,OAAO,EAA8C,KAAK,mBAAmB,EAAE,MAAM,uBAAuB,CAAC;AAC7G,OAAO,EAGL,KAAK,gBAAgB,EACrB,KAAK,mBAAmB,EACzB,MAAM,sCAAsC,CAAC;AAC9C,OAAO,EAGL,KAAK,6BAA6B,EAClC,KAAK,oBAAoB,EAC1B,MAAM,iDAAiD,CAAC;AACzD,OAAO,EAAuB,KAAK,oBAAoB,EAAE,MAAM,yCAAyC,CAAC;AACzG,OAAO,EAAmC,KAAK,sBAAsB,EAAE,MAAM,2CAA2C,CAAC;AACzH,OAAO,EAA6B,KAAK,sBAAsB,EAAE,MAAM,4CAA4C,CAAC;AACpH,OAAO,EAGL,KAAK,eAAe,EACpB,KAAK,kBAAkB,EACxB,MAAM,+CAA+C,CAAC;AACvD,OAAO,EAGL,KAAK,kBAAkB,EACvB,KAAK,0BAA0B,EAChC,MAAM,gCAAgC,CAAC;AACxC,OAAO,EAA8B,KAAK,oBAAoB,EAAE,MAAM,oCAAoC,CAAC;AAC3G,OAAO,EAAwB,KAAK,qBAAqB,EAAE,MAAM,qCAAqC,CAAC;AAEvG,OAAO,EAIL,KAAK,eAAe,EACpB,KAAK,0BAA0B,EAChC,MAAM,yCAAyC,CAAC;AACjD,OAAO,EAAsD,KAAK,oBAAoB,EAAE,KAAK,qBAAqB,EAAE,MAAM,0BAA0B,CAAC;AAMrJ,+DAA+D;AAC/D,MAAM,WAAW,WAAW;IAC1B,kBAAkB,EAAE,CAAC,OAAO,EAAE,MAAM,KAAK,OAAO,CAAC,iBAAiB,EAAE,CAAC,CAAC;IACtE,8GAA8G;IAC9G,oBAAoB,EAAE,CAAC,OAAO,EAAE,MAAM,EAAE,YAAY,EAAE,MAAM,EAAE,sBAAsB,CAAC,EAAE,OAAO,KAAK,OAAO,CAAC,IAAI,CAAC,CAAC;IACjH,sBAAsB,EAAE,CAAC,OAAO,EAAE,MAAM,KAAK,OAAO,CAAC,IAAI,CAAC,CAAC;IAC3D;;;;;;;;;OASG;IACH,qBAAqB,CAAC,EAAE,CAAC,OAAO,EAAE,MAAM,KAAK,OAAO,CAAC;IACrD;;;;OAIG;IACH,gBAAgB,CAAC,EAAE,CAAC,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,KAAK,OAAO,CAAC,IAAI,CAAC,CAAC;IACtE;;;;;;;;;;;;OAYG;IACH,eAAe,CAAC,EAAE,CAAC,OAAO,EAAE,MAAM,KAAK,OAAO,CAAC,kBAAkB,CAAC,CAAC;IACnE;;;;;;;OAOG;IACH,oBAAoB,CAAC,EAAE,CAAC,OAAO,EAAE,MAAM,KAAK,OAAO,CAAC,OAAO,CAAC,CAAC;IAC7D;;;;;OAKG;IACH,sBAAsB,CAAC,EAAE,qBAAqB,CAAC;IAC/C;;;;;;;OAOG;IACH,cAAc,CAAC,EAAE,CAAC,OAAO,EAAE,MAAM,KAAK,OAAO,CAAC,SAAS,mBAAmB,EAAE,CAAC,CAAC;IAC9E;;;;;;;;OAQG;IACH,sBAAsB,CAAC,EAAE,CAAC,OAAO,EAAE,MAAM,KAAK,OAAO,CAAC,kBAAkB,CAAC,CAAC;IAC1E;;;;;;;OAOG;IACH,mBAAmB,CAAC,EAAE,CAAC,OAAO,EAAE,MAAM,EAAE,gBAAgB,EAAE,SAAS,iBAAiB,EAAE,KAAK,OAAO,CAAC,oBAAoB,CAAC,CAAC;CAC1H;AAED;;;;;GAKG;AACH,MAAM,WAAW,mBAAmB;IAClC,qFAAqF;IACrF,OAAO,EAAE,WAAW,CAAC;IACrB,gBAAgB,EAAE,OAAO,gBAAgB,CAAC;IAC1C,kBAAkB,EAAE,0BAA0B,CAAC;IAC/C,WAAW,EAAE,eAAe,CAAC;IAC7B,kHAAkH;IAClH,gBAAgB,EAAE,CAAC,SAAS,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,EAAE,sBAAsB,EAAE,MAAM,OAAO,CAAC,kBAAkB,CAAC,KAAK,oBAAoB,CAAC;IAC1I,WAAW,EAAE,eAAe,CAAC;IAC7B,eAAe,EAAE,mBAAmB,CAAC;IACrC,YAAY,EAAE,gBAAgB,CAAC;IAC/B,gBAAgB,EAAE,oBAAoB,CAAC;IACvC,yBAAyB,EAAE,6BAA6B,CAAC;IACzD,gBAAgB,EAAE,oBAAoB,CAAC;IACvC,kBAAkB,EAAE,sBAAsB,CAAC;IAC3C,4FAA4F;IAC5F,kBAAkB,EAAE,sBAAsB,CAAC;IAC3C,4GAA4G;IAC5G,iBAAiB,EAAE,qBAAqB,CAAC;IACzC,sGAAsG;IACtG,sBAAsB,EAAE,0BAA0B,GAAG;QACnD,eAAe,EAAE,CAAC,QAAQ,EAAE,MAAM,EAAE,UAAU,EAAE,MAAM,EAAE,iBAAiB,EAAE,MAAM,KAAK,eAAe,CAAC;KACvG,CAAC;CACH;AAED,sHAAsH;AACtH,wBAAgB,wBAAwB,CAAC,OAAO,EAAE,IAAI,CAAC,WAAW,EAAE,sBAAsB,CAAC,EAAE,MAAM,EAAE,eAAe,GAAG,WAAW,CAAC,sBAAsB,CAAC,CAMzJ;AAED,qGAAqG;AACrG,wBAAsB,oCAAoC,CACxD,KAAK,EAAE;IAAE,QAAQ,EAAE,MAAM,CAAC;IAAC,mBAAmB,EAAE,MAAM,GAAG,IAAI,CAAA;CAAE,EAC/D,UAAU,EAAE,iBAAiB,EAAE,EAC/B,MAAM,EAAE,eAAe,EACvB,GAAG,EAAE,IAAI,CAAC,mBAAmB,EAAE,wBAAwB,CAAC,GACvD,OAAO,CAAC,IAAI,CAAC,CAQf;AAkED;;;;;;;;;;GAUG;AACH,wBAAgB,qBAAqB,CAAC,KAAK,EAAE,kBAAkB,GAAG,OAAO,CAExE;AAcD;;;GAGG;AACH,wBAAgB,iCAAiC,IAAI,IAAI,CAKxD;AA6HD;;;;;;;;;;GAUG;AACH,wBAAsB,eAAe,CACnC,OAAO,EAAE,MAAM,EACf,KAAK,EAAE,2BAA2B,EAClC,cAAc,EAAE,cAAc,GAAG,IAAI,EACrC,iBAAiB,EAAE,MAAM,GAAG,IAAI,EAChC,UAAU,EAAE,iBAAiB,EAAE,EAC/B,IAAI,EAAE,WAAW,GAChB,OAAO,CAAC,IAAI,CAAC,CAIf;AAsGD;;;;;;;;;;;;;;;;;;;;;;;;;GAyBG;AACH,wBAAsB,uBAAuB,CAC3C,OAAO,EAAE,MAAM,EACf,KAAK,EAAE,2BAA2B,EAClC,iBAAiB,EAAE,MAAM,GAAG,IAAI,EAChC,UAAU,EAAE,iBAAiB,EAAE,EAC/B,kBAAkB,EAAE,MAAM,GAAG,IAAI,EACjC,IAAI,EAAE,WAAW,GAChB,OAAO,CAAC,IAAI,CAAC,CAsEf;AA6KD;;;;GAIG;AACH,wBAAsB,gBAAgB,CAAC,MAAM,EAAE,YAAY,EAAE,GAAG,EAAE,mBAAmB,GAAG,OAAO,CAAC,IAAI,CAAC,CAwBpG"}
+{"version":3,"file":"state-cascade.d.ts","sourceRoot":"","sources":["../../../src/completion/state-cascade/state-cascade.ts"],"names":[],"mappings":"AAoCA,OAAO,KAAK,EAAE,YAAY,EAAE,cAAc,EAAE,MAAM,sBAAsB,CAAC;AACzE,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,sBAAsB,CAAC;AAC9D,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,0CAA0C,CAAC;AAEjF,OAAO,EAEL,KAAK,eAAe,EACpB,KAAK,kBAAkB,EACxB,MAAM,6BAA6B,CAAC;AAErC,OAAO,EAAqC,KAAK,2BAA2B,EAAE,MAAM,qDAAqD,CAAC;AAC1I,OAAO,EAA8C,KAAK,mBAAmB,EAAE,MAAM,uBAAuB,CAAC;AAC7G,OAAO,EAGL,KAAK,gBAAgB,EACrB,KAAK,mBAAmB,EACzB,MAAM,sCAAsC,CAAC;AAC9C,OAAO,EAGL,KAAK,6BAA6B,EAClC,KAAK,oBAAoB,EAC1B,MAAM,iDAAiD,CAAC;AACzD,OAAO,EAAuB,KAAK,oBAAoB,EAAE,MAAM,yCAAyC,CAAC;AACzG,OAAO,EAAmC,KAAK,sBAAsB,EAAE,MAAM,2CAA2C,CAAC;AACzH,OAAO,EAA6B,KAAK,sBAAsB,EAAE,MAAM,4CAA4C,CAAC;AACpH,OAAO,EAGL,KAAK,eAAe,EACpB,KAAK,kBAAkB,EACxB,MAAM,+CAA+C,CAAC;AACvD,OAAO,EAGL,KAAK,kBAAkB,EACvB,KAAK,0BAA0B,EAChC,MAAM,gCAAgC,CAAC;AACxC,OAAO,EAA8B,KAAK,oBAAoB,EAAE,MAAM,oCAAoC,CAAC;AAC3G,OAAO,EAAwB,KAAK,qBAAqB,EAAE,MAAM,qCAAqC,CAAC;AAEvG,OAAO,EAIL,KAAK,eAAe,EACpB,KAAK,0BAA0B,EAChC,MAAM,yCAAyC,CAAC;AACjD,OAAO,EAAsD,KAAK,oBAAoB,EAAE,KAAK,qBAAqB,EAAE,MAAM,0BAA0B,CAAC;AACrJ,OAAO,EAIL,KAAK,uBAAuB,EAC5B,KAAK,wBAAwB,EAC9B,MAAM,kCAAkC,CAAC;AAM1C,+DAA+D;AAC/D,MAAM,WAAW,WAAW;IAC1B,kBAAkB,EAAE,CAAC,OAAO,EAAE,MAAM,KAAK,OAAO,CAAC,iBAAiB,EAAE,CAAC,CAAC;IACtE,8GAA8G;IAC9G,oBAAoB,EAAE,CAAC,OAAO,EAAE,MAAM,EAAE,YAAY,EAAE,MAAM,EAAE,sBAAsB,CAAC,EAAE,OAAO,KAAK,OAAO,CAAC,IAAI,CAAC,CAAC;IACjH,sBAAsB,EAAE,CAAC,OAAO,EAAE,MAAM,KAAK,OAAO,CAAC,IAAI,CAAC,CAAC;IAC3D;;;;;;;;;OASG;IACH,qBAAqB,CAAC,EAAE,CAAC,OAAO,EAAE,MAAM,KAAK,OAAO,CAAC;IACrD;;;;OAIG;IACH,gBAAgB,CAAC,EAAE,CAAC,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,KAAK,OAAO,CAAC,IAAI,CAAC,CAAC;IACtE;;;;;;;;;;;;OAYG;IACH,eAAe,CAAC,EAAE,CAAC,OAAO,EAAE,MAAM,KAAK,OAAO,CAAC,kBAAkB,CAAC,CAAC;IACnE;;;;;;;OAOG;IACH,oBAAoB,CAAC,EAAE,CAAC,OAAO,EAAE,MAAM,KAAK,OAAO,CAAC,OAAO,CAAC,CAAC;IAC7D;;;;;OAKG;IACH,sBAAsB,CAAC,EAAE,qBAAqB,CAAC;IAC/C;;;;;;;OAOG;IACH,cAAc,CAAC,EAAE,CAAC,OAAO,EAAE,MAAM,KAAK,OAAO,CAAC,SAAS,mBAAmB,EAAE,CAAC,CAAC;IAC9E;;;;;;;;OAQG;IACH,sBAAsB,CAAC,EAAE,CAAC,OAAO,EAAE,MAAM,KAAK,OAAO,CAAC,kBAAkB,CAAC,CAAC;IAC1E;;;;;;;OAOG;IACH,mBAAmB,CAAC,EAAE,CAAC,OAAO,EAAE,MAAM,EAAE,gBAAgB,EAAE,SAAS,iBAAiB,EAAE,KAAK,OAAO,CAAC,oBAAoB,CAAC,CAAC;IACzH;;;;;;;;;OASG;IACH,kBAAkB,CAAC,EAAE,CAAC,OAAO,EAAE,MAAM,EAAE,gBAAgB,EAAE,SAAS,iBAAiB,EAAE,KAAK,OAAO,CAAC,uBAAuB,CAAC,CAAC;CAC5H;AAED;;;;;GAKG;AACH,MAAM,WAAW,mBAAmB;IAClC,qFAAqF;IACrF,OAAO,EAAE,WAAW,CAAC;IACrB,gBAAgB,EAAE,OAAO,gBAAgB,CAAC;IAC1C,kBAAkB,EAAE,0BAA0B,CAAC;IAC/C,WAAW,EAAE,eAAe,CAAC;IAC7B,kHAAkH;IAClH,gBAAgB,EAAE,CAAC,SAAS,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,EAAE,sBAAsB,EAAE,MAAM,OAAO,CAAC,kBAAkB,CAAC,KAAK,oBAAoB,CAAC;IAC1I,WAAW,EAAE,eAAe,CAAC;IAC7B,eAAe,EAAE,mBAAmB,CAAC;IACrC,YAAY,EAAE,gBAAgB,CAAC;IAC/B,gBAAgB,EAAE,oBAAoB,CAAC;IACvC,yBAAyB,EAAE,6BAA6B,CAAC;IACzD,gBAAgB,EAAE,oBAAoB,CAAC;IACvC,kBAAkB,EAAE,sBAAsB,CAAC;IAC3C,4FAA4F;IAC5F,kBAAkB,EAAE,sBAAsB,CAAC;IAC3C,4GAA4G;IAC5G,iBAAiB,EAAE,qBAAqB,CAAC;IACzC,6IAA6I;IAC7I,oBAAoB,EAAE,wBAAwB,CAAC;IAC/C,sGAAsG;IACtG,sBAAsB,EAAE,0BAA0B,GAAG;QACnD,eAAe,EAAE,CAAC,QAAQ,EAAE,MAAM,EAAE,UAAU,EAAE,MAAM,EAAE,iBAAiB,EAAE,MAAM,KAAK,eAAe,CAAC;KACvG,CAAC;CACH;AAED,sHAAsH;AACtH,wBAAgB,wBAAwB,CAAC,OAAO,EAAE,IAAI,CAAC,WAAW,EAAE,sBAAsB,CAAC,EAAE,MAAM,EAAE,eAAe,GAAG,WAAW,CAAC,sBAAsB,CAAC,CAMzJ;AAED,qGAAqG;AACrG,wBAAsB,oCAAoC,CACxD,KAAK,EAAE;IAAE,QAAQ,EAAE,MAAM,CAAC;IAAC,mBAAmB,EAAE,MAAM,GAAG,IAAI,CAAA;CAAE,EAC/D,UAAU,EAAE,iBAAiB,EAAE,EAC/B,MAAM,EAAE,eAAe,EACvB,GAAG,EAAE,IAAI,CAAC,mBAAmB,EAAE,wBAAwB,CAAC,GACvD,OAAO,CAAC,IAAI,CAAC,CAQf;AAkED;;;;;;;;;;GAUG;AACH,wBAAgB,qBAAqB,CAAC,KAAK,EAAE,kBAAkB,GAAG,OAAO,CAExE;AAcD;;;GAGG;AACH,wBAAgB,iCAAiC,IAAI,IAAI,CAMxD;AA+HD;;;;;;;;;;GAUG;AACH,wBAAsB,eAAe,CACnC,OAAO,EAAE,MAAM,EACf,KAAK,EAAE,2BAA2B,EAClC,cAAc,EAAE,cAAc,GAAG,IAAI,EACrC,iBAAiB,EAAE,MAAM,GAAG,IAAI,EAChC,UAAU,EAAE,iBAAiB,EAAE,EAC/B,IAAI,EAAE,WAAW,GAChB,OAAO,CAAC,IAAI,CAAC,CAIf;AAsGD;;;;;;;;;;;;;;;;;;;;;;;;;GAyBG;AACH,wBAAsB,uBAAuB,CAC3C,OAAO,EAAE,MAAM,EACf,KAAK,EAAE,2BAA2B,EAClC,iBAAiB,EAAE,MAAM,GAAG,IAAI,EAChC,UAAU,EAAE,iBAAiB,EAAE,EAC/B,kBAAkB,EAAE,MAAM,GAAG,IAAI,EACjC,IAAI,EAAE,WAAW,GAChB,OAAO,CAAC,IAAI,CAAC,CAsEf;AAgLD;;;;GAIG;AACH,wBAAsB,gBAAgB,CAAC,MAAM,EAAE,YAAY,EAAE,GAAG,EAAE,mBAAmB,GAAG,OAAO,CAAC,IAAI,CAAC,CAwBpG"}

package/dist/completion/state-cascade/state-cascade.js

@@ -1,5 +1,5 @@
 // PINNED-BY-BEGIN (generated by gen:pinned-by -- do not hand-edit; checked by lint:pinned-by)
-// Pinned by: 24 tests -- run: npm run gen:pinned-by -- --list packages/daemon/src/completion/state-cascade/state-cascade.ts
+// Pinned by: 27 tests -- run: npm run gen:pinned-by -- --list packages/daemon/src/completion/state-cascade/state-cascade.ts
 // PINNED-BY-END
 /**
  * Deterministic state cascade engine.
@@ -49,6 +49,7 @@ import { NO_RECORDED_CONCERNS } from '../../delivery/recorded-concerns.js';
 import { createLogger } from '../../log/daemon-log.js';
 import { completionMergePendingFor, noteCompletionMergePendingWritten, reconcileCompletionMergePending, } from '../../merge/completion-merge-pending.js';
 import { readFocusHeadGateVerdict, verdictOpensReviewWindow } from './review-request-gate.js';
+import { declinesReviewBeforeVerifyJudged, readFocusHeadVerifyJudgment, __resetReviewVerifyJudgmentGateForTests, } from './review-verify-judgment-gate.js';
 import { recordPreReviewRunNotOwed } from '../../daemon-state/pre-review-run-not-owed.js';
 const log = createLogger({ module: 'state-cascade' });
 /** The window-open write for this pass: it marks the completion merge pending unless git proves the branch merged. */
@@ -163,6 +164,7 @@ export function __resetReviewSignaturesForTesting() {
     settledSweptFocuses.clear();
     parkedFocusesLogged.clear();
     gateDeclineLogged.clear();
+    __resetReviewVerifyJudgmentGateForTests();
 }
 /**
  * When a focus reaches the verifying phase and auto-review is enabled
@@ -243,12 +245,14 @@ function declinesReviewWindowOnIssues(focusId, next) {
     }
     return false;
 }
-function logParkedFocusOnce(focusId, parkedCount) {
+function logParkedFocusOnce(focusId, parkedIds, verifyCount) {
     if (parkedFocusesLogged.has(focusId))
         return;
     parkedFocusesLogged.add(focusId);
-    log.info(`[state-cascade] Not opening a review window on focus ${focusId}: all ${parkedCount} verify delivery(ies) are ` +
-        `parked on a repeating verify shortfall -- neither review nor coding is next until verify releases a park.`);
+    const which = parkedIds.length === verifyCount ? `all ${verifyCount}` : `${parkedIds.length} of ${verifyCount}`;
+    log.info(`[state-cascade] Not opening a review window on focus ${focusId}: ${which} verify delivery(ies) are parked on a ` +
+        `repeating verify shortfall (${parkedIds.join(', ')}) -- a review would approve the head a parked one failed, so ` +
+        `neither review nor coding is next until a ruling or a new delivery commit releases the park (its escalation names it).`);
 }
 /** A head-verdict reader that reads at most once per pass: the review request and the record share one answer. */
 function readHeadVerdictOnce(read) {
@@ -319,9 +323,10 @@ async function decideAutoReview(focusId, phase, pipelineConfig, reviewRequestedA
     });
     if (next.step === 'not_converged')
         return;
-    // Every verify delivery is parked on a repeating shortfall: no review window, no skip record -- verify re-judgement is next.
+    // A verify delivery is parked on a repeating shortfall and no unparked one owes work: no review window (it would
+    // approve the head the parked one failed), no skip record -- verify re-judgement on a ruling or a new commit is next.
     if (next.step === 'parked') {
-        logParkedFocusOnce(focusId, next.verifyDeliveries.length);
+        logParkedFocusOnce(focusId, next.parkedDeliveries.map((d) => d.id), next.verifyDeliveries.length);
         return;
     }
     parkedFocusesLogged.delete(focusId);
@@ -362,6 +367,9 @@ async function decideAutoReview(focusId, phase, pipelineConfig, reviewRequestedA
     // The full gate runs once per focus HEAD, before review: the window opens only on its passing verdict.
     if (await declinesReviewWithoutPassingVerdict(focusId, verifyDeliveries, deps.readHeadGateVerdict))
         return;
+    // That verdict is recorded before verify reconciles the effects: the window waits for verify to FINISH judging HEAD.
+    if (await declinesReviewBeforeVerifyJudged(focusId, verifyDeliveries, deps.readVerifyJudgment))
+        return;
     try {
         await deps.setReviewRequestedAt(focusId, new Date().toISOString());
         lastReviewSignature.set(focusId, signature);
@@ -502,6 +510,7 @@ async function runFocusCascadePass(pc, focus, ctx) {
         readReviewHeadApproval: readHeadApproval,
         readBreakerHold: () => readBreakerHold({ focusId: focus.focus_id, branchName: focus.branch_name, repoPath: pc.repoPath }, ctx.breakerHold),
         readHeadGateVerdict: (focusId, verifyDeliveries) => readFocusHeadGateVerdict(ctx.reviewRequestGate, { productId: pc.productId, focusId, focusReadOnly: focus.read_only }, verifyDeliveries),
+        readVerifyJudgment: (focusId, verifyDeliveries) => readFocusHeadVerifyJudgment(ctx.reviewVerifyJudgment, { productId: pc.productId, focusId, focusReadOnly: focus.read_only }, verifyDeliveries),
     });
     // A verify delivery released at the approved head closes on that approval, not on a second review of the same commit.
     await convergeOnStandingApproval({ organizationId: pc.organizationId, productId: pc.productId, focusId: focus.focus_id, focusName: focus.focus_name, readOnly: focus.read_only }, deliveries, ctx.standingApproval(pc.productId, focus.focus_id, readHeadApproval));