@telora/daemon 0.22.245 → 0.22.290

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

@@ -1 +0,0 @@
-{"version":3,"file":"no-verdict-record.d.ts","sourceRoot":"","sources":["../../src/verify/no-verdict-record.ts"],"names":[],"mappings":"AAmDA,OAAO,EAAqB,KAAK,iBAAiB,EAAE,MAAM,4BAA4B,CAAC;AACvF,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,8BAA8B,CAAC;AAKxE,mFAAmF;AACnF,eAAO,MAAM,0BAA0B,QAAiB,CAAC;AACzD,0DAA0D;AAC1D,eAAO,MAAM,yBAAyB,QAAqB,CAAC;AAC5D,oFAAoF;AACpF,eAAO,MAAM,+BAA+B,IAAI,CAAC;AACjD,oEAAoE;AACpE,eAAO,MAAM,0BAA0B,6BAA6B,CAAC;AAErE,qCAAqC;AACrC,MAAM,MAAM,aAAa,GAAG,WAAW,GAAG,kBAAkB,CAAC;AAE7D,iDAAiD;AACjD,MAAM,WAAW,YAAY;IAC3B,SAAS,EAAE,MAAM,CAAC;IAClB,OAAO,EAAE,MAAM,CAAC;IAChB,GAAG,EAAE,MAAM,CAAC;IACZ,IAAI,EAAE,iBAAiB,CAAC;CACzB;AAED,0BAA0B;AAC1B,MAAM,WAAW,YAAY;IAC3B,EAAE,EAAE,MAAM,CAAC;IACX,UAAU,EAAE,MAAM,CAAC;IACnB,IAAI,EAAE,aAAa,CAAC;CACrB;AAED,+EAA+E;AAC/E,MAAM,WAAW,mBAAmB;IAClC,EAAE,EAAE,MAAM,CAAC;IACX,UAAU,EAAE,MAAM,CAAC;IACnB,MAAM,EAAE,MAAM,CAAC;CAChB;AAED,sEAAsE;AACtE,MAAM,WAAW,eAAgB,SAAQ,YAAY;IACnD,IAAI,EAAE,YAAY,EAAE,CAAC;IACrB,YAAY,EAAE,mBAAmB,EAAE,CAAC;CACrC;AAED,iEAAiE;AACjE,MAAM,MAAM,kBAAkB,GAAG,IAAI,CAAC,YAAY,EAAE,MAAM,CAAC,CAAC;AAE5D,0EAA0E;AAC1E,MAAM,WAAW,iBAAkB,SAAQ,YAAY;IACrD,IAAI,EAAE,iBAAiB,CAAC;CACzB;AAED,wGAAwG;AACxG,MAAM,WAAW,oBAAqB,SAAQ,kBAAkB;IAC9D,IAAI,EAAE,iBAAiB,EAAE,CAAC;IAC1B,6EAA6E;IAC7E,WAAW,CAAC,EAAE,MAAM,CAAC;CACtB;AAoBD,gGAAgG;AAChG,wBAAgB,aAAa,CAAC,GAAG,EAAE,YAAY,EAAE,GAAG,GAAE,MAAuB,GAAG,eAAe,GAAG,IAAI,CAQrG;AAED,iGAAiG;AACjG,wBAAgB,kBAAkB,CAAC,GAAG,EAAE,kBAAkB,EAAE,GAAG,GAAE,MAAuB,GAAG,oBAAoB,GAAG,IAAI,CAQrH;AAgBD,oFAAoF;AACpF,wBAAgB,kBAAkB,CAAC,GAAG,EAAE,YAAY,EAAE,GAAG,EAAE,YAAY,EAAE,GAAG,GAAE,MAAuB,GAAG,eAAe,CAYtH;AAED,qGAAqG;AACrG,wBAAgB,uBAAuB,CAAC,GAAG,EAAE,YAAY,EAAE,GAAG,EAAE,YAAY,EAAE,GAAG,GAAE,MAAuB,GAAG,oBAAoB,CAUhI;AAED,2DAA2D;AAC3D,wBAAgB,yBAAyB,CAAC,GAAG,EAAE,YAAY,EAAE,UAAU,EAAE,mBAAmB,EAAE,GAAG,GAAE,MAAuB,GAAG,IAAI,CAIhI;AAED,wDAAwD;AACxD,wBAAgB,sBAAsB,CAAC,GAAG,EAAE,kBAAkB,EAAE,EAAE,EAAE,MAAM,EAAE,GAAG,GAAE,MAAuB,GAAG,IAAI,CAI9G;AAED,0FAA0F;AAC1F,wBAAgB,kBAAkB,CAAC,MAAM,EAAE,IAAI,CAAC,eAAe,EAAE,MAAM,CAAC,GAAG,MAAM,CAGhF;AAED,uDAAuD;AACvD,MAAM,MAAM,aAAa,GACrB;IAAE,GAAG,EAAE,IAAI,CAAC;IAAC,UAAU,EAAE,IAAI,CAAA;CAAE,GAC/B;IAAE,GAAG,EAAE,IAAI,CAAC;IAAC,UAAU,EAAE,MAAM,CAAA;CAAE,GACjC;IAAE,GAAG,EAAE,KAAK,CAAC;IAAC,KAAK,EAAE,MAAM,CAAC;IAAC,GAAG,EAAE,MAAM,CAAA;CAAE,CAAC;AAE/C;;;;;GAKG;AACH,wBAAgB,qBAAqB,CAAC,MAAM,EAAE,eAAe,GAAG,IAAI,EAAE,GAAG,EAAE,MAAM,GAAG,aAAa,CAUhG;AAED,kGAAkG;AAClG,wBAAgB,sBAAsB,CAAC,KAAK,EAAE,oBAAoB,GAAG,OAAO,CAE3E;AAED,yGAAyG;AACzG,wBAAgB,wBAAwB,CAAC,KAAK,EAAE,oBAAoB,EAAE,cAAc,EAAE,MAAM,GAAG,mBAAmB,CAoBjH;AAED,oFAAoF;AACpF,MAAM,WAAW,cAAc;IAC7B,IAAI,EAAE,CAAC,GAAG,EAAE,YAAY,KAAK,eAAe,GAAG,IAAI,CAAC;IACpD,gGAAgG;IAChG,SAAS,EAAE,CAAC,GAAG,EAAE,YAAY,EAAE,GAAG,EAAE,IAAI,CAAC,YAAY,EAAE,IAAI,CAAC,KAAK;QAAE,MAAM,EAAE,eAAe,CAAC;QAAC,KAAK,EAAE,oBAAoB,CAAA;KAAE,CAAC;IAC1H,gBAAgB,EAAE,CAAC,GAAG,EAAE,YAAY,EAAE,UAAU,EAAE,IAAI,CAAC,mBAAmB,EAAE,IAAI,CAAC,KAAK,IAAI,CAAC;IAC3F,aAAa,EAAE,CAAC,GAAG,EAAE,kBAAkB,KAAK,IAAI,CAAC;IACjD,GAAG,EAAE,MAAM,MAAM,CAAC;CACnB;AAED,yGAAyG;AACzG,wBAAgB,qBAAqB,CAAC,IAAI,GAAE;IAAE,GAAG,CAAC,EAAE,MAAM,CAAC;IAAC,GAAG,CAAC,EAAE,MAAM,MAAM,CAAA;CAAO,GAAG,cAAc,CAcrG"}

package/dist/verify/no-verdict-record.js

@@ -1,218 +0,0 @@
-// PINNED-BY-BEGIN (generated by gen:pinned-by -- do not hand-edit; checked by lint:pinned-by)
-// Pinned by: packages/daemon/src/verify/no-verdict-record.test.ts,
-//   packages/daemon/src/verify/verification-commit-sharing.test.ts
-// PINNED-BY-END
-/**
- * A focus commit whose gate run rendered NO verdict is not run again blind.
- *
- * A run that renders a verdict is recorded per (product, focus, sha, gate)
- * (verify/commit-verdict-record.ts) and every delivery judged on that commit
- * takes it. A run that renders none -- killed by its timeout with nothing
- * rendered (verify/timed-out-rendered-verdict.ts), or routed to instrument-fault
- * re-work because the gate could not attribute it -- used to leave nothing
- * behind at all. The re-run guards and the stall budget are keyed per DELIVERY
- * and pruned on re-entry to verify, so the same commit was dispatched again by
- * each sibling in turn (mars 2026-09-22: focus 63c8741f ran one commit seven
- * times in 7.8h, rotating four deliveries), and nine such runs spread 3/2/2/3
- * across four deliveries tripped no per-delivery cap and raised nothing.
- *
- * So the no-verdict outcome is recorded against the COMMIT, under the same key a
- * verdict would be (the gate the run applied, at the sha it judged), durably
- * beside the verdict records:
- *
- *   - Dispatch reads it (verify/verification-commit-sharing.ts reuseOrRun) where
- *     it finds no verdict to take: while the backoff since the last no-verdict run
- *     has not elapsed, NO candidate -- a sibling delivery, a re-entry to verify, a
- *     restart -- starts that commit's gate. The backoff doubles per recorded
- *     no-verdict run (NO_VERDICT_BACKOFF_BASE_MS, capped at NO_VERDICT_BACKOFF_MAX_MS),
- *     and each dispatch that runs after it elapsed is appended to the record with
- *     why it ran.
- *   - The ESCALATION is counted per focus COMMIT, not per gate: every no-verdict
- *     run on a commit also lands in that commit's tally (product, focus, sha --
- *     no gate), whatever gate it ran under. At NO_VERDICT_ESCALATION_THRESHOLD
- *     runs in the tally ONE escalation is filed for that focus and commit,
- *     whichever deliveries and gates triggered the runs; the tally carries that it
- *     was filed, so neither a later run, a changed gate nor a restart files a
- *     second.
- *   - The BACKOFF stays keyed by gate: a different commit, or a changed gate
- *     identity (command or timeout), is a different backoff key, so an earlier
- *     commit's or gate's record blocks no run.
- *
- * Not recorded here: a run that never started the command (no checkout could be
- * made, an unresolvable config) -- it spent no gate time, and the tick retries it.
- *
- * @module verify/no-verdict-record
- */
-import { mkdirSync, readFileSync, renameSync, writeFileSync } from 'node:fs';
-import { resolve } from 'node:path';
-import { ESCALATION_DISPOSITIONS, ESCALATION_REASONS } from '@telora/daemon-core';
-import { resolveGlobalStateDir } from '../shell/daemon-process.js';
-import { commitVerdictPath } from './commit-verdict-record.js';
-import { createLogger } from '../shell/log.js';
-const log = createLogger({ module: 'verification' });
-/** Backoff after the FIRST no-verdict run on a commit; doubles per further one. */
-export const NO_VERDICT_BACKOFF_BASE_MS = 15 * 60 * 1000;
-/** The longest a commit waits between no-verdict runs. */
-export const NO_VERDICT_BACKOFF_MAX_MS = 2 * 60 * 60 * 1000;
-/** No-verdict runs on one focus commit (any gate) that raise its one escalation. */
-export const NO_VERDICT_ESCALATION_THRESHOLD = 3;
-/** Machine kind the escalation carries (metadata discriminator). */
-export const NO_VERDICT_ESCALATION_KIND = 'verify_commit_no_verdict';
-function noVerdictDir() {
-    return resolve(resolveGlobalStateDir(), 'verification-no-verdicts');
-}
-function recordPath(key, dir) {
-    return commitVerdictPath(key.productId, key.focusId, key.sha, dir, key.gate);
-}
-/** The tally's file: the gate-less name under the same dir, so no gate's backoff file is it. */
-function tallyPath(key, dir) {
-    return commitVerdictPath(key.productId, key.focusId, key.sha, dir);
-}
-function sameKey(record, key) {
-    return record.productId === key.productId && record.focusId === key.focusId && record.sha === key.sha
-        && record.gate?.command === key.gate.command && record.gate?.timeoutMs === key.gate.timeoutMs;
-}
-/** The record for a key, or null when there is none (or it is unreadable / for another key). */
-export function readNoVerdict(key, dir = noVerdictDir()) {
-    try {
-        const parsed = JSON.parse(readFileSync(recordPath(key, dir), 'utf8'));
-        if (!sameKey(parsed, key) || !Array.isArray(parsed.runs))
-            return null;
-        return { ...parsed, redispatches: Array.isArray(parsed.redispatches) ? parsed.redispatches : [] };
-    }
-    catch {
-        return null;
-    }
-}
-/** The commit's tally, or null when there is none (or it is unreadable / for another commit). */
-export function readNoVerdictTally(key, dir = noVerdictDir()) {
-    try {
-        const parsed = JSON.parse(readFileSync(tallyPath(key, dir), 'utf8'));
-        const same = parsed.productId === key.productId && parsed.focusId === key.focusId && parsed.sha === key.sha;
-        return same && Array.isArray(parsed.runs) ? parsed : null;
-    }
-    catch {
-        return null;
-    }
-}
-function writeRecord(record, dir) {
-    const path = 'gate' in record ? recordPath(record, dir) : tallyPath(record, dir);
-    const tmp = `${path}.${process.pid}.tmp`;
-    try {
-        mkdirSync(dir, { recursive: true });
-        writeFileSync(tmp, JSON.stringify(record, null, 2), { mode: 0o600 });
-        renameSync(tmp, path);
-        return true;
-    }
-    catch (err) {
-        log.warn(`[verification] failed to record the no-verdict run for ${record.focusId}@${record.sha.slice(0, 8)}:`, err.message);
-        return false;
-    }
-}
-/** Append one no-verdict run to the key's record; returns the record as written. */
-export function recordNoVerdictRun(key, run, dir = noVerdictDir()) {
-    const prior = readNoVerdict(key, dir);
-    const record = {
-        productId: key.productId,
-        focusId: key.focusId,
-        sha: key.sha,
-        gate: { command: key.gate.command, timeoutMs: key.gate.timeoutMs },
-        runs: [...(prior?.runs ?? []), run],
-        redispatches: prior?.redispatches ?? [],
-    };
-    writeRecord(record, dir);
-    return record;
-}
-/** Append one no-verdict run, with its gate, to its commit's tally; returns the tally as written. */
-export function recordNoVerdictTallyRun(key, run, dir = noVerdictDir()) {
-    const commit = { productId: key.productId, focusId: key.focusId, sha: key.sha };
-    const prior = readNoVerdictTally(commit, dir);
-    const tally = {
-        ...commit,
-        runs: [...(prior?.runs ?? []), { ...run, gate: { command: key.gate.command, timeoutMs: key.gate.timeoutMs } }],
-        ...(prior?.escalatedAt ? { escalatedAt: prior.escalatedAt } : {}),
-    };
-    writeRecord(tally, dir);
-    return tally;
-}
-/** Append a re-dispatch after backoff, with why it ran. */
-export function recordNoVerdictRedispatch(key, redispatch, dir = noVerdictDir()) {
-    const prior = readNoVerdict(key, dir);
-    if (!prior)
-        return;
-    writeRecord({ ...prior, redispatches: [...prior.redispatches, redispatch] }, dir);
-}
-/** Stamp that the commit's one escalation was filed. */
-export function markNoVerdictEscalated(key, at, dir = noVerdictDir()) {
-    const prior = readNoVerdictTally(key, dir);
-    if (!prior)
-        return;
-    writeRecord({ ...prior, escalatedAt: at }, dir);
-}
-/** The backoff a record imposes after its latest run: base * 2^(runs-1), capped. Pure. */
-export function noVerdictBackoffMs(record) {
-    const n = Math.max(1, record.runs.length);
-    return Math.min(NO_VERDICT_BACKOFF_MAX_MS, NO_VERDICT_BACKOFF_BASE_MS * 2 ** (n - 1));
-}
-/**
- * What a record says about dispatching its commit at `now`: no record runs as
- * before; inside the backoff nothing runs; past it the run goes ahead, and the
- * reason it did is returned so it can be recorded. An unparseable run time holds
- * nothing (fails toward judging). Pure.
- */
-export function noVerdictDispatchGate(record, now) {
-    const last = record?.runs[record.runs.length - 1];
-    if (!record || !last)
-        return { run: true, redispatch: null };
-    const lastAt = Date.parse(last.at);
-    if (Number.isNaN(lastAt))
-        return { run: true, redispatch: null };
-    const backoff = noVerdictBackoffMs(record);
-    const until = lastAt + backoff;
-    const tally = `${record.runs.length} run(s) on ${record.sha.slice(0, 8)} rendered no verdict (latest ${last.kind}, delivery ${last.deliveryId}, at ${last.at})`;
-    if (now < until)
-        return { run: false, until: new Date(until).toISOString(), why: `${tally}; backoff ${Math.round(backoff / 60000)} min` };
-    return { run: true, redispatch: `${tally}; the ${Math.round(backoff / 60000)}-min backoff elapsed, so the commit is judged again` };
-}
-/** True exactly when the commit's tally reached the threshold and nothing was filed yet. Pure. */
-export function noVerdictEscalationDue(tally) {
-    return tally.escalatedAt === undefined && tally.runs.length >= NO_VERDICT_ESCALATION_THRESHOLD;
-}
-/** The one escalation for a focus commit that keeps rendering no verdict, under whatever gates. Pure. */
-export function buildNoVerdictEscalation(tally, organizationId) {
-    const deliveries = [...new Set(tally.runs.map((r) => r.deliveryId))];
-    const kinds = [...new Set(tally.runs.map((r) => r.kind))];
-    const gates = [...new Set(tally.runs.map((r) => `\`${r.gate.command}\` (${r.gate.timeoutMs}ms timeout)`))];
-    return {
-        organizationId,
-        focusId: tally.focusId,
-        productId: tally.productId,
-        reason: `The deterministic gate has run ${tally.runs.length} times on focus commit ${tally.sha} and rendered no verdict `
-            + `each time (${kinds.join(', ')}), across deliveries ${deliveries.join(', ')}. Dispatch backs off between runs `
-            + `of this commit, but no run has judged it. Gate(s): ${gates.join(', ')}.`,
-        reasonType: ESCALATION_REASONS.ERROR_ENCOUNTERED,
-        disposition: ESCALATION_DISPOSITIONS.AGENT_RESOLVABLE,
-        kind: NO_VERDICT_ESCALATION_KIND,
-        details: {
-            sha: tally.sha,
-            runs: tally.runs,
-        },
-    };
-}
-/** The durable store under the global state dir (resolved per call, so TELORA_STATE_DIR is honoured). */
-export function durableNoVerdictStore(opts = {}) {
-    const now = opts.now ?? Date.now;
-    const dir = () => opts.dir ?? noVerdictDir();
-    const at = () => new Date(now()).toISOString();
-    return {
-        read: (key) => readNoVerdict(key, dir()),
-        recordRun: (key, run) => {
-            const stamped = { ...run, at: at() };
-            return { record: recordNoVerdictRun(key, stamped, dir()), tally: recordNoVerdictTallyRun(key, stamped, dir()) };
-        },
-        recordRedispatch: (key, redispatch) => recordNoVerdictRedispatch(key, { ...redispatch, at: at() }, dir()),
-        markEscalated: (key) => markNoVerdictEscalated(key, at(), dir()),
-        now,
-    };
-}
-//# sourceMappingURL=no-verdict-record.js.map

package/dist/verify/no-verdict-record.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"no-verdict-record.js","sourceRoot":"","sources":["../../src/verify/no-verdict-record.ts"],"names":[],"mappings":"AAAA,8FAA8F;AAC9F,mEAAmE;AACnE,mEAAmE;AACnE,gBAAgB;AAEhB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAwCG;AAEH,OAAO,EAAE,SAAS,EAAE,YAAY,EAAE,UAAU,EAAE,aAAa,EAAE,MAAM,SAAS,CAAC;AAC7E,OAAO,EAAE,OAAO,EAAE,MAAM,WAAW,CAAC;AACpC,OAAO,EAAE,uBAAuB,EAAE,kBAAkB,EAAE,MAAM,qBAAqB,CAAC;AAClF,OAAO,EAAE,qBAAqB,EAAE,MAAM,4BAA4B,CAAC;AACnE,OAAO,EAAE,iBAAiB,EAA0B,MAAM,4BAA4B,CAAC;AAEvF,OAAO,EAAE,YAAY,EAAE,MAAM,iBAAiB,CAAC;AAE/C,MAAM,GAAG,GAAG,YAAY,CAAC,EAAE,MAAM,EAAE,cAAc,EAAE,CAAC,CAAC;AAErD,mFAAmF;AACnF,MAAM,CAAC,MAAM,0BAA0B,GAAG,EAAE,GAAG,EAAE,GAAG,IAAI,CAAC;AACzD,0DAA0D;AAC1D,MAAM,CAAC,MAAM,yBAAyB,GAAG,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,IAAI,CAAC;AAC5D,oFAAoF;AACpF,MAAM,CAAC,MAAM,+BAA+B,GAAG,CAAC,CAAC;AACjD,oEAAoE;AACpE,MAAM,CAAC,MAAM,0BAA0B,GAAG,0BAA0B,CAAC;AAgDrE,SAAS,YAAY;IACnB,OAAO,OAAO,CAAC,qBAAqB,EAAE,EAAE,0BAA0B,CAAC,CAAC;AACtE,CAAC;AAED,SAAS,UAAU,CAAC,GAAiB,EAAE,GAAW;IAChD,OAAO,iBAAiB,CAAC,GAAG,CAAC,SAAS,EAAE,GAAG,CAAC,OAAO,EAAE,GAAG,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,IAAI,CAAC,CAAC;AAC/E,CAAC;AAED,gGAAgG;AAChG,SAAS,SAAS,CAAC,GAAuB,EAAE,GAAW;IACrD,OAAO,iBAAiB,CAAC,GAAG,CAAC,SAAS,EAAE,GAAG,CAAC,OAAO,EAAE,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;AACrE,CAAC;AAED,SAAS,OAAO,CAAC,MAAuB,EAAE,GAAiB;IACzD,OAAO,MAAM,CAAC,SAAS,KAAK,GAAG,CAAC,SAAS,IAAI,MAAM,CAAC,OAAO,KAAK,GAAG,CAAC,OAAO,IAAI,MAAM,CAAC,GAAG,KAAK,GAAG,CAAC,GAAG;WAChG,MAAM,CAAC,IAAI,EAAE,OAAO,KAAK,GAAG,CAAC,IAAI,CAAC,OAAO,IAAI,MAAM,CAAC,IAAI,EAAE,SAAS,KAAK,GAAG,CAAC,IAAI,CAAC,SAAS,CAAC;AAClG,CAAC;AAED,gGAAgG;AAChG,MAAM,UAAU,aAAa,CAAC,GAAiB,EAAE,MAAc,YAAY,EAAE;IAC3E,IAAI,CAAC;QACH,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,YAAY,CAAC,UAAU,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,MAAM,CAAC,CAAoB,CAAC;QACzF,IAAI,CAAC,OAAO,CAAC,MAAM,EAAE,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC;YAAE,OAAO,IAAI,CAAC;QACtE,OAAO,EAAE,GAAG,MAAM,EAAE,YAAY,EAAE,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,YAAY,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC;IACpG,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,IAAI,CAAC;IACd,CAAC;AACH,CAAC;AAED,iGAAiG;AACjG,MAAM,UAAU,kBAAkB,CAAC,GAAuB,EAAE,MAAc,YAAY,EAAE;IACtF,IAAI,CAAC;QACH,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,YAAY,CAAC,SAAS,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,MAAM,CAAC,CAAyB,CAAC;QAC7F,MAAM,IAAI,GAAG,MAAM,CAAC,SAAS,KAAK,GAAG,CAAC,SAAS,IAAI,MAAM,CAAC,OAAO,KAAK,GAAG,CAAC,OAAO,IAAI,MAAM,CAAC,GAAG,KAAK,GAAG,CAAC,GAAG,CAAC;QAC5G,OAAO,IAAI,IAAI,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC;IAC5D,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,IAAI,CAAC;IACd,CAAC;AACH,CAAC;AAED,SAAS,WAAW,CAAC,MAA8C,EAAE,GAAW;IAC9E,MAAM,IAAI,GAAG,MAAM,IAAI,MAAM,CAAC,CAAC,CAAC,UAAU,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC;IACjF,MAAM,GAAG,GAAG,GAAG,IAAI,IAAI,OAAO,CAAC,GAAG,MAAM,CAAC;IACzC,IAAI,CAAC;QACH,SAAS,CAAC,GAAG,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;QACpC,aAAa,CAAC,GAAG,EAAE,IAAI,CAAC,SAAS,CAAC,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC;QACrE,UAAU,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;QACtB,OAAO,IAAI,CAAC;IACd,CAAC;IAAC,OAAO,GAAG,EAAE,CAAC;QACb,GAAG,CAAC,IAAI,CAAC,0DAA0D,MAAM,CAAC,OAAO,IAAI,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,EAAG,GAAa,CAAC,OAAO,CAAC,CAAC;QACxI,OAAO,KAAK,CAAC;IACf,CAAC;AACH,CAAC;AAED,oFAAoF;AACpF,MAAM,UAAU,kBAAkB,CAAC,GAAiB,EAAE,GAAiB,EAAE,MAAc,YAAY,EAAE;IACnG,MAAM,KAAK,GAAG,aAAa,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;IACtC,MAAM,MAAM,GAAoB;QAC9B,SAAS,EAAE,GAAG,CAAC,SAAS;QACxB,OAAO,EAAE,GAAG,CAAC,OAAO;QACpB,GAAG,EAAE,GAAG,CAAC,GAAG;QACZ,IAAI,EAAE,EAAE,OAAO,EAAE,GAAG,CAAC,IAAI,CAAC,OAAO,EAAE,SAAS,EAAE,GAAG,CAAC,IAAI,CAAC,SAAS,EAAE;QAClE,IAAI,EAAE,CAAC,GAAG,CAAC,KAAK,EAAE,IAAI,IAAI,EAAE,CAAC,EAAE,GAAG,CAAC;QACnC,YAAY,EAAE,KAAK,EAAE,YAAY,IAAI,EAAE;KACxC,CAAC;IACF,WAAW,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC;IACzB,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,qGAAqG;AACrG,MAAM,UAAU,uBAAuB,CAAC,GAAiB,EAAE,GAAiB,EAAE,MAAc,YAAY,EAAE;IACxG,MAAM,MAAM,GAAuB,EAAE,SAAS,EAAE,GAAG,CAAC,SAAS,EAAE,OAAO,EAAE,GAAG,CAAC,OAAO,EAAE,GAAG,EAAE,GAAG,CAAC,GAAG,EAAE,CAAC;IACpG,MAAM,KAAK,GAAG,kBAAkB,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC;IAC9C,MAAM,KAAK,GAAyB;QAClC,GAAG,MAAM;QACT,IAAI,EAAE,CAAC,GAAG,CAAC,KAAK,EAAE,IAAI,IAAI,EAAE,CAAC,EAAE,EAAE,GAAG,GAAG,EAAE,IAAI,EAAE,EAAE,OAAO,EAAE,GAAG,CAAC,IAAI,CAAC,OAAO,EAAE,SAAS,EAAE,GAAG,CAAC,IAAI,CAAC,SAAS,EAAE,EAAE,CAAC;QAC9G,GAAG,CAAC,KAAK,EAAE,WAAW,CAAC,CAAC,CAAC,EAAE,WAAW,EAAE,KAAK,CAAC,WAAW,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;KAClE,CAAC;IACF,WAAW,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;IACxB,OAAO,KAAK,CAAC;AACf,CAAC;AAED,2DAA2D;AAC3D,MAAM,UAAU,yBAAyB,CAAC,GAAiB,EAAE,UAA+B,EAAE,MAAc,YAAY,EAAE;IACxH,MAAM,KAAK,GAAG,aAAa,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;IACtC,IAAI,CAAC,KAAK;QAAE,OAAO;IACnB,WAAW,CAAC,EAAE,GAAG,KAAK,EAAE,YAAY,EAAE,CAAC,GAAG,KAAK,CAAC,YAAY,EAAE,UAAU,CAAC,EAAE,EAAE,GAAG,CAAC,CAAC;AACpF,CAAC;AAED,wDAAwD;AACxD,MAAM,UAAU,sBAAsB,CAAC,GAAuB,EAAE,EAAU,EAAE,MAAc,YAAY,EAAE;IACtG,MAAM,KAAK,GAAG,kBAAkB,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;IAC3C,IAAI,CAAC,KAAK;QAAE,OAAO;IACnB,WAAW,CAAC,EAAE,GAAG,KAAK,EAAE,WAAW,EAAE,EAAE,EAAE,EAAE,GAAG,CAAC,CAAC;AAClD,CAAC;AAED,0FAA0F;AAC1F,MAAM,UAAU,kBAAkB,CAAC,MAAqC;IACtE,MAAM,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IAC1C,OAAO,IAAI,CAAC,GAAG,CAAC,yBAAyB,EAAE,0BAA0B,GAAG,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;AACxF,CAAC;AAQD;;;;;GAKG;AACH,MAAM,UAAU,qBAAqB,CAAC,MAA8B,EAAE,GAAW;IAC/E,MAAM,IAAI,GAAG,MAAM,EAAE,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;IAClD,IAAI,CAAC,MAAM,IAAI,CAAC,IAAI;QAAE,OAAO,EAAE,GAAG,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,CAAC;IAC7D,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACnC,IAAI,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC;QAAE,OAAO,EAAE,GAAG,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,CAAC;IACjE,MAAM,OAAO,GAAG,kBAAkB,CAAC,MAAM,CAAC,CAAC;IAC3C,MAAM,KAAK,GAAG,MAAM,GAAG,OAAO,CAAC;IAC/B,MAAM,KAAK,GAAG,GAAG,MAAM,CAAC,IAAI,CAAC,MAAM,cAAc,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,gCAAgC,IAAI,CAAC,IAAI,cAAc,IAAI,CAAC,UAAU,QAAQ,IAAI,CAAC,EAAE,GAAG,CAAC;IAChK,IAAI,GAAG,GAAG,KAAK;QAAE,OAAO,EAAE,GAAG,EAAE,KAAK,EAAE,KAAK,EAAE,IAAI,IAAI,CAAC,KAAK,CAAC,CAAC,WAAW,EAAE,EAAE,GAAG,EAAE,GAAG,KAAK,aAAa,IAAI,CAAC,KAAK,CAAC,OAAO,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC;IAC1I,OAAO,EAAE,GAAG,EAAE,IAAI,EAAE,UAAU,EAAE,GAAG,KAAK,SAAS,IAAI,CAAC,KAAK,CAAC,OAAO,GAAG,KAAK,CAAC,qDAAqD,EAAE,CAAC;AACtI,CAAC;AAED,kGAAkG;AAClG,MAAM,UAAU,sBAAsB,CAAC,KAA2B;IAChE,OAAO,KAAK,CAAC,WAAW,KAAK,SAAS,IAAI,KAAK,CAAC,IAAI,CAAC,MAAM,IAAI,+BAA+B,CAAC;AACjG,CAAC;AAED,yGAAyG;AACzG,MAAM,UAAU,wBAAwB,CAAC,KAA2B,EAAE,cAAsB;IAC1F,MAAM,UAAU,GAAG,CAAC,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC;IACrE,MAAM,KAAK,GAAG,CAAC,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC1D,MAAM,KAAK,GAAG,CAAC,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,OAAO,OAAO,CAAC,CAAC,IAAI,CAAC,SAAS,aAAa,CAAC,CAAC,CAAC,CAAC;IAC3G,OAAO;QACL,cAAc;QACd,OAAO,EAAE,KAAK,CAAC,OAAO;QACtB,SAAS,EAAE,KAAK,CAAC,SAAS;QAC1B,MAAM,EACJ,kCAAkC,KAAK,CAAC,IAAI,CAAC,MAAM,0BAA0B,KAAK,CAAC,GAAG,2BAA2B;cAC/G,cAAc,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,wBAAwB,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,oCAAoC;cAC/G,sDAAsD,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG;QAC7E,UAAU,EAAE,kBAAkB,CAAC,iBAAiB;QAChD,WAAW,EAAE,uBAAuB,CAAC,gBAAgB;QACrD,IAAI,EAAE,0BAA0B;QAChC,OAAO,EAAE;YACP,GAAG,EAAE,KAAK,CAAC,GAAG;YACd,IAAI,EAAE,KAAK,CAAC,IAAI;SACjB;KACF,CAAC;AACJ,CAAC;AAYD,yGAAyG;AACzG,MAAM,UAAU,qBAAqB,CAAC,OAA6C,EAAE;IACnF,MAAM,GAAG,GAAG,IAAI,CAAC,GAAG,IAAI,IAAI,CAAC,GAAG,CAAC;IACjC,MAAM,GAAG,GAAG,GAAG,EAAE,CAAC,IAAI,CAAC,GAAG,IAAI,YAAY,EAAE,CAAC;IAC7C,MAAM,EAAE,GAAG,GAAG,EAAE,CAAC,IAAI,IAAI,CAAC,GAAG,EAAE,CAAC,CAAC,WAAW,EAAE,CAAC;IAC/C,OAAO;QACL,IAAI,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC,aAAa,CAAC,GAAG,EAAE,GAAG,EAAE,CAAC;QACxC,SAAS,EAAE,CAAC,GAAG,EAAE,GAAG,EAAE,EAAE;YACtB,MAAM,OAAO,GAAG,EAAE,GAAG,GAAG,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC;YACrC,OAAO,EAAE,MAAM,EAAE,kBAAkB,CAAC,GAAG,EAAE,OAAO,EAAE,GAAG,EAAE,CAAC,EAAE,KAAK,EAAE,uBAAuB,CAAC,GAAG,EAAE,OAAO,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC;QAClH,CAAC;QACD,gBAAgB,EAAE,CAAC,GAAG,EAAE,UAAU,EAAE,EAAE,CAAC,yBAAyB,CAAC,GAAG,EAAE,EAAE,GAAG,UAAU,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,GAAG,EAAE,CAAC;QACzG,aAAa,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC,sBAAsB,CAAC,GAAG,EAAE,EAAE,EAAE,EAAE,GAAG,EAAE,CAAC;QAChE,GAAG;KACJ,CAAC;AACJ,CAAC"}

package/dist/verify/parked-shortfall-reuse.d.ts

@@ -1,194 +0,0 @@
-/**
- * A PARKED shortfall is REUSED, not re-judged, while its commit set and its
- * rulings are unchanged.
- *
- * WHY. The verify gate already works this way about the SUITE: a commit whose
- * verdict is recorded is not run again (verify/verification-commit-sharing.ts
- * readReusableVerdict). The RECONCILIATION did not: the engine called
- * `authorTargetRestatements` -- a ~28s `claude --print` one-shot -- on every
- * dispatch whose gate verdict was passed, and consulted the delivery's shortfall
- * park only afterwards, in routing. So however a parked delivery reached dispatch
- * it paid a model call to re-derive a shortfall the park already records by commit
- * set and signature. Measured 2026-09-24: delivery 8ae80225, parked at 06:25Z on
- * commit set `15:2b25de49`, made ~30 reconciliation calls (median 28s) between
- * 06:08Z and 06:54Z at an unchanged HEAD; the one at 06:50Z failed with
- * "verify-reconciliation: model unavailable (auth)", proving each dispatch really
- * was calling the model. A sibling delivery closed the re-dispatch path that fed
- * that loop; this module bounds the COST of any re-dispatch path, including ones
- * not yet found.
- *
- * WHAT IS REUSED. Not a cached verdict -- the park's OWN record. The gaps are
- * rebuilt VERBATIM from the shortfall detail standing on the same gate_state
- * (`shortfallReconciliation.shortfalls`: declared / achieved / reason /
- * diffCitation as the judging pass wrote them), and the rebuild is accepted only
- * when it reproduces the park's own signature (`sameShortfallSignature`). So the
- * routing that follows is the routing a fresh IDENTICAL judgement would produce:
- * the same demotion to 'failed', the same park re-hold with its original
- * `parkedAt`, the same cause-keyed escalation (already deduped in
- * verify/shortfall-park-escalation.ts, so nothing is re-filed) and the same
- * gate_state detail. What it does NOT do is call the model.
- *
- * WHEN IT IS REFUSED -- every one of these judges instead, so the reuse can only
- * ever remove a model call, never a judgement:
- *   - no standing park refusing re-work (verify/shortfall-park.ts
- *     shortfallParkRefusingRework: a park on a delivery in verify);
- *   - the CURRENT commit set could not be read, or differs from the park's, or
- *     the park itself recorded none. A null fingerprint means the read FAILED and
- *     must never match;
- *   - the CURRENT rulings fingerprint could not be read, or differs from the
- *     park's, or the PARK carries none. A park's fingerprint is PRESENT exactly
- *     when the judgement that recorded it could READ the rulings: '' is a
- *     succeeded read of an empty set ("no ruling was in force"), and the field is
- *     absent only where the read FAILED (shortfall-park.ts classifyShortfallPark).
- *     So an absent one is a park whose ruling history is UNKNOWN and is refused
- *     ('park-rulings-unknown') rather than coerced to '' -- coercing it would let
- *     a park recorded while the rulings were unreadable be answered from after a
- *     later successful EMPTY read, as though the unknown had been known-empty.
- *     The recorder is why this can be strict: the previous cycle read an absent
- *     fingerprint as '' because requiring presence would otherwise have made the
- *     reuse inert for the measured incident (an ordinary no-rulings park wrote no
- *     field at all). With the recorder fixed there is no such dilemma -- a
- *     known-empty park records '' and reuses, an unknown one judges. A park
- *     WRITTEN BY THE OLD RECORDER carries no field even where the rulings were
- *     readable and empty: it refuses ONCE, that judgement re-holds it carrying
- *     '', and reuse resumes -- the one reconciliation after recovery, no more.
- *     Any ruling landing since (an operator row, or an approving review's node
- *     verdict arriving through the same reader as `ruledByKind: 'review'`)
- *     changes the fingerprint and re-judges exactly once, after which the park
- *     carries the new fingerprint and matches again;
- *   - the gate_state carries an AWAITED-MODEL hold (`modelUnavailable`,
- *     verify/verification-model-unavailable-hold.ts). A park is never WRITTEN by
- *     that path -- the engine routes no shortfall when the model was not reached
- *     -- but a later tick can leave the hold standing beside a park, and then the
- *     last thing that happened to this delivery was a non-judgement. The hold
- *     exists precisely so the next tick re-judges the same commit, so this
- *     refuses rather than answering from a record the hold sits on top of. It is
- *     self-clearing: the first reconciliation that renders rebuilds gate_state
- *     without it, and reuse resumes on the tick after;
- *   - the gaps cannot be rebuilt from the standing detail, or the rebuild does
- *     not reproduce the park's signature (a legacy park, or a writer that
- *     replaced the live detail). One judgement re-establishes the detail;
- *   - the rebuilt gaps look like a FAILED reconciliation rather than a judgement:
- *     a non-ModelUnavailable throw is signed as a whole-injection shortfall
- *     (classifyReconciliationThrow), which names the INJECTION node and carries
- *     the '(unknown -- reconciliation failed)' declared statement. That is an
- *     error, not a verdict, so it is re-attempted rather than reused.
- *
- * WHAT STAYS REACHABLE, AND WHAT DOES NOT. The engine resolves the delivery's
- * evidence before asking this: those are git and record reads every dispatch pays
- * anyway, and leaving them unconditional keeps the pass path one shape. Their
- * instrument-fault branch is then unreachable on a reused dispatch, on purpose --
- * it routes the delivery to bounded RE-WORK, which is exactly what a standing park
- * refuses (shortfallParkRefusingRework), so a blind bundle on a parked delivery
- * must re-hold the park rather than send it back to coding. Everything after the
- * reconciliation is reached exactly as a fresh judgement reaches it: the inward
- * shortfall drift, the routing, the park's escalation, the recorded-targets report
- * (left untouched -- a reused dispatch learned nothing new about arm coverage).
- *
- * WHAT IT DELIBERATELY DOES NOT WIDEN. Reuse is keyed on exactly the two facts
- * the park's own release rule is keyed on (shortfall-park.ts
- * isShortfallParkReleased: the commit set and the rulings fingerprint). Anything
- * that does not release the park does not release the reuse either -- the park
- * already governs whether such a delivery is judged at all, and a second,
- * differently-keyed opinion here would be a way for the two to disagree.
- *
- * The DECISION is pure (decideParkedShortfallReuse) and takes the facts; only
- * resolveParkedShortfallReuse reads them, through the engine's dep seam.
- *
- * @module verify/parked-shortfall-reuse
- */
-import { type ShortfallPark } from './shortfall-park.js';
-import type { DeliveryGateRecord } from '../queries/deliveries.js';
-import type { ShortfallReconciliationDetail } from '../queries/delivery-gate-state.js';
-import type { PendingVerification } from '../queries/verification.js';
-import type { RuledReconciliation, ShortfallRulingsReader } from './shortfall-rulings.js';
-import type { TargetShortfall } from './verify-restatement.js';
-/** Why a dispatch judged instead of reusing the park. Named so the log says which fact refused. */
-export type ParkReuseRefusal = 'no-park' | 'awaiting-model' | 'park-commit-set-unknown' | 'commit-set-unknown' | 'commit-set-changed' | 'park-rulings-unknown' | 'rulings-unknown' | 'rulings-changed' | 'gaps-not-reconstructable' | 'not-a-judgement';
-/** What a dispatch knows about the delivery's park before it would call the model. */
-export interface ParkedShortfallFacts {
-    /** The standing park that refuses re-work (shortfallParkRefusingRework), or null. */
-    park: ShortfallPark | null;
-    /** The shortfall detail standing on the same gate_state -- the judged gaps, verbatim. */
-    detail: ShortfallReconciliationDetail | null;
-    /** True when the same gate_state carries the awaited-model hold. */
-    awaitingModel: boolean;
-    /** The delivery's CURRENT commit-set fingerprint; null when it could not be read. */
-    commitSet: string | null;
-    /** The delivery's CURRENT rulings fingerprint; null when it could not be read. */
-    rulingsFingerprint: string | null;
-    /** The injection this dispatch judges (a gap naming it is a failed reconciliation). */
-    injectionNodeId: string;
-}
-/** Reuse the park's judgement, or judge afresh (and why). */
-export type ParkedShortfallDecision = {
-    reuse: true;
-    park: ShortfallPark;
-    shortfalls: TargetShortfall[];
-    rulingsFingerprint: string;
-} | {
-    reuse: false;
-    refusal: ParkReuseRefusal;
-};
-/**
- * The park's gaps, rebuilt VERBATIM from the standing shortfall detail; null when
- * they cannot be. Accepted only when the detail's node set is a BIJECTION with
- * the park's -- no node missing and none extra -- AND the rebuild re-hashes to
- * the park's own signature, so the routing that follows re-holds THIS park
- * rather than opening a new one, and routes exactly what a fresh judgement would.
- * Pure.
- */
-export declare function reconstructParkedShortfalls(park: ShortfallPark, detail: ShortfallReconciliationDetail | null): TargetShortfall[] | null;
-/**
- * Decide whether this dispatch may answer from the park instead of calling the
- * model (see the module header for each refusal). Pure: every fact is supplied,
- * and every unknown fact refuses.
- */
-export declare function decideParkedShortfallReuse(facts: ParkedShortfallFacts): ParkedShortfallDecision;
-/** The seams the reuse reads its facts through; each absent one simply judges. */
-export interface ParkedShortfallReuseDeps {
-    /**
-     * The delivery's execution_status + gate_state as the last writer left them
-     * (queries/deliveries.ts getDeliveryGateRecord -- the read
-     * routeShortfallOutcome's prior-state read uses). Absent: no park is read and
-     * every dispatch judges, exactly as before this module existed.
-     */
-    readDeliveryGateRecord?: (deliveryId: string) => Promise<DeliveryGateRecord | null>;
-    /**
-     * The identities of the delivery's own trailered commits at the commit this
-     * dispatch judged (verify/delivery-commit-set.ts), fingerprinted here with
-     * commitSetFingerprint -- the same pair routeShortfallOutcome's
-     * `resolveCommitSet` goes through, so the two fingerprints are comparable by
-     * construction. null when git could not answer.
-     */
-    resolveDeliveryCommitSet?: (v: PendingVerification, judgedSha: string | null) => Promise<string[] | null> | string[] | null;
-    /** The delivery's active rulings (queries/shortfall-rulings.ts), read for their fingerprint. */
-    readShortfallRulings?: ShortfallRulingsReader;
-}
-/**
- * A reused park, shaped as the ruled reconciliation the engine already routes:
- * no restatements (a held gate flips nothing), no honored ruling (the ruling set
- * is unchanged, so it cleared these gaps at park time or not at all) and nothing
- * withheld.
- */
-export interface ParkedShortfallReuse extends RuledReconciliation {
-    rulingsFingerprint: string;
-    park: ShortfallPark;
-}
-/**
- * Whether a park stands on this delivery whose facts are ALL unchanged -- the
- * question every re-selection path asks before dropping a run mark.
- *
- * TRUE means re-selecting it would re-derive exactly what the park already
- * records, so the path declines. FALSE means the park is absent, its facts moved
- * (a new commit, a new ruling), or SOMETHING IS UNKNOWN -- and unknown must
- * re-select, never suppress: this gate may only ever remove a re-selection it can
- * PROVE is pointless. Never throws.
- */
-export declare function parkHoldsOnUnchangedFacts(v: PendingVerification, judgedSha: string | null, deps: ParkedShortfallReuseDeps): Promise<boolean>;
-/**
- * The park this dispatch may answer from instead of calling the model, or null to
- * judge. Never throws: every read failure refuses.
- */
-export declare function resolveParkedShortfallReuse(v: PendingVerification, judgedSha: string | null, deps: ParkedShortfallReuseDeps): Promise<ParkedShortfallReuse | null>;
-//# sourceMappingURL=parked-shortfall-reuse.d.ts.map

package/dist/verify/parked-shortfall-reuse.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"parked-shortfall-reuse.d.ts","sourceRoot":"","sources":["../../src/verify/parked-shortfall-reuse.ts"],"names":[],"mappings":"AAMA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAkGG;AAEH,OAAO,EAAqD,KAAK,aAAa,EAAE,MAAM,qBAAqB,CAAC;AAG5G,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,0BAA0B,CAAC;AACnE,OAAO,KAAK,EAAE,6BAA6B,EAAE,MAAM,mCAAmC,CAAC;AACvF,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,4BAA4B,CAAC;AACtE,OAAO,KAAK,EAAE,mBAAmB,EAAE,sBAAsB,EAAE,MAAM,wBAAwB,CAAC;AAC1F,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,yBAAyB,CAAC;AAe/D,mGAAmG;AACnG,MAAM,MAAM,gBAAgB,GACxB,SAAS,GACT,gBAAgB,GAChB,yBAAyB,GACzB,oBAAoB,GACpB,oBAAoB,GACpB,sBAAsB,GACtB,iBAAiB,GACjB,iBAAiB,GACjB,0BAA0B,GAC1B,iBAAiB,CAAC;AAEtB,sFAAsF;AACtF,MAAM,WAAW,oBAAoB;IACnC,qFAAqF;IACrF,IAAI,EAAE,aAAa,GAAG,IAAI,CAAC;IAC3B,yFAAyF;IACzF,MAAM,EAAE,6BAA6B,GAAG,IAAI,CAAC;IAC7C,oEAAoE;IACpE,aAAa,EAAE,OAAO,CAAC;IACvB,qFAAqF;IACrF,SAAS,EAAE,MAAM,GAAG,IAAI,CAAC;IACzB,kFAAkF;IAClF,kBAAkB,EAAE,MAAM,GAAG,IAAI,CAAC;IAClC,uFAAuF;IACvF,eAAe,EAAE,MAAM,CAAC;CACzB;AAED,6DAA6D;AAC7D,MAAM,MAAM,uBAAuB,GAC/B;IAAE,KAAK,EAAE,IAAI,CAAC;IAAC,IAAI,EAAE,aAAa,CAAC;IAAC,UAAU,EAAE,eAAe,EAAE,CAAC;IAAC,kBAAkB,EAAE,MAAM,CAAA;CAAE,GAC/F;IAAE,KAAK,EAAE,KAAK,CAAC;IAAC,OAAO,EAAE,gBAAgB,CAAA;CAAE,CAAC;AAMhD;;;;;;;GAOG;AACH,wBAAgB,2BAA2B,CACzC,IAAI,EAAE,aAAa,EACnB,MAAM,EAAE,6BAA6B,GAAG,IAAI,GAC3C,eAAe,EAAE,GAAG,IAAI,CAoC1B;AAQD;;;;GAIG;AACH,wBAAgB,0BAA0B,CAAC,KAAK,EAAE,oBAAoB,GAAG,uBAAuB,CAkB/F;AAED,kFAAkF;AAClF,MAAM,WAAW,wBAAwB;IACvC;;;;;OAKG;IACH,sBAAsB,CAAC,EAAE,CAAC,UAAU,EAAE,MAAM,KAAK,OAAO,CAAC,kBAAkB,GAAG,IAAI,CAAC,CAAC;IACpF;;;;;;OAMG;IACH,wBAAwB,CAAC,EAAE,CAAC,CAAC,EAAE,mBAAmB,EAAE,SAAS,EAAE,MAAM,GAAG,IAAI,KAAK,OAAO,CAAC,MAAM,EAAE,GAAG,IAAI,CAAC,GAAG,MAAM,EAAE,GAAG,IAAI,CAAC;IAC5H,gGAAgG;IAChG,oBAAoB,CAAC,EAAE,sBAAsB,CAAC;CAC/C;AAED;;;;;GAKG;AACH,MAAM,WAAW,oBAAqB,SAAQ,mBAAmB;IAC/D,kBAAkB,EAAE,MAAM,CAAC;IAC3B,IAAI,EAAE,aAAa,CAAC;CACrB;AAqED;;;;;;;;;GASG;AACH,wBAAsB,yBAAyB,CAC7C,CAAC,EAAE,mBAAmB,EACtB,SAAS,EAAE,MAAM,GAAG,IAAI,EACxB,IAAI,EAAE,wBAAwB,GAC7B,OAAO,CAAC,OAAO,CAAC,CAGlB;AAED;;;GAGG;AACH,wBAAsB,2BAA2B,CAC/C,CAAC,EAAE,mBAAmB,EACtB,SAAS,EAAE,MAAM,GAAG,IAAI,EACxB,IAAI,EAAE,wBAAwB,GAC7B,OAAO,CAAC,oBAAoB,GAAG,IAAI,CAAC,CA4BtC"}