@telora/daemon 0.24.42 → 0.24.55

package/dist/verify/run-selection/default-on-guards.js

@@ -226,6 +226,9 @@ export function forgetRecordedPass(deliveryId) {
 }
 /**
  * Dispatch-result bookkeeping for a default-on run:
+ *  - the gate exited non-zero with no evidence of a code failure -> un-mark, so
+ *    the same commit is re-dispatched (the no-verdict backoff paces it,
+ *    verify/gate-verdicts/no-verdict-record.ts); never a failed sha;
  *  - no checkout could be made, or the verdict was discarded because dependencies
  *    moved mid-run, or the reconciliation's model could not be reached -> un-mark,
  *    so the next tick retries (no verdict exists to guard); any recorded pass or
@@ -256,6 +259,14 @@ export function forgetRecordedPass(deliveryId) {
  * again whether or not a scan observed the delivery gone.
  */
 export function noteDefaultOnResult(deliveryId, result) {
+    if (result.noCodeEvidence) {
+        if (defaultOnRan.delete(deliveryId)) {
+            forgetGuardProduct(deliveryId);
+            logReselection('no-code-evidence-unmark', deliveryId, `the gate exited non-zero with no evidence of a code failure (${result.noCodeEvidence.reason}), so no verdict exists `
+                + 'to guard and no re-work moves it; the same commit is judged again once its no-verdict backoff elapses');
+        }
+        return;
+    }
     if (result.checkoutUnavailable || result.modelUnavailable) {
         // A parked delivery whose every fact is unchanged is re-selected by no path
         // except a new ruling or a new commit, so the retry is DECLINED -- for BOTH
@@ -296,10 +307,9 @@ export function noteDefaultOnResult(deliveryId, result) {
 /**
  * True when the delivery's last default-on verify PASSED on the commit the focus
  * HEAD names, or `readHead` names none (skip it). A readable HEAD that differs
- * re-arms it. The scan hands the real HEAD only for a focus awaiting its
- * pre-review run, where a new HEAD is a commit the review request needs a verdict
- * for (verify/run-selection/pre-review-gate-dispatch.ts); for a held route it
- * hands none, so only the pull (which drops the pass) re-arms it.
+ * re-arms it. The scan asks only for a focus whose next step is a gate run at
+ * HEAD (verify/run-selection/verification-default-on.ts gateRunAskOf), where a
+ * pass at an older commit judges nothing the next step waits on.
  */
 export function alreadyPassed(deliveryId, readHead) {
     const passedSha = passedAtSha.get(deliveryId);

package/dist/verify/run-selection/default-on-guards.js.map

@@ -1 +1 @@
-{"version":3,"file":"default-on-guards.js","sourceRoot":"","sources":["../../../src/verify/run-selection/default-on-guards.ts"],"names":[],"mappings":"AAAA,8FAA8F;AAC9F,4HAA4H;AAC5H,gBAAgB;AAEhB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAqCG;AAEH,OAAO,EAAE,eAAe,EAAE,uBAAuB,EAAE,MAAM,0DAA0D,CAAC;AACpH,OAAO,EAAE,cAAc,EAAwB,MAAM,2BAA2B,CAAC;AACjF,OAAO,EAAE,YAAY,EAAE,MAAM,yBAAyB,CAAC;AACvD,OAAO,EAAE,YAAY,EAAE,MAAM,oCAAoC,CAAC;AAElE,MAAM,GAAG,GAAG,YAAY,CAAC,EAAE,MAAM,EAAE,cAAc,EAAE,CAAC,CAAC;AAGrD;;;;;;;;;;;;;;;;;GAiBG;AACH,MAAM,YAAY,GAAG,IAAI,GAAG,EAAyB,CAAC;AAEtD;;;;;;;;;;;;;;;;;;;;;;;;;GAyBG;AACH,MAAM,WAAW,GAAG,IAAI,GAAG,EAAkB,CAAC;AAC9C,yEAAyE;AACzE,MAAM,cAAc,GAAG,IAAI,GAAG,EAAU,CAAC;AAEzC,SAAS,eAAe,CAAC,UAAkB,EAAE,UAAmB;IAC9D,KAAK,MAAM,GAAG,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,UAAU,CAAC,EAAE,UAAU,CAAC,EAAE,CAAC;QAC5D,IAAI,GAAG,KAAK,SAAS;YAAE,cAAc,CAAC,MAAM,CAAC,GAAG,UAAU,IAAI,GAAG,EAAE,CAAC,CAAC;IACvE,CAAC;IACD,WAAW,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC;AACjC,CAAC;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA6BG;AACH,MAAM,WAAW,GAAG,IAAI,GAAG,EAAkB,CAAC;AAE9C;;;;;;;;GAQG;AACH,MAAM,YAAY,GAAG,IAAI,GAAG,EAAkB,CAAC;AAE/C,oEAAoE;AACpE,SAAS,kBAAkB,CAAC,UAAkB;IAC5C,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,UAAU,CAAC,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,UAAU,CAAC;QAAE,YAAY,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC;AACrG,CAAC;AAED,MAAM,WAAW,GAAG,CAAC,UAAkB,EAAE,GAAW,EAAU,EAAE,CAAC,GAAG,UAAU,IAAI,GAAG,SAAS,CAAC;AAE/F,SAAS,eAAe,CAAC,UAAkB;IACzC,MAAM,GAAG,GAAG,WAAW,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;IACxC,IAAI,GAAG,KAAK,SAAS;QAAE,cAAc,CAAC,MAAM,CAAC,WAAW,CAAC,UAAU,EAAE,GAAG,CAAC,CAAC,CAAC;IAC3E,WAAW,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC;AACjC,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,UAAU,eAAe,CAAC,UAAkB;IAChD,OAAO,WAAW,CAAC,GAAG,CAAC,UAAU,CAAC,IAAI,IAAI,CAAC;AAC7C,CAAC;AAED,8EAA8E;AAC9E,MAAM,UAAU,6BAA6B;IAC3C,YAAY,CAAC,KAAK,EAAE,CAAC;IACrB,WAAW,CAAC,KAAK,EAAE,CAAC;IACpB,WAAW,CAAC,KAAK,EAAE,CAAC;IACpB,cAAc,CAAC,KAAK,EAAE,CAAC;IACvB,YAAY,CAAC,KAAK,EAAE,CAAC;AACvB,CAAC;AAED,0GAA0G;AAC1G,MAAM,UAAU,2BAA2B;IACzC,OAAO,YAAY,CAAC;AACtB,CAAC;AAED,sHAAsH;AACtH,MAAM,UAAU,gBAAgB,CAAC,UAAkB;IACjD,YAAY,CAAC,GAAG,CAAC,UAAU,EAAE,IAAI,CAAC,CAAC;AACrC,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,kBAAkB,CAAC,UAAkB;IACnD,OAAO,YAAY,CAAC,GAAG,CAAC,UAAU,CAAC,IAAI,IAAI,CAAC;AAC9C,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,mBAAmB,CAAC,UAAkB;IACpD,OAAO,YAAY,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;AACtC,CAAC;AAED,4CAA4C;AAC5C,MAAM,UAAU,0BAA0B,CAAC,UAAkB;IAC3D,gBAAgB,CAAC,UAAU,CAAC,CAAC;AAC/B,CAAC;AAED;;;;;;;;;GASG;AACH,MAAM,UAAU,oBAAoB,CAAC,UAAkB,EAAE,UAA4B;IACnF,IAAI,CAAC,YAAY,CAAC,MAAM,CAAC,UAAU,CAAC;QAAE,OAAO;IAC7C,kBAAkB,CAAC,UAAU,CAAC,CAAC;IAC/B,IAAI,UAAU,KAAK,SAAS,EAAE,CAAC;QAC7B,cAAc,CACZ,kBAAkB,EAAE,UAAU,EAC9B,wEAAwE,CACzE,CAAC;IACJ,CAAC;AACH,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,kBAAkB,CAAC,UAAkB;IACnD,eAAe,CAAC,UAAU,CAAC,CAAC;AAC9B,CAAC;AAoBD;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA8BG;AACH,MAAM,UAAU,mBAAmB,CAAC,UAAkB,EAAE,MAA4B;IAClF,IAAI,MAAM,CAAC,mBAAmB,IAAI,MAAM,CAAC,gBAAgB,EAAE,CAAC;QAC1D,4EAA4E;QAC5E,4EAA4E;QAC5E,4EAA4E;QAC5E,0EAA0E;QAC1E,oEAAoE;QACpE,8EAA8E;QAC9E,8EAA8E;QAC9E,mDAAmD;QACnD,IAAI,MAAM,CAAC,SAAS,EAAE,CAAC;YACrB,MAAM,IAAI,GAAoB,MAAM,CAAC,gBAAgB,CAAC,CAAC,CAAC,0BAA0B,CAAC,CAAC,CAAC,6BAA6B,CAAC;YACnH,cAAc,CACZ,IAAI,EAAE,UAAU,EAChB,aAAa,MAAM,CAAC,gBAAgB,CAAC,CAAC,CAAC,8CAA8C,CAAC,CAAC,CAAC,2BAA2B,IAAI;kBACrH,6GAA6G;kBAC7G,gEAAgE,EAClE,eAAe,CAChB,CAAC;YACF,OAAO;QACT,CAAC;QACD,IAAI,YAAY,CAAC,MAAM,CAAC,UAAU,CAAC,EAAE,CAAC;YACpC,kBAAkB,CAAC,UAAU,CAAC,CAAC;YAC/B,cAAc,CACZ,MAAM,CAAC,gBAAgB,CAAC,CAAC,CAAC,0BAA0B,CAAC,CAAC,CAAC,6BAA6B,EACpF,UAAU,EACV,MAAM,CAAC,gBAAgB;gBACrB,CAAC,CAAC,sHAAsH;gBACxH,CAAC,CAAC,mHAAmH,CACxH,CAAC;QACJ,CAAC;QACD,OAAO;IACT,CAAC;IACD,IAAI,MAAM,CAAC,WAAW,IAAI,YAAY,CAAC,GAAG,CAAC,UAAU,CAAC;QAAE,YAAY,CAAC,GAAG,CAAC,UAAU,EAAE,MAAM,CAAC,WAAW,CAAC,CAAC;IACzG,MAAM,SAAS,GAAG,eAAe,CAAC,MAAM,CAAC,CAAC;IAC1C,IAAI,MAAM,CAAC,OAAO,KAAK,QAAQ,IAAI,SAAS,EAAE,CAAC;QAC7C,WAAW,CAAC,GAAG,CAAC,UAAU,EAAE,SAAS,CAAC,CAAC;QACvC,eAAe,CAAC,UAAU,CAAC,CAAC;IAC9B,CAAC;SAAM,IAAI,MAAM,CAAC,OAAO,KAAK,QAAQ,EAAE,CAAC;QACvC,eAAe,CAAC,UAAU,CAAC,CAAC;QAC5B,IAAI,MAAM,CAAC,WAAW;YAAE,WAAW,CAAC,GAAG,CAAC,UAAU,EAAE,MAAM,CAAC,WAAW,CAAC,CAAC;IAC1E,CAAC;AACH,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,UAAU,aAAa,CAAC,UAAkB,EAAE,QAA6B;IAC7E,MAAM,SAAS,GAAG,WAAW,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;IAC9C,MAAM,IAAI,GAAG,SAAS,KAAK,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC;IACzD,IAAI,CAAC,YAAY,CAAC,6BAA6B,EAAE,EAAE,SAAS,EAAE,SAAS,IAAI,IAAI,EAAE,IAAI,EAAE,CAAC,IAAI,SAAS,KAAK,SAAS;QAAE,OAAO,KAAK,CAAC;IAClI,MAAM,GAAG,GAAG,WAAW,CAAC,UAAU,EAAE,SAAS,CAAC,CAAC;IAC/C,IAAI,CAAC,cAAc,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;QAC7B,cAAc,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QACxB,GAAG,CAAC,IAAI,CACN,wDAAwD,UAAU,mCAAmC;cACnG,GAAG,SAAS,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,kDAAkD,CAC7E,CAAC;IACJ,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,mBAAmB,CAAC,QAA6C,EAAE,QAA6B;IAC9G,MAAM,SAAS,GAAG,WAAW,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,CAAC,IAAI,uBAAuB,CAAC,QAAQ,CAAC,SAAS,CAAC,CAAC,WAAW,CAAC;IAC1G,IAAI,SAAS,KAAK,SAAS;QAAE,OAAO,KAAK,CAAC;IAC1C,MAAM,IAAI,GAAG,QAAQ,EAAE,CAAC;IACxB,8EAA8E;IAC9E,IAAI,CAAC,YAAY,CAAC,6BAA6B,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,EAAE,CAAC;QACtE,eAAe,CAAC,QAAQ,CAAC,EAAE,EAAE,SAAS,CAAC,CAAC;QACxC,OAAO,KAAK,CAAC;IACf,CAAC;IACD,MAAM,GAAG,GAAG,GAAG,QAAQ,CAAC,EAAE,IAAI,SAAS,EAAE,CAAC;IAC1C,IAAI,CAAC,cAAc,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;QAC7B,cAAc,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QACxB,MAAM,GAAG,GAAG,IAAI,KAAK,IAAI;YACvB,CAAC,CAAC,6BAA6B,SAAS,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,mCAAmC;YACvF,CAAC,CAAC,cAAc,SAAS,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,0CAA0C,CAAC;QAClF,GAAG,CAAC,IAAI,CACN,wDAAwD,QAAQ,CAAC,EAAE,OAAO,GAAG,IAAI;cAC/E,6CAA6C,CAChD,CAAC;IACJ,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,gBAAgB,CAAC,UAAkB,EAAE,QAA6B;IAChF,MAAM,UAAU,GAAG,YAAY,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;IAChD,MAAM,SAAS,GAAG,YAAY,CAAC,GAAG,CAAC,UAAU,CAAC,IAAI,IAAI,CAAC;IACvD,4EAA4E;IAC5E,uEAAuE;IACvE,MAAM,IAAI,GAAG,UAAU,IAAI,SAAS,KAAK,IAAI,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC;IAClE,IAAI,YAAY,CAAC,0BAA0B,EAAE,EAAE,UAAU,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC;QAAE,OAAO,IAAI,CAAC;IAC3F,IAAI,CAAC,UAAU,IAAI,SAAS,KAAK,IAAI,IAAI,IAAI,KAAK,IAAI;QAAE,OAAO,KAAK,CAAC;IACrE,YAAY,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC;IAChC,GAAG,CAAC,IAAI,CACN,iDAAiD,UAAU,kBAAkB,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,mBAAmB;UAC9G,2BAA2B,SAAS,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,CACtD,CAAC;IACF,OAAO,KAAK,CAAC;AACf,CAAC;AAED;;;;;;;;;;;;;;;;;GAiBG;AACH,MAAM,UAAU,wBAAwB,CAAC,gBAAqC,EAAE,SAAkB;IAChG,IAAI,SAAS,KAAK,SAAS,EAAE,CAAC;QAC5B,KAAK,MAAM,EAAE,IAAI,gBAAgB;YAAE,YAAY,CAAC,GAAG,CAAC,EAAE,EAAE,SAAS,CAAC,CAAC;IACrE,CAAC;IACD,2EAA2E;IAC3E,MAAM,UAAU,GAAG,CAAC,EAAU,EAAW,EAAE,CACzC,SAAS,KAAK,SAAS,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,SAAS,CAAC,KAAK,SAAS,CAAC;IAC/E,KAAK,MAAM,EAAE,IAAI,IAAI,GAAG,CAAC,CAAC,GAAG,YAAY,CAAC,IAAI,EAAE,EAAE,GAAG,WAAW,CAAC,IAAI,EAAE,EAAE,GAAG,YAAY,CAAC,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC;QAClG,IAAI,gBAAgB,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,UAAU,CAAC,EAAE,CAAC;YAAE,SAAS;QACzD,MAAM,OAAO,GAAG;YACd,GAAG,CAAC,YAAY,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,cAAc,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;YACpD,GAAG,CAAC,WAAW,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,mBAAmB,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;SACtD,CAAC;QACF,eAAe,CAAC,EAAE,CAAC,CAAC;QACpB,YAAY,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;QACxB,wGAAwG;QACxG,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC;YAAE,SAAS;QACnC,cAAc,CACZ,gBAAgB,EAAE,EAAE,EACpB,GAAG,OAAO,CAAC,IAAI,CAAC,OAAO,CAAC,6CAA6C;cACnE,GAAG,SAAS,IAAI,gBAAgB,kCAAkC,CACrE,CAAC;IACJ,CAAC;AACH,CAAC"}
+{"version":3,"file":"default-on-guards.js","sourceRoot":"","sources":["../../../src/verify/run-selection/default-on-guards.ts"],"names":[],"mappings":"AAAA,8FAA8F;AAC9F,4HAA4H;AAC5H,gBAAgB;AAEhB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAqCG;AAEH,OAAO,EAAE,eAAe,EAAE,uBAAuB,EAAE,MAAM,0DAA0D,CAAC;AACpH,OAAO,EAAE,cAAc,EAAwB,MAAM,2BAA2B,CAAC;AACjF,OAAO,EAAE,YAAY,EAAE,MAAM,yBAAyB,CAAC;AACvD,OAAO,EAAE,YAAY,EAAE,MAAM,oCAAoC,CAAC;AAElE,MAAM,GAAG,GAAG,YAAY,CAAC,EAAE,MAAM,EAAE,cAAc,EAAE,CAAC,CAAC;AAGrD;;;;;;;;;;;;;;;;;GAiBG;AACH,MAAM,YAAY,GAAG,IAAI,GAAG,EAAyB,CAAC;AAEtD;;;;;;;;;;;;;;;;;;;;;;;;;GAyBG;AACH,MAAM,WAAW,GAAG,IAAI,GAAG,EAAkB,CAAC;AAC9C,yEAAyE;AACzE,MAAM,cAAc,GAAG,IAAI,GAAG,EAAU,CAAC;AAEzC,SAAS,eAAe,CAAC,UAAkB,EAAE,UAAmB;IAC9D,KAAK,MAAM,GAAG,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,UAAU,CAAC,EAAE,UAAU,CAAC,EAAE,CAAC;QAC5D,IAAI,GAAG,KAAK,SAAS;YAAE,cAAc,CAAC,MAAM,CAAC,GAAG,UAAU,IAAI,GAAG,EAAE,CAAC,CAAC;IACvE,CAAC;IACD,WAAW,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC;AACjC,CAAC;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA6BG;AACH,MAAM,WAAW,GAAG,IAAI,GAAG,EAAkB,CAAC;AAE9C;;;;;;;;GAQG;AACH,MAAM,YAAY,GAAG,IAAI,GAAG,EAAkB,CAAC;AAE/C,oEAAoE;AACpE,SAAS,kBAAkB,CAAC,UAAkB;IAC5C,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,UAAU,CAAC,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,UAAU,CAAC;QAAE,YAAY,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC;AACrG,CAAC;AAED,MAAM,WAAW,GAAG,CAAC,UAAkB,EAAE,GAAW,EAAU,EAAE,CAAC,GAAG,UAAU,IAAI,GAAG,SAAS,CAAC;AAE/F,SAAS,eAAe,CAAC,UAAkB;IACzC,MAAM,GAAG,GAAG,WAAW,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;IACxC,IAAI,GAAG,KAAK,SAAS;QAAE,cAAc,CAAC,MAAM,CAAC,WAAW,CAAC,UAAU,EAAE,GAAG,CAAC,CAAC,CAAC;IAC3E,WAAW,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC;AACjC,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,UAAU,eAAe,CAAC,UAAkB;IAChD,OAAO,WAAW,CAAC,GAAG,CAAC,UAAU,CAAC,IAAI,IAAI,CAAC;AAC7C,CAAC;AAED,8EAA8E;AAC9E,MAAM,UAAU,6BAA6B;IAC3C,YAAY,CAAC,KAAK,EAAE,CAAC;IACrB,WAAW,CAAC,KAAK,EAAE,CAAC;IACpB,WAAW,CAAC,KAAK,EAAE,CAAC;IACpB,cAAc,CAAC,KAAK,EAAE,CAAC;IACvB,YAAY,CAAC,KAAK,EAAE,CAAC;AACvB,CAAC;AAED,0GAA0G;AAC1G,MAAM,UAAU,2BAA2B;IACzC,OAAO,YAAY,CAAC;AACtB,CAAC;AAED,sHAAsH;AACtH,MAAM,UAAU,gBAAgB,CAAC,UAAkB;IACjD,YAAY,CAAC,GAAG,CAAC,UAAU,EAAE,IAAI,CAAC,CAAC;AACrC,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,kBAAkB,CAAC,UAAkB;IACnD,OAAO,YAAY,CAAC,GAAG,CAAC,UAAU,CAAC,IAAI,IAAI,CAAC;AAC9C,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,mBAAmB,CAAC,UAAkB;IACpD,OAAO,YAAY,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;AACtC,CAAC;AAED,4CAA4C;AAC5C,MAAM,UAAU,0BAA0B,CAAC,UAAkB;IAC3D,gBAAgB,CAAC,UAAU,CAAC,CAAC;AAC/B,CAAC;AAED;;;;;;;;;GASG;AACH,MAAM,UAAU,oBAAoB,CAAC,UAAkB,EAAE,UAA4B;IACnF,IAAI,CAAC,YAAY,CAAC,MAAM,CAAC,UAAU,CAAC;QAAE,OAAO;IAC7C,kBAAkB,CAAC,UAAU,CAAC,CAAC;IAC/B,IAAI,UAAU,KAAK,SAAS,EAAE,CAAC;QAC7B,cAAc,CACZ,kBAAkB,EAAE,UAAU,EAC9B,wEAAwE,CACzE,CAAC;IACJ,CAAC;AACH,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,kBAAkB,CAAC,UAAkB;IACnD,eAAe,CAAC,UAAU,CAAC,CAAC;AAC9B,CAAC;AA2BD;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAiCG;AACH,MAAM,UAAU,mBAAmB,CAAC,UAAkB,EAAE,MAA4B;IAClF,IAAI,MAAM,CAAC,cAAc,EAAE,CAAC;QAC1B,IAAI,YAAY,CAAC,MAAM,CAAC,UAAU,CAAC,EAAE,CAAC;YACpC,kBAAkB,CAAC,UAAU,CAAC,CAAC;YAC/B,cAAc,CACZ,yBAAyB,EACzB,UAAU,EACV,gEAAgE,MAAM,CAAC,cAAc,CAAC,MAAM,0BAA0B;kBACpH,uGAAuG,CAC1G,CAAC;QACJ,CAAC;QACD,OAAO;IACT,CAAC;IACD,IAAI,MAAM,CAAC,mBAAmB,IAAI,MAAM,CAAC,gBAAgB,EAAE,CAAC;QAC1D,4EAA4E;QAC5E,4EAA4E;QAC5E,4EAA4E;QAC5E,0EAA0E;QAC1E,oEAAoE;QACpE,8EAA8E;QAC9E,8EAA8E;QAC9E,mDAAmD;QACnD,IAAI,MAAM,CAAC,SAAS,EAAE,CAAC;YACrB,MAAM,IAAI,GAAoB,MAAM,CAAC,gBAAgB,CAAC,CAAC,CAAC,0BAA0B,CAAC,CAAC,CAAC,6BAA6B,CAAC;YACnH,cAAc,CACZ,IAAI,EAAE,UAAU,EAChB,aAAa,MAAM,CAAC,gBAAgB,CAAC,CAAC,CAAC,8CAA8C,CAAC,CAAC,CAAC,2BAA2B,IAAI;kBACrH,6GAA6G;kBAC7G,gEAAgE,EAClE,eAAe,CAChB,CAAC;YACF,OAAO;QACT,CAAC;QACD,IAAI,YAAY,CAAC,MAAM,CAAC,UAAU,CAAC,EAAE,CAAC;YACpC,kBAAkB,CAAC,UAAU,CAAC,CAAC;YAC/B,cAAc,CACZ,MAAM,CAAC,gBAAgB,CAAC,CAAC,CAAC,0BAA0B,CAAC,CAAC,CAAC,6BAA6B,EACpF,UAAU,EACV,MAAM,CAAC,gBAAgB;gBACrB,CAAC,CAAC,sHAAsH;gBACxH,CAAC,CAAC,mHAAmH,CACxH,CAAC;QACJ,CAAC;QACD,OAAO;IACT,CAAC;IACD,IAAI,MAAM,CAAC,WAAW,IAAI,YAAY,CAAC,GAAG,CAAC,UAAU,CAAC;QAAE,YAAY,CAAC,GAAG,CAAC,UAAU,EAAE,MAAM,CAAC,WAAW,CAAC,CAAC;IACzG,MAAM,SAAS,GAAG,eAAe,CAAC,MAAM,CAAC,CAAC;IAC1C,IAAI,MAAM,CAAC,OAAO,KAAK,QAAQ,IAAI,SAAS,EAAE,CAAC;QAC7C,WAAW,CAAC,GAAG,CAAC,UAAU,EAAE,SAAS,CAAC,CAAC;QACvC,eAAe,CAAC,UAAU,CAAC,CAAC;IAC9B,CAAC;SAAM,IAAI,MAAM,CAAC,OAAO,KAAK,QAAQ,EAAE,CAAC;QACvC,eAAe,CAAC,UAAU,CAAC,CAAC;QAC5B,IAAI,MAAM,CAAC,WAAW;YAAE,WAAW,CAAC,GAAG,CAAC,UAAU,EAAE,MAAM,CAAC,WAAW,CAAC,CAAC;IAC1E,CAAC;AACH,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,aAAa,CAAC,UAAkB,EAAE,QAA6B;IAC7E,MAAM,SAAS,GAAG,WAAW,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;IAC9C,MAAM,IAAI,GAAG,SAAS,KAAK,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC;IACzD,IAAI,CAAC,YAAY,CAAC,6BAA6B,EAAE,EAAE,SAAS,EAAE,SAAS,IAAI,IAAI,EAAE,IAAI,EAAE,CAAC,IAAI,SAAS,KAAK,SAAS;QAAE,OAAO,KAAK,CAAC;IAClI,MAAM,GAAG,GAAG,WAAW,CAAC,UAAU,EAAE,SAAS,CAAC,CAAC;IAC/C,IAAI,CAAC,cAAc,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;QAC7B,cAAc,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QACxB,GAAG,CAAC,IAAI,CACN,wDAAwD,UAAU,mCAAmC;cACnG,GAAG,SAAS,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,kDAAkD,CAC7E,CAAC;IACJ,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,mBAAmB,CAAC,QAA6C,EAAE,QAA6B;IAC9G,MAAM,SAAS,GAAG,WAAW,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,CAAC,IAAI,uBAAuB,CAAC,QAAQ,CAAC,SAAS,CAAC,CAAC,WAAW,CAAC;IAC1G,IAAI,SAAS,KAAK,SAAS;QAAE,OAAO,KAAK,CAAC;IAC1C,MAAM,IAAI,GAAG,QAAQ,EAAE,CAAC;IACxB,8EAA8E;IAC9E,IAAI,CAAC,YAAY,CAAC,6BAA6B,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,EAAE,CAAC;QACtE,eAAe,CAAC,QAAQ,CAAC,EAAE,EAAE,SAAS,CAAC,CAAC;QACxC,OAAO,KAAK,CAAC;IACf,CAAC;IACD,MAAM,GAAG,GAAG,GAAG,QAAQ,CAAC,EAAE,IAAI,SAAS,EAAE,CAAC;IAC1C,IAAI,CAAC,cAAc,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;QAC7B,cAAc,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QACxB,MAAM,GAAG,GAAG,IAAI,KAAK,IAAI;YACvB,CAAC,CAAC,6BAA6B,SAAS,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,mCAAmC;YACvF,CAAC,CAAC,cAAc,SAAS,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,0CAA0C,CAAC;QAClF,GAAG,CAAC,IAAI,CACN,wDAAwD,QAAQ,CAAC,EAAE,OAAO,GAAG,IAAI;cAC/E,6CAA6C,CAChD,CAAC;IACJ,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,gBAAgB,CAAC,UAAkB,EAAE,QAA6B;IAChF,MAAM,UAAU,GAAG,YAAY,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;IAChD,MAAM,SAAS,GAAG,YAAY,CAAC,GAAG,CAAC,UAAU,CAAC,IAAI,IAAI,CAAC;IACvD,4EAA4E;IAC5E,uEAAuE;IACvE,MAAM,IAAI,GAAG,UAAU,IAAI,SAAS,KAAK,IAAI,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC;IAClE,IAAI,YAAY,CAAC,0BAA0B,EAAE,EAAE,UAAU,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC;QAAE,OAAO,IAAI,CAAC;IAC3F,IAAI,CAAC,UAAU,IAAI,SAAS,KAAK,IAAI,IAAI,IAAI,KAAK,IAAI;QAAE,OAAO,KAAK,CAAC;IACrE,YAAY,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC;IAChC,GAAG,CAAC,IAAI,CACN,iDAAiD,UAAU,kBAAkB,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,mBAAmB;UAC9G,2BAA2B,SAAS,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,CACtD,CAAC;IACF,OAAO,KAAK,CAAC;AACf,CAAC;AAED;;;;;;;;;;;;;;;;;GAiBG;AACH,MAAM,UAAU,wBAAwB,CAAC,gBAAqC,EAAE,SAAkB;IAChG,IAAI,SAAS,KAAK,SAAS,EAAE,CAAC;QAC5B,KAAK,MAAM,EAAE,IAAI,gBAAgB;YAAE,YAAY,CAAC,GAAG,CAAC,EAAE,EAAE,SAAS,CAAC,CAAC;IACrE,CAAC;IACD,2EAA2E;IAC3E,MAAM,UAAU,GAAG,CAAC,EAAU,EAAW,EAAE,CACzC,SAAS,KAAK,SAAS,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,SAAS,CAAC,KAAK,SAAS,CAAC;IAC/E,KAAK,MAAM,EAAE,IAAI,IAAI,GAAG,CAAC,CAAC,GAAG,YAAY,CAAC,IAAI,EAAE,EAAE,GAAG,WAAW,CAAC,IAAI,EAAE,EAAE,GAAG,YAAY,CAAC,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC;QAClG,IAAI,gBAAgB,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,UAAU,CAAC,EAAE,CAAC;YAAE,SAAS;QACzD,MAAM,OAAO,GAAG;YACd,GAAG,CAAC,YAAY,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,cAAc,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;YACpD,GAAG,CAAC,WAAW,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,mBAAmB,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;SACtD,CAAC;QACF,eAAe,CAAC,EAAE,CAAC,CAAC;QACpB,YAAY,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;QACxB,wGAAwG;QACxG,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC;YAAE,SAAS;QACnC,cAAc,CACZ,gBAAgB,EAAE,EAAE,EACpB,GAAG,OAAO,CAAC,IAAI,CAAC,OAAO,CAAC,6CAA6C;cACnE,GAAG,SAAS,IAAI,gBAAgB,kCAAkC,CACrE,CAAC;IACJ,CAAC;AACH,CAAC"}

package/dist/verify/run-selection/explicit-next-step-gate.d.ts

@@ -0,0 +1,39 @@
+/**
+ * Explicit-method rows run on their focus's one next step, like the default-on
+ * scan (verify/run-selection/verification-default-on.ts gateRunAskOf).
+ *
+ * The tick selects explicit rows two ways -- the edge re-lists a pending or
+ * failed row every tick (explicit-row-selection.ts), and a recorded pass at an
+ * older commit is re-armed (explicit-rearm.ts) -- and each decided from the
+ * row's own state. Both now pass this gate: a row on an armed focus is kept
+ * only while that focus's next step (supervision/focus-next-step.ts) asks for a
+ * gate run at HEAD, or is serving one in flight there. A coding team, a review, a
+ * merge, a pause or done asks for nothing, so no gate starts beside it; an
+ * unreadable step keeps nothing this tick (fail closed) and is read again next
+ * tick. What survives still goes through the row-level rules (park, verdict
+ * reuse, removal) unchanged.
+ *
+ * A row naming no focus, or a focus the daemon does not run (un-armed: not in
+ * the active set), has no decided next step -- none of the deciders acts on such
+ * a focus -- and keeps the un-armed rule (verify/run-selection/unarmed-unattributed.ts).
+ *
+ * The tick reads each focus's step once (memoizeNextStepReads) and hands the same
+ * reads to the default-on scan, so both selectors act on one answer.
+ *
+ * @module verify/run-selection/explicit-next-step-gate
+ */
+import type { PendingVerification } from '../../queries/verification/verification.js';
+import type { FocusNextStepReader } from '../../supervision/focus-next-step.js';
+import type { DefaultOnScanDeps } from './verification-default-on.js';
+/** The reads the gate takes (the scan's own). */
+export type ExplicitNextStepDeps = Pick<DefaultOnScanDeps, 'getActiveFocuses' | 'readFocusNextStep' | 'resolveFocusHeadSha'>;
+/** A reader that reads each focus's next step at most once: one tick, one answer per focus. */
+export declare function memoizeNextStepReads(read: FocusNextStepReader): FocusNextStepReader;
+/** Test-only: forget every logged decline. */
+export declare function __resetExplicitNextStepGateForTests(): void;
+/** The rows whose focus's next step asks for a gate run (module header). Never throws. */
+export declare function explicitRowsOnNextStep(rows: readonly PendingVerification[], config: {
+    organizationId: string;
+    productId: string;
+}, deps: ExplicitNextStepDeps): Promise<PendingVerification[]>;
+//# sourceMappingURL=explicit-next-step-gate.d.ts.map

package/dist/verify/run-selection/explicit-next-step-gate.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"explicit-next-step-gate.d.ts","sourceRoot":"","sources":["../../../src/verify/run-selection/explicit-next-step-gate.ts"],"names":[],"mappings":"AAIA;;;;;;;;;;;;;;;;;;;;;;;GAuBG;AAEH,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,4CAA4C,CAAC;AACtF,OAAO,KAAK,EAAqB,mBAAmB,EAAE,MAAM,sCAAsC,CAAC;AACnG,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,8BAA8B,CAAC;AAMtE,iDAAiD;AACjD,MAAM,MAAM,oBAAoB,GAAG,IAAI,CAAC,iBAAiB,EAAE,kBAAkB,GAAG,mBAAmB,GAAG,qBAAqB,CAAC,CAAC;AAE7H,+FAA+F;AAC/F,wBAAgB,oBAAoB,CAAC,IAAI,EAAE,mBAAmB,GAAG,mBAAmB,CAUnF;AAKD,8CAA8C;AAC9C,wBAAgB,mCAAmC,IAAI,IAAI,CAE1D;AAYD,0FAA0F;AAC1F,wBAAsB,sBAAsB,CAC1C,IAAI,EAAE,SAAS,mBAAmB,EAAE,EACpC,MAAM,EAAE;IAAE,cAAc,EAAE,MAAM,CAAC;IAAC,SAAS,EAAE,MAAM,CAAA;CAAE,EACrD,IAAI,EAAE,oBAAoB,GACzB,OAAO,CAAC,mBAAmB,EAAE,CAAC,CA+BhC"}

package/dist/verify/run-selection/explicit-next-step-gate.js

@@ -0,0 +1,70 @@
+// PINNED-BY-BEGIN (generated by gen:pinned-by -- do not hand-edit; checked by lint:pinned-by)
+// Pinned by: packages/daemon/src/verify/run-selection/explicit-next-step-gate.test.ts
+// PINNED-BY-END
+import { gateRunAskOf } from './verification-default-on.js';
+import { createLogger } from '../../log/daemon-log.js';
+const log = createLogger({ module: 'verification' });
+/** A reader that reads each focus's next step at most once: one tick, one answer per focus. */
+export function memoizeNextStepReads(read) {
+    const reads = new Map();
+    return (focus) => {
+        let pending = reads.get(focus.focus_id);
+        if (!pending) {
+            pending = read(focus);
+            reads.set(focus.focus_id, pending);
+        }
+        return pending;
+    };
+}
+/** focusId -> the step its declined explicit rows were last logged for (one line per change, not per tick). */
+const declineLogged = new Map();
+/** Test-only: forget every logged decline. */
+export function __resetExplicitNextStepGateForTests() {
+    declineLogged.clear();
+}
+function logDecline(focusId, rows, read) {
+    const what = read.readable ? `${read.next.step}${'reason' in read.next ? ` (${read.next.reason})` : ''}` : `unreadable (${read.what})`;
+    if (declineLogged.get(focusId) === what)
+        return;
+    declineLogged.set(focusId, what);
+    log.info(`[verification] explicit rows ${rows.map((r) => r.deliveryId).join(', ')} on focus ${focusId.slice(0, 8)} not dispatched: `
+        + `its next step is ${what}, not a gate run at HEAD`);
+}
+/** The rows whose focus's next step asks for a gate run (module header). Never throws. */
+export async function explicitRowsOnNextStep(rows, config, deps) {
+    const byFocus = new Map();
+    const out = [];
+    for (const row of rows) {
+        if (row.focusId)
+            byFocus.set(row.focusId, [...(byFocus.get(row.focusId) ?? []), row]);
+        else
+            out.push(row);
+    }
+    if (byFocus.size === 0)
+        return out;
+    let focuses;
+    try {
+        focuses = await deps.getActiveFocuses(config.organizationId, config.productId);
+    }
+    catch (err) {
+        log.warn(`[verification] explicit rows held this tick: active focuses unreadable for product ${config.productId}: ${err.message}`);
+        return out;
+    }
+    for (const [focusId, focusRows] of byFocus) {
+        const focus = focuses.find((f) => f.focus_id === focusId);
+        if (!focus) {
+            out.push(...focusRows); // not run by the daemon: no decided next step (module header)
+            continue;
+        }
+        const read = await deps.readFocusNextStep(focus)
+            .catch((err) => ({ readable: false, what: 'deliveries', error: err instanceof Error ? err : new Error(String(err)) }));
+        if (gateRunAskOf(read, deps.resolveFocusHeadSha(focusId)) === 'none') {
+            logDecline(focusId, focusRows, read);
+            continue;
+        }
+        declineLogged.delete(focusId);
+        out.push(...focusRows);
+    }
+    return out;
+}
+//# sourceMappingURL=explicit-next-step-gate.js.map

package/dist/verify/run-selection/explicit-next-step-gate.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"explicit-next-step-gate.js","sourceRoot":"","sources":["../../../src/verify/run-selection/explicit-next-step-gate.ts"],"names":[],"mappings":"AAAA,8FAA8F;AAC9F,sFAAsF;AACtF,gBAAgB;AA8BhB,OAAO,EAAE,YAAY,EAAE,MAAM,8BAA8B,CAAC;AAC5D,OAAO,EAAE,YAAY,EAAE,MAAM,yBAAyB,CAAC;AAEvD,MAAM,GAAG,GAAG,YAAY,CAAC,EAAE,MAAM,EAAE,cAAc,EAAE,CAAC,CAAC;AAKrD,+FAA+F;AAC/F,MAAM,UAAU,oBAAoB,CAAC,IAAyB;IAC5D,MAAM,KAAK,GAAG,IAAI,GAAG,EAAsC,CAAC;IAC5D,OAAO,CAAC,KAAK,EAAE,EAAE;QACf,IAAI,OAAO,GAAG,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;QACxC,IAAI,CAAC,OAAO,EAAE,CAAC;YACb,OAAO,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC;YACtB,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC;QACrC,CAAC;QACD,OAAO,OAAO,CAAC;IACjB,CAAC,CAAC;AACJ,CAAC;AAED,+GAA+G;AAC/G,MAAM,aAAa,GAAG,IAAI,GAAG,EAAkB,CAAC;AAEhD,8CAA8C;AAC9C,MAAM,UAAU,mCAAmC;IACjD,aAAa,CAAC,KAAK,EAAE,CAAC;AACxB,CAAC;AAED,SAAS,UAAU,CAAC,OAAe,EAAE,IAAoC,EAAE,IAAuB;IAChG,MAAM,IAAI,GAAG,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,IAAI,CAAC,IAAI,GAAG,QAAQ,IAAI,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,IAAI,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,eAAe,IAAI,CAAC,IAAI,GAAG,CAAC;IACvI,IAAI,aAAa,CAAC,GAAG,CAAC,OAAO,CAAC,KAAK,IAAI;QAAE,OAAO;IAChD,aAAa,CAAC,GAAG,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC;IACjC,GAAG,CAAC,IAAI,CACN,gCAAgC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,aAAa,OAAO,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,mBAAmB;UACzH,oBAAoB,IAAI,0BAA0B,CACrD,CAAC;AACJ,CAAC;AAED,0FAA0F;AAC1F,MAAM,CAAC,KAAK,UAAU,sBAAsB,CAC1C,IAAoC,EACpC,MAAqD,EACrD,IAA0B;IAE1B,MAAM,OAAO,GAAG,IAAI,GAAG,EAAiC,CAAC;IACzD,MAAM,GAAG,GAA0B,EAAE,CAAC;IACtC,KAAK,MAAM,GAAG,IAAI,IAAI,EAAE,CAAC;QACvB,IAAI,GAAG,CAAC,OAAO;YAAE,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,OAAO,EAAE,CAAC,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC;;YACjF,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IACrB,CAAC;IACD,IAAI,OAAO,CAAC,IAAI,KAAK,CAAC;QAAE,OAAO,GAAG,CAAC;IACnC,IAAI,OAAsE,CAAC;IAC3E,IAAI,CAAC;QACH,OAAO,GAAG,MAAM,IAAI,CAAC,gBAAgB,CAAC,MAAM,CAAC,cAAc,EAAE,MAAM,CAAC,SAAS,CAAC,CAAC;IACjF,CAAC;IAAC,OAAO,GAAG,EAAE,CAAC;QACb,GAAG,CAAC,IAAI,CAAC,sFAAsF,MAAM,CAAC,SAAS,KAAM,GAAa,CAAC,OAAO,EAAE,CAAC,CAAC;QAC9I,OAAO,GAAG,CAAC;IACb,CAAC;IACD,KAAK,MAAM,CAAC,OAAO,EAAE,SAAS,CAAC,IAAI,OAAO,EAAE,CAAC;QAC3C,MAAM,KAAK,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,OAAO,CAAC,CAAC;QAC1D,IAAI,CAAC,KAAK,EAAE,CAAC;YACX,GAAG,CAAC,IAAI,CAAC,GAAG,SAAS,CAAC,CAAC,CAAC,8DAA8D;YACtF,SAAS;QACX,CAAC;QACD,MAAM,IAAI,GAAsB,MAAM,IAAI,CAAC,iBAAiB,CAAC,KAAK,CAAC;aAChE,KAAK,CAAC,CAAC,GAAY,EAAE,EAAE,CAAC,CAAC,EAAE,QAAQ,EAAE,KAAc,EAAE,IAAI,EAAE,YAAqB,EAAE,KAAK,EAAE,GAAG,YAAY,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QACpJ,IAAI,YAAY,CAAC,IAAI,EAAE,IAAI,CAAC,mBAAmB,CAAC,OAAO,CAAC,CAAC,KAAK,MAAM,EAAE,CAAC;YACrE,UAAU,CAAC,OAAO,EAAE,SAAS,EAAE,IAAI,CAAC,CAAC;YACrC,SAAS;QACX,CAAC;QACD,aAAa,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;QAC9B,GAAG,CAAC,IAAI,CAAC,GAAG,SAAS,CAAC,CAAC;IACzB,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC"}

package/dist/verify/run-selection/pre-review-gate-dispatch.d.ts

@@ -5,19 +5,10 @@ export interface PreReviewFocus {
 /** The slice of a delivery row the readiness read takes. */
 export interface PreReviewDelivery {
     executionStatus: string | null;
-    gateState?: unknown;
 }
 /**
  * True when the focus awaits its pre-review gate run: no delivery active, at
  * least one in verify, and no review window open.
  */
 export declare function focusAwaitsPreReviewRun(focus: PreReviewFocus, deliveries: readonly PreReviewDelivery[]): boolean;
-/**
- * True when the scan may select this verify delivery: its focus awaits the
- * pre-review run, a held route asks for a verdict on the commit the focus HEAD
- * names, or an awaited-model hold stands while HEAD is readable. A commit-verdict
- * hold naming no commit, or another one, asks for no run a dispatch could aim (a
- * run judges HEAD), as the pull itself rules.
- */
-export declare function mayDispatchGateRun(focusAwaitsRun: boolean, delivery: PreReviewDelivery, readHead: () => string | null): boolean;
 //# sourceMappingURL=pre-review-gate-dispatch.d.ts.map

package/dist/verify/run-selection/pre-review-gate-dispatch.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"pre-review-gate-dispatch.d.ts","sourceRoot":"","sources":["../../../src/verify/run-selection/pre-review-gate-dispatch.ts"],"names":[],"mappings":"AA8DA,yDAAyD;AACzD,MAAM,WAAW,cAAc;IAC7B,mBAAmB,EAAE,MAAM,GAAG,IAAI,CAAC;CACpC;AAED,4DAA4D;AAC5D,MAAM,WAAW,iBAAiB;IAChC,eAAe,EAAE,MAAM,GAAG,IAAI,CAAC;IAC/B,SAAS,CAAC,EAAE,OAAO,CAAC;CACrB;AAED;;;GAGG;AACH,wBAAgB,uBAAuB,CAAC,KAAK,EAAE,cAAc,EAAE,UAAU,EAAE,SAAS,iBAAiB,EAAE,GAAG,OAAO,CAKhH;AAED;;;;;;GAMG;AACH,wBAAgB,kBAAkB,CAAC,cAAc,EAAE,OAAO,EAAE,QAAQ,EAAE,iBAAiB,EAAE,QAAQ,EAAE,MAAM,MAAM,GAAG,IAAI,GAAG,OAAO,CAK/H"}
+{"version":3,"file":"pre-review-gate-dispatch.d.ts","sourceRoot":"","sources":["../../../src/verify/run-selection/pre-review-gate-dispatch.ts"],"names":[],"mappings":"AAoCA,yDAAyD;AACzD,MAAM,WAAW,cAAc;IAC7B,mBAAmB,EAAE,MAAM,GAAG,IAAI,CAAC;CACpC;AAED,4DAA4D;AAC5D,MAAM,WAAW,iBAAiB;IAChC,eAAe,EAAE,MAAM,GAAG,IAAI,CAAC;CAChC;AAED;;;GAGG;AACH,wBAAgB,uBAAuB,CAAC,KAAK,EAAE,cAAc,EAAE,UAAU,EAAE,SAAS,iBAAiB,EAAE,GAAG,OAAO,CAKhH"}

package/dist/verify/run-selection/pre-review-gate-dispatch.js

@@ -3,60 +3,34 @@
 //   packages/daemon/src/verify/run-selection/pre-review-gate-dispatch.test.ts
 // PINNED-BY-END
 /**
- * When the default-on scan may select a focus's verify deliveries: the gate runs
- * once per focus HEAD, before review is requested -- not per delivery as each
- * one enters verify.
+ * The pre-review shape of a focus: no delivery active, at least one in verify, no
+ * review window open (supervision/focus-delivery-aggregate-phase.ts `verifying`).
+ * The gate runs once per focus HEAD, before review is requested -- not per
+ * delivery as each one enters verify.
  *
- * A verify delivery is selectable only when one of three things asks for a verdict:
+ * WHO DECIDES THE RUN. Whether the default-on scan selects a gate run is the
+ * focus's one next step (supervision/focus-next-step.ts), read by the scan
+ * (verify/run-selection/verification-default-on.ts gateRunAskOf): a gate run at
+ * HEAD -- a verdict owed there, or the one re-run at a failed HEAD -- or a
+ * shortfall park whose releaser is a gate run. That covers what this module used
+ * to admit beside the pre-review shape: a held route's commit (the review exit
+ * that found no passing verdict for HEAD leaves it owed, and its pull drops the
+ * pass the scan would otherwise reuse -- verify/run-selection/commit-verdict-pull.ts)
+ * and an awaited model (a reconciliation that could not run records no outcome
+ * for HEAD, so a verdict is still owed there). A live team, owed open work, a
+ * passed or failed HEAD and a paused or settled focus select nothing.
  *
- *   - **The focus awaits its pre-review run.** Its delivery aggregate is
- *     `verifying` (no delivery active, at least one in verify, no review window
- *     open -- supervision/focus-delivery-aggregate-phase.ts). That is the moment
- *     the review request (completion/state-cascade/review-request-gate.ts) needs
- *     a passing verdict for HEAD; every verify delivery shares the one run at that
- *     HEAD (verify/engine/verification-commit-sharing.ts). A delivery entering
- *     verify while a sibling still codes selects nothing: its run is the focus's
- *     pre-review run at whatever HEAD the focus reaches. The focus STAYS in this
- *     state until verify has finished judging HEAD: the review request also waits
- *     on each verify delivery's recorded outcome, effect reconciliation included
- *     (completion/state-cascade/review-verify-judgment-gate.ts), so a delivery
- *     whose dispatch left none is still selectable here.
- *   - **A held route pulls it.** A review exit that found no passing verdict for
- *     the commit it judged recorded a commit-verdict hold
- *     (delivery/commit-verdict-hold.ts); the pull
- *     (verify/run-selection/commit-verdict-pull.ts) aims a run at that commit
- *     while the focus HEAD names it. A
- *     review that committed pays exactly that one run; one that did not reads the
- *     pre-review verdict, which is keyed on the same commit.
- *   - **An awaited model holds it.** Its verify reconciliation could not run
- *     (gate_state.modelUnavailable, verify/outcome-routing/verification-model-unavailable-hold.ts),
- *     so it was judged on nothing, and the hold promises a re-judge on a later
- *     tick. A hold the pre-review run itself forms needs no admission of its own:
- *     a passing gate verdict no longer opens the review window while the
- *     reconciliation is unanswered, so the focus still awaits its pre-review run
- *     and the first rule selects the delivery again. This rule is for a hold
- *     standing under a window that is ALREADY open -- a re-judgement a held
- *     route pulled while its review window stood -- where the review parks on
- *     that same hold (spawn/review-hold-park.ts): if selection waited for the
- *     window to close, neither side could move. The hold is admitted whatever the
- *     window while the focus HEAD is readable (a run judges HEAD). Admission
- *     does not bypass the incurable re-hold: a kind retrying cannot cure, on an
- *     unchanged judged input, is re-held at dispatch with no model call
- *     (verify/outcome-routing/incurable-model-hold.ts).
+ * What remains here is the shape itself, read by the dashboard's activity record
+ * (focus/focus-activity-record.ts) to show a focus waiting on its gate before the
+ * verification tick reaches it.
  *
- * While a review window is open and no route or awaited model holds, nothing is
- * selected: the review judges the HEAD verify finished judging before the window
- * opened.
- *
- * Rationale and the decision this reverses: docs/DECISIONS.md ("The full gate
- * runs once per focus HEAD, before review"). History:
- * docs/daemon/history-verify.md (verify/run-selection/pre-review-gate-dispatch.ts).
+ * Rationale: docs/DECISIONS.md ("The full gate runs once per focus HEAD, before
+ * review"). History: docs/daemon/history-verify.md
+ * (verify/run-selection/pre-review-gate-dispatch.ts).
  *
  * @module verify/run-selection/pre-review-gate-dispatch
  */
 import { deriveFocusDeliveryAggregatePhase } from '../../supervision/focus-delivery-aggregate-phase.js';
-import { readCommitVerdictHold } from '../../delivery/commit-verdict-hold.js';
-import { hasModelUnavailableHold } from '../../queries/delivery-gate-state/verify-own-holds.js';
 /**
  * True when the focus awaits its pre-review gate run: no delivery active, at
  * least one in verify, and no review window open.
@@ -67,19 +41,4 @@ export function focusAwaitsPreReviewRun(focus, deliveries) {
         reviewRequestedAt: focus.review_requested_at,
     }) === 'verifying';
 }
-/**
- * True when the scan may select this verify delivery: its focus awaits the
- * pre-review run, a held route asks for a verdict on the commit the focus HEAD
- * names, or an awaited-model hold stands while HEAD is readable. A commit-verdict
- * hold naming no commit, or another one, asks for no run a dispatch could aim (a
- * run judges HEAD), as the pull itself rules.
- */
-export function mayDispatchGateRun(focusAwaitsRun, delivery, readHead) {
-    if (focusAwaitsRun)
-        return true;
-    if (hasModelUnavailableHold(delivery.gateState))
-        return readHead() !== null;
-    const hold = readCommitVerdictHold(delivery.gateState);
-    return hold !== null && hold.sha !== null && hold.sha === readHead();
-}
 //# sourceMappingURL=pre-review-gate-dispatch.js.map

package/dist/verify/run-selection/pre-review-gate-dispatch.js.map

@@ -1 +1 @@
-{"version":3,"file":"pre-review-gate-dispatch.js","sourceRoot":"","sources":["../../../src/verify/run-selection/pre-review-gate-dispatch.ts"],"names":[],"mappings":"AAAA,8FAA8F;AAC9F,sEAAsE;AACtE,8EAA8E;AAC9E,gBAAgB;AAEhB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAmDG;AAEH,OAAO,EAAE,iCAAiC,EAAE,MAAM,qDAAqD,CAAC;AACxG,OAAO,EAAE,qBAAqB,EAAE,MAAM,uCAAuC,CAAC;AAC9E,OAAO,EAAE,uBAAuB,EAAE,MAAM,uDAAuD,CAAC;AAahG;;;GAGG;AACH,MAAM,UAAU,uBAAuB,CAAC,KAAqB,EAAE,UAAwC;IACrG,OAAO,iCAAiC,CAAC;QACvC,UAAU,EAAE,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,eAAe,EAAE,CAAC,CAAC,eAAe,EAAE,CAAC,CAAC;QAC3E,iBAAiB,EAAE,KAAK,CAAC,mBAAmB;KAC7C,CAAC,KAAK,WAAW,CAAC;AACrB,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,kBAAkB,CAAC,cAAuB,EAAE,QAA2B,EAAE,QAA6B;IACpH,IAAI,cAAc;QAAE,OAAO,IAAI,CAAC;IAChC,IAAI,uBAAuB,CAAC,QAAQ,CAAC,SAAS,CAAC;QAAE,OAAO,QAAQ,EAAE,KAAK,IAAI,CAAC;IAC5E,MAAM,IAAI,GAAG,qBAAqB,CAAC,QAAQ,CAAC,SAAS,CAAC,CAAC;IACvD,OAAO,IAAI,KAAK,IAAI,IAAI,IAAI,CAAC,GAAG,KAAK,IAAI,IAAI,IAAI,CAAC,GAAG,KAAK,QAAQ,EAAE,CAAC;AACvE,CAAC"}
+{"version":3,"file":"pre-review-gate-dispatch.js","sourceRoot":"","sources":["../../../src/verify/run-selection/pre-review-gate-dispatch.ts"],"names":[],"mappings":"AAAA,8FAA8F;AAC9F,sEAAsE;AACtE,8EAA8E;AAC9E,gBAAgB;AAEhB;;;;;;;;;;;;;;;;;;;;;;;;;;;GA2BG;AAEH,OAAO,EAAE,iCAAiC,EAAE,MAAM,qDAAqD,CAAC;AAYxG;;;GAGG;AACH,MAAM,UAAU,uBAAuB,CAAC,KAAqB,EAAE,UAAwC;IACrG,OAAO,iCAAiC,CAAC;QACvC,UAAU,EAAE,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,eAAe,EAAE,CAAC,CAAC,eAAe,EAAE,CAAC,CAAC;QAC3E,iBAAiB,EAAE,KAAK,CAAC,mBAAmB;KAC7C,CAAC,KAAK,WAAW,CAAC;AACrB,CAAC"}

package/dist/verify/run-selection/reselection-log-line.d.ts

@@ -3,7 +3,7 @@
  * belongs here AND at a `logReselection` call site; the enumeration test fails
  * on a member with no driver.
  */
-export declare const RESELECTION_PATHS: readonly ["run-mark-prune", "run-mark-release", "commit-verdict-pull", "credit-rearm", "ruling-rearm", "pending-relisting", "model-unavailable-unmark", "checkout-unavailable-unmark", "unanswered-dispatch"];
+export declare const RESELECTION_PATHS: readonly ["run-mark-prune", "run-mark-release", "commit-verdict-pull", "credit-rearm", "ruling-rearm", "pending-relisting", "model-unavailable-unmark", "checkout-unavailable-unmark", "no-code-evidence-unmark", "unanswered-dispatch"];
 /** One of {@link RESELECTION_PATHS}. */
 export type ReselectionPath = (typeof RESELECTION_PATHS)[number];
 /** Test-only: forget every de-duplicated line written so far. */

package/dist/verify/run-selection/reselection-log-line.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"reselection-log-line.d.ts","sourceRoot":"","sources":["../../../src/verify/run-selection/reselection-log-line.ts"],"names":[],"mappings":"AA0CA;;;;GAIG;AACH,eAAO,MAAM,iBAAiB,+MAmBpB,CAAC;AAEX,wCAAwC;AACxC,MAAM,MAAM,eAAe,GAAG,CAAC,OAAO,iBAAiB,CAAC,CAAC,MAAM,CAAC,CAAC;AAKjE,iEAAiE;AACjE,wBAAgB,6BAA6B,IAAI,IAAI,CAEpD;AAED;;;;;;;;;GASG;AACH,wBAAgB,cAAc,CAC5B,IAAI,EAAE,eAAe,EACrB,UAAU,EAAE,MAAM,EAClB,MAAM,EAAE,MAAM,EACd,SAAS,CAAC,EAAE,MAAM,GACjB,IAAI,CAON"}
+{"version":3,"file":"reselection-log-line.d.ts","sourceRoot":"","sources":["../../../src/verify/run-selection/reselection-log-line.ts"],"names":[],"mappings":"AA0CA;;;;GAIG;AACH,eAAO,MAAM,iBAAiB,0OAqBpB,CAAC;AAEX,wCAAwC;AACxC,MAAM,MAAM,eAAe,GAAG,CAAC,OAAO,iBAAiB,CAAC,CAAC,MAAM,CAAC,CAAC;AAKjE,iEAAiE;AACjE,wBAAgB,6BAA6B,IAAI,IAAI,CAEpD;AAED;;;;;;;;;GASG;AACH,wBAAgB,cAAc,CAC5B,IAAI,EAAE,eAAe,EACrB,UAAU,EAAE,MAAM,EAClB,MAAM,EAAE,MAAM,EACd,SAAS,CAAC,EAAE,MAAM,GACjB,IAAI,CAON"}

package/dist/verify/run-selection/reselection-log-line.js

@@ -58,6 +58,8 @@ export const RESELECTION_PATHS = [
     'model-unavailable-unmark',
     /** No checkout could be made, or the verdict was discarded mid-run (default-on-guards.ts noteDefaultOnResult). */
     'checkout-unavailable-unmark',
+    /** The gate exited non-zero with no evidence of a code failure: no verdict to guard (default-on-guards.ts noteDefaultOnResult). */
+    'no-code-evidence-unmark',
     /** A dispatch did not pass at a commit the gate passed and left no park behind it (unanswered-dispatch.ts). */
     'unanswered-dispatch',
 ];

package/dist/verify/run-selection/reselection-log-line.js.map

@@ -1 +1 @@
-{"version":3,"file":"reselection-log-line.js","sourceRoot":"","sources":["../../../src/verify/run-selection/reselection-log-line.ts"],"names":[],"mappings":"AAAA,8FAA8F;AAC9F,oGAAoG;AACpG,6EAA6E;AAC7E,2EAA2E;AAC3E,0EAA0E;AAC1E,6EAA6E;AAC7E,gBAAgB;AAEhB;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA4BG;AAEH,OAAO,EAAE,YAAY,EAAE,MAAM,yBAAyB,CAAC;AAEvD,MAAM,GAAG,GAAG,YAAY,CAAC,EAAE,MAAM,EAAE,cAAc,EAAE,CAAC,CAAC;AAErD;;;;GAIG;AACH,MAAM,CAAC,MAAM,iBAAiB,GAAG;IAC/B,qHAAqH;IACrH,gBAAgB;IAChB,sHAAsH;IACtH,kBAAkB;IAClB,8FAA8F;IAC9F,qBAAqB;IACrB,mGAAmG;IACnG,cAAc;IACd,6HAA6H;IAC7H,cAAc;IACd,+FAA+F;IAC/F,mBAAmB;IACnB,uHAAuH;IACvH,0BAA0B;IAC1B,kHAAkH;IAClH,6BAA6B;IAC7B,+GAA+G;IAC/G,qBAAqB;CACb,CAAC;AAKX,oEAAoE;AACpE,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,CAAC;AAElC,iEAAiE;AACjE,MAAM,UAAU,6BAA6B;IAC3C,OAAO,CAAC,KAAK,EAAE,CAAC;AAClB,CAAC;AAED;;;;;;;;;GASG;AACH,MAAM,UAAU,cAAc,CAC5B,IAAqB,EACrB,UAAkB,EAClB,MAAc,EACd,SAAkB;IAElB,IAAI,SAAS,KAAK,SAAS,EAAE,CAAC;QAC5B,MAAM,GAAG,GAAG,GAAG,IAAI,IAAI,UAAU,IAAI,SAAS,EAAE,CAAC;QACjD,IAAI,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC;YAAE,OAAO;QAC7B,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;IACnB,CAAC;IACD,GAAG,CAAC,IAAI,CAAC,gCAAgC,IAAI,eAAe,UAAU,OAAO,MAAM,EAAE,CAAC,CAAC;AACzF,CAAC"}
+{"version":3,"file":"reselection-log-line.js","sourceRoot":"","sources":["../../../src/verify/run-selection/reselection-log-line.ts"],"names":[],"mappings":"AAAA,8FAA8F;AAC9F,oGAAoG;AACpG,6EAA6E;AAC7E,2EAA2E;AAC3E,0EAA0E;AAC1E,6EAA6E;AAC7E,gBAAgB;AAEhB;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA4BG;AAEH,OAAO,EAAE,YAAY,EAAE,MAAM,yBAAyB,CAAC;AAEvD,MAAM,GAAG,GAAG,YAAY,CAAC,EAAE,MAAM,EAAE,cAAc,EAAE,CAAC,CAAC;AAErD;;;;GAIG;AACH,MAAM,CAAC,MAAM,iBAAiB,GAAG;IAC/B,qHAAqH;IACrH,gBAAgB;IAChB,sHAAsH;IACtH,kBAAkB;IAClB,8FAA8F;IAC9F,qBAAqB;IACrB,mGAAmG;IACnG,cAAc;IACd,6HAA6H;IAC7H,cAAc;IACd,+FAA+F;IAC/F,mBAAmB;IACnB,uHAAuH;IACvH,0BAA0B;IAC1B,kHAAkH;IAClH,6BAA6B;IAC7B,mIAAmI;IACnI,yBAAyB;IACzB,+GAA+G;IAC/G,qBAAqB;CACb,CAAC;AAKX,oEAAoE;AACpE,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,CAAC;AAElC,iEAAiE;AACjE,MAAM,UAAU,6BAA6B;IAC3C,OAAO,CAAC,KAAK,EAAE,CAAC;AAClB,CAAC;AAED;;;;;;;;;GASG;AACH,MAAM,UAAU,cAAc,CAC5B,IAAqB,EACrB,UAAkB,EAClB,MAAc,EACd,SAAkB;IAElB,IAAI,SAAS,KAAK,SAAS,EAAE,CAAC;QAC5B,MAAM,GAAG,GAAG,GAAG,IAAI,IAAI,UAAU,IAAI,SAAS,EAAE,CAAC;QACjD,IAAI,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC;YAAE,OAAO;QAC7B,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;IACnB,CAAC;IACD,GAAG,CAAC,IAAI,CAAC,gCAAgC,IAAI,eAAe,UAAU,OAAO,MAAM,EAAE,CAAC,CAAC;AACzF,CAAC"}

package/dist/verify/run-selection/verification-default-on.d.ts

@@ -23,6 +23,7 @@ import { type VerifyManifest } from '../gate-config/verification-manifest.js';
 import type { getActiveFocuses } from '../../queries/focuses/focus-discovery.js';
 import type { getFocusDeliveries } from '../../queries/focuses/focuses.js';
 import type { OwedReworkRetry } from '../outcome-routing/verification-rework-issue.js';
+import type { FocusNextStepRead, FocusNextStepReader } from '../../supervision/focus-next-step.js';
 /** Default HEAD reader: the registered focus worktree's HEAD, or null when unreadable. */
 export declare function defaultResolveFocusHeadSha(focusId: string): string | null;
 /**
@@ -49,6 +50,13 @@ export interface DefaultOnScanDeps {
     readJudgedCommitManifest: (focusId: string) => JudgedCommitRead | null;
     /** Retries a rework-Bug filing a failure left owed at the failed HEAD (verify/outcome-routing/verification-rework-issue.ts). */
     retryOwedReworkIssue: OwedReworkRetry;
+    /**
+     * The focus's one next step (supervision/focus-next-step.ts; production binds
+     * composition/focus-next-step-context.ts readLiveFocusNextStep). It alone says
+     * whether the gate runs at the focus HEAD (gateRunAskOf); read once per focus
+     * per scan, only for a focus with a verify delivery the scan could select.
+     */
+    readFocusNextStep: FocusNextStepReader;
 }
 /**
  * Counting semaphore capping concurrent daemon-side verification runs.
@@ -171,6 +179,26 @@ export declare function resolveProductVerificationScopes(config: DaemonConfig, r
  * conservative floor, not a stale limit from a previous tick.
  */
 export declare function resolveDaemonWideVerifyCap(scopes: readonly ProductVerificationScope[]): number;
+/**
+ * What the focus's one next step asks of the scan: nothing; a gate run at HEAD;
+ * that run including the one re-run at the HEAD its gate failed on (its rework Bug
+ * closed with no new commit; supervision/failed-head-rerun.ts); or serving the run
+ * already in flight there.
+ */
+export type GateRunAsk = 'none' | 'run' | 'rerun_failed_head' | 'serve_in_flight';
+/**
+ * The scan's reading of the decision (supervision/focus-next-step.ts). A gate run
+ * at HEAD asks for one -- a verdict owed, or the failed-HEAD re-run at the HEAD the
+ * decision was read at. A shortfall park whose releaser is a gate run asks for one
+ * too: a ruling or a new delivery commit releases the park by re-arming the parked
+ * delivery's run, and an unparked sibling not yet judged at HEAD shares that run.
+ * A run in flight at HEAD is the actor, already started: the scan serves it -- a
+ * delivery it has not answered is selected again, which is how a CI-run gate's
+ * dispatch collects its verdict -- but re-arms no recorded pass to start a second
+ * run beside it. Every other step (a team, a review, a merge, a pause, done) asks
+ * for nothing. Pure.
+ */
+export declare function gateRunAskOf(read: FocusNextStepRead, head: string | null): GateRunAsk;
 /**
  * What the commit a delivery is judged on declares in telora.verify.json, read
  * from git AT that sha -- never the worktree's files, which may hold edits the
@@ -218,10 +246,10 @@ export declare function judgedCommitVerificationConfig(read: JudgedCommitManifes
  * `verify` status, anchored to an injection, with no explicit verification
  * method (so not already returned by getPendingVerifications), not in a
  * read-only audit focus (those are discovery-only and never run a suite), in a
- * focus awaiting its pre-review run or carrying a held route's request
- * (pre-review-gate-dispatch.ts -- once per focus HEAD, before review, never
- * merely because the delivery entered verify), and not already run, failed or
- * passed on the focus's unchanged HEAD (HEAD-keyed guards).
+ * focus whose one next step asks for a gate run at HEAD (gateRunAskOf over
+ * supervision/focus-next-step.ts -- once per focus HEAD, never merely because the
+ * delivery entered verify), and not already run, failed or passed on the focus's
+ * unchanged HEAD (HEAD-keyed guards, which only keep one commit from being run twice).
  *
  * Synthesizes a `deterministic` PendingVerification carrying the resolved
  * config-default command + timeout and a `defaultOnSource` marker. Those values

package/dist/verify/run-selection/verification-default-on.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"verification-default-on.d.ts","sourceRoot":"","sources":["../../../src/verify/run-selection/verification-default-on.ts"],"names":[],"mappings":"AAgBA;;;;;;;;;;;;;;;;GAgBG;AAEH,OAAO,EAAmB,KAAK,YAAY,EAAE,MAAM,qBAAqB,CAAC;AACzE,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,sBAAsB,CAAC;AACzD,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,4CAA4C,CAAC;AACtF,OAAO,EAGL,KAAK,2BAA2B,EAChC,KAAK,2BAA2B,EACjC,MAAM,uCAAuC,CAAC;AAC/C,OAAO,EAIL,KAAK,cAAc,EAEpB,MAAM,yCAAyC,CAAC;AAEjD,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,0CAA0C,CAAC;AACjF,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,kCAAkC,CAAC;AAS3E,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,iDAAiD,CAAC;AAMvF,0FAA0F;AAC1F,wBAAgB,0BAA0B,CAAC,OAAO,EAAE,MAAM,GAAG,MAAM,GAAG,IAAI,CAGzE;AAGD;;;;GAIG;AACH,MAAM,WAAW,iBAAiB;IAChC,gBAAgB,EAAE,OAAO,gBAAgB,CAAC;IAC1C,kBAAkB,EAAE,OAAO,kBAAkB,CAAC;IAC9C;;;;;OAKG;IACH,mBAAmB,EAAE,CAAC,OAAO,EAAE,MAAM,KAAK,MAAM,GAAG,IAAI,CAAC;IACxD;;;;;OAKG;IACH,wBAAwB,EAAE,CAAC,OAAO,EAAE,MAAM,KAAK,gBAAgB,GAAG,IAAI,CAAC;IACvE,gIAAgI;IAChI,oBAAoB,EAAE,eAAe,CAAC;CACvC;AAMD;;;;;;;;;;;;;;;GAeG;AACH,qBAAa,qBAAqB;IAChC,OAAO,CAAC,OAAO,CAAS;IACxB,OAAO,CAAC,KAAK,CAAS;IACtB,OAAO,CAAC,QAAQ,CAAC,OAAO,CAAyB;gBAErC,KAAK,EAAE,MAAM;IAKzB,mFAAmF;IACnF,QAAQ,CAAC,KAAK,EAAE,MAAM,GAAG,IAAI;IAavB,OAAO,IAAI,OAAO,CAAC,IAAI,CAAC;IAQ9B,OAAO,IAAI,IAAI;IASf,2DAA2D;IAC3D,gBAAgB,IAAI,MAAM;CAG3B;AAED,8EAA8E;AAC9E,eAAO,MAAM,qBAAqB,uBAA+B,CAAC;AAElE,oDAAoD;AACpD,wBAAgB,kCAAkC,IAAI;IAAE,gBAAgB,IAAI,MAAM,CAAC;IAAC,QAAQ,CAAC,CAAC,EAAE,MAAM,GAAG,IAAI,CAAA;CAAE,CAE9G;AAMD;;;GAGG;AACH,MAAM,WAAW,wBAAwB;IACvC,OAAO,EAAE,YAAY,CAAC;IACtB,2FAA2F;IAC3F,aAAa,EAAE,YAAY,CAAC;IAC5B;;;;;OAKG;IACH,QAAQ,EAAE,2BAA2B,GAAG,SAAS,CAAC;IAClD;;;;OAIG;IACH,gBAAgB,CAAC,EAAE,2BAA2B,CAAC;CAChD;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAiCG;AACH,wBAAgB,gCAAgC,CAC9C,MAAM,EAAE,YAAY,EACpB,OAAO,EAAE,2BAA2B,GACnC,wBAAwB,EAAE,CAe5B;AAsBD;;;;;;;;;;;;;;;;;;;;;;;;;;;GA2BG;AACH,wBAAgB,0BAA0B,CACxC,MAAM,EAAE,SAAS,wBAAwB,EAAE,GAC1C,MAAM,CAMR;AAgBD;;;;GAIG;AACH,MAAM,WAAW,oBAAoB;IACnC,GAAG,EAAE,MAAM,CAAC;IACZ,qFAAqF;IACrF,YAAY,EAAE,MAAM,CAAC;IACrB,QAAQ,CAAC,EAAE,cAAc,CAAC;IAC1B,4EAA4E;IAC5E,SAAS,CAAC,EAAE,MAAM,CAAC;CACpB;AAED;;;;GAIG;AACH,MAAM,WAAW,sBAAsB;IACrC,UAAU,EAAE,MAAM,CAAC;CACpB;AAED,MAAM,MAAM,gBAAgB,GAAG,oBAAoB,GAAG,sBAAsB,CAAC;AAE7E,KAAK,MAAM,GAAG,CAAC,IAAI,EAAE,MAAM,EAAE,EAAE,GAAG,EAAE,MAAM,KAAK;IAAE,OAAO,EAAE,OAAO,CAAC;IAAC,MAAM,EAAE,MAAM,CAAC;IAAC,KAAK,CAAC,EAAE,MAAM,CAAA;CAAE,CAAC;AAEpG,mGAAmG;AACnG,wBAAgB,oBAAoB,CAAC,YAAY,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,GAAG,gBAAgB,CA6BxG;AAED;;;;;GAKG;AACH,wBAAgB,+BAA+B,CAC7C,mBAAmB,EAAE,CAAC,OAAO,EAAE,MAAM,KAAK,MAAM,GAAG,IAAI,EACvD,MAAM,EAAE,MAAM,GACb,CAAC,OAAO,EAAE,MAAM,KAAK,gBAAgB,GAAG,IAAI,CAgB9C;AAmCD;;;;GAIG;AACH,wBAAgB,8BAA8B,CAAC,IAAI,EAAE,oBAAoB,EAAE,QAAQ,EAAE,2BAA2B,GAAG,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CASzI;AA8BD;;;;;;;;;;;;;;;;;;;;;;;;;;;GA2BG;AACH,wBAAsB,6BAA6B,CACjD,MAAM,EAAE,YAAY,EACpB,QAAQ,EAAE,2BAA2B,EACrC,mBAAmB,EAAE,WAAW,CAAC,MAAM,CAAC,EACxC,IAAI,EAAE,iBAAiB,GACtB,OAAO,CAAC,mBAAmB,EAAE,CAAC,CAyFhC"}
+{"version":3,"file":"verification-default-on.d.ts","sourceRoot":"","sources":["../../../src/verify/run-selection/verification-default-on.ts"],"names":[],"mappings":"AAgBA;;;;;;;;;;;;;;;;GAgBG;AAEH,OAAO,EAAmB,KAAK,YAAY,EAAE,MAAM,qBAAqB,CAAC;AACzE,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,sBAAsB,CAAC;AACzD,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,4CAA4C,CAAC;AACtF,OAAO,EAGL,KAAK,2BAA2B,EAChC,KAAK,2BAA2B,EACjC,MAAM,uCAAuC,CAAC;AAC/C,OAAO,EAIL,KAAK,cAAc,EAEpB,MAAM,yCAAyC,CAAC;AAEjD,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,0CAA0C,CAAC;AACjF,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,kCAAkC,CAAC;AAS3E,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,iDAAiD,CAAC;AAEvF,OAAO,KAAK,EAAE,iBAAiB,EAAE,mBAAmB,EAAE,MAAM,sCAAsC,CAAC;AAInG,0FAA0F;AAC1F,wBAAgB,0BAA0B,CAAC,OAAO,EAAE,MAAM,GAAG,MAAM,GAAG,IAAI,CAGzE;AAGD;;;;GAIG;AACH,MAAM,WAAW,iBAAiB;IAChC,gBAAgB,EAAE,OAAO,gBAAgB,CAAC;IAC1C,kBAAkB,EAAE,OAAO,kBAAkB,CAAC;IAC9C;;;;;OAKG;IACH,mBAAmB,EAAE,CAAC,OAAO,EAAE,MAAM,KAAK,MAAM,GAAG,IAAI,CAAC;IACxD;;;;;OAKG;IACH,wBAAwB,EAAE,CAAC,OAAO,EAAE,MAAM,KAAK,gBAAgB,GAAG,IAAI,CAAC;IACvE,gIAAgI;IAChI,oBAAoB,EAAE,eAAe,CAAC;IACtC;;;;;OAKG;IACH,iBAAiB,EAAE,mBAAmB,CAAC;CACxC;AAMD;;;;;;;;;;;;;;;GAeG;AACH,qBAAa,qBAAqB;IAChC,OAAO,CAAC,OAAO,CAAS;IACxB,OAAO,CAAC,KAAK,CAAS;IACtB,OAAO,CAAC,QAAQ,CAAC,OAAO,CAAyB;gBAErC,KAAK,EAAE,MAAM;IAKzB,mFAAmF;IACnF,QAAQ,CAAC,KAAK,EAAE,MAAM,GAAG,IAAI;IAavB,OAAO,IAAI,OAAO,CAAC,IAAI,CAAC;IAQ9B,OAAO,IAAI,IAAI;IASf,2DAA2D;IAC3D,gBAAgB,IAAI,MAAM;CAG3B;AAED,8EAA8E;AAC9E,eAAO,MAAM,qBAAqB,uBAA+B,CAAC;AAElE,oDAAoD;AACpD,wBAAgB,kCAAkC,IAAI;IAAE,gBAAgB,IAAI,MAAM,CAAC;IAAC,QAAQ,CAAC,CAAC,EAAE,MAAM,GAAG,IAAI,CAAA;CAAE,CAE9G;AAMD;;;GAGG;AACH,MAAM,WAAW,wBAAwB;IACvC,OAAO,EAAE,YAAY,CAAC;IACtB,2FAA2F;IAC3F,aAAa,EAAE,YAAY,CAAC;IAC5B;;;;;OAKG;IACH,QAAQ,EAAE,2BAA2B,GAAG,SAAS,CAAC;IAClD;;;;OAIG;IACH,gBAAgB,CAAC,EAAE,2BAA2B,CAAC;CAChD;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAiCG;AACH,wBAAgB,gCAAgC,CAC9C,MAAM,EAAE,YAAY,EACpB,OAAO,EAAE,2BAA2B,GACnC,wBAAwB,EAAE,CAe5B;AAsBD;;;;;;;;;;;;;;;;;;;;;;;;;;;GA2BG;AACH,wBAAgB,0BAA0B,CACxC,MAAM,EAAE,SAAS,wBAAwB,EAAE,GAC1C,MAAM,CAMR;AAYD;;;;;GAKG;AACH,MAAM,MAAM,UAAU,GAAG,MAAM,GAAG,KAAK,GAAG,mBAAmB,GAAG,iBAAiB,CAAC;AAElF;;;;;;;;;;;GAWG;AACH,wBAAgB,YAAY,CAAC,IAAI,EAAE,iBAAiB,EAAE,IAAI,EAAE,MAAM,GAAG,IAAI,GAAG,UAAU,CAQrF;AA6DD;;;;GAIG;AACH,MAAM,WAAW,oBAAoB;IACnC,GAAG,EAAE,MAAM,CAAC;IACZ,qFAAqF;IACrF,YAAY,EAAE,MAAM,CAAC;IACrB,QAAQ,CAAC,EAAE,cAAc,CAAC;IAC1B,4EAA4E;IAC5E,SAAS,CAAC,EAAE,MAAM,CAAC;CACpB;AAED;;;;GAIG;AACH,MAAM,WAAW,sBAAsB;IACrC,UAAU,EAAE,MAAM,CAAC;CACpB;AAED,MAAM,MAAM,gBAAgB,GAAG,oBAAoB,GAAG,sBAAsB,CAAC;AAE7E,KAAK,MAAM,GAAG,CAAC,IAAI,EAAE,MAAM,EAAE,EAAE,GAAG,EAAE,MAAM,KAAK;IAAE,OAAO,EAAE,OAAO,CAAC;IAAC,MAAM,EAAE,MAAM,CAAC;IAAC,KAAK,CAAC,EAAE,MAAM,CAAA;CAAE,CAAC;AAEpG,mGAAmG;AACnG,wBAAgB,oBAAoB,CAAC,YAAY,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,GAAG,gBAAgB,CA6BxG;AAED;;;;;GAKG;AACH,wBAAgB,+BAA+B,CAC7C,mBAAmB,EAAE,CAAC,OAAO,EAAE,MAAM,KAAK,MAAM,GAAG,IAAI,EACvD,MAAM,EAAE,MAAM,GACb,CAAC,OAAO,EAAE,MAAM,KAAK,gBAAgB,GAAG,IAAI,CAgB9C;AAmCD;;;;GAIG;AACH,wBAAgB,8BAA8B,CAAC,IAAI,EAAE,oBAAoB,EAAE,QAAQ,EAAE,2BAA2B,GAAG,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CASzI;AA2BD;;;;;;;;;;;;;;;;;;;;;;;;;;;GA2BG;AACH,wBAAsB,6BAA6B,CACjD,MAAM,EAAE,YAAY,EACpB,QAAQ,EAAE,2BAA2B,EACrC,mBAAmB,EAAE,WAAW,CAAC,MAAM,CAAC,EACxC,IAAI,EAAE,iBAAiB,GACtB,OAAO,CAAC,mBAAmB,EAAE,CAAC,CAuFhC"}

package/dist/verify/run-selection/verification-default-on.js

@@ -37,7 +37,6 @@ import { configForProduct } from '../../config/config.js';
 import { getFocusWorktree } from '../../worktree/focus-worktree-state.js';
 import { resolveHeadSha } from '../attribution/verification-baseline.js';
 import { alreadyPassed, failedOnCurrentHead, pruneGuardsOutsideVerify, ranOnCurrentHead, } from './default-on-guards.js';
-import { focusAwaitsPreReviewRun, mayDispatchGateRun } from './pre-review-gate-dispatch.js';
 import { createLogger } from '../../log/daemon-log.js';
 const log = createLogger({ module: 'verification' });
 /** Default HEAD reader: the registered focus worktree's HEAD, or null when unreadable. */
@@ -223,6 +222,78 @@ function memoizedHead(focusId, deps) {
         return read.head;
     };
 }
+/**
+ * The scan's reading of the decision (supervision/focus-next-step.ts). A gate run
+ * at HEAD asks for one -- a verdict owed, or the failed-HEAD re-run at the HEAD the
+ * decision was read at. A shortfall park whose releaser is a gate run asks for one
+ * too: a ruling or a new delivery commit releases the park by re-arming the parked
+ * delivery's run, and an unparked sibling not yet judged at HEAD shares that run.
+ * A run in flight at HEAD is the actor, already started: the scan serves it -- a
+ * delivery it has not answered is selected again, which is how a CI-run gate's
+ * dispatch collects its verdict -- but re-arms no recorded pass to start a second
+ * run beside it. Every other step (a team, a review, a merge, a pause, done) asks
+ * for nothing. Pure.
+ */
+export function gateRunAskOf(read, head) {
+    if (!read.readable)
+        return 'none';
+    const next = read.next;
+    if (next.step === 'hold')
+        return next.releaser === 'gate_run' ? 'run' : 'none';
+    if (next.step !== 'gate_run')
+        return 'none';
+    if (next.reason === 'verdict_owed')
+        return 'run';
+    if (next.reason === 'run_in_flight')
+        return 'serve_in_flight';
+    return head !== null && read.head === head ? 'rerun_failed_head' : 'none';
+}
+/** focusId -> what its decision last could not read, so an unreadable focus logs once per reason, not per tick. */
+const unreadableLogged = new Map();
+/**
+ * The focus's gate-run ask, read at most once per focus per scan. Never throws: an
+ * unreadable decision asks for nothing this tick (fail closed: no gate run is
+ * dispatched on a step nobody decided) and is read again next tick.
+ */
+function memoizedGateRunAsk(focus, readHead, deps) {
+    let answer;
+    return () => (answer ??= (async () => {
+        const read = await deps.readFocusNextStep(focus)
+            .catch((err) => ({ readable: false, what: 'deliveries', error: err instanceof Error ? err : new Error(String(err)) }));
+        if (!read.readable) {
+            const reason = `${read.what}: ${read.error.message}`;
+            if (unreadableLogged.get(focus.focus_id) !== reason) {
+                unreadableLogged.set(focus.focus_id, reason);
+                log.warn(`[verification] default-on: selecting nothing on focus ${focus.focus_id.slice(0, 8)} -- its next step could not be read (${reason}); read again next tick`);
+            }
+            return 'none';
+        }
+        unreadableLogged.delete(focus.focus_id);
+        return gateRunAskOf(read, readHead());
+    })());
+}
+/** No HEAD re-arms a recorded pass while a run in flight answers the focus HEAD. */
+const NO_REARMING_HEAD = () => null;
+/**
+ * Whether the scan selects a verify delivery under its focus's ask -- null skips it -- and whether its run is the
+ * failed-HEAD re-run. The guards only keep one commit from being run twice. The pass is read FIRST, so a pass on HEAD
+ * reads as a pass before ranOnCurrentHead drops a run mark; a pass at an older commit is re-armed by the new HEAD,
+ * unless a run already in flight there answers it. An unchanged commit that already failed is re-judged only when the
+ * decision answers its one re-run -- and then despite the run mark its failed run left at that commit (the mark is
+ * what made it a failure at HEAD; the decision's once-per-HEAD record bounds the re-run, not the mark).
+ */
+function selectionUnderAsk(d, ask, readHead) {
+    if (ask === 'none')
+        return null; // the next step is not a gate run at HEAD: its actor is a team, a review, a merge or a ruling
+    if (alreadyPassed(d.id, ask === 'serve_in_flight' ? NO_REARMING_HEAD : readHead))
+        return null;
+    const rerunOfFailedHead = failedOnCurrentHead(d, readHead);
+    if (rerunOfFailedHead)
+        return ask === 'rerun_failed_head' ? { rerunOfFailedHead } : null;
+    if (ranOnCurrentHead(d.id, readHead))
+        return null; // already judged on this commit this verify-entry
+    return { rerunOfFailedHead };
+}
 /** Read telora.verify.json as committed at `sha`, through the manifest reader's own validation. */
 export function readManifestAtCommit(worktreePath, sha, runGit) {
     const manifestPath = resolveVerifyManifestPath(worktreePath);
@@ -342,17 +413,15 @@ function pruneProductGuards(productId, observedInVerify, complete) {
     log.info(`[verification] default-on: not pruning the re-run guards of product ${productId} this tick -- `
         + 'a focus\'s deliveries could not be read, so "no longer in verify" is not established');
 }
-/** No HEAD may re-arm a recorded pass: outside the pre-review run, only a held route's pull does. */
-const NO_REARMING_HEAD = () => null;
 /**
  * Discover deliveries that should receive a DEFAULT-ON deterministic run: in
  * `verify` status, anchored to an injection, with no explicit verification
  * method (so not already returned by getPendingVerifications), not in a
  * read-only audit focus (those are discovery-only and never run a suite), in a
- * focus awaiting its pre-review run or carrying a held route's request
- * (pre-review-gate-dispatch.ts -- once per focus HEAD, before review, never
- * merely because the delivery entered verify), and not already run, failed or
- * passed on the focus's unchanged HEAD (HEAD-keyed guards).
+ * focus whose one next step asks for a gate run at HEAD (gateRunAskOf over
+ * supervision/focus-next-step.ts -- once per focus HEAD, never merely because the
+ * delivery entered verify), and not already run, failed or passed on the focus's
+ * unchanged HEAD (HEAD-keyed guards, which only keep one commit from being run twice).
  *
  * Synthesizes a `deterministic` PendingVerification carrying the resolved
  * config-default command + timeout and a `defaultOnSource` marker. Those values
@@ -398,9 +467,8 @@ export async function collectDefaultOnVerifications(config, resolved, explicitDe
             continue;
         }
         const readHead = memoizedHead(focus.focus_id, deps);
-        // Once per focus HEAD, before review: nothing is selected while a sibling codes or a review window is open,
-        // unless a held route asks for its commit's verdict or an awaited model holds it (verify/run-selection/pre-review-gate-dispatch.ts).
-        const awaitsPreReviewRun = focusAwaitsPreReviewRun(focus, deliveries);
+        // Whether the gate runs at HEAD is the focus's one next step, not this scan's read (supervision/focus-next-step.ts).
+        const gateRunAsk = memoizedGateRunAsk(focus, readHead, deps);
         for (const d of deliveries) {
             if (d.executionStatus !== DELIVERY_STATUS.VERIFY)
                 continue;
@@ -415,16 +483,10 @@ export async function collectDefaultOnVerifications(config, resolved, explicitDe
             if (explicitDeliveryIds.has(d.id) || (typeof d.verificationMethod === 'string' && d.verificationMethod !== ''))
                 continue;
             observedInVerify.add(d.id);
-            if (!mayDispatchGateRun(awaitsPreReviewRun, d, readHead))
-                continue; // its run is the focus's pre-review run, not its verify entry
-            // The pass is read FIRST, so a pass on HEAD reads as a pass before ranOnCurrentHead drops a run mark. Only the
-            // pre-review run is re-armed by a new HEAD; for a held route the pull alone re-arms a pass (it drops it).
-            if (alreadyPassed(d.id, awaitsPreReviewRun ? readHead : NO_REARMING_HEAD))
+            const selected = selectionUnderAsk(d, await gateRunAsk(), readHead);
+            if (!selected)
                 continue;
-            if (ranOnCurrentHead(d.id, readHead))
-                continue; // already judged on this commit this verify-entry
-            if (failedOnCurrentHead(d, readHead))
-                continue; // unchanged commit already failed
+            const { rerunOfFailedHead } = selected;
             // timeoutSource names the layer the timeout came from, so a run that applies
             // these tick values as-is (in place, no checkout) can still say where its
             // timeout was read if it is killed by it.
@@ -455,6 +517,8 @@ export async function collectDefaultOnVerifications(config, resolved, explicitDe
                     defaultVerification: config.defaultVerification,
                     repoPath: config.repoPath,
                 },
+                // The re-run is spent by the dispatch that renders its verdict, not here: a candidate that never runs spends nothing.
+                ...(rerunOfFailedHead && readHead() ? { failedHeadRerun: readHead() } : {}),
             });
         }
     }