@telora/daemon 0.22.104 → 0.22.132

package/dist/verify/verification-checkout.js

@@ -1,6 +1,9 @@
 // PINNED-BY-BEGIN (generated by gen:pinned-by -- do not hand-edit; checked by lint:pinned-by)
-// Pinned by: packages/daemon/src/verify/verification-checkout.test.ts,
-//   packages/daemon/src/verify/verification-run-config-source.test.ts
+// Pinned by: packages/daemon/src/verify/verification-attribution.test.ts,
+//   packages/daemon/src/verify/verification-checkout.test.ts,
+//   packages/daemon/src/verify/verification-run-config-source.test.ts,
+//   packages/daemon/src/verify/verify-unprovisioned-worktree.test.ts,
+//   packages/daemon/src/worktree/worktree-package-provisioning.test.ts
 // PINNED-BY-END
 /**
  * A deterministic verify judges a FIXED commit, never the live focus worktree.
@@ -41,6 +44,11 @@
  *
  * Fail-closed: when no checkout can be made the run is NOT performed in the live
  * worktree; it reports `pending` with checkoutUnavailable so the tick retries.
+ * The same holds for an UNPROVISIONED focus worktree: a nested package's
+ * node_modules is reachable only from the worktree itself, so while its install
+ * is in flight, failed, or stale (worktree/worktree-package-provisioning.ts) no
+ * checkout is made and the verify reports checkoutUnavailable, naming the package
+ * and the install error -- a missing install is never a verdict on the delivery.
  *
  * The command + timeout come from the COMMIT BEING JUDGED. A default-on
  * candidate's config is provisional: the tick resolved it against the product
@@ -66,6 +74,8 @@ import { DEFAULT_VERIFICATION_TIMEOUT_MS } from './verification-deterministic.js
 import { formatVerifyConfigSource, resolveAppliedVerificationConfig, } from './verification-config.js';
 import { readVerifyManifest, resolveVerifyManifestPath } from './verification-manifest.js';
 import { resolveVerifyBoundaryEnv } from './verification-boundary-env.js';
+import { readWorktreeProvisioning } from '../worktree/worktree-package-provisioning.js';
+import { noteGateRunCommit } from './gate-run-registry.js';
 import { createLogger } from '../shell/log.js';
 const log = createLogger({ module: 'verification' });
 /** The ignored directory name a checkout rebuilds from the focus worktree. */
@@ -234,6 +244,22 @@ export function createVerifyCheckout(focusWorktreePath, checkoutKey, deps = {})
         },
     };
 }
+/**
+ * A detached verify checkout of `sha` -- a commit already chosen (the one a run
+ * judged, or the focus base) -- rather than of whatever the focus worktree's HEAD
+ * is now (a team may have moved it). createVerifyCheckout takes its sha from the
+ * focus worktree's `rev-parse HEAD`; that one read is answered with `sha` and
+ * every other git call passes through, so the checkout is made and its
+ * dependencies mirrored exactly as a HEAD checkout's are. Callers still compare
+ * the returned sha to the one they asked for.
+ */
+export function createPinnedVerifyCheckout(focusWorktreePath, checkoutKey, sha, runGit = runGitSync) {
+    return createVerifyCheckout(focusWorktreePath, checkoutKey, {
+        runGit: (args, cwd) => (cwd === focusWorktreePath && args.length === 2 && args[0] === 'rev-parse' && args[1] === 'HEAD'
+            ? { success: true, output: sha }
+            : runGit(args, cwd)),
+    });
+}
 const defaultResolveFocusWorktreePath = (v) => (v.focusId ? getFocusWorktree(v.focusId)?.worktreePath ?? null : null);
 /**
  * The real dispatch-time resolver (module doc): env > the candidate's operator
@@ -316,6 +342,15 @@ export async function runDeterministicAtFixedCommit(deps, v) {
         const inPlace = await deps.runDeterministic(v.verificationConfig, cwd, logContext, extraEnv);
         return appliedConfig ? { ...inPlace, appliedConfig } : inPlace;
     }
+    const provisioning = (deps.readWorktreeProvisioning ?? readWorktreeProvisioning)(focusWorktreePath);
+    if (!provisioning.ready) {
+        return {
+            outcome: 'pending',
+            rationale: `verify checkout unavailable: the focus worktree is not provisioned (${provisioning.state}: `
+                + `${provisioning.reason}); the verify is not run against missing dependencies -- retried next tick`,
+            checkoutUnavailable: true,
+        };
+    }
     const checkout = (deps.createVerifyCheckout ?? createVerifyCheckout)(focusWorktreePath, v.deliveryId);
     if (!checkout) {
         return {
@@ -325,6 +360,8 @@ export async function runDeterministicAtFixedCommit(deps, v) {
             checkoutUnavailable: true,
         };
     }
+    // From here the run judges a known commit: a routing wait keyed on another commit no longer waits on it.
+    noteGateRunCommit(v.deliveryId, checkout.sha);
     try {
         const chosen = chooseCheckoutRunConfig(deps, v, checkout.path);
         if ('unresolvable' in chosen) {

package/dist/verify/verification-checkout.js.map

@@ -1 +1 @@
-{"version":3,"file":"verification-checkout.js","sourceRoot":"","sources":["../../src/verify/verification-checkout.ts"],"names":[],"mappings":"AAAA,8FAA8F;AAC9F,uEAAuE;AACvE,sEAAsE;AACtE,gBAAgB;AAEhB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAsDG;AAEH,OAAO,EAAE,UAAU,EAAE,SAAS,EAAE,WAAW,EAAE,MAAM,EAAE,QAAQ,EAAE,WAAW,EAAE,MAAM,SAAS,CAAC;AAC5F,OAAO,EAAE,QAAQ,EAAE,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,WAAW,CAAC;AAC7D,OAAO,EAAE,qBAAqB,EAAE,MAAM,4BAA4B,CAAC;AACnE,OAAO,EAAE,UAAU,EAAE,MAAM,gBAAgB,CAAC;AAC5C,OAAO,EAAE,gBAAgB,EAAE,MAAM,kCAAkC,CAAC;AAEpE,OAAO,EAAE,+BAA+B,EAAuB,MAAM,iCAAiC,CAAC;AAEvG,OAAO,EACL,wBAAwB,EACxB,gCAAgC,GAEjC,MAAM,0BAA0B,CAAC;AAClC,OAAO,EAAE,kBAAkB,EAAE,yBAAyB,EAA6B,MAAM,4BAA4B,CAAC;AACtH,OAAO,EAAE,wBAAwB,EAAE,MAAM,gCAAgC,CAAC;AAC1E,OAAO,EAAE,YAAY,EAAE,MAAM,iBAAiB,CAAC;AAE/C,MAAM,GAAG,GAAG,YAAY,CAAC,EAAE,MAAM,EAAE,cAAc,EAAE,CAAC,CAAC;AAwBrD,8EAA8E;AAC9E,MAAM,cAAc,GAAG,cAAc,CAAC;AAEtC,MAAM,mBAAmB,GAAG,GAAW,EAAE,CAAC,OAAO,CAAC,qBAAqB,EAAE,EAAE,uBAAuB,CAAC,CAAC;AAEpG;;;;GAIG;AACH,MAAM,UAAU,gBAAgB,CAAC,iBAAyB,EAAE,SAAiB,UAAU;IACrF,MAAM,MAAM,GAAG,MAAM,CAAC,CAAC,UAAU,EAAE,UAAU,EAAE,WAAW,EAAE,oBAAoB,EAAE,aAAa,CAAC,EAAE,iBAAiB,CAAC,CAAC;IACrH,IAAI,CAAC,MAAM,CAAC,OAAO;QAAE,OAAO,EAAE,CAAC;IAC/B,OAAO,MAAM,CAAC,MAAM;SACjB,KAAK,CAAC,IAAI,CAAC;SACX,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,OAAO,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;SAC7C,MAAM,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,MAAM,GAAG,CAAC;WAC1B,QAAQ,CAAC,GAAG,CAAC,KAAK,cAAc;WAChC,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,cAAc,CAAC,CAAC,CAAC;AAChE,CAAC;AAED,kFAAkF;AAClF,SAAS,mBAAmB,CAAC,GAAW;IACtC,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,IAAI,OAAO,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC;IAC3B,SAAS,CAAC;QACR,MAAM,SAAS,GAAG,IAAI,CAAC,OAAO,EAAE,cAAc,CAAC,CAAC;QAChD,IAAI,UAAU,CAAC,SAAS,CAAC;YAAE,KAAK,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;QACjD,MAAM,MAAM,GAAG,OAAO,CAAC,OAAO,CAAC,CAAC;QAChC,IAAI,MAAM,KAAK,OAAO;YAAE,OAAO,KAAK,CAAC;QACrC,OAAO,GAAG,MAAM,CAAC;IACnB,CAAC;AACH,CAAC;AAED,+DAA+D;AAC/D,SAAS,SAAS,CAAC,GAAW;IAC5B,IAAI,CAAC;QACH,OAAO,WAAW,CAAC,GAAG,CAAC,CAAC;IAC1B,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,EAAE,CAAC;IACZ,CAAC;AACH,CAAC;AAED;;;;;GAKG;AACH,SAAS,qBAAqB,CAAC,OAA0B,EAAE,EAAU,EAAE,KAAK,GAAG,CAAC;IAC9E,SAAS,CAAC,EAAE,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;IACnC,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE,CAAC;QAC7B,KAAK,MAAM,IAAI,IAAI,SAAS,CAAC,MAAM,CAAC,EAAE,CAAC;YACrC,IAAI,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC;gBAAE,SAAS;YAC7B,MAAM,MAAM,GAAG,KAAK,KAAK,CAAC,IAAI,CAAC,IAAI,KAAK,MAAM,IAAI,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC;YACxE,IAAI,KAAK,KAAK,CAAC,IAAI,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM;gBAAE,SAAS;YAC7D,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;YACf,IAAI,MAAM,EAAE,CAAC;gBACX,qBAAqB,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,EAAE,IAAI,CAAC,EAAE,EAAE,IAAI,CAAC,EAAE,KAAK,GAAG,CAAC,CAAC,CAAC;YACtF,CAAC;iBAAM,CAAC;gBACN,WAAW,CAAC,IAAI,CAAC,MAAM,EAAE,IAAI,CAAC,EAAE,IAAI,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC,CAAC;YAClD,CAAC;QACH,CAAC;IACH,CAAC;AACH,CAAC;AAED;;;;;GAKG;AACH,SAAS,qBAAqB,CAAC,OAA0B;IACvD,OAAO,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE;QAC3C,MAAM,KAAK,GAAG,SAAS,CAAC,MAAM,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;QAC/E,MAAM,MAAM,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,IAAI,EAAE,SAAS,CAAC,IAAI,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;QACxH,IAAI,QAAQ,GAAG,MAAM,CAAC;QACtB,IAAI,CAAC;YACH,MAAM,IAAI,GAAG,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,oBAAoB,CAAC,CAAC,CAAC;YAC1D,QAAQ,GAAG,GAAG,IAAI,CAAC,OAAO,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC;QAC5C,CAAC;QAAC,MAAM,CAAC,CAAC,wBAAwB,CAAC,CAAC;QACpC,OAAO,CAAC,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,QAAQ,CAAC,CAAC;IAC3C,CAAC,CAAC,CAAC,CAAC;AACN,CAAC;AAED;;;GAGG;AACH,SAAS,oBAAoB,CAAC,iBAAyB,EAAE,YAAoB,EAAE,MAAc;IAC3F,MAAM,KAAK,GAAG,gBAAgB,CAAC,iBAAiB,EAAE,MAAM,CAAC;SACtD,MAAM,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,KAAK,cAAc,CAAC;SACvC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,EAAE,GAAG,EAAE,OAAO,EAAE,CAAC,IAAI,CAAC,iBAAiB,EAAE,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IACpE,MAAM,OAAO,GAAG,IAAI,CAAC,iBAAiB,EAAE,cAAc,CAAC,CAAC;IACxD,MAAM,WAAW,GAAG,CAAC,GAAG,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,GAAG,mBAAmB,CAAC,OAAO,CAAC,iBAAiB,CAAC,CAAC,CAAC,CAAC;IACpH,IAAI,WAAW,CAAC,MAAM,GAAG,CAAC;QAAE,KAAK,CAAC,IAAI,CAAC,EAAE,GAAG,EAAE,cAAc,EAAE,OAAO,EAAE,WAAW,EAAE,CAAC,CAAC;IACtF,KAAK,MAAM,IAAI,IAAI,KAAK;QAAE,qBAAqB,CAAC,IAAI,CAAC,OAAO,EAAE,IAAI,CAAC,YAAY,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;IAC5F,OAAO,KAAK,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;AAC/C,CAAC;AAED;;;;GAIG;AACH,SAAS,cAAc,CAAC,YAAoB,EAAE,iBAAyB,EAAE,MAAc;IACrF,IAAI,CAAC;QACH,MAAM,CAAC,YAAY,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;IACzD,CAAC;IAAC,OAAO,GAAG,EAAE,CAAC;QACb,GAAG,CAAC,IAAI,CAAC,qCAAqC,YAAY,KAAM,GAAa,CAAC,OAAO,EAAE,CAAC,CAAC;IAC3F,CAAC;IACD,MAAM,CAAC,CAAC,UAAU,EAAE,OAAO,CAAC,EAAE,iBAAiB,CAAC,CAAC;AACnD,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,oBAAoB,CAClC,iBAAyB,EACzB,WAAmB,EACnB,OAA2B,EAAE;IAE7B,MAAM,MAAM,GAAG,IAAI,CAAC,MAAM,IAAI,UAAU,CAAC;IACzC,MAAM,IAAI,GAAG,MAAM,CAAC,CAAC,WAAW,EAAE,MAAM,CAAC,EAAE,iBAAiB,CAAC,CAAC;IAC9D,MAAM,GAAG,GAAG,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;IACnD,IAAI,GAAG,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACrB,GAAG,CAAC,IAAI,CAAC,wCAAwC,iBAAiB,KAAK,IAAI,CAAC,KAAK,IAAI,cAAc,EAAE,CAAC,CAAC;QACvG,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,IAAI,GAAG,CAAC,IAAI,CAAC,YAAY,IAAI,mBAAmB,CAAC,EAAE,CAAC;IAC1D,MAAM,YAAY,GAAG,OAAO,CAAC,IAAI,EAAE,WAAW,CAAC,OAAO,CAAC,kBAAkB,EAAE,GAAG,CAAC,CAAC,CAAC;IACjF,IAAI,OAAiB,CAAC;IACtB,IAAI,CAAC;QACH,SAAS,CAAC,IAAI,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;QACrC,IAAI,UAAU,CAAC,YAAY,CAAC;YAAE,cAAc,CAAC,YAAY,EAAE,iBAAiB,EAAE,MAAM,CAAC,CAAC;QACtF,MAAM,KAAK,GAAG,MAAM,CAAC,CAAC,UAAU,EAAE,KAAK,EAAE,UAAU,EAAE,YAAY,EAAE,GAAG,CAAC,EAAE,iBAAiB,CAAC,CAAC;QAC5F,IAAI,CAAC,KAAK,CAAC,OAAO,EAAE,CAAC;YACnB,GAAG,CAAC,IAAI,CAAC,oCAAoC,GAAG,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,YAAY,KAAK,CAAC,KAAK,IAAI,KAAK,CAAC,MAAM,EAAE,CAAC,CAAC;YACvG,cAAc,CAAC,YAAY,EAAE,iBAAiB,EAAE,MAAM,CAAC,CAAC;YACxD,OAAO,IAAI,CAAC;QACd,CAAC;QACD,OAAO,GAAG,oBAAoB,CAAC,iBAAiB,EAAE,YAAY,EAAE,MAAM,CAAC,CAAC;IAC1E,CAAC;IAAC,OAAO,GAAG,EAAE,CAAC;QACb,GAAG,CAAC,IAAI,CAAC,oCAAoC,YAAY,KAAM,GAAa,CAAC,OAAO,EAAE,CAAC,CAAC;QACxF,cAAc,CAAC,YAAY,EAAE,iBAAiB,EAAE,MAAM,CAAC,CAAC;QACxD,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,WAAW,GAAG,qBAAqB,CAAC,OAAO,CAAC,CAAC;IACnD,IAAI,QAAQ,GAAG,KAAK,CAAC;IACrB,OAAO;QACL,IAAI,EAAE,YAAY;QAClB,GAAG;QACH,iBAAiB,EAAE,GAAG,EAAE,CAAC,qBAAqB,CAAC,OAAO,CAAC,KAAK,WAAW;QACvE,OAAO,EAAE,GAAG,EAAE;YACZ,IAAI,QAAQ;gBAAE,OAAO;YACrB,QAAQ,GAAG,IAAI,CAAC;YAChB,cAAc,CAAC,YAAY,EAAE,iBAAiB,EAAE,MAAM,CAAC,CAAC;QAC1D,CAAC;KACF,CAAC;AACJ,CAAC;AAaD,MAAM,+BAA+B,GAAG,CAAC,CAAsB,EAAiB,EAAE,CAChF,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,gBAAgB,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,YAAY,IAAI,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;AAKzE;;;;;GAKG;AACH,MAAM,UAAU,kCAAkC,CAChD,MAAyB,OAAO,CAAC,GAAG,EACpC,eAAqC,kBAAkB;IAEvD,OAAO,CAAC,CAAC,EAAE,OAAO,EAAE,EAAE;QACpB,MAAM,OAAO,GAAG,gCAAgC,CAAC,CAAC,CAAC,eAAe,IAAI,EAAE,EAAE,OAAO,EAAE,GAAG,EAAE,YAAY,CAAC,CAAC;QACtG,IAAI,OAAO,CAAC,gBAAgB,EAAE,CAAC;YAC7B,GAAG,CAAC,IAAI,CACN,2BAA2B,CAAC,CAAC,UAAU,+CAA+C;kBACpF,GAAG,OAAO,CAAC,oBAAoB,+CAA+C,OAAO,CAAC,YAAY,GAAG;kBACrG,wBAAwB,CAC3B,CAAC;QACJ,CAAC;QACD,OAAO,OAAO,CAAC;IACjB,CAAC,CAAC;AACJ,CAAC;AAED,MAAM,mCAAmC,GAAG,kCAAkC,EAAE,CAAC;AAEjF;;;;;;GAMG;AACH,SAAS,cAAc,CAAC,GAAmC;IACzD,MAAM,OAAO,GAAG,GAAG,EAAE,OAAO,CAAC;IAC7B,IAAI,OAAO,OAAO,KAAK,QAAQ,IAAI,CAAC,GAAG;QAAE,OAAO,SAAS,CAAC;IAC1D,MAAM,SAAS,GAAG,OAAO,GAAG,CAAC,SAAS,KAAK,QAAQ,IAAI,GAAG,CAAC,SAAS,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC,CAAC,+BAA+B,CAAC;IAC3H,MAAM,aAAa,GAAG,OAAO,GAAG,CAAC,aAAa,KAAK,QAAQ;QACzD,CAAC,CAAC,GAAG,CAAC,aAAa;QACnB,CAAC,CAAC,wBAAwB,CAAC,SAAS,KAAK,GAAG,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,UAAU,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,SAAS,EAAE,CAAC,CAAC;IACzG,OAAO,EAAE,OAAO,EAAE,SAAS,EAAE,aAAa,EAAE,CAAC;AAC/C,CAAC;AAOD;;;;;;;GAOG;AACH,SAAS,uBAAuB,CAAC,IAA2B,EAAE,CAAsB,EAAE,YAAoB;IACxG,IAAI,CAAC,CAAC,CAAC,eAAe;QAAE,OAAO,EAAE,SAAS,EAAE,CAAC,CAAC,kBAAkB,EAAE,aAAa,EAAE,cAAc,CAAC,CAAC,CAAC,kBAAkB,CAAC,EAAE,CAAC;IACxH,IAAI,CAAC;QACH,MAAM,aAAa,GAAG,CAAC,IAAI,CAAC,4BAA4B,IAAI,mCAAmC,CAAC,CAAC,CAAC,EAAE,YAAY,CAAC,CAAC;QAClH,MAAM,EAAE,OAAO,EAAE,SAAS,EAAE,aAAa,EAAE,GAAG,aAAa,CAAC;QAC5D,OAAO,EAAE,SAAS,EAAE,EAAE,OAAO,EAAE,SAAS,EAAE,aAAa,EAAE,EAAE,aAAa,EAAE,CAAC;IAC7E,CAAC;IAAC,OAAO,GAAG,EAAE,CAAC;QACb,MAAM,YAAY,GAAG,mEAAmE,yBAAyB,CAAC,YAAY,CAAC,KAAK;cAChI,GAAI,GAAa,CAAC,OAAO,8EAA8E,CAAC;QAC5G,GAAG,CAAC,KAAK,CAAC,2BAA2B,CAAC,CAAC,UAAU,KAAK,YAAY,EAAE,CAAC,CAAC;QACtE,OAAO,EAAE,YAAY,EAAE,CAAC;IAC1B,CAAC;AACH,CAAC;AAED;;;;;;;;;;GAUG;AACH,MAAM,CAAC,KAAK,UAAU,6BAA6B,CACjD,IAA2B,EAC3B,CAAsB;IAEtB,8EAA8E;IAC9E,qEAAqE;IACrE,MAAM,QAAQ,GAAG,MAAM,wBAAwB,CAAC,IAAwB,EAAE,CAAC,CAAC,CAAC;IAC7E,MAAM,UAAU,GAAG,EAAE,UAAU,EAAE,CAAC,CAAC,UAAU,EAAE,WAAW,EAAE,IAAI,CAAC,GAAG,EAAE,EAAE,CAAC;IACzE,MAAM,iBAAiB,GAAG,CAAC,IAAI,CAAC,wBAAwB,IAAI,+BAA+B,CAAC,CAAC,CAAC,CAAC,CAAC;IAChG,IAAI,iBAAiB,KAAK,IAAI,EAAE,CAAC;QAC/B,MAAM,GAAG,GAAG,CAAC,IAAI,CAAC,sBAAsB,IAAI,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,IAAI,CAAC,UAAU,CAAC,EAAE,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QACxF,MAAM,aAAa,GAAG,cAAc,CAAC,CAAC,CAAC,kBAAkB,CAAC,CAAC;QAC3D,MAAM,OAAO,GAAG,MAAM,IAAI,CAAC,gBAAgB,CAAC,CAAC,CAAC,kBAAkB,EAAE,GAAG,EAAE,UAAU,EAAE,QAAQ,CAAC,CAAC;QAC7F,OAAO,aAAa,CAAC,CAAC,CAAC,EAAE,GAAG,OAAO,EAAE,aAAa,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC;IACjE,CAAC;IACD,MAAM,QAAQ,GAAG,CAAC,IAAI,CAAC,oBAAoB,IAAI,oBAAoB,CAAC,CAAC,iBAAiB,EAAE,CAAC,CAAC,UAAU,CAAC,CAAC;IACtG,IAAI,CAAC,QAAQ,EAAE,CAAC;QACd,OAAO;YACL,OAAO,EAAE,SAAS;YAClB,SAAS,EAAE,qFAAqF;kBAC5F,iGAAiG;YACrG,mBAAmB,EAAE,IAAI;SAC1B,CAAC;IACJ,CAAC;IACD,IAAI,CAAC;QACH,MAAM,MAAM,GAAG,uBAAuB,CAAC,IAAI,EAAE,CAAC,EAAE,QAAQ,CAAC,IAAI,CAAC,CAAC;QAC/D,IAAI,cAAc,IAAI,MAAM,EAAE,CAAC;YAC7B,OAAO,EAAE,OAAO,EAAE,QAAQ,EAAE,SAAS,EAAE,MAAM,CAAC,YAAY,EAAE,WAAW,EAAE,QAAQ,CAAC,GAAG,EAAE,gBAAgB,EAAE,IAAI,EAAE,CAAC;QAClH,CAAC;QACD,MAAM,MAAM,GAAG,MAAM,IAAI,CAAC,gBAAgB,CACxC,MAAM,CAAC,SAAS,EAChB,QAAQ,CAAC,IAAI,EACb,UAAU,EACV,QAAQ,EACR,EAAE,YAAY,EAAE,iBAAiB,EAAE,UAAU,EAAE,CAAC,CAAC,UAAU,EAAE,CAC9D,CAAC;QACF,IAAI,QAAQ,CAAC,iBAAiB,EAAE,EAAE,CAAC;YACjC,GAAG,CAAC,IAAI,CAAC,mEAAmE,CAAC,CAAC,UAAU,qBAAqB,CAAC,CAAC;YAC/G,OAAO;gBACL,OAAO,EAAE,SAAS;gBAClB,SAAS,EAAE,8FAA8F;sBACrG,8FAA8F;gBAClG,mBAAmB,EAAE,IAAI;aAC1B,CAAC;QACJ,CAAC;QACD,OAAO;YACL,GAAG,MAAM;YACT,WAAW,EAAE,QAAQ,CAAC,GAAG;YACzB,GAAG,CAAC,MAAM,CAAC,aAAa,CAAC,CAAC,CAAC,EAAE,aAAa,EAAE,MAAM,CAAC,aAAa,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;SACzE,CAAC;IACJ,CAAC;YAAS,CAAC;QACT,QAAQ,CAAC,OAAO,EAAE,CAAC;IACrB,CAAC;AACH,CAAC"}
+{"version":3,"file":"verification-checkout.js","sourceRoot":"","sources":["../../src/verify/verification-checkout.ts"],"names":[],"mappings":"AAAA,8FAA8F;AAC9F,0EAA0E;AAC1E,8DAA8D;AAC9D,uEAAuE;AACvE,sEAAsE;AACtE,uEAAuE;AACvE,gBAAgB;AAEhB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA2DG;AAEH,OAAO,EAAE,UAAU,EAAE,SAAS,EAAE,WAAW,EAAE,MAAM,EAAE,QAAQ,EAAE,WAAW,EAAE,MAAM,SAAS,CAAC;AAC5F,OAAO,EAAE,QAAQ,EAAE,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,WAAW,CAAC;AAC7D,OAAO,EAAE,qBAAqB,EAAE,MAAM,4BAA4B,CAAC;AACnE,OAAO,EAAE,UAAU,EAAE,MAAM,gBAAgB,CAAC;AAC5C,OAAO,EAAE,gBAAgB,EAAE,MAAM,kCAAkC,CAAC;AAEpE,OAAO,EAAE,+BAA+B,EAAuB,MAAM,iCAAiC,CAAC;AAEvG,OAAO,EACL,wBAAwB,EACxB,gCAAgC,GAEjC,MAAM,0BAA0B,CAAC;AAClC,OAAO,EAAE,kBAAkB,EAAE,yBAAyB,EAA6B,MAAM,4BAA4B,CAAC;AACtH,OAAO,EAAE,wBAAwB,EAAE,MAAM,gCAAgC,CAAC;AAC1E,OAAO,EAAE,wBAAwB,EAAmC,MAAM,8CAA8C,CAAC;AACzH,OAAO,EAAE,iBAAiB,EAAE,MAAM,wBAAwB,CAAC;AAC3D,OAAO,EAAE,YAAY,EAAE,MAAM,iBAAiB,CAAC;AAE/C,MAAM,GAAG,GAAG,YAAY,CAAC,EAAE,MAAM,EAAE,cAAc,EAAE,CAAC,CAAC;AAwBrD,8EAA8E;AAC9E,MAAM,cAAc,GAAG,cAAc,CAAC;AAEtC,MAAM,mBAAmB,GAAG,GAAW,EAAE,CAAC,OAAO,CAAC,qBAAqB,EAAE,EAAE,uBAAuB,CAAC,CAAC;AAEpG;;;;GAIG;AACH,MAAM,UAAU,gBAAgB,CAAC,iBAAyB,EAAE,SAAiB,UAAU;IACrF,MAAM,MAAM,GAAG,MAAM,CAAC,CAAC,UAAU,EAAE,UAAU,EAAE,WAAW,EAAE,oBAAoB,EAAE,aAAa,CAAC,EAAE,iBAAiB,CAAC,CAAC;IACrH,IAAI,CAAC,MAAM,CAAC,OAAO;QAAE,OAAO,EAAE,CAAC;IAC/B,OAAO,MAAM,CAAC,MAAM;SACjB,KAAK,CAAC,IAAI,CAAC;SACX,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,OAAO,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;SAC7C,MAAM,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,MAAM,GAAG,CAAC;WAC1B,QAAQ,CAAC,GAAG,CAAC,KAAK,cAAc;WAChC,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,cAAc,CAAC,CAAC,CAAC;AAChE,CAAC;AAED,kFAAkF;AAClF,SAAS,mBAAmB,CAAC,GAAW;IACtC,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,IAAI,OAAO,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC;IAC3B,SAAS,CAAC;QACR,MAAM,SAAS,GAAG,IAAI,CAAC,OAAO,EAAE,cAAc,CAAC,CAAC;QAChD,IAAI,UAAU,CAAC,SAAS,CAAC;YAAE,KAAK,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;QACjD,MAAM,MAAM,GAAG,OAAO,CAAC,OAAO,CAAC,CAAC;QAChC,IAAI,MAAM,KAAK,OAAO;YAAE,OAAO,KAAK,CAAC;QACrC,OAAO,GAAG,MAAM,CAAC;IACnB,CAAC;AACH,CAAC;AAED,+DAA+D;AAC/D,SAAS,SAAS,CAAC,GAAW;IAC5B,IAAI,CAAC;QACH,OAAO,WAAW,CAAC,GAAG,CAAC,CAAC;IAC1B,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,EAAE,CAAC;IACZ,CAAC;AACH,CAAC;AAED;;;;;GAKG;AACH,SAAS,qBAAqB,CAAC,OAA0B,EAAE,EAAU,EAAE,KAAK,GAAG,CAAC;IAC9E,SAAS,CAAC,EAAE,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;IACnC,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE,CAAC;QAC7B,KAAK,MAAM,IAAI,IAAI,SAAS,CAAC,MAAM,CAAC,EAAE,CAAC;YACrC,IAAI,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC;gBAAE,SAAS;YAC7B,MAAM,MAAM,GAAG,KAAK,KAAK,CAAC,IAAI,CAAC,IAAI,KAAK,MAAM,IAAI,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC;YACxE,IAAI,KAAK,KAAK,CAAC,IAAI,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM;gBAAE,SAAS;YAC7D,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;YACf,IAAI,MAAM,EAAE,CAAC;gBACX,qBAAqB,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,EAAE,IAAI,CAAC,EAAE,EAAE,IAAI,CAAC,EAAE,KAAK,GAAG,CAAC,CAAC,CAAC;YACtF,CAAC;iBAAM,CAAC;gBACN,WAAW,CAAC,IAAI,CAAC,MAAM,EAAE,IAAI,CAAC,EAAE,IAAI,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC,CAAC;YAClD,CAAC;QACH,CAAC;IACH,CAAC;AACH,CAAC;AAED;;;;;GAKG;AACH,SAAS,qBAAqB,CAAC,OAA0B;IACvD,OAAO,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE;QAC3C,MAAM,KAAK,GAAG,SAAS,CAAC,MAAM,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;QAC/E,MAAM,MAAM,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,IAAI,EAAE,SAAS,CAAC,IAAI,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;QACxH,IAAI,QAAQ,GAAG,MAAM,CAAC;QACtB,IAAI,CAAC;YACH,MAAM,IAAI,GAAG,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,oBAAoB,CAAC,CAAC,CAAC;YAC1D,QAAQ,GAAG,GAAG,IAAI,CAAC,OAAO,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC;QAC5C,CAAC;QAAC,MAAM,CAAC,CAAC,wBAAwB,CAAC,CAAC;QACpC,OAAO,CAAC,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,QAAQ,CAAC,CAAC;IAC3C,CAAC,CAAC,CAAC,CAAC;AACN,CAAC;AAED;;;GAGG;AACH,SAAS,oBAAoB,CAAC,iBAAyB,EAAE,YAAoB,EAAE,MAAc;IAC3F,MAAM,KAAK,GAAG,gBAAgB,CAAC,iBAAiB,EAAE,MAAM,CAAC;SACtD,MAAM,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,KAAK,cAAc,CAAC;SACvC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,EAAE,GAAG,EAAE,OAAO,EAAE,CAAC,IAAI,CAAC,iBAAiB,EAAE,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IACpE,MAAM,OAAO,GAAG,IAAI,CAAC,iBAAiB,EAAE,cAAc,CAAC,CAAC;IACxD,MAAM,WAAW,GAAG,CAAC,GAAG,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,GAAG,mBAAmB,CAAC,OAAO,CAAC,iBAAiB,CAAC,CAAC,CAAC,CAAC;IACpH,IAAI,WAAW,CAAC,MAAM,GAAG,CAAC;QAAE,KAAK,CAAC,IAAI,CAAC,EAAE,GAAG,EAAE,cAAc,EAAE,OAAO,EAAE,WAAW,EAAE,CAAC,CAAC;IACtF,KAAK,MAAM,IAAI,IAAI,KAAK;QAAE,qBAAqB,CAAC,IAAI,CAAC,OAAO,EAAE,IAAI,CAAC,YAAY,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;IAC5F,OAAO,KAAK,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;AAC/C,CAAC;AAED;;;;GAIG;AACH,SAAS,cAAc,CAAC,YAAoB,EAAE,iBAAyB,EAAE,MAAc;IACrF,IAAI,CAAC;QACH,MAAM,CAAC,YAAY,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;IACzD,CAAC;IAAC,OAAO,GAAG,EAAE,CAAC;QACb,GAAG,CAAC,IAAI,CAAC,qCAAqC,YAAY,KAAM,GAAa,CAAC,OAAO,EAAE,CAAC,CAAC;IAC3F,CAAC;IACD,MAAM,CAAC,CAAC,UAAU,EAAE,OAAO,CAAC,EAAE,iBAAiB,CAAC,CAAC;AACnD,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,oBAAoB,CAClC,iBAAyB,EACzB,WAAmB,EACnB,OAA2B,EAAE;IAE7B,MAAM,MAAM,GAAG,IAAI,CAAC,MAAM,IAAI,UAAU,CAAC;IACzC,MAAM,IAAI,GAAG,MAAM,CAAC,CAAC,WAAW,EAAE,MAAM,CAAC,EAAE,iBAAiB,CAAC,CAAC;IAC9D,MAAM,GAAG,GAAG,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;IACnD,IAAI,GAAG,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACrB,GAAG,CAAC,IAAI,CAAC,wCAAwC,iBAAiB,KAAK,IAAI,CAAC,KAAK,IAAI,cAAc,EAAE,CAAC,CAAC;QACvG,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,IAAI,GAAG,CAAC,IAAI,CAAC,YAAY,IAAI,mBAAmB,CAAC,EAAE,CAAC;IAC1D,MAAM,YAAY,GAAG,OAAO,CAAC,IAAI,EAAE,WAAW,CAAC,OAAO,CAAC,kBAAkB,EAAE,GAAG,CAAC,CAAC,CAAC;IACjF,IAAI,OAAiB,CAAC;IACtB,IAAI,CAAC;QACH,SAAS,CAAC,IAAI,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;QACrC,IAAI,UAAU,CAAC,YAAY,CAAC;YAAE,cAAc,CAAC,YAAY,EAAE,iBAAiB,EAAE,MAAM,CAAC,CAAC;QACtF,MAAM,KAAK,GAAG,MAAM,CAAC,CAAC,UAAU,EAAE,KAAK,EAAE,UAAU,EAAE,YAAY,EAAE,GAAG,CAAC,EAAE,iBAAiB,CAAC,CAAC;QAC5F,IAAI,CAAC,KAAK,CAAC,OAAO,EAAE,CAAC;YACnB,GAAG,CAAC,IAAI,CAAC,oCAAoC,GAAG,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,YAAY,KAAK,CAAC,KAAK,IAAI,KAAK,CAAC,MAAM,EAAE,CAAC,CAAC;YACvG,cAAc,CAAC,YAAY,EAAE,iBAAiB,EAAE,MAAM,CAAC,CAAC;YACxD,OAAO,IAAI,CAAC;QACd,CAAC;QACD,OAAO,GAAG,oBAAoB,CAAC,iBAAiB,EAAE,YAAY,EAAE,MAAM,CAAC,CAAC;IAC1E,CAAC;IAAC,OAAO,GAAG,EAAE,CAAC;QACb,GAAG,CAAC,IAAI,CAAC,oCAAoC,YAAY,KAAM,GAAa,CAAC,OAAO,EAAE,CAAC,CAAC;QACxF,cAAc,CAAC,YAAY,EAAE,iBAAiB,EAAE,MAAM,CAAC,CAAC;QACxD,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,WAAW,GAAG,qBAAqB,CAAC,OAAO,CAAC,CAAC;IACnD,IAAI,QAAQ,GAAG,KAAK,CAAC;IACrB,OAAO;QACL,IAAI,EAAE,YAAY;QAClB,GAAG;QACH,iBAAiB,EAAE,GAAG,EAAE,CAAC,qBAAqB,CAAC,OAAO,CAAC,KAAK,WAAW;QACvE,OAAO,EAAE,GAAG,EAAE;YACZ,IAAI,QAAQ;gBAAE,OAAO;YACrB,QAAQ,GAAG,IAAI,CAAC;YAChB,cAAc,CAAC,YAAY,EAAE,iBAAiB,EAAE,MAAM,CAAC,CAAC;QAC1D,CAAC;KACF,CAAC;AACJ,CAAC;AAED;;;;;;;;GAQG;AACH,MAAM,UAAU,0BAA0B,CACxC,iBAAyB,EACzB,WAAmB,EACnB,GAAW,EACX,SAAiB,UAAU;IAE3B,OAAO,oBAAoB,CAAC,iBAAiB,EAAE,WAAW,EAAE;QAC1D,MAAM,EAAE,CAAC,IAAI,EAAE,GAAG,EAAE,EAAE,CAAC,CAAC,GAAG,KAAK,iBAAiB,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC,IAAI,IAAI,CAAC,CAAC,CAAC,KAAK,WAAW,IAAI,IAAI,CAAC,CAAC,CAAC,KAAK,MAAM;YACrH,CAAC,CAAC,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE;YAChC,CAAC,CAAC,MAAM,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;KACvB,CAAC,CAAC;AACL,CAAC;AAeD,MAAM,+BAA+B,GAAG,CAAC,CAAsB,EAAiB,EAAE,CAChF,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,gBAAgB,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,YAAY,IAAI,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;AAKzE;;;;;GAKG;AACH,MAAM,UAAU,kCAAkC,CAChD,MAAyB,OAAO,CAAC,GAAG,EACpC,eAAqC,kBAAkB;IAEvD,OAAO,CAAC,CAAC,EAAE,OAAO,EAAE,EAAE;QACpB,MAAM,OAAO,GAAG,gCAAgC,CAAC,CAAC,CAAC,eAAe,IAAI,EAAE,EAAE,OAAO,EAAE,GAAG,EAAE,YAAY,CAAC,CAAC;QACtG,IAAI,OAAO,CAAC,gBAAgB,EAAE,CAAC;YAC7B,GAAG,CAAC,IAAI,CACN,2BAA2B,CAAC,CAAC,UAAU,+CAA+C;kBACpF,GAAG,OAAO,CAAC,oBAAoB,+CAA+C,OAAO,CAAC,YAAY,GAAG;kBACrG,wBAAwB,CAC3B,CAAC;QACJ,CAAC;QACD,OAAO,OAAO,CAAC;IACjB,CAAC,CAAC;AACJ,CAAC;AAED,MAAM,mCAAmC,GAAG,kCAAkC,EAAE,CAAC;AAEjF;;;;;;GAMG;AACH,SAAS,cAAc,CAAC,GAAmC;IACzD,MAAM,OAAO,GAAG,GAAG,EAAE,OAAO,CAAC;IAC7B,IAAI,OAAO,OAAO,KAAK,QAAQ,IAAI,CAAC,GAAG;QAAE,OAAO,SAAS,CAAC;IAC1D,MAAM,SAAS,GAAG,OAAO,GAAG,CAAC,SAAS,KAAK,QAAQ,IAAI,GAAG,CAAC,SAAS,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC,CAAC,+BAA+B,CAAC;IAC3H,MAAM,aAAa,GAAG,OAAO,GAAG,CAAC,aAAa,KAAK,QAAQ;QACzD,CAAC,CAAC,GAAG,CAAC,aAAa;QACnB,CAAC,CAAC,wBAAwB,CAAC,SAAS,KAAK,GAAG,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,UAAU,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,SAAS,EAAE,CAAC,CAAC;IACzG,OAAO,EAAE,OAAO,EAAE,SAAS,EAAE,aAAa,EAAE,CAAC;AAC/C,CAAC;AAOD;;;;;;;GAOG;AACH,SAAS,uBAAuB,CAAC,IAA2B,EAAE,CAAsB,EAAE,YAAoB;IACxG,IAAI,CAAC,CAAC,CAAC,eAAe;QAAE,OAAO,EAAE,SAAS,EAAE,CAAC,CAAC,kBAAkB,EAAE,aAAa,EAAE,cAAc,CAAC,CAAC,CAAC,kBAAkB,CAAC,EAAE,CAAC;IACxH,IAAI,CAAC;QACH,MAAM,aAAa,GAAG,CAAC,IAAI,CAAC,4BAA4B,IAAI,mCAAmC,CAAC,CAAC,CAAC,EAAE,YAAY,CAAC,CAAC;QAClH,MAAM,EAAE,OAAO,EAAE,SAAS,EAAE,aAAa,EAAE,GAAG,aAAa,CAAC;QAC5D,OAAO,EAAE,SAAS,EAAE,EAAE,OAAO,EAAE,SAAS,EAAE,aAAa,EAAE,EAAE,aAAa,EAAE,CAAC;IAC7E,CAAC;IAAC,OAAO,GAAG,EAAE,CAAC;QACb,MAAM,YAAY,GAAG,mEAAmE,yBAAyB,CAAC,YAAY,CAAC,KAAK;cAChI,GAAI,GAAa,CAAC,OAAO,8EAA8E,CAAC;QAC5G,GAAG,CAAC,KAAK,CAAC,2BAA2B,CAAC,CAAC,UAAU,KAAK,YAAY,EAAE,CAAC,CAAC;QACtE,OAAO,EAAE,YAAY,EAAE,CAAC;IAC1B,CAAC;AACH,CAAC;AAED;;;;;;;;;;GAUG;AACH,MAAM,CAAC,KAAK,UAAU,6BAA6B,CACjD,IAA2B,EAC3B,CAAsB;IAEtB,8EAA8E;IAC9E,qEAAqE;IACrE,MAAM,QAAQ,GAAG,MAAM,wBAAwB,CAAC,IAAwB,EAAE,CAAC,CAAC,CAAC;IAC7E,MAAM,UAAU,GAAG,EAAE,UAAU,EAAE,CAAC,CAAC,UAAU,EAAE,WAAW,EAAE,IAAI,CAAC,GAAG,EAAE,EAAE,CAAC;IACzE,MAAM,iBAAiB,GAAG,CAAC,IAAI,CAAC,wBAAwB,IAAI,+BAA+B,CAAC,CAAC,CAAC,CAAC,CAAC;IAChG,IAAI,iBAAiB,KAAK,IAAI,EAAE,CAAC;QAC/B,MAAM,GAAG,GAAG,CAAC,IAAI,CAAC,sBAAsB,IAAI,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,IAAI,CAAC,UAAU,CAAC,EAAE,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QACxF,MAAM,aAAa,GAAG,cAAc,CAAC,CAAC,CAAC,kBAAkB,CAAC,CAAC;QAC3D,MAAM,OAAO,GAAG,MAAM,IAAI,CAAC,gBAAgB,CAAC,CAAC,CAAC,kBAAkB,EAAE,GAAG,EAAE,UAAU,EAAE,QAAQ,CAAC,CAAC;QAC7F,OAAO,aAAa,CAAC,CAAC,CAAC,EAAE,GAAG,OAAO,EAAE,aAAa,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC;IACjE,CAAC;IACD,MAAM,YAAY,GAAG,CAAC,IAAI,CAAC,wBAAwB,IAAI,wBAAwB,CAAC,CAAC,iBAAiB,CAAC,CAAC;IACpG,IAAI,CAAC,YAAY,CAAC,KAAK,EAAE,CAAC;QACxB,OAAO;YACL,OAAO,EAAE,SAAS;YAClB,SAAS,EAAE,uEAAuE,YAAY,CAAC,KAAK,IAAI;kBACpG,GAAG,YAAY,CAAC,MAAM,4EAA4E;YACtG,mBAAmB,EAAE,IAAI;SAC1B,CAAC;IACJ,CAAC;IACD,MAAM,QAAQ,GAAG,CAAC,IAAI,CAAC,oBAAoB,IAAI,oBAAoB,CAAC,CAAC,iBAAiB,EAAE,CAAC,CAAC,UAAU,CAAC,CAAC;IACtG,IAAI,CAAC,QAAQ,EAAE,CAAC;QACd,OAAO;YACL,OAAO,EAAE,SAAS;YAClB,SAAS,EAAE,qFAAqF;kBAC5F,iGAAiG;YACrG,mBAAmB,EAAE,IAAI;SAC1B,CAAC;IACJ,CAAC;IACD,yGAAyG;IACzG,iBAAiB,CAAC,CAAC,CAAC,UAAU,EAAE,QAAQ,CAAC,GAAG,CAAC,CAAC;IAC9C,IAAI,CAAC;QACH,MAAM,MAAM,GAAG,uBAAuB,CAAC,IAAI,EAAE,CAAC,EAAE,QAAQ,CAAC,IAAI,CAAC,CAAC;QAC/D,IAAI,cAAc,IAAI,MAAM,EAAE,CAAC;YAC7B,OAAO,EAAE,OAAO,EAAE,QAAQ,EAAE,SAAS,EAAE,MAAM,CAAC,YAAY,EAAE,WAAW,EAAE,QAAQ,CAAC,GAAG,EAAE,gBAAgB,EAAE,IAAI,EAAE,CAAC;QAClH,CAAC;QACD,MAAM,MAAM,GAAG,MAAM,IAAI,CAAC,gBAAgB,CACxC,MAAM,CAAC,SAAS,EAChB,QAAQ,CAAC,IAAI,EACb,UAAU,EACV,QAAQ,EACR,EAAE,YAAY,EAAE,iBAAiB,EAAE,UAAU,EAAE,CAAC,CAAC,UAAU,EAAE,CAC9D,CAAC;QACF,IAAI,QAAQ,CAAC,iBAAiB,EAAE,EAAE,CAAC;YACjC,GAAG,CAAC,IAAI,CAAC,mEAAmE,CAAC,CAAC,UAAU,qBAAqB,CAAC,CAAC;YAC/G,OAAO;gBACL,OAAO,EAAE,SAAS;gBAClB,SAAS,EAAE,8FAA8F;sBACrG,8FAA8F;gBAClG,mBAAmB,EAAE,IAAI;aAC1B,CAAC;QACJ,CAAC;QACD,OAAO;YACL,GAAG,MAAM;YACT,WAAW,EAAE,QAAQ,CAAC,GAAG;YACzB,GAAG,CAAC,MAAM,CAAC,aAAa,CAAC,CAAC,CAAC,EAAE,aAAa,EAAE,MAAM,CAAC,aAAa,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;SACzE,CAAC;IACJ,CAAC;YAAS,CAAC;QACT,QAAQ,CAAC,OAAO,EAAE,CAAC;IACrB,CAAC;AACH,CAAC"}

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

@@ -0,0 +1,84 @@
+import type { PendingVerification } from '../queries/verification.js';
+import type { StrategyResult } from './verification-deterministic.js';
+import type { VerificationDeps } from './verification-deps.js';
+import { type GateRunRegistration } from './gate-run-registry.js';
+import { type InstrumentFaultHold } from './verification-attribution.js';
+/** How a delivery is judged. */
+export interface JudgeOptions {
+    /** The verdict already recorded for the commit the delivery is judged on: taken instead of running the strategy. */
+    reused?: StrategyResult;
+    /**
+     * Asked once a run's verdict is rendered and recorded: false means the delivery
+     * left verify while the run was in flight, so the verdict routes nothing.
+     */
+    stillInVerify?: () => Promise<boolean>;
+}
+/** What judging rendered, before any per-delivery routing. */
+export interface JudgedDelivery {
+    result: StrategyResult;
+    /** Set when the run rendered no verdict about the work (blind, unattributable, timed out). */
+    evidenceUnavailableHold: InstrumentFaultHold | null;
+    /** False when the delivery left verify while its run was in flight: route nothing for it. */
+    routes: boolean;
+}
+/**
+ * Judge one delivery: run its strategy -- or take the recorded verdict -- then,
+ * for a deterministic run, attribute a failure and record the commit's verdict.
+ *
+ * Attribution (verify/verification-attribution.ts): a failed HEAD run whose reds
+ * ALL pre-exist on the focus base introduced no regression and is demoted to
+ * 'passed' here, BEFORE the caller's pass path, so the demotion feeds injection
+ * retirement; a blind or timed-out run returns the instrument-fault hold instead,
+ * and no baseline leaves the outcome unchanged (all failures gate).
+ *
+ * The verdict is recorded after attribution and before the per-delivery pass
+ * path can demote it, because the gate verdict belongs to the judged COMMIT, not
+ * to this delivery. A reused verdict is already attributed and already recorded,
+ * so neither step runs for it.
+ */
+export declare function judgeDelivery(v: PendingVerification, deps: VerificationDeps, runStrategy: () => Promise<StrategyResult>, opts?: JudgeOptions): Promise<JudgedDelivery>;
+/** Routes one delivery end to end (verification-engine runVerificationForDelivery). */
+export type DeliveryVerifier = (v: PendingVerification, deps: VerificationDeps, opts: JudgeOptions) => Promise<StrategyResult>;
+/**
+ * Dispatch one DEFAULT-ON candidate (module doc): serialized with every other
+ * candidate on its focus, it starts only when its delivery is still in verify,
+ * takes the verdict recorded for the focus HEAD when one exists, and runs the
+ * gate otherwise; the delivery is routed by `verify` unless it left verify while
+ * the run was in flight. A routed result is noted on the default-on re-run guards
+ * (the commit it was judged on, a failed sha, or an un-mark when no checkout could
+ * be made). Returns null when nothing was routed -- not started, or left verify
+ * mid-run -- and drops the run mark, so a return to verify is selected again.
+ */
+export declare function dispatchDefaultOnCandidate(v: PendingVerification, deps: VerificationDeps, verify: DeliveryVerifier): Promise<StrategyResult | null>;
+/**
+ * Durably remove the verdict each selected EXPLICIT candidate's previous run
+ * recorded (module doc), for every candidate at once and before any of them waits
+ * on the semaphore; returns, per candidate, whether it may start this tick. A
+ * default-on candidate always may, and so does every candidate when the deps carry
+ * no remover. Each removed here is named a fresh run id first, which its verdict is
+ * recorded under (verify/explicit-run-ledger.ts). One a recorded verdict already
+ * judges is not removed here: no run replaces its verdict, and its dispatch removes
+ * it -- naming its run then -- only once it is about to route a verdict. One whose
+ * removal did not land may not start: its registration ends now, so it holds no
+ * routing wait, and its re-arm is dropped, so the next tick selects it again.
+ * Meanwhile this process reads "no verdict" for it (its registration forgot the
+ * older one), so routing holds until a run renders one.
+ */
+export declare function invalidateSupersededExplicitVerdicts(selected: readonly PendingVerification[], explicitIds: ReadonlySet<string>, registrations: readonly GateRunRegistration[], deps: VerificationDeps): Promise<boolean[]>;
+/**
+ * Dispatch one EXPLICIT-METHOD row (module doc): it starts only when its delivery
+ * is still in verify, and a delivery that left verify while its run was in flight
+ * is routed nothing -- no outcome recorded, no re-work or shortfall feedback --
+ * though a per-commit verdict its run rendered is still recorded. A deterministic
+ * row is serialized on its focus and takes the verdict recorded for the focus HEAD
+ * under its own gate in place of a run; a failure already fed back at that commit
+ * routes nothing, and a removal deferred at selection is made before a verdict --
+ * that recorded one, or a run's -- is routed.
+ * Returns null when nothing was routed; the row is selected again on a later tick
+ * while it stays pending. A row the explicit re-arm scan selected keeps no durable
+ * pending outcome, so a dispatch that routes nothing (null, or a throw) releases
+ * its re-arm mark: the HEAD it was selected for is still unjudged
+ * (verify/explicit-rearm.ts). A reused verdict is a routed result.
+ */
+export declare function dispatchExplicitCandidate(v: PendingVerification, deps: VerificationDeps, verify: DeliveryVerifier): Promise<StrategyResult | null>;
+//# sourceMappingURL=verification-commit-sharing.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"verification-commit-sharing.d.ts","sourceRoot":"","sources":["../../src/verify/verification-commit-sharing.ts"],"names":[],"mappings":"AAgHA,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,4BAA4B,CAAC;AACtE,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,iCAAiC,CAAC;AACtE,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,wBAAwB,CAAC;AAC/D,OAAO,EAAqB,KAAK,mBAAmB,EAAE,MAAM,wBAAwB,CAAC;AAErF,OAAO,EAAiC,KAAK,mBAAmB,EAAE,MAAM,+BAA+B,CAAC;AAoBxG,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,GAAE,YAAiB,GACtB,OAAO,CAAC,cAAc,CAAC,CAYzB;AAED,uFAAuF;AACvF,MAAM,MAAM,gBAAgB,GAAG,CAAC,CAAC,EAAE,mBAAmB,EAAE,IAAI,EAAE,gBAAgB,EAAE,IAAI,EAAE,YAAY,KAAK,OAAO,CAAC,cAAc,CAAC,CAAC;AAqL/H;;;;;;;;;GASG;AACH,wBAAsB,0BAA0B,CAC9C,CAAC,EAAE,mBAAmB,EACtB,IAAI,EAAE,gBAAgB,EACtB,MAAM,EAAE,gBAAgB,GACvB,OAAO,CAAC,cAAc,GAAG,IAAI,CAAC,CAOhC;AAuBD;;;;;;;;;;;;;GAaG;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/verification-commit-sharing.js

@@ -0,0 +1,416 @@
+// PINNED-BY-BEGIN (generated by gen:pinned-by -- do not hand-edit; checked by lint:pinned-by)
+// Pinned by: packages/daemon/src/verify/verification-commit-sharing.test.ts
+// PINNED-BY-END
+/**
+ * One deterministic gate run per focus commit, its verdict shared by every
+ * delivery judged on that commit.
+ *
+ * Every delivery on a focus is judged on the same focus-branch HEAD, and a gate
+ * on an unchanged tree renders the same verdict. Default-on selection used to
+ * dispatch one whole verify:gate run per delivery sitting in verify, so two
+ * deliveries on one commit paid for the gate twice (2026-09-14: three commits
+ * gated twice each, ~14 min; 2026-09-13: 22 runs for 3 deliveries), and a status
+ * round trip or a daemon restart at an already-judged commit paid again.
+ *
+ * The verdict belongs to the COMMIT (verify/commit-verdict-record.ts, written by
+ * the judge step below for every run that rendered one). So a default-on
+ * candidate's dispatch first asks for a verdict already recorded for the judged
+ * commit under the gate its run applies there -- the gate its verdict is recorded
+ * under (verify/judged-commit-gate.ts), not the repoPath gate it was selected
+ * with, which a branch manifest may override: a hit is taken in place of running
+ * the gate (no command, no re-attribution, no second record write), and the
+ * delivery then goes through the SAME per-delivery routing as a delivery that
+ * ran -- its own outcome record, its own injection retirement on a pass, its own
+ * failure feedback (which stamps its own durable failedAtSha, so a reused
+ * failure is not re-delivered on the next round trip at that commit). A miss
+ * runs the gate, which records the verdict the next candidate takes.
+ *
+ * Candidates for one focus are dispatched one at a time, so a second delivery on
+ * a commit reads the first's recorded verdict rather than racing it into a second
+ * run. The HEAD is read at dispatch, inside that serialization, because that is
+ * the commit a run would judge; an unreadable HEAD reuses nothing and the run
+ * path keeps its own fail-closed handling. A run that rendered no verdict (timed
+ * out, no checkout, instrument fault) records nothing, so the commit stays
+ * unjudged and is asked again.
+ *
+ * A verdict routes only a delivery still in verify. The verification semaphore
+ * serializes runs across foci, so a candidate selected at tick start can wait
+ * minutes behind another focus's gate while review routes its delivery on
+ * (2026-09-14: done 19:07:26, verdict 19:10:07). So the dispatch re-reads the
+ * delivery's status first and starts nothing for a delivery no longer in verify;
+ * an unreadable status starts nothing either -- the mark is dropped and the next
+ * tick asks again, at no cost. A default-on dispatch awaits nothing between that
+ * read and taking a recorded verdict or starting its run; an explicit one may await
+ * a deferred removal there, and reads the status again after it (below). The
+ * status is re-read once more after the verdict
+ * is recorded: a delivery that left verify while its run was in flight is routed
+ * nothing (no outcome, no injection retirement, no re-work), and the recorded
+ * verdict stays for whichever delivery is judged on that commit next. An
+ * unreadable status there routes as before, because the run is already spent and
+ * a run that recorded no verdict (a timeout) would otherwise cost a whole re-run.
+ *
+ * EXPLICIT-METHOD rows (getPendingVerifications) take the same two status reads
+ * (dispatchExplicitCandidate): selected at tick start, they wait on the same
+ * semaphore. A row with no focus is dispatched as before -- its status is read
+ * through its focus, and no review exit routes a delivery outside one.
+ *
+ * An explicit DETERMINISTIC row renders its verdict for the commit too: its run
+ * records it under the gate the row applies there (its own command + timeout,
+ * unchanged by the checkout -- commitVerdictGateOf), which is the gate its
+ * explicit verdict is keyed by (explicitGateKeyOf hashes that same command +
+ * timeout). So it takes the same per-commit reuse as a default-on candidate,
+ * serialized on its focus and read at dispatch under its OWN gate: a delivery
+ * re-admitted to verify at a judged commit -- a status round trip, a restart, a
+ * sibling row naming the same gate -- runs no second gate. A hit is routed exactly
+ * as a run is (its outcome and explicit verdict for that commit and gate key, its
+ * injection retirement, its failure feedback), and is a routed result for the
+ * re-arm scan. One rule is explicit-only, because the edge re-lists a failed
+ * explicit row every tick where the default-on scan's failedAtSha guard selects
+ * nothing: a reused FAILED verdict whose commit is already its delivery's durable
+ * failedAtSha was fed back to it, so it routes nothing again until a new commit.
+ * An unreadable HEAD reuses nothing. ai_inspection and behavioral rows write no
+ * per-commit record, so they read none: they run, unserialized, as before.
+ *
+ * An explicit row's run REPLACES the verdict its delivery's previous run recorded,
+ * so that older verdict must not survive, durably, into the replacement's run
+ * (verify/explicit-gate-outcome.ts): a restart while the run waits or runs, or a
+ * verdict write after it that fails, would otherwise expose it as the latest. So
+ * every selected explicit candidate's durable record is removed at selection,
+ * before any candidate waits on the semaphore (invalidateSupersededExplicitVerdicts),
+ * and one whose removal did not land is not started this tick: its selection ends
+ * at once, so it holds no routing wait, and the next tick selects it again. The
+ * exception is a candidate a recorded verdict already judges at selection: no run
+ * replaces anything there, so its removal is deferred to the dispatch, and made
+ * only when that dispatch is about to route a verdict -- the recorded one it takes,
+ * or, finding none after all (HEAD moved), its own run's -- refused, it routes
+ * nothing and starts nothing. That removal awaits a row write, and the delivery can
+ * leave verify meanwhile (review routes it to done, re-work to verify_failed), so
+ * the dispatch reads its status again once the removal lands, immediately before it
+ * takes the verdict or starts the run, and routes and starts nothing for one no
+ * longer in verify or whose status cannot be read; the removal itself refuses a
+ * delivery it finds done or cancelled. A removal that landed first stays, and the
+ * run it named supersedes the older verdict in the ledger, so that verdict governs
+ * nothing. A reused failure already fed back routes nothing, so it removes nothing. While a run of a candidate is pending, no same-commit,
+ * same-gate per-commit record exists to shadow: the run starts only because the
+ * read under that gate at that commit missed, and a record under another gate or
+ * for another commit is never read as its verdict. A re-armed row
+ * (verify/explicit-rearm.ts) whose run never judged its commit -- not started, or
+ * its delivery left verify mid-run -- drops its re-arm, so a later tick can select
+ * it again at the same HEAD.
+ *
+ * Every removal names a fresh run id first (verify/explicit-run-ledger.ts), noted on
+ * the candidate, and the verdict its dispatch routes -- a run's or a reused one --
+ * is recorded under that id, so a reused verdict supersedes the older record in the
+ * ledger exactly as a run's does, and an older record a stale writer carries back
+ * reads as no verdict.
+ *
+ * @module verify/verification-commit-sharing
+ */
+import { randomUUID } from 'node:crypto';
+import { DELIVERY_STATUS } from '@telora/daemon-core';
+import { noteExplicitRunId } from './gate-run-registry.js';
+import { releaseExplicitRearm } from './explicit-rearm.js';
+import { attributeDeterministicFailure } from './verification-attribution.js';
+import { commitVerdictGateOf, recordCommitVerdictFor, strategyResultFromVerdict, } from './commit-verdict-record.js';
+import { judgedFailedSha, readVerificationHistory } from '../queries/delivery-gate-state.js';
+import { buildJudgedCommitManifestReader, defaultResolveFocusHeadSha, noteDefaultOnResult, releaseDefaultOnMark, } from './verification-default-on.js';
+import { judgedCommitGate } from './judged-commit-gate.js';
+import { createLogger } from '../shell/log.js';
+const log = createLogger({ module: 'verification' });
+/**
+ * Judge one delivery: run its strategy -- or take the recorded verdict -- then,
+ * for a deterministic run, attribute a failure and record the commit's verdict.
+ *
+ * Attribution (verify/verification-attribution.ts): a failed HEAD run whose reds
+ * ALL pre-exist on the focus base introduced no regression and is demoted to
+ * 'passed' here, BEFORE the caller's pass path, so the demotion feeds injection
+ * retirement; a blind or timed-out run returns the instrument-fault hold instead,
+ * and no baseline leaves the outcome unchanged (all failures gate).
+ *
+ * The verdict is recorded after attribution and before the per-delivery pass
+ * path can demote it, because the gate verdict belongs to the judged COMMIT, not
+ * to this delivery. A reused verdict is already attributed and already recorded,
+ * so neither step runs for it.
+ */
+export async function judgeDelivery(v, deps, runStrategy, opts = {}) {
+    if (opts.reused)
+        return { result: { ...opts.reused }, evidenceUnavailableHold: null, routes: true };
+    const result = { ...(await runStrategy()) };
+    const deterministic = v.verificationMethod === 'deterministic';
+    const evidenceUnavailableHold = deterministic && result.outcome === 'failed'
+        ? await attributeDeterministicFailure(v, result, deps)
+        : null;
+    if (deterministic)
+        recordCommitVerdictFor(v, result, evidenceUnavailableHold !== null, deps.recordCommitVerdict);
+    // 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.
+    const routes = opts.stillInVerify ? await opts.stillInVerify() : true;
+    return { result, evidenceUnavailableHold, routes };
+}
+const defaultReadJudgedCommitManifest = buildJudgedCommitManifestReader();
+/**
+ * The gate and commit a candidate's verdict is keyed by. A default-on candidate
+ * with a focus worktree runs from a checkout of the judged commit and records under
+ * the gate it APPLIES there (verify/judged-commit-gate.ts), at the sha git read the
+ * manifest from; an unreadable judged commit keys nothing. An explicit row -- or a
+ * candidate with no worktree, which runs in place on its own config -- is keyed by
+ * the gate it carries, at the focus HEAD.
+ */
+function verdictKey(v, focusId, deps) {
+    if (v.defaultOnSource) {
+        const read = (deps.readJudgedCommitManifest ?? defaultReadJudgedCommitManifest)(focusId);
+        if (read !== null) {
+            if ('unreadable' in read)
+                return null;
+            const gate = judgedCommitGate(v.defaultOnSource, read);
+            return gate ? { gate, head: read.sha } : null;
+        }
+    }
+    const gate = commitVerdictGateOf(v);
+    const head = gate ? (deps.resolveFocusHeadSha ?? defaultResolveFocusHeadSha)(focusId) : null;
+    return gate && head !== null ? { gate, head } : null;
+}
+/**
+ * The verdict recorded for the focus commit this candidate would be judged on, or
+ * null when there is none to take: not a deterministic candidate (no other method
+ * records one), no reader, no product / focus / gate to key it by, an unreadable
+ * HEAD, or no verdict for that commit under the gate its run would apply.
+ */
+function readReusableVerdict(v, deps) {
+    if (v.verificationMethod !== 'deterministic' || !deps.readCommitVerdict || !v.productId || !v.focusId)
+        return null;
+    const key = verdictKey(v, v.focusId, deps);
+    return key === null ? null : deps.readCommitVerdict(v.productId, v.focusId, key.head, key.gate);
+}
+/** Per-focus dispatch queue tails: a candidate starts only after every earlier candidate for its focus settled. */
+const focusQueues = new Map();
+async function serializedByFocus(focusKey, fn) {
+    const prior = focusQueues.get(focusKey) ?? Promise.resolve();
+    let release = () => { };
+    const tail = prior.then(() => new Promise((resolve) => { release = resolve; }));
+    focusQueues.set(focusKey, tail);
+    await prior;
+    try {
+        return await fn();
+    }
+    finally {
+        release();
+        if (focusQueues.get(focusKey) === tail)
+            focusQueues.delete(focusKey);
+    }
+}
+/** Re-read whether the candidate's delivery is still in verify (a delivery missing from its focus is not). */
+async function rereadInVerify(v, deps) {
+    if (!v.focusId)
+        return { unreadable: 'the candidate names no focus' };
+    try {
+        const row = (await deps.getFocusDeliveries(v.focusId)).find((d) => d.id === v.deliveryId);
+        return { inVerify: row?.executionStatus === DELIVERY_STATUS.VERIFY, gateState: row?.gateState };
+    }
+    catch (err) {
+        return { unreadable: err.message };
+    }
+}
+/** The post-run status probe a run is judged with, and whether it found the delivery gone from verify. */
+function leftVerifyProbe(v, deps) {
+    let leftVerify = false;
+    return {
+        stillInVerify: async () => {
+            const after = await rereadInVerify(v, deps);
+            leftVerify = 'inVerify' in after && !after.inVerify; // unreadable: route as before (module doc)
+            return !leftVerify;
+        },
+        left: () => leftVerify,
+    };
+}
+function logLeftVerifyMidRun(kind, v, result) {
+    log.info(`[verification] ${kind}: delivery "${v.deliveryName}" (${v.deliveryId}) left verify while its verify ran -- `
+        + `the '${result.outcome}' verdict routes nothing for it (a per-commit verdict it rendered stays recorded)`);
+}
+function logNotStarting(kind, v, why) {
+    log.info(`[verification] ${kind}: not starting the verify for delivery "${v.deliveryName}" (${v.deliveryId}) -- ${why}`);
+}
+/**
+ * Re-read the delivery's status before its dispatch starts or routes anything: the
+ * re-read row when the delivery is still in verify, else null, logged -- an
+ * unreadable status starts nothing either (module doc), and the next tick asks again.
+ * `when` qualifies which read this is in the log line.
+ */
+async function startableStatus(v, deps, kind, when) {
+    const status = await rereadInVerify(v, deps);
+    if ('inVerify' in status && status.inVerify)
+        return status;
+    logNotStarting(kind, v, 'unreadable' in status
+        ? `its status could not be re-read${when} (${status.unreadable}); the next tick asks again`
+        : `it is no longer in verify${when}`);
+    return null;
+}
+/**
+ * Land the policy's pre-route step, when it has one, then re-read the status that
+ * step may have outlived (module doc): false routes and starts nothing. A dispatch
+ * whose policy has no such step awaits nothing between its status read and its route.
+ */
+async function preRouteStepLanded(v, deps, policy) {
+    const step = policy.beforeRoute?.() ?? null;
+    if (step === null)
+        return true;
+    if (!(await step))
+        return false;
+    return (await startableStatus(v, deps, policy.kind, ' once its previous verdict\'s removal landed')) !== null;
+}
+/**
+ * The steps every dispatch shares (module doc): start only for a delivery still in
+ * verify; take the verdict recorded for the commit it is judged on when one exists
+ * (no command, no re-attribution, no second record write), routed per delivery
+ * exactly as a run is; else run, and route nothing for a delivery that left verify
+ * while the run was in flight. The policy may refuse either route before it
+ * happens, and a step it awaits first is followed by a second status read, right
+ * before the verdict is taken or the run starts. Returns the routed result, or null
+ * when nothing was routed.
+ */
+async function reuseOrRun(v, deps, verify, policy) {
+    const status = await startableStatus(v, deps, policy.kind, '');
+    if (status === null)
+        return null;
+    const verdict = readReusableVerdict(v, deps);
+    const reused = verdict ? strategyResultFromVerdict(verdict) : null;
+    if (reused && policy.alreadyRouted?.(reused, status.gateState))
+        return null;
+    if (!(await preRouteStepLanded(v, deps, policy)))
+        return null;
+    if (verdict && reused) {
+        log.info(`[verification] ${policy.kind}: delivery "${v.deliveryName}" (${v.deliveryId}) takes the '${verdict.outcome}' verdict `
+            + `recorded for focus HEAD ${verdict.sha.slice(0, 8)} (run for delivery ${verdict.judgedDeliveryId}) -- no gate run`);
+        return verify(v, deps, { reused });
+    }
+    const probe = leftVerifyProbe(v, deps);
+    const result = await verify(v, deps, { stillInVerify: probe.stillInVerify });
+    if (!probe.left())
+        return result;
+    logLeftVerifyMidRun(policy.kind, v, result);
+    return null;
+}
+/**
+ * Dispatch one DEFAULT-ON candidate (module doc): serialized with every other
+ * candidate on its focus, it starts only when its delivery is still in verify,
+ * takes the verdict recorded for the focus HEAD when one exists, and runs the
+ * gate otherwise; the delivery is routed by `verify` unless it left verify while
+ * the run was in flight. A routed result is noted on the default-on re-run guards
+ * (the commit it was judged on, a failed sha, or an un-mark when no checkout could
+ * be made). Returns null when nothing was routed -- not started, or left verify
+ * mid-run -- and drops the run mark, so a return to verify is selected again.
+ */
+export async function dispatchDefaultOnCandidate(v, deps, verify) {
+    return serializedByFocus(v.focusId ?? v.deliveryId, async () => {
+        const result = await reuseOrRun(v, deps, verify, { kind: 'default-on' });
+        if (result === null)
+            releaseDefaultOnMark(v.deliveryId);
+        else
+            noteDefaultOnResult(v.deliveryId, result);
+        return result;
+    });
+}
+/** Explicit candidates whose selection deferred the removal of their previous verdict: a recorded verdict judged them then. */
+const invalidationDeferred = new WeakSet();
+/**
+ * Name the candidate a fresh run id -- the one the verdict it routes is recorded
+ * under -- and remove its previous explicit verdict durably (module doc); false,
+ * logged, when the removal did not land.
+ */
+async function invalidateOrRefuse(v, deps) {
+    const invalidate = deps.invalidateExplicitGateOutcome;
+    if (!invalidate)
+        return true;
+    const runId = randomUUID();
+    noteExplicitRunId(v, runId);
+    if (await invalidate(v.deliveryId, runId).catch(() => false))
+        return true;
+    log.warn(`[verification] explicit: not starting the verify for delivery "${v.deliveryName}" (${v.deliveryId}) -- the verdict `
+        + `its previous run recorded was not durably removed (the removal failed, or the delivery stopped cycling); the next tick asks again`);
+    return false;
+}
+/**
+ * Durably remove the verdict each selected EXPLICIT candidate's previous run
+ * recorded (module doc), for every candidate at once and before any of them waits
+ * on the semaphore; returns, per candidate, whether it may start this tick. A
+ * default-on candidate always may, and so does every candidate when the deps carry
+ * no remover. Each removed here is named a fresh run id first, which its verdict is
+ * recorded under (verify/explicit-run-ledger.ts). One a recorded verdict already
+ * judges is not removed here: no run replaces its verdict, and its dispatch removes
+ * it -- naming its run then -- only once it is about to route a verdict. One whose
+ * removal did not land may not start: its registration ends now, so it holds no
+ * routing wait, and its re-arm is dropped, so the next tick selects it again.
+ * Meanwhile this process reads "no verdict" for it (its registration forgot the
+ * older one), so routing holds until a run renders one.
+ */
+export async function invalidateSupersededExplicitVerdicts(selected, explicitIds, registrations, deps) {
+    return Promise.all(selected.map(async (v, i) => {
+        if (!deps.invalidateExplicitGateOutcome || !explicitIds.has(v.deliveryId))
+            return true;
+        if (readReusableVerdict(v, deps)) {
+            invalidationDeferred.add(v);
+            return true;
+        }
+        if (await invalidateOrRefuse(v, deps))
+            return true;
+        registrations[i]?.end();
+        releaseExplicitRearm(v);
+        return false;
+    }));
+}
+/** The last failed commit an already-fed skip was logged for, per delivery (one line per commit, not per tick). */
+const loggedFedFailure = new Map();
+/**
+ * Why a reused verdict routes nothing new for an explicit row (module doc): it is a
+ * FAILED verdict for the commit its delivery's durable failedAtSha already names, so
+ * its failure feedback carried it; else null.
+ */
+function fedFailureBecause(v, reused, gateState) {
+    const failedSha = judgedFailedSha(reused);
+    if (reused.outcome !== 'failed' || failedSha === null || readVerificationHistory(gateState).failedAtSha !== failedSha)
+        return null;
+    const why = `the failed verdict recorded for ${failedSha.slice(0, 8)} was already fed back to it (its failedAtSha); `
+        + 'a new commit on the focus branch re-arms it';
+    if (loggedFedFailure.get(v.deliveryId) !== failedSha) {
+        loggedFedFailure.set(v.deliveryId, failedSha);
+        logNotStarting('explicit', v, why);
+    }
+    return why;
+}
+/**
+ * Dispatch one EXPLICIT-METHOD row (module doc): it starts only when its delivery
+ * is still in verify, and a delivery that left verify while its run was in flight
+ * is routed nothing -- no outcome recorded, no re-work or shortfall feedback --
+ * though a per-commit verdict its run rendered is still recorded. A deterministic
+ * row is serialized on its focus and takes the verdict recorded for the focus HEAD
+ * under its own gate in place of a run; a failure already fed back at that commit
+ * routes nothing, and a removal deferred at selection is made before a verdict --
+ * that recorded one, or a run's -- is routed.
+ * Returns null when nothing was routed; the row is selected again on a later tick
+ * while it stays pending. A row the explicit re-arm scan selected keeps no durable
+ * pending outcome, so a dispatch that routes nothing (null, or a throw) releases
+ * its re-arm mark: the HEAD it was selected for is still unjudged
+ * (verify/explicit-rearm.ts). A reused verdict is a routed result.
+ */
+export async function dispatchExplicitCandidate(v, deps, verify) {
+    const { focusId } = v;
+    if (!focusId)
+        return verify(v, deps, {});
+    let routed = false;
+    try {
+        const result = v.verificationMethod === 'deterministic'
+            ? await serializedByFocus(focusId, () => reuseOrRun(v, deps, verify, {
+                kind: 'explicit',
+                alreadyRouted: (reused, gateState) => fedFailureBecause(v, reused, gateState),
+                beforeRoute: () => (invalidationDeferred.delete(v) ? invalidateOrRefuse(v, deps) : null),
+            }))
+            : await reuseOrRun(v, deps, verify, { kind: 'explicit' });
+        routed = result !== null;
+        return result;
+    }
+    finally {
+        if (!routed)
+            releaseExplicitRearm(v);
+    }
+}
+//# sourceMappingURL=verification-commit-sharing.js.map