@telora/daemon 0.22.239 → 0.22.289

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

@@ -1,317 +0,0 @@
-// PINNED-BY-BEGIN (generated by gen:pinned-by -- do not hand-edit; checked by lint:pinned-by)
-// Pinned by: 25 tests -- run: npm run gen:pinned-by -- --list packages/daemon/src/verify/commit-verdict-record.ts
-// PINNED-BY-END
-/**
- * The deterministic gate verdict for a focus commit, recorded durably.
- *
- * Every delivery on a focus is judged on the same focus-branch HEAD, and a gate
- * on an unchanged tree renders the same verdict -- so the verdict belongs to the
- * COMMIT, not to whichever delivery's dispatch happened to run it. Before this
- * record only a failed sha was durable (per delivery, gate_state
- * verificationHistory.failedAtSha) and a pass was merely the absence of one, so a
- * sibling delivery, a status round trip, or a daemon restart at an already-judged
- * commit paid for the whole gate again.
- *
- * One file per (product, focus, sha, gate) under the global state dir, written
- * atomically (temp + rename) so a reader never sees a torn record. A verdict
- * under one command or timeout says nothing about another, and one commit can
- * carry verdicts of several gates (a sibling's explicit command beside the
- * default-on gate), so no gate's record overwrites another's. A reader that names
- * a gate gets only that gate's verdict -- what every routing decision does; one
- * that names none (the team-facing verdict summary) gets the newest recorded for
- * the commit. A record written before files were keyed by gate is still read, and
- * still only for the gate it carries.
- *
- * What is NOT a verdict, and so is never written: a run killed by its timeout,
- * a run that could not get a checkout (or whose installs moved mid-run), a run
- * whose config was unresolvable (nothing ran), a run the attribution routed to
- * instrument-fault re-work (the gate could not attribute it), and any run with no
- * judged commit. Those leave the commit unjudged, so the next tick asks again.
- *
- * @module commit-verdict-record
- */
-import { createHash } from 'node:crypto';
-import { mkdirSync, readdirSync, readFileSync, renameSync, writeFileSync } from 'node:fs';
-import { basename, resolve } from 'node:path';
-import { resolveGlobalStateDir } from '../shell/daemon-process.js';
-import { judgedFailedSha } from '../queries/delivery-gate-state.js';
-import { DEFAULT_VERIFICATION_TIMEOUT_MS } from './verification-deterministic.js';
-import { describeParseFailure, parseFailingTests } from './verification-failure-parser.js';
-import { readVerificationLogText } from './failure-signature.js';
-import { createLogger } from '../shell/log.js';
-const log = createLogger({ module: 'verification' });
-function verdictDir() {
-    return resolve(resolveGlobalStateDir(), 'verification-verdicts');
-}
-/**
- * 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 function commitVerdictPath(productId, focusId, sha, dir = verdictDir(), gate) {
-    const base = `${productId}-${focusId}-${sha}`;
-    return resolve(dir, `${gate ? `${base}-${gateKey(gate)}` : base}.json`.replace(/[^a-zA-Z0-9._-]/g, '_'));
-}
-/** A gate's key in a record file name: its command + timeout, hashed. */
-function gateKey(gate) {
-    return createHash('sha256').update(JSON.stringify([gate.command, gate.timeoutMs])).digest('hex').slice(0, 12);
-}
-const SHA_RE = /^[0-9a-f]{7,64}$/i;
-function isStringArray(value) {
-    return Array.isArray(value) && value.every((s) => typeof s === 'string');
-}
-function optionalString(value) {
-    return typeof value === 'string' ? value : undefined;
-}
-const isNullableNumber = (value) => value === null || typeof value === 'number';
-function isParseFailure(value) {
-    if (typeof value !== 'object' || value === null)
-        return false;
-    const p = value;
-    return isNullableNumber(p.exitCode) && isNullableNumber(p.reportedFailures) && (p.logPath === null || typeof p.logPath === 'string');
-}
-/** Validate a parsed record; null when it is not a well-formed verdict. */
-function parseVerdict(raw) {
-    if (typeof raw !== 'object' || raw === null)
-        return null;
-    const r = raw;
-    const gate = r.gate;
-    if (typeof r.productId !== 'string' || typeof r.focusId !== 'string' || typeof r.judgedDeliveryId !== 'string')
-        return null;
-    if (typeof r.sha !== 'string' || !SHA_RE.test(r.sha))
-        return null;
-    if (r.outcome !== 'passed' && r.outcome !== 'failed')
-        return null;
-    if (typeof gate?.command !== 'string' || typeof gate.timeoutMs !== 'number')
-        return null;
-    if (typeof r.recordedAt !== 'string')
-        return null;
-    const rationale = optionalString(r.rationale);
-    const failedStage = optionalString(r.failedStage);
-    return {
-        productId: r.productId,
-        focusId: r.focusId,
-        sha: r.sha,
-        outcome: r.outcome,
-        gate: { command: gate.command, timeoutMs: gate.timeoutMs },
-        exitCode: typeof r.exitCode === 'number' ? r.exitCode : null,
-        judgedDeliveryId: r.judgedDeliveryId,
-        recordedAt: r.recordedAt,
-        ...(rationale !== undefined ? { rationale } : {}),
-        ...(failedStage !== undefined ? { failedStage } : {}),
-        ...(isStringArray(r.preExistingStages) ? { preExistingStages: r.preExistingStages } : {}),
-        ...(isStringArray(r.newFailures) ? { newFailures: r.newFailures } : {}),
-        ...(isStringArray(r.preExisting) ? { preExisting: r.preExisting } : {}),
-        ...(isParseFailure(r.parseFailure) ? { parseFailure: r.parseFailure } : {}),
-        ...(typeof r.logPath === 'string' ? { logPath: r.logPath } : {}),
-        ...(typeof r.stdoutTail === 'string' ? { stdoutTail: r.stdoutTail } : {}),
-        ...(typeof r.stderrTail === 'string' ? { stderrTail: r.stderrTail } : {}),
-        ...(typeof r.appliedConfig === 'object' && r.appliedConfig !== null
-            ? { appliedConfig: r.appliedConfig }
-            : {}),
-    };
-}
-/**
- * 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 function readCommitVerdict(productId, focusId, sha, opts = {}) {
-    const dir = opts.dir ?? verdictDir();
-    const gateless = commitVerdictPath(productId, focusId, sha, dir);
-    const paths = opts.gate
-        ? [commitVerdictPath(productId, focusId, sha, dir, opts.gate), gateless]
-        : [gateless, ...gateKeyedPaths(gateless, dir)];
-    let newest = null;
-    for (const path of paths) {
-        const parsed = readVerdictFile(path);
-        if (!parsed || parsed.productId !== productId || parsed.focusId !== focusId || parsed.sha !== sha)
-            continue;
-        if (opts.gate && (parsed.gate.command !== opts.gate.command || parsed.gate.timeoutMs !== opts.gate.timeoutMs))
-            continue;
-        if (opts.gate)
-            return parsed;
-        if (newest === null || parsed.recordedAt > newest.recordedAt)
-            newest = parsed;
-    }
-    return newest;
-}
-/** A parsed record file, or null when it is missing, unreadable, or malformed. */
-function readVerdictFile(path) {
-    try {
-        return parseVerdict(JSON.parse(readFileSync(path, 'utf8')));
-    }
-    catch {
-        return null;
-    }
-}
-/** Every gate-keyed record file of the commit whose gate-less record file is `gateless`. */
-function gateKeyedPaths(gateless, dir) {
-    const prefix = `${basename(gateless, '.json')}-`;
-    try {
-        return readdirSync(dir).filter((name) => name.startsWith(prefix) && name.endsWith('.json')).map((name) => resolve(dir, name));
-    }
-    catch {
-        return [];
-    }
-}
-/** Write a verdict atomically. Best-effort: returns false (and logs) when the write failed. */
-export function writeCommitVerdict(verdict, dir = verdictDir()) {
-    const path = commitVerdictPath(verdict.productId, verdict.focusId, verdict.sha, dir, verdict.gate);
-    const tmp = `${path}.${process.pid}.tmp`;
-    try {
-        mkdirSync(dir, { recursive: true });
-        writeFileSync(tmp, JSON.stringify(verdict, null, 2), { mode: 0o600 });
-        renameSync(tmp, path);
-        return true;
-    }
-    catch (err) {
-        log.warn(`[verification] failed to record the verdict for ${verdict.focusId}@${verdict.sha.slice(0, 8)}:`, err.message);
-        return false;
-    }
-}
-/**
- * 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 function buildCommitVerdict(subject, result, instrumentFault, now = new Date(), logText = '') {
-    if (instrumentFault || result.timedOut || result.checkoutUnavailable || result.configUnresolved)
-        return null;
-    const sha = result.outcome === 'failed'
-        ? judgedFailedSha(result)
-        : result.outcome === 'passed' && result.verifiedSha && SHA_RE.test(result.verifiedSha) ? result.verifiedSha : null;
-    if (!sha || (result.outcome !== 'passed' && result.outcome !== 'failed'))
-        return null;
-    return {
-        productId: subject.productId,
-        focusId: subject.focusId,
-        sha,
-        outcome: result.outcome,
-        gate: { command: subject.gate.command, timeoutMs: subject.gate.timeoutMs },
-        exitCode: typeof result.exitCode === 'number' ? result.exitCode : null,
-        judgedDeliveryId: subject.deliveryId,
-        recordedAt: now.toISOString(),
-        ...pickCarried(result.outcome === 'failed' ? withFailureIds(result, logText) : result),
-    };
-}
-/**
- * A failed result with its failing tests named: attribution's ids where it ran,
- * else the ids the log names; with none, a parseFailure replaces the empty lists.
- */
-function withFailureIds(result, logText) {
-    if (result.parseFailure)
-        return result;
-    const newFailures = result.newFailures ?? [...parseFailingTests(logText)].sort();
-    const parseFailure = describeParseFailure({
-        exitCode: result.exitCode,
-        failingTestCount: newFailures.length + (result.preExisting?.length ?? 0),
-        failedStage: result.failedStage,
-        logText,
-        logPath: result.logPath,
-    });
-    if (!parseFailure)
-        return { ...result, newFailures };
-    const unparsed = { ...result, parseFailure };
-    delete unparsed.newFailures;
-    delete unparsed.preExisting;
-    return unparsed;
-}
-/** The result fields a verdict carries forward to the deliveries that reuse it. */
-function pickCarried(result) {
-    return {
-        ...(result.rationale !== undefined ? { rationale: result.rationale } : {}),
-        ...(result.failedStage !== undefined ? { failedStage: result.failedStage } : {}),
-        ...(result.preExistingStages ? { preExistingStages: result.preExistingStages } : {}),
-        ...(result.newFailures ? { newFailures: result.newFailures } : {}),
-        ...(result.preExisting ? { preExisting: result.preExisting } : {}),
-        ...(result.parseFailure ? { parseFailure: result.parseFailure } : {}),
-        ...(result.logPath !== undefined ? { logPath: result.logPath } : {}),
-        ...(result.stdoutTail !== undefined ? { stdoutTail: result.stdoutTail } : {}),
-        ...(result.stderrTail !== undefined ? { stderrTail: result.stderrTail } : {}),
-        ...(result.appliedConfig ? { appliedConfig: result.appliedConfig } : {}),
-    };
-}
-/**
- * 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 function commitVerdictGateOf(v) {
-    const cfg = v.verificationConfig ?? {};
-    if (typeof cfg.command !== 'string')
-        return null;
-    const timeoutMs = typeof cfg.timeoutMs === 'number' && cfg.timeoutMs > 0 ? cfg.timeoutMs : DEFAULT_VERIFICATION_TIMEOUT_MS;
-    return { command: cfg.command, timeoutMs };
-}
-/**
- * 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 function explicitGateKeyOf(method, config) {
-    const applied = method === 'deterministic' ? commitVerdictGateOf({ verificationConfig: config }) : config;
-    return createHash('sha256').update(canonicalJson([method, applied])).digest('hex').slice(0, 16);
-}
-/** JSON with every object's keys sorted, so equal values serialize equally. Pure. */
-function canonicalJson(value) {
-    if (Array.isArray(value))
-        return `[${value.map(canonicalJson).join(',')}]`;
-    if (typeof value === 'object' && value !== null) {
-        const record = value;
-        return `{${Object.keys(record).sort().map((k) => `${JSON.stringify(k)}:${canonicalJson(record[k])}`).join(',')}}`;
-    }
-    return JSON.stringify(value) ?? 'null';
-}
-/**
- * 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 function recordCommitVerdictFor(v, result, instrumentFault, record, readLogText = readVerificationLogText) {
-    const applied = result.appliedConfig;
-    const gate = applied ? { command: applied.command, timeoutMs: applied.timeoutMs } : commitVerdictGateOf(v);
-    if (!record || !v.productId || !v.focusId || !gate)
-        return;
-    const logText = result.outcome === 'failed' && !result.parseFailure ? readLogText(result) : '';
-    const verdict = buildCommitVerdict({ productId: v.productId, focusId: v.focusId, deliveryId: v.deliveryId, gate }, result, instrumentFault, new Date(), logText);
-    if (verdict)
-        record(verdict);
-}
-/**
- * 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 function strategyResultFromVerdict(verdict) {
-    const { rationale, failedStage, preExistingStages, newFailures, preExisting, parseFailure, logPath, stdoutTail, stderrTail, appliedConfig } = verdict;
-    return {
-        outcome: verdict.outcome,
-        exitCode: verdict.exitCode,
-        verifiedSha: verdict.sha,
-        rationale: `reused the verdict recorded for ${verdict.sha.slice(0, 8)} at ${verdict.recordedAt}`
-            + (rationale ? `: ${rationale}` : ''),
-        ...(failedStage !== undefined ? { failedStage } : {}),
-        ...(preExistingStages ? { preExistingStages } : {}),
-        ...(newFailures ? { newFailures } : {}),
-        ...(preExisting ? { preExisting } : {}),
-        ...(parseFailure ? { parseFailure } : {}),
-        ...(logPath !== undefined ? { logPath } : {}),
-        ...(stdoutTail !== undefined ? { stdoutTail } : {}),
-        ...(stderrTail !== undefined ? { stderrTail } : {}),
-        ...(appliedConfig ? { appliedConfig } : {}),
-    };
-}
-//# sourceMappingURL=commit-verdict-record.js.map

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

@@ -1 +0,0 @@
-{"version":3,"file":"commit-verdict-record.js","sourceRoot":"","sources":["../../src/verify/commit-verdict-record.ts"],"names":[],"mappings":"AAAA,8FAA8F;AAC9F,kHAAkH;AAClH,gBAAgB;AAEhB;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA4BG;AAEH,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AACzC,OAAO,EAAE,SAAS,EAAE,WAAW,EAAE,YAAY,EAAE,UAAU,EAAE,aAAa,EAAE,MAAM,SAAS,CAAC;AAC1F,OAAO,EAAE,QAAQ,EAAE,OAAO,EAAE,MAAM,WAAW,CAAC;AAC9C,OAAO,EAAE,qBAAqB,EAAE,MAAM,4BAA4B,CAAC;AACnE,OAAO,EAAE,eAAe,EAAE,MAAM,mCAAmC,CAAC;AACpE,OAAO,EAAE,+BAA+B,EAAuB,MAAM,iCAAiC,CAAC;AAGvG,OAAO,EAAE,oBAAoB,EAAE,iBAAiB,EAAE,MAAM,kCAAkC,CAAC;AAC3F,OAAO,EAAE,uBAAuB,EAAE,MAAM,wBAAwB,CAAC;AACjE,OAAO,EAAE,YAAY,EAAE,MAAM,iBAAiB,CAAC;AAE/C,MAAM,GAAG,GAAG,YAAY,CAAC,EAAE,MAAM,EAAE,cAAc,EAAE,CAAC,CAAC;AA8CrD,SAAS,UAAU;IACjB,OAAO,OAAO,CAAC,qBAAqB,EAAE,EAAE,uBAAuB,CAAC,CAAC;AACnE,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,iBAAiB,CAC/B,SAAiB,EACjB,OAAe,EACf,GAAW,EACX,MAAc,UAAU,EAAE,EAC1B,IAAwB;IAExB,MAAM,IAAI,GAAG,GAAG,SAAS,IAAI,OAAO,IAAI,GAAG,EAAE,CAAC;IAC9C,OAAO,OAAO,CAAC,GAAG,EAAE,GAAG,IAAI,CAAC,CAAC,CAAC,GAAG,IAAI,IAAI,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,OAAO,CAAC,OAAO,CAAC,kBAAkB,EAAE,GAAG,CAAC,CAAC,CAAC;AAC3G,CAAC;AAED,yEAAyE;AACzE,SAAS,OAAO,CAAC,IAAuB;IACtC,OAAO,UAAU,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,IAAI,CAAC,OAAO,EAAE,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;AAChH,CAAC;AAED,MAAM,MAAM,GAAG,mBAAmB,CAAC;AAEnC,SAAS,aAAa,CAAC,KAAc;IACnC,OAAO,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,KAAK,QAAQ,CAAC,CAAC;AAC3E,CAAC;AAED,SAAS,cAAc,CAAC,KAAc;IACpC,OAAO,OAAO,KAAK,KAAK,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS,CAAC;AACvD,CAAC;AAED,MAAM,gBAAgB,GAAG,CAAC,KAAc,EAA0B,EAAE,CAAC,KAAK,KAAK,IAAI,IAAI,OAAO,KAAK,KAAK,QAAQ,CAAC;AAEjH,SAAS,cAAc,CAAC,KAAc;IACpC,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI;QAAE,OAAO,KAAK,CAAC;IAC9D,MAAM,CAAC,GAAG,KAAgC,CAAC;IAC3C,OAAO,gBAAgB,CAAC,CAAC,CAAC,QAAQ,CAAC,IAAI,gBAAgB,CAAC,CAAC,CAAC,gBAAgB,CAAC,IAAI,CAAC,CAAC,CAAC,OAAO,KAAK,IAAI,IAAI,OAAO,CAAC,CAAC,OAAO,KAAK,QAAQ,CAAC,CAAC;AACvI,CAAC;AAED,2EAA2E;AAC3E,SAAS,YAAY,CAAC,GAAY;IAChC,IAAI,OAAO,GAAG,KAAK,QAAQ,IAAI,GAAG,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC;IACzD,MAAM,CAAC,GAAG,GAA8B,CAAC;IACzC,MAAM,IAAI,GAAG,CAAC,CAAC,IAA2C,CAAC;IAC3D,IAAI,OAAO,CAAC,CAAC,SAAS,KAAK,QAAQ,IAAI,OAAO,CAAC,CAAC,OAAO,KAAK,QAAQ,IAAI,OAAO,CAAC,CAAC,gBAAgB,KAAK,QAAQ;QAAE,OAAO,IAAI,CAAC;IAC5H,IAAI,OAAO,CAAC,CAAC,GAAG,KAAK,QAAQ,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC;QAAE,OAAO,IAAI,CAAC;IAClE,IAAI,CAAC,CAAC,OAAO,KAAK,QAAQ,IAAI,CAAC,CAAC,OAAO,KAAK,QAAQ;QAAE,OAAO,IAAI,CAAC;IAClE,IAAI,OAAO,IAAI,EAAE,OAAO,KAAK,QAAQ,IAAI,OAAO,IAAI,CAAC,SAAS,KAAK,QAAQ;QAAE,OAAO,IAAI,CAAC;IACzF,IAAI,OAAO,CAAC,CAAC,UAAU,KAAK,QAAQ;QAAE,OAAO,IAAI,CAAC;IAClD,MAAM,SAAS,GAAG,cAAc,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC;IAC9C,MAAM,WAAW,GAAG,cAAc,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC;IAClD,OAAO;QACL,SAAS,EAAE,CAAC,CAAC,SAAS;QACtB,OAAO,EAAE,CAAC,CAAC,OAAO;QAClB,GAAG,EAAE,CAAC,CAAC,GAAG;QACV,OAAO,EAAE,CAAC,CAAC,OAAO;QAClB,IAAI,EAAE,EAAE,OAAO,EAAE,IAAI,CAAC,OAAO,EAAE,SAAS,EAAE,IAAI,CAAC,SAAS,EAAE;QAC1D,QAAQ,EAAE,OAAO,CAAC,CAAC,QAAQ,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI;QAC5D,gBAAgB,EAAE,CAAC,CAAC,gBAAgB;QACpC,UAAU,EAAE,CAAC,CAAC,UAAU;QACxB,GAAG,CAAC,SAAS,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QACjD,GAAG,CAAC,WAAW,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,WAAW,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QACrD,GAAG,CAAC,aAAa,CAAC,CAAC,CAAC,iBAAiB,CAAC,CAAC,CAAC,CAAC,EAAE,iBAAiB,EAAE,CAAC,CAAC,iBAAiB,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QACzF,GAAG,CAAC,aAAa,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,EAAE,WAAW,EAAE,CAAC,CAAC,WAAW,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QACvE,GAAG,CAAC,aAAa,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,EAAE,WAAW,EAAE,CAAC,CAAC,WAAW,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QACvE,GAAG,CAAC,cAAc,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,EAAE,YAAY,EAAE,CAAC,CAAC,YAAY,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QAC3E,GAAG,CAAC,OAAO,CAAC,CAAC,OAAO,KAAK,QAAQ,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QAChE,GAAG,CAAC,OAAO,CAAC,CAAC,UAAU,KAAK,QAAQ,CAAC,CAAC,CAAC,EAAE,UAAU,EAAE,CAAC,CAAC,UAAU,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QACzE,GAAG,CAAC,OAAO,CAAC,CAAC,UAAU,KAAK,QAAQ,CAAC,CAAC,CAAC,EAAE,UAAU,EAAE,CAAC,CAAC,UAAU,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QACzE,GAAG,CAAC,OAAO,CAAC,CAAC,aAAa,KAAK,QAAQ,IAAI,CAAC,CAAC,aAAa,KAAK,IAAI;YACjE,CAAC,CAAC,EAAE,aAAa,EAAE,CAAC,CAAC,aAA6D,EAAE;YACpF,CAAC,CAAC,EAAE,CAAC;KACR,CAAC;AACJ,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,iBAAiB,CAC/B,SAAiB,EACjB,OAAe,EACf,GAAW,EACX,OAAmD,EAAE;IAErD,MAAM,GAAG,GAAG,IAAI,CAAC,GAAG,IAAI,UAAU,EAAE,CAAC;IACrC,MAAM,QAAQ,GAAG,iBAAiB,CAAC,SAAS,EAAE,OAAO,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;IACjE,MAAM,KAAK,GAAG,IAAI,CAAC,IAAI;QACrB,CAAC,CAAC,CAAC,iBAAiB,CAAC,SAAS,EAAE,OAAO,EAAE,GAAG,EAAE,GAAG,EAAE,IAAI,CAAC,IAAI,CAAC,EAAE,QAAQ,CAAC;QACxE,CAAC,CAAC,CAAC,QAAQ,EAAE,GAAG,cAAc,CAAC,QAAQ,EAAE,GAAG,CAAC,CAAC,CAAC;IACjD,IAAI,MAAM,GAAyB,IAAI,CAAC;IACxC,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,MAAM,MAAM,GAAG,eAAe,CAAC,IAAI,CAAC,CAAC;QACrC,IAAI,CAAC,MAAM,IAAI,MAAM,CAAC,SAAS,KAAK,SAAS,IAAI,MAAM,CAAC,OAAO,KAAK,OAAO,IAAI,MAAM,CAAC,GAAG,KAAK,GAAG;YAAE,SAAS;QAC5G,IAAI,IAAI,CAAC,IAAI,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,KAAK,IAAI,CAAC,IAAI,CAAC,OAAO,IAAI,MAAM,CAAC,IAAI,CAAC,SAAS,KAAK,IAAI,CAAC,IAAI,CAAC,SAAS,CAAC;YAAE,SAAS;QACxH,IAAI,IAAI,CAAC,IAAI;YAAE,OAAO,MAAM,CAAC;QAC7B,IAAI,MAAM,KAAK,IAAI,IAAI,MAAM,CAAC,UAAU,GAAG,MAAM,CAAC,UAAU;YAAE,MAAM,GAAG,MAAM,CAAC;IAChF,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,kFAAkF;AAClF,SAAS,eAAe,CAAC,IAAY;IACnC,IAAI,CAAC;QACH,OAAO,YAAY,CAAC,IAAI,CAAC,KAAK,CAAC,YAAY,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC;IAC9D,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,IAAI,CAAC;IACd,CAAC;AACH,CAAC;AAED,4FAA4F;AAC5F,SAAS,cAAc,CAAC,QAAgB,EAAE,GAAW;IACnD,MAAM,MAAM,GAAG,GAAG,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC,GAAG,CAAC;IACjD,IAAI,CAAC;QACH,OAAO,WAAW,CAAC,GAAG,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,UAAU,CAAC,MAAM,CAAC,IAAI,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,OAAO,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC,CAAC;IAChI,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,EAAE,CAAC;IACZ,CAAC;AACH,CAAC;AAED,+FAA+F;AAC/F,MAAM,UAAU,kBAAkB,CAAC,OAAsB,EAAE,MAAc,UAAU,EAAE;IACnF,MAAM,IAAI,GAAG,iBAAiB,CAAC,OAAO,CAAC,SAAS,EAAE,OAAO,CAAC,OAAO,EAAE,OAAO,CAAC,GAAG,EAAE,GAAG,EAAE,OAAO,CAAC,IAAI,CAAC,CAAC;IACnG,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,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC;QACtE,UAAU,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;QACtB,OAAO,IAAI,CAAC;IACd,CAAC;IAAC,OAAO,GAAG,EAAE,CAAC;QACb,GAAG,CAAC,IAAI,CAAC,mDAAmD,OAAO,CAAC,OAAO,IAAI,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,EAAG,GAAa,CAAC,OAAO,CAAC,CAAC;QACnI,OAAO,KAAK,CAAC;IACf,CAAC;AACH,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,UAAU,kBAAkB,CAChC,OAA6B,EAC7B,MAAsB,EACtB,eAAwB,EACxB,MAAY,IAAI,IAAI,EAAE,EACtB,OAAO,GAAG,EAAE;IAEZ,IAAI,eAAe,IAAI,MAAM,CAAC,QAAQ,IAAI,MAAM,CAAC,mBAAmB,IAAI,MAAM,CAAC,gBAAgB;QAAE,OAAO,IAAI,CAAC;IAC7G,MAAM,GAAG,GAAG,MAAM,CAAC,OAAO,KAAK,QAAQ;QACrC,CAAC,CAAC,eAAe,CAAC,MAAM,CAAC;QACzB,CAAC,CAAC,MAAM,CAAC,OAAO,KAAK,QAAQ,IAAI,MAAM,CAAC,WAAW,IAAI,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC,CAAC,IAAI,CAAC;IACrH,IAAI,CAAC,GAAG,IAAI,CAAC,MAAM,CAAC,OAAO,KAAK,QAAQ,IAAI,MAAM,CAAC,OAAO,KAAK,QAAQ,CAAC;QAAE,OAAO,IAAI,CAAC;IACtF,OAAO;QACL,SAAS,EAAE,OAAO,CAAC,SAAS;QAC5B,OAAO,EAAE,OAAO,CAAC,OAAO;QACxB,GAAG;QACH,OAAO,EAAE,MAAM,CAAC,OAAO;QACvB,IAAI,EAAE,EAAE,OAAO,EAAE,OAAO,CAAC,IAAI,CAAC,OAAO,EAAE,SAAS,EAAE,OAAO,CAAC,IAAI,CAAC,SAAS,EAAE;QAC1E,QAAQ,EAAE,OAAO,MAAM,CAAC,QAAQ,KAAK,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI;QACtE,gBAAgB,EAAE,OAAO,CAAC,UAAU;QACpC,UAAU,EAAE,GAAG,CAAC,WAAW,EAAE;QAC7B,GAAG,WAAW,CAAC,MAAM,CAAC,OAAO,KAAK,QAAQ,CAAC,CAAC,CAAC,cAAc,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC;KACvF,CAAC;AACJ,CAAC;AAED;;;GAGG;AACH,SAAS,cAAc,CAAC,MAAsB,EAAE,OAAe;IAC7D,IAAI,MAAM,CAAC,YAAY;QAAE,OAAO,MAAM,CAAC;IACvC,MAAM,WAAW,GAAG,MAAM,CAAC,WAAW,IAAI,CAAC,GAAG,iBAAiB,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;IACjF,MAAM,YAAY,GAAG,oBAAoB,CAAC;QACxC,QAAQ,EAAE,MAAM,CAAC,QAAQ;QACzB,gBAAgB,EAAE,WAAW,CAAC,MAAM,GAAG,CAAC,MAAM,CAAC,WAAW,EAAE,MAAM,IAAI,CAAC,CAAC;QACxE,WAAW,EAAE,MAAM,CAAC,WAAW;QAC/B,OAAO;QACP,OAAO,EAAE,MAAM,CAAC,OAAO;KACxB,CAAC,CAAC;IACH,IAAI,CAAC,YAAY;QAAE,OAAO,EAAE,GAAG,MAAM,EAAE,WAAW,EAAE,CAAC;IACrD,MAAM,QAAQ,GAAmB,EAAE,GAAG,MAAM,EAAE,YAAY,EAAE,CAAC;IAC7D,OAAO,QAAQ,CAAC,WAAW,CAAC;IAC5B,OAAO,QAAQ,CAAC,WAAW,CAAC;IAC5B,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED,mFAAmF;AACnF,SAAS,WAAW,CAAC,MAAsB;IACzC,OAAO;QACL,GAAG,CAAC,MAAM,CAAC,SAAS,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,MAAM,CAAC,SAAS,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QAC1E,GAAG,CAAC,MAAM,CAAC,WAAW,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,WAAW,EAAE,MAAM,CAAC,WAAW,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QAChF,GAAG,CAAC,MAAM,CAAC,iBAAiB,CAAC,CAAC,CAAC,EAAE,iBAAiB,EAAE,MAAM,CAAC,iBAAiB,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QACpF,GAAG,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC,CAAC,EAAE,WAAW,EAAE,MAAM,CAAC,WAAW,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QAClE,GAAG,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC,CAAC,EAAE,WAAW,EAAE,MAAM,CAAC,WAAW,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QAClE,GAAG,CAAC,MAAM,CAAC,YAAY,CAAC,CAAC,CAAC,EAAE,YAAY,EAAE,MAAM,CAAC,YAAY,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QACrE,GAAG,CAAC,MAAM,CAAC,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,MAAM,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QACpE,GAAG,CAAC,MAAM,CAAC,UAAU,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,UAAU,EAAE,MAAM,CAAC,UAAU,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QAC7E,GAAG,CAAC,MAAM,CAAC,UAAU,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,UAAU,EAAE,MAAM,CAAC,UAAU,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QAC7E,GAAG,CAAC,MAAM,CAAC,aAAa,CAAC,CAAC,CAAC,EAAE,aAAa,EAAE,MAAM,CAAC,aAAa,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;KACzE,CAAC;AACJ,CAAC;AAQD;;;;;;;GAOG;AACH,MAAM,UAAU,mBAAmB,CAAC,CAAkD;IACpF,MAAM,GAAG,GAAG,CAAC,CAAC,kBAAkB,IAAI,EAAE,CAAC;IACvC,IAAI,OAAO,GAAG,CAAC,OAAO,KAAK,QAAQ;QAAE,OAAO,IAAI,CAAC;IACjD,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,OAAO,EAAE,OAAO,EAAE,GAAG,CAAC,OAAO,EAAE,SAAS,EAAE,CAAC;AAC7C,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,UAAU,iBAAiB,CAAC,MAAc,EAAE,MAAsC;IACtF,MAAM,OAAO,GAAG,MAAM,KAAK,eAAe,CAAC,CAAC,CAAC,mBAAmB,CAAC,EAAE,kBAAkB,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC;IAC1G,OAAO,UAAU,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,aAAa,CAAC,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;AAClG,CAAC;AAED,qFAAqF;AACrF,SAAS,aAAa,CAAC,KAAc;IACnC,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;QAAE,OAAO,IAAI,KAAK,CAAC,GAAG,CAAC,aAAa,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC;IAC3E,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,EAAE,CAAC;QAChD,MAAM,MAAM,GAAG,KAAgC,CAAC;QAChD,OAAO,IAAI,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,aAAa,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC;IACpH,CAAC;IACD,OAAO,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,IAAI,MAAM,CAAC;AACzC,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,sBAAsB,CACpC,CAA2F,EAC3F,MAAsB,EACtB,eAAwB,EACxB,MAAyC,EACzC,cAAkD,uBAAuB;IAEzE,MAAM,OAAO,GAAG,MAAM,CAAC,aAAa,CAAC;IACrC,MAAM,IAAI,GAAG,OAAO,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,OAAO,CAAC,OAAO,EAAE,SAAS,EAAE,OAAO,CAAC,SAAS,EAAE,CAAC,CAAC,CAAC,mBAAmB,CAAC,CAAC,CAAC,CAAC;IAC3G,IAAI,CAAC,MAAM,IAAI,CAAC,CAAC,CAAC,SAAS,IAAI,CAAC,CAAC,CAAC,OAAO,IAAI,CAAC,IAAI;QAAE,OAAO;IAC3D,MAAM,OAAO,GAAG,MAAM,CAAC,OAAO,KAAK,QAAQ,IAAI,CAAC,MAAM,CAAC,YAAY,CAAC,CAAC,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;IAC/F,MAAM,OAAO,GAAG,kBAAkB,CAAC,EAAE,SAAS,EAAE,CAAC,CAAC,SAAS,EAAE,OAAO,EAAE,CAAC,CAAC,OAAO,EAAE,UAAU,EAAE,CAAC,CAAC,UAAU,EAAE,IAAI,EAAE,EAAE,MAAM,EAAE,eAAe,EAAE,IAAI,IAAI,EAAE,EAAE,OAAO,CAAC,CAAC;IACjK,IAAI,OAAO;QAAE,MAAM,CAAC,OAAO,CAAC,CAAC;AAC/B,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,yBAAyB,CAAC,OAAsB;IAC9D,MAAM,EAAE,SAAS,EAAE,WAAW,EAAE,iBAAiB,EAAE,WAAW,EAAE,WAAW,EAAE,YAAY,EAAE,OAAO,EAAE,UAAU,EAAE,UAAU,EAAE,aAAa,EAAE,GAAG,OAAO,CAAC;IACtJ,OAAO;QACL,OAAO,EAAE,OAAO,CAAC,OAAO;QACxB,QAAQ,EAAE,OAAO,CAAC,QAAQ;QAC1B,WAAW,EAAE,OAAO,CAAC,GAAG;QACxB,SAAS,EAAE,mCAAmC,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,OAAO,OAAO,CAAC,UAAU,EAAE;cAC5F,CAAC,SAAS,CAAC,CAAC,CAAC,KAAK,SAAS,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QACvC,GAAG,CAAC,WAAW,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,WAAW,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QACrD,GAAG,CAAC,iBAAiB,CAAC,CAAC,CAAC,EAAE,iBAAiB,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QACnD,GAAG,CAAC,WAAW,CAAC,CAAC,CAAC,EAAE,WAAW,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QACvC,GAAG,CAAC,WAAW,CAAC,CAAC,CAAC,EAAE,WAAW,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QACvC,GAAG,CAAC,YAAY,CAAC,CAAC,CAAC,EAAE,YAAY,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QACzC,GAAG,CAAC,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QAC7C,GAAG,CAAC,UAAU,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,UAAU,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QACnD,GAAG,CAAC,UAAU,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,UAAU,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QACnD,GAAG,CAAC,aAAa,CAAC,CAAC,CAAC,EAAE,aAAa,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;KAC5C,CAAC;AACJ,CAAC"}

package/dist/verify/credit-rearm.d.ts

@@ -1,18 +0,0 @@
-import type { EvidenceLookup } from '../queries/deliveries.js';
-export interface CreditRearmDeps {
-    readCredits: (focusId: string) => Promise<EvidenceLookup<ReadonlyMap<string, string>>>;
-    release: (deliveryId: string) => void;
-}
-/** Test-only: forget every focus's last-seen credit set. */
-export declare function __resetCreditRearmForTests(): void;
-/** Release the run marks of the focus's in-verify deliveries when its credit set changed. */
-export declare function rearmOnCreditChange(focusId: string, deliveries: readonly {
-    id: string;
-    executionStatus: string | null;
-}[], deps?: CreditRearmDeps): Promise<void>;
-/** Wrap a focus-deliveries read so every read also checks the focus's credits. Never throws on the check. */
-export declare function withCreditRearm<T extends {
-    id: string;
-    executionStatus: string | null;
-}>(read: (focusId: string) => Promise<T[]>, deps?: CreditRearmDeps): (focusId: string) => Promise<T[]>;
-//# sourceMappingURL=credit-rearm.d.ts.map

package/dist/verify/credit-rearm.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"credit-rearm.d.ts","sourceRoot":"","sources":["../../src/verify/credit-rearm.ts"],"names":[],"mappings":"AAuCA,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,0BAA0B,CAAC;AA+B/D,MAAM,WAAW,eAAe;IAC9B,WAAW,EAAE,CAAC,OAAO,EAAE,MAAM,KAAK,OAAO,CAAC,cAAc,CAAC,WAAW,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC;IACvF,OAAO,EAAE,CAAC,UAAU,EAAE,MAAM,KAAK,IAAI,CAAC;CACvC;AASD,4DAA4D;AAC5D,wBAAgB,0BAA0B,IAAI,IAAI,CAEjD;AAED,6FAA6F;AAC7F,wBAAsB,mBAAmB,CACvC,OAAO,EAAE,MAAM,EACf,UAAU,EAAE,SAAS;IAAE,EAAE,EAAE,MAAM,CAAC;IAAC,eAAe,EAAE,MAAM,GAAG,IAAI,CAAA;CAAE,EAAE,EACrE,IAAI,GAAE,eAAkC,GACvC,OAAO,CAAC,IAAI,CAAC,CAgCf;AAED,6GAA6G;AAC7G,wBAAgB,eAAe,CAAC,CAAC,SAAS;IAAE,EAAE,EAAE,MAAM,CAAC;IAAC,eAAe,EAAE,MAAM,GAAG,IAAI,CAAA;CAAE,EACtF,IAAI,EAAE,CAAC,OAAO,EAAE,MAAM,KAAK,OAAO,CAAC,CAAC,EAAE,CAAC,EACvC,IAAI,GAAE,eAAkC,GACvC,CAAC,OAAO,EAAE,MAAM,KAAK,OAAO,CAAC,CAAC,EAAE,CAAC,CAUnC"}

package/dist/verify/credit-rearm.js

@@ -1,124 +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/credit-rearm.test.ts,
-//   packages/daemon/src/verify/reselection-log.test.ts,
-//   packages/daemon/src/verify/verification-default-on.test.ts
-// PINNED-BY-END
-/**
- * A new commit credit re-arms the focus's deliveries sitting in verify.
- *
- * A default-on verify judges a delivery once per commit: the run guard skips a
- * delivery already judged on the focus's unchanged HEAD. Recording a commit
- * credit changes a delivery's evidence WITHOUT a new commit, so a delivery held
- * at that commit -- above all one parked in verify by the unclearable-shortfall
- * diagnosis, which stops re-queuing -- would never be re-judged with the credit.
- *
- * This watches each focus's credit set as the verification scan reads the
- * focus's deliveries. The run mark is released for a delivery whose OWN credited
- * commits changed, so the next scan judges it again at the same commit (the
- * per-commit gate verdict is reused, so no suite re-runs; only the evidence and
- * reconciliation are re-read). The first sighting of a focus only records the
- * set: after a restart nothing is marked. An unreadable credit read changes
- * nothing.
- *
- * PER DELIVERY, NOT PER FOCUS -- and that distinction is the whole correctness
- * of this module. It used to compare one fingerprint of the focus's WHOLE credit
- * set and then release EVERY in-verify delivery when it moved, so attributing a
- * commit to delivery A re-armed parked sibling B, whose own evidence had not
- * changed at all. On 2026-09-24 that was one of the paths re-selecting a parked
- * delivery at an unchanged HEAD: the declared rule is that only a new ruling or
- * a new commit re-selects it, and a SIBLING's new commit is neither. A credit
- * set is per-delivery data; reading it as a focus-wide scalar threw away exactly
- * the attribution that makes it answerable.
- *
- * So the question asked here is "did THIS delivery's evidence change", which
- * needs no park read and no extra IO: the credit map already carries the
- * attribution, and a delivery whose own credits are unchanged is left alone.
- */
-import { DELIVERY_STATUS } from '@telora/daemon-core';
-import { getCommitAttributionsForFocus } from '../queries/commit-attributions.js';
-import { releaseDefaultOnMark } from './default-on-guards.js';
-import { logReselection } from './reselection-log.js';
-import { createLogger } from '../shell/log.js';
-const log = createLogger({ module: 'verification' });
-/** Focus id -> each of its deliveries' own credit fingerprint, as last seen. */
-const seenCredits = new Map();
-/**
- * Each delivery's OWN credited commits, fingerprinted. The credit map is keyed by
- * sha and VALUED by delivery, so the attribution is already there to be read --
- * this only groups it the way the question is asked. Pure.
- *
- * A delivery credited nothing has no entry, which compares equal to '' below, so
- * "no credits" and "no entry" are one state rather than a spurious change.
- */
-function creditsByDelivery(credits) {
-    const shas = new Map();
-    for (const [sha, deliveryId] of credits) {
-        const list = shas.get(deliveryId);
-        if (list)
-            list.push(sha);
-        else
-            shas.set(deliveryId, [sha]);
-    }
-    const out = new Map();
-    for (const [deliveryId, list] of shas)
-        out.set(deliveryId, list.sort().join(','));
-    return out;
-}
-const defaultRearmDeps = {
-    readCredits: getCommitAttributionsForFocus,
-    // Names itself, so the guard's own fallback line does not also speak: the
-    // per-delivery line below is the one that says why (verify/reselection-log.ts).
-    release: (deliveryId) => releaseDefaultOnMark(deliveryId, 'credit-rearm'),
-};
-/** Test-only: forget every focus's last-seen credit set. */
-export function __resetCreditRearmForTests() {
-    seenCredits.clear();
-}
-/** Release the run marks of the focus's in-verify deliveries when its credit set changed. */
-export async function rearmOnCreditChange(focusId, deliveries, deps = defaultRearmDeps) {
-    const inVerify = deliveries.filter((d) => d.executionStatus === DELIVERY_STATUS.VERIFY);
-    if (inVerify.length === 0)
-        return;
-    const lookup = await deps.readCredits(focusId);
-    if (lookup.state === 'undetermined')
-        return;
-    const current = creditsByDelivery(lookup.state === 'found' ? lookup.value : new Map());
-    const previous = seenCredits.get(focusId);
-    seenCredits.set(focusId, current);
-    if (previous === undefined)
-        return; // first sighting records only
-    const rearmed = [];
-    for (const d of inVerify) {
-        const before = previous.get(d.id) ?? '';
-        const now = current.get(d.id) ?? '';
-        // A SIBLING's credit is not this delivery's evidence, so it does not re-arm it.
-        if (before === now)
-            continue;
-        deps.release(d.id);
-        rearmed.push(d.id);
-        // PER DELIVERY, not only per focus: the focus line below cannot be matched to
-        // the delivery a later dispatch names, which is exactly what the 2026-09-24
-        // re-dispatch investigation needed (verify/reselection-log.ts).
-        logReselection('credit-rearm', d.id, `its OWN commit credits on focus ${focusId} changed (${before === '' ? 'none' : before} -> `
-            + `${now === '' ? 'none' : now}), so its evidence is re-read at the same commit`);
-    }
-    if (rearmed.length === 0)
-        return;
-    log.info(`[verification] commit credits changed on focus ${focusId.slice(0, 8)}: re-judging ` +
-        `${rearmed.length} of ${inVerify.length} delivery(ies) in verify at the current commit ` +
-        '(only those whose own credits moved)');
-}
-/** Wrap a focus-deliveries read so every read also checks the focus's credits. Never throws on the check. */
-export function withCreditRearm(read, deps = defaultRearmDeps) {
-    return async (focusId) => {
-        const deliveries = await read(focusId);
-        try {
-            await rearmOnCreditChange(focusId, deliveries, deps);
-        }
-        catch (err) {
-            log.debug(`[verification] credit re-arm check failed for focus ${focusId.slice(0, 8)}:`, err.message);
-        }
-        return deliveries;
-    };
-}
-//# sourceMappingURL=credit-rearm.js.map

package/dist/verify/credit-rearm.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"credit-rearm.js","sourceRoot":"","sources":["../../src/verify/credit-rearm.ts"],"names":[],"mappings":"AAAA,8FAA8F;AAC9F,8DAA8D;AAC9D,wDAAwD;AACxD,+DAA+D;AAC/D,gBAAgB;AAEhB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA8BG;AAEH,OAAO,EAAE,eAAe,EAAE,MAAM,qBAAqB,CAAC;AAEtD,OAAO,EAAE,6BAA6B,EAAE,MAAM,mCAAmC,CAAC;AAClF,OAAO,EAAE,oBAAoB,EAAE,MAAM,wBAAwB,CAAC;AAC9D,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;AAErD,gFAAgF;AAChF,MAAM,WAAW,GAAG,IAAI,GAAG,EAAuC,CAAC;AAEnE;;;;;;;GAOG;AACH,SAAS,iBAAiB,CAAC,OAAoC;IAC7D,MAAM,IAAI,GAAG,IAAI,GAAG,EAAoB,CAAC;IACzC,KAAK,MAAM,CAAC,GAAG,EAAE,UAAU,CAAC,IAAI,OAAO,EAAE,CAAC;QACxC,MAAM,IAAI,GAAG,IAAI,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;QAClC,IAAI,IAAI;YAAE,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;;YACpB,IAAI,CAAC,GAAG,CAAC,UAAU,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IACnC,CAAC;IACD,MAAM,GAAG,GAAG,IAAI,GAAG,EAAkB,CAAC;IACtC,KAAK,MAAM,CAAC,UAAU,EAAE,IAAI,CAAC,IAAI,IAAI;QAAE,GAAG,CAAC,GAAG,CAAC,UAAU,EAAE,IAAI,CAAC,IAAI,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;IAClF,OAAO,GAAG,CAAC;AACb,CAAC;AAOD,MAAM,gBAAgB,GAAoB;IACxC,WAAW,EAAE,6BAA6B;IAC1C,0EAA0E;IAC1E,gFAAgF;IAChF,OAAO,EAAE,CAAC,UAAU,EAAE,EAAE,CAAC,oBAAoB,CAAC,UAAU,EAAE,cAAc,CAAC;CAC1E,CAAC;AAEF,4DAA4D;AAC5D,MAAM,UAAU,0BAA0B;IACxC,WAAW,CAAC,KAAK,EAAE,CAAC;AACtB,CAAC;AAED,6FAA6F;AAC7F,MAAM,CAAC,KAAK,UAAU,mBAAmB,CACvC,OAAe,EACf,UAAqE,EACrE,OAAwB,gBAAgB;IAExC,MAAM,QAAQ,GAAG,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,eAAe,KAAK,eAAe,CAAC,MAAM,CAAC,CAAC;IACxF,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO;IAClC,MAAM,MAAM,GAAG,MAAM,IAAI,CAAC,WAAW,CAAC,OAAO,CAAC,CAAC;IAC/C,IAAI,MAAM,CAAC,KAAK,KAAK,cAAc;QAAE,OAAO;IAC5C,MAAM,OAAO,GAAG,iBAAiB,CAAC,MAAM,CAAC,KAAK,KAAK,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,GAAG,EAAE,CAAC,CAAC;IACvF,MAAM,QAAQ,GAAG,WAAW,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;IAC1C,WAAW,CAAC,GAAG,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC;IAClC,IAAI,QAAQ,KAAK,SAAS;QAAE,OAAO,CAAC,8BAA8B;IAClE,MAAM,OAAO,GAAa,EAAE,CAAC;IAC7B,KAAK,MAAM,CAAC,IAAI,QAAQ,EAAE,CAAC;QACzB,MAAM,MAAM,GAAG,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,EAAE,CAAC;QACxC,MAAM,GAAG,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,EAAE,CAAC;QACpC,gFAAgF;QAChF,IAAI,MAAM,KAAK,GAAG;YAAE,SAAS;QAC7B,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QACnB,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QACnB,8EAA8E;QAC9E,4EAA4E;QAC5E,gEAAgE;QAChE,cAAc,CACZ,cAAc,EAAE,CAAC,CAAC,EAAE,EACpB,mCAAmC,OAAO,aAAa,MAAM,KAAK,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,MAAM;cAC1F,GAAG,GAAG,KAAK,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,GAAG,kDAAkD,CACjF,CAAC;IACJ,CAAC;IACD,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO;IACjC,GAAG,CAAC,IAAI,CACN,kDAAkD,OAAO,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,eAAe;QACpF,GAAG,OAAO,CAAC,MAAM,OAAO,QAAQ,CAAC,MAAM,iDAAiD;QACxF,sCAAsC,CACvC,CAAC;AACJ,CAAC;AAED,6GAA6G;AAC7G,MAAM,UAAU,eAAe,CAC7B,IAAuC,EACvC,OAAwB,gBAAgB;IAExC,OAAO,KAAK,EAAE,OAAO,EAAE,EAAE;QACvB,MAAM,UAAU,GAAG,MAAM,IAAI,CAAC,OAAO,CAAC,CAAC;QACvC,IAAI,CAAC;YACH,MAAM,mBAAmB,CAAC,OAAO,EAAE,UAAU,EAAE,IAAI,CAAC,CAAC;QACvD,CAAC;QAAC,OAAO,GAAG,EAAE,CAAC;YACb,GAAG,CAAC,KAAK,CAAC,uDAAuD,OAAO,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,EAAG,GAAa,CAAC,OAAO,CAAC,CAAC;QACnH,CAAC;QACD,OAAO,UAAU,CAAC;IACpB,CAAC,CAAC;AACJ,CAAC"}

package/dist/verify/de-restatement.d.ts

@@ -1,89 +0,0 @@
-/**
- * Desired-effect restatement helper.
- *
- * Turns a UDE (plus its resolving injection(s)) into one concise,
- * injection-conditioned positive desired-effect sentence. Reuses the same
- * model-invocation pattern as `ai-inspection-runner.ts` -- spawning the
- * `claude` CLI in print mode -- so there is NO new client or secret wiring.
- *
- * Two prompt modes:
- *   - injection-conditioned (injectionStatements present): the desired effect
- *     is the positive state the UDE BECOMES given those injections; it carries
- *     the resolution, it is NOT a naive antonym.
- *   - observation-conditioned (no injections): a positive restatement grounded
- *     in the evidence/observation of the UDE.
- *
- * Idempotency: callers use `needsRestatement()` to skip nodes that already
- * carry a positive statement (an FRT overlay that is non-null, or a base
- * statement that no longer equals the pre-flip UDE text).
- *
- * @module de-restatement
- */
-import type { ChildProcess } from 'node:child_process';
-export interface RestatementInputs {
-    /** The undesirable-effect statement to restate positively. */
-    udeStatement: string;
-    /** Resolving injection statement(s). Presence selects injection-conditioned mode. */
-    injectionStatements?: string[];
-    /** Supporting observation; used in observation-conditioned mode. */
-    evidence?: string;
-}
-interface SpawnOpts {
-    stdio: ['pipe', 'pipe', 'pipe'];
-}
-export interface RestatementOptions {
-    /** Names the caller in logs and the failure message (default: 'de-restatement'). */
-    label?: string;
-    /** Path to the `claude` CLI binary (default: 'claude'). */
-    claudeBin?: string;
-    /** Timeout in ms; defaults to 2 minutes. */
-    timeoutMs?: number;
-    /** Override spawn for tests. Defaults to node:child_process spawn. */
-    spawnFn?: (cmd: string, args: string[], opts: SpawnOpts) => ChildProcess;
-    /**
-     * Override the entire model invocation for tests -- bypasses spawning the
-     * CLI. Receives the system prompt and user message, returns the raw model
-     * text. When omitted, the default spawns the `claude` CLI in print mode.
-     */
-    invokeModel?: (systemPrompt: string, userMessage: string) => Promise<string>;
-}
-export declare const RESTATEMENT_SYSTEM_PROMPT = "You restate an undesirable effect (UDE) from a Goldratt reality tree as the single positive desired effect it becomes once resolved.\n\nRules:\n- Output exactly ONE sentence. No preamble, no list, no trailing commentary, no quotes.\n- The desired effect must read as a concrete positive outcome, not a negation of the problem (\"operators can tell...\" is weak; \"operators see at a glance which focuses are blocked and why\" is strong).\n- When resolving injection(s) are provided, the desired effect is the positive state the UDE BECOMES given those injections -- it must carry the resolution the injection delivers, not a naive antonym of the UDE.\n- Keep the subject and domain of the original UDE; only flip its polarity to the resolved, desirable state.";
-/**
- * The system prompt is fixed for both modes (mode is conveyed by the user
- * message). Exposed as a function to mirror `ai-inspection-runner`'s shape
- * and to keep callers from depending on the constant directly.
- */
-export declare function buildRestatementSystemPrompt(): string;
-/**
- * Build the user message. Injection-conditioned when `injectionStatements`
- * are present, otherwise observation-conditioned.
- */
-export declare function buildRestatementUserMessage(inputs: RestatementInputs): string;
-/**
- * Idempotency predicate. Returns true when a desired-effect node still needs a
- * positive restatement.
- *
- * - `currentText` is the field a caller would write (frt_statement for the FRT
- *   overlay case, statement for the base flip case). Null/blank => needs one.
- * - `originalUdeText`, when supplied (base flip case), is the pre-flip UDE
- *   statement. If `currentText` still equals it, the positive text was never
- *   authored => needs one.
- */
-export declare function needsRestatement(currentText: string | null | undefined, originalUdeText?: string | null): boolean;
-/**
- * Default model invocation: the shared one-shot wrapper (spawn/one-shot-model.ts),
- * returning the answer text. Rejects with ModelUnavailable -- a typed
- * non-judgment -- when the model could not be reached; a caller that must not
- * record that as a verdict reads `isModelUnavailable(err)`.
- */
-export declare function invokeClaudeCli(systemPrompt: string, userMessage: string, opts: RestatementOptions): Promise<string>;
-/**
- * Author the positive desired-effect restatement for a UDE.
- *
- * Returns a single positive sentence. Throws on model-invocation failure;
- * callers (the at-source flip path, the reconciliation backstop) catch and
- * skip so a single failure never aborts the surrounding loop.
- */
-export declare function authorRestatement(inputs: RestatementInputs, opts?: RestatementOptions): Promise<string>;
-export {};
-//# sourceMappingURL=de-restatement.d.ts.map

package/dist/verify/de-restatement.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"de-restatement.d.ts","sourceRoot":"","sources":["../../src/verify/de-restatement.ts"],"names":[],"mappings":"AAIA;;;;;;;;;;;;;;;;;;;;GAoBG;AAEH,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAC;AAGvD,MAAM,WAAW,iBAAiB;IAChC,8DAA8D;IAC9D,YAAY,EAAE,MAAM,CAAC;IACrB,qFAAqF;IACrF,mBAAmB,CAAC,EAAE,MAAM,EAAE,CAAC;IAC/B,oEAAoE;IACpE,QAAQ,CAAC,EAAE,MAAM,CAAC;CACnB;AAED,UAAU,SAAS;IACjB,KAAK,EAAE,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,CAAC,CAAC;CACjC;AAED,MAAM,WAAW,kBAAkB;IACjC,oFAAoF;IACpF,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,2DAA2D;IAC3D,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,4CAA4C;IAC5C,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,sEAAsE;IACtE,OAAO,CAAC,EAAE,CAAC,GAAG,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,IAAI,EAAE,SAAS,KAAK,YAAY,CAAC;IACzE;;;;OAIG;IACH,WAAW,CAAC,EAAE,CAAC,YAAY,EAAE,MAAM,EAAE,WAAW,EAAE,MAAM,KAAK,OAAO,CAAC,MAAM,CAAC,CAAC;CAC9E;AAED,eAAO,MAAM,yBAAyB,4vBAMsE,CAAC;AAE7G;;;;GAIG;AACH,wBAAgB,4BAA4B,IAAI,MAAM,CAErD;AAED;;;GAGG;AACH,wBAAgB,2BAA2B,CAAC,MAAM,EAAE,iBAAiB,GAAG,MAAM,CAoB7E;AAED;;;;;;;;;GASG;AACH,wBAAgB,gBAAgB,CAC9B,WAAW,EAAE,MAAM,GAAG,IAAI,GAAG,SAAS,EACtC,eAAe,CAAC,EAAE,MAAM,GAAG,IAAI,GAC9B,OAAO,CAIT;AAcD;;;;;GAKG;AACH,wBAAsB,eAAe,CACnC,YAAY,EAAE,MAAM,EACpB,WAAW,EAAE,MAAM,EACnB,IAAI,EAAE,kBAAkB,GACvB,OAAO,CAAC,MAAM,CAAC,CAQjB;AAED;;;;;;GAMG;AACH,wBAAsB,iBAAiB,CACrC,MAAM,EAAE,iBAAiB,EACzB,IAAI,GAAE,kBAAuB,GAC5B,OAAO,CAAC,MAAM,CAAC,CAUjB"}