@telora/daemon 0.22.169 → 0.22.187

package/dist/verify/no-own-delta-verdict.d.ts

@@ -19,8 +19,13 @@
  * @module verify/no-own-delta-verdict
  */
 import { isForeignOnlyExtension } from '../git/focus-own-delta.js';
+import { type AncestorLister } from './judged-ancestor.js';
 import type { CommitVerdict, CommitVerdictGate, CommitVerdictReader } from './commit-verdict-record.js';
-/** How many ancestors of the tip are searched for the newest judged one. */
+/**
+ * How many ancestors of the tip are searched for the newest judged one. Kept as
+ * this module's name for the walk's depth, which now lives in
+ * verify/judged-ancestor.ts beside the walk itself.
+ */
 export declare const CARRIED_VERDICT_SEARCH_DEPTH = 200;
 /** The reads a carried verdict is resolved from. */
 export interface CarriedVerdictDeps {
@@ -31,7 +36,7 @@ export interface CarriedVerdictDeps {
     listFocusDeliveryIds: (focusId: string) => Promise<readonly string[]>;
     readCommitVerdict: CommitVerdictReader;
     /** Ancestors of `tip`, newest first, excluding `tip`; null when unreadable. */
-    listAncestors?: (worktreePath: string, tip: string, depth: number) => string[] | null;
+    listAncestors?: AncestorLister;
     isForeignOnlyExtension?: typeof isForeignOnlyExtension;
 }
 /** A verdict carried to `head`, and the judged commit it came from. */

package/dist/verify/no-own-delta-verdict.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"no-own-delta-verdict.d.ts","sourceRoot":"","sources":["../../src/verify/no-own-delta-verdict.ts"],"names":[],"mappings":"AAKA;;;;;;;;;;;;;;;;;;;GAmBG;AAEH,OAAO,EAAE,sBAAsB,EAAE,MAAM,2BAA2B,CAAC;AAEnE,OAAO,KAAK,EAAE,aAAa,EAAE,iBAAiB,EAAE,mBAAmB,EAAE,MAAM,4BAA4B,CAAC;AAExG,4EAA4E;AAC5E,eAAO,MAAM,4BAA4B,MAAM,CAAC;AAEhD,oDAAoD;AACpD,MAAM,WAAW,kBAAkB;IACjC,iBAAiB,EAAE,MAAM,CAAC;IAC1B,6DAA6D;IAC7D,mBAAmB,EAAE,CAAC,OAAO,EAAE,MAAM,KAAK,MAAM,GAAG,IAAI,CAAC;IACxD,qEAAqE;IACrE,oBAAoB,EAAE,CAAC,OAAO,EAAE,MAAM,KAAK,OAAO,CAAC,SAAS,MAAM,EAAE,CAAC,CAAC;IACtE,iBAAiB,EAAE,mBAAmB,CAAC;IACvC,+EAA+E;IAC/E,aAAa,CAAC,EAAE,CAAC,YAAY,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,KAAK,MAAM,EAAE,GAAG,IAAI,CAAC;IACtF,sBAAsB,CAAC,EAAE,OAAO,sBAAsB,CAAC;CACxD;AAQD,uEAAuE;AACvE,MAAM,WAAW,cAAc;IAC7B,OAAO,EAAE,aAAa,CAAC;IACvB,WAAW,EAAE,MAAM,CAAC;CACrB;AAED;;;GAGG;AACH,wBAAsB,qBAAqB,CACzC,SAAS,EAAE,MAAM,EACjB,OAAO,EAAE,MAAM,EACf,IAAI,EAAE,MAAM,EACZ,IAAI,EAAE,iBAAiB,EACvB,IAAI,EAAE,kBAAkB,GACvB,OAAO,CAAC,cAAc,GAAG,IAAI,CAAC,CA8BhC"}
+{"version":3,"file":"no-own-delta-verdict.d.ts","sourceRoot":"","sources":["../../src/verify/no-own-delta-verdict.ts"],"names":[],"mappings":"AAKA;;;;;;;;;;;;;;;;;;;GAmBG;AAEH,OAAO,EAAE,sBAAsB,EAAE,MAAM,2BAA2B,CAAC;AACnE,OAAO,EAA6C,KAAK,cAAc,EAAE,MAAM,sBAAsB,CAAC;AACtG,OAAO,KAAK,EAAE,aAAa,EAAE,iBAAiB,EAAE,mBAAmB,EAAE,MAAM,4BAA4B,CAAC;AAExG;;;;GAIG;AACH,eAAO,MAAM,4BAA4B,MAAwB,CAAC;AAElE,oDAAoD;AACpD,MAAM,WAAW,kBAAkB;IACjC,iBAAiB,EAAE,MAAM,CAAC;IAC1B,6DAA6D;IAC7D,mBAAmB,EAAE,CAAC,OAAO,EAAE,MAAM,KAAK,MAAM,GAAG,IAAI,CAAC;IACxD,qEAAqE;IACrE,oBAAoB,EAAE,CAAC,OAAO,EAAE,MAAM,KAAK,OAAO,CAAC,SAAS,MAAM,EAAE,CAAC,CAAC;IACtE,iBAAiB,EAAE,mBAAmB,CAAC;IACvC,+EAA+E;IAC/E,aAAa,CAAC,EAAE,cAAc,CAAC;IAC/B,sBAAsB,CAAC,EAAE,OAAO,sBAAsB,CAAC;CACxD;AAED,uEAAuE;AACvE,MAAM,WAAW,cAAc;IAC7B,OAAO,EAAE,aAAa,CAAC;IACvB,WAAW,EAAE,MAAM,CAAC;CACrB;AAED;;;GAGG;AACH,wBAAsB,qBAAqB,CACzC,SAAS,EAAE,MAAM,EACjB,OAAO,EAAE,MAAM,EACf,IAAI,EAAE,MAAM,EACZ,IAAI,EAAE,iBAAiB,EACvB,IAAI,EAAE,kBAAkB,GACvB,OAAO,CAAC,cAAc,GAAG,IAAI,CAAC,CA+BhC"}

package/dist/verify/no-own-delta-verdict.js

@@ -23,15 +23,13 @@
  * @module verify/no-own-delta-verdict
  */
 import { isForeignOnlyExtension } from '../git/focus-own-delta.js';
-import { runGitSync } from '../git/types.js';
-/** How many ancestors of the tip are searched for the newest judged one. */
-export const CARRIED_VERDICT_SEARCH_DEPTH = 200;
-function defaultListAncestors(worktreePath, tip, depth) {
-    const r = runGitSync(['rev-list', '--topo-order', `--max-count=${depth}`, '--skip=1', tip], worktreePath);
-    if (!r.success)
-        return null;
-    return r.output.split('\n').map((l) => l.trim()).filter((l) => l !== '');
-}
+import { ANCESTOR_SEARCH_DEPTH, findJudgedAncestor } from './judged-ancestor.js';
+/**
+ * How many ancestors of the tip are searched for the newest judged one. Kept as
+ * this module's name for the walk's depth, which now lives in
+ * verify/judged-ancestor.ts beside the walk itself.
+ */
+export const CARRIED_VERDICT_SEARCH_DEPTH = ANCESTOR_SEARCH_DEPTH;
 /**
  * The verdict `head` carries from its newest judged ancestor when it adds nothing
  * of the focus's own (module doc), or null.
@@ -40,15 +38,14 @@ export async function resolveCarriedVerdict(productId, focusId, head, gate, deps
     const worktreePath = deps.resolveWorktreePath(focusId);
     if (!worktreePath)
         return null;
-    const ancestors = (deps.listAncestors ?? defaultListAncestors)(worktreePath, head, CARRIED_VERDICT_SEARCH_DEPTH);
-    if (!ancestors)
-        return null;
-    const judged = ancestors.find((sha) => deps.readCommitVerdict(productId, focusId, sha, gate) !== null);
-    if (!judged)
-        return null;
-    const recorded = deps.readCommitVerdict(productId, focusId, judged, gate);
-    if (!recorded)
+    const found = findJudgedAncestor(productId, focusId, head, gate, {
+        worktreePath,
+        readCommitVerdict: deps.readCommitVerdict,
+        ...(deps.listAncestors ? { listAncestors: deps.listAncestors } : {}),
+    });
+    if (!found)
         return null;
+    const { sha: judged, verdict: recorded } = found;
     let ids;
     try {
         ids = await deps.listFocusDeliveryIds(focusId);

package/dist/verify/no-own-delta-verdict.js.map

@@ -1 +1 @@
-{"version":3,"file":"no-own-delta-verdict.js","sourceRoot":"","sources":["../../src/verify/no-own-delta-verdict.ts"],"names":[],"mappings":"AAAA,8FAA8F;AAC9F,8FAA8F;AAC9F,mEAAmE;AACnE,gBAAgB;AAEhB;;;;;;;;;;;;;;;;;;;GAmBG;AAEH,OAAO,EAAE,sBAAsB,EAAE,MAAM,2BAA2B,CAAC;AACnE,OAAO,EAAE,UAAU,EAAE,MAAM,iBAAiB,CAAC;AAG7C,4EAA4E;AAC5E,MAAM,CAAC,MAAM,4BAA4B,GAAG,GAAG,CAAC;AAehD,SAAS,oBAAoB,CAAC,YAAoB,EAAE,GAAW,EAAE,KAAa;IAC5E,MAAM,CAAC,GAAG,UAAU,CAAC,CAAC,UAAU,EAAE,cAAc,EAAE,eAAe,KAAK,EAAE,EAAE,UAAU,EAAE,GAAG,CAAC,EAAE,YAAY,CAAC,CAAC;IAC1G,IAAI,CAAC,CAAC,CAAC,OAAO;QAAE,OAAO,IAAI,CAAC;IAC5B,OAAO,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC;AAC3E,CAAC;AAQD;;;GAGG;AACH,MAAM,CAAC,KAAK,UAAU,qBAAqB,CACzC,SAAiB,EACjB,OAAe,EACf,IAAY,EACZ,IAAuB,EACvB,IAAwB;IAExB,MAAM,YAAY,GAAG,IAAI,CAAC,mBAAmB,CAAC,OAAO,CAAC,CAAC;IACvD,IAAI,CAAC,YAAY;QAAE,OAAO,IAAI,CAAC;IAC/B,MAAM,SAAS,GAAG,CAAC,IAAI,CAAC,aAAa,IAAI,oBAAoB,CAAC,CAAC,YAAY,EAAE,IAAI,EAAE,4BAA4B,CAAC,CAAC;IACjH,IAAI,CAAC,SAAS;QAAE,OAAO,IAAI,CAAC;IAC5B,MAAM,MAAM,GAAG,SAAS,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,IAAI,CAAC,iBAAiB,CAAC,SAAS,EAAE,OAAO,EAAE,GAAG,EAAE,IAAI,CAAC,KAAK,IAAI,CAAC,CAAC;IACvG,IAAI,CAAC,MAAM;QAAE,OAAO,IAAI,CAAC;IACzB,MAAM,QAAQ,GAAG,IAAI,CAAC,iBAAiB,CAAC,SAAS,EAAE,OAAO,EAAE,MAAM,EAAE,IAAI,CAAC,CAAC;IAC1E,IAAI,CAAC,QAAQ;QAAE,OAAO,IAAI,CAAC;IAC3B,IAAI,GAAsB,CAAC;IAC3B,IAAI,CAAC;QACH,GAAG,GAAG,MAAM,IAAI,CAAC,oBAAoB,CAAC,OAAO,CAAC,CAAC;IACjD,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,WAAW,GAAG,CAAC,IAAI,CAAC,sBAAsB,IAAI,sBAAsB,CAAC,CACzE,YAAY,EAAE,IAAI,CAAC,iBAAiB,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,GAAG,CAAC,GAAG,CAAC,CACjE,CAAC;IACF,IAAI,CAAC,WAAW;QAAE,OAAO,IAAI,CAAC;IAC9B,MAAM,UAAU,GAAG,gBAAgB,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,iEAAiE;UAClH,kDAAkD,CAAC;IACvD,OAAO;QACL,WAAW,EAAE,MAAM;QACnB,OAAO,EAAE;YACP,GAAG,QAAQ;YACX,GAAG,EAAE,IAAI;YACT,UAAU,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;YACpC,SAAS,EAAE,QAAQ,CAAC,SAAS,CAAC,CAAC,CAAC,GAAG,UAAU,KAAK,QAAQ,CAAC,SAAS,EAAE,CAAC,CAAC,CAAC,UAAU;SACpF;KACF,CAAC;AACJ,CAAC"}
+{"version":3,"file":"no-own-delta-verdict.js","sourceRoot":"","sources":["../../src/verify/no-own-delta-verdict.ts"],"names":[],"mappings":"AAAA,8FAA8F;AAC9F,8FAA8F;AAC9F,mEAAmE;AACnE,gBAAgB;AAEhB;;;;;;;;;;;;;;;;;;;GAmBG;AAEH,OAAO,EAAE,sBAAsB,EAAE,MAAM,2BAA2B,CAAC;AACnE,OAAO,EAAE,qBAAqB,EAAE,kBAAkB,EAAuB,MAAM,sBAAsB,CAAC;AAGtG;;;;GAIG;AACH,MAAM,CAAC,MAAM,4BAA4B,GAAG,qBAAqB,CAAC;AAqBlE;;;GAGG;AACH,MAAM,CAAC,KAAK,UAAU,qBAAqB,CACzC,SAAiB,EACjB,OAAe,EACf,IAAY,EACZ,IAAuB,EACvB,IAAwB;IAExB,MAAM,YAAY,GAAG,IAAI,CAAC,mBAAmB,CAAC,OAAO,CAAC,CAAC;IACvD,IAAI,CAAC,YAAY;QAAE,OAAO,IAAI,CAAC;IAC/B,MAAM,KAAK,GAAG,kBAAkB,CAAC,SAAS,EAAE,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE;QAC/D,YAAY;QACZ,iBAAiB,EAAE,IAAI,CAAC,iBAAiB;QACzC,GAAG,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC,CAAC,EAAE,aAAa,EAAE,IAAI,CAAC,aAAa,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;KACrE,CAAC,CAAC;IACH,IAAI,CAAC,KAAK;QAAE,OAAO,IAAI,CAAC;IACxB,MAAM,EAAE,GAAG,EAAE,MAAM,EAAE,OAAO,EAAE,QAAQ,EAAE,GAAG,KAAK,CAAC;IACjD,IAAI,GAAsB,CAAC;IAC3B,IAAI,CAAC;QACH,GAAG,GAAG,MAAM,IAAI,CAAC,oBAAoB,CAAC,OAAO,CAAC,CAAC;IACjD,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,WAAW,GAAG,CAAC,IAAI,CAAC,sBAAsB,IAAI,sBAAsB,CAAC,CACzE,YAAY,EAAE,IAAI,CAAC,iBAAiB,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,GAAG,CAAC,GAAG,CAAC,CACjE,CAAC;IACF,IAAI,CAAC,WAAW;QAAE,OAAO,IAAI,CAAC;IAC9B,MAAM,UAAU,GAAG,gBAAgB,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,iEAAiE;UAClH,kDAAkD,CAAC;IACvD,OAAO;QACL,WAAW,EAAE,MAAM;QACnB,OAAO,EAAE;YACP,GAAG,QAAQ;YACX,GAAG,EAAE,IAAI;YACT,UAAU,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;YACpC,SAAS,EAAE,QAAQ,CAAC,SAAS,CAAC,CAAC,CAAC,GAAG,UAAU,KAAK,QAAQ,CAAC,SAAS,EAAE,CAAC,CAAC,CAAC,UAAU;SACpF;KACF,CAAC;AACJ,CAAC"}

package/dist/verify/rework-attribution.d.ts

@@ -0,0 +1,71 @@
+import { type ReviewWindowCommit } from '../resolvers/shared/review-window-commits.js';
+import { findGreenAncestor } from './judged-ancestor.js';
+import { type CommitVerdict, type CommitVerdictGate } from './commit-verdict-record.js';
+/** Injectable seams; each defaults to the real read. */
+export interface ReworkAttributionDeps {
+    /** The focus worktree the failed commit was judged in; null when the daemon holds none. */
+    resolveWorktreePath: (focusId: string) => string | null;
+    /** The verdict recorded for a commit; without a gate, the newest under any gate (which carries its own). */
+    readCommitVerdict: (productId: string, focusId: string, sha: string, gate?: CommitVerdictGate) => CommitVerdict | null;
+    /** The newest ancestor of `tip` this gate judged PASSING (verify/judged-ancestor.ts). */
+    findGreenAncestor: typeof findGreenAncestor;
+    /** The non-merge commits in base..tip with their trailer attribution; null when git could not answer. */
+    listWindow: (worktreePath: string, base: string, tip: string) => readonly ReviewWindowCommit[] | null;
+    /**
+     * The focus's deliveries sitting in verify -- the candidate set an unattributable
+     * failure is settled over, so a pass that was handed one delivery can still ask the
+     * focus-wide question (module doc).
+     */
+    listVerifyCandidates: (focusId: string) => Promise<readonly string[]>;
+}
+export declare const defaultReworkAttributionDeps: () => ReworkAttributionDeps;
+/** The focus commit whose failure is being attributed. */
+export interface FailedCommit {
+    productId: string;
+    focusId: string;
+    /** The commit the gate failed on. */
+    sha: string;
+}
+/** Who owns a failed verdict, and how that was decided. */
+export interface FailureOwnership {
+    /** The deliveries whose own commits are in the judged range; empty when none is attributable. */
+    causingDeliveryIds: ReadonlySet<string>;
+    /** Those deliveries in range order, NEWEST COMMIT FIRST -- the ranking the owner is taken from. */
+    causingNewestFirst: readonly string[];
+    /** The delivery whose dispatch ran the gate -- the owner when nothing is attributable. */
+    judgedDeliveryId: string;
+    /** The ONE delivery this failure's rework belongs on: the newest causing commit's, else the judged one. */
+    owningDeliveryId: string;
+    /** False when the range could not be read at all (git or the green ancestor); the fallback then decides alone. */
+    rangeRead: boolean;
+}
+/**
+ * Who a failed verdict belongs to (module doc), or null when its verdict cannot be
+ * read -- the one answer that means "cannot tell". Never throws.
+ */
+export declare function resolveFailureOwnership(at: FailedCommit, deps?: ReworkAttributionDeps): FailureOwnership | null;
+/**
+ * The ONE delivery a failed verdict's rework belongs on, chosen from the
+ * `candidates` a filing pass would otherwise fan out over (module doc). Null means
+ * "cannot tell" -- the verdict itself was unreadable or is not a failure -- and the
+ * caller files as it did before. Never throws.
+ */
+export declare function selectReworkOwner(candidates: readonly string[], at: FailedCommit, deps?: ReworkAttributionDeps): string | null;
+/**
+ * Rung 3: the owner of a failure NOTHING attributes, over the candidates that could
+ * carry it. The lowest id -- arbitrary on purpose, and a pure function of the set, so
+ * a sibling, a later poll, a restarted daemon and the per-focus filer all name the
+ * same one delivery. Null only when there is no candidate at all.
+ */
+export declare function unattributableOwner(candidates: readonly string[]): string | null;
+/**
+ * Whether the rework Bug for `failedSha` belongs on `deliveryId` (module doc): it is
+ * the ONE owner the range names -- the delivery of the newest commit in it, or, with
+ * nothing attributable there, the delivery whose dispatch ran the gate. An unreadable
+ * verdict names no owner from the commit, so the question is asked of the FOCUS
+ * instead: the candidate set settles it by rung 3, identically for every asker and
+ * across a restart. A candidate read that fails files nothing this poll (the retry
+ * owns that case). Never throws.
+ */
+export declare function deliveryOwnsFailure(deliveryId: string, at: FailedCommit, deps?: ReworkAttributionDeps): Promise<boolean>;
+//# sourceMappingURL=rework-attribution.d.ts.map

package/dist/verify/rework-attribution.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"rework-attribution.d.ts","sourceRoot":"","sources":["../../src/verify/rework-attribution.ts"],"names":[],"mappings":"AAsGA,OAAO,EAA2B,KAAK,kBAAkB,EAAE,MAAM,8CAA8C,CAAC;AAChH,OAAO,EAAE,iBAAiB,EAAE,MAAM,sBAAsB,CAAC;AACzD,OAAO,EAAqB,KAAK,aAAa,EAAE,KAAK,iBAAiB,EAAE,MAAM,4BAA4B,CAAC;AAK3G,wDAAwD;AACxD,MAAM,WAAW,qBAAqB;IACpC,2FAA2F;IAC3F,mBAAmB,EAAE,CAAC,OAAO,EAAE,MAAM,KAAK,MAAM,GAAG,IAAI,CAAC;IACxD,4GAA4G;IAC5G,iBAAiB,EAAE,CAAC,SAAS,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,EAAE,IAAI,CAAC,EAAE,iBAAiB,KAAK,aAAa,GAAG,IAAI,CAAC;IACvH,yFAAyF;IACzF,iBAAiB,EAAE,OAAO,iBAAiB,CAAC;IAC5C,yGAAyG;IACzG,UAAU,EAAE,CAAC,YAAY,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,KAAK,SAAS,kBAAkB,EAAE,GAAG,IAAI,CAAC;IACtG;;;;OAIG;IACH,oBAAoB,EAAE,CAAC,OAAO,EAAE,MAAM,KAAK,OAAO,CAAC,SAAS,MAAM,EAAE,CAAC,CAAC;CACvE;AAED,eAAO,MAAM,4BAA4B,QAAO,qBAQ9C,CAAC;AAEH,0DAA0D;AAC1D,MAAM,WAAW,YAAY;IAC3B,SAAS,EAAE,MAAM,CAAC;IAClB,OAAO,EAAE,MAAM,CAAC;IAChB,qCAAqC;IACrC,GAAG,EAAE,MAAM,CAAC;CACb;AAED,2DAA2D;AAC3D,MAAM,WAAW,gBAAgB;IAC/B,iGAAiG;IACjG,kBAAkB,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC;IACxC,mGAAmG;IACnG,kBAAkB,EAAE,SAAS,MAAM,EAAE,CAAC;IACtC,0FAA0F;IAC1F,gBAAgB,EAAE,MAAM,CAAC;IACzB,2GAA2G;IAC3G,gBAAgB,EAAE,MAAM,CAAC;IACzB,kHAAkH;IAClH,SAAS,EAAE,OAAO,CAAC;CACpB;AAED;;;GAGG;AACH,wBAAgB,uBAAuB,CACrC,EAAE,EAAE,YAAY,EAChB,IAAI,GAAE,qBAAsD,GAC3D,gBAAgB,GAAG,IAAI,CAkBzB;AAED;;;;;GAKG;AACH,wBAAgB,iBAAiB,CAC/B,UAAU,EAAE,SAAS,MAAM,EAAE,EAC7B,EAAE,EAAE,YAAY,EAChB,IAAI,GAAE,qBAAsD,GAC3D,MAAM,GAAG,IAAI,CAoBf;AAED;;;;;GAKG;AACH,wBAAgB,mBAAmB,CAAC,UAAU,EAAE,SAAS,MAAM,EAAE,GAAG,MAAM,GAAG,IAAI,CAIhF;AA4BD;;;;;;;;GAQG;AACH,wBAAsB,mBAAmB,CACvC,UAAU,EAAE,MAAM,EAClB,EAAE,EAAE,YAAY,EAChB,IAAI,GAAE,qBAAsD,GAC3D,OAAO,CAAC,OAAO,CAAC,CAiBlB"}

package/dist/verify/rework-attribution.js

@@ -0,0 +1,263 @@
+// PINNED-BY-BEGIN (generated by gen:pinned-by -- do not hand-edit; checked by lint:pinned-by)
+// Pinned by: packages/daemon/src/integration/failed-verdict-review-exit-respawn-regression.test.ts,
+//   packages/daemon/src/verify/rework-attribution.test.ts,
+//   packages/daemon/src/verify/verification-rework-issue.test.ts
+// PINNED-BY-END
+/**
+ * Whose commits caused a failed gate verdict -- the delivery a rework Bug belongs on.
+ *
+ * Every delivery on a focus is judged on the same focus-branch HEAD, and one gate
+ * run's verdict is SHARED by all of them (verify/verification-commit-sharing.ts).
+ * Sharing the verdict is sound: the gate ran on one tree and would render the same
+ * answer for each. Fanning out the REWORK is not. A failed verdict used to become
+ * one rework Bug PER delivery sitting in verify -- measured on mars 2026-09-21
+ * 19:04-19:07, commit 03a511e12d00's single failed run filed three Bugs all titled
+ * `fix stage "lint:all > lint --prefix packages/daemon"`, two of them on deliveries
+ * the log itself recorded as taking the verdict with "no gate run". Each of those
+ * names a gate run its delivery never made, costs that delivery a verify_failed
+ * re-entry, and spends a review cycle out of the focus's arm budget
+ * (completion/review-cycle-cap.ts) on a delivery that carries no defect of its own.
+ *
+ * ONE branch-level red is ONE piece of open work. This module names its owner.
+ *
+ * THE RANGE. The suspects are the commits the failure could have come from: those
+ * between the newest ancestor this gate judged GREEN (verify/judged-ancestor.ts --
+ * the same bound the gate's own stages diff against) and the failed commit.
+ * Everything at or before the green ancestor was covered by a run that PASSED on a
+ * tree containing it. The gate that judged the failure is read off the failure's own
+ * recorded verdict, so no caller has to resolve it.
+ *
+ * THE OWNER. Each commit in that range is attributed by its `Telora-Delivery`
+ * trailer, through git's own trailer parse (resolvers/shared/review-window-commits.ts),
+ * the same read the verify gate partitions evidence with. A sentinel, an
+ * unattributed capture and a commit naming a delivery outside the focus own nothing.
+ *
+ * SEVERAL DELIVERIES MAY HAVE COMMITTED IN THAT RANGE, and one red is still one
+ * work item, so the range names ONE owner: the delivery of the NEWEST commit in it.
+ *
+ * SAY WHAT THAT IS AND IS NOT. It is the newest SUSPECT, not a proof of cause. The
+ * gate was GREEN at the base and the red is rendered at the tip, so every commit
+ * between them is a candidate and the newest is the last change that could have
+ * introduced it -- but nothing here reads the failing stage's output, so an older
+ * commit in the range may well be the culprit. What the rule buys is that the choice
+ * is DETERMINISTIC (git's own topological order, one read) and SINGLE. Two
+ * alternatives lost: the failing stage's own files would be a stronger ground, but a
+ * verdict records a stage NAME (`lint:all > lint --prefix packages/daemon`) and test
+ * ids, which do not resolve to files in general; and "every delivery in the range" is
+ * what this module exists to stop -- it re-creates the N-Bugs fan-out one bound later.
+ * Being wrong here costs one delivery a re-entry it did not earn, while the branch is
+ * red for all of them either way; being wrong by filing on all of them costs every
+ * delivery one, plus a review cycle each out of the arm's budget.
+ *
+ * EVERY PATH ENDS AT EXACTLY ONE OWNER, including the ones that know least. The
+ * acceptance rule is unconditional -- one failed verdict, one piece of open work --
+ * so "we could not attribute this" is not licence to fan out again. The ladder, in
+ * {@link selectReworkOwner} for a pass that knows its candidate set:
+ *
+ *   1. the newest commit in the range whose delivery is a candidate;
+ *   2. the delivery whose dispatch RAN the gate (CommitVerdict.judgedDeliveryId) --
+ *      one delivery, and the one that actually paid for the run;
+ *   3. {@link unattributableOwner} of the candidates -- the lowest id, logged.
+ *
+ * Rung 3 is what makes the rule unconditional: an unreadable verdict, an unreadable
+ * range, a focus whose worktree the daemon no longer holds -- each still names one
+ * routable delivery, because a red must reach someone and every candidate is a
+ * delivery sitting in verify on the red branch. It is a PURE FUNCTION OF THE
+ * CANDIDATE SET, deliberately: an arbitrary owner is fine, an owner that depends on
+ * who asked first is not.
+ *
+ * A PASS THAT ASKS ONE DELIVERY AT A TIME (verify/verification-feedback.ts routes each
+ * dispatch separately) therefore asks the SAME question rather than a weaker one: it
+ * reads the focus's verify deliveries and applies rung 3 to that set, so every asker
+ * -- this delivery, its siblings, the next poll, the first poll after a daemon
+ * restart, and the per-focus filer acting on the same commit -- computes the same
+ * single owner. It used to keep a first-claim ledger in memory instead, which agreed
+ * with nothing after a restart and with the per-focus filer never. When the candidate
+ * read itself fails, NOBODY files this poll: the filing is left owed and retried from
+ * the commit's record (verify/verification-rework-issue.ts retryOwedReworkIssue)
+ * rather than guessed at, because a guess here is how one red becomes N Bugs.
+ *
+ * Direction of error: this module decides who is TOLD about a red, never whether the
+ * red gates. A delivery that shares a failed verdict still takes that verdict, still
+ * routes verify -> verify_failed, and still carries the failure on its gate_state.
+ * What it no longer carries is a work item describing a run it never made.
+ *
+ * WHAT THIS MODULE DOES NOT PROMISE. Its answer is a function of LIVE state -- the
+ * focus's deliveries currently in verify -- and that set moves as deliveries are
+ * routed, so the same failed commit can name a different owner at a later poll. That
+ * is deliberate: a red whose first-named owner has already moved on must still reach
+ * someone. It does mean "one red, one Bug" cannot rest on this module alone, and it
+ * does not: the filing dedupes per COMMIT across the whole focus
+ * (verify/verification-rework-issue.ts), so a re-selection RE-ROUTES a red rather
+ * than duplicating one.
+ *
+ * A leaf: git, the verdict record and the focus worktree map, nothing else.
+ *
+ * @module verify/rework-attribution
+ */
+import { DELIVERY_STATUS } from '@telora/daemon-core';
+import { getFocusWorktree } from '../focus/focus-worktree-state.js';
+import { getFocusDeliveries } from '../queries/focuses.js';
+import { listReviewWindowCommits } from '../resolvers/shared/review-window-commits.js';
+import { findGreenAncestor } from './judged-ancestor.js';
+import { readCommitVerdict } from './commit-verdict-record.js';
+import { createLogger } from '../shell/log.js';
+const log = createLogger({ module: 'verification' });
+export const defaultReworkAttributionDeps = () => ({
+    resolveWorktreePath: (focusId) => getFocusWorktree(focusId)?.worktreePath ?? null,
+    readCommitVerdict: (productId, focusId, sha, gate) => readCommitVerdict(productId, focusId, sha, gate ? { gate } : {}),
+    findGreenAncestor,
+    listWindow: (worktreePath, base, tip) => listReviewWindowCommits(worktreePath, base, tip),
+    listVerifyCandidates: async (focusId) => (await getFocusDeliveries(focusId))
+        .filter((d) => d.executionStatus === DELIVERY_STATUS.VERIFY)
+        .map((d) => d.id),
+});
+/**
+ * Who a failed verdict belongs to (module doc), or null when its verdict cannot be
+ * read -- the one answer that means "cannot tell". Never throws.
+ */
+export function resolveFailureOwnership(at, deps = defaultReworkAttributionDeps()) {
+    let verdict;
+    try {
+        verdict = deps.readCommitVerdict(at.productId, at.focusId, at.sha);
+    }
+    catch {
+        return null;
+    }
+    if (!verdict || verdict.outcome !== 'failed')
+        return null;
+    const causing = readCausingSet(at, verdict.gate, deps);
+    const newestFirst = causing ?? [];
+    return {
+        causingDeliveryIds: new Set(newestFirst),
+        causingNewestFirst: newestFirst,
+        judgedDeliveryId: verdict.judgedDeliveryId,
+        // ONE red, ONE work item: the newest commit in the range names the owner.
+        owningDeliveryId: newestFirst[0] ?? verdict.judgedDeliveryId,
+        rangeRead: causing !== null,
+    };
+}
+/**
+ * The ONE delivery a failed verdict's rework belongs on, chosen from the
+ * `candidates` a filing pass would otherwise fan out over (module doc). Null means
+ * "cannot tell" -- the verdict itself was unreadable or is not a failure -- and the
+ * caller files as it did before. Never throws.
+ */
+export function selectReworkOwner(candidates, at, deps = defaultReworkAttributionDeps()) {
+    const fallback = unattributableOwner(candidates);
+    // Nobody to tell: this pass has no verify delivery to carry the red.
+    if (fallback === null)
+        return null;
+    const eligible = new Set(candidates);
+    const ownership = resolveFailureOwnership(at, deps);
+    if (ownership !== null) {
+        // Rung 1 -- the newest suspect this pass can actually tell.
+        const attributed = ownership.causingNewestFirst.find((id) => eligible.has(id));
+        if (attributed !== undefined)
+            return attributed;
+        // Rung 2 -- the delivery that paid for the run.
+        if (eligible.has(ownership.judgedDeliveryId))
+            return ownership.judgedDeliveryId;
+    }
+    // Rung 3 -- unattributable, and still ONE owner: the rule does not relax here.
+    log.info(`[verification] rework issue: the failed verdict for ${at.sha.slice(0, 12)} could not be attributed`
+        + `${ownership === null ? ' (its verdict was unreadable)' : ` to a delivery this pass can tell (owner: ${ownership.owningDeliveryId})`}`
+        + ` -- it is carried by ${fallback} alone, not by every delivery on the red branch`);
+    return fallback;
+}
+/**
+ * Rung 3: the owner of a failure NOTHING attributes, over the candidates that could
+ * carry it. The lowest id -- arbitrary on purpose, and a pure function of the set, so
+ * a sibling, a later poll, a restarted daemon and the per-focus filer all name the
+ * same one delivery. Null only when there is no candidate at all.
+ */
+export function unattributableOwner(candidates) {
+    let lowest = null;
+    for (const id of candidates)
+        if (lowest === null || id < lowest)
+            lowest = id;
+    return lowest;
+}
+/** The deliveries with a trailered commit in greenAncestor..failedSha, NEWEST FIRST; null when the range is unreadable. */
+function readCausingSet(at, gate, deps) {
+    try {
+        const worktreePath = deps.resolveWorktreePath(at.focusId);
+        if (worktreePath === null)
+            return null;
+        const base = deps.findGreenAncestor(at.productId, at.focusId, at.sha, gate, {
+            worktreePath,
+            readCommitVerdict: (productId, focusId, sha, g) => deps.readCommitVerdict(productId, focusId, sha, g),
+        });
+        // No green ancestor in reach: nothing bounds the suspects, so the range says nothing.
+        if (base === null)
+            return null;
+        const commits = deps.listWindow(worktreePath, base, at.sha);
+        if (commits === null)
+            return null;
+        // listReviewWindowCommits answers newest first; the order IS the ranking.
+        const causing = [];
+        for (const c of commits) {
+            if (c.attribution.kind === 'delivery' && !causing.includes(c.attribution.deliveryId)) {
+                causing.push(c.attribution.deliveryId);
+            }
+        }
+        return causing;
+    }
+    catch {
+        return null;
+    }
+}
+/**
+ * Whether the rework Bug for `failedSha` belongs on `deliveryId` (module doc): it is
+ * the ONE owner the range names -- the delivery of the newest commit in it, or, with
+ * nothing attributable there, the delivery whose dispatch ran the gate. An unreadable
+ * verdict names no owner from the commit, so the question is asked of the FOCUS
+ * instead: the candidate set settles it by rung 3, identically for every asker and
+ * across a restart. A candidate read that fails files nothing this poll (the retry
+ * owns that case). Never throws.
+ */
+export async function deliveryOwnsFailure(deliveryId, at, deps = defaultReworkAttributionDeps()) {
+    const ownership = resolveFailureOwnership(at, deps);
+    if (ownership === null)
+        return await ownsUnattributable(deliveryId, at, deps);
+    const owns = deliveryId === ownership.owningDeliveryId;
+    if (!owns) {
+        const why = ownership.causingNewestFirst.length > 0
+            ? `the newest commit in the judged range is ${ownership.owningDeliveryId}'s`
+            : `${ownership.rangeRead ? 'no delivery\'s commits explain it' : 'it could not be attributed'}, so it stays with the `
+                + `delivery whose run rendered it (${ownership.judgedDeliveryId})`;
+        const alsoIn = ownership.causingNewestFirst.filter((id) => id !== ownership.owningDeliveryId);
+        log.info(`[verification] rework issue: delivery ${deliveryId} shares the failed verdict for ${at.sha.slice(0, 12)} but does not `
+            + `carry it -- ${why}`
+            + (alsoIn.length > 0 ? ` (also committed in that range: ${alsoIn.join(', ')})` : ''));
+    }
+    return owns;
+}
+/**
+ * Rung 3 for a caller holding ONE delivery: read the focus's candidates and settle the
+ * failure over them, so the answer is the set's, not the asker's (module doc). A read
+ * that fails, or that does not list this delivery, DECLINES -- one poll of nobody,
+ * which retryOwedReworkIssue retries -- rather than letting a sibling reading a
+ * different set assume it owns the red too.
+ */
+async function ownsUnattributable(deliveryId, at, deps) {
+    let candidates;
+    try {
+        candidates = await deps.listVerifyCandidates(at.focusId);
+    }
+    catch (err) {
+        log.warn(`[verification] rework issue: the failed verdict for ${at.sha.slice(0, 12)} is unattributable and the focus's verify `
+            + `deliveries could not be read -- ${deliveryId} files nothing this poll (the owed filing is retried):`, err.message);
+        return false;
+    }
+    const owner = unattributableOwner(candidates);
+    if (owner !== deliveryId) {
+        log.info(`[verification] rework issue: delivery ${deliveryId} shares the failed verdict for ${at.sha.slice(0, 12)}, which `
+            + `nothing attributes -- the focus's verify set settles it on ${owner}`);
+        return false;
+    }
+    log.info(`[verification] rework issue: the failed verdict for ${at.sha.slice(0, 12)} is unattributable -- of the focus's verify `
+        + `deliveries (${candidates.join(', ')}) it is carried by ${deliveryId} alone`);
+    return true;
+}
+//# sourceMappingURL=rework-attribution.js.map

package/dist/verify/rework-attribution.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"rework-attribution.js","sourceRoot":"","sources":["../../src/verify/rework-attribution.ts"],"names":[],"mappings":"AAAA,8FAA8F;AAC9F,oGAAoG;AACpG,2DAA2D;AAC3D,iEAAiE;AACjE,gBAAgB;AAEhB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA2FG;AAEH,OAAO,EAAE,eAAe,EAAE,MAAM,qBAAqB,CAAC;AACtD,OAAO,EAAE,gBAAgB,EAAE,MAAM,kCAAkC,CAAC;AACpE,OAAO,EAAE,kBAAkB,EAAE,MAAM,uBAAuB,CAAC;AAC3D,OAAO,EAAE,uBAAuB,EAA2B,MAAM,8CAA8C,CAAC;AAChH,OAAO,EAAE,iBAAiB,EAAE,MAAM,sBAAsB,CAAC;AACzD,OAAO,EAAE,iBAAiB,EAA8C,MAAM,4BAA4B,CAAC;AAC3G,OAAO,EAAE,YAAY,EAAE,MAAM,iBAAiB,CAAC;AAE/C,MAAM,GAAG,GAAG,YAAY,CAAC,EAAE,MAAM,EAAE,cAAc,EAAE,CAAC,CAAC;AAoBrD,MAAM,CAAC,MAAM,4BAA4B,GAAG,GAA0B,EAAE,CAAC,CAAC;IACxE,mBAAmB,EAAE,CAAC,OAAO,EAAE,EAAE,CAAC,gBAAgB,CAAC,OAAO,CAAC,EAAE,YAAY,IAAI,IAAI;IACjF,iBAAiB,EAAE,CAAC,SAAS,EAAE,OAAO,EAAE,GAAG,EAAE,IAAI,EAAE,EAAE,CAAC,iBAAiB,CAAC,SAAS,EAAE,OAAO,EAAE,GAAG,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;IACtH,iBAAiB;IACjB,UAAU,EAAE,CAAC,YAAY,EAAE,IAAI,EAAE,GAAG,EAAE,EAAE,CAAC,uBAAuB,CAAC,YAAY,EAAE,IAAI,EAAE,GAAG,CAAC;IACzF,oBAAoB,EAAE,KAAK,EAAE,OAAO,EAAE,EAAE,CAAC,CAAC,MAAM,kBAAkB,CAAC,OAAO,CAAC,CAAC;SACzE,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,eAAe,KAAK,eAAe,CAAC,MAAM,CAAC;SAC3D,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;CACpB,CAAC,CAAC;AAwBH;;;GAGG;AACH,MAAM,UAAU,uBAAuB,CACrC,EAAgB,EAChB,OAA8B,4BAA4B,EAAE;IAE5D,IAAI,OAA6B,CAAC;IAClC,IAAI,CAAC;QACH,OAAO,GAAG,IAAI,CAAC,iBAAiB,CAAC,EAAE,CAAC,SAAS,EAAE,EAAE,CAAC,OAAO,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC;IACrE,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,IAAI,CAAC;IACd,CAAC;IACD,IAAI,CAAC,OAAO,IAAI,OAAO,CAAC,OAAO,KAAK,QAAQ;QAAE,OAAO,IAAI,CAAC;IAC1D,MAAM,OAAO,GAAG,cAAc,CAAC,EAAE,EAAE,OAAO,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;IACvD,MAAM,WAAW,GAAG,OAAO,IAAI,EAAE,CAAC;IAClC,OAAO;QACL,kBAAkB,EAAE,IAAI,GAAG,CAAC,WAAW,CAAC;QACxC,kBAAkB,EAAE,WAAW;QAC/B,gBAAgB,EAAE,OAAO,CAAC,gBAAgB;QAC1C,0EAA0E;QAC1E,gBAAgB,EAAE,WAAW,CAAC,CAAC,CAAC,IAAI,OAAO,CAAC,gBAAgB;QAC5D,SAAS,EAAE,OAAO,KAAK,IAAI;KAC5B,CAAC;AACJ,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,iBAAiB,CAC/B,UAA6B,EAC7B,EAAgB,EAChB,OAA8B,4BAA4B,EAAE;IAE5D,MAAM,QAAQ,GAAG,mBAAmB,CAAC,UAAU,CAAC,CAAC;IACjD,qEAAqE;IACrE,IAAI,QAAQ,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC;IACnC,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,UAAU,CAAC,CAAC;IACrC,MAAM,SAAS,GAAG,uBAAuB,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC;IACpD,IAAI,SAAS,KAAK,IAAI,EAAE,CAAC;QACvB,4DAA4D;QAC5D,MAAM,UAAU,GAAG,SAAS,CAAC,kBAAkB,CAAC,IAAI,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC;QAC/E,IAAI,UAAU,KAAK,SAAS;YAAE,OAAO,UAAU,CAAC;QAChD,gDAAgD;QAChD,IAAI,QAAQ,CAAC,GAAG,CAAC,SAAS,CAAC,gBAAgB,CAAC;YAAE,OAAO,SAAS,CAAC,gBAAgB,CAAC;IAClF,CAAC;IACD,+EAA+E;IAC/E,GAAG,CAAC,IAAI,CACN,uDAAuD,EAAE,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,0BAA0B;UAClG,GAAG,SAAS,KAAK,IAAI,CAAC,CAAC,CAAC,+BAA+B,CAAC,CAAC,CAAC,6CAA6C,SAAS,CAAC,gBAAgB,GAAG,EAAE;UACtI,wBAAwB,QAAQ,iDAAiD,CACpF,CAAC;IACF,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,mBAAmB,CAAC,UAA6B;IAC/D,IAAI,MAAM,GAAkB,IAAI,CAAC;IACjC,KAAK,MAAM,EAAE,IAAI,UAAU;QAAE,IAAI,MAAM,KAAK,IAAI,IAAI,EAAE,GAAG,MAAM;YAAE,MAAM,GAAG,EAAE,CAAC;IAC7E,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,2HAA2H;AAC3H,SAAS,cAAc,CAAC,EAAgB,EAAE,IAAuB,EAAE,IAA2B;IAC5F,IAAI,CAAC;QACH,MAAM,YAAY,GAAG,IAAI,CAAC,mBAAmB,CAAC,EAAE,CAAC,OAAO,CAAC,CAAC;QAC1D,IAAI,YAAY,KAAK,IAAI;YAAE,OAAO,IAAI,CAAC;QACvC,MAAM,IAAI,GAAG,IAAI,CAAC,iBAAiB,CAAC,EAAE,CAAC,SAAS,EAAE,EAAE,CAAC,OAAO,EAAE,EAAE,CAAC,GAAG,EAAE,IAAI,EAAE;YAC1E,YAAY;YACZ,iBAAiB,EAAE,CAAC,SAAS,EAAE,OAAO,EAAE,GAAG,EAAE,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,iBAAiB,CAAC,SAAS,EAAE,OAAO,EAAE,GAAG,EAAE,CAAC,CAAC;SACtG,CAAC,CAAC;QACH,sFAAsF;QACtF,IAAI,IAAI,KAAK,IAAI;YAAE,OAAO,IAAI,CAAC;QAC/B,MAAM,OAAO,GAAG,IAAI,CAAC,UAAU,CAAC,YAAY,EAAE,IAAI,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC;QAC5D,IAAI,OAAO,KAAK,IAAI;YAAE,OAAO,IAAI,CAAC;QAClC,0EAA0E;QAC1E,MAAM,OAAO,GAAa,EAAE,CAAC;QAC7B,KAAK,MAAM,CAAC,IAAI,OAAO,EAAE,CAAC;YACxB,IAAI,CAAC,CAAC,WAAW,CAAC,IAAI,KAAK,UAAU,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC,CAAC,WAAW,CAAC,UAAU,CAAC,EAAE,CAAC;gBACrF,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,WAAW,CAAC,UAAU,CAAC,CAAC;YACzC,CAAC;QACH,CAAC;QACD,OAAO,OAAO,CAAC;IACjB,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,IAAI,CAAC;IACd,CAAC;AACH,CAAC;AAED;;;;;;;;GAQG;AACH,MAAM,CAAC,KAAK,UAAU,mBAAmB,CACvC,UAAkB,EAClB,EAAgB,EAChB,OAA8B,4BAA4B,EAAE;IAE5D,MAAM,SAAS,GAAG,uBAAuB,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC;IACpD,IAAI,SAAS,KAAK,IAAI;QAAE,OAAO,MAAM,kBAAkB,CAAC,UAAU,EAAE,EAAE,EAAE,IAAI,CAAC,CAAC;IAC9E,MAAM,IAAI,GAAG,UAAU,KAAK,SAAS,CAAC,gBAAgB,CAAC;IACvD,IAAI,CAAC,IAAI,EAAE,CAAC;QACV,MAAM,GAAG,GAAG,SAAS,CAAC,kBAAkB,CAAC,MAAM,GAAG,CAAC;YACjD,CAAC,CAAC,4CAA4C,SAAS,CAAC,gBAAgB,IAAI;YAC5E,CAAC,CAAC,GAAG,SAAS,CAAC,SAAS,CAAC,CAAC,CAAC,mCAAmC,CAAC,CAAC,CAAC,4BAA4B,yBAAyB;kBAClH,mCAAmC,SAAS,CAAC,gBAAgB,GAAG,CAAC;QACvE,MAAM,MAAM,GAAG,SAAS,CAAC,kBAAkB,CAAC,MAAM,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,KAAK,SAAS,CAAC,gBAAgB,CAAC,CAAC;QAC9F,GAAG,CAAC,IAAI,CACN,yCAAyC,UAAU,kCAAkC,EAAE,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,gBAAgB;cACtH,eAAe,GAAG,EAAE;cACpB,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,mCAAmC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CACrF,CAAC;IACJ,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED;;;;;;GAMG;AACH,KAAK,UAAU,kBAAkB,CAAC,UAAkB,EAAE,EAAgB,EAAE,IAA2B;IACjG,IAAI,UAA6B,CAAC;IAClC,IAAI,CAAC;QACH,UAAU,GAAG,MAAM,IAAI,CAAC,oBAAoB,CAAC,EAAE,CAAC,OAAO,CAAC,CAAC;IAC3D,CAAC;IAAC,OAAO,GAAG,EAAE,CAAC;QACb,GAAG,CAAC,IAAI,CACN,uDAAuD,EAAE,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,4CAA4C;cACpH,mCAAmC,UAAU,wDAAwD,EACtG,GAAa,CAAC,OAAO,CACvB,CAAC;QACF,OAAO,KAAK,CAAC;IACf,CAAC;IACD,MAAM,KAAK,GAAG,mBAAmB,CAAC,UAAU,CAAC,CAAC;IAC9C,IAAI,KAAK,KAAK,UAAU,EAAE,CAAC;QACzB,GAAG,CAAC,IAAI,CACN,yCAAyC,UAAU,kCAAkC,EAAE,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,UAAU;cAChH,8DAA8D,KAAK,EAAE,CACxE,CAAC;QACF,OAAO,KAAK,CAAC;IACf,CAAC;IACD,GAAG,CAAC,IAAI,CACN,uDAAuD,EAAE,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,8CAA8C;UACtH,eAAe,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,sBAAsB,UAAU,QAAQ,CAC/E,CAAC;IACF,OAAO,IAAI,CAAC;AACd,CAAC"}

package/dist/verify/shortfall-rulings.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"shortfall-rulings.d.ts","sourceRoot":"","sources":["../../src/verify/shortfall-rulings.ts"],"names":[],"mappings":"AAMA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAsDG;AAEH,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,uBAAuB,CAAC;AAChE,OAAO,KAAK,EAAE,wBAAwB,EAAE,eAAe,EAAE,MAAM,iCAAiC,CAAC;AACjG,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,4BAA4B,CAAC;AACtE,OAAO,KAAK,EAAE,iBAAiB,EAAE,eAAe,EAAE,MAAM,yBAAyB,CAAC;AAQlF,6GAA6G;AAC7G,MAAM,MAAM,sBAAsB,GAAG,CAAC,UAAU,EAAE,MAAM,KAAK,OAAO,CAAC,wBAAwB,CAAC,CAAC;AAE/F,gEAAgE;AAChE,MAAM,MAAM,aAAa,GAAG,IAAI,CAAC,eAAe,EAAE,QAAQ,GAAG,SAAS,GAAG,WAAW,CAAC,CAAC;AAEtF,4DAA4D;AAC5D,MAAM,WAAW,mBAAmB;IAClC,YAAY,EAAE,iBAAiB,EAAE,CAAC;IAClC,mEAAmE;IACnE,UAAU,EAAE,eAAe,EAAE,CAAC;IAC9B,iHAAiH;IACjH,kBAAkB,EAAE,MAAM,GAAG,IAAI,CAAC;IAClC,iGAAiG;IACjG,eAAe,EAAE,MAAM,EAAE,CAAC;IAC1B,iEAAiE;IACjE,OAAO,EAAE,aAAa,EAAE,CAAC;CAC1B;AAED;;;GAGG;AACH,wBAAsB,qBAAqB,CACzC,CAAC,EAAE,IAAI,CAAC,mBAAmB,EAAE,YAAY,GAAG,cAAc,CAAC,EAC3D,UAAU,EAAE;IAAE,YAAY,EAAE,SAAS,iBAAiB,EAAE,CAAC;IAAC,UAAU,EAAE,SAAS,eAAe,EAAE,CAAA;CAAE,EAClG,IAAI,EAAE,sBAAsB,GAAG,SAAS,GACvC,OAAO,CAAC,mBAAmB,CAAC,CA0C9B;AAED,yGAAyG;AACzG,wBAAgB,kBAAkB,CAAC,QAAQ,EAAE,MAAM,EAAE,OAAO,EAAE,SAAS,aAAa,EAAE,GAAG,MAAM,CAK9F;AAMD,4CAA4C;AAC5C,KAAK,eAAe,GAAG,IAAI,CAAC,OAAO,CAAC,UAAU,CAAC,OAAO,kBAAkB,CAAC,CAAC,CAAC,MAAM,CAAC,EAAE,IAAI,GAAG,MAAM,GAAG,iBAAiB,GAAG,WAAW,GAAG,oBAAoB,CAAC,CAAC;AAK5J;;;;GAIG;AACH,wBAAsB,wBAAwB,CAC5C,UAAU,EAAE,SAAS,eAAe,EAAE,EACtC,IAAI,EAAE,sBAAsB,GAC3B,OAAO,CAAC,MAAM,EAAE,CAAC,CAuBnB;AAED;;;;GAIG;AACH,wBAAgB,wBAAwB,CAAC,CAAC,SAAS;IAAE,kBAAkB,EAAE,OAAO,kBAAkB,CAAC;IAAC,oBAAoB,CAAC,EAAE,sBAAsB,CAAA;CAAE,EAAE,IAAI,EAAE,CAAC,GAAG,CAAC,CAS/J;AAED,wDAAwD;AACxD,wBAAgB,mCAAmC,IAAI,IAAI,CAE1D"}
+{"version":3,"file":"shortfall-rulings.d.ts","sourceRoot":"","sources":["../../src/verify/shortfall-rulings.ts"],"names":[],"mappings":"AAOA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAsDG;AAEH,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,uBAAuB,CAAC;AAChE,OAAO,KAAK,EAAE,wBAAwB,EAAE,eAAe,EAAE,MAAM,iCAAiC,CAAC;AACjG,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,4BAA4B,CAAC;AACtE,OAAO,KAAK,EAAE,iBAAiB,EAAE,eAAe,EAAE,MAAM,yBAAyB,CAAC;AAQlF,6GAA6G;AAC7G,MAAM,MAAM,sBAAsB,GAAG,CAAC,UAAU,EAAE,MAAM,KAAK,OAAO,CAAC,wBAAwB,CAAC,CAAC;AAE/F,gEAAgE;AAChE,MAAM,MAAM,aAAa,GAAG,IAAI,CAAC,eAAe,EAAE,QAAQ,GAAG,SAAS,GAAG,WAAW,CAAC,CAAC;AAEtF,4DAA4D;AAC5D,MAAM,WAAW,mBAAmB;IAClC,YAAY,EAAE,iBAAiB,EAAE,CAAC;IAClC,mEAAmE;IACnE,UAAU,EAAE,eAAe,EAAE,CAAC;IAC9B,iHAAiH;IACjH,kBAAkB,EAAE,MAAM,GAAG,IAAI,CAAC;IAClC,iGAAiG;IACjG,eAAe,EAAE,MAAM,EAAE,CAAC;IAC1B,iEAAiE;IACjE,OAAO,EAAE,aAAa,EAAE,CAAC;CAC1B;AAED;;;GAGG;AACH,wBAAsB,qBAAqB,CACzC,CAAC,EAAE,IAAI,CAAC,mBAAmB,EAAE,YAAY,GAAG,cAAc,CAAC,EAC3D,UAAU,EAAE;IAAE,YAAY,EAAE,SAAS,iBAAiB,EAAE,CAAC;IAAC,UAAU,EAAE,SAAS,eAAe,EAAE,CAAA;CAAE,EAClG,IAAI,EAAE,sBAAsB,GAAG,SAAS,GACvC,OAAO,CAAC,mBAAmB,CAAC,CA0C9B;AAED,yGAAyG;AACzG,wBAAgB,kBAAkB,CAAC,QAAQ,EAAE,MAAM,EAAE,OAAO,EAAE,SAAS,aAAa,EAAE,GAAG,MAAM,CAK9F;AAMD,4CAA4C;AAC5C,KAAK,eAAe,GAAG,IAAI,CAAC,OAAO,CAAC,UAAU,CAAC,OAAO,kBAAkB,CAAC,CAAC,CAAC,MAAM,CAAC,EAAE,IAAI,GAAG,MAAM,GAAG,iBAAiB,GAAG,WAAW,GAAG,oBAAoB,CAAC,CAAC;AAK5J;;;;GAIG;AACH,wBAAsB,wBAAwB,CAC5C,UAAU,EAAE,SAAS,eAAe,EAAE,EACtC,IAAI,EAAE,sBAAsB,GAC3B,OAAO,CAAC,MAAM,EAAE,CAAC,CAuBnB;AAED;;;;GAIG;AACH,wBAAgB,wBAAwB,CAAC,CAAC,SAAS;IAAE,kBAAkB,EAAE,OAAO,kBAAkB,CAAC;IAAC,oBAAoB,CAAC,EAAE,sBAAsB,CAAA;CAAE,EAAE,IAAI,EAAE,CAAC,GAAG,CAAC,CAS/J;AAED,wDAAwD;AACxD,wBAAgB,mCAAmC,IAAI,IAAI,CAE1D"}

package/dist/verify/shortfall-rulings.js

@@ -1,10 +1,11 @@
 // PINNED-BY-BEGIN (generated by gen:pinned-by -- do not hand-edit; checked by lint:pinned-by)
-// Pinned by: packages/daemon/src/integration/shortfall-ruling-disposes-proposals-regression.test.ts,
+// Pinned by: packages/daemon/src/integration/held-route-pull-dispatch.test.ts,
+//   packages/daemon/src/integration/shortfall-ruling-disposes-proposals-regression.test.ts,
 //   packages/daemon/src/integration/shortfall-ruling-release.test.ts,
 //   packages/daemon/src/verify/shortfall-rulings.test.ts
 // PINNED-BY-END
 import { isShortfallParkReleased, shortfallParkRefusingRework } from './shortfall-park.js';
-import { releaseDefaultOnMark } from './verification-default-on.js';
+import { releaseDefaultOnMark } from './default-on-guards.js';
 import { isGateRunSelected } from './gate-run-registry.js';
 import { createLogger } from '../shell/log.js';
 const log = createLogger({ module: 'verification' });

package/dist/verify/shortfall-rulings.js.map

@@ -1 +1 @@
-{"version":3,"file":"shortfall-rulings.js","sourceRoot":"","sources":["../../src/verify/shortfall-rulings.ts"],"names":[],"mappings":"AAAA,8FAA8F;AAC9F,qGAAqG;AACrG,sEAAsE;AACtE,yDAAyD;AACzD,gBAAgB;AA8DhB,OAAO,EAAE,uBAAuB,EAAE,2BAA2B,EAAE,MAAM,qBAAqB,CAAC;AAC3F,OAAO,EAAE,oBAAoB,EAAE,MAAM,8BAA8B,CAAC;AACpE,OAAO,EAAE,iBAAiB,EAAE,MAAM,wBAAwB,CAAC;AAC3D,OAAO,EAAE,YAAY,EAAE,MAAM,iBAAiB,CAAC;AAE/C,MAAM,GAAG,GAAG,YAAY,CAAC,EAAE,MAAM,EAAE,cAAc,EAAE,CAAC,CAAC;AAqBrD;;;GAGG;AACH,MAAM,CAAC,KAAK,UAAU,qBAAqB,CACzC,CAA2D,EAC3D,UAAkG,EAClG,IAAwC;IAExC,MAAM,OAAO,GAAwB;QACnC,YAAY,EAAE,CAAC,GAAG,UAAU,CAAC,YAAY,CAAC;QAC1C,UAAU,EAAE,CAAC,GAAG,UAAU,CAAC,UAAU,CAAC;QACtC,kBAAkB,EAAE,IAAI;QACxB,eAAe,EAAE,EAAE;QACnB,OAAO,EAAE,EAAE;KACZ,CAAC;IACF,IAAI,UAAU,CAAC,UAAU,CAAC,MAAM,KAAK,CAAC,IAAI,CAAC,IAAI;QAAE,OAAO,OAAO,CAAC;IAChE,IAAI,OAAiC,CAAC;IACtC,IAAI,CAAC;QACH,OAAO,GAAG,MAAM,IAAI,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC;IACrC,CAAC;IAAC,OAAO,GAAG,EAAE,CAAC;QACb,GAAG,CAAC,IAAI,CACN,kDAAkD,CAAC,CAAC,YAAY,MAAM,CAAC,CAAC,UAAU,yBAAyB;cACzG,6BAA6B,UAAU,CAAC,UAAU,CAAC,MAAM,kCAAmC,GAAa,CAAC,OAAO,EAAE,CACtH,CAAC;QACF,OAAO,OAAO,CAAC;IACjB,CAAC;IACD,MAAM,MAAM,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,WAAW,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;IAChF,MAAM,KAAK,GAAwB,EAAE,GAAG,OAAO,EAAE,UAAU,EAAE,EAAE,EAAE,kBAAkB,EAAE,OAAO,CAAC,WAAW,EAAE,CAAC;IAC3G,KAAK,MAAM,CAAC,IAAI,UAAU,CAAC,UAAU,EAAE,CAAC;QACtC,MAAM,MAAM,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,WAAW,EAAE,CAAC,CAAC;QAClD,IAAI,CAAC,MAAM,EAAE,CAAC;YACZ,KAAK,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;YACzB,SAAS;QACX,CAAC;QACD,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,OAAO,EAAE,MAAM,CAAC,OAAO,EAAE,SAAS,EAAE,MAAM,CAAC,SAAS,EAAE,CAAC,CAAC;QAC/F,IAAI,MAAM,CAAC,OAAO,KAAK,KAAK,EAAE,CAAC;YAC7B,KAAK,CAAC,YAAY,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,SAAS,EAAE,CAAC,CAAC,iBAAiB,EAAE,cAAc,EAAE,OAAO,EAAE,aAAa,EAAE,CAAC,CAAC,iBAAiB,EAAE,CAAC,CAAC;QAC7I,CAAC;aAAM,CAAC;YACN,KAAK,CAAC,eAAe,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;QACvC,CAAC;IACH,CAAC;IACD,IAAI,KAAK,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC7B,GAAG,CAAC,IAAI,CACN,4BAA4B,CAAC,CAAC,YAAY,MAAM,CAAC,CAAC,UAAU,+BAA+B,KAAK,CAAC,OAAO,CAAC,MAAM,GAAG;cAChH,wBAAwB,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,MAAM,IAAI,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI;cAC3F,GAAG,KAAK,CAAC,UAAU,CAAC,MAAM,0BAA0B,CACvD,CAAC;IACJ,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,yGAAyG;AACzG,MAAM,UAAU,kBAAkB,CAAC,QAAgB,EAAE,OAAiC;IACpF,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,QAAQ,CAAC;IAC1C,MAAM,KAAK,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,UAAU,CAAC,CAAC,MAAM,UAAU,CAAC,CAAC,OAAO,KAAK,CAAC,CAAC,SAAS,EAAE,CAAC,CAAC;IAC1F,MAAM,IAAI,GAAG,wCAAwC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;IACxE,OAAO,QAAQ,CAAC,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,QAAQ,KAAK,IAAI,EAAE,CAAC;AAChE,CAAC;AASD,kFAAkF;AAClF,MAAM,SAAS,GAAG,IAAI,GAAG,EAAkB,CAAC;AAE5C;;;;GAIG;AACH,MAAM,CAAC,KAAK,UAAU,wBAAwB,CAC5C,UAAsC,EACtC,IAA4B;IAE5B,MAAM,OAAO,GAAa,EAAE,CAAC;IAC7B,KAAK,MAAM,CAAC,IAAI,UAAU,EAAE,CAAC;QAC3B,MAAM,IAAI,GAAG,2BAA2B,CAAC,CAAC,CAAC,CAAC;QAC5C,IAAI,IAAI,KAAK,IAAI,IAAI,CAAC,OAAO,CAAC,CAAC,kBAAkB,KAAK,QAAQ,IAAI,CAAC,CAAC,kBAAkB,KAAK,EAAE,CAAC;YAAE,SAAS;QACzG,IAAI,iBAAiB,CAAC,CAAC,CAAC,EAAE,CAAC;YAAE,SAAS;QACtC,IAAI,WAAmB,CAAC;QACxB,IAAI,CAAC;YACH,WAAW,GAAG,CAAC,MAAM,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,WAAW,CAAC;QAC/C,CAAC;QAAC,OAAO,GAAG,EAAE,CAAC;YACb,GAAG,CAAC,IAAI,CAAC,yDAAyD,CAAC,CAAC,IAAI,MAAM,CAAC,CAAC,EAAE,+DAAgE,GAAa,CAAC,OAAO,EAAE,CAAC,CAAC;YAC3K,SAAS;QACX,CAAC;QACD,IAAI,CAAC,uBAAuB,CAAC,IAAI,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,kBAAkB,EAAE,WAAW,EAAE,CAAC,IAAI,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,WAAW;YAAE,SAAS;QAC1I,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,WAAW,CAAC,CAAC;QACjC,oBAAoB,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QAC3B,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QACnB,GAAG,CAAC,IAAI,CACN,yDAAyD,CAAC,CAAC,IAAI,MAAM,CAAC,CAAC,EAAE,mCAAmC;cAC1G,yDAAyD,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,wBAAwB,CAC3G,CAAC;IACJ,CAAC;IACD,OAAO,OAAO,CAAC;AACjB,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,wBAAwB,CAA6G,IAAO;IAC1J,MAAM,IAAI,GAAG,IAAI,CAAC,oBAAoB,CAAC;IACvC,IAAI,CAAC,IAAI;QAAE,OAAO,IAAI,CAAC;IACvB,MAAM,0BAA0B,GAA8B,KAAK,EAAE,OAAO,EAAE,EAAE;QAC9E,MAAM,UAAU,GAAG,MAAM,IAAI,CAAC,kBAAkB,CAAC,OAAO,CAAC,CAAC;QAC1D,MAAM,wBAAwB,CAAC,UAAU,EAAE,IAAI,CAAC,CAAC;QACjD,OAAO,UAAU,CAAC;IACpB,CAAC,CAAC;IACF,OAAO,EAAE,GAAG,IAAI,EAAE,kBAAkB,EAAE,0BAA0B,EAAE,CAAC;AACrE,CAAC;AAED,wDAAwD;AACxD,MAAM,UAAU,mCAAmC;IACjD,SAAS,CAAC,KAAK,EAAE,CAAC;AACpB,CAAC"}
+{"version":3,"file":"shortfall-rulings.js","sourceRoot":"","sources":["../../src/verify/shortfall-rulings.ts"],"names":[],"mappings":"AAAA,8FAA8F;AAC9F,+EAA+E;AAC/E,4FAA4F;AAC5F,sEAAsE;AACtE,yDAAyD;AACzD,gBAAgB;AA8DhB,OAAO,EAAE,uBAAuB,EAAE,2BAA2B,EAAE,MAAM,qBAAqB,CAAC;AAC3F,OAAO,EAAE,oBAAoB,EAAE,MAAM,wBAAwB,CAAC;AAC9D,OAAO,EAAE,iBAAiB,EAAE,MAAM,wBAAwB,CAAC;AAC3D,OAAO,EAAE,YAAY,EAAE,MAAM,iBAAiB,CAAC;AAE/C,MAAM,GAAG,GAAG,YAAY,CAAC,EAAE,MAAM,EAAE,cAAc,EAAE,CAAC,CAAC;AAqBrD;;;GAGG;AACH,MAAM,CAAC,KAAK,UAAU,qBAAqB,CACzC,CAA2D,EAC3D,UAAkG,EAClG,IAAwC;IAExC,MAAM,OAAO,GAAwB;QACnC,YAAY,EAAE,CAAC,GAAG,UAAU,CAAC,YAAY,CAAC;QAC1C,UAAU,EAAE,CAAC,GAAG,UAAU,CAAC,UAAU,CAAC;QACtC,kBAAkB,EAAE,IAAI;QACxB,eAAe,EAAE,EAAE;QACnB,OAAO,EAAE,EAAE;KACZ,CAAC;IACF,IAAI,UAAU,CAAC,UAAU,CAAC,MAAM,KAAK,CAAC,IAAI,CAAC,IAAI;QAAE,OAAO,OAAO,CAAC;IAChE,IAAI,OAAiC,CAAC;IACtC,IAAI,CAAC;QACH,OAAO,GAAG,MAAM,IAAI,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC;IACrC,CAAC;IAAC,OAAO,GAAG,EAAE,CAAC;QACb,GAAG,CAAC,IAAI,CACN,kDAAkD,CAAC,CAAC,YAAY,MAAM,CAAC,CAAC,UAAU,yBAAyB;cACzG,6BAA6B,UAAU,CAAC,UAAU,CAAC,MAAM,kCAAmC,GAAa,CAAC,OAAO,EAAE,CACtH,CAAC;QACF,OAAO,OAAO,CAAC;IACjB,CAAC;IACD,MAAM,MAAM,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,WAAW,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;IAChF,MAAM,KAAK,GAAwB,EAAE,GAAG,OAAO,EAAE,UAAU,EAAE,EAAE,EAAE,kBAAkB,EAAE,OAAO,CAAC,WAAW,EAAE,CAAC;IAC3G,KAAK,MAAM,CAAC,IAAI,UAAU,CAAC,UAAU,EAAE,CAAC;QACtC,MAAM,MAAM,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,WAAW,EAAE,CAAC,CAAC;QAClD,IAAI,CAAC,MAAM,EAAE,CAAC;YACZ,KAAK,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;YACzB,SAAS;QACX,CAAC;QACD,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,OAAO,EAAE,MAAM,CAAC,OAAO,EAAE,SAAS,EAAE,MAAM,CAAC,SAAS,EAAE,CAAC,CAAC;QAC/F,IAAI,MAAM,CAAC,OAAO,KAAK,KAAK,EAAE,CAAC;YAC7B,KAAK,CAAC,YAAY,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,SAAS,EAAE,CAAC,CAAC,iBAAiB,EAAE,cAAc,EAAE,OAAO,EAAE,aAAa,EAAE,CAAC,CAAC,iBAAiB,EAAE,CAAC,CAAC;QAC7I,CAAC;aAAM,CAAC;YACN,KAAK,CAAC,eAAe,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;QACvC,CAAC;IACH,CAAC;IACD,IAAI,KAAK,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC7B,GAAG,CAAC,IAAI,CACN,4BAA4B,CAAC,CAAC,YAAY,MAAM,CAAC,CAAC,UAAU,+BAA+B,KAAK,CAAC,OAAO,CAAC,MAAM,GAAG;cAChH,wBAAwB,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,MAAM,IAAI,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI;cAC3F,GAAG,KAAK,CAAC,UAAU,CAAC,MAAM,0BAA0B,CACvD,CAAC;IACJ,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,yGAAyG;AACzG,MAAM,UAAU,kBAAkB,CAAC,QAAgB,EAAE,OAAiC;IACpF,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,QAAQ,CAAC;IAC1C,MAAM,KAAK,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,UAAU,CAAC,CAAC,MAAM,UAAU,CAAC,CAAC,OAAO,KAAK,CAAC,CAAC,SAAS,EAAE,CAAC,CAAC;IAC1F,MAAM,IAAI,GAAG,wCAAwC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;IACxE,OAAO,QAAQ,CAAC,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,QAAQ,KAAK,IAAI,EAAE,CAAC;AAChE,CAAC;AASD,kFAAkF;AAClF,MAAM,SAAS,GAAG,IAAI,GAAG,EAAkB,CAAC;AAE5C;;;;GAIG;AACH,MAAM,CAAC,KAAK,UAAU,wBAAwB,CAC5C,UAAsC,EACtC,IAA4B;IAE5B,MAAM,OAAO,GAAa,EAAE,CAAC;IAC7B,KAAK,MAAM,CAAC,IAAI,UAAU,EAAE,CAAC;QAC3B,MAAM,IAAI,GAAG,2BAA2B,CAAC,CAAC,CAAC,CAAC;QAC5C,IAAI,IAAI,KAAK,IAAI,IAAI,CAAC,OAAO,CAAC,CAAC,kBAAkB,KAAK,QAAQ,IAAI,CAAC,CAAC,kBAAkB,KAAK,EAAE,CAAC;YAAE,SAAS;QACzG,IAAI,iBAAiB,CAAC,CAAC,CAAC,EAAE,CAAC;YAAE,SAAS;QACtC,IAAI,WAAmB,CAAC;QACxB,IAAI,CAAC;YACH,WAAW,GAAG,CAAC,MAAM,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,WAAW,CAAC;QAC/C,CAAC;QAAC,OAAO,GAAG,EAAE,CAAC;YACb,GAAG,CAAC,IAAI,CAAC,yDAAyD,CAAC,CAAC,IAAI,MAAM,CAAC,CAAC,EAAE,+DAAgE,GAAa,CAAC,OAAO,EAAE,CAAC,CAAC;YAC3K,SAAS;QACX,CAAC;QACD,IAAI,CAAC,uBAAuB,CAAC,IAAI,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,kBAAkB,EAAE,WAAW,EAAE,CAAC,IAAI,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,WAAW;YAAE,SAAS;QAC1I,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,WAAW,CAAC,CAAC;QACjC,oBAAoB,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QAC3B,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QACnB,GAAG,CAAC,IAAI,CACN,yDAAyD,CAAC,CAAC,IAAI,MAAM,CAAC,CAAC,EAAE,mCAAmC;cAC1G,yDAAyD,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,wBAAwB,CAC3G,CAAC;IACJ,CAAC;IACD,OAAO,OAAO,CAAC;AACjB,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,wBAAwB,CAA6G,IAAO;IAC1J,MAAM,IAAI,GAAG,IAAI,CAAC,oBAAoB,CAAC;IACvC,IAAI,CAAC,IAAI;QAAE,OAAO,IAAI,CAAC;IACvB,MAAM,0BAA0B,GAA8B,KAAK,EAAE,OAAO,EAAE,EAAE;QAC9E,MAAM,UAAU,GAAG,MAAM,IAAI,CAAC,kBAAkB,CAAC,OAAO,CAAC,CAAC;QAC1D,MAAM,wBAAwB,CAAC,UAAU,EAAE,IAAI,CAAC,CAAC;QACjD,OAAO,UAAU,CAAC;IACpB,CAAC,CAAC;IACF,OAAO,EAAE,GAAG,IAAI,EAAE,kBAAkB,EAAE,0BAA0B,EAAE,CAAC;AACrE,CAAC;AAED,wDAAwD;AACxD,MAAM,UAAU,mCAAmC;IACjD,SAAS,CAAC,KAAK,EAAE,CAAC;AACpB,CAAC"}

package/dist/verify/verification-boundary-env.d.ts

@@ -1,15 +1,62 @@
 /**
  * The verify BOUNDARY the daemon resolves before a deterministic run and hands
- * to the command as environment, so the command's targeted-test selector diffs
- * against the delivery's recorded PRE-MERGE BOUNDARY rather than
- * merge-base(HEAD, integration).
+ * to the command as environment, so the gate's own stages diff against the
+ * commits in front of the gate rather than against merge-base(HEAD, integration).
  *
- * On a merged-back delivery that merge-base equals HEAD: the changed-file set is
- * empty and the gate passes as a "clean no-op" having run none of the delivery's
- * own tests. Handing the recorded boundary makes the selection see the
- * delivery's real changes. A delivery still on its branch has no recorded
- * boundary, so nothing is handed and the selector's merge-base auto-derivation
- * is used unchanged.
+ * ONE env var, TWO concerns, and they combine by taking the OLDER base.
+ *
+ * 1. The recorded PRE-MERGE BOUNDARY (a floor). On a merged-back delivery
+ *    merge-base(HEAD, integration) equals HEAD: the changed-file set is empty and
+ *    the gate passes as a "clean no-op" having run none of the delivery's own
+ *    tests. Handing the recorded boundary makes the selection see the delivery's
+ *    real changes, and the recorded commit count rides with it so the selector can
+ *    FAIL rather than no-op on an empty diff (the laundered-pass guard).
+ *
+ * 2. The newest GREEN ANCESTOR (a ceiling on how far back to look). Both
+ *    expensive stages of verify:gate -- the conditional check:types-drift and the
+ *    test:targeted selection -- scope themselves from this base, so taking it from
+ *    merge-base(HEAD, integration) makes it the branch's CUMULATIVE delta, which
+ *    only grows: every area eventually crosses the "no precise pin map" line and
+ *    widens to its whole suite. Measured on mars 2026-09-20, one delivery: 76
+ *    files/22 min, 102/42, 101/28, 115/30, against 5 min for an empty delta.
+ *    Everything up to a commit this gate judged PASSING was covered by that run,
+ *    so the delta from there is what no green gate has covered
+ *    (verify/judged-ancestor.ts).
+ *
+ * WHY NOT THE JUDGED DELIVERY'S OWN COMMITS, which is the narrower base the
+ * delivery's acceptance criteria name. A gate run's verdict belongs to the
+ * COMMIT, not to the delivery that happened to trigger it: it is written once per
+ * (product, focus, sha, gate) and TAKEN by every delivery judged on that commit
+ * with no second run (verify/verification-commit-sharing.ts) -- the saving this
+ * focus exists to make. Basing the selection on the judged delivery's own
+ * Telora-Delivery commits would therefore mean a sibling's intervening commit is
+ * selected by NO run: the sibling's own dispatch takes the recorded verdict
+ * instead of running, so its changed files would reach integration judged by
+ * nothing. Restoring the cover would cost one run per delivery per commit, which
+ * is the 5.7h/day this focus removed. So the range stays the union -- every
+ * commit since the last green -- and it is the right one: those commits ARE the
+ * work in front of the gate, and no green gate has covered them.
+ *
+ * What that leaves is a cost question, not a coverage one, and it is bounded by
+ * the green ancestor: a sibling's commit adds only its own changed files, and
+ * only until the next passing verdict anchors a newer base. The OTHER half of
+ * the concern -- that a delivery is told to fix a red its commits did not cause
+ * -- is real and is answered where it belongs, by naming the owner of the
+ * failure rather than by narrowing what the gate reads
+ * (verify/rework-attribution.ts).
+ *
+ * WHY THE OLDER WINS when both resolve: it is never fewer files than either
+ * concern requires. A green ancestor NEWER than the pre-merge boundary would put
+ * the delivery's own recorded commits behind the base, empty the diff, and fire
+ * the laundered-pass guard on honest work. Older by ANCESTRY, never by date --
+ * every coding spawn rebases the focus worktree, so commit dates are shuffled
+ * relative to branch order. An undetermined comparison hands the pre-merge
+ * boundary: that is the base whose absence causes a laundered pass rather than
+ * merely a slow run.
+ *
+ * Every resolution failure falls back to what was handed before it, and handing
+ * nothing leaves the selector's own merge-base auto-derivation unchanged. A base
+ * that is too old costs time; one that is too new launders a pass.
  *
  * Sliced out of verification-engine.ts to keep that file under the daemon
  * 800-line limit; the engine's STRATEGIES dispatch calls resolveVerifyBoundaryEnv
@@ -25,8 +72,13 @@ import type { VerificationDeps } from './verification-deps.js';
  * TELORA_VERIFY_BASE_REF               the recorded pre-merge boundary ref.
  * TELORA_VERIFY_RECORDED_COMMIT_COUNT  the delivery's own recorded commit count,
  *                                      so the selector can FAIL (never no-op)
- *                                      when the diff against the handed base is
- *                                      empty yet the delivery recorded commits.
+ *                                      when the handed base..HEAD range is too
+ *                                      SHORT to hold the delivery's recorded
+ *                                      commits. The selector compares commits,
+ *                                      not paths: a path count is perturbed by
+ *                                      untracked files in the checkout, and a
+ *                                      docs-only delivery legitimately selects
+ *                                      no test at all.
  *
  * Consumed by scripts/select-targeted-tests.mjs (mirrored there by string, as
  * that script cannot import this TS); pinned together by
@@ -36,12 +88,13 @@ export declare const VERIFY_BASE_REF_ENV = "TELORA_VERIFY_BASE_REF";
 export declare const VERIFY_RECORDED_COMMIT_COUNT_ENV = "TELORA_VERIFY_RECORDED_COMMIT_COUNT";
 /**
  * Resolve the verify boundary env for the deterministic command, BEFORE the run.
- * Best-effort: a resolution failure or an unmerged delivery (no recorded
- * boundary) yields {} so the command inherits the process env and the selector's
- * merge-base auto-derivation is used unchanged. Only when a recorded pre-merge
- * boundary exists is a base handed -- alongside the delivery's own recorded
- * commit count, so the selector can distinguish an honest empty diff (no
- * recorded commits) from a laundered no-op (recorded commits, empty diff).
+ * Best-effort: every resolution failure narrows nothing, so the command inherits
+ * the process env and the selector's merge-base auto-derivation is used
+ * unchanged. A recorded pre-merge boundary is handed alongside the delivery's own
+ * recorded commit count, so the selector can distinguish an honest empty diff (no
+ * recorded commits) from a laundered no-op (recorded commits, empty diff); the
+ * count rides with the boundary and only with it, so that guard's precondition is
+ * exactly what it was.
  *
  * The FAST-FORWARD merge-back case (no merge commit) resolves its boundary from
  * the recorded pre-merge ref (deps.resolveRecordedPreMergeRef is the

package/dist/verify/verification-boundary-env.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"verification-boundary-env.d.ts","sourceRoot":"","sources":["../../src/verify/verification-boundary-env.ts"],"names":[],"mappings":"AAIA;;;;;;;;;;;;;;;;;;GAkBG;AAEH,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,4BAA4B,CAAC;AACtE,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,wBAAwB,CAAC;AAK/D;;;;;;;;;;;;GAYG;AACH,eAAO,MAAM,mBAAmB,2BAA2B,CAAC;AAC5D,eAAO,MAAM,gCAAgC,wCAAwC,CAAC;AAEtF;;;;;;;;;;;;GAYG;AACH,wBAAsB,wBAAwB,CAC5C,IAAI,EAAE,gBAAgB,EACtB,CAAC,EAAE,mBAAmB,GACrB,OAAO,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAgCjC"}
+{"version":3,"file":"verification-boundary-env.d.ts","sourceRoot":"","sources":["../../src/verify/verification-boundary-env.ts"],"names":[],"mappings":"AAIA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAiEG;AAEH,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,4BAA4B,CAAC;AACtE,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,wBAAwB,CAAC;AAO/D;;;;;;;;;;;;;;;;;GAiBG;AACH,eAAO,MAAM,mBAAmB,2BAA2B,CAAC;AAC5D,eAAO,MAAM,gCAAgC,wCAAwC,CAAC;AAwDtF;;;;;;;;;;;;;GAaG;AACH,wBAAsB,wBAAwB,CAC5C,IAAI,EAAE,gBAAgB,EACtB,CAAC,EAAE,mBAAmB,GACrB,OAAO,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CA2CjC"}