@telora/daemon 0.22.245 → 0.22.289

package/dist/verify/commit-verdict-pull.js

@@ -1,285 +0,0 @@
-// PINNED-BY-BEGIN (generated by gen:pinned-by -- do not hand-edit; checked by lint:pinned-by)
-// Pinned by: packages/daemon/src/integration/held-route-pull-dispatch.test.ts,
-//   packages/daemon/src/verify/commit-verdict-pull.test.ts,
-//   packages/daemon/src/verify/reselection-log.test.ts,
-//   packages/daemon/src/verify/verification-default-on.test.ts
-// PINNED-BY-END
-/**
- * A held route PULLS the gate run for the commit it awaits.
- *
- * The demand-driven half of the verdict path was built and wired but passive.
- * A review exit that would route a verify delivery while no passing verdict
- * exists for the commit it judged records a hold (delivery/commit-verdict-hold.ts
- * writes gate_state.commitVerdictHold: the sha awaited, the route withheld, the
- * exit to replay), and completion/commit-verdict-release.ts replays that exit
- * once a verdict for the sha lands. Neither of them starts a gate run. So a hold
- * could only WAIT for verify/verification-default-on.ts to happen to judge that
- * commit as part of its per-HEAD sweep: the daemon kept a verdict fresh at every
- * HEAD precisely because nothing knew which commit would turn out to be the one a
- * route needed, and gated N commits to have an answer for one.
- *
- * This module closes that loop from the other end. As the default-on scan reads a
- * focus's deliveries, every delivery in verify carrying a hold has its HEAD-keyed
- * run guards dropped, so the same scan selects it and the gate judges the commit
- * the hold names. The verdict is then earned because a route asked for it.
- *
- * It is the ENABLER for narrowing the re-arm rule (verify/verification-default-on.ts):
- * once a sibling's commit no longer re-arms a delivery whose verify passed, the
- * speculative sweep stops producing verdicts for the review tip, and a held route
- * with no way to cause its own run would starve.
- *
- * The rules, and why each is there:
- *
- *   - **Only when the hold's commit IS the focus HEAD.** A gate run judges the
- *     focus worktree HEAD -- a dispatch reads HEAD when it starts -- so a run
- *     cannot be aimed at an arbitrary sha. The release pass already drops a
- *     marker whose sha is not HEAD, so a surviving hold names HEAD; asserting it
- *     here keeps a pull from dispatching a run that would judge the wrong commit
- *     and record its verdict under it.
- *   - **A hold with no sha pulls nothing.** The judged commit was unreadable at
- *     the review exit; the release pass holds fail-closed on exactly that and
- *     asks again next poll. Pulling a run for an unknown commit would judge
- *     whatever HEAD happens to be.
- *   - **No second run.** Not while a run that may judge the commit is selected or
- *     in flight (verify/gate-run-registry.ts), and once per (delivery, sha) in
- *     this process until the verdict reads back (next rule). A dispatch that
- *     renders nothing records no pass, and ordinarily releases its own run mark,
- *     so the scan selects the delivery again on its own -- the pull mark
- *     suppresses nothing that would otherwise run. The exception is a
- *     checkout- or model-unavailable attempt on a STANDING park: it keeps a run
- *     mark naming no commit (verify/default-on-guards.ts noteDefaultOnResult
- *     declines that un-mark), so nothing else re-selects it -- and the next rule
- *     is what recognises that settled attempt and pulls again.
- *   - **A pull is not spent until its verdict reads back.** The per-commit record
- *     write is BEST-EFFORT (verify/commit-verdict-record.ts writeCommitVerdict
- *     returns false and the recorder discards it), so the run a pull caused can
- *     render on the held sha and still leave the release reading 'pending'. A
- *     commit already pulled for is pulled AGAIN once the attempt it caused has
- *     SETTLED -- a run mark exists again (a dispatch was attempted) and the
- *     gate-run registry holds no run selected or in flight -- and the release
- *     pass's own read (below) still returns a readable 'pending'. Two settled
- *     outcomes qualify, and the re-pull's log line names which one it saw: a
- *     run that JUDGED the held sha (its mark names it) whose write did not land,
- *     and an attempt that RENDERED NOTHING (its mark names no commit) -- a
- *     checkout-less retry on a standing park, whose preserved mark is the only
- *     trace it ran; requiring the mark to name the sha would strand the route
- *     there. 'passed' is answered;
- *     'failed' is the gate's answer; an unreadable read waits for the next scan
- *     rather than paying a run on an unknown. Each re-pull costs one run and
- *     only after the previous one ended, so a store that stays down costs one
- *     run per scan, and a store that recovers is written by the next one.
- *   - **The failure guard stays authoritative.** Only the run mark and the
- *     recorded PASS are dropped. A recorded failure at the held commit means the
- *     gate already answered; verification feedback routes the delivery to
- *     verify_failed, and re-running the same commit would answer the same way.
- *
- *   - **A parked delivery at the held commit is not pulled -- when the verdict
- *     is READABLE.** The pull DECLINES, and says so, only when all three hold:
- *     this process already judged the delivery ON the held sha (its run mark
- *     names it); the shortfall park that judgement left stands on an unchanged
- *     commit set and unchanged rulings (verify/parked-shortfall-reuse.ts
- *     parkHoldsOnUnchangedFacts); and the release pass's OWN verdict read
- *     (readHeldCommitVerdictState -- completion/review-exit-verdict-gate.ts
- *     readGateVerdictState, the read completion/commit-verdict-release.ts
- *     releases on) returns 'passed' for that sha. Then a re-selection is neither
- *     a new ruling nor a new commit and is not needed: the release replays from
- *     the record with no run.
- *
- *     The third condition is not implied by the first two. The per-commit
- *     record write is BEST-EFFORT (verify/commit-verdict-record.ts
- *     writeCommitVerdict returns false and the recorder discards it), so a
- *     passing run can park a delivery while leaving no verdict behind. Declining
- *     there would leave the release reading 'pending' forever -- a wedge. So the
- *     pull asks the reader the release asks, and anything but 'passed' pulls:
- *     the run it causes writes the record again. A mark on another commit, no
- *     mark (a restart), no product id, no reader, or any unknown fact pulls as
- *     before -- this may only remove a pull it can prove is pointless.
- *
- * THE VERDICT READ, and what it is not. Two rules above -- the park decline and
- * the re-pull -- ask the release pass's OWN verdict reader
- * (readHeldCommitVerdictState: completion/review-exit-verdict-gate.ts
- * readGateVerdictState over the delivery's resolved CommitVerdictGate,
- * verify/commit-gate-configured.ts), and they ask it only for a delivery this
- * process already dispatched for the held sha. They ask whether the route's wait is
- * OVER, never whether a run may be skipped: a first pull on a commit is not
- * declined because a verdict exists -- only where the park ALSO stands on
- * unchanged facts, so a re-selection could change nothing. Reusing a recorded verdict instead
- * of running the gate has one home -- verify/verification-commit-sharing.ts --
- * so a pull whose commit is already judged costs one dispatch that reuses and
- * routes, not a suite. Same shape as credit-rearm.ts.
- *
- * Wrapper shape follows the two existing re-arm seams (verify/credit-rearm.ts
- * withCreditRearm, verify/shortfall-rulings.ts withShortfallRulingRearm): wrap the
- * focus-deliveries read the scan takes, so the re-arm lands before the same scan's
- * guard checks. Never throws.
- *
- * @module verify/commit-verdict-pull
- */
-import { DELIVERY_STATUS } from '@telora/daemon-core';
-import { readCommitVerdictHold } from '../delivery/commit-verdict-hold.js';
-import { hasPendingGateRun, isGateRunSelected } from './gate-run-registry.js';
-import { defaultResolveFocusHeadSha } from './verification-default-on.js';
-import { forgetRecordedPass, hasDefaultOnRunMark, judgedShaOfRunMark, releaseDefaultOnMark } from './default-on-guards.js';
-import { parkHoldsOnUnchangedFacts } from './parked-shortfall-reuse.js';
-import { logReselection } from './reselection-log.js';
-import { createLogger } from '../shell/log.js';
-const log = createLogger({ module: 'verification' });
-const defaultPullDeps = {
-    resolveFocusHeadSha: defaultResolveFocusHeadSha,
-    hasPendingGateRun,
-    isGateRunSelected,
-    // Names itself, so the guard's fallback line does not also speak: the pull's own
-    // line below is the one that says why (verify/reselection-log.ts).
-    releaseRunMark: (deliveryId) => releaseDefaultOnMark(deliveryId, 'commit-verdict-pull'),
-    forgetRecordedPass,
-};
-/**
- * The two answers that read the held verdict through the release pass's own
- * reader, when the caller can supply it and the product to key it by.
- *
- * parkAnswersHeldCommit is TRUE only where this process already judged the
- * delivery ON the held commit (its run mark names it), the park the judgement
- * left stands on unchanged facts, and the held verdict reads 'passed'. Every
- * other case -- no mark (a restart), a mark on another commit, no injection, a
- * verdict that did not persist, any unknown -- answers false, and the pull fires.
- *
- * heldVerdictStillAwaited is TRUE only where the attempt the pull caused has
- * SETTLED (a run mark exists again, and no run is selected or in flight -- the
- * caller asks the gate-run registry first) and the held verdict reads a
- * readable 'pending': the write that run owed did not land, or the attempt
- * rendered nothing (no checkout). 'passed' is
- * answered, 'failed' is the gate's answer (re-running would repeat it), and an
- * unreadable read waits for the next scan rather than paying a run on an unknown.
- */
-function heldAnswersFrom(deps, productId) {
-    const readHeld = deps.readHeldCommitVerdictState;
-    if (!readHeld || !productId)
-        return {};
-    const heldState = async (focusId, d, sha) => {
-        try {
-            return await readHeld({
-                productId, focusId, focusReadOnly: false, deliveryId: d.id, injectionId: d.injectionId ?? null, gateState: d.gateState,
-            }, sha);
-        }
-        catch {
-            return null; // unreadable: an unknown, never a decline and never a paid run
-        }
-    };
-    return {
-        // A mark means a dispatch was attempted since the pull dropped it; the caller
-        // has already refused a run that is selected or in flight (the gate-run
-        // registry), so the attempt SETTLED -- whether it judged the sha, or named no
-        // commit at all (a checkout-less retry the park declined to un-mark).
-        heldVerdictStillAwaited: async (focusId, d, sha) => hasDefaultOnRunMark(d.id) && await heldState(focusId, d, sha) === 'pending',
-        ...(deps.readDeliveryGateRecord ? {
-            parkAnswersHeldCommit: async (focusId, d, sha) => {
-                if (judgedShaOfRunMark(d.id) !== sha || !d.injectionId)
-                    return false;
-                const parked = await parkHoldsOnUnchangedFacts({
-                    deliveryId: d.id,
-                    deliveryName: d.name ?? d.id,
-                    productId: null,
-                    focusId,
-                    injectionNodeId: d.injectionId,
-                    verificationMethod: 'deterministic',
-                    verificationConfig: null,
-                    verificationOutcome: null,
-                    verificationLastRunAt: null,
-                    gitState: d.gitState ?? null,
-                    mergeCommitSha: d.mergeCommitSha ?? null,
-                }, sha, deps);
-                return parked && await heldState(focusId, d, sha) === 'passed';
-            },
-        } : {}),
-    };
-}
-/** The commit each delivery was last pulled for in this process. */
-const pulledAt = new Map();
-/** Test-only: forget every pull this process made. */
-export function __resetCommitVerdictPullForTests() {
-    pulledAt.clear();
-}
-/**
- * Re-arm the focus's held deliveries for the commit their route awaits (see the
- * module header). Returns the delivery ids pulled this call. Pure bookkeeping
- * plus the guard releases: it starts nothing itself -- the scan it runs inside
- * selects the delivery, and the ordinary dispatch runs the gate under the same
- * semaphore and cap and records the verdict under the same per-commit record.
- */
-export async function pullHeldCommitVerdicts(focusId, deliveries, deps = defaultPullDeps) {
-    const pulled = [];
-    let head;
-    const readHead = () => (head ??= { sha: deps.resolveFocusHeadSha(focusId) }).sha;
-    for (const d of deliveries) {
-        if (d.executionStatus !== DELIVERY_STATUS.VERIFY)
-            continue;
-        const hold = readCommitVerdictHold(d.gateState);
-        // No hold, or a hold whose judged commit was unreadable: nothing to aim a run at.
-        if (hold === null || hold.sha === null)
-            continue;
-        // A run that may judge the commit is already coming; a second would answer the same question.
-        if (deps.isGateRunSelected(d.id) || deps.hasPendingGateRun(focusId, hold.sha))
-            continue;
-        // A run judges the worktree HEAD, so a hold naming another commit cannot be served by one.
-        if (readHead() !== hold.sha)
-            continue;
-        const again = pulledAt.get(d.id) === hold.sha;
-        // Asked for this sha already: spent only once the verdict reads back, never before.
-        if (again && !(deps.heldVerdictStillAwaited && await deps.heldVerdictStillAwaited(focusId, d, hold.sha)))
-            continue;
-        if (!again && deps.parkAnswersHeldCommit && await deps.parkAnswersHeldCommit(focusId, d, hold.sha)) {
-            pulledAt.set(d.id, hold.sha); // answered for this sha; asked once, like a pull
-            logReselection('commit-verdict-pull', d.id, `DECLINED for ${hold.sha.slice(0, 8)}: its dispatch already judged that commit, its shortfall park stands on ` +
-                'an unchanged commit set and unchanged rulings, and the passing verdict the held route awaits reads back; ' +
-                'only a new ruling or a new commit re-selects it', `park-declined@${hold.sha}`);
-            continue;
-        }
-        // Read before the release below drops it: which settled outcome this re-pull answers.
-        const priorJudged = again ? judgedShaOfRunMark(d.id) : null;
-        pulledAt.set(d.id, hold.sha);
-        deps.releaseRunMark(d.id);
-        deps.forgetRecordedPass(d.id);
-        pulled.push(d.id);
-        logReselection('commit-verdict-pull', d.id, `re-armed for ${hold.sha.slice(0, 8)} -- delivery "${d.name ?? d.id}"'s ${hold.route ?? 'done'} route has been ` +
-            `held since ${hold.heldAt} for a verdict on that commit` +
-            (!again ? '' : priorJudged === hold.sha
-                ? '; the run that answered the last pull judged it, but its verdict does not read back'
-                : '; the attempt the last pull caused rendered nothing (no checkout or no verdict), and no verdict reads back'));
-    }
-    return pulled;
-}
-/**
- * Wrap a deps object's focus-deliveries read so every read also pulls the focus's
- * held commit verdicts. Never throws on the pull: a failure leaves the scan's
- * guards as they were and the next scan asks again.
- *
- * The HEAD read comes from the WRAPPED deps when it supplies one, so the pull
- * asks the commit question through the same channel the scan it runs inside asks
- * it (verify/verification-default-on.ts memoizedHead). Two head readers would be
- * two answers to "which commit is this focus on", and the pull's rule -- pull
- * only when the hold names HEAD -- is only as sound as its agreeing with the
- * selection that follows it.
- */
-export function withCommitVerdictPull(deps, explicitPullDeps, 
-/** The product the scan runs over; the held verdict is keyed by it. Absent: the pull never declines. */
-productId) {
-    const pullDeps = explicitPullDeps ?? {
-        ...defaultPullDeps,
-        ...(deps.resolveFocusHeadSha ? { resolveFocusHeadSha: deps.resolveFocusHeadSha } : {}),
-        // The park is asked through the SAME deps the dispatch reads it with, so the
-        // pull and the dispatch cannot answer differently about one park.
-        ...heldAnswersFrom(deps, productId),
-    };
-    const getFocusDeliveriesPulling = async (focusId) => {
-        const deliveries = await deps.getFocusDeliveries(focusId);
-        try {
-            await pullHeldCommitVerdicts(focusId, deliveries, pullDeps);
-        }
-        catch (err) {
-            log.debug(`[verification] commit-verdict pull check failed for focus ${focusId.slice(0, 8)}:`, err.message);
-        }
-        return deliveries;
-    };
-    return { ...deps, getFocusDeliveries: getFocusDeliveriesPulling };
-}
-//# sourceMappingURL=commit-verdict-pull.js.map

package/dist/verify/commit-verdict-pull.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"commit-verdict-pull.js","sourceRoot":"","sources":["../../src/verify/commit-verdict-pull.ts"],"names":[],"mappings":"AAAA,8FAA8F;AAC9F,+EAA+E;AAC/E,4DAA4D;AAC5D,wDAAwD;AACxD,+DAA+D;AAC/D,gBAAgB;AAEhB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA8GG;AAEH,OAAO,EAAE,eAAe,EAAE,MAAM,qBAAqB,CAAC;AAEtD,OAAO,EAAE,qBAAqB,EAAE,MAAM,oCAAoC,CAAC;AAC3E,OAAO,EAAE,iBAAiB,EAAE,iBAAiB,EAAE,MAAM,wBAAwB,CAAC;AAC9E,OAAO,EAAE,0BAA0B,EAAE,MAAM,8BAA8B,CAAC;AAC1E,OAAO,EAAE,kBAAkB,EAAE,mBAAmB,EAAE,kBAAkB,EAAE,oBAAoB,EAAE,MAAM,wBAAwB,CAAC;AAC3H,OAAO,EAAE,yBAAyB,EAAiC,MAAM,6BAA6B,CAAC;AAEvG,OAAO,EAAE,cAAc,EAAE,MAAM,sBAAsB,CAAC;AACtD,OAAO,EAAE,YAAY,EAAE,MAAM,iBAAiB,CAAC;AAE/C,MAAM,GAAG,GAAG,YAAY,CAAC,EAAE,MAAM,EAAE,cAAc,EAAE,CAAC,CAAC;AAkCrD,MAAM,eAAe,GAA0B;IAC7C,mBAAmB,EAAE,0BAA0B;IAC/C,iBAAiB;IACjB,iBAAiB;IACjB,iFAAiF;IACjF,mEAAmE;IACnE,cAAc,EAAE,CAAC,UAAU,EAAE,EAAE,CAAC,oBAAoB,CAAC,UAAU,EAAE,qBAAqB,CAAC;IACvF,kBAAkB;CACnB,CAAC;AAEF;;;;;;;;;;;;;;;;;GAiBG;AACH,SAAS,eAAe,CACtB,IAAoB,EACpB,SAA6B;IAE7B,MAAM,QAAQ,GAAG,IAAI,CAAC,0BAA0B,CAAC;IACjD,IAAI,CAAC,QAAQ,IAAI,CAAC,SAAS;QAAE,OAAO,EAAE,CAAC;IACvC,MAAM,SAAS,GAAG,KAAK,EAAE,OAAe,EAAE,CAAwB,EAAE,GAAW,EAA0B,EAAE;QACzG,IAAI,CAAC;YACH,OAAO,MAAM,QAAQ,CAAC;gBACpB,SAAS,EAAE,OAAO,EAAE,aAAa,EAAE,KAAK,EAAE,UAAU,EAAE,CAAC,CAAC,EAAE,EAAE,WAAW,EAAE,CAAC,CAAC,WAAW,IAAI,IAAI,EAAE,SAAS,EAAE,CAAC,CAAC,SAAS;aACvH,EAAE,GAAG,CAAC,CAAC;QACV,CAAC;QAAC,MAAM,CAAC;YACP,OAAO,IAAI,CAAC,CAAC,+DAA+D;QAC9E,CAAC;IACH,CAAC,CAAC;IACF,OAAO;QACL,8EAA8E;QAC9E,wEAAwE;QACxE,8EAA8E;QAC9E,sEAAsE;QACtE,uBAAuB,EAAE,KAAK,EAAE,OAAO,EAAE,CAAC,EAAE,GAAG,EAAE,EAAE,CACjD,mBAAmB,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,MAAM,SAAS,CAAC,OAAO,EAAE,CAAC,EAAE,GAAG,CAAC,KAAK,SAAS;QAC7E,GAAG,CAAC,IAAI,CAAC,sBAAsB,CAAC,CAAC,CAAC;YAChC,qBAAqB,EAAE,KAAK,EAAE,OAAe,EAAE,CAAwB,EAAE,GAAW,EAAE,EAAE;gBACtF,IAAI,kBAAkB,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,GAAG,IAAI,CAAC,CAAC,CAAC,WAAW;oBAAE,OAAO,KAAK,CAAC;gBACrE,MAAM,MAAM,GAAG,MAAM,yBAAyB,CAAC;oBAC7C,UAAU,EAAE,CAAC,CAAC,EAAE;oBAChB,YAAY,EAAE,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,EAAE;oBAC5B,SAAS,EAAE,IAAI;oBACf,OAAO;oBACP,eAAe,EAAE,CAAC,CAAC,WAAW;oBAC9B,kBAAkB,EAAE,eAAe;oBACnC,kBAAkB,EAAE,IAAI;oBACxB,mBAAmB,EAAE,IAAI;oBACzB,qBAAqB,EAAE,IAAI;oBAC3B,QAAQ,EAAE,CAAC,CAAC,QAAQ,IAAI,IAAI;oBAC5B,cAAc,EAAE,CAAC,CAAC,cAAc,IAAI,IAAI;iBACzC,EAAE,GAAG,EAAE,IAAI,CAAC,CAAC;gBACd,OAAO,MAAM,IAAI,MAAM,SAAS,CAAC,OAAO,EAAE,CAAC,EAAE,GAAG,CAAC,KAAK,QAAQ,CAAC;YACjE,CAAC;SACF,CAAC,CAAC,CAAC,EAAE,CAAC;KACR,CAAC;AACJ,CAAC;AAED,oEAAoE;AACpE,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAkB,CAAC;AAE3C,sDAAsD;AACtD,MAAM,UAAU,gCAAgC;IAC9C,QAAQ,CAAC,KAAK,EAAE,CAAC;AACnB,CAAC;AAaD;;;;;;GAMG;AACH,MAAM,CAAC,KAAK,UAAU,sBAAsB,CAC1C,OAAe,EACf,UAA4C,EAC5C,OAA8B,eAAe;IAE7C,MAAM,MAAM,GAAa,EAAE,CAAC;IAC5B,IAAI,IAAwC,CAAC;IAC7C,MAAM,QAAQ,GAAG,GAAkB,EAAE,CAAC,CAAC,IAAI,KAAK,EAAE,GAAG,EAAE,IAAI,CAAC,mBAAmB,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC;IAEhG,KAAK,MAAM,CAAC,IAAI,UAAU,EAAE,CAAC;QAC3B,IAAI,CAAC,CAAC,eAAe,KAAK,eAAe,CAAC,MAAM;YAAE,SAAS;QAC3D,MAAM,IAAI,GAAG,qBAAqB,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC;QAChD,kFAAkF;QAClF,IAAI,IAAI,KAAK,IAAI,IAAI,IAAI,CAAC,GAAG,KAAK,IAAI;YAAE,SAAS;QACjD,8FAA8F;QAC9F,IAAI,IAAI,CAAC,iBAAiB,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,IAAI,CAAC,iBAAiB,CAAC,OAAO,EAAE,IAAI,CAAC,GAAG,CAAC;YAAE,SAAS;QACxF,2FAA2F;QAC3F,IAAI,QAAQ,EAAE,KAAK,IAAI,CAAC,GAAG;YAAE,SAAS;QACtC,MAAM,KAAK,GAAG,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,IAAI,CAAC,GAAG,CAAC;QAC9C,oFAAoF;QACpF,IAAI,KAAK,IAAI,CAAC,CAAC,IAAI,CAAC,uBAAuB,IAAI,MAAM,IAAI,CAAC,uBAAuB,CAAC,OAAO,EAAE,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC;YAAE,SAAS;QACnH,IAAI,CAAC,KAAK,IAAI,IAAI,CAAC,qBAAqB,IAAI,MAAM,IAAI,CAAC,qBAAqB,CAAC,OAAO,EAAE,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;YACnG,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,iDAAiD;YAC/E,cAAc,CACZ,qBAAqB,EAAE,CAAC,CAAC,EAAE,EAC3B,gBAAgB,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,0EAA0E;gBAC9G,2GAA2G;gBAC3G,iDAAiD,EACjD,iBAAiB,IAAI,CAAC,GAAG,EAAE,CAC5B,CAAC;YACF,SAAS;QACX,CAAC;QAED,sFAAsF;QACtF,MAAM,WAAW,GAAG,KAAK,CAAC,CAAC,CAAC,kBAAkB,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;QAC5D,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC;QAC7B,IAAI,CAAC,cAAc,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QAC1B,IAAI,CAAC,kBAAkB,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QAC9B,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QAClB,cAAc,CACZ,qBAAqB,EAAE,CAAC,CAAC,EAAE,EAC3B,gBAAgB,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,iBAAiB,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,EAAE,OAAO,IAAI,CAAC,KAAK,IAAI,MAAM,kBAAkB;YAChH,cAAc,IAAI,CAAC,MAAM,+BAA+B;YACxD,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,WAAW,KAAK,IAAI,CAAC,GAAG;gBACrC,CAAC,CAAC,qFAAqF;gBACvF,CAAC,CAAC,4GAA4G,CAAC,CAClH,CAAC;IACJ,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC;AAED;;;;;;;;;;;GAWG;AACH,MAAM,UAAU,qBAAqB,CAInC,IAAO,EACP,gBAAwC;AACxC,wGAAwG;AACxG,SAAkB;IAElB,MAAM,QAAQ,GAA0B,gBAAgB,IAAI;QAC1D,GAAG,eAAe;QAClB,GAAG,CAAC,IAAI,CAAC,mBAAmB,CAAC,CAAC,CAAC,EAAE,mBAAmB,EAAE,IAAI,CAAC,mBAAmB,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QACtF,6EAA6E;QAC7E,kEAAkE;QAClE,GAAG,eAAe,CAAC,IAAI,EAAE,SAAS,CAAC;KACpC,CAAC;IACF,MAAM,yBAAyB,GAA8B,KAAK,EAAE,OAAO,EAAE,EAAE;QAC7E,MAAM,UAAU,GAAG,MAAM,IAAI,CAAC,kBAAkB,CAAC,OAAO,CAAC,CAAC;QAC1D,IAAI,CAAC;YACH,MAAM,sBAAsB,CAAC,OAAO,EAAE,UAAU,EAAE,QAAQ,CAAC,CAAC;QAC9D,CAAC;QAAC,OAAO,GAAG,EAAE,CAAC;YACb,GAAG,CAAC,KAAK,CAAC,6DAA6D,OAAO,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,EAAG,GAAa,CAAC,OAAO,CAAC,CAAC;QACzH,CAAC;QACD,OAAO,UAAU,CAAC;IACpB,CAAC,CAAC;IACF,OAAO,EAAE,GAAG,IAAI,EAAE,kBAAkB,EAAE,yBAAyB,EAAE,CAAC;AACpE,CAAC"}

package/dist/verify/commit-verdict-record.d.ts

@@ -1,108 +0,0 @@
-import { type StrategyResult } from './verification-deterministic.js';
-import type { PendingVerification } from '../queries/verification.js';
-import type { VerificationParseFailure } from './verification-failure-parser.js';
-/** The gate a verdict was rendered under: the command + timeout the run applied. */
-export interface CommitVerdictGate {
-    command: string;
-    timeoutMs: number;
-}
-/** A recorded deterministic verdict for one focus commit. */
-export interface CommitVerdict {
-    productId: string;
-    focusId: string;
-    /** The judged commit (StrategyResult.verifiedSha). */
-    sha: string;
-    outcome: 'passed' | 'failed';
-    /** The gate the run applied -- the reuse key. */
-    gate: CommitVerdictGate;
-    exitCode: number | null;
-    /** The delivery whose dispatch ran the gate (provenance only; the verdict is the commit's). */
-    judgedDeliveryId: string;
-    recordedAt: string;
-    rationale?: string;
-    failedStage?: string;
-    preExistingStages?: string[];
-    newFailures?: string[];
-    preExisting?: string[];
-    /**
-     * The run exited non-zero and its log parsed to zero failing-test ids: the gate
-     * could not name the failures. Recorded INSTEAD of empty newFailures/preExisting,
-     * so a reader never takes "could not parse" for "nothing to attribute".
-     */
-    parseFailure?: VerificationParseFailure;
-    logPath?: string;
-    stdoutTail?: string;
-    stderrTail?: string;
-    appliedConfig?: StrategyResult['appliedConfig'];
-}
-/** Who a verdict is being built for. */
-export interface CommitVerdictSubject {
-    productId: string;
-    focusId: string;
-    deliveryId: string;
-    gate: CommitVerdictGate;
-}
-/**
- * The record file for a (product, focus, sha, gate); without a gate, the gate-less
- * file records were written to before they were keyed by gate. `dir` defaults to
- * the global state dir. Exported for tests.
- */
-export declare function commitVerdictPath(productId: string, focusId: string, sha: string, dir?: string, gate?: CommitVerdictGate): string;
-/**
- * The recorded verdict for a focus commit, or null on a miss, an unreadable or
- * malformed file, or a record for another commit. With `gate`: only a verdict
- * rendered under that gate. Without: the newest verdict recorded for the commit
- * under any gate.
- */
-export declare function readCommitVerdict(productId: string, focusId: string, sha: string, opts?: {
-    gate?: CommitVerdictGate;
-    dir?: string;
-}): CommitVerdict | null;
-/** Write a verdict atomically. Best-effort: returns false (and logs) when the write failed. */
-export declare function writeCommitVerdict(verdict: CommitVerdict, dir?: string): boolean;
-/**
- * Build the verdict a finished deterministic run renders for its commit, or null
- * when the run rendered none (see the module header). `instrumentFault` is true
- * when attribution routed the run to instrument-fault re-work. `logText` is the
- * run's full log: a failed run that attribution did not classify records the
- * failing tests it names, and one that names none (with nothing else naming the
- * failure) records a parseFailure instead of empty lists. Pure.
- */
-export declare function buildCommitVerdict(subject: CommitVerdictSubject, result: StrategyResult, instrumentFault: boolean, now?: Date, logText?: string): CommitVerdict | null;
-/** The recorder a verification is wired with (VerificationDeps.recordCommitVerdict). */
-export type CommitVerdictRecorder = (verdict: CommitVerdict) => void;
-/** The reader a verification is wired with (VerificationDeps.readCommitVerdict): the verdict for a commit under a gate, or null. */
-export type CommitVerdictReader = (productId: string, focusId: string, sha: string, gate: CommitVerdictGate) => CommitVerdict | null;
-/**
- * The gate a verification carries: the command + timeout on its config -- a
- * missing or non-positive timeout is the strategy default, exactly as a run
- * applies it -- or null when it carries no command. It keys an explicit row's
- * verdict, and a default-on candidate's only where that candidate runs in place;
- * a default-on run from a checkout of the judged commit is keyed by the gate it
- * applies there (verify/judged-commit-gate.ts).
- */
-export declare function commitVerdictGateOf(v: Pick<PendingVerification, 'verificationConfig'>): CommitVerdictGate | null;
-/**
- * The identity of the gate an EXPLICIT-METHOD row renders its verdict under: its
- * method and what that method applies -- a deterministic row's command +
- * normalized timeout (commitVerdictGateOf), any other method's whole config.
- * Hashed, so it rides on gate_state; key order in the config does not change it.
- * Two rows that apply the same gate share a key; a changed method, command,
- * timeout or inspection config does not (verify/explicit-gate-outcome.ts). Pure.
- */
-export declare function explicitGateKeyOf(method: string, config: Record<string, unknown> | null): string;
-/**
- * Record the verdict a deterministic run rendered for its commit, keyed by the
- * gate the run APPLIED (result.appliedConfig -- for a default-on candidate,
- * re-resolved from the checkout it ran), else by the gate the verification
- * carries. A no-op without a recorder, without a product + focus to key it by, or
- * when the run rendered no verdict.
- */
-export declare function recordCommitVerdictFor(v: Pick<PendingVerification, 'productId' | 'focusId' | 'deliveryId' | 'verificationConfig'>, result: StrategyResult, instrumentFault: boolean, record: CommitVerdictRecorder | undefined, readLogText?: (source: StrategyResult) => string): void;
-/**
- * The StrategyResult a delivery judged on an already-judged commit takes instead
- * of running the gate: the recorded outcome with its attribution, never a
- * timeout or unavailable flag (a record is only ever written for a real verdict).
- */
-export declare function strategyResultFromVerdict(verdict: CommitVerdict): StrategyResult;
-//# sourceMappingURL=commit-verdict-record.d.ts.map

package/dist/verify/commit-verdict-record.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"commit-verdict-record.d.ts","sourceRoot":"","sources":["../../src/verify/commit-verdict-record.ts"],"names":[],"mappings":"AAuCA,OAAO,EAAmC,KAAK,cAAc,EAAE,MAAM,iCAAiC,CAAC;AACvG,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,4BAA4B,CAAC;AACtE,OAAO,KAAK,EAAE,wBAAwB,EAAE,MAAM,kCAAkC,CAAC;AAOjF,oFAAoF;AACpF,MAAM,WAAW,iBAAiB;IAChC,OAAO,EAAE,MAAM,CAAC;IAChB,SAAS,EAAE,MAAM,CAAC;CACnB;AAED,6DAA6D;AAC7D,MAAM,WAAW,aAAa;IAC5B,SAAS,EAAE,MAAM,CAAC;IAClB,OAAO,EAAE,MAAM,CAAC;IAChB,sDAAsD;IACtD,GAAG,EAAE,MAAM,CAAC;IACZ,OAAO,EAAE,QAAQ,GAAG,QAAQ,CAAC;IAC7B,iDAAiD;IACjD,IAAI,EAAE,iBAAiB,CAAC;IACxB,QAAQ,EAAE,MAAM,GAAG,IAAI,CAAC;IACxB,+FAA+F;IAC/F,gBAAgB,EAAE,MAAM,CAAC;IACzB,UAAU,EAAE,MAAM,CAAC;IACnB,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,iBAAiB,CAAC,EAAE,MAAM,EAAE,CAAC;IAC7B,WAAW,CAAC,EAAE,MAAM,EAAE,CAAC;IACvB,WAAW,CAAC,EAAE,MAAM,EAAE,CAAC;IACvB;;;;OAIG;IACH,YAAY,CAAC,EAAE,wBAAwB,CAAC;IACxC,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,aAAa,CAAC,EAAE,cAAc,CAAC,eAAe,CAAC,CAAC;CACjD;AAED,wCAAwC;AACxC,MAAM,WAAW,oBAAoB;IACnC,SAAS,EAAE,MAAM,CAAC;IAClB,OAAO,EAAE,MAAM,CAAC;IAChB,UAAU,EAAE,MAAM,CAAC;IACnB,IAAI,EAAE,iBAAiB,CAAC;CACzB;AAMD;;;;GAIG;AACH,wBAAgB,iBAAiB,CAC/B,SAAS,EAAE,MAAM,EACjB,OAAO,EAAE,MAAM,EACf,GAAG,EAAE,MAAM,EACX,GAAG,GAAE,MAAqB,EAC1B,IAAI,CAAC,EAAE,iBAAiB,GACvB,MAAM,CAGR;AA6DD;;;;;GAKG;AACH,wBAAgB,iBAAiB,CAC/B,SAAS,EAAE,MAAM,EACjB,OAAO,EAAE,MAAM,EACf,GAAG,EAAE,MAAM,EACX,IAAI,GAAE;IAAE,IAAI,CAAC,EAAE,iBAAiB,CAAC;IAAC,GAAG,CAAC,EAAE,MAAM,CAAA;CAAO,GACpD,aAAa,GAAG,IAAI,CAetB;AAqBD,+FAA+F;AAC/F,wBAAgB,kBAAkB,CAAC,OAAO,EAAE,aAAa,EAAE,GAAG,GAAE,MAAqB,GAAG,OAAO,CAY9F;AAED;;;;;;;GAOG;AACH,wBAAgB,kBAAkB,CAChC,OAAO,EAAE,oBAAoB,EAC7B,MAAM,EAAE,cAAc,EACtB,eAAe,EAAE,OAAO,EACxB,GAAG,GAAE,IAAiB,EACtB,OAAO,SAAK,GACX,aAAa,GAAG,IAAI,CAiBtB;AAuCD,wFAAwF;AACxF,MAAM,MAAM,qBAAqB,GAAG,CAAC,OAAO,EAAE,aAAa,KAAK,IAAI,CAAC;AAErE,oIAAoI;AACpI,MAAM,MAAM,mBAAmB,GAAG,CAAC,SAAS,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,EAAE,IAAI,EAAE,iBAAiB,KAAK,aAAa,GAAG,IAAI,CAAC;AAErI;;;;;;;GAOG;AACH,wBAAgB,mBAAmB,CAAC,CAAC,EAAE,IAAI,CAAC,mBAAmB,EAAE,oBAAoB,CAAC,GAAG,iBAAiB,GAAG,IAAI,CAKhH;AAED;;;;;;;GAOG;AACH,wBAAgB,iBAAiB,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,IAAI,GAAG,MAAM,CAGhG;AAYD;;;;;;GAMG;AACH,wBAAgB,sBAAsB,CACpC,CAAC,EAAE,IAAI,CAAC,mBAAmB,EAAE,WAAW,GAAG,SAAS,GAAG,YAAY,GAAG,oBAAoB,CAAC,EAC3F,MAAM,EAAE,cAAc,EACtB,eAAe,EAAE,OAAO,EACxB,MAAM,EAAE,qBAAqB,GAAG,SAAS,EACzC,WAAW,GAAE,CAAC,MAAM,EAAE,cAAc,KAAK,MAAgC,GACxE,IAAI,CAON;AAED;;;;GAIG;AACH,wBAAgB,yBAAyB,CAAC,OAAO,EAAE,aAAa,GAAG,cAAc,CAkBhF"}