@telora/daemon 0.23.12 → 0.23.15

package/dist/verify/effect-reconciliation/verify-reconciliation.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"verify-reconciliation.d.ts","sourceRoot":"","sources":["../../../src/verify/effect-reconciliation/verify-reconciliation.ts"],"names":[],"mappings":"AAgDA,OAAO,EAAqB,KAAK,aAAa,EAAE,KAAK,qBAAqB,EAAE,KAAK,UAAU,EAAE,MAAM,sBAAsB,CAAC;AAG1H;;;GAGG;AACH,MAAM,MAAM,YAAY,GAAG,CAAC,YAAY,EAAE,MAAM,EAAE,WAAW,EAAE,MAAM,EAAE,SAAS,EAAE,aAAa,KAAK,OAAO,CAAC,MAAM,CAAC,CAAC;AAGpH,uEAAuE;AACvE,MAAM,MAAM,oBAAoB,GAAG,OAAO,GAAG,uBAAuB,GAAG,WAAW,CAAC;AAEnF,2EAA2E;AAC3E,MAAM,WAAW,cAAc;IAC7B,oEAAoE;IACpE,IAAI,CAAC,EAAE,MAAM,CAAC;IACd;;;;OAIG;IACH,YAAY,CAAC,EAAE,MAAM,EAAE,CAAC;IACxB,uEAAuE;IACvE,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,+FAA+F;IAC/F,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,qEAAqE;IACrE,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,kDAAkD;IAClD,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,oDAAoD;IACpD,QAAQ,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;IACzB,gEAAgE;IAChE,mBAAmB,CAAC,EAAE,MAAM,CAAC;IAC7B,sEAAsE;IACtE,gBAAgB,CAAC,EAAE,MAAM,CAAC;IAC1B;;;OAGG;IACH,SAAS,CAAC,EAAE,aAAa,CAAC;IAC1B,qHAAqH;IACrH,qBAAqB,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,SAAS,MAAM,EAAE,CAAC,CAAC,CAAC;CACrE;AAED,MAAM,WAAW,eAAe;IAC9B,kEAAkE;IAClE,iBAAiB,EAAE,MAAM,CAAC;IAC1B,kFAAkF;IAClF,QAAQ,EAAE,cAAc,CAAC;IACzB,yEAAyE;IACzE,eAAe,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;CACrC;AAED,MAAM,WAAW,iBAAiB;IAChC,qEAAqE;IACrE,iBAAiB,EAAE,MAAM,CAAC;IAC1B,cAAc,EAAE,oBAAoB,CAAC;IACrC,4EAA4E;IAC5E,gBAAgB,CAAC,EAAE,MAAM,CAAC;IAC1B;;;;;OAKG;IACH,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB;;;OAGG;IACH,SAAS,CAAC,EAAE,MAAM,EAAE,CAAC;IACrB,0IAA0I;IAC1I,KAAK,CAAC,EAAE,UAAU,CAAC;CACpB;AAED,eAAO,MAAM,uBAAuB,okIA2B0O,CAAC;AAE/Q,wBAAgB,0BAA0B,IAAI,MAAM,CAEnD;AAkBD;;;;;;GAMG;AACH,wBAAgB,yBAAyB,CAAC,MAAM,EAAE,eAAe,GAAG,MAAM,CAoBzE;AAED,8DAA8D;AAC9D,wBAAgB,eAAe,CAAC,EAAE,EAAE,cAAc,GAAG,OAAO,CAQ3D;AAED;;;;;;;;;;;;GAYG;AACH,wBAAgB,oBAAoB,CAAC,EAAE,EAAE,cAAc,GAAG,OAAO,CAKhE;AAED;;;;;;;;GAQG;AACH,wBAAgB,0BAA0B,CAAC,QAAQ,EAAE,MAAM,EAAE,EAAE,EAAE,cAAc,GAAG,OAAO,CAoBxF;AAED,kFAAkF;AAClF,wBAAgB,kBAAkB,CAAC,GAAG,EAAE,MAAM,GAAG,iBAAiB,GAAG,IAAI,CA2DxE;AAwBD;;;;;;;;GAQG;AACH,wBAAsB,uBAAuB,CAC3C,MAAM,EAAE,eAAe,EACvB,WAAW,EAAE,YAAY,EACzB,gBAAgB,EAAE,qBAAqB,GACtC,OAAO,CAAC,iBAAiB,CAAC,CAyC5B"}
+{"version":3,"file":"verify-reconciliation.d.ts","sourceRoot":"","sources":["../../../src/verify/effect-reconciliation/verify-reconciliation.ts"],"names":[],"mappings":"AA8DA,OAAO,EAAqB,KAAK,aAAa,EAAE,KAAK,qBAAqB,EAAE,KAAK,UAAU,EAAE,MAAM,sBAAsB,CAAC;AAE1H,OAAO,KAAK,EAAE,qBAAqB,EAAE,MAAM,6CAA6C,CAAC;AAKzF,4FAA4F;AAC5F,MAAM,WAAW,YAAY;IAC3B,GAAG,CAAC,WAAW,EAAE,MAAM,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC;IAC1C,KAAK,IAAI,IAAI,CAAC;CACf;AAED;;;;GAIG;AACH,MAAM,MAAM,kBAAkB,GAAG,CAAC,YAAY,EAAE,MAAM,EAAE,SAAS,EAAE,aAAa,KAAK,YAAY,CAAC;AAGlG,uEAAuE;AACvE,MAAM,MAAM,oBAAoB,GAAG,OAAO,GAAG,uBAAuB,GAAG,WAAW,CAAC;AAEnF,2EAA2E;AAC3E,MAAM,WAAW,cAAc;IAC7B,oEAAoE;IACpE,IAAI,CAAC,EAAE,MAAM,CAAC;IACd;;;;OAIG;IACH,YAAY,CAAC,EAAE,MAAM,EAAE,CAAC;IACxB,uEAAuE;IACvE,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,+FAA+F;IAC/F,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,qEAAqE;IACrE,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,kDAAkD;IAClD,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,oDAAoD;IACpD,QAAQ,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;IACzB,gEAAgE;IAChE,mBAAmB,CAAC,EAAE,MAAM,CAAC;IAC7B,sEAAsE;IACtE,gBAAgB,CAAC,EAAE,MAAM,CAAC;IAC1B;;;OAGG;IACH,SAAS,CAAC,EAAE,aAAa,CAAC;IAC1B,qHAAqH;IACrH,qBAAqB,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,SAAS,MAAM,EAAE,CAAC,CAAC,CAAC;CACrE;AAED,MAAM,WAAW,eAAe;IAC9B,kEAAkE;IAClE,iBAAiB,EAAE,MAAM,CAAC;IAC1B,kFAAkF;IAClF,QAAQ,EAAE,cAAc,CAAC;IACzB,yEAAyE;IACzE,eAAe,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;CACrC;AAED,MAAM,WAAW,iBAAiB;IAChC,qEAAqE;IACrE,iBAAiB,EAAE,MAAM,CAAC;IAC1B,cAAc,EAAE,oBAAoB,CAAC;IACrC,4EAA4E;IAC5E,gBAAgB,CAAC,EAAE,MAAM,CAAC;IAC1B;;;;;OAKG;IACH,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB;;;OAGG;IACH,SAAS,CAAC,EAAE,MAAM,EAAE,CAAC;IACrB,0IAA0I;IAC1I,KAAK,CAAC,EAAE,UAAU,CAAC;CACpB;AAED,eAAO,MAAM,uBAAuB,okIA2B0O,CAAC;AAE/Q,wBAAgB,0BAA0B,IAAI,MAAM,CAEnD;AAkBD;;;;;;GAMG;AACH,wBAAgB,yBAAyB,CAAC,MAAM,EAAE,eAAe,GAAG,MAAM,CAoBzE;AAED,8DAA8D;AAC9D,wBAAgB,eAAe,CAAC,EAAE,EAAE,cAAc,GAAG,OAAO,CAQ3D;AAED;;;;;;;;;;;;GAYG;AACH,wBAAgB,oBAAoB,CAAC,EAAE,EAAE,cAAc,GAAG,OAAO,CAKhE;AAED;;;;;;;;GAQG;AACH,wBAAgB,0BAA0B,CAAC,QAAQ,EAAE,MAAM,EAAE,EAAE,EAAE,cAAc,GAAG,OAAO,CAoBxF;AAED,kFAAkF;AAClF,wBAAgB,kBAAkB,CAAC,GAAG,EAAE,MAAM,GAAG,iBAAiB,GAAG,IAAI,CA2DxE;AA+BD;;;;GAIG;AACH,wBAAgB,8BAA8B,CAAC,GAAG,EAAE,MAAM,EAAE,UAAU,EAAE,SAAS,qBAAqB,EAAE,GAAG,MAAM,CAShH;AA2BD;;;;;;;;GAQG;AACH,wBAAsB,uBAAuB,CAC3C,MAAM,EAAE,eAAe,EACvB,SAAS,EAAE,kBAAkB,EAC7B,gBAAgB,EAAE,qBAAqB,GACtC,OAAO,CAAC,iBAAiB,CAAC,CA8C5B"}

package/dist/verify/effect-reconciliation/verify-reconciliation.js

@@ -41,11 +41,27 @@
  * With no pinned checkout the judge is not called at all (held, never handed the
  * diff instead).
  *
+ * THE CORRECTION TURN. Before such a verdict is held, the judge is told what did
+ * not resolve and answers once more, IN THE SAME SESSION: the judge is a
+ * conversation (JudgeSession; verify/effect-reconciliation/judge-invoker.ts over
+ * backends/claude/one-shot-session.ts), and the follow-up is its next turn,
+ * listing each unresolved citation with the resolver's reason (e.g. "matches 2
+ * line(s) at <sha>, not the cited 1"). The judge still holds everything it read
+ * and answered. A corrected verdict whose citations all resolve is recorded like
+ * any first answer; one still unresolved -- or a correction that does not parse
+ * -- is held as unresolved_citations exactly as before. At most ONE correction
+ * turn per judgement, and one session per judgement; a first answer that
+ * resolves costs no extra turn. The exact-count rule is unchanged: a cited count
+ * is a claim and must be true -- the judge is only given the chance to make it
+ * true.
+ *
  * @module verify-reconciliation
  */
 import { ModelUnavailable } from '../../backends/claude/one-shot-model.js';
 import { citationShapeGaps } from './judge-workspace.js';
 import { boundedChangedFiles, boundedDiffStat, boundedText, FREE_TEXT_MAX_CHARS, oversizedStatement } from './judge-question.js';
+import { createLogger } from '../../log/daemon-log.js';
+const log = createLogger({ module: 'verification' });
 export const RECONCILE_SYSTEM_PROMPT = `You reconcile a software delivery's DECLARED desired effect against what the delivered code actually accomplishes, for a Goldratt reality-tree flip.
 
 You are working in a read-only export of the tree of the commit being judged (your working directory), with an export of the BASE tree -- the state before the delivery's change -- beside it when there is one. Both are plain files: there is no git and no shell. You will NOT be given the diff. You are given:
@@ -247,34 +263,69 @@ export function parseReconcileJson(raw) {
     }
     return judgment;
 }
+/** What in a verdict's citations does not resolve at the judged commit, or is missing (no concrete citation, no grep: check). */
+async function unresolvedCitations(judgment, workspace, resolveCitations) {
+    const citations = judgment.citations ?? [];
+    return [...await resolveCitations(workspace, citations), ...citationShapeGaps(citations)];
+}
 /**
- * Hold a verdict that cannot be vouched for: its citations do not resolve at the
- * judged commit, or it cites no grep: check. Throws
- * ModelUnavailable 'unresolved_citations' -- held as unjudged, never recorded as
- * met or as a shortfall.
+ * The hold for a verdict that cannot be vouched for: ModelUnavailable
+ * 'unresolved_citations' -- held as unjudged, never recorded as met or as a
+ * shortfall. `after` names what the correction turn did.
  */
-async function requireResolvingCitations(judgment, workspace, resolveCitations) {
-    const citations = judgment.citations ?? [];
-    const unresolved = [...await resolveCitations(workspace, citations), ...citationShapeGaps(citations)];
-    if (unresolved.length === 0)
-        return;
-    throw new ModelUnavailable({
+function unresolvedCitationsHold(judgment, workspace, unresolved, after) {
+    return new ModelUnavailable({
         kind: 'unresolved_citations',
         label: 'verify-reconciliation',
         detail: `the ${judgment.classification} verdict is held as unjudged -- its citations do not resolve at `
-            + `${workspace.sha.slice(0, 12)}: ${unresolved.map((u) => `${u.ref} (${u.reason})`).join('; ')}`,
+            + `${workspace.sha.slice(0, 12)}: ${unresolved.map((u) => `${u.ref} (${u.reason})`).join('; ')} (${after})`,
     });
 }
+/**
+ * The correction turn's user message: each unresolved citation with the
+ * resolver's reason. Sent as the next turn of the SAME session, which already
+ * holds the question and its own first answer (module header). Pure.
+ */
+export function buildCitationCorrectionMessage(sha, unresolved) {
+    return [
+        `The daemon checked your citations at ${sha.slice(0, 12)} and these do not resolve:\n`
+            + unresolved.map((u) => `- ${u.ref}: ${u.reason}`).join('\n'),
+        'Re-check each of them in the judged tree (count a grep: check with the Grep tool, output_mode "count", summed over files) and '
+            + 'correct or replace it so that it resolves. Keep the verdict only if what you observe supports it; if it does not, change it. '
+            + 'Every verdict must still cite at least one concrete file, line or test and at least one grep: check. '
+            + 'Respond with the complete corrected JSON object only.',
+    ].join('\n\n');
+}
+/**
+ * The verdict, its citations all resolving: the first answer when they do,
+ * otherwise the ONE correction turn's answer (module header). Throws the
+ * unresolved_citations hold when the correction still does not resolve or does
+ * not parse.
+ */
+async function withCorrectionTurn(first, workspace, session, resolveCitations) {
+    const unresolved = await unresolvedCitations(first, workspace, resolveCitations);
+    if (unresolved.length === 0)
+        return first;
+    log.info(`[verification] verify-reconciliation: ${unresolved.length} citation(s) do not resolve at ${workspace.sha.slice(0, 12)} `
+        + '-- the judge gets its one correction turn, in the same session, before the verdict is held');
+    const corrected = parseReconcileJson(await session.ask(buildCitationCorrectionMessage(workspace.sha, unresolved)));
+    if (!corrected)
+        throw unresolvedCitationsHold(first, workspace, unresolved, 'its correction turn returned no parseable verdict');
+    const still = await unresolvedCitations(corrected, workspace, resolveCitations);
+    if (still.length > 0)
+        throw unresolvedCitationsHold(corrected, workspace, still, 'still unresolved after its correction turn');
+    return corrected;
+}
 /**
  * Reconcile the declared desired effect against the delivered code.
  *
- * One bounded judge session in the pinned checkout. Throws ModelUnavailable when
+ * One bounded judge session (at most one correction turn within it) in the pinned checkout. Throws ModelUnavailable when
  * the judge cannot run (no pinned checkout, or the session itself could not) or
  * its verdict cannot be vouched for (unresolved citations); throws a plain Error
  * on an unparseable answer. The verify caller never flips an injection it could
  * not reconcile.
  */
-export async function reconcileAchievedEffect(inputs, invokeJudge, resolveCitations) {
+export async function reconcileAchievedEffect(inputs, openJudge, resolveCitations) {
     const workspace = inputs.evidence.workspace;
     if (!workspace) {
         throw new ModelUnavailable({
@@ -292,12 +343,18 @@ export async function reconcileAchievedEffect(inputs, invokeJudge, resolveCitati
             detail: `the ${oversized.name} is ${oversized.chars} characters, over the ${oversized.budgetChars} a judge is handed whole -- it is never cut, so it is not judged`,
         });
     }
-    const raw = await invokeJudge(buildReconcileSystemPrompt(), buildReconcileUserMessage(inputs), workspace);
-    const judgment = parseReconcileJson(raw);
-    if (!judgment) {
-        throw new Error('verify-reconciliation produced no parseable judgment');
+    const session = openJudge(buildReconcileSystemPrompt(), workspace);
+    let judgment;
+    try {
+        const first = parseReconcileJson(await session.ask(buildReconcileUserMessage(inputs)));
+        if (!first) {
+            throw new Error('verify-reconciliation produced no parseable judgment');
+        }
+        judgment = await withCorrectionTurn(first, workspace, session, resolveCitations);
+    }
+    finally {
+        session.close();
     }
-    await requireResolvingCitations(judgment, workspace, resolveCitations);
     // Keep diffCitation only when it names a real changed file (absence is an absent field, never prose).
     if (judgment.classification === 'shortfall' &&
         judgment.diffCitation &&

package/dist/verify/effect-reconciliation/verify-reconciliation.js.map

@@ -1 +1 @@
-{"version":3,"file":"verify-reconciliation.js","sourceRoot":"","sources":["../../../src/verify/effect-reconciliation/verify-reconciliation.ts"],"names":[],"mappings":"AAAA,8FAA8F;AAC9F,2EAA2E;AAC3E,6EAA6E;AAC7E,8EAA8E;AAC9E,wFAAwF;AACxF,oFAAoF;AACpF,iFAAiF;AACjF,mEAAmE;AACnE,oEAAoE;AACpE,gBAAgB;AAEhB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAkCG;AAEH,OAAO,EAAE,gBAAgB,EAAE,MAAM,yCAAyC,CAAC;AAC3E,OAAO,EAAE,iBAAiB,EAAmE,MAAM,sBAAsB,CAAC;AAC1H,OAAO,EAAE,mBAAmB,EAAE,eAAe,EAAE,WAAW,EAAE,mBAAmB,EAAE,kBAAkB,EAAE,MAAM,qBAAqB,CAAC;AA4EjI,MAAM,CAAC,MAAM,uBAAuB,GAAG;;;;;;;;;;;;;;;;;;;;;;;;;;;8QA2BuO,CAAC;AAE/Q,MAAM,UAAU,0BAA0B;IACxC,OAAO,uBAAuB,CAAC;AACjC,CAAC;AAED,0FAA0F;AAC1F,SAAS,mBAAmB,CAAC,KAAwB,EAAE,KAAa;IAClE,OAAO,kBAAkB,KAAK,CAAC,MAAM,OAAO,mBAAmB,CAAC,KAAK,EAAE,KAAK,CAAC,EAAE,CAAC;AAClF,CAAC;AAED,4FAA4F;AAC5F,SAAS,kBAAkB,CAAC,SAAwB,EAAE,KAAa;IACjE,MAAM,IAAI,GAAG,SAAS,CAAC,QAAQ,CAAC,CAAC,CAAC,kCAAkC,SAAS,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAC,mDAAmD,CAAC;IAC/I,OAAO,kBAAkB,SAAS,CAAC,GAAG,iCAAiC,KAAK,0CAA0C,IAAI,EAAE,CAAC;AAC/H,CAAC;AAED,mFAAmF;AACnF,SAAS,eAAe,CAAC,IAAY;IACnC,OAAO,eAAe,eAAe,CAAC,IAAI,CAAC,EAAE,CAAC;AAChD,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,yBAAyB,CAAC,MAAuB;IAC/D,MAAM,KAAK,GAAa,CAAC,6BAA6B,MAAM,CAAC,iBAAiB,EAAE,CAAC,CAAC;IAClF,MAAM,EAAE,GAAG,MAAM,CAAC,QAAQ,CAAC;IAC3B,MAAM,KAAK,GAAG,WAAW,CAAC,EAAE,CAAC,SAAS,EAAE,KAAK,IAAI,iBAAiB,EAAE,mBAAmB,EAAE,MAAM,CAAC,CAAC;IACjG,MAAM,QAAQ,GAAa,EAAE,CAAC;IAC9B,IAAI,EAAE,CAAC,SAAS;QAAE,QAAQ,CAAC,IAAI,CAAC,kBAAkB,CAAC,EAAE,CAAC,SAAS,EAAE,KAAK,CAAC,CAAC,CAAC;IACzE,IAAI,EAAE,CAAC,YAAY,IAAI,EAAE,CAAC,YAAY,CAAC,MAAM,GAAG,CAAC;QAAE,QAAQ,CAAC,IAAI,CAAC,mBAAmB,CAAC,EAAE,CAAC,YAAY,EAAE,KAAK,CAAC,CAAC,CAAC;IAC9G,IAAI,EAAE,CAAC,QAAQ,IAAI,EAAE,CAAC,QAAQ,CAAC,IAAI,EAAE,KAAK,EAAE;QAAE,QAAQ,CAAC,IAAI,CAAC,eAAe,CAAC,EAAE,CAAC,QAAQ,CAAC,CAAC,CAAC;IAC1F,MAAM,MAAM,GAAG,CAAC,MAAM,CAAC,eAAe,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC;IAC7E,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC;QAAE,QAAQ,CAAC,IAAI,CAAC,gEAAgE,WAAW,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,mBAAmB,EAAE,MAAM,CAAC,EAAE,CAAC,CAAC;IACzL,IAAI,OAAO,EAAE,CAAC,QAAQ,KAAK,QAAQ;QAAE,QAAQ,CAAC,IAAI,CAAC,kCAAkC,EAAE,CAAC,QAAQ,EAAE,CAAC,CAAC;IACpG,IAAI,EAAE,CAAC,UAAU,IAAI,EAAE,CAAC,UAAU,CAAC,IAAI,EAAE,KAAK,EAAE;QAAE,QAAQ,CAAC,IAAI,CAAC,kBAAkB,WAAW,CAAC,EAAE,CAAC,UAAU,CAAC,EAAE,CAAC,CAAC;IAChH,IAAI,EAAE,CAAC,UAAU,IAAI,EAAE,CAAC,UAAU,CAAC,IAAI,EAAE,KAAK,EAAE;QAAE,QAAQ,CAAC,IAAI,CAAC,kBAAkB,WAAW,CAAC,EAAE,CAAC,UAAU,CAAC,EAAE,CAAC,CAAC;IAChH,IAAI,EAAE,CAAC,mBAAmB,IAAI,EAAE,CAAC,mBAAmB,CAAC,IAAI,EAAE,KAAK,EAAE;QAAE,QAAQ,CAAC,IAAI,CAAC,wBAAwB,WAAW,CAAC,EAAE,CAAC,mBAAmB,CAAC,EAAE,CAAC,CAAC;IACjJ,IAAI,EAAE,CAAC,gBAAgB,IAAI,EAAE,CAAC,gBAAgB,CAAC,IAAI,EAAE,KAAK,EAAE;QAAE,QAAQ,CAAC,IAAI,CAAC,uBAAuB,WAAW,CAAC,EAAE,CAAC,gBAAgB,CAAC,EAAE,CAAC,CAAC;IACvI,KAAK,CAAC,IAAI,CAAC,kBAAkB,QAAQ,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,6BAA6B,EAAE,CAAC,CAAC;IAC5G,KAAK,CAAC,IAAI,CACR,qOAAqO,CACtO,CAAC;IACF,OAAO,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;AAC5B,CAAC;AAED,8DAA8D;AAC9D,MAAM,UAAU,eAAe,CAAC,EAAkB;IAChD,MAAM,OAAO,GACX,CAAC,EAAE,CAAC,IAAI,IAAI,EAAE,CAAC,IAAI,CAAC,IAAI,EAAE,KAAK,EAAE,CAAC;QAClC,CAAC,EAAE,CAAC,UAAU,IAAI,EAAE,CAAC,UAAU,CAAC,IAAI,EAAE,KAAK,EAAE,CAAC;QAC9C,CAAC,EAAE,CAAC,UAAU,IAAI,EAAE,CAAC,UAAU,CAAC,IAAI,EAAE,KAAK,EAAE,CAAC;QAC9C,CAAC,EAAE,CAAC,mBAAmB,IAAI,EAAE,CAAC,mBAAmB,CAAC,IAAI,EAAE,KAAK,EAAE,CAAC;QAChE,CAAC,EAAE,CAAC,gBAAgB,IAAI,EAAE,CAAC,gBAAgB,CAAC,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC;IAC7D,OAAO,CAAC,OAAO,IAAI,OAAO,EAAE,CAAC,QAAQ,KAAK,QAAQ,CAAC;AACrD,CAAC;AAED;;;;;;;;;;;;GAYG;AACH,MAAM,UAAU,oBAAoB,CAAC,EAAkB;IACrD,MAAM,OAAO,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,IAAI,EAAE,CAAC,IAAI,CAAC,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC;IACrD,MAAM,eAAe,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,YAAY,IAAI,EAAE,CAAC,YAAY,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;IAC1E,MAAM,aAAa,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,mBAAmB,IAAI,EAAE,CAAC,mBAAmB,CAAC,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC;IACzF,OAAO,CAAC,OAAO,IAAI,CAAC,eAAe,IAAI,CAAC,aAAa,CAAC;AACxD,CAAC;AAED;;;;;;;;GAQG;AACH,MAAM,UAAU,0BAA0B,CAAC,QAAgB,EAAE,EAAkB;IAC7E,MAAM,CAAC,GAAG,QAAQ,CAAC,IAAI,EAAE,CAAC;IAC1B,IAAI,CAAC,KAAK,EAAE;QAAE,OAAO,KAAK,CAAC;IAC3B,MAAM,KAAK,GAAG,EAAE,CAAC,YAAY,IAAI,EAAE,CAAC;IACpC,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACrB,OAAO,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE;YACtB,IAAI,CAAC,CAAC;gBAAE,OAAO,KAAK,CAAC;YACrB,MAAM,IAAI,GAAG,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;YACrC,OAAO,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,IAAI,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC;QAChE,CAAC,CAAC,CAAC;IACL,CAAC;IACD,2EAA2E;IAC3E,sEAAsE;IACtE,mDAAmD;IACnD,MAAM,IAAI,GAAG,EAAE,CAAC,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC;IACnC,IAAI,IAAI,KAAK,EAAE,EAAE,CAAC;QAChB,MAAM,MAAM,GAAG,CAAC,CAAC,KAAK,CAAC,+BAA+B,CAAC,IAAI,EAAE,CAAC;QAC9D,OAAO,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC;IAC9C,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,kFAAkF;AAClF,MAAM,UAAU,kBAAkB,CAAC,GAAW;IAC5C,MAAM,QAAQ,GAAG,GAAG,CAAC,OAAO,CAAC,kBAAkB,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC;IACzE,MAAM,UAAU,GAAG,QAAQ,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;IACzC,IAAI,UAAU,GAAG,CAAC;QAAE,OAAO,IAAI,CAAC;IAChC,IAAI,KAAK,GAAG,CAAC,CAAC;IACd,IAAI,MAAM,GAAG,CAAC,CAAC,CAAC;IAChB,KAAK,IAAI,CAAC,GAAG,UAAU,EAAE,CAAC,GAAG,QAAQ,CAAC,MAAM,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;QACrD,MAAM,EAAE,GAAG,QAAQ,CAAC,CAAC,CAAC,CAAC;QACvB,IAAI,EAAE,KAAK,GAAG;YAAE,KAAK,IAAI,CAAC,CAAC;aACtB,IAAI,EAAE,KAAK,GAAG,EAAE,CAAC;YACpB,KAAK,IAAI,CAAC,CAAC;YACX,IAAI,KAAK,KAAK,CAAC,EAAE,CAAC;gBAChB,MAAM,GAAG,CAAC,CAAC;gBACX,MAAM;YACR,CAAC;QACH,CAAC;IACH,CAAC;IACD,IAAI,MAAM,GAAG,CAAC;QAAE,OAAO,IAAI,CAAC;IAC5B,IAAI,MAAe,CAAC;IACpB,IAAI,CAAC;QACH,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,KAAK,CAAC,UAAU,EAAE,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC;IAC9D,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,IAAI,CAAC;IACd,CAAC;IACD,IAAI,CAAC,MAAM,IAAI,OAAO,MAAM,KAAK,QAAQ;QAAE,OAAO,IAAI,CAAC;IACvD,MAAM,GAAG,GAAG,MAAiC,CAAC;IAE9C,MAAM,QAAQ,GAAG,OAAO,GAAG,CAAC,iBAAiB,KAAK,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,iBAAiB,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;IAC/F,IAAI,QAAQ,KAAK,EAAE;QAAE,OAAO,IAAI,CAAC;IAEjC,MAAM,cAAc,GAAG,GAAG,CAAC,cAAc,CAAC;IAC1C,IACE,cAAc,KAAK,OAAO;QAC1B,cAAc,KAAK,uBAAuB;QAC1C,cAAc,KAAK,WAAW,EAC9B,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IAED,MAAM,SAAS,GAAG,OAAO,GAAG,CAAC,gBAAgB,KAAK,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,gBAAgB,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;IAC9F,MAAM,WAAW,GAAG,OAAO,GAAG,CAAC,YAAY,KAAK,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,YAAY,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;IACxF,MAAM,SAAS,GAAG,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,SAAS,CAAC;QAC5C,CAAC,CAAC,GAAG,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC,EAAe,EAAE,CAAC,OAAO,CAAC,KAAK,QAAQ,IAAI,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;QACzG,CAAC,CAAC,EAAE,CAAC;IACP,MAAM,QAAQ,GAAsB;QAClC,iBAAiB,EAAE,QAAQ;QAC3B,cAAc;QACd,SAAS;QACT,GAAG,CAAC,GAAG,CAAC,KAAK,KAAK,MAAM,IAAI,GAAG,CAAC,KAAK,KAAK,QAAQ,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,GAAG,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;KAChF,CAAC;IACF,IAAI,cAAc,KAAK,OAAO,IAAI,SAAS,KAAK,EAAE,EAAE,CAAC;QACnD,QAAQ,CAAC,gBAAgB,GAAG,SAAS,CAAC;IACxC,CAAC;IACD,sEAAsE;IACtE,4EAA4E;IAC5E,IAAI,cAAc,KAAK,WAAW,IAAI,WAAW,KAAK,EAAE,EAAE,CAAC;QACzD,QAAQ,CAAC,YAAY,GAAG,WAAW,CAAC;IACtC,CAAC;IACD,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED;;;;;GAKG;AACH,KAAK,UAAU,yBAAyB,CACtC,QAA2B,EAC3B,SAAwB,EACxB,gBAAuC;IAEvC,MAAM,SAAS,GAAG,QAAQ,CAAC,SAAS,IAAI,EAAE,CAAC;IAC3C,MAAM,UAAU,GAAG,CAAC,GAAG,MAAM,gBAAgB,CAAC,SAAS,EAAE,SAAS,CAAC,EAAE,GAAG,iBAAiB,CAAC,SAAS,CAAC,CAAC,CAAC;IACtG,IAAI,UAAU,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO;IACpC,MAAM,IAAI,gBAAgB,CAAC;QACzB,IAAI,EAAE,sBAAsB;QAC5B,KAAK,EAAE,uBAAuB;QAC9B,MAAM,EAAE,OAAO,QAAQ,CAAC,cAAc,kEAAkE;cACpG,GAAG,SAAS,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,KAAK,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,GAAG,KAAK,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE;KACnG,CAAC,CAAC;AACL,CAAC;AAED;;;;;;;;GAQG;AACH,MAAM,CAAC,KAAK,UAAU,uBAAuB,CAC3C,MAAuB,EACvB,WAAyB,EACzB,gBAAuC;IAEvC,MAAM,SAAS,GAAG,MAAM,CAAC,QAAQ,CAAC,SAAS,CAAC;IAC5C,IAAI,CAAC,SAAS,EAAE,CAAC;QACf,MAAM,IAAI,gBAAgB,CAAC;YACzB,IAAI,EAAE,SAAS;YACf,KAAK,EAAE,uBAAuB;YAC9B,MAAM,EAAE,uGAAuG;SAChH,CAAC,CAAC;IACL,CAAC;IACD,MAAM,SAAS,GAAG,kBAAkB,CAAC,EAAE,iBAAiB,EAAE,MAAM,CAAC,iBAAiB,EAAE,CAAC,CAAC;IACtF,IAAI,SAAS,EAAE,CAAC;QACd,MAAM,IAAI,gBAAgB,CAAC;YACzB,IAAI,EAAE,iBAAiB;YACvB,KAAK,EAAE,uBAAuB;YAC9B,SAAS,EAAE,EAAE,KAAK,EAAE,SAAS,CAAC,KAAK,EAAE,WAAW,EAAE,SAAS,CAAC,WAAW,EAAE;YACzE,MAAM,EAAE,OAAO,SAAS,CAAC,IAAI,OAAO,SAAS,CAAC,KAAK,yBAAyB,SAAS,CAAC,WAAW,kEAAkE;SACpK,CAAC,CAAC;IACL,CAAC;IACD,MAAM,GAAG,GAAG,MAAM,WAAW,CAAC,0BAA0B,EAAE,EAAE,yBAAyB,CAAC,MAAM,CAAC,EAAE,SAAS,CAAC,CAAC;IAC1G,MAAM,QAAQ,GAAG,kBAAkB,CAAC,GAAG,CAAC,CAAC;IACzC,IAAI,CAAC,QAAQ,EAAE,CAAC;QACd,MAAM,IAAI,KAAK,CAAC,sDAAsD,CAAC,CAAC;IAC1E,CAAC;IACD,MAAM,yBAAyB,CAAC,QAAQ,EAAE,SAAS,EAAE,gBAAgB,CAAC,CAAC;IACvE,sGAAsG;IACtG,IACE,QAAQ,CAAC,cAAc,KAAK,WAAW;QACvC,QAAQ,CAAC,YAAY;QACrB,CAAC,0BAA0B,CAAC,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC,QAAQ,CAAC,EACnE,CAAC;QACD,OAAO,QAAQ,CAAC,YAAY,CAAC;IAC/B,CAAC;IACD,6EAA6E;IAC7E,iEAAiE;IACjE,IAAI,QAAQ,CAAC,cAAc,KAAK,OAAO,IAAI,CAAC,QAAQ,CAAC,gBAAgB,EAAE,CAAC;QACtE,QAAQ,CAAC,gBAAgB;YACvB,QAAQ,CAAC,cAAc,KAAK,WAAW;gBACrC,CAAC,CAAC,8DAA8D;gBAChE,CAAC,CAAC,6DAA6D,CAAC;IACtE,CAAC;IACD,OAAO,QAAQ,CAAC;AAClB,CAAC"}
+{"version":3,"file":"verify-reconciliation.js","sourceRoot":"","sources":["../../../src/verify/effect-reconciliation/verify-reconciliation.ts"],"names":[],"mappings":"AAAA,8FAA8F;AAC9F,2EAA2E;AAC3E,6EAA6E;AAC7E,8EAA8E;AAC9E,wFAAwF;AACxF,oFAAoF;AACpF,iFAAiF;AACjF,mEAAmE;AACnE,oEAAoE;AACpE,gBAAgB;AAEhB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAgDG;AAEH,OAAO,EAAE,gBAAgB,EAAE,MAAM,yCAAyC,CAAC;AAC3E,OAAO,EAAE,iBAAiB,EAAmE,MAAM,sBAAsB,CAAC;AAC1H,OAAO,EAAE,mBAAmB,EAAE,eAAe,EAAE,WAAW,EAAE,mBAAmB,EAAE,kBAAkB,EAAE,MAAM,qBAAqB,CAAC;AAEjI,OAAO,EAAE,YAAY,EAAE,MAAM,yBAAyB,CAAC;AAEvD,MAAM,GAAG,GAAG,YAAY,CAAC,EAAE,MAAM,EAAE,cAAc,EAAE,CAAC,CAAC;AAmFrD,MAAM,CAAC,MAAM,uBAAuB,GAAG;;;;;;;;;;;;;;;;;;;;;;;;;;;8QA2BuO,CAAC;AAE/Q,MAAM,UAAU,0BAA0B;IACxC,OAAO,uBAAuB,CAAC;AACjC,CAAC;AAED,0FAA0F;AAC1F,SAAS,mBAAmB,CAAC,KAAwB,EAAE,KAAa;IAClE,OAAO,kBAAkB,KAAK,CAAC,MAAM,OAAO,mBAAmB,CAAC,KAAK,EAAE,KAAK,CAAC,EAAE,CAAC;AAClF,CAAC;AAED,4FAA4F;AAC5F,SAAS,kBAAkB,CAAC,SAAwB,EAAE,KAAa;IACjE,MAAM,IAAI,GAAG,SAAS,CAAC,QAAQ,CAAC,CAAC,CAAC,kCAAkC,SAAS,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAC,mDAAmD,CAAC;IAC/I,OAAO,kBAAkB,SAAS,CAAC,GAAG,iCAAiC,KAAK,0CAA0C,IAAI,EAAE,CAAC;AAC/H,CAAC;AAED,mFAAmF;AACnF,SAAS,eAAe,CAAC,IAAY;IACnC,OAAO,eAAe,eAAe,CAAC,IAAI,CAAC,EAAE,CAAC;AAChD,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,yBAAyB,CAAC,MAAuB;IAC/D,MAAM,KAAK,GAAa,CAAC,6BAA6B,MAAM,CAAC,iBAAiB,EAAE,CAAC,CAAC;IAClF,MAAM,EAAE,GAAG,MAAM,CAAC,QAAQ,CAAC;IAC3B,MAAM,KAAK,GAAG,WAAW,CAAC,EAAE,CAAC,SAAS,EAAE,KAAK,IAAI,iBAAiB,EAAE,mBAAmB,EAAE,MAAM,CAAC,CAAC;IACjG,MAAM,QAAQ,GAAa,EAAE,CAAC;IAC9B,IAAI,EAAE,CAAC,SAAS;QAAE,QAAQ,CAAC,IAAI,CAAC,kBAAkB,CAAC,EAAE,CAAC,SAAS,EAAE,KAAK,CAAC,CAAC,CAAC;IACzE,IAAI,EAAE,CAAC,YAAY,IAAI,EAAE,CAAC,YAAY,CAAC,MAAM,GAAG,CAAC;QAAE,QAAQ,CAAC,IAAI,CAAC,mBAAmB,CAAC,EAAE,CAAC,YAAY,EAAE,KAAK,CAAC,CAAC,CAAC;IAC9G,IAAI,EAAE,CAAC,QAAQ,IAAI,EAAE,CAAC,QAAQ,CAAC,IAAI,EAAE,KAAK,EAAE;QAAE,QAAQ,CAAC,IAAI,CAAC,eAAe,CAAC,EAAE,CAAC,QAAQ,CAAC,CAAC,CAAC;IAC1F,MAAM,MAAM,GAAG,CAAC,MAAM,CAAC,eAAe,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC;IAC7E,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC;QAAE,QAAQ,CAAC,IAAI,CAAC,gEAAgE,WAAW,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,mBAAmB,EAAE,MAAM,CAAC,EAAE,CAAC,CAAC;IACzL,IAAI,OAAO,EAAE,CAAC,QAAQ,KAAK,QAAQ;QAAE,QAAQ,CAAC,IAAI,CAAC,kCAAkC,EAAE,CAAC,QAAQ,EAAE,CAAC,CAAC;IACpG,IAAI,EAAE,CAAC,UAAU,IAAI,EAAE,CAAC,UAAU,CAAC,IAAI,EAAE,KAAK,EAAE;QAAE,QAAQ,CAAC,IAAI,CAAC,kBAAkB,WAAW,CAAC,EAAE,CAAC,UAAU,CAAC,EAAE,CAAC,CAAC;IAChH,IAAI,EAAE,CAAC,UAAU,IAAI,EAAE,CAAC,UAAU,CAAC,IAAI,EAAE,KAAK,EAAE;QAAE,QAAQ,CAAC,IAAI,CAAC,kBAAkB,WAAW,CAAC,EAAE,CAAC,UAAU,CAAC,EAAE,CAAC,CAAC;IAChH,IAAI,EAAE,CAAC,mBAAmB,IAAI,EAAE,CAAC,mBAAmB,CAAC,IAAI,EAAE,KAAK,EAAE;QAAE,QAAQ,CAAC,IAAI,CAAC,wBAAwB,WAAW,CAAC,EAAE,CAAC,mBAAmB,CAAC,EAAE,CAAC,CAAC;IACjJ,IAAI,EAAE,CAAC,gBAAgB,IAAI,EAAE,CAAC,gBAAgB,CAAC,IAAI,EAAE,KAAK,EAAE;QAAE,QAAQ,CAAC,IAAI,CAAC,uBAAuB,WAAW,CAAC,EAAE,CAAC,gBAAgB,CAAC,EAAE,CAAC,CAAC;IACvI,KAAK,CAAC,IAAI,CAAC,kBAAkB,QAAQ,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,6BAA6B,EAAE,CAAC,CAAC;IAC5G,KAAK,CAAC,IAAI,CACR,qOAAqO,CACtO,CAAC;IACF,OAAO,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;AAC5B,CAAC;AAED,8DAA8D;AAC9D,MAAM,UAAU,eAAe,CAAC,EAAkB;IAChD,MAAM,OAAO,GACX,CAAC,EAAE,CAAC,IAAI,IAAI,EAAE,CAAC,IAAI,CAAC,IAAI,EAAE,KAAK,EAAE,CAAC;QAClC,CAAC,EAAE,CAAC,UAAU,IAAI,EAAE,CAAC,UAAU,CAAC,IAAI,EAAE,KAAK,EAAE,CAAC;QAC9C,CAAC,EAAE,CAAC,UAAU,IAAI,EAAE,CAAC,UAAU,CAAC,IAAI,EAAE,KAAK,EAAE,CAAC;QAC9C,CAAC,EAAE,CAAC,mBAAmB,IAAI,EAAE,CAAC,mBAAmB,CAAC,IAAI,EAAE,KAAK,EAAE,CAAC;QAChE,CAAC,EAAE,CAAC,gBAAgB,IAAI,EAAE,CAAC,gBAAgB,CAAC,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC;IAC7D,OAAO,CAAC,OAAO,IAAI,OAAO,EAAE,CAAC,QAAQ,KAAK,QAAQ,CAAC;AACrD,CAAC;AAED;;;;;;;;;;;;GAYG;AACH,MAAM,UAAU,oBAAoB,CAAC,EAAkB;IACrD,MAAM,OAAO,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,IAAI,EAAE,CAAC,IAAI,CAAC,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC;IACrD,MAAM,eAAe,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,YAAY,IAAI,EAAE,CAAC,YAAY,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;IAC1E,MAAM,aAAa,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,mBAAmB,IAAI,EAAE,CAAC,mBAAmB,CAAC,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC;IACzF,OAAO,CAAC,OAAO,IAAI,CAAC,eAAe,IAAI,CAAC,aAAa,CAAC;AACxD,CAAC;AAED;;;;;;;;GAQG;AACH,MAAM,UAAU,0BAA0B,CAAC,QAAgB,EAAE,EAAkB;IAC7E,MAAM,CAAC,GAAG,QAAQ,CAAC,IAAI,EAAE,CAAC;IAC1B,IAAI,CAAC,KAAK,EAAE;QAAE,OAAO,KAAK,CAAC;IAC3B,MAAM,KAAK,GAAG,EAAE,CAAC,YAAY,IAAI,EAAE,CAAC;IACpC,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACrB,OAAO,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE;YACtB,IAAI,CAAC,CAAC;gBAAE,OAAO,KAAK,CAAC;YACrB,MAAM,IAAI,GAAG,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;YACrC,OAAO,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,IAAI,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC;QAChE,CAAC,CAAC,CAAC;IACL,CAAC;IACD,2EAA2E;IAC3E,sEAAsE;IACtE,mDAAmD;IACnD,MAAM,IAAI,GAAG,EAAE,CAAC,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC;IACnC,IAAI,IAAI,KAAK,EAAE,EAAE,CAAC;QAChB,MAAM,MAAM,GAAG,CAAC,CAAC,KAAK,CAAC,+BAA+B,CAAC,IAAI,EAAE,CAAC;QAC9D,OAAO,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC;IAC9C,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,kFAAkF;AAClF,MAAM,UAAU,kBAAkB,CAAC,GAAW;IAC5C,MAAM,QAAQ,GAAG,GAAG,CAAC,OAAO,CAAC,kBAAkB,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC;IACzE,MAAM,UAAU,GAAG,QAAQ,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;IACzC,IAAI,UAAU,GAAG,CAAC;QAAE,OAAO,IAAI,CAAC;IAChC,IAAI,KAAK,GAAG,CAAC,CAAC;IACd,IAAI,MAAM,GAAG,CAAC,CAAC,CAAC;IAChB,KAAK,IAAI,CAAC,GAAG,UAAU,EAAE,CAAC,GAAG,QAAQ,CAAC,MAAM,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;QACrD,MAAM,EAAE,GAAG,QAAQ,CAAC,CAAC,CAAC,CAAC;QACvB,IAAI,EAAE,KAAK,GAAG;YAAE,KAAK,IAAI,CAAC,CAAC;aACtB,IAAI,EAAE,KAAK,GAAG,EAAE,CAAC;YACpB,KAAK,IAAI,CAAC,CAAC;YACX,IAAI,KAAK,KAAK,CAAC,EAAE,CAAC;gBAChB,MAAM,GAAG,CAAC,CAAC;gBACX,MAAM;YACR,CAAC;QACH,CAAC;IACH,CAAC;IACD,IAAI,MAAM,GAAG,CAAC;QAAE,OAAO,IAAI,CAAC;IAC5B,IAAI,MAAe,CAAC;IACpB,IAAI,CAAC;QACH,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,KAAK,CAAC,UAAU,EAAE,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC;IAC9D,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,IAAI,CAAC;IACd,CAAC;IACD,IAAI,CAAC,MAAM,IAAI,OAAO,MAAM,KAAK,QAAQ;QAAE,OAAO,IAAI,CAAC;IACvD,MAAM,GAAG,GAAG,MAAiC,CAAC;IAE9C,MAAM,QAAQ,GAAG,OAAO,GAAG,CAAC,iBAAiB,KAAK,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,iBAAiB,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;IAC/F,IAAI,QAAQ,KAAK,EAAE;QAAE,OAAO,IAAI,CAAC;IAEjC,MAAM,cAAc,GAAG,GAAG,CAAC,cAAc,CAAC;IAC1C,IACE,cAAc,KAAK,OAAO;QAC1B,cAAc,KAAK,uBAAuB;QAC1C,cAAc,KAAK,WAAW,EAC9B,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IAED,MAAM,SAAS,GAAG,OAAO,GAAG,CAAC,gBAAgB,KAAK,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,gBAAgB,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;IAC9F,MAAM,WAAW,GAAG,OAAO,GAAG,CAAC,YAAY,KAAK,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,YAAY,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;IACxF,MAAM,SAAS,GAAG,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,SAAS,CAAC;QAC5C,CAAC,CAAC,GAAG,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC,EAAe,EAAE,CAAC,OAAO,CAAC,KAAK,QAAQ,IAAI,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;QACzG,CAAC,CAAC,EAAE,CAAC;IACP,MAAM,QAAQ,GAAsB;QAClC,iBAAiB,EAAE,QAAQ;QAC3B,cAAc;QACd,SAAS;QACT,GAAG,CAAC,GAAG,CAAC,KAAK,KAAK,MAAM,IAAI,GAAG,CAAC,KAAK,KAAK,QAAQ,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,GAAG,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;KAChF,CAAC;IACF,IAAI,cAAc,KAAK,OAAO,IAAI,SAAS,KAAK,EAAE,EAAE,CAAC;QACnD,QAAQ,CAAC,gBAAgB,GAAG,SAAS,CAAC;IACxC,CAAC;IACD,sEAAsE;IACtE,4EAA4E;IAC5E,IAAI,cAAc,KAAK,WAAW,IAAI,WAAW,KAAK,EAAE,EAAE,CAAC;QACzD,QAAQ,CAAC,YAAY,GAAG,WAAW,CAAC;IACtC,CAAC;IACD,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED,iIAAiI;AACjI,KAAK,UAAU,mBAAmB,CAChC,QAA2B,EAC3B,SAAwB,EACxB,gBAAuC;IAEvC,MAAM,SAAS,GAAG,QAAQ,CAAC,SAAS,IAAI,EAAE,CAAC;IAC3C,OAAO,CAAC,GAAG,MAAM,gBAAgB,CAAC,SAAS,EAAE,SAAS,CAAC,EAAE,GAAG,iBAAiB,CAAC,SAAS,CAAC,CAAC,CAAC;AAC5F,CAAC;AAED;;;;GAIG;AACH,SAAS,uBAAuB,CAC9B,QAA2B,EAC3B,SAAwB,EACxB,UAA4C,EAC5C,KAAa;IAEb,OAAO,IAAI,gBAAgB,CAAC;QAC1B,IAAI,EAAE,sBAAsB;QAC5B,KAAK,EAAE,uBAAuB;QAC9B,MAAM,EAAE,OAAO,QAAQ,CAAC,cAAc,kEAAkE;cACpG,GAAG,SAAS,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,KAAK,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,GAAG,KAAK,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,KAAK,GAAG;KAC9G,CAAC,CAAC;AACL,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,8BAA8B,CAAC,GAAW,EAAE,UAA4C;IACtG,OAAO;QACL,wCAAwC,GAAG,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,8BAA8B;cAClF,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,GAAG,KAAK,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC;QAC/D,gIAAgI;cAC5H,+HAA+H;cAC/H,uGAAuG;cACvG,uDAAuD;KAC5D,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;AACjB,CAAC;AAED;;;;;GAKG;AACH,KAAK,UAAU,kBAAkB,CAC/B,KAAwB,EACxB,SAAwB,EACxB,OAAqB,EACrB,gBAAuC;IAEvC,MAAM,UAAU,GAAG,MAAM,mBAAmB,CAAC,KAAK,EAAE,SAAS,EAAE,gBAAgB,CAAC,CAAC;IACjF,IAAI,UAAU,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,KAAK,CAAC;IAC1C,GAAG,CAAC,IAAI,CACN,yCAAyC,UAAU,CAAC,MAAM,kCAAkC,SAAS,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG;UACvH,4FAA4F,CAC/F,CAAC;IACF,MAAM,SAAS,GAAG,kBAAkB,CAAC,MAAM,OAAO,CAAC,GAAG,CAAC,8BAA8B,CAAC,SAAS,CAAC,GAAG,EAAE,UAAU,CAAC,CAAC,CAAC,CAAC;IACnH,IAAI,CAAC,SAAS;QAAE,MAAM,uBAAuB,CAAC,KAAK,EAAE,SAAS,EAAE,UAAU,EAAE,mDAAmD,CAAC,CAAC;IACjI,MAAM,KAAK,GAAG,MAAM,mBAAmB,CAAC,SAAS,EAAE,SAAS,EAAE,gBAAgB,CAAC,CAAC;IAChF,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC;QAAE,MAAM,uBAAuB,CAAC,SAAS,EAAE,SAAS,EAAE,KAAK,EAAE,4CAA4C,CAAC,CAAC;IAC/H,OAAO,SAAS,CAAC;AACnB,CAAC;AAED;;;;;;;;GAQG;AACH,MAAM,CAAC,KAAK,UAAU,uBAAuB,CAC3C,MAAuB,EACvB,SAA6B,EAC7B,gBAAuC;IAEvC,MAAM,SAAS,GAAG,MAAM,CAAC,QAAQ,CAAC,SAAS,CAAC;IAC5C,IAAI,CAAC,SAAS,EAAE,CAAC;QACf,MAAM,IAAI,gBAAgB,CAAC;YACzB,IAAI,EAAE,SAAS;YACf,KAAK,EAAE,uBAAuB;YAC9B,MAAM,EAAE,uGAAuG;SAChH,CAAC,CAAC;IACL,CAAC;IACD,MAAM,SAAS,GAAG,kBAAkB,CAAC,EAAE,iBAAiB,EAAE,MAAM,CAAC,iBAAiB,EAAE,CAAC,CAAC;IACtF,IAAI,SAAS,EAAE,CAAC;QACd,MAAM,IAAI,gBAAgB,CAAC;YACzB,IAAI,EAAE,iBAAiB;YACvB,KAAK,EAAE,uBAAuB;YAC9B,SAAS,EAAE,EAAE,KAAK,EAAE,SAAS,CAAC,KAAK,EAAE,WAAW,EAAE,SAAS,CAAC,WAAW,EAAE;YACzE,MAAM,EAAE,OAAO,SAAS,CAAC,IAAI,OAAO,SAAS,CAAC,KAAK,yBAAyB,SAAS,CAAC,WAAW,kEAAkE;SACpK,CAAC,CAAC;IACL,CAAC;IACD,MAAM,OAAO,GAAG,SAAS,CAAC,0BAA0B,EAAE,EAAE,SAAS,CAAC,CAAC;IACnE,IAAI,QAA2B,CAAC;IAChC,IAAI,CAAC;QACH,MAAM,KAAK,GAAG,kBAAkB,CAAC,MAAM,OAAO,CAAC,GAAG,CAAC,yBAAyB,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;QACvF,IAAI,CAAC,KAAK,EAAE,CAAC;YACX,MAAM,IAAI,KAAK,CAAC,sDAAsD,CAAC,CAAC;QAC1E,CAAC;QACD,QAAQ,GAAG,MAAM,kBAAkB,CAAC,KAAK,EAAE,SAAS,EAAE,OAAO,EAAE,gBAAgB,CAAC,CAAC;IACnF,CAAC;YAAS,CAAC;QACT,OAAO,CAAC,KAAK,EAAE,CAAC;IAClB,CAAC;IACD,sGAAsG;IACtG,IACE,QAAQ,CAAC,cAAc,KAAK,WAAW;QACvC,QAAQ,CAAC,YAAY;QACrB,CAAC,0BAA0B,CAAC,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC,QAAQ,CAAC,EACnE,CAAC;QACD,OAAO,QAAQ,CAAC,YAAY,CAAC;IAC/B,CAAC;IACD,6EAA6E;IAC7E,iEAAiE;IACjE,IAAI,QAAQ,CAAC,cAAc,KAAK,OAAO,IAAI,CAAC,QAAQ,CAAC,gBAAgB,EAAE,CAAC;QACtE,QAAQ,CAAC,gBAAgB;YACvB,QAAQ,CAAC,cAAc,KAAK,WAAW;gBACrC,CAAC,CAAC,8DAA8D;gBAChE,CAAC,CAAC,6DAA6D,CAAC;IACtE,CAAC;IACD,OAAO,QAAQ,CAAC;AAClB,CAAC"}

package/dist/verify/effect-reconciliation/verify-restatement.js

@@ -1,5 +1,5 @@
 // PINNED-BY-BEGIN (generated by gen:pinned-by -- do not hand-edit; checked by lint:pinned-by)
-// Pinned by: 25 tests -- run: npm run gen:pinned-by -- --list packages/daemon/src/verify/effect-reconciliation/verify-restatement.ts
+// Pinned by: 26 tests -- run: npm run gen:pinned-by -- --list packages/daemon/src/verify/effect-reconciliation/verify-restatement.ts
 // PINNED-BY-END
 /**
  * Verify-time desired-effect reconciliation.

package/dist/verify/engine/verification-commit-sharing.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"verification-commit-sharing.d.ts","sourceRoot":"","sources":["../../../src/verify/engine/verification-commit-sharing.ts"],"names":[],"mappings":"AAkHA,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,4CAA4C,CAAC;AACtF,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,qDAAqD,CAAC;AAC1F,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,wBAAwB,CAAC;AAC/D,OAAO,EAAqB,KAAK,mBAAmB,EAAE,MAAM,uCAAuC,CAAC;AAEpG,OAAO,EAAiC,KAAK,mBAAmB,EAAE,MAAM,4CAA4C,CAAC;AAyBrH,gCAAgC;AAChC,MAAM,WAAW,YAAY;IAC3B,oHAAoH;IACpH,MAAM,CAAC,EAAE,cAAc,CAAC;IACxB;;;OAGG;IACH,aAAa,CAAC,EAAE,MAAM,OAAO,CAAC,OAAO,CAAC,CAAC;CACxC;AAED,8DAA8D;AAC9D,MAAM,WAAW,cAAc;IAC7B,MAAM,EAAE,cAAc,CAAC;IACvB,8FAA8F;IAC9F,uBAAuB,EAAE,mBAAmB,GAAG,IAAI,CAAC;IACpD,6FAA6F;IAC7F,MAAM,EAAE,OAAO,CAAC;CACjB;AAED;;;;;;;;;;;;;;GAcG;AACH,wBAAsB,aAAa,CACjC,CAAC,EAAE,mBAAmB,EACtB,IAAI,EAAE,gBAAgB,EACtB,WAAW,EAAE,MAAM,OAAO,CAAC,cAAc,CAAC,EAC1C,IAAI,CAAC,EAAE,YAAY,GAClB,OAAO,CAAC,cAAc,CAAC,CAoBzB;AAmED,uFAAuF;AACvF,MAAM,MAAM,gBAAgB,GAAG,CAAC,CAAC,EAAE,mBAAmB,EAAE,IAAI,EAAE,gBAAgB,EAAE,IAAI,EAAE,YAAY,KAAK,OAAO,CAAC,cAAc,CAAC,CAAC;AAqN/H;;;;;;;;;GASG;AACH,wBAAsB,0BAA0B,CAC9C,CAAC,EAAE,mBAAmB,EACtB,IAAI,EAAE,gBAAgB,EACtB,MAAM,EAAE,gBAAgB,GACvB,OAAO,CAAC,cAAc,GAAG,IAAI,CAAC,CAmBhC;AAsBD;;;;;;;;;;;;GAYG;AACH,wBAAsB,oCAAoC,CACxD,QAAQ,EAAE,SAAS,mBAAmB,EAAE,EACxC,WAAW,EAAE,WAAW,CAAC,MAAM,CAAC,EAChC,aAAa,EAAE,SAAS,mBAAmB,EAAE,EAC7C,IAAI,EAAE,gBAAgB,GACrB,OAAO,CAAC,OAAO,EAAE,CAAC,CAYpB;AAsBD;;;;;;;;;;;;;;GAcG;AACH,wBAAsB,yBAAyB,CAC7C,CAAC,EAAE,mBAAmB,EACtB,IAAI,EAAE,gBAAgB,EACtB,MAAM,EAAE,gBAAgB,GACvB,OAAO,CAAC,cAAc,GAAG,IAAI,CAAC,CAiBhC"}
+{"version":3,"file":"verification-commit-sharing.d.ts","sourceRoot":"","sources":["../../../src/verify/engine/verification-commit-sharing.ts"],"names":[],"mappings":"AAmHA,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,4CAA4C,CAAC;AACtF,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,qDAAqD,CAAC;AAC1F,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,wBAAwB,CAAC;AAC/D,OAAO,EAAqB,KAAK,mBAAmB,EAAE,MAAM,uCAAuC,CAAC;AAEpG,OAAO,EAAiC,KAAK,mBAAmB,EAAE,MAAM,4CAA4C,CAAC;AA2BrH,gCAAgC;AAChC,MAAM,WAAW,YAAY;IAC3B,oHAAoH;IACpH,MAAM,CAAC,EAAE,cAAc,CAAC;IACxB;;;OAGG;IACH,aAAa,CAAC,EAAE,MAAM,OAAO,CAAC,OAAO,CAAC,CAAC;CACxC;AAED,8DAA8D;AAC9D,MAAM,WAAW,cAAc;IAC7B,MAAM,EAAE,cAAc,CAAC;IACvB,8FAA8F;IAC9F,uBAAuB,EAAE,mBAAmB,GAAG,IAAI,CAAC;IACpD,6FAA6F;IAC7F,MAAM,EAAE,OAAO,CAAC;CACjB;AAED;;;;;;;;;;;;;;GAcG;AACH,wBAAsB,aAAa,CACjC,CAAC,EAAE,mBAAmB,EACtB,IAAI,EAAE,gBAAgB,EACtB,WAAW,EAAE,MAAM,OAAO,CAAC,cAAc,CAAC,EAC1C,IAAI,CAAC,EAAE,YAAY,GAClB,OAAO,CAAC,cAAc,CAAC,CA4BzB;AAmED,uFAAuF;AACvF,MAAM,MAAM,gBAAgB,GAAG,CAAC,CAAC,EAAE,mBAAmB,EAAE,IAAI,EAAE,gBAAgB,EAAE,IAAI,EAAE,YAAY,KAAK,OAAO,CAAC,cAAc,CAAC,CAAC;AAqN/H;;;;;;;;;GASG;AACH,wBAAsB,0BAA0B,CAC9C,CAAC,EAAE,mBAAmB,EACtB,IAAI,EAAE,gBAAgB,EACtB,MAAM,EAAE,gBAAgB,GACvB,OAAO,CAAC,cAAc,GAAG,IAAI,CAAC,CAmBhC;AAsBD;;;;;;;;;;;;GAYG;AACH,wBAAsB,oCAAoC,CACxD,QAAQ,EAAE,SAAS,mBAAmB,EAAE,EACxC,WAAW,EAAE,WAAW,CAAC,MAAM,CAAC,EAChC,aAAa,EAAE,SAAS,mBAAmB,EAAE,EAC7C,IAAI,EAAE,gBAAgB,GACrB,OAAO,CAAC,OAAO,EAAE,CAAC,CAYpB;AAsBD;;;;;;;;;;;;;;GAcG;AACH,wBAAsB,yBAAyB,CAC7C,CAAC,EAAE,mBAAmB,EACtB,IAAI,EAAE,gBAAgB,EACtB,MAAM,EAAE,gBAAgB,GACvB,OAAO,CAAC,cAAc,GAAG,IAAI,CAAC,CAiBhC"}

package/dist/verify/engine/verification-commit-sharing.js

@@ -1,6 +1,7 @@
 // PINNED-BY-BEGIN (generated by gen:pinned-by -- do not hand-edit; checked by lint:pinned-by)
 // Pinned by: packages/daemon/src/integration/fully-merged-focus-sibling-red-scenario.test.ts,
-//   packages/daemon/src/verify/engine/verification-commit-sharing.test.ts
+//   packages/daemon/src/verify/engine/verification-commit-sharing.test.ts,
+//   packages/daemon/src/verify/failing-test-rerun/rework-recheck.test.ts
 // PINNED-BY-END
 /**
  * One deterministic gate run per focus commit, its verdict shared by every
@@ -114,6 +115,8 @@ import { noteExplicitRunId } from '../gate-verdicts/gate-run-registry.js';
 import { releaseExplicitRearm } from '../run-selection/explicit-rearm.js';
 import { attributeDeterministicFailure } from '../attribution/verification-attribution.js';
 import { judgeTimedOutRun } from '../deterministic-gate/timed-out-rendered-verdict.js';
+import { retryFailingTestsOnSameCommit } from '../failing-test-rerun/failing-test-retry.js';
+import { noteReworkRecheck, recheckPreviouslyFailing } from '../failing-test-rerun/rework-recheck.js';
 import { buildNoVerdictEscalation, noVerdictBackoffMs, noVerdictDispatchGate, noVerdictEscalationDue, } from '../gate-verdicts/no-verdict-record.js';
 import { readVerificationLogText } from '../outcome-routing/failure-signature.js';
 import { commitVerdictGateOf, recordCommitVerdictFor, strategyResultFromVerdict, } from '../gate-verdicts/commit-verdict-record.js';
@@ -141,18 +144,27 @@ export async function judgeDelivery(v, deps, runStrategy, opts) {
     if (opts?.reused)
         return { result: { ...opts.reused }, evidenceUnavailableHold: null, routes: true };
     const deterministic = v.verificationMethod === 'deterministic';
-    const ran = await runStrategy();
+    // After a rework commit the previously failing tests are re-checked first: still
+    // red is the commit's verdict, with no whole-gate run (verify/failing-test-rerun/rework-recheck.ts).
+    const ran = (deterministic ? await recheckPreviouslyFailing(v, deps) : null) ?? await runStrategy();
     // A run the timeout ended is judged from what it already rendered: a completed
     // pass or named failing tests are verdicts; only neither stays timed out.
     const result = deterministic && ran.timedOut === true
         ? judgeTimedOutRun(ran, gateCommandOf(v, ran), readVerificationLogText(ran))
         : { ...ran };
+    // A small red is re-run on the same commit before it is attributed: a pass there
+    // is a flake, filed against the product (verify/failing-test-rerun/failing-test-retry.ts).
+    if (deterministic && result.outcome === 'failed' && result.appliedConfig?.rerun) {
+        await retryFailingTestsOnSameCommit(v, result, readVerificationLogText(result), deps);
+    }
     const evidenceUnavailableHold = deterministic && result.outcome === 'failed'
         ? await attributeDeterministicFailure(v, result, deps)
         : null;
     if (deterministic) {
         recordCommitVerdictFor(v, result, evidenceUnavailableHold !== null, deps.recordCommitVerdict, readVerificationLogText);
         await recordNoVerdictFor(v, result, evidenceUnavailableHold !== null, deps);
+        if (evidenceUnavailableHold === null)
+            noteReworkRecheck(v, result, () => readVerificationLogText(result), deps.reworkRecheck);
     }
     // Asked only after the record write: a verdict that lands after its delivery
     // left verify still belongs to the commit, for the next delivery judged on it.

package/dist/verify/engine/verification-commit-sharing.js.map

@@ -1 +1 @@
-{"version":3,"file":"verification-commit-sharing.js","sourceRoot":"","sources":["../../../src/verify/engine/verification-commit-sharing.ts"],"names":[],"mappings":"AAAA,8FAA8F;AAC9F,8FAA8F;AAC9F,0EAA0E;AAC1E,gBAAgB;AAEhB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAyGG;AAEH,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AACzC,OAAO,EAAE,eAAe,EAAE,MAAM,qBAAqB,CAAC;AAItD,OAAO,EAAE,iBAAiB,EAA4B,MAAM,uCAAuC,CAAC;AACpG,OAAO,EAAE,oBAAoB,EAAE,MAAM,oCAAoC,CAAC;AAC1E,OAAO,EAAE,6BAA6B,EAA4B,MAAM,4CAA4C,CAAC;AACrH,OAAO,EAAE,gBAAgB,EAAE,MAAM,qDAAqD,CAAC;AACvF,OAAO,EACL,wBAAwB,EACxB,kBAAkB,EAClB,qBAAqB,EACrB,sBAAsB,GAGvB,MAAM,uCAAuC,CAAC;AAC/C,OAAO,EAAE,uBAAuB,EAAE,MAAM,yCAAyC,CAAC;AAClF,OAAO,EACL,mBAAmB,EACnB,sBAAsB,EACtB,yBAAyB,GAG1B,MAAM,2CAA2C,CAAC;AACnD,OAAO,EAAE,eAAe,EAAE,uBAAuB,EAAE,MAAM,0DAA0D,CAAC;AACpH,OAAO,EAAE,mBAAmB,EAAE,oBAAoB,EAAE,MAAM,uCAAuC,CAAC;AAClG,OAAO,EAAE,yBAAyB,EAAE,MAAM,yCAAyC,CAAC;AACpF,OAAO,EAAE,YAAY,EAAE,MAAM,yBAAyB,CAAC;AAEvD,MAAM,GAAG,GAAG,YAAY,CAAC,EAAE,MAAM,EAAE,cAAc,EAAE,CAAC,CAAC;AAsBrD;;;;;;;;;;;;;;GAcG;AACH,MAAM,CAAC,KAAK,UAAU,aAAa,CACjC,CAAsB,EACtB,IAAsB,EACtB,WAA0C,EAC1C,IAAmB;IAEnB,IAAI,IAAI,EAAE,MAAM;QAAE,OAAO,EAAE,MAAM,EAAE,EAAE,GAAG,IAAI,CAAC,MAAM,EAAE,EAAE,uBAAuB,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC;IACrG,MAAM,aAAa,GAAG,CAAC,CAAC,kBAAkB,KAAK,eAAe,CAAC;IAC/D,MAAM,GAAG,GAAG,MAAM,WAAW,EAAE,CAAC;IAChC,+EAA+E;IAC/E,0EAA0E;IAC1E,MAAM,MAAM,GAAG,aAAa,IAAI,GAAG,CAAC,QAAQ,KAAK,IAAI;QACnD,CAAC,CAAC,gBAAgB,CAAC,GAAG,EAAE,aAAa,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,uBAAuB,CAAC,GAAG,CAAC,CAAC;QAC5E,CAAC,CAAC,EAAE,GAAG,GAAG,EAAE,CAAC;IACf,MAAM,uBAAuB,GAAG,aAAa,IAAI,MAAM,CAAC,OAAO,KAAK,QAAQ;QAC1E,CAAC,CAAC,MAAM,6BAA6B,CAAC,CAAC,EAAE,MAAM,EAAE,IAAI,CAAC;QACtD,CAAC,CAAC,IAAI,CAAC;IACT,IAAI,aAAa,EAAE,CAAC;QAClB,sBAAsB,CAAC,CAAC,EAAE,MAAM,EAAE,uBAAuB,KAAK,IAAI,EAAE,IAAI,CAAC,mBAAmB,EAAE,uBAAuB,CAAC,CAAC;QACvH,MAAM,kBAAkB,CAAC,CAAC,EAAE,MAAM,EAAE,uBAAuB,KAAK,IAAI,EAAE,IAAI,CAAC,CAAC;IAC9E,CAAC;IACD,6EAA6E;IAC7E,+EAA+E;IAC/E,MAAM,MAAM,GAAG,IAAI,EAAE,aAAa,CAAC,CAAC,CAAC,MAAM,IAAI,CAAC,aAAa,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC;IACvE,OAAO,EAAE,MAAM,EAAE,uBAAuB,EAAE,MAAM,EAAE,CAAC;AACrD,CAAC;AAED,6EAA6E;AAC7E,SAAS,aAAa,CAAC,CAAsB,EAAE,MAAsB;IACnE,MAAM,OAAO,GAAG,MAAM,CAAC,aAAa,EAAE,OAAO,IAAI,CAAC,CAAC,kBAAkB,EAAE,OAAO,CAAC;IAC/E,OAAO,OAAO,OAAO,KAAK,QAAQ,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC;AAC5E,CAAC;AAED;;;;;GAKG;AACH,KAAK,UAAU,kBAAkB,CAAC,CAAsB,EAAE,MAAsB,EAAE,eAAwB,EAAE,IAAsB;IAChI,MAAM,KAAK,GAAG,IAAI,CAAC,UAAU,CAAC;IAC9B,IAAI,MAAM,CAAC,mBAAmB,IAAI,MAAM,CAAC,gBAAgB;QAAE,OAAO;IAClE,MAAM,IAAI,GAAyB,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,kBAAkB,CAAC,CAAC,CAAC,IAAI,CAAC;IAC/G,MAAM,OAAO,GAAG,MAAM,CAAC,aAAa,CAAC;IACrC,MAAM,IAAI,GAAG,OAAO,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,OAAO,CAAC,OAAO,EAAE,SAAS,EAAE,OAAO,CAAC,SAAS,EAAE,CAAC,CAAC,CAAC,mBAAmB,CAAC,CAAC,CAAC,CAAC;IAC3G,MAAM,GAAG,GAAG,MAAM,CAAC,WAAW,CAAC;IAC/B,IAAI,IAAI,KAAK,IAAI,IAAI,CAAC,CAAC,CAAC,SAAS,IAAI,CAAC,CAAC,CAAC,OAAO,IAAI,CAAC,IAAI,IAAI,CAAC,GAAG;QAAE,OAAO;IACzE,MAAM,GAAG,GAAiB,EAAE,SAAS,EAAE,CAAC,CAAC,SAAS,EAAE,OAAO,EAAE,CAAC,CAAC,OAAO,EAAE,GAAG,EAAE,IAAI,EAAE,CAAC;IACpF,MAAM,EAAE,MAAM,EAAE,KAAK,EAAE,GAAG,KAAK,CAAC,SAAS,CAAC,GAAG,EAAE,EAAE,UAAU,EAAE,CAAC,CAAC,UAAU,EAAE,IAAI,EAAE,CAAC,CAAC;IACnF,GAAG,CAAC,IAAI,CACN,wBAAwB,CAAC,CAAC,OAAO,WAAW,GAAG,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,2BAA2B,CAAC,CAAC,UAAU,yBAAyB,IAAI,KAAK;UAClI,GAAG,KAAK,CAAC,IAAI,CAAC,MAAM,iFAAiF,IAAI,CAAC,KAAK,CAAC,kBAAkB,CAAC,MAAM,CAAC,GAAG,KAAK,CAAC,MAAM,CAC5J,CAAC;IACF,wGAAwG;IACxG,IAAI,CAAC,sBAAsB,CAAC,KAAK,CAAC;QAAE,OAAO;IAC3C,IAAI,CAAC;QACH,MAAM,IAAI,CAAC,cAAc,CAAC,wBAAwB,CAAC,KAAK,EAAE,IAAI,CAAC,cAAc,CAAC,CAAC,CAAC;QAChF,KAAK,CAAC,aAAa,CAAC,KAAK,CAAC,CAAC;IAC7B,CAAC;IAAC,OAAO,GAAG,EAAE,CAAC;QACb,GAAG,CAAC,IAAI,CAAC,+DAA+D,CAAC,CAAC,OAAO,IAAI,GAAG,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,EAAG,GAAa,CAAC,OAAO,CAAC,CAAC;IACnI,CAAC;AACH,CAAC;AAED,kHAAkH;AAClH,MAAM,mBAAmB,GAAG,IAAI,GAAG,EAAkB,CAAC;AAEtD;;;;GAIG;AACH,SAAS,sBAAsB,CAAC,CAAsB,EAAE,GAAqD,EAAE,IAAsB,EAAE,IAAkB;IACvJ,MAAM,KAAK,GAAG,IAAI,CAAC,UAAU,CAAC;IAC9B,IAAI,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC,SAAS,IAAI,CAAC,CAAC,CAAC,OAAO;QAAE,OAAO,IAAI,CAAC;IACpD,MAAM,SAAS,GAAiB,EAAE,SAAS,EAAE,CAAC,CAAC,SAAS,EAAE,OAAO,EAAE,CAAC,CAAC,OAAO,EAAE,GAAG,EAAE,GAAG,CAAC,IAAI,EAAE,IAAI,EAAE,GAAG,CAAC,IAAI,EAAE,CAAC;IAC9G,MAAM,MAAM,GAAG,KAAK,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;IACrC,MAAM,IAAI,GAAG,qBAAqB,CAAC,MAAM,EAAE,KAAK,CAAC,GAAG,EAAE,CAAC,CAAC;IACxD,IAAI,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC;QACd,MAAM,MAAM,GAAG,GAAG,GAAG,CAAC,IAAI,IAAI,MAAM,EAAE,IAAI,CAAC,MAAM,IAAI,CAAC,EAAE,CAAC;QACzD,IAAI,mBAAmB,CAAC,GAAG,CAAC,CAAC,CAAC,UAAU,CAAC,KAAK,MAAM,EAAE,CAAC;YACrD,mBAAmB,CAAC,GAAG,CAAC,CAAC,CAAC,UAAU,EAAE,MAAM,CAAC,CAAC;YAC9C,cAAc,CAAC,IAAI,EAAE,CAAC,EAAE,GAAG,IAAI,CAAC,GAAG,gBAAgB,IAAI,CAAC,KAAK,EAAE,CAAC,CAAC;QACnE,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC;IACD,IAAI,IAAI,CAAC,UAAU,KAAK,IAAI,EAAE,CAAC;QAC7B,KAAK,CAAC,gBAAgB,CAAC,SAAS,EAAE,EAAE,UAAU,EAAE,CAAC,CAAC,UAAU,EAAE,MAAM,EAAE,IAAI,CAAC,UAAU,EAAE,CAAC,CAAC;QACzF,GAAG,CAAC,IAAI,CAAC,kBAAkB,IAAI,eAAe,CAAC,CAAC,YAAY,MAAM,CAAC,CAAC,UAAU,4BAA4B,IAAI,CAAC,UAAU,EAAE,CAAC,CAAC;IAC/H,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAKD;;;;;;;GAOG;AACH,SAAS,UAAU,CAAC,CAAsB,EAAE,OAAe,EAAE,IAAsB;IACjF,IAAI,CAAC,CAAC,eAAe,EAAE,CAAC;QACtB,MAAM,IAAI,GAAG,IAAI,CAAC,wBAAwB,CAAC,OAAO,CAAC,CAAC;QACpD,IAAI,IAAI,KAAK,IAAI,EAAE,CAAC;YAClB,IAAI,YAAY,IAAI,IAAI;gBAAE,OAAO,IAAI,CAAC;YACtC,MAAM,IAAI,GAAG,IAAI,CAAC,gBAAgB,CAAC,CAAC,CAAC,eAAe,EAAE,IAAI,CAAC,CAAC;YAC5D,OAAO,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC;QAChD,CAAC;IACH,CAAC;IACD,MAAM,IAAI,GAAG,mBAAmB,CAAC,CAAC,CAAC,CAAC;IACpC,MAAM,IAAI,GAAG,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,mBAAmB,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;IAC7D,OAAO,IAAI,IAAI,IAAI,KAAK,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC;AACvD,CAAC;AAQD;;;;;;;GAOG;AACH,KAAK,UAAU,mBAAmB,CAAC,CAAsB,EAAE,IAAsB;IAC/E,OAAO,CAAC,MAAM,yBAAyB,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,QAAQ,CAAC;AAC7D,CAAC;AAED,yFAAyF;AACzF,KAAK,UAAU,yBAAyB,CACtC,CAAsB,EACtB,IAAsB;IAEtB,IAAI,CAAC,CAAC,kBAAkB,KAAK,eAAe,IAAI,CAAC,CAAC,CAAC,SAAS,IAAI,CAAC,CAAC,CAAC,OAAO;QAAE,OAAO,EAAE,QAAQ,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,CAAC;IACjH,MAAM,GAAG,GAAG,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC;IAC3C,IAAI,GAAG,KAAK,IAAI;QAAE,OAAO,EAAE,QAAQ,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;IACjD,MAAM,QAAQ,GAAG,IAAI,CAAC,iBAAiB,CAAC,CAAC,CAAC,SAAS,EAAE,CAAC,CAAC,OAAO,EAAE,GAAG,CAAC,IAAI,EAAE,GAAG,CAAC,IAAI,CAAC,CAAC;IACpF,IAAI,QAAQ;QAAE,OAAO,EAAE,QAAQ,EAAE,EAAE,OAAO,EAAE,QAAQ,EAAE,WAAW,EAAE,IAAI,EAAE,EAAE,GAAG,EAAE,CAAC;IACjF,MAAM,OAAO,GAAG,MAAM,IAAI,CAAC,qBAAqB,CAAC,CAAC,CAAC,SAAS,EAAE,CAAC,CAAC,OAAO,EAAE,GAAG,CAAC,IAAI,EAAE,GAAG,CAAC,IAAI,CAAC,CAAC,KAAK,CAAC,GAAG,EAAE,CAAC,IAAI,CAAC,CAAC;IAC/G,OAAO,EAAE,QAAQ,EAAE,OAAO,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,OAAO,CAAC,OAAO,EAAE,WAAW,EAAE,OAAO,CAAC,WAAW,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE,GAAG,EAAE,CAAC;AAC5G,CAAC;AAED,mHAAmH;AACnH,MAAM,WAAW,GAAG,IAAI,GAAG,EAAyB,CAAC;AAErD,KAAK,UAAU,iBAAiB,CAAI,QAAgB,EAAE,EAAoB;IACxE,MAAM,KAAK,GAAG,WAAW,CAAC,GAAG,CAAC,QAAQ,CAAC,IAAI,OAAO,CAAC,OAAO,EAAE,CAAC;IAC7D,IAAI,OAAO,GAAe,GAAG,EAAE,GAAE,CAAC,CAAC;IACnC,MAAM,IAAI,GAAG,KAAK,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,IAAI,OAAO,CAAO,CAAC,OAAO,EAAE,EAAE,GAAG,OAAO,GAAG,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IACtF,WAAW,CAAC,GAAG,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAC;IAChC,MAAM,KAAK,CAAC;IACZ,IAAI,CAAC;QACH,OAAO,MAAM,EAAE,EAAE,CAAC;IACpB,CAAC;YAAS,CAAC;QACT,OAAO,EAAE,CAAC;QACV,IAAI,WAAW,CAAC,GAAG,CAAC,QAAQ,CAAC,KAAK,IAAI;YAAE,WAAW,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC;IACvE,CAAC;AACH,CAAC;AAKD,8GAA8G;AAC9G,KAAK,UAAU,cAAc,CAAC,CAAsB,EAAE,IAAsB;IAC1E,IAAI,CAAC,CAAC,CAAC,OAAO;QAAE,OAAO,EAAE,UAAU,EAAE,8BAA8B,EAAE,CAAC;IACtE,IAAI,CAAC;QACH,MAAM,GAAG,GAAG,CAAC,MAAM,IAAI,CAAC,kBAAkB,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,UAAU,CAAC,CAAC;QAC1F,OAAO,EAAE,QAAQ,EAAE,GAAG,EAAE,eAAe,KAAK,eAAe,CAAC,MAAM,EAAE,SAAS,EAAE,GAAG,EAAE,SAAS,EAAE,CAAC;IAClG,CAAC;IAAC,OAAO,GAAG,EAAE,CAAC;QACb,OAAO,EAAE,UAAU,EAAG,GAAa,CAAC,OAAO,EAAE,CAAC;IAChD,CAAC;AACH,CAAC;AAED,0GAA0G;AAC1G,SAAS,eAAe,CAAC,CAAsB,EAAE,IAAsB;IACrE,IAAI,UAAU,GAAG,KAAK,CAAC;IACvB,OAAO;QACL,aAAa,EAAE,KAAK,IAAI,EAAE;YACxB,MAAM,KAAK,GAAG,MAAM,cAAc,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC;YAC5C,UAAU,GAAG,UAAU,IAAI,KAAK,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC,2CAA2C;YAChG,OAAO,CAAC,UAAU,CAAC;QACrB,CAAC;QACD,IAAI,EAAE,GAAG,EAAE,CAAC,UAAU;KACvB,CAAC;AACJ,CAAC;AAKD,SAAS,mBAAmB,CAAC,IAAkB,EAAE,CAAsB,EAAE,MAAsB;IAC7F,GAAG,CAAC,IAAI,CACN,kBAAkB,IAAI,eAAe,CAAC,CAAC,YAAY,MAAM,CAAC,CAAC,UAAU,wCAAwC;UAC3G,QAAQ,MAAM,CAAC,OAAO,mFAAmF,CAC5G,CAAC;AACJ,CAAC;AAED,SAAS,cAAc,CAAC,IAAkB,EAAE,CAAsB,EAAE,GAAW;IAC7E,GAAG,CAAC,IAAI,CAAC,kBAAkB,IAAI,2CAA2C,CAAC,CAAC,YAAY,MAAM,CAAC,CAAC,UAAU,QAAQ,GAAG,EAAE,CAAC,CAAC;AAC3H,CAAC;AAED;;;;;GAKG;AACH,KAAK,UAAU,eAAe,CAC5B,CAAsB,EACtB,IAAsB,EACtB,IAAkB,EAClB,IAAY;IAEZ,MAAM,MAAM,GAAG,MAAM,cAAc,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC;IAC7C,IAAI,UAAU,IAAI,MAAM,IAAI,MAAM,CAAC,QAAQ;QAAE,OAAO,MAAM,CAAC;IAC3D,cAAc,CAAC,IAAI,EAAE,CAAC,EAAE,YAAY,IAAI,MAAM;QAC5C,CAAC,CAAC,kCAAkC,IAAI,KAAK,MAAM,CAAC,UAAU,6BAA6B;QAC3F,CAAC,CAAC,4BAA4B,IAAI,EAAE,CAAC,CAAC;IACxC,OAAO,IAAI,CAAC;AACd,CAAC;AAmBD;;;;GAIG;AACH,KAAK,UAAU,kBAAkB,CAAC,CAAsB,EAAE,IAAsB,EAAE,MAAsB;IACtG,MAAM,IAAI,GAAG,MAAM,CAAC,WAAW,EAAE,EAAE,IAAI,IAAI,CAAC;IAC5C,IAAI,IAAI,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC;IAC/B,IAAI,CAAC,CAAC,MAAM,IAAI,CAAC;QAAE,OAAO,KAAK,CAAC;IAChC,OAAO,CAAC,MAAM,eAAe,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,CAAC,IAAI,EAAE,8CAA8C,CAAC,CAAC,KAAK,IAAI,CAAC;AAChH,CAAC;AAED;;;;;;;;;GASG;AACH,KAAK,UAAU,UAAU,CACvB,CAAsB,EACtB,IAAsB,EACtB,MAAwB,EACxB,MAAsB;IAEtB,MAAM,MAAM,GAAG,MAAM,eAAe,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;IAC/D,IAAI,MAAM,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC;IACjC,MAAM,EAAE,QAAQ,EAAE,GAAG,EAAE,GAAG,MAAM,yBAAyB,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC;IACnE,MAAM,OAAO,GAAG,QAAQ,EAAE,OAAO,IAAI,IAAI,CAAC;IAC1C,MAAM,MAAM,GAAG,OAAO,CAAC,CAAC,CAAC,yBAAyB,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;IACnE,IAAI,MAAM,IAAI,MAAM,CAAC,aAAa,EAAE,CAAC,MAAM,EAAE,MAAM,CAAC,SAAS,CAAC;QAAE,OAAO,IAAI,CAAC;IAC5E,sFAAsF;IACtF,IAAI,CAAC,MAAM,IAAI,CAAC,sBAAsB,CAAC,CAAC,EAAE,GAAG,EAAE,IAAI,EAAE,MAAM,CAAC,IAAI,CAAC;QAAE,OAAO,IAAI,CAAC;IAC/E,IAAI,CAAC,CAAC,MAAM,kBAAkB,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,CAAC,CAAC;QAAE,OAAO,IAAI,CAAC;IAC9D,IAAI,OAAO,IAAI,MAAM,EAAE,CAAC;QACtB,IAAI,QAAQ,EAAE,WAAW,EAAE,CAAC;YAC1B,wEAAwE;YACxE,yEAAyE;YACzE,IAAI,CAAC,mBAAmB,CAAC,OAAO,CAAC,CAAC;YAClC,GAAG,CAAC,IAAI,CACN,kBAAkB,MAAM,CAAC,IAAI,eAAe,CAAC,CAAC,YAAY,MAAM,CAAC,CAAC,UAAU,mBAAmB,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG;kBACvH,2CAA2C,QAAQ,CAAC,WAAW,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,yCAAyC;kBACpH,qCAAqC,OAAO,CAAC,OAAO,kCAAkC,CACzF,CAAC;QACJ,CAAC;aAAM,CAAC;YACN,GAAG,CAAC,IAAI,CACN,kBAAkB,MAAM,CAAC,IAAI,eAAe,CAAC,CAAC,YAAY,MAAM,CAAC,CAAC,UAAU,gBAAgB,OAAO,CAAC,OAAO,YAAY;kBACrH,2BAA2B,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,sBAAsB,OAAO,CAAC,gBAAgB,kBAAkB,CACrH,CAAC;QACJ,CAAC;QACD,OAAO,MAAM,CAAC,CAAC,EAAE,IAAI,EAAE,EAAE,MAAM,EAAE,CAAC,CAAC;IACrC,CAAC;IACD,MAAM,KAAK,GAAG,eAAe,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC;IACvC,MAAM,MAAM,GAAG,MAAM,MAAM,CAAC,CAAC,EAAE,IAAI,EAAE,EAAE,aAAa,EAAE,KAAK,CAAC,aAAa,EAAE,CAAC,CAAC;IAC7E,IAAI,CAAC,KAAK,CAAC,IAAI,EAAE;QAAE,OAAO,MAAM,CAAC;IACjC,mBAAmB,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,EAAE,MAAM,CAAC,CAAC;IAC5C,OAAO,IAAI,CAAC;AACd,CAAC;AAED;;;;;;;;;GASG;AACH,MAAM,CAAC,KAAK,UAAU,0BAA0B,CAC9C,CAAsB,EACtB,IAAsB,EACtB,MAAwB;IAExB,OAAO,iBAAiB,CAAC,CAAC,CAAC,OAAO,IAAI,CAAC,CAAC,UAAU,EAAE,KAAK,IAAI,EAAE;QAC7D,MAAM,MAAM,GAAG,MAAM,UAAU,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,IAAI,EAAE,YAAY,EAAE,CAAC,CAAC;QACzE,IAAI,MAAM,KAAK,IAAI,EAAE,CAAC;YACpB,oBAAoB,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC;YACnC,OAAO,MAAM,CAAC;QAChB,CAAC;QACD,4EAA4E;QAC5E,4EAA4E;QAC5E,8EAA8E;QAC9E,8EAA8E;QAC9E,0EAA0E;QAC1E,yDAAyD;QACzD,MAAM,SAAS,GAAG,MAAM,CAAC,mBAAmB,KAAK,IAAI,IAAI,MAAM,CAAC,gBAAgB,KAAK,IAAI;YACvF,CAAC,CAAC,MAAM,yBAAyB,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC;YAChD,CAAC,CAAC,KAAK,CAAC;QACV,mBAAmB,CAAC,CAAC,CAAC,UAAU,EAAE,EAAE,GAAG,MAAM,EAAE,SAAS,EAAE,CAAC,CAAC;QAC5D,OAAO,MAAM,CAAC;IAChB,CAAC,CAAC,CAAC;AACL,CAAC;AAED,+HAA+H;AAC/H,MAAM,oBAAoB,GAAG,IAAI,OAAO,EAAuB,CAAC;AAEhE;;;;GAIG;AACH,KAAK,UAAU,kBAAkB,CAAC,CAAsB,EAAE,IAAsB;IAC9E,MAAM,UAAU,GAAG,IAAI,CAAC,6BAA6B,CAAC;IACtD,MAAM,KAAK,GAAG,UAAU,EAAE,CAAC;IAC3B,iBAAiB,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC;IAC5B,IAAI,MAAM,UAAU,CAAC,CAAC,CAAC,UAAU,EAAE,KAAK,CAAC,CAAC,KAAK,CAAC,GAAG,EAAE,CAAC,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC;IAC1E,GAAG,CAAC,IAAI,CACN,kEAAkE,CAAC,CAAC,YAAY,MAAM,CAAC,CAAC,UAAU,mBAAmB;UACnH,mIAAmI,CACtI,CAAC;IACF,OAAO,KAAK,CAAC;AACf,CAAC;AAED;;;;;;;;;;;;GAYG;AACH,MAAM,CAAC,KAAK,UAAU,oCAAoC,CACxD,QAAwC,EACxC,WAAgC,EAChC,aAA6C,EAC7C,IAAsB;IAEtB,OAAO,OAAO,CAAC,GAAG,CAAC,QAAQ,CAAC,GAAG,CAAC,KAAK,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE;QAC7C,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,UAAU,CAAC;YAAE,OAAO,IAAI,CAAC;QAChD,IAAI,MAAM,mBAAmB,CAAC,CAAC,EAAE,IAAI,CAAC,EAAE,CAAC;YACvC,oBAAoB,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;YAC5B,OAAO,IAAI,CAAC;QACd,CAAC;QACD,IAAI,MAAM,kBAAkB,CAAC,CAAC,EAAE,IAAI,CAAC;YAAE,OAAO,IAAI,CAAC;QACnD,aAAa,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,CAAC;QACxB,oBAAoB,CAAC,CAAC,CAAC,CAAC;QACxB,OAAO,KAAK,CAAC;IACf,CAAC,CAAC,CAAC,CAAC;AACN,CAAC;AAED,mHAAmH;AACnH,MAAM,gBAAgB,GAAG,IAAI,GAAG,EAAkB,CAAC;AAEnD;;;;GAIG;AACH,SAAS,iBAAiB,CAAC,CAAsB,EAAE,MAAsB,EAAE,SAAkB;IAC3F,MAAM,SAAS,GAAG,eAAe,CAAC,MAAM,CAAC,CAAC;IAC1C,IAAI,MAAM,CAAC,OAAO,KAAK,QAAQ,IAAI,SAAS,KAAK,IAAI,IAAI,uBAAuB,CAAC,SAAS,CAAC,CAAC,WAAW,KAAK,SAAS;QAAE,OAAO,IAAI,CAAC;IACnI,MAAM,GAAG,GAAG,mCAAmC,SAAS,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,iDAAiD;UACjH,6CAA6C,CAAC;IAClD,IAAI,gBAAgB,CAAC,GAAG,CAAC,CAAC,CAAC,UAAU,CAAC,KAAK,SAAS,EAAE,CAAC;QACrD,gBAAgB,CAAC,GAAG,CAAC,CAAC,CAAC,UAAU,EAAE,SAAS,CAAC,CAAC;QAC9C,cAAc,CAAC,UAAU,EAAE,CAAC,EAAE,GAAG,CAAC,CAAC;IACrC,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED;;;;;;;;;;;;;;GAcG;AACH,MAAM,CAAC,KAAK,UAAU,yBAAyB,CAC7C,CAAsB,EACtB,IAAsB,EACtB,MAAwB;IAExB,MAAM,EAAE,OAAO,EAAE,GAAG,CAAC,CAAC;IACtB,IAAI,CAAC,OAAO;QAAE,OAAO,MAAM,CAAC,CAAC,EAAE,IAAI,EAAE,EAAE,CAAC,CAAC;IACzC,IAAI,MAAM,GAAG,KAAK,CAAC;IACnB,IAAI,CAAC;QACH,MAAM,MAAM,GAAG,CAAC,CAAC,kBAAkB,KAAK,eAAe;YACrD,CAAC,CAAC,MAAM,iBAAiB,CAAC,OAAO,EAAE,GAAG,EAAE,CAAC,UAAU,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE;gBACnE,IAAI,EAAE,UAAU;gBAChB,aAAa,EAAE,CAAC,MAAM,EAAE,SAAS,EAAE,EAAE,CAAC,iBAAiB,CAAC,CAAC,EAAE,MAAM,EAAE,SAAS,CAAC;gBAC7E,WAAW,EAAE,GAAG,EAAE,CAAC,CAAC,oBAAoB,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,kBAAkB,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;aACzF,CAAC,CAAC;YACH,CAAC,CAAC,MAAM,UAAU,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE,CAAC,CAAC;QAC5D,MAAM,GAAG,MAAM,KAAK,IAAI,CAAC;QACzB,OAAO,MAAM,CAAC;IAChB,CAAC;YAAS,CAAC;QACT,IAAI,CAAC,MAAM;YAAE,oBAAoB,CAAC,CAAC,CAAC,CAAC;IACvC,CAAC;AACH,CAAC"}
+{"version":3,"file":"verification-commit-sharing.js","sourceRoot":"","sources":["../../../src/verify/engine/verification-commit-sharing.ts"],"names":[],"mappings":"AAAA,8FAA8F;AAC9F,8FAA8F;AAC9F,2EAA2E;AAC3E,yEAAyE;AACzE,gBAAgB;AAEhB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAyGG;AAEH,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AACzC,OAAO,EAAE,eAAe,EAAE,MAAM,qBAAqB,CAAC;AAItD,OAAO,EAAE,iBAAiB,EAA4B,MAAM,uCAAuC,CAAC;AACpG,OAAO,EAAE,oBAAoB,EAAE,MAAM,oCAAoC,CAAC;AAC1E,OAAO,EAAE,6BAA6B,EAA4B,MAAM,4CAA4C,CAAC;AACrH,OAAO,EAAE,gBAAgB,EAAE,MAAM,qDAAqD,CAAC;AACvF,OAAO,EAAE,6BAA6B,EAAE,MAAM,6CAA6C,CAAC;AAC5F,OAAO,EAAE,iBAAiB,EAAE,wBAAwB,EAAE,MAAM,yCAAyC,CAAC;AACtG,OAAO,EACL,wBAAwB,EACxB,kBAAkB,EAClB,qBAAqB,EACrB,sBAAsB,GAGvB,MAAM,uCAAuC,CAAC;AAC/C,OAAO,EAAE,uBAAuB,EAAE,MAAM,yCAAyC,CAAC;AAClF,OAAO,EACL,mBAAmB,EACnB,sBAAsB,EACtB,yBAAyB,GAG1B,MAAM,2CAA2C,CAAC;AACnD,OAAO,EAAE,eAAe,EAAE,uBAAuB,EAAE,MAAM,0DAA0D,CAAC;AACpH,OAAO,EAAE,mBAAmB,EAAE,oBAAoB,EAAE,MAAM,uCAAuC,CAAC;AAClG,OAAO,EAAE,yBAAyB,EAAE,MAAM,yCAAyC,CAAC;AACpF,OAAO,EAAE,YAAY,EAAE,MAAM,yBAAyB,CAAC;AAEvD,MAAM,GAAG,GAAG,YAAY,CAAC,EAAE,MAAM,EAAE,cAAc,EAAE,CAAC,CAAC;AAsBrD;;;;;;;;;;;;;;GAcG;AACH,MAAM,CAAC,KAAK,UAAU,aAAa,CACjC,CAAsB,EACtB,IAAsB,EACtB,WAA0C,EAC1C,IAAmB;IAEnB,IAAI,IAAI,EAAE,MAAM;QAAE,OAAO,EAAE,MAAM,EAAE,EAAE,GAAG,IAAI,CAAC,MAAM,EAAE,EAAE,uBAAuB,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC;IACrG,MAAM,aAAa,GAAG,CAAC,CAAC,kBAAkB,KAAK,eAAe,CAAC;IAC/D,iFAAiF;IACjF,qGAAqG;IACrG,MAAM,GAAG,GAAG,CAAC,aAAa,CAAC,CAAC,CAAC,MAAM,wBAAwB,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,MAAM,WAAW,EAAE,CAAC;IACpG,+EAA+E;IAC/E,0EAA0E;IAC1E,MAAM,MAAM,GAAG,aAAa,IAAI,GAAG,CAAC,QAAQ,KAAK,IAAI;QACnD,CAAC,CAAC,gBAAgB,CAAC,GAAG,EAAE,aAAa,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,uBAAuB,CAAC,GAAG,CAAC,CAAC;QAC5E,CAAC,CAAC,EAAE,GAAG,GAAG,EAAE,CAAC;IACf,iFAAiF;IACjF,2FAA2F;IAC3F,IAAI,aAAa,IAAI,MAAM,CAAC,OAAO,KAAK,QAAQ,IAAI,MAAM,CAAC,aAAa,EAAE,KAAK,EAAE,CAAC;QAChF,MAAM,6BAA6B,CAAC,CAAC,EAAE,MAAM,EAAE,uBAAuB,CAAC,MAAM,CAAC,EAAE,IAAI,CAAC,CAAC;IACxF,CAAC;IACD,MAAM,uBAAuB,GAAG,aAAa,IAAI,MAAM,CAAC,OAAO,KAAK,QAAQ;QAC1E,CAAC,CAAC,MAAM,6BAA6B,CAAC,CAAC,EAAE,MAAM,EAAE,IAAI,CAAC;QACtD,CAAC,CAAC,IAAI,CAAC;IACT,IAAI,aAAa,EAAE,CAAC;QAClB,sBAAsB,CAAC,CAAC,EAAE,MAAM,EAAE,uBAAuB,KAAK,IAAI,EAAE,IAAI,CAAC,mBAAmB,EAAE,uBAAuB,CAAC,CAAC;QACvH,MAAM,kBAAkB,CAAC,CAAC,EAAE,MAAM,EAAE,uBAAuB,KAAK,IAAI,EAAE,IAAI,CAAC,CAAC;QAC5E,IAAI,uBAAuB,KAAK,IAAI;YAAE,iBAAiB,CAAC,CAAC,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC,uBAAuB,CAAC,MAAM,CAAC,EAAE,IAAI,CAAC,aAAa,CAAC,CAAC;IAChI,CAAC;IACD,6EAA6E;IAC7E,+EAA+E;IAC/E,MAAM,MAAM,GAAG,IAAI,EAAE,aAAa,CAAC,CAAC,CAAC,MAAM,IAAI,CAAC,aAAa,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC;IACvE,OAAO,EAAE,MAAM,EAAE,uBAAuB,EAAE,MAAM,EAAE,CAAC;AACrD,CAAC;AAED,6EAA6E;AAC7E,SAAS,aAAa,CAAC,CAAsB,EAAE,MAAsB;IACnE,MAAM,OAAO,GAAG,MAAM,CAAC,aAAa,EAAE,OAAO,IAAI,CAAC,CAAC,kBAAkB,EAAE,OAAO,CAAC;IAC/E,OAAO,OAAO,OAAO,KAAK,QAAQ,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC;AAC5E,CAAC;AAED;;;;;GAKG;AACH,KAAK,UAAU,kBAAkB,CAAC,CAAsB,EAAE,MAAsB,EAAE,eAAwB,EAAE,IAAsB;IAChI,MAAM,KAAK,GAAG,IAAI,CAAC,UAAU,CAAC;IAC9B,IAAI,MAAM,CAAC,mBAAmB,IAAI,MAAM,CAAC,gBAAgB;QAAE,OAAO;IAClE,MAAM,IAAI,GAAyB,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,kBAAkB,CAAC,CAAC,CAAC,IAAI,CAAC;IAC/G,MAAM,OAAO,GAAG,MAAM,CAAC,aAAa,CAAC;IACrC,MAAM,IAAI,GAAG,OAAO,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,OAAO,CAAC,OAAO,EAAE,SAAS,EAAE,OAAO,CAAC,SAAS,EAAE,CAAC,CAAC,CAAC,mBAAmB,CAAC,CAAC,CAAC,CAAC;IAC3G,MAAM,GAAG,GAAG,MAAM,CAAC,WAAW,CAAC;IAC/B,IAAI,IAAI,KAAK,IAAI,IAAI,CAAC,CAAC,CAAC,SAAS,IAAI,CAAC,CAAC,CAAC,OAAO,IAAI,CAAC,IAAI,IAAI,CAAC,GAAG;QAAE,OAAO;IACzE,MAAM,GAAG,GAAiB,EAAE,SAAS,EAAE,CAAC,CAAC,SAAS,EAAE,OAAO,EAAE,CAAC,CAAC,OAAO,EAAE,GAAG,EAAE,IAAI,EAAE,CAAC;IACpF,MAAM,EAAE,MAAM,EAAE,KAAK,EAAE,GAAG,KAAK,CAAC,SAAS,CAAC,GAAG,EAAE,EAAE,UAAU,EAAE,CAAC,CAAC,UAAU,EAAE,IAAI,EAAE,CAAC,CAAC;IACnF,GAAG,CAAC,IAAI,CACN,wBAAwB,CAAC,CAAC,OAAO,WAAW,GAAG,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,2BAA2B,CAAC,CAAC,UAAU,yBAAyB,IAAI,KAAK;UAClI,GAAG,KAAK,CAAC,IAAI,CAAC,MAAM,iFAAiF,IAAI,CAAC,KAAK,CAAC,kBAAkB,CAAC,MAAM,CAAC,GAAG,KAAK,CAAC,MAAM,CAC5J,CAAC;IACF,wGAAwG;IACxG,IAAI,CAAC,sBAAsB,CAAC,KAAK,CAAC;QAAE,OAAO;IAC3C,IAAI,CAAC;QACH,MAAM,IAAI,CAAC,cAAc,CAAC,wBAAwB,CAAC,KAAK,EAAE,IAAI,CAAC,cAAc,CAAC,CAAC,CAAC;QAChF,KAAK,CAAC,aAAa,CAAC,KAAK,CAAC,CAAC;IAC7B,CAAC;IAAC,OAAO,GAAG,EAAE,CAAC;QACb,GAAG,CAAC,IAAI,CAAC,+DAA+D,CAAC,CAAC,OAAO,IAAI,GAAG,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,EAAG,GAAa,CAAC,OAAO,CAAC,CAAC;IACnI,CAAC;AACH,CAAC;AAED,kHAAkH;AAClH,MAAM,mBAAmB,GAAG,IAAI,GAAG,EAAkB,CAAC;AAEtD;;;;GAIG;AACH,SAAS,sBAAsB,CAAC,CAAsB,EAAE,GAAqD,EAAE,IAAsB,EAAE,IAAkB;IACvJ,MAAM,KAAK,GAAG,IAAI,CAAC,UAAU,CAAC;IAC9B,IAAI,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC,SAAS,IAAI,CAAC,CAAC,CAAC,OAAO;QAAE,OAAO,IAAI,CAAC;IACpD,MAAM,SAAS,GAAiB,EAAE,SAAS,EAAE,CAAC,CAAC,SAAS,EAAE,OAAO,EAAE,CAAC,CAAC,OAAO,EAAE,GAAG,EAAE,GAAG,CAAC,IAAI,EAAE,IAAI,EAAE,GAAG,CAAC,IAAI,EAAE,CAAC;IAC9G,MAAM,MAAM,GAAG,KAAK,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;IACrC,MAAM,IAAI,GAAG,qBAAqB,CAAC,MAAM,EAAE,KAAK,CAAC,GAAG,EAAE,CAAC,CAAC;IACxD,IAAI,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC;QACd,MAAM,MAAM,GAAG,GAAG,GAAG,CAAC,IAAI,IAAI,MAAM,EAAE,IAAI,CAAC,MAAM,IAAI,CAAC,EAAE,CAAC;QACzD,IAAI,mBAAmB,CAAC,GAAG,CAAC,CAAC,CAAC,UAAU,CAAC,KAAK,MAAM,EAAE,CAAC;YACrD,mBAAmB,CAAC,GAAG,CAAC,CAAC,CAAC,UAAU,EAAE,MAAM,CAAC,CAAC;YAC9C,cAAc,CAAC,IAAI,EAAE,CAAC,EAAE,GAAG,IAAI,CAAC,GAAG,gBAAgB,IAAI,CAAC,KAAK,EAAE,CAAC,CAAC;QACnE,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC;IACD,IAAI,IAAI,CAAC,UAAU,KAAK,IAAI,EAAE,CAAC;QAC7B,KAAK,CAAC,gBAAgB,CAAC,SAAS,EAAE,EAAE,UAAU,EAAE,CAAC,CAAC,UAAU,EAAE,MAAM,EAAE,IAAI,CAAC,UAAU,EAAE,CAAC,CAAC;QACzF,GAAG,CAAC,IAAI,CAAC,kBAAkB,IAAI,eAAe,CAAC,CAAC,YAAY,MAAM,CAAC,CAAC,UAAU,4BAA4B,IAAI,CAAC,UAAU,EAAE,CAAC,CAAC;IAC/H,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAKD;;;;;;;GAOG;AACH,SAAS,UAAU,CAAC,CAAsB,EAAE,OAAe,EAAE,IAAsB;IACjF,IAAI,CAAC,CAAC,eAAe,EAAE,CAAC;QACtB,MAAM,IAAI,GAAG,IAAI,CAAC,wBAAwB,CAAC,OAAO,CAAC,CAAC;QACpD,IAAI,IAAI,KAAK,IAAI,EAAE,CAAC;YAClB,IAAI,YAAY,IAAI,IAAI;gBAAE,OAAO,IAAI,CAAC;YACtC,MAAM,IAAI,GAAG,IAAI,CAAC,gBAAgB,CAAC,CAAC,CAAC,eAAe,EAAE,IAAI,CAAC,CAAC;YAC5D,OAAO,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC;QAChD,CAAC;IACH,CAAC;IACD,MAAM,IAAI,GAAG,mBAAmB,CAAC,CAAC,CAAC,CAAC;IACpC,MAAM,IAAI,GAAG,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,mBAAmB,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;IAC7D,OAAO,IAAI,IAAI,IAAI,KAAK,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC;AACvD,CAAC;AAQD;;;;;;;GAOG;AACH,KAAK,UAAU,mBAAmB,CAAC,CAAsB,EAAE,IAAsB;IAC/E,OAAO,CAAC,MAAM,yBAAyB,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,QAAQ,CAAC;AAC7D,CAAC;AAED,yFAAyF;AACzF,KAAK,UAAU,yBAAyB,CACtC,CAAsB,EACtB,IAAsB;IAEtB,IAAI,CAAC,CAAC,kBAAkB,KAAK,eAAe,IAAI,CAAC,CAAC,CAAC,SAAS,IAAI,CAAC,CAAC,CAAC,OAAO;QAAE,OAAO,EAAE,QAAQ,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,CAAC;IACjH,MAAM,GAAG,GAAG,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC;IAC3C,IAAI,GAAG,KAAK,IAAI;QAAE,OAAO,EAAE,QAAQ,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;IACjD,MAAM,QAAQ,GAAG,IAAI,CAAC,iBAAiB,CAAC,CAAC,CAAC,SAAS,EAAE,CAAC,CAAC,OAAO,EAAE,GAAG,CAAC,IAAI,EAAE,GAAG,CAAC,IAAI,CAAC,CAAC;IACpF,IAAI,QAAQ;QAAE,OAAO,EAAE,QAAQ,EAAE,EAAE,OAAO,EAAE,QAAQ,EAAE,WAAW,EAAE,IAAI,EAAE,EAAE,GAAG,EAAE,CAAC;IACjF,MAAM,OAAO,GAAG,MAAM,IAAI,CAAC,qBAAqB,CAAC,CAAC,CAAC,SAAS,EAAE,CAAC,CAAC,OAAO,EAAE,GAAG,CAAC,IAAI,EAAE,GAAG,CAAC,IAAI,CAAC,CAAC,KAAK,CAAC,GAAG,EAAE,CAAC,IAAI,CAAC,CAAC;IAC/G,OAAO,EAAE,QAAQ,EAAE,OAAO,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,OAAO,CAAC,OAAO,EAAE,WAAW,EAAE,OAAO,CAAC,WAAW,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE,GAAG,EAAE,CAAC;AAC5G,CAAC;AAED,mHAAmH;AACnH,MAAM,WAAW,GAAG,IAAI,GAAG,EAAyB,CAAC;AAErD,KAAK,UAAU,iBAAiB,CAAI,QAAgB,EAAE,EAAoB;IACxE,MAAM,KAAK,GAAG,WAAW,CAAC,GAAG,CAAC,QAAQ,CAAC,IAAI,OAAO,CAAC,OAAO,EAAE,CAAC;IAC7D,IAAI,OAAO,GAAe,GAAG,EAAE,GAAE,CAAC,CAAC;IACnC,MAAM,IAAI,GAAG,KAAK,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,IAAI,OAAO,CAAO,CAAC,OAAO,EAAE,EAAE,GAAG,OAAO,GAAG,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IACtF,WAAW,CAAC,GAAG,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAC;IAChC,MAAM,KAAK,CAAC;IACZ,IAAI,CAAC;QACH,OAAO,MAAM,EAAE,EAAE,CAAC;IACpB,CAAC;YAAS,CAAC;QACT,OAAO,EAAE,CAAC;QACV,IAAI,WAAW,CAAC,GAAG,CAAC,QAAQ,CAAC,KAAK,IAAI;YAAE,WAAW,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC;IACvE,CAAC;AACH,CAAC;AAKD,8GAA8G;AAC9G,KAAK,UAAU,cAAc,CAAC,CAAsB,EAAE,IAAsB;IAC1E,IAAI,CAAC,CAAC,CAAC,OAAO;QAAE,OAAO,EAAE,UAAU,EAAE,8BAA8B,EAAE,CAAC;IACtE,IAAI,CAAC;QACH,MAAM,GAAG,GAAG,CAAC,MAAM,IAAI,CAAC,kBAAkB,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,UAAU,CAAC,CAAC;QAC1F,OAAO,EAAE,QAAQ,EAAE,GAAG,EAAE,eAAe,KAAK,eAAe,CAAC,MAAM,EAAE,SAAS,EAAE,GAAG,EAAE,SAAS,EAAE,CAAC;IAClG,CAAC;IAAC,OAAO,GAAG,EAAE,CAAC;QACb,OAAO,EAAE,UAAU,EAAG,GAAa,CAAC,OAAO,EAAE,CAAC;IAChD,CAAC;AACH,CAAC;AAED,0GAA0G;AAC1G,SAAS,eAAe,CAAC,CAAsB,EAAE,IAAsB;IACrE,IAAI,UAAU,GAAG,KAAK,CAAC;IACvB,OAAO;QACL,aAAa,EAAE,KAAK,IAAI,EAAE;YACxB,MAAM,KAAK,GAAG,MAAM,cAAc,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC;YAC5C,UAAU,GAAG,UAAU,IAAI,KAAK,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC,2CAA2C;YAChG,OAAO,CAAC,UAAU,CAAC;QACrB,CAAC;QACD,IAAI,EAAE,GAAG,EAAE,CAAC,UAAU;KACvB,CAAC;AACJ,CAAC;AAKD,SAAS,mBAAmB,CAAC,IAAkB,EAAE,CAAsB,EAAE,MAAsB;IAC7F,GAAG,CAAC,IAAI,CACN,kBAAkB,IAAI,eAAe,CAAC,CAAC,YAAY,MAAM,CAAC,CAAC,UAAU,wCAAwC;UAC3G,QAAQ,MAAM,CAAC,OAAO,mFAAmF,CAC5G,CAAC;AACJ,CAAC;AAED,SAAS,cAAc,CAAC,IAAkB,EAAE,CAAsB,EAAE,GAAW;IAC7E,GAAG,CAAC,IAAI,CAAC,kBAAkB,IAAI,2CAA2C,CAAC,CAAC,YAAY,MAAM,CAAC,CAAC,UAAU,QAAQ,GAAG,EAAE,CAAC,CAAC;AAC3H,CAAC;AAED;;;;;GAKG;AACH,KAAK,UAAU,eAAe,CAC5B,CAAsB,EACtB,IAAsB,EACtB,IAAkB,EAClB,IAAY;IAEZ,MAAM,MAAM,GAAG,MAAM,cAAc,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC;IAC7C,IAAI,UAAU,IAAI,MAAM,IAAI,MAAM,CAAC,QAAQ;QAAE,OAAO,MAAM,CAAC;IAC3D,cAAc,CAAC,IAAI,EAAE,CAAC,EAAE,YAAY,IAAI,MAAM;QAC5C,CAAC,CAAC,kCAAkC,IAAI,KAAK,MAAM,CAAC,UAAU,6BAA6B;QAC3F,CAAC,CAAC,4BAA4B,IAAI,EAAE,CAAC,CAAC;IACxC,OAAO,IAAI,CAAC;AACd,CAAC;AAmBD;;;;GAIG;AACH,KAAK,UAAU,kBAAkB,CAAC,CAAsB,EAAE,IAAsB,EAAE,MAAsB;IACtG,MAAM,IAAI,GAAG,MAAM,CAAC,WAAW,EAAE,EAAE,IAAI,IAAI,CAAC;IAC5C,IAAI,IAAI,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC;IAC/B,IAAI,CAAC,CAAC,MAAM,IAAI,CAAC;QAAE,OAAO,KAAK,CAAC;IAChC,OAAO,CAAC,MAAM,eAAe,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,CAAC,IAAI,EAAE,8CAA8C,CAAC,CAAC,KAAK,IAAI,CAAC;AAChH,CAAC;AAED;;;;;;;;;GASG;AACH,KAAK,UAAU,UAAU,CACvB,CAAsB,EACtB,IAAsB,EACtB,MAAwB,EACxB,MAAsB;IAEtB,MAAM,MAAM,GAAG,MAAM,eAAe,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;IAC/D,IAAI,MAAM,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC;IACjC,MAAM,EAAE,QAAQ,EAAE,GAAG,EAAE,GAAG,MAAM,yBAAyB,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC;IACnE,MAAM,OAAO,GAAG,QAAQ,EAAE,OAAO,IAAI,IAAI,CAAC;IAC1C,MAAM,MAAM,GAAG,OAAO,CAAC,CAAC,CAAC,yBAAyB,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;IACnE,IAAI,MAAM,IAAI,MAAM,CAAC,aAAa,EAAE,CAAC,MAAM,EAAE,MAAM,CAAC,SAAS,CAAC;QAAE,OAAO,IAAI,CAAC;IAC5E,sFAAsF;IACtF,IAAI,CAAC,MAAM,IAAI,CAAC,sBAAsB,CAAC,CAAC,EAAE,GAAG,EAAE,IAAI,EAAE,MAAM,CAAC,IAAI,CAAC;QAAE,OAAO,IAAI,CAAC;IAC/E,IAAI,CAAC,CAAC,MAAM,kBAAkB,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,CAAC,CAAC;QAAE,OAAO,IAAI,CAAC;IAC9D,IAAI,OAAO,IAAI,MAAM,EAAE,CAAC;QACtB,IAAI,QAAQ,EAAE,WAAW,EAAE,CAAC;YAC1B,wEAAwE;YACxE,yEAAyE;YACzE,IAAI,CAAC,mBAAmB,CAAC,OAAO,CAAC,CAAC;YAClC,GAAG,CAAC,IAAI,CACN,kBAAkB,MAAM,CAAC,IAAI,eAAe,CAAC,CAAC,YAAY,MAAM,CAAC,CAAC,UAAU,mBAAmB,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG;kBACvH,2CAA2C,QAAQ,CAAC,WAAW,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,yCAAyC;kBACpH,qCAAqC,OAAO,CAAC,OAAO,kCAAkC,CACzF,CAAC;QACJ,CAAC;aAAM,CAAC;YACN,GAAG,CAAC,IAAI,CACN,kBAAkB,MAAM,CAAC,IAAI,eAAe,CAAC,CAAC,YAAY,MAAM,CAAC,CAAC,UAAU,gBAAgB,OAAO,CAAC,OAAO,YAAY;kBACrH,2BAA2B,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,sBAAsB,OAAO,CAAC,gBAAgB,kBAAkB,CACrH,CAAC;QACJ,CAAC;QACD,OAAO,MAAM,CAAC,CAAC,EAAE,IAAI,EAAE,EAAE,MAAM,EAAE,CAAC,CAAC;IACrC,CAAC;IACD,MAAM,KAAK,GAAG,eAAe,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC;IACvC,MAAM,MAAM,GAAG,MAAM,MAAM,CAAC,CAAC,EAAE,IAAI,EAAE,EAAE,aAAa,EAAE,KAAK,CAAC,aAAa,EAAE,CAAC,CAAC;IAC7E,IAAI,CAAC,KAAK,CAAC,IAAI,EAAE;QAAE,OAAO,MAAM,CAAC;IACjC,mBAAmB,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,EAAE,MAAM,CAAC,CAAC;IAC5C,OAAO,IAAI,CAAC;AACd,CAAC;AAED;;;;;;;;;GASG;AACH,MAAM,CAAC,KAAK,UAAU,0BAA0B,CAC9C,CAAsB,EACtB,IAAsB,EACtB,MAAwB;IAExB,OAAO,iBAAiB,CAAC,CAAC,CAAC,OAAO,IAAI,CAAC,CAAC,UAAU,EAAE,KAAK,IAAI,EAAE;QAC7D,MAAM,MAAM,GAAG,MAAM,UAAU,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,IAAI,EAAE,YAAY,EAAE,CAAC,CAAC;QACzE,IAAI,MAAM,KAAK,IAAI,EAAE,CAAC;YACpB,oBAAoB,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC;YACnC,OAAO,MAAM,CAAC;QAChB,CAAC;QACD,4EAA4E;QAC5E,4EAA4E;QAC5E,8EAA8E;QAC9E,8EAA8E;QAC9E,0EAA0E;QAC1E,yDAAyD;QACzD,MAAM,SAAS,GAAG,MAAM,CAAC,mBAAmB,KAAK,IAAI,IAAI,MAAM,CAAC,gBAAgB,KAAK,IAAI;YACvF,CAAC,CAAC,MAAM,yBAAyB,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC;YAChD,CAAC,CAAC,KAAK,CAAC;QACV,mBAAmB,CAAC,CAAC,CAAC,UAAU,EAAE,EAAE,GAAG,MAAM,EAAE,SAAS,EAAE,CAAC,CAAC;QAC5D,OAAO,MAAM,CAAC;IAChB,CAAC,CAAC,CAAC;AACL,CAAC;AAED,+HAA+H;AAC/H,MAAM,oBAAoB,GAAG,IAAI,OAAO,EAAuB,CAAC;AAEhE;;;;GAIG;AACH,KAAK,UAAU,kBAAkB,CAAC,CAAsB,EAAE,IAAsB;IAC9E,MAAM,UAAU,GAAG,IAAI,CAAC,6BAA6B,CAAC;IACtD,MAAM,KAAK,GAAG,UAAU,EAAE,CAAC;IAC3B,iBAAiB,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC;IAC5B,IAAI,MAAM,UAAU,CAAC,CAAC,CAAC,UAAU,EAAE,KAAK,CAAC,CAAC,KAAK,CAAC,GAAG,EAAE,CAAC,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC;IAC1E,GAAG,CAAC,IAAI,CACN,kEAAkE,CAAC,CAAC,YAAY,MAAM,CAAC,CAAC,UAAU,mBAAmB;UACnH,mIAAmI,CACtI,CAAC;IACF,OAAO,KAAK,CAAC;AACf,CAAC;AAED;;;;;;;;;;;;GAYG;AACH,MAAM,CAAC,KAAK,UAAU,oCAAoC,CACxD,QAAwC,EACxC,WAAgC,EAChC,aAA6C,EAC7C,IAAsB;IAEtB,OAAO,OAAO,CAAC,GAAG,CAAC,QAAQ,CAAC,GAAG,CAAC,KAAK,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE;QAC7C,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,UAAU,CAAC;YAAE,OAAO,IAAI,CAAC;QAChD,IAAI,MAAM,mBAAmB,CAAC,CAAC,EAAE,IAAI,CAAC,EAAE,CAAC;YACvC,oBAAoB,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;YAC5B,OAAO,IAAI,CAAC;QACd,CAAC;QACD,IAAI,MAAM,kBAAkB,CAAC,CAAC,EAAE,IAAI,CAAC;YAAE,OAAO,IAAI,CAAC;QACnD,aAAa,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,CAAC;QACxB,oBAAoB,CAAC,CAAC,CAAC,CAAC;QACxB,OAAO,KAAK,CAAC;IACf,CAAC,CAAC,CAAC,CAAC;AACN,CAAC;AAED,mHAAmH;AACnH,MAAM,gBAAgB,GAAG,IAAI,GAAG,EAAkB,CAAC;AAEnD;;;;GAIG;AACH,SAAS,iBAAiB,CAAC,CAAsB,EAAE,MAAsB,EAAE,SAAkB;IAC3F,MAAM,SAAS,GAAG,eAAe,CAAC,MAAM,CAAC,CAAC;IAC1C,IAAI,MAAM,CAAC,OAAO,KAAK,QAAQ,IAAI,SAAS,KAAK,IAAI,IAAI,uBAAuB,CAAC,SAAS,CAAC,CAAC,WAAW,KAAK,SAAS;QAAE,OAAO,IAAI,CAAC;IACnI,MAAM,GAAG,GAAG,mCAAmC,SAAS,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,iDAAiD;UACjH,6CAA6C,CAAC;IAClD,IAAI,gBAAgB,CAAC,GAAG,CAAC,CAAC,CAAC,UAAU,CAAC,KAAK,SAAS,EAAE,CAAC;QACrD,gBAAgB,CAAC,GAAG,CAAC,CAAC,CAAC,UAAU,EAAE,SAAS,CAAC,CAAC;QAC9C,cAAc,CAAC,UAAU,EAAE,CAAC,EAAE,GAAG,CAAC,CAAC;IACrC,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED;;;;;;;;;;;;;;GAcG;AACH,MAAM,CAAC,KAAK,UAAU,yBAAyB,CAC7C,CAAsB,EACtB,IAAsB,EACtB,MAAwB;IAExB,MAAM,EAAE,OAAO,EAAE,GAAG,CAAC,CAAC;IACtB,IAAI,CAAC,OAAO;QAAE,OAAO,MAAM,CAAC,CAAC,EAAE,IAAI,EAAE,EAAE,CAAC,CAAC;IACzC,IAAI,MAAM,GAAG,KAAK,CAAC;IACnB,IAAI,CAAC;QACH,MAAM,MAAM,GAAG,CAAC,CAAC,kBAAkB,KAAK,eAAe;YACrD,CAAC,CAAC,MAAM,iBAAiB,CAAC,OAAO,EAAE,GAAG,EAAE,CAAC,UAAU,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE;gBACnE,IAAI,EAAE,UAAU;gBAChB,aAAa,EAAE,CAAC,MAAM,EAAE,SAAS,EAAE,EAAE,CAAC,iBAAiB,CAAC,CAAC,EAAE,MAAM,EAAE,SAAS,CAAC;gBAC7E,WAAW,EAAE,GAAG,EAAE,CAAC,CAAC,oBAAoB,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,kBAAkB,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;aACzF,CAAC,CAAC;YACH,CAAC,CAAC,MAAM,UAAU,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE,CAAC,CAAC;QAC5D,MAAM,GAAG,MAAM,KAAK,IAAI,CAAC;QACzB,OAAO,MAAM,CAAC;IAChB,CAAC;YAAS,CAAC;QACT,IAAI,CAAC,MAAM;YAAE,oBAAoB,CAAC,CAAC,CAAC,CAAC;IACvC,CAAC;AACH,CAAC"}

package/dist/verify/engine/verification-deps.d.ts

@@ -56,6 +56,9 @@ import type { GateSegment } from '../deterministic-gate/verification-gate-stages
 import type { ShortfallRulingsReader } from '../shortfalls/shortfall-rulings.js';
 import type { UnresolvedEvidenceRef } from '../shortfalls/ruling-evidence-resolution.js';
 import type { EvidenceRef } from '../../drift/artifact-ref-shape.js';
+import type { FailingTestRerunner } from '../failing-test-rerun/failing-test-rerunner.js';
+import type { FlakyTestFindingFiler } from '../failing-test-rerun/failing-test-retry.js';
+import type { ReworkRecheckStore } from '../failing-test-rerun/rework-recheck.js';
 /**
  * Run the gate stages that never ran after a pre-existing red (a parsed run's
  * continuation segments) at the commit `head` judged, returning that run's result.
@@ -408,6 +411,26 @@ export interface VerificationDeps {
      * (verify/attribution/verification-attribution.ts buildDefaultStageContinuation).
      */
     runStageContinuation: StageContinuationRunner;
+    /**
+     * Run the product's declared re-run command (telora.verify.json `rerunCommand`)
+     * over named test files at a commit (verify/failing-test-rerun/failing-test-rerunner.ts):
+     * the same-commit retry of a small red and the post-rework re-check. Production
+     * binds a fixed-commit run in a checkout pinned to that commit.
+     */
+    runFailingTestRerun: FailingTestRerunner;
+    /**
+     * Record a flaky-test finding (failing tests that passed when re-run on the same
+     * commit) against the product (verify/failing-test-rerun/failing-test-retry.ts).
+     * Throws when it could not be recorded -- the retry then does not pass the red.
+     * Production files a machine-lane observation anchored to the product.
+     */
+    fileFlakyTestFinding: FlakyTestFindingFiler;
+    /**
+     * The per-delivery record of the failing tests its last verdict charged, re-checked
+     * first at its next commit (verify/failing-test-rerun/rework-recheck.ts).
+     * Production keeps one file per delivery under the state dir.
+     */
+    reworkRecheck: ReworkRecheckStore;
     /**
      * Record the verdict a deterministic run rendered for its judged commit
      * (verify/gate-verdicts/commit-verdict-record.ts). Production writes the durable

package/dist/verify/engine/verification-deps.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"verification-deps.d.ts","sourceRoot":"","sources":["../../../src/verify/engine/verification-deps.ts"],"names":[],"mappings":"AAIA;;;;;;;;;;;;;;;;;;;;;;;GAuBG;AAEH,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,0CAA0C,CAAC;AAClF,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,qDAAqD,CAAC;AAC1F,OAAO,KAAK,EAAE,wBAAwB,EAAE,MAAM,qDAAqD,CAAC;AACpG,OAAO,KAAK,EAAE,iBAAiB,EAAE,mBAAmB,EAAE,qBAAqB,EAAE,MAAM,2CAA2C,CAAC;AAC/H,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,uCAAuC,CAAC;AAC5E,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,0CAA0C,CAAC;AAC/E,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,qCAAqC,CAAC;AAC1E,OAAO,KAAK,EAAE,yBAAyB,EAAE,MAAM,yCAAyC,CAAC;AACzF,OAAO,KAAK,EAAE,oBAAoB,EAAE,MAAM,wCAAwC,CAAC;AACnF,OAAO,KAAK,EAAE,sBAAsB,EAAE,MAAM,8CAA8C,CAAC;AAC3F,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,gDAAgD,CAAC;AACrF,OAAO,KAAK,EAAE,0BAA0B,EAAE,MAAM,iDAAiD,CAAC;AAClG,OAAO,KAAK,EACV,uBAAuB,EACvB,mBAAmB,EACnB,mBAAmB,EACpB,MAAM,4CAA4C,CAAC;AACpD,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,oCAAoC,CAAC;AACxE,OAAO,KAAK,EAAE,YAAY,EAAE,sBAAsB,EAAE,iBAAiB,EAAE,eAAe,EAAE,MAAM,gDAAgD,CAAC;AAC/I,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,mDAAmD,CAAC;AACxF,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,gCAAgC,CAAC;AAC1E,OAAO,KAAK,EAAE,yBAAyB,EAAE,kBAAkB,EAAE,MAAM,0DAA0D,CAAC;AAC9H,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,wCAAwC,CAAC;AACjF,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,6CAA6C,CAAC;AAClF,OAAO,KAAK,EAAE,sBAAsB,EAAE,MAAM,uDAAuD,CAAC;AACpG,OAAO,KAAK,EAAE,yBAAyB,EAAE,2BAA2B,EAAE,uBAAuB,EAAE,MAAM,uCAAuC,CAAC;AAC7I,OAAO,KAAK,EAAE,oBAAoB,EAAE,gBAAgB,EAAE,MAAM,6CAA6C,CAAC;AAC1G,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,iDAAiD,CAAC;AACvF,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,0CAA0C,CAAC;AACjF,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,kCAAkC,CAAC;AAC3E,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,mDAAmD,CAAC;AAC5F,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,kDAAkD,CAAC;AACzF,OAAO,KAAK,EAAE,uBAAuB,EAAE,MAAM,yCAAyC,CAAC;AACvF,OAAO,KAAK,EAAE,qBAAqB,EAAE,MAAM,yCAAyC,CAAC;AACrF,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,mDAAmD,CAAC;AACrF,OAAO,KAAK,EAAE,sBAAsB,EAAE,MAAM,oCAAoC,CAAC;AACjF,OAAO,KAAK,EAAE,qBAAqB,EAAE,MAAM,6CAA6C,CAAC;AACzF,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,mCAAmC,CAAC;AAErE;;;GAGG;AACH,MAAM,MAAM,uBAAuB,GAAG,CACpC,CAAC,EAAE,mBAAmB,EACtB,QAAQ,EAAE,SAAS,WAAW,EAAE,EAChC,IAAI,EAAE,cAAc,KACjB,OAAO,CAAC,cAAc,CAAC,CAAC;AAE7B,MAAM,WAAW,0BAA0B;IACzC,OAAO,EAAE,MAAM,GAAG,IAAI,CAAC;IACvB,SAAS,EAAE,MAAM,GAAG,IAAI,CAAC;IACzB,eAAe,EAAE,MAAM,CAAC;IACxB,WAAW,EAAE;QACX,MAAM,EAAE,MAAM,GAAG,IAAI,CAAC;QACtB,IAAI,EAAE,kBAAkB,GAAG,UAAU,GAAG,aAAa,GAAG,kBAAkB,GAAG,gBAAgB,CAAC;QAC9F,QAAQ,EAAE,MAAM,CAAC;QACjB,mBAAmB,EAAE,MAAM,CAAC;KAC7B,CAAC;CACH;AAED,MAAM,WAAW,gBAAgB;IAC/B,uBAAuB,EAAE,OAAO,uBAAuB,CAAC;IACxD;;;;OAIG;IACH,aAAa,EAAE,CAAC,UAAU,EAAE,MAAM,EAAE,OAAO,EAAE,mBAAmB,EAAE,SAAS,CAAC,EAAE,MAAM,GAAG,IAAI,KAAK,OAAO,CAAC,IAAI,CAAC,CAAC;IAC9G;;;;;;OAMG;IACH,eAAe,EAAE,CAAC,eAAe,EAAE,MAAM,EAAE,YAAY,CAAC,EAAE,iBAAiB,EAAE,EAAE,QAAQ,CAAC,EAAE,MAAM,EAAE,eAAe,CAAC,EAAE,SAAS,MAAM,EAAE,KAAK,OAAO,CAAC,IAAI,CAAC,CAAC;IACxJ;;;;;OAKG;IACH,oBAAoB,EAAE,sBAAsB,CAAC;IAC7C;;;;;OAKG;IACH,qBAAqB,EAAE,CAAC,CAAC,EAAE,mBAAmB,EAAE,IAAI,EAAE,SAAS,WAAW,EAAE,EAAE,GAAG,EAAE,MAAM,KAAK,OAAO,CAAC,qBAAqB,EAAE,CAAC,CAAC;IAC/H;;;;;;;OAOG;IACH,0BAA0B,EAAE,CAC1B,OAAO,EAAE,iBAAiB,EAC1B,GAAG,EAAE,MAAM,KACR,OAAO,CAAC,cAAc,GAAG,QAAQ,GAAG,QAAQ,GAAG,SAAS,CAAC,CAAC;IAC/D;;;;;;;;OAQG;IACH,sBAAsB,EAAE,CAAC,UAAU,EAAE,MAAM,KAAK,OAAO,CAAC,kBAAkB,GAAG,IAAI,CAAC,CAAC;IACnF;;;;;;;OAOG;IACH,wBAAwB,EAAE,CAAC,CAAC,EAAE,mBAAmB,EAAE,SAAS,EAAE,MAAM,GAAG,IAAI,KAAK,OAAO,CAAC,MAAM,EAAE,GAAG,IAAI,CAAC,GAAG,MAAM,EAAE,GAAG,IAAI,CAAC;IAC3H;;;;;;;;OAQG;IACH,wBAAwB,EAAE,CACxB,eAAe,EAAE,MAAM,EACvB,OAAO,EAAE,MAAM,GAAG,IAAI,EACtB,QAAQ,EAAE,cAAc;IACxB;;;;OAIG;IACH,kBAAkB,EAAE,OAAO;IAC3B;;;;;OAKG;IACH,UAAU,CAAC,EAAE,MAAM,GAAG,IAAI;IAC1B;;;OAGG;IACH,YAAY,CAAC,EAAE,WAAW,CAAC,MAAM,CAAC,KAC/B,OAAO,CAAC,sBAAsB,CAAC,CAAC;IACrC;;;;;;OAMG;IACH,iBAAiB,EAAE,CAAC,eAAe,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,GAAG,IAAI,EAAE,UAAU,EAAE,MAAM,KAAK,OAAO,CAAC,YAAY,EAAE,CAAC,CAAC;IACpH;;;;;OAKG;IACH,cAAc,EAAE,CAAC,KAAK,EAAE,mBAAmB,KAAK,OAAO,CAAC,IAAI,CAAC,CAAC;IAC9D,uCAAuC;IACvC,cAAc,EAAE,MAAM,CAAC;IACvB,qEAAqE;IACrE,iBAAiB,EAAE,CAAC,OAAO,EAAE,0BAA0B,KAAK,OAAO,CAAC,IAAI,CAAC,CAAC;IAC1E;;;;;;;OAOG;IACH,eAAe,EAAE,CACf,eAAe,EAAE,MAAM,EACvB,UAAU,EAAE,SAAS,aAAa,EAAE,EACpC,aAAa,CAAC,EAAE,MAAM,KACnB,OAAO,CAAC,IAAI,CAAC,CAAC;IACnB,gBAAgB,EAAE,OAAO,wBAAwB,CAAC;IAClD,eAAe,EAAE,CAAC,MAAM,EAAE,kBAAkB,KAAK,OAAO,CAAC,gBAAgB,CAAC,CAAC;IAC3E,yBAAyB,EAAE,CAAC,CAAC,EAAE,mBAAmB,KAAK,OAAO,CAAC,kBAAkB,GAAG,IAAI,CAAC,CAAC;IAC1F;;;;OAIG;IACH,gBAAgB,EAAE,CAAC,QAAQ,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,KAAK,IAAI,CAAC,kBAAkB,EAAE,cAAc,GAAG,UAAU,CAAC,CAAC;IAC7G,UAAU,EAAE,CAAC,SAAS,EAAE,MAAM,GAAG,IAAI,KAAK,MAAM,CAAC;IACjD,iBAAiB,EAAE,MAAM,CAAC;IAC1B;;;;;;OAMG;IACH,mBAAmB,EAAE,uBAAuB,CAAC;IAE7C;;;;;OAKG;IACH,0BAA0B,EAAE,2BAA2B,CAAC;IACxD,+EAA+E;IAC/E,gBAAgB,EAAE,OAAO,gBAAgB,CAAC;IAC1C,mEAAmE;IACnE,kBAAkB,EAAE,OAAO,kBAAkB,CAAC;IAC9C,sDAAsD;IACtD,sBAAsB,EAAE,CAAC,CAAC,EAAE,mBAAmB,EAAE,MAAM,EAAE,cAAc,KAAK,OAAO,CAAC,IAAI,CAAC,CAAC;IAC1F;;;;;;;;;;;;;;;OAeG;IACH,wBAAwB,EAAE,CACxB,CAAC,EAAE,mBAAmB,EACtB,UAAU,EAAE,SAAS,eAAe,EAAE,EACtC,SAAS,CAAC,EAAE,MAAM,GAAG,IAAI,EACzB,UAAU,CAAC,EAAE,kBAAkB,GAAG,IAAI,EACtC,kBAAkB,CAAC,EAAE,MAAM,GAAG,IAAI,KAC/B,OAAO,CAAC,IAAI,CAAC,CAAC;IACnB;;;;;;;;;;;;OAYG;IACH,kCAAkC,EAAE,CAClC,CAAC,EAAE,mBAAmB,EACtB,KAAK,EAAE,IAAI,CAAC,yBAAyB,EAAE,QAAQ,CAAC,EAChD,SAAS,CAAC,EAAE,MAAM,GAAG,IAAI,EACzB,UAAU,CAAC,EAAE,kBAAkB,GAAG,IAAI,KACnC,OAAO,CAAC,IAAI,CAAC,CAAC;IACnB;;;;;;OAMG;IACH,uBAAuB,EAAE,CACvB,CAAC,EAAE,mBAAmB,EACtB,MAAM,EAAE,sBAAsB,KAC3B,OAAO,CAAC,IAAI,CAAC,CAAC;IACnB;;;;OAIG;IACH,sBAAsB,EAAE,CAAC,CAAC,EAAE,mBAAmB,KAAK,MAAM,CAAC;IAC3D;;;;;OAKG;IACH,wBAAwB,EAAE,CAAC,CAAC,EAAE,mBAAmB,KAAK,MAAM,GAAG,IAAI,CAAC;IACpE;;;;;OAKG;IACH,oBAAoB,EAAE,CAAC,QAAQ,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,GAAG,IAAI,EAAE,KAAK,EAAE,MAAM,KAAK,cAAc,GAAG,IAAI,CAAC;IAClH;;;;;OAKG;IACH,gBAAgB,EAAE,CAAC,GAAG,EAAE,MAAM,KAAK,MAAM,GAAG,IAAI,CAAC;IACjD,4FAA4F;IAC5F,oBAAoB,EAAE,CAAC,iBAAiB,EAAE,MAAM,EAAE,WAAW,EAAE,MAAM,KAAK,cAAc,GAAG,IAAI,CAAC;IAChG;;;;OAIG;IACH,wBAAwB,EAAE,CAAC,iBAAiB,EAAE,MAAM,KAAK,0BAA0B,CAAC;IACpF;;;;;;;OAOG;IACH,4BAA4B,EAAE,CAAC,CAAC,EAAE,mBAAmB,EAAE,OAAO,EAAE,MAAM,KAAK,yBAAyB,CAAC;IACrG;;;;OAIG;IACH,mBAAmB,EAAE,CAAC,OAAO,EAAE,MAAM,KAAK,MAAM,GAAG,IAAI,CAAC;IACxD;;;;OAIG;IACH,aAAa,EAAE,cAAc,CAAC;IAC9B;;;OAGG;IACH,iBAAiB,EAAE,yBAAyB,CAAC;IAC7C,iHAAiH;IACjH,YAAY,EAAE,oBAAoB,CAAC;IACnC;;;;OAIG;IACH,wBAAwB,EAAE,CAAC,OAAO,EAAE,MAAM,KAAK,gBAAgB,GAAG,IAAI,CAAC;IACvE;;;;OAIG;IACH,gBAAgB,EAAE,CAAC,MAAM,EAAE,uBAAuB,EAAE,IAAI,EAAE,oBAAoB,KAAK,iBAAiB,GAAG,IAAI,CAAC;IAC5G;;;;OAIG;IACH,oBAAoB,EAAE,eAAe,CAAC;IACtC;;;;;OAKG;IACH,mBAAmB,EAAE,CAAC,CAAC,EAAE,mBAAmB,KAAK,MAAM,CAAC;IACxD;;;;;;;OAOG;IACH,yBAAyB,EAAE,CAAC,CAAC,EAAE,mBAAmB,KAAK,OAAO,CAAC,MAAM,EAAE,CAAC,CAAC;IACzE;;;;;;;;OAQG;IACH,0BAA0B,EAAE,CAAC,CAAC,EAAE,mBAAmB,KAAK,OAAO,CAAC,MAAM,GAAG,IAAI,CAAC,CAAC;IAC/E;;;;;;OAMG;IACH,iCAAiC,EAAE,CAAC,CAAC,EAAE,mBAAmB,KAAK,OAAO,CAAC,MAAM,EAAE,CAAC,CAAC;IACjF;;;;;;;;;OASG;IACH,yBAAyB,EAAE,CACzB,CAAC,EAAE,mBAAmB,KACnB,OAAO,CAAC;QAAE,KAAK,EAAE,MAAM,CAAC;QAAC,UAAU,EAAE,MAAM,CAAA;KAAE,GAAG,IAAI,CAAC,CAAC;IAC3D;;;;;;;;OAQG;IACH,8BAA8B,EAAE,CAC9B,CAAC,EAAE,mBAAmB,KACnB,OAAO,CAAC;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,MAAM,EAAE,MAAM,CAAA;KAAE,GAAG,IAAI,CAAC,CAAC;IACtD,4EAA4E;IAC5E,iBAAiB,EAAE,CAAC,CAAC,EAAE,mBAAmB,EAAE,MAAM,EAAE,cAAc,KAAK,OAAO,CAAC,qBAAqB,GAAG,IAAI,CAAC,CAAC;IAC7G;;;;;OAKG;IACH,oBAAoB,EAAE,uBAAuB,CAAC;IAC9C;;;;OAIG;IACH,mBAAmB,EAAE,qBAAqB,CAAC;IAC3C;;;;;;OAMG;IACH,iBAAiB,EAAE,mBAAmB,CAAC;IACvC;;;;;OAKG;IACH,UAAU,EAAE,cAAc,CAAC;IAC3B;;;;;;OAMG;IACH,qBAAqB,EAAE,CAAC,SAAS,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,iBAAiB,KAAK,OAAO,CAAC,cAAc,GAAG,IAAI,CAAC,CAAC;IACrI;;;;;;OAMG;IACH,0BAA0B,EAAE,CAAC,UAAU,EAAE,MAAM,EAAE,MAAM,EAAE,cAAc,EAAE,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,GAAG,SAAS,KAAK,OAAO,CAAC,OAAO,CAAC,CAAC;IACzI;;;;;;OAMG;IACH,sBAAsB,EAAE,sBAAsB,CAAC;IAC/C;;;;;;;OAOG;IACH,6BAA6B,EAAE,CAAC,UAAU,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,KAAK,OAAO,CAAC,OAAO,CAAC,CAAC;CACxF"}
+{"version":3,"file":"verification-deps.d.ts","sourceRoot":"","sources":["../../../src/verify/engine/verification-deps.ts"],"names":[],"mappings":"AAIA;;;;;;;;;;;;;;;;;;;;;;;GAuBG;AAEH,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,0CAA0C,CAAC;AAClF,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,qDAAqD,CAAC;AAC1F,OAAO,KAAK,EAAE,wBAAwB,EAAE,MAAM,qDAAqD,CAAC;AACpG,OAAO,KAAK,EAAE,iBAAiB,EAAE,mBAAmB,EAAE,qBAAqB,EAAE,MAAM,2CAA2C,CAAC;AAC/H,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,uCAAuC,CAAC;AAC5E,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,0CAA0C,CAAC;AAC/E,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,qCAAqC,CAAC;AAC1E,OAAO,KAAK,EAAE,yBAAyB,EAAE,MAAM,yCAAyC,CAAC;AACzF,OAAO,KAAK,EAAE,oBAAoB,EAAE,MAAM,wCAAwC,CAAC;AACnF,OAAO,KAAK,EAAE,sBAAsB,EAAE,MAAM,8CAA8C,CAAC;AAC3F,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,gDAAgD,CAAC;AACrF,OAAO,KAAK,EAAE,0BAA0B,EAAE,MAAM,iDAAiD,CAAC;AAClG,OAAO,KAAK,EACV,uBAAuB,EACvB,mBAAmB,EACnB,mBAAmB,EACpB,MAAM,4CAA4C,CAAC;AACpD,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,oCAAoC,CAAC;AACxE,OAAO,KAAK,EAAE,YAAY,EAAE,sBAAsB,EAAE,iBAAiB,EAAE,eAAe,EAAE,MAAM,gDAAgD,CAAC;AAC/I,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,mDAAmD,CAAC;AACxF,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,gCAAgC,CAAC;AAC1E,OAAO,KAAK,EAAE,yBAAyB,EAAE,kBAAkB,EAAE,MAAM,0DAA0D,CAAC;AAC9H,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,wCAAwC,CAAC;AACjF,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,6CAA6C,CAAC;AAClF,OAAO,KAAK,EAAE,sBAAsB,EAAE,MAAM,uDAAuD,CAAC;AACpG,OAAO,KAAK,EAAE,yBAAyB,EAAE,2BAA2B,EAAE,uBAAuB,EAAE,MAAM,uCAAuC,CAAC;AAC7I,OAAO,KAAK,EAAE,oBAAoB,EAAE,gBAAgB,EAAE,MAAM,6CAA6C,CAAC;AAC1G,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,iDAAiD,CAAC;AACvF,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,0CAA0C,CAAC;AACjF,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,kCAAkC,CAAC;AAC3E,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,mDAAmD,CAAC;AAC5F,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,kDAAkD,CAAC;AACzF,OAAO,KAAK,EAAE,uBAAuB,EAAE,MAAM,yCAAyC,CAAC;AACvF,OAAO,KAAK,EAAE,qBAAqB,EAAE,MAAM,yCAAyC,CAAC;AACrF,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,mDAAmD,CAAC;AACrF,OAAO,KAAK,EAAE,sBAAsB,EAAE,MAAM,oCAAoC,CAAC;AACjF,OAAO,KAAK,EAAE,qBAAqB,EAAE,MAAM,6CAA6C,CAAC;AACzF,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,mCAAmC,CAAC;AACrE,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,gDAAgD,CAAC;AAC1F,OAAO,KAAK,EAAE,qBAAqB,EAAE,MAAM,6CAA6C,CAAC;AACzF,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,yCAAyC,CAAC;AAElF;;;GAGG;AACH,MAAM,MAAM,uBAAuB,GAAG,CACpC,CAAC,EAAE,mBAAmB,EACtB,QAAQ,EAAE,SAAS,WAAW,EAAE,EAChC,IAAI,EAAE,cAAc,KACjB,OAAO,CAAC,cAAc,CAAC,CAAC;AAE7B,MAAM,WAAW,0BAA0B;IACzC,OAAO,EAAE,MAAM,GAAG,IAAI,CAAC;IACvB,SAAS,EAAE,MAAM,GAAG,IAAI,CAAC;IACzB,eAAe,EAAE,MAAM,CAAC;IACxB,WAAW,EAAE;QACX,MAAM,EAAE,MAAM,GAAG,IAAI,CAAC;QACtB,IAAI,EAAE,kBAAkB,GAAG,UAAU,GAAG,aAAa,GAAG,kBAAkB,GAAG,gBAAgB,CAAC;QAC9F,QAAQ,EAAE,MAAM,CAAC;QACjB,mBAAmB,EAAE,MAAM,CAAC;KAC7B,CAAC;CACH;AAED,MAAM,WAAW,gBAAgB;IAC/B,uBAAuB,EAAE,OAAO,uBAAuB,CAAC;IACxD;;;;OAIG;IACH,aAAa,EAAE,CAAC,UAAU,EAAE,MAAM,EAAE,OAAO,EAAE,mBAAmB,EAAE,SAAS,CAAC,EAAE,MAAM,GAAG,IAAI,KAAK,OAAO,CAAC,IAAI,CAAC,CAAC;IAC9G;;;;;;OAMG;IACH,eAAe,EAAE,CAAC,eAAe,EAAE,MAAM,EAAE,YAAY,CAAC,EAAE,iBAAiB,EAAE,EAAE,QAAQ,CAAC,EAAE,MAAM,EAAE,eAAe,CAAC,EAAE,SAAS,MAAM,EAAE,KAAK,OAAO,CAAC,IAAI,CAAC,CAAC;IACxJ;;;;;OAKG;IACH,oBAAoB,EAAE,sBAAsB,CAAC;IAC7C;;;;;OAKG;IACH,qBAAqB,EAAE,CAAC,CAAC,EAAE,mBAAmB,EAAE,IAAI,EAAE,SAAS,WAAW,EAAE,EAAE,GAAG,EAAE,MAAM,KAAK,OAAO,CAAC,qBAAqB,EAAE,CAAC,CAAC;IAC/H;;;;;;;OAOG;IACH,0BAA0B,EAAE,CAC1B,OAAO,EAAE,iBAAiB,EAC1B,GAAG,EAAE,MAAM,KACR,OAAO,CAAC,cAAc,GAAG,QAAQ,GAAG,QAAQ,GAAG,SAAS,CAAC,CAAC;IAC/D;;;;;;;;OAQG;IACH,sBAAsB,EAAE,CAAC,UAAU,EAAE,MAAM,KAAK,OAAO,CAAC,kBAAkB,GAAG,IAAI,CAAC,CAAC;IACnF;;;;;;;OAOG;IACH,wBAAwB,EAAE,CAAC,CAAC,EAAE,mBAAmB,EAAE,SAAS,EAAE,MAAM,GAAG,IAAI,KAAK,OAAO,CAAC,MAAM,EAAE,GAAG,IAAI,CAAC,GAAG,MAAM,EAAE,GAAG,IAAI,CAAC;IAC3H;;;;;;;;OAQG;IACH,wBAAwB,EAAE,CACxB,eAAe,EAAE,MAAM,EACvB,OAAO,EAAE,MAAM,GAAG,IAAI,EACtB,QAAQ,EAAE,cAAc;IACxB;;;;OAIG;IACH,kBAAkB,EAAE,OAAO;IAC3B;;;;;OAKG;IACH,UAAU,CAAC,EAAE,MAAM,GAAG,IAAI;IAC1B;;;OAGG;IACH,YAAY,CAAC,EAAE,WAAW,CAAC,MAAM,CAAC,KAC/B,OAAO,CAAC,sBAAsB,CAAC,CAAC;IACrC;;;;;;OAMG;IACH,iBAAiB,EAAE,CAAC,eAAe,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,GAAG,IAAI,EAAE,UAAU,EAAE,MAAM,KAAK,OAAO,CAAC,YAAY,EAAE,CAAC,CAAC;IACpH;;;;;OAKG;IACH,cAAc,EAAE,CAAC,KAAK,EAAE,mBAAmB,KAAK,OAAO,CAAC,IAAI,CAAC,CAAC;IAC9D,uCAAuC;IACvC,cAAc,EAAE,MAAM,CAAC;IACvB,qEAAqE;IACrE,iBAAiB,EAAE,CAAC,OAAO,EAAE,0BAA0B,KAAK,OAAO,CAAC,IAAI,CAAC,CAAC;IAC1E;;;;;;;OAOG;IACH,eAAe,EAAE,CACf,eAAe,EAAE,MAAM,EACvB,UAAU,EAAE,SAAS,aAAa,EAAE,EACpC,aAAa,CAAC,EAAE,MAAM,KACnB,OAAO,CAAC,IAAI,CAAC,CAAC;IACnB,gBAAgB,EAAE,OAAO,wBAAwB,CAAC;IAClD,eAAe,EAAE,CAAC,MAAM,EAAE,kBAAkB,KAAK,OAAO,CAAC,gBAAgB,CAAC,CAAC;IAC3E,yBAAyB,EAAE,CAAC,CAAC,EAAE,mBAAmB,KAAK,OAAO,CAAC,kBAAkB,GAAG,IAAI,CAAC,CAAC;IAC1F;;;;OAIG;IACH,gBAAgB,EAAE,CAAC,QAAQ,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,KAAK,IAAI,CAAC,kBAAkB,EAAE,cAAc,GAAG,UAAU,CAAC,CAAC;IAC7G,UAAU,EAAE,CAAC,SAAS,EAAE,MAAM,GAAG,IAAI,KAAK,MAAM,CAAC;IACjD,iBAAiB,EAAE,MAAM,CAAC;IAC1B;;;;;;OAMG;IACH,mBAAmB,EAAE,uBAAuB,CAAC;IAE7C;;;;;OAKG;IACH,0BAA0B,EAAE,2BAA2B,CAAC;IACxD,+EAA+E;IAC/E,gBAAgB,EAAE,OAAO,gBAAgB,CAAC;IAC1C,mEAAmE;IACnE,kBAAkB,EAAE,OAAO,kBAAkB,CAAC;IAC9C,sDAAsD;IACtD,sBAAsB,EAAE,CAAC,CAAC,EAAE,mBAAmB,EAAE,MAAM,EAAE,cAAc,KAAK,OAAO,CAAC,IAAI,CAAC,CAAC;IAC1F;;;;;;;;;;;;;;;OAeG;IACH,wBAAwB,EAAE,CACxB,CAAC,EAAE,mBAAmB,EACtB,UAAU,EAAE,SAAS,eAAe,EAAE,EACtC,SAAS,CAAC,EAAE,MAAM,GAAG,IAAI,EACzB,UAAU,CAAC,EAAE,kBAAkB,GAAG,IAAI,EACtC,kBAAkB,CAAC,EAAE,MAAM,GAAG,IAAI,KAC/B,OAAO,CAAC,IAAI,CAAC,CAAC;IACnB;;;;;;;;;;;;OAYG;IACH,kCAAkC,EAAE,CAClC,CAAC,EAAE,mBAAmB,EACtB,KAAK,EAAE,IAAI,CAAC,yBAAyB,EAAE,QAAQ,CAAC,EAChD,SAAS,CAAC,EAAE,MAAM,GAAG,IAAI,EACzB,UAAU,CAAC,EAAE,kBAAkB,GAAG,IAAI,KACnC,OAAO,CAAC,IAAI,CAAC,CAAC;IACnB;;;;;;OAMG;IACH,uBAAuB,EAAE,CACvB,CAAC,EAAE,mBAAmB,EACtB,MAAM,EAAE,sBAAsB,KAC3B,OAAO,CAAC,IAAI,CAAC,CAAC;IACnB;;;;OAIG;IACH,sBAAsB,EAAE,CAAC,CAAC,EAAE,mBAAmB,KAAK,MAAM,CAAC;IAC3D;;;;;OAKG;IACH,wBAAwB,EAAE,CAAC,CAAC,EAAE,mBAAmB,KAAK,MAAM,GAAG,IAAI,CAAC;IACpE;;;;;OAKG;IACH,oBAAoB,EAAE,CAAC,QAAQ,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,GAAG,IAAI,EAAE,KAAK,EAAE,MAAM,KAAK,cAAc,GAAG,IAAI,CAAC;IAClH;;;;;OAKG;IACH,gBAAgB,EAAE,CAAC,GAAG,EAAE,MAAM,KAAK,MAAM,GAAG,IAAI,CAAC;IACjD,4FAA4F;IAC5F,oBAAoB,EAAE,CAAC,iBAAiB,EAAE,MAAM,EAAE,WAAW,EAAE,MAAM,KAAK,cAAc,GAAG,IAAI,CAAC;IAChG;;;;OAIG;IACH,wBAAwB,EAAE,CAAC,iBAAiB,EAAE,MAAM,KAAK,0BAA0B,CAAC;IACpF;;;;;;;OAOG;IACH,4BAA4B,EAAE,CAAC,CAAC,EAAE,mBAAmB,EAAE,OAAO,EAAE,MAAM,KAAK,yBAAyB,CAAC;IACrG;;;;OAIG;IACH,mBAAmB,EAAE,CAAC,OAAO,EAAE,MAAM,KAAK,MAAM,GAAG,IAAI,CAAC;IACxD;;;;OAIG;IACH,aAAa,EAAE,cAAc,CAAC;IAC9B;;;OAGG;IACH,iBAAiB,EAAE,yBAAyB,CAAC;IAC7C,iHAAiH;IACjH,YAAY,EAAE,oBAAoB,CAAC;IACnC;;;;OAIG;IACH,wBAAwB,EAAE,CAAC,OAAO,EAAE,MAAM,KAAK,gBAAgB,GAAG,IAAI,CAAC;IACvE;;;;OAIG;IACH,gBAAgB,EAAE,CAAC,MAAM,EAAE,uBAAuB,EAAE,IAAI,EAAE,oBAAoB,KAAK,iBAAiB,GAAG,IAAI,CAAC;IAC5G;;;;OAIG;IACH,oBAAoB,EAAE,eAAe,CAAC;IACtC;;;;;OAKG;IACH,mBAAmB,EAAE,CAAC,CAAC,EAAE,mBAAmB,KAAK,MAAM,CAAC;IACxD;;;;;;;OAOG;IACH,yBAAyB,EAAE,CAAC,CAAC,EAAE,mBAAmB,KAAK,OAAO,CAAC,MAAM,EAAE,CAAC,CAAC;IACzE;;;;;;;;OAQG;IACH,0BAA0B,EAAE,CAAC,CAAC,EAAE,mBAAmB,KAAK,OAAO,CAAC,MAAM,GAAG,IAAI,CAAC,CAAC;IAC/E;;;;;;OAMG;IACH,iCAAiC,EAAE,CAAC,CAAC,EAAE,mBAAmB,KAAK,OAAO,CAAC,MAAM,EAAE,CAAC,CAAC;IACjF;;;;;;;;;OASG;IACH,yBAAyB,EAAE,CACzB,CAAC,EAAE,mBAAmB,KACnB,OAAO,CAAC;QAAE,KAAK,EAAE,MAAM,CAAC;QAAC,UAAU,EAAE,MAAM,CAAA;KAAE,GAAG,IAAI,CAAC,CAAC;IAC3D;;;;;;;;OAQG;IACH,8BAA8B,EAAE,CAC9B,CAAC,EAAE,mBAAmB,KACnB,OAAO,CAAC;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,MAAM,EAAE,MAAM,CAAA;KAAE,GAAG,IAAI,CAAC,CAAC;IACtD,4EAA4E;IAC5E,iBAAiB,EAAE,CAAC,CAAC,EAAE,mBAAmB,EAAE,MAAM,EAAE,cAAc,KAAK,OAAO,CAAC,qBAAqB,GAAG,IAAI,CAAC,CAAC;IAC7G;;;;;OAKG;IACH,oBAAoB,EAAE,uBAAuB,CAAC;IAC9C;;;;;OAKG;IACH,mBAAmB,EAAE,mBAAmB,CAAC;IACzC;;;;;OAKG;IACH,oBAAoB,EAAE,qBAAqB,CAAC;IAC5C;;;;OAIG;IACH,aAAa,EAAE,kBAAkB,CAAC;IAClC;;;;OAIG;IACH,mBAAmB,EAAE,qBAAqB,CAAC;IAC3C;;;;;;OAMG;IACH,iBAAiB,EAAE,mBAAmB,CAAC;IACvC;;;;;OAKG;IACH,UAAU,EAAE,cAAc,CAAC;IAC3B;;;;;;OAMG;IACH,qBAAqB,EAAE,CAAC,SAAS,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,iBAAiB,KAAK,OAAO,CAAC,cAAc,GAAG,IAAI,CAAC,CAAC;IACrI;;;;;;OAMG;IACH,0BAA0B,EAAE,CAAC,UAAU,EAAE,MAAM,EAAE,MAAM,EAAE,cAAc,EAAE,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,GAAG,SAAS,KAAK,OAAO,CAAC,OAAO,CAAC,CAAC;IACzI;;;;;;OAMG;IACH,sBAAsB,EAAE,sBAAsB,CAAC;IAC/C;;;;;;;OAOG;IACH,6BAA6B,EAAE,CAAC,UAAU,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,KAAK,OAAO,CAAC,OAAO,CAAC,CAAC;CACxF"}

package/dist/verify/engine/verification-deps.js

@@ -1,5 +1,5 @@
 // PINNED-BY-BEGIN (generated by gen:pinned-by -- do not hand-edit; checked by lint:pinned-by)
-// Pinned by: 31 tests -- run: npm run gen:pinned-by -- --list packages/daemon/src/verify/engine/verification-deps.ts
+// Pinned by: 32 tests -- run: npm run gen:pinned-by -- --list packages/daemon/src/verify/engine/verification-deps.ts
 // PINNED-BY-END
 export {};
 //# sourceMappingURL=verification-deps.js.map

package/dist/verify/engine/verification-engine.js

@@ -1,5 +1,5 @@
 // PINNED-BY-BEGIN (generated by gen:pinned-by -- do not hand-edit; checked by lint:pinned-by)
-// Pinned by: 28 tests -- run: npm run gen:pinned-by -- --list packages/daemon/src/verify/engine/verification-engine.ts
+// Pinned by: 29 tests -- run: npm run gen:pinned-by -- --list packages/daemon/src/verify/engine/verification-engine.ts
 // PINNED-BY-END
 /**
  * Pluggable verification engine -- Differential Focus Spec.

package/dist/verify/failing-test-rerun/failing-test-rerunner.d.ts

@@ -0,0 +1,34 @@
+/**
+ * Running a product's declared re-run command over named test files at one
+ * commit: the runner the same-commit retry (failing-test-retry.ts) and the
+ * post-rework re-check (rework-recheck.ts) both use.
+ *
+ * It is the fixed-commit strategy the whole gate runs through
+ * (verify/deterministic-gate/verification-checkout.ts), unchanged except for
+ * two seams: the checkout is PINNED to the commit asked for (as the stage
+ * continuation pins it, verify/attribution/verification-attribution.ts), and
+ * the command is the declaration the telora.verify.json IN THAT CHECKOUT makes,
+ * with the files substituted. So the run carries the same provisioning,
+ * dependency and verify-hold rules as a gate run, and a commit whose manifest
+ * declares no `rerunCommand` runs nothing (configUnresolved) -- never a command
+ * read from another checkout.
+ *
+ * The result's `appliedConfig` names the GATE the declaration sits beside, not
+ * the re-run command (which is on `rerunOf`): a verdict a re-run renders is a
+ * verdict about that gate at that commit, and is keyed by it.
+ *
+ * Only a DEFAULT-ON verification (its gate read from the manifest) can be
+ * re-run: an explicit-method row carries its own command, and no manifest
+ * speaks for it.
+ *
+ * @module verify/failing-test-rerun/failing-test-rerunner
+ */
+import type { PendingVerification } from '../../queries/verification/verification.js';
+import type { StrategyResult } from '../deterministic-gate/verification-deterministic.js';
+import type { FixedCommitVerifyDeps } from '../deterministic-gate/verification-checkout.js';
+import type { StageContinuationSeams } from '../attribution/verification-attribution.js';
+/** Run the declared re-run command over `files` at commit `sha`. */
+export type FailingTestRerunner = (v: PendingVerification, files: readonly string[], sha: string) => Promise<StrategyResult>;
+/** The fixed-commit runner over a pinned checkout (module doc). */
+export declare function buildDefaultFailingTestRerun(deps: FixedCommitVerifyDeps, seams: StageContinuationSeams): FailingTestRerunner;
+//# sourceMappingURL=failing-test-rerunner.d.ts.map

package/dist/verify/failing-test-rerun/failing-test-rerunner.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"failing-test-rerunner.d.ts","sourceRoot":"","sources":["../../../src/verify/failing-test-rerun/failing-test-rerunner.ts"],"names":[],"mappings":"AAIA;;;;;;;;;;;;;;;;;;;;;;;;GAwBG;AAEH,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,4CAA4C,CAAC;AACtF,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,qDAAqD,CAAC;AAC1F,OAAO,KAAK,EAAE,qBAAqB,EAAE,MAAM,gDAAgD,CAAC;AAC5F,OAAO,KAAK,EAAE,sBAAsB,EAAE,MAAM,4CAA4C,CAAC;AAIzF,oEAAoE;AACpE,MAAM,MAAM,mBAAmB,GAAG,CAAC,CAAC,EAAE,mBAAmB,EAAE,KAAK,EAAE,SAAS,MAAM,EAAE,EAAE,GAAG,EAAE,MAAM,KAAK,OAAO,CAAC,cAAc,CAAC,CAAC;AAE7H,mEAAmE;AACnE,wBAAgB,4BAA4B,CAAC,IAAI,EAAE,qBAAqB,EAAE,KAAK,EAAE,sBAAsB,GAAG,mBAAmB,CAyB5H"}

package/dist/verify/failing-test-rerun/failing-test-rerunner.js

@@ -0,0 +1,34 @@
+// PINNED-BY-BEGIN (generated by gen:pinned-by -- do not hand-edit; checked by lint:pinned-by)
+// Pinned by: packages/daemon/src/verify/failing-test-rerun/failing-test-rerunner.test.ts
+// PINNED-BY-END
+import { renderRerunCommand } from './rerun-command.js';
+/** The fixed-commit runner over a pinned checkout (module doc). */
+export function buildDefaultFailingTestRerun(deps, seams) {
+    return async (v, files, sha) => {
+        if (!v.defaultOnSource) {
+            return {
+                outcome: 'pending',
+                rationale: 'not re-run: an explicit-method verification carries its own command, and no manifest declares a rerunCommand for it',
+                checkoutUnavailable: true,
+            };
+        }
+        const chosen = {};
+        const result = await seams.runAtFixedCommit({
+            ...deps,
+            createVerifyCheckout: (worktreePath, key) => seams.createPinnedCheckout(worktreePath, `${key}-rerun`, sha),
+            resolveRunVerificationConfig: (row, runPath) => {
+                const applied = deps.resolveRunVerificationConfig(row, runPath);
+                if (!applied.rerun)
+                    throw new Error('the verified commit declares no rerunCommand in its telora.verify.json');
+                const command = renderRerunCommand(applied.rerun.command, files);
+                chosen.gate = applied;
+                chosen.command = command;
+                return { ...applied, command };
+            },
+        }, v);
+        if (!chosen.gate || chosen.command === undefined)
+            return result;
+        return { ...result, appliedConfig: chosen.gate, rerunOf: { command: chosen.command, files: [...files] } };
+    };
+}
+//# sourceMappingURL=failing-test-rerunner.js.map

package/dist/verify/failing-test-rerun/failing-test-rerunner.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"failing-test-rerunner.js","sourceRoot":"","sources":["../../../src/verify/failing-test-rerun/failing-test-rerunner.ts"],"names":[],"mappings":"AAAA,8FAA8F;AAC9F,yFAAyF;AACzF,gBAAgB;AAiChB,OAAO,EAAE,kBAAkB,EAAE,MAAM,oBAAoB,CAAC;AAKxD,mEAAmE;AACnE,MAAM,UAAU,4BAA4B,CAAC,IAA2B,EAAE,KAA6B;IACrG,OAAO,KAAK,EAAE,CAAC,EAAE,KAAK,EAAE,GAAG,EAAE,EAAE;QAC7B,IAAI,CAAC,CAAC,CAAC,eAAe,EAAE,CAAC;YACvB,OAAO;gBACL,OAAO,EAAE,SAAS;gBAClB,SAAS,EAAE,qHAAqH;gBAChI,mBAAmB,EAAE,IAAI;aAC1B,CAAC;QACJ,CAAC;QACD,MAAM,MAAM,GAA2D,EAAE,CAAC;QAC1E,MAAM,MAAM,GAAG,MAAM,KAAK,CAAC,gBAAgB,CAAC;YAC1C,GAAG,IAAI;YACP,oBAAoB,EAAE,CAAC,YAAY,EAAE,GAAG,EAAE,EAAE,CAAC,KAAK,CAAC,oBAAoB,CAAC,YAAY,EAAE,GAAG,GAAG,QAAQ,EAAE,GAAG,CAAC;YAC1G,4BAA4B,EAAE,CAAC,GAAG,EAAE,OAAO,EAAE,EAAE;gBAC7C,MAAM,OAAO,GAAG,IAAI,CAAC,4BAA4B,CAAC,GAAG,EAAE,OAAO,CAAC,CAAC;gBAChE,IAAI,CAAC,OAAO,CAAC,KAAK;oBAAE,MAAM,IAAI,KAAK,CAAC,wEAAwE,CAAC,CAAC;gBAC9G,MAAM,OAAO,GAAG,kBAAkB,CAAC,OAAO,CAAC,KAAK,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC;gBACjE,MAAM,CAAC,IAAI,GAAG,OAAO,CAAC;gBACtB,MAAM,CAAC,OAAO,GAAG,OAAO,CAAC;gBACzB,OAAO,EAAE,GAAG,OAAO,EAAE,OAAO,EAAE,CAAC;YACjC,CAAC;SACF,EAAE,CAAC,CAAC,CAAC;QACN,IAAI,CAAC,MAAM,CAAC,IAAI,IAAI,MAAM,CAAC,OAAO,KAAK,SAAS;YAAE,OAAO,MAAM,CAAC;QAChE,OAAO,EAAE,GAAG,MAAM,EAAE,aAAa,EAAE,MAAM,CAAC,IAAI,EAAE,OAAO,EAAE,EAAE,OAAO,EAAE,MAAM,CAAC,OAAO,EAAE,KAAK,EAAE,CAAC,GAAG,KAAK,CAAC,EAAE,EAAE,CAAC;IAC5G,CAAC,CAAC;AACJ,CAAC"}

package/dist/verify/failing-test-rerun/failing-test-retry.d.ts

@@ -0,0 +1,80 @@
+/**
+ * The gate's first answer to a SMALL failure: re-run the failing test files on
+ * the same commit before the red is attributed or charged.
+ *
+ * A test that fails once and passes when re-run on the very same tree is not
+ * evidence about the change: it is evidence about the test. History:
+ * docs/daemon/history-verify.md (verify/failing-test-rerun/).
+ *
+ * judgeDelivery (verify/engine/verification-commit-sharing.ts) calls
+ * retryFailingTestsOnSameCommit for every failed deterministic run, BEFORE
+ * attribution. It does nothing -- the red goes on to attribution exactly as
+ * before -- unless every one of these holds:
+ *   - the run rendered a red about the tree (not timed out, its config read,
+ *     a judged commit known);
+ *   - the product declares a `rerunCommand` at that commit, and the run named
+ *     between one and `rerunMaxFailures` failing tests, each naming its test
+ *     file (rerun-command.ts planRerun);
+ *   - the red stage, when the gate log names one, runs tests (a lint or
+ *     typecheck red is not a test file to re-run).
+ * The files are then re-run up to RERUN_RETRY_ATTEMPTS times at that commit.
+ *
+ * A pass on retry PASSES THE GATE, and is legitimate only because the flake is
+ * FILED: the failing tests, their files and the commit are recorded against the
+ * product as a flaky-test finding (deps.fileFlakyTestFinding), and the result
+ * carries them (`flakyTests`). No rework issue reaches the delivery. If the
+ * finding cannot be filed, the pass is NOT taken: an unreproduced red is
+ * passed over only when the flake is on record, never silently absorbed.
+ *
+ * A pass on retry covers the stages the red one cut short, too: when the gate
+ * log shows stages that never ran after the red, they are run as a continuation
+ * at the same commit (deps.runStageContinuation), and the gate passes only if
+ * they pass there. Any re-run or continuation that renders no verdict about
+ * that commit (a pending checkout, a timeout, another commit) leaves the red to
+ * attribution.
+ *
+ * @module verify/failing-test-rerun/failing-test-retry
+ */
+import type { PendingVerification } from '../../queries/verification/verification.js';
+import type { StrategyResult } from '../deterministic-gate/verification-deterministic.js';
+import type { VerificationDeps } from '../engine/verification-deps.js';
+/** A flaky test set, as it is filed against the product. */
+export interface FlakyTestFinding {
+    productId: string | null;
+    focusId: string | null;
+    deliveryId: string;
+    deliveryName: string;
+    /** The commit the tests failed and then passed on. */
+    sha: string;
+    /** The failing-test ids the gate run named. */
+    tests: string[];
+    /** Their test files, as the re-run command was handed them. */
+    files: string[];
+    /** The re-run attempt (1-based) that passed. */
+    passedOnAttempt: number;
+    /** The gate run's full log, when one was written. */
+    logPath: string | null;
+    /** What judged it: the same-commit retry, or the re-check of a rework commit. */
+    origin: 'same_commit_retry' | 'rework_recheck';
+}
+/** Record a flaky-test finding against the product. Throws when it could not be recorded. */
+export type FlakyTestFindingFiler = (v: PendingVerification, finding: FlakyTestFinding) => Promise<void>;
+/** The deps the retry reaches reality through. */
+export type FailingTestRetryDeps = Pick<VerificationDeps, 'runFailingTestRerun' | 'fileFlakyTestFinding' | 'runStageContinuation'>;
+/** A re-run that rendered a verdict about `sha`: its outcome, else null (no verdict). */
+export declare function rerunVerdictAt(run: StrategyResult, sha: string): 'passed' | 'failed' | null;
+/**
+ * Re-run `files` at `sha` until a run passes or the attempts run out: the
+ * passing attempt (1-based), 0 when every attempt failed, or null when a run
+ * rendered no verdict about `sha` (the caller then decides nothing from it).
+ * `onFailedRun` sees each failed run.
+ */
+export declare function rerunUntilPass(run: VerificationDeps['runFailingTestRerun'], v: PendingVerification, files: readonly string[], sha: string, attempts: number, onFailedRun?: (run: StrategyResult) => void): Promise<number | null>;
+/**
+ * Retry a failed run's failing tests on the same commit (module doc). Returns
+ * true when the retry passed the gate -- `result` is then rewritten as a pass
+ * carrying `flakyTests` -- and false when the red stands for attribution
+ * (`result` untouched).
+ */
+export declare function retryFailingTestsOnSameCommit(v: PendingVerification, result: StrategyResult, logText: string, deps: FailingTestRetryDeps): Promise<boolean>;
+//# sourceMappingURL=failing-test-retry.d.ts.map

package/dist/verify/failing-test-rerun/failing-test-retry.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"failing-test-retry.d.ts","sourceRoot":"","sources":["../../../src/verify/failing-test-rerun/failing-test-retry.ts"],"names":[],"mappings":"AAKA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAoCG;AAEH,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,4CAA4C,CAAC;AACtF,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,qDAAqD,CAAC;AAC1F,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,gCAAgC,CAAC;AAQvE,4DAA4D;AAC5D,MAAM,WAAW,gBAAgB;IAC/B,SAAS,EAAE,MAAM,GAAG,IAAI,CAAC;IACzB,OAAO,EAAE,MAAM,GAAG,IAAI,CAAC;IACvB,UAAU,EAAE,MAAM,CAAC;IACnB,YAAY,EAAE,MAAM,CAAC;IACrB,sDAAsD;IACtD,GAAG,EAAE,MAAM,CAAC;IACZ,+CAA+C;IAC/C,KAAK,EAAE,MAAM,EAAE,CAAC;IAChB,+DAA+D;IAC/D,KAAK,EAAE,MAAM,EAAE,CAAC;IAChB,gDAAgD;IAChD,eAAe,EAAE,MAAM,CAAC;IACxB,qDAAqD;IACrD,OAAO,EAAE,MAAM,GAAG,IAAI,CAAC;IACvB,iFAAiF;IACjF,MAAM,EAAE,mBAAmB,GAAG,gBAAgB,CAAC;CAChD;AAED,6FAA6F;AAC7F,MAAM,MAAM,qBAAqB,GAAG,CAAC,CAAC,EAAE,mBAAmB,EAAE,OAAO,EAAE,gBAAgB,KAAK,OAAO,CAAC,IAAI,CAAC,CAAC;AAEzG,kDAAkD;AAClD,MAAM,MAAM,oBAAoB,GAAG,IAAI,CAAC,gBAAgB,EAAE,qBAAqB,GAAG,sBAAsB,GAAG,sBAAsB,CAAC,CAAC;AAEnI,yFAAyF;AACzF,wBAAgB,cAAc,CAAC,GAAG,EAAE,cAAc,EAAE,GAAG,EAAE,MAAM,GAAG,QAAQ,GAAG,QAAQ,GAAG,IAAI,CAG3F;AAED;;;;;GAKG;AACH,wBAAsB,cAAc,CAClC,GAAG,EAAE,gBAAgB,CAAC,qBAAqB,CAAC,EAC5C,CAAC,EAAE,mBAAmB,EACtB,KAAK,EAAE,SAAS,MAAM,EAAE,EACxB,GAAG,EAAE,MAAM,EACX,QAAQ,EAAE,MAAM,EAChB,WAAW,CAAC,EAAE,CAAC,GAAG,EAAE,cAAc,KAAK,IAAI,GAC1C,OAAO,CAAC,MAAM,GAAG,IAAI,CAAC,CASxB;AAED;;;;;GAKG;AACH,wBAAsB,6BAA6B,CACjD,CAAC,EAAE,mBAAmB,EACtB,MAAM,EAAE,cAAc,EACtB,OAAO,EAAE,MAAM,EACf,IAAI,EAAE,oBAAoB,GACzB,OAAO,CAAC,OAAO,CAAC,CA6BlB"}