@telora/daemon 0.22.239 → 0.22.289

package/dist/verify/verification-evidence-unavailable-feedback.d.ts

@@ -1,56 +0,0 @@
-import { type DeliveryGateState, type EvidenceUnavailableDetail } from '../queries/deliveries.js';
-import { EVIDENCE_UNAVAILABLE_GUARD } from '../queries/verify-own-holds.js';
-import type { PendingVerification } from '../queries/verification.js';
-import { type ShortfallRequeueDeps } from './verification-feedback.js';
-import { type ReworkRunJudgment } from './rework-judgment.js';
-import { type ReworkIssueDeps } from './verification-rework-issue.js';
-/**
- * gate_state guard name for a verify EVIDENCE-UNAVAILABLE (instrument-fault)
- * hold. The verify path was handed nothing it could judge the work against, so
- * it is BLIND -- distinct from both the deterministic guard (a shell command
- * failed) and the shortfall guard (the work fell short of intent). A reader
- * must never see the gate's own blindness rendered as a verdict about the work.
- * Defined with verify's other guard names in queries/verify-own-holds.ts.
- */
-export { EVIDENCE_UNAVAILABLE_GUARD };
-/** Build the gate_state for an evidence-unavailable instrument-fault hold. Pure -- exported for testing. */
-export declare function buildEvidenceUnavailableGateState(detail: EvidenceUnavailableDetail): DeliveryGateState;
-/** Build the informational message injected into a live coding team. Pure -- exported for testing. */
-export declare function buildEvidenceUnavailableInjectMessage(deliveryName: string, detail: EvidenceUnavailableDetail): string;
-/**
- * Re-enter a verify EVIDENCE-UNAVAILABLE instrument fault as BOUNDED RE-WORK,
- * never a human inbox item.
- *
- * "A hold must name a human act" (2026-07-28): verify_evidence_unavailable named
- * no act only a human can perform -- its helpNeeded ("fix the diff range /
- * confirm the merge / clear the delivery manually") is the gate reporting its own
- * blindness to an operator queue, the same topology defect this focus exists to
- * remove. So it no longer FILES an escalation.
- *
- * Two flavours reach here: EMPTY (nothing judgeable at all) and INCOMPLETE
- * (half-blind -- the resolved range covered only part of the delivery's recorded
- * commit set, so a verdict would judge part of the work). Both are the gate
- * failing to vouch for its own evidence, so both take this path.
- *
- * Where the delivery's diff is recoverable (the recorded commit set, or a real
- * merge commit -- see resolveRecordedCommitRange / resolveRecordedMergeRange,
- * the latter refusing a non-merge sha), the reconciliation renders a verdict and
- * this path is never reached. Where the evidence cannot be vouched for, the
- * delivery re-enters the SAME bounded
- * verify -> verify_failed re-work the shortfall case uses (requeueShortfallAsRework):
- * routed through the single-writer reconciler with `gaps_found` + `fromStatus:'verify'`
- * so the server-side iteration_count increment fires and the EXISTING
- * TELORA_VERIFY_FAILED_ITERATION_CAP (-> verify_gate_unclearable, needs_operator)
- * bounds it. verify_gate_unclearable is the SOLE surviving human residue.
- *
- * Writes the evidence-unavailable gate_state (never a shortfall verdict) so the
- * re-queued team's resume prompt carries the instrument-fault context, and best-
- * effort injects it into a live coding team. Files NO escalation. Best-effort
- * throughout -- a feedback failure must never crash the verification tick.
- */
-export declare function requeueEvidenceUnavailableAsRework(v: Pick<PendingVerification, 'deliveryId' | 'deliveryName' | 'focusId'> & Partial<Pick<PendingVerification, 'productId'>>, fault: Omit<EvidenceUnavailableDetail, 'heldAt'>, organizationId: string, deps?: Partial<ShortfallRequeueDeps & ReworkIssueDeps>, opts?: ReworkRunJudgment): Promise<{
-    transitioned: boolean;
-    injected: boolean;
-    detail: EvidenceUnavailableDetail;
-}>;
-//# sourceMappingURL=verification-evidence-unavailable-feedback.d.ts.map

package/dist/verify/verification-evidence-unavailable-feedback.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"verification-evidence-unavailable-feedback.d.ts","sourceRoot":"","sources":["../../src/verify/verification-evidence-unavailable-feedback.ts"],"names":[],"mappings":"AA4BA,OAAO,EACL,KAAK,iBAAiB,EACtB,KAAK,yBAAyB,EAC/B,MAAM,0BAA0B,CAAC;AAElC,OAAO,EAAE,0BAA0B,EAAE,MAAM,gCAAgC,CAAC;AAC5E,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,4BAA4B,CAAC;AAItE,OAAO,EAGL,KAAK,oBAAoB,EAC1B,MAAM,4BAA4B,CAAC;AACpC,OAAO,EAA4C,KAAK,iBAAiB,EAAE,MAAM,sBAAsB,CAAC;AAExG,OAAO,EAAuD,KAAK,eAAe,EAAE,MAAM,gCAAgC,CAAC;AAS3H;;;;;;;GAOG;AACH,OAAO,EAAE,0BAA0B,EAAE,CAAC;AAEtC,4GAA4G;AAC5G,wBAAgB,iCAAiC,CAAC,MAAM,EAAE,yBAAyB,GAAG,iBAAiB,CAOtG;AAED,sGAAsG;AACtG,wBAAgB,qCAAqC,CACnD,YAAY,EAAE,MAAM,EACpB,MAAM,EAAE,yBAAyB,GAChC,MAAM,CA8DR;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA8BG;AACH,wBAAsB,kCAAkC,CACtD,CAAC,EAAE,IAAI,CAAC,mBAAmB,EAAE,YAAY,GAAG,cAAc,GAAG,SAAS,CAAC,GAAG,OAAO,CAAC,IAAI,CAAC,mBAAmB,EAAE,WAAW,CAAC,CAAC,EACzH,KAAK,EAAE,IAAI,CAAC,yBAAyB,EAAE,QAAQ,CAAC,EAChD,cAAc,EAAE,MAAM,EACtB,IAAI,GAAE,OAAO,CAAC,oBAAoB,GAAG,eAAe,CAAM,EAC1D,IAAI,GAAE,iBAAsB,GAC3B,OAAO,CAAC;IAAE,YAAY,EAAE,OAAO,CAAC;IAAC,QAAQ,EAAE,OAAO,CAAC;IAAC,MAAM,EAAE,yBAAyB,CAAA;CAAE,CAAC,CAuE1F"}

package/dist/verify/verification-evidence-unavailable-feedback.js

@@ -1,219 +0,0 @@
-// PINNED-BY-BEGIN (generated by gen:pinned-by -- do not hand-edit; checked by lint:pinned-by)
-// Pinned by: packages/daemon/src/git/merge-sha-observation-fault.test.ts,
-//   packages/daemon/src/integration/verification-history-round-trip.test.ts,
-//   packages/daemon/src/verify/misattributed-hold.test.ts,
-//   packages/daemon/src/verify/verification-default-on.test.ts,
-//   packages/daemon/src/verify/verify-evidence-unavailable.test.ts
-// PINNED-BY-END
-/**
- * Evidence-unavailable instrument-fault feedback: bounded re-work re-entry.
- *
- * A gate must not report its own blindness -- AND must not hand that blindness to
- * a human. When the verify path was handed nothing it could judge the work
- * against (empty, half-blind, or unattributable evidence), the delivery re-enters
- * the SAME bounded verify -> verify_failed re-work the shortfall and
- * deterministic-failure paths use, through the single-writer reconciler, filing
- * NO escalation.
- *
- * Sliced out of verification-feedback.ts to keep that file under the daemon
- * 800-line limit. Shares the requeue machinery (ShortfallRequeueDeps /
- * defaultRequeueDeps) and the EVIDENCE_UNAVAILABLE_GUARD guard-name with
- * verification-feedback.ts; the dependency is one-way (this module imports from
- * verification-feedback, never the reverse).
- *
- * @module verification-evidence-unavailable-feedback
- */
-import { DELIVERY_STATUS } from '@telora/daemon-core';
-import { carryVerificationHistory } from '../queries/delivery-gate-state.js';
-import { EVIDENCE_UNAVAILABLE_GUARD } from '../queries/verify-own-holds.js';
-import { createLogger } from '../shell/log.js';
-import { formatTimeoutAppliedLine } from './verification-timeout-fault.js';
-import { buildGateVerdictLines, HELD_BY_UNMEASURED_EVIDENCE } from '../prompt-sections/gate-verdict-section.js';
-import { defaultRequeueDeps, readPriorGateStateBestEffort, } from './verification-feedback.js';
-import { reworkDetailVerdict, stampReworkJudgment } from './rework-judgment.js';
-import { renderMisattributedCommitLines } from './misattributed-commits.js';
-import { defaultReworkIssueDeps, fileVerificationReworkIssue } from './verification-rework-issue.js';
-/** `lines` preceded by a blank line, or nothing when there are none. */
-function prefixBlank(lines) {
-    return lines.length > 0 ? ['', ...lines] : [];
-}
-const log = createLogger({ module: 'verification' });
-/**
- * gate_state guard name for a verify EVIDENCE-UNAVAILABLE (instrument-fault)
- * hold. The verify path was handed nothing it could judge the work against, so
- * it is BLIND -- distinct from both the deterministic guard (a shell command
- * failed) and the shortfall guard (the work fell short of intent). A reader
- * must never see the gate's own blindness rendered as a verdict about the work.
- * Defined with verify's other guard names in queries/verify-own-holds.ts.
- */
-export { EVIDENCE_UNAVAILABLE_GUARD };
-/** Build the gate_state for an evidence-unavailable instrument-fault hold. Pure -- exported for testing. */
-export function buildEvidenceUnavailableGateState(detail) {
-    return {
-        blocking: [{ guardName: EVIDENCE_UNAVAILABLE_GUARD, passed: false }],
-        warnings: [],
-        evaluatedAt: detail.heldAt,
-        evidenceUnavailable: detail,
-    };
-}
-/** Build the informational message injected into a live coding team. Pure -- exported for testing. */
-export function buildEvidenceUnavailableInjectMessage(deliveryName, detail) {
-    // A DETERMINISTIC instrument fault (detail.deterministicFault: the verify RUN
-    // timed out or crashed before any test ran) reuses this generic body -- its
-    // specific cause rides in `missing` (printed below) and durably in
-    // gate_state.deterministicFault, so no separate message branch is needed. A
-    // timeout adds one line naming the timeout applied and its source, because
-    // the team cannot tell a stale override from a too-small manifest otherwise.
-    const timeoutLine = formatTimeoutAppliedLine(detail.deterministicFault);
-    const attributionLine = detail.attribution
-        ? `The merged batch of ${detail.attribution.batch} commit(s) carried ${detail.attribution.parsed} ` +
-            `parseable Telora-Delivery trailer(s) on a ${detail.attribution.deliveries}-delivery focus ` +
-            `(TOTAL ATTRIBUTION FAILURE) -- the batch cannot be partitioned, so a verdict would judge this ` +
-            `delivery against the combined diff of all its siblings. Stamp every commit with ` +
-            `\`git commit --trailer "Telora-Delivery: <deliveryId>"\` so the next batch is attributable.`
-        : null;
-    const coverageLine = detail.coverage
-        ? `The resolved diff covered only ${detail.coverage.covered}/${detail.coverage.recorded} of the ` +
-            `delivery's recorded commits (HALF-BLIND) -- a verdict would judge only part of the work.`
-        : null;
-    // Fully-blind (empty-source) diagnosis: name each consulted source and why it
-    // was empty, so the re-queued team can see WHERE the evidence chain broke
-    // (e.g. a fast-forward merge-back left no merge commit) rather than only that
-    // it did.
-    const diagnosticsBlock = detail.sourceDiagnostics && detail.sourceDiagnostics.length > 0
-        ? ['', 'Consulted diff sources (each yielded nothing):',
-            ...detail.sourceDiagnostics.map((s) => `- ${s.source}: ${s.reason}`)]
-        : [];
-    const verdictLines = buildGateVerdictLines(detail.gateVerdict, { heldBy: HELD_BY_UNMEASURED_EVIDENCE });
-    return [
-        `VERIFY COULD NOT MEASURE delivery "${deliveryName}": the gate could not vouch for the evidence ` +
-            `it was handed (none at all, not covering the whole delivery, or not attributable to it).`,
-        '',
-        'This is an INSTRUMENT FAULT, not a statement about your work and NOT a failing check. ' +
-            'The verify reconciliation could not see the whole delivery (empty, incomplete, or unattributable ' +
-            'evidence), so it declined to render any verdict (it must never report its own blindness -- or ' +
-            'half-blindness -- as a shortfall).',
-        '',
-        ...(verdictLines.length > 0 ? [...verdictLines, ''] : []),
-        ...(attributionLine ? [attributionLine, ''] : []),
-        ...(coverageLine ? [coverageLine, ''] : []),
-        `Missing evidence: ${detail.missing.join(', ') || '(all judgeable slots empty)'}`,
-        ...(timeoutLine ? [timeoutLine] : []),
-        ...diagnosticsBlock,
-        ...prefixBlank(renderMisattributedCommitLines(detail.misattributed)),
-        // The commits-ahead / empty-diff framing only applies to an EMPTY or half-blind
-        // bundle. In a total attribution failure the diff is non-empty (the whole batch)
-        // -- it is just unattributable -- so the attribution line above carries the fault.
-        ...(detail.attribution
-            ? []
-            : [
-                detail.commitsAhead > 0
-                    ? `The branch is ${detail.commitsAhead} commit(s) ahead of the base but the diff resolved empty -- a broken measurement.`
-                    : 'The branch is level with / behind the base (already merged, or no work attributable) -- no diff to read.',
-            ]),
-        '',
-        'The delivery is re-entering the BOUNDED coding cycle so the next verify has something to ' +
-            'measure. Make sure the delivery work is committed to THIS focus branch (not merged away, not ' +
-            'left on another branch) and each commit carries its Telora-Delivery trailer. NO operator ' +
-            'escalation is filed -- naming "fix the diff range / confirm the merge" asks for no act only a ' +
-            'human can perform, so this never reaches a human inbox. The existing verify_failed iteration ' +
-            'cap bounds the re-entry; verify_gate_unclearable is the sole residue if it cannot clear.',
-    ].join('\n');
-}
-/**
- * Re-enter a verify EVIDENCE-UNAVAILABLE instrument fault as BOUNDED RE-WORK,
- * never a human inbox item.
- *
- * "A hold must name a human act" (2026-07-28): verify_evidence_unavailable named
- * no act only a human can perform -- its helpNeeded ("fix the diff range /
- * confirm the merge / clear the delivery manually") is the gate reporting its own
- * blindness to an operator queue, the same topology defect this focus exists to
- * remove. So it no longer FILES an escalation.
- *
- * Two flavours reach here: EMPTY (nothing judgeable at all) and INCOMPLETE
- * (half-blind -- the resolved range covered only part of the delivery's recorded
- * commit set, so a verdict would judge part of the work). Both are the gate
- * failing to vouch for its own evidence, so both take this path.
- *
- * Where the delivery's diff is recoverable (the recorded commit set, or a real
- * merge commit -- see resolveRecordedCommitRange / resolveRecordedMergeRange,
- * the latter refusing a non-merge sha), the reconciliation renders a verdict and
- * this path is never reached. Where the evidence cannot be vouched for, the
- * delivery re-enters the SAME bounded
- * verify -> verify_failed re-work the shortfall case uses (requeueShortfallAsRework):
- * routed through the single-writer reconciler with `gaps_found` + `fromStatus:'verify'`
- * so the server-side iteration_count increment fires and the EXISTING
- * TELORA_VERIFY_FAILED_ITERATION_CAP (-> verify_gate_unclearable, needs_operator)
- * bounds it. verify_gate_unclearable is the SOLE surviving human residue.
- *
- * Writes the evidence-unavailable gate_state (never a shortfall verdict) so the
- * re-queued team's resume prompt carries the instrument-fault context, and best-
- * effort injects it into a live coding team. Files NO escalation. Best-effort
- * throughout -- a feedback failure must never crash the verification tick.
- */
-export async function requeueEvidenceUnavailableAsRework(v, fault, organizationId, deps = {}, opts = {}) {
-    const d = { ...defaultRequeueDeps(), ...defaultReworkIssueDeps(), ...deps };
-    // The gate may well have passed on the commit while the evidence could not be
-    // measured; carry the verdict THIS run rendered for the commit it judged (never
-    // the HEAD at re-work time) so the team does not replay the gate. A blind run
-    // rendered none, so it carries none.
-    const gateVerdict = reworkDetailVerdict(d, v, opts);
-    const detail = { heldAt: d.now(), ...fault, ...(gateVerdict ? { gateVerdict } : {}) };
-    // An instrument fault is no rejection of the work. It carries the prior
-    // verification history forward untouched, so a blind cycle neither restarts
-    // nor extends the repeat counts. Only the judged commit is replaced.
-    const priorGateState = await readPriorGateStateBestEffort(d, v.deliveryId);
-    const gateState = stampReworkJudgment(carryVerificationHistory(priorGateState, buildEvidenceUnavailableGateState(detail)), opts, detail.heldAt);
-    // A run that failed with tests the gate could not parse is a real red: file it as
-    // work so the re-work re-entry has an issue to fix (verify/verification-rework-issue.ts).
-    // Every other instrument fault (a blind diff, a timeout) says nothing about the code.
-    if (fault.deterministicFault?.kind === 'blind_zero_parse') {
-        const { exitCode } = fault.deterministicFault;
-        await fileVerificationReworkIssue(v.deliveryId, {
-            sha: opts.judgedSha ?? null, failingTests: [], exitCode, logPath: null,
-            parseFailure: { exitCode, logPath: null, reportedFailures: null },
-        }, d);
-    }
-    const decision = d.resolveReconciledWrite({
-        input: {
-            currentStatus: DELIVERY_STATUS.VERIFY,
-            issues: [],
-            gitState: { worktreeCommitted: true },
-            guardVerdict: null,
-            reviewState: {
-                outcome: 'gaps_found',
-                reviewRequested: true,
-                reportExists: false,
-                sessionType: 'coding',
-                succeeded: false,
-            },
-        },
-    });
-    let transitioned = false;
-    try {
-        await d.transitionDelivery(v.deliveryId, decision.target, gateState, {
-            organizationId,
-            fromStatus: DELIVERY_STATUS.VERIFY,
-        });
-        transitioned = true;
-    }
-    catch (err) {
-        log.warn(`failed to requeue evidence-unavailable as re-work for delivery ${v.deliveryId}:`, err.message);
-    }
-    let injected = false;
-    if (v.focusId) {
-        const team = d.getActiveTeams().get(v.focusId);
-        // Do not retask a live review team (parity with directive inject guard).
-        if (team && team.leadStdin && team.sessionType !== 'review') {
-            try {
-                d.sendMessage(team.leadStdin, buildEvidenceUnavailableInjectMessage(v.deliveryName, detail));
-                injected = true;
-            }
-            catch (err) {
-                log.warn(`failed to inject evidence-unavailable re-work to team ${v.focusId}:`, err.message);
-            }
-        }
-    }
-    return { transitioned, injected, detail };
-}
-//# sourceMappingURL=verification-evidence-unavailable-feedback.js.map

package/dist/verify/verification-evidence-unavailable-feedback.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"verification-evidence-unavailable-feedback.js","sourceRoot":"","sources":["../../src/verify/verification-evidence-unavailable-feedback.ts"],"names":[],"mappings":"AAAA,8FAA8F;AAC9F,0EAA0E;AAC1E,6EAA6E;AAC7E,2DAA2D;AAC3D,gEAAgE;AAChE,mEAAmE;AACnE,gBAAgB;AAEhB;;;;;;;;;;;;;;;;;GAiBG;AAEH,OAAO,EAAE,eAAe,EAAE,MAAM,qBAAqB,CAAC;AAKtD,OAAO,EAAE,wBAAwB,EAAE,MAAM,mCAAmC,CAAC;AAC7E,OAAO,EAAE,0BAA0B,EAAE,MAAM,gCAAgC,CAAC;AAE5E,OAAO,EAAE,YAAY,EAAE,MAAM,iBAAiB,CAAC;AAC/C,OAAO,EAAE,wBAAwB,EAAE,MAAM,iCAAiC,CAAC;AAC3E,OAAO,EAAE,qBAAqB,EAAE,2BAA2B,EAAE,MAAM,4CAA4C,CAAC;AAChH,OAAO,EACL,kBAAkB,EAClB,4BAA4B,GAE7B,MAAM,4BAA4B,CAAC;AACpC,OAAO,EAAE,mBAAmB,EAAE,mBAAmB,EAA0B,MAAM,sBAAsB,CAAC;AACxG,OAAO,EAAE,8BAA8B,EAAE,MAAM,4BAA4B,CAAC;AAC5E,OAAO,EAAE,sBAAsB,EAAE,2BAA2B,EAAwB,MAAM,gCAAgC,CAAC;AAE3H,wEAAwE;AACxE,SAAS,WAAW,CAAC,KAAe;IAClC,OAAO,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;AAChD,CAAC;AAED,MAAM,GAAG,GAAG,YAAY,CAAC,EAAE,MAAM,EAAE,cAAc,EAAE,CAAC,CAAC;AAErD;;;;;;;GAOG;AACH,OAAO,EAAE,0BAA0B,EAAE,CAAC;AAEtC,4GAA4G;AAC5G,MAAM,UAAU,iCAAiC,CAAC,MAAiC;IACjF,OAAO;QACL,QAAQ,EAAE,CAAC,EAAE,SAAS,EAAE,0BAA0B,EAAE,MAAM,EAAE,KAAK,EAAE,CAAC;QACpE,QAAQ,EAAE,EAAE;QACZ,WAAW,EAAE,MAAM,CAAC,MAAM;QAC1B,mBAAmB,EAAE,MAAM;KAC5B,CAAC;AACJ,CAAC;AAED,sGAAsG;AACtG,MAAM,UAAU,qCAAqC,CACnD,YAAoB,EACpB,MAAiC;IAEjC,8EAA8E;IAC9E,4EAA4E;IAC5E,mEAAmE;IACnE,4EAA4E;IAC5E,2EAA2E;IAC3E,6EAA6E;IAC7E,MAAM,WAAW,GAAG,wBAAwB,CAAC,MAAM,CAAC,kBAAkB,CAAC,CAAC;IACxE,MAAM,eAAe,GAAG,MAAM,CAAC,WAAW;QACxC,CAAC,CAAC,uBAAuB,MAAM,CAAC,WAAW,CAAC,KAAK,sBAAsB,MAAM,CAAC,WAAW,CAAC,MAAM,GAAG;YACjG,6CAA6C,MAAM,CAAC,WAAW,CAAC,UAAU,kBAAkB;YAC5F,gGAAgG;YAChG,kFAAkF;YAClF,6FAA6F;QAC/F,CAAC,CAAC,IAAI,CAAC;IACT,MAAM,YAAY,GAAG,MAAM,CAAC,QAAQ;QAClC,CAAC,CAAC,kCAAkC,MAAM,CAAC,QAAQ,CAAC,OAAO,IAAI,MAAM,CAAC,QAAQ,CAAC,QAAQ,UAAU;YAC/F,0FAA0F;QAC5F,CAAC,CAAC,IAAI,CAAC;IACT,8EAA8E;IAC9E,0EAA0E;IAC1E,8EAA8E;IAC9E,UAAU;IACV,MAAM,gBAAgB,GAAG,MAAM,CAAC,iBAAiB,IAAI,MAAM,CAAC,iBAAiB,CAAC,MAAM,GAAG,CAAC;QACtF,CAAC,CAAC,CAAC,EAAE,EAAE,gDAAgD;YACpD,GAAG,MAAM,CAAC,iBAAiB,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,MAAM,KAAK,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC;QACxE,CAAC,CAAC,EAAE,CAAC;IACP,MAAM,YAAY,GAAG,qBAAqB,CAAC,MAAM,CAAC,WAAW,EAAE,EAAE,MAAM,EAAE,2BAA2B,EAAE,CAAC,CAAC;IACxG,OAAO;QACL,sCAAsC,YAAY,+CAA+C;YACjG,0FAA0F;QAC1F,EAAE;QACF,wFAAwF;YACxF,mGAAmG;YACnG,gGAAgG;YAChG,oCAAoC;QACpC,EAAE;QACF,GAAG,CAAC,YAAY,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,YAAY,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;QACzD,GAAG,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC,eAAe,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;QACjD,GAAG,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,YAAY,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;QAC3C,qBAAqB,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,6BAA6B,EAAE;QACjF,GAAG,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;QACrC,GAAG,gBAAgB;QACnB,GAAG,WAAW,CAAC,8BAA8B,CAAC,MAAM,CAAC,aAAa,CAAC,CAAC;QACpE,gFAAgF;QAChF,iFAAiF;QACjF,mFAAmF;QACnF,GAAG,CAAC,MAAM,CAAC,WAAW;YACpB,CAAC,CAAC,EAAE;YACJ,CAAC,CAAC;gBACE,MAAM,CAAC,YAAY,GAAG,CAAC;oBACrB,CAAC,CAAC,iBAAiB,MAAM,CAAC,YAAY,mFAAmF;oBACzH,CAAC,CAAC,0GAA0G;aAC/G,CAAC;QACN,EAAE;QACF,2FAA2F;YAC3F,+FAA+F;YAC/F,2FAA2F;YAC3F,gGAAgG;YAChG,+FAA+F;YAC/F,0FAA0F;KAC3F,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AACf,CAAC;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA8BG;AACH,MAAM,CAAC,KAAK,UAAU,kCAAkC,CACtD,CAAyH,EACzH,KAAgD,EAChD,cAAsB,EACtB,OAAwD,EAAE,EAC1D,OAA0B,EAAE;IAE5B,MAAM,CAAC,GAAG,EAAE,GAAG,kBAAkB,EAAE,EAAE,GAAG,sBAAsB,EAAE,EAAE,GAAG,IAAI,EAAE,CAAC;IAC5E,8EAA8E;IAC9E,gFAAgF;IAChF,8EAA8E;IAC9E,qCAAqC;IACrC,MAAM,WAAW,GAAG,mBAAmB,CAAC,CAAC,EAAE,CAAC,EAAE,IAAI,CAAC,CAAC;IACpD,MAAM,MAAM,GAA8B,EAAE,MAAM,EAAE,CAAC,CAAC,GAAG,EAAE,EAAE,GAAG,KAAK,EAAE,GAAG,CAAC,WAAW,CAAC,CAAC,CAAC,EAAE,WAAW,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC;IACjH,wEAAwE;IACxE,4EAA4E;IAC5E,qEAAqE;IACrE,MAAM,cAAc,GAAG,MAAM,4BAA4B,CAAC,CAAC,EAAE,CAAC,CAAC,UAAU,CAAC,CAAC;IAC3E,MAAM,SAAS,GAAG,mBAAmB,CACnC,wBAAwB,CAAC,cAAc,EAAE,iCAAiC,CAAC,MAAM,CAAC,CAAC,EACnF,IAAI,EACJ,MAAM,CAAC,MAAM,CACd,CAAC;IAEF,kFAAkF;IAClF,0FAA0F;IAC1F,sFAAsF;IACtF,IAAI,KAAK,CAAC,kBAAkB,EAAE,IAAI,KAAK,kBAAkB,EAAE,CAAC;QAC1D,MAAM,EAAE,QAAQ,EAAE,GAAG,KAAK,CAAC,kBAAkB,CAAC;QAC9C,MAAM,2BAA2B,CAAC,CAAC,CAAC,UAAU,EAAE;YAC9C,GAAG,EAAE,IAAI,CAAC,SAAS,IAAI,IAAI,EAAE,YAAY,EAAE,EAAE,EAAE,QAAQ,EAAE,OAAO,EAAE,IAAI;YACtE,YAAY,EAAE,EAAE,QAAQ,EAAE,OAAO,EAAE,IAAI,EAAE,gBAAgB,EAAE,IAAI,EAAE;SAClE,EAAE,CAAC,CAAC,CAAC;IACR,CAAC;IAED,MAAM,QAAQ,GAAG,CAAC,CAAC,sBAAsB,CAAC;QACxC,KAAK,EAAE;YACL,aAAa,EAAE,eAAe,CAAC,MAAM;YACrC,MAAM,EAAE,EAAE;YACV,QAAQ,EAAE,EAAE,iBAAiB,EAAE,IAAI,EAAE;YACrC,YAAY,EAAE,IAAI;YAClB,WAAW,EAAE;gBACX,OAAO,EAAE,YAAY;gBACrB,eAAe,EAAE,IAAI;gBACrB,YAAY,EAAE,KAAK;gBACnB,WAAW,EAAE,QAAQ;gBACrB,SAAS,EAAE,KAAK;aACjB;SACF;KACF,CAAC,CAAC;IAEH,IAAI,YAAY,GAAG,KAAK,CAAC;IACzB,IAAI,CAAC;QACH,MAAM,CAAC,CAAC,kBAAkB,CAAC,CAAC,CAAC,UAAU,EAAE,QAAQ,CAAC,MAAM,EAAE,SAAS,EAAE;YACnE,cAAc;YACd,UAAU,EAAE,eAAe,CAAC,MAAM;SACnC,CAAC,CAAC;QACH,YAAY,GAAG,IAAI,CAAC;IACtB,CAAC;IAAC,OAAO,GAAG,EAAE,CAAC;QACb,GAAG,CAAC,IAAI,CAAC,kEAAkE,CAAC,CAAC,UAAU,GAAG,EAAG,GAAa,CAAC,OAAO,CAAC,CAAC;IACtH,CAAC;IAED,IAAI,QAAQ,GAAG,KAAK,CAAC;IACrB,IAAI,CAAC,CAAC,OAAO,EAAE,CAAC;QACd,MAAM,IAAI,GAAG,CAAC,CAAC,cAAc,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;QAC/C,yEAAyE;QACzE,IAAI,IAAI,IAAI,IAAI,CAAC,SAAS,IAAI,IAAI,CAAC,WAAW,KAAK,QAAQ,EAAE,CAAC;YAC5D,IAAI,CAAC;gBACH,CAAC,CAAC,WAAW,CAAC,IAAI,CAAC,SAAS,EAAE,qCAAqC,CAAC,CAAC,CAAC,YAAY,EAAE,MAAM,CAAC,CAAC,CAAC;gBAC7F,QAAQ,GAAG,IAAI,CAAC;YAClB,CAAC;YAAC,OAAO,GAAG,EAAE,CAAC;gBACb,GAAG,CAAC,IAAI,CAAC,yDAAyD,CAAC,CAAC,OAAO,GAAG,EAAG,GAAa,CAAC,OAAO,CAAC,CAAC;YAC1G,CAAC;QACH,CAAC;IACH,CAAC;IAED,OAAO,EAAE,YAAY,EAAE,QAAQ,EAAE,MAAM,EAAE,CAAC;AAC5C,CAAC"}

package/dist/verify/verification-evidence.d.ts

@@ -1,105 +0,0 @@
-import type { StrategyResult } from './verification-deterministic.js';
-import type { PendingVerification } from '../queries/verification.js';
-import type { VerifyEvidence } from './verify-restatement.js';
-import type { InspectionResult } from './ai-inspection-runner.js';
-/**
- * The slice of VerificationDeps this module needs. Structural by design (see
- * the module header): VerificationDeps is assignable to it without importing.
- */
-export interface VerifyEvidenceDeps {
-    resolveCwd: (productId: string | null) => string;
-    resolveVerificationCwd?: (v: PendingVerification) => string;
-    integrationBranch: string;
-}
-/**
- * Resolve the cwd the delivery's diff must be read in: the FOCUS WORKTREE
- * (HEAD of the focus branch), the SAME cwd the deterministic strategy runs in.
- * NOT the product repo path -- the product repo's HEAD is the integration
- * branch, so `git diff base...HEAD` there is empty even when the focus branch
- * has real commits. Reading the diff in the wrong cwd is the resolution bug
- * that manufactures a false-negative shortfall (2026-07-23 incident).
- */
-export declare function resolveDiffCwd(v: PendingVerification, deps: VerifyEvidenceDeps): string;
-/**
- * Build the cited-evidence bundle the achieved-DE authoring consumes. Sourced
- * from the verification verdict (NOT the UDE problem text):
- *   - ai_inspection: the runner rationale + the delivery diff it inspected.
- *   - deterministic: the check exit code + stdout/stderr tails, plus the diff
- *     against integration (fetched best-effort; an empty diff just yields less
- *     evidence, it never blocks).
- *
- * The raw diff is accompanied by STRUCTURED signals (changed-files list + diff
- * stat) resolved in the same focus-worktree cwd, so delivered behavior is
- * legible to the judge without parsing the full diff.
- */
-/**
- * The delivery's recorded merge commit sha, but ONLY when the recorded git
- * state says the branch has actually merged back (into integration or main).
- * merge_commit_sha is only ever populated by a real merge, but gating on the
- * merged state keeps the evidence resolver from trusting a sha the row carries
- * in some other state. Returns undefined when there is nothing to trust, so the
- * resolver falls through to its live branch-vs-base / searched-merge sources.
- */
-export declare const MERGED_BACK_GIT_STATES: Set<string>;
-/** Exported for testing: the recorded-git-state branch of the verify evidence resolver. */
-export declare function recordedMergeShaForVerify(v: Pick<PendingVerification, 'gitState' | 'mergeCommitSha'>): string | null | undefined;
-export declare function buildVerifyEvidence(result: StrategyResult & {
-    inspection?: InspectionResult;
-}, v: PendingVerification, deps: VerifyEvidenceDeps, recordedCommitShas?: string[], recordedPreMergeRef?: string | null): VerifyEvidence;
-/**
- * Author the non-null evidence citation stamped on an injection the
- * verification engine retires on a passing verdict. The AC ("A verified
- * injection cites the evidence it was verified on") requires every
- * verification-retired injection to carry evidence naming the FILES and TESTS
- * the pass was judged on -- so an audit read can see WHY the injection was
- * flipped, not merely THAT it was. Without this the pass path retired the
- * injection with evidence=null, leaving a reviewed done indistinguishable from
- * an unreviewed one.
- *
- * Sourced from the SAME cited-evidence bundle the achieved-DE authoring
- * consumes (buildVerifyEvidence): the changed-files list, the diff stat, the
- * deterministic check's exit code + output tail, and the ai_inspection
- * rationale. Bounded to fit the injection node's evidence column, and NEVER
- * empty -- when the bundle carries nothing citable it says so explicitly rather
- * than return a blank that would re-introduce the evidence-less flip.
- */
-export declare function summarizeEvidenceForInjection(ev: VerifyEvidence): string;
-/**
- * Name the judgeable evidence slots that were empty, for the instrument-fault
- * hold's gate_state + escalation. Describes the FAULT (what the gate could not
- * see), never the work.
- */
-export declare function describeMissingJudgeEvidence(ev: VerifyEvidence): string[];
-/**
- * Coverage verdict: does the resolved diff range cover the delivery's RECORDED
- * commit set? A non-empty bundle that omits recorded commits is HALF-BLIND --
- * as unjudgeable as an empty one, because a verdict rendered on it judges the
- * work against only part of itself. This is the COMPLETENESS extension of the
- * empty-bundle invariant.
- */
-export interface EvidenceCoverage {
-    /** True when there is nothing to measure against, or the range covers every recorded commit. */
-    complete: boolean;
-    /** How many commits the durable record names. */
-    recorded: number;
-    /** How many recorded commits the resolved range actually covered. */
-    covered: number;
-    /** The recorded shas NOT present in the resolved range (the blind spot). */
-    uncovered: string[];
-}
-/**
- * Assess whether the range the verify evidence was resolved from COVERS the
- * delivery's recorded commit set (focus_merges.commit_shas).
- *
- * complete:true when either (a) there is no recorded set to measure against
- * (we never assert an incompleteness we cannot see -- the empty-bundle path,
- * not this one, owns that case), or (b) every recorded sha is reachable in the
- * resolved range. Otherwise complete:false, naming the uncovered shas.
- *
- * Resolves the SAME range buildVerifyEvidence uses (record-preferred), so when
- * the record itself sourced the range this is complete by construction; the
- * check bites only when attribution fell back to topology / a searched merge
- * and that fallback under-covers the recorded truth.
- */
-export declare function assessRecordedCoverage(v: PendingVerification, deps: VerifyEvidenceDeps, recordedCommitShas: string[]): EvidenceCoverage;
-//# sourceMappingURL=verification-evidence.d.ts.map

package/dist/verify/verification-evidence.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"verification-evidence.d.ts","sourceRoot":"","sources":["../../src/verify/verification-evidence.ts"],"names":[],"mappings":"AAiCA,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,iCAAiC,CAAC;AACtE,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,4BAA4B,CAAC;AACtE,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,yBAAyB,CAAC;AAC9D,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,2BAA2B,CAAC;AAKlE;;;GAGG;AACH,MAAM,WAAW,kBAAkB;IACjC,UAAU,EAAE,CAAC,SAAS,EAAE,MAAM,GAAG,IAAI,KAAK,MAAM,CAAC;IACjD,sBAAsB,CAAC,EAAE,CAAC,CAAC,EAAE,mBAAmB,KAAK,MAAM,CAAC;IAC5D,iBAAiB,EAAE,MAAM,CAAC;CAC3B;AAED;;;;;;;GAOG;AACH,wBAAgB,cAAc,CAAC,CAAC,EAAE,mBAAmB,EAAE,IAAI,EAAE,kBAAkB,GAAG,MAAM,CAEvF;AAED;;;;;;;;;;;GAWG;AACH;;;;;;;GAOG;AACH,eAAO,MAAM,sBAAsB,aAAuD,CAAC;AAC3F,2FAA2F;AAC3F,wBAAgB,yBAAyB,CACvC,CAAC,EAAE,IAAI,CAAC,mBAAmB,EAAE,UAAU,GAAG,gBAAgB,CAAC,GAC1D,MAAM,GAAG,IAAI,GAAG,SAAS,CAG3B;AAED,wBAAgB,mBAAmB,CACjC,MAAM,EAAE,cAAc,GAAG;IAAE,UAAU,CAAC,EAAE,gBAAgB,CAAA;CAAE,EAC1D,CAAC,EAAE,mBAAmB,EACtB,IAAI,EAAE,kBAAkB,EACxB,kBAAkB,GAAE,MAAM,EAAO,EACjC,mBAAmB,GAAE,MAAM,GAAG,IAAW,GACxC,cAAc,CA8ChB;AAQD;;;;;;;;;;;;;;;;GAgBG;AACH,wBAAgB,6BAA6B,CAAC,EAAE,EAAE,cAAc,GAAG,MAAM,CA8BxE;AAED;;;;GAIG;AACH,wBAAgB,4BAA4B,CAAC,EAAE,EAAE,cAAc,GAAG,MAAM,EAAE,CAMzE;AAED;;;;;;GAMG;AACH,MAAM,WAAW,gBAAgB;IAC/B,gGAAgG;IAChG,QAAQ,EAAE,OAAO,CAAC;IAClB,iDAAiD;IACjD,QAAQ,EAAE,MAAM,CAAC;IACjB,qEAAqE;IACrE,OAAO,EAAE,MAAM,CAAC;IAChB,4EAA4E;IAC5E,SAAS,EAAE,MAAM,EAAE,CAAC;CACrB;AAED;;;;;;;;;;;;;GAaG;AACH,wBAAgB,sBAAsB,CACpC,CAAC,EAAE,mBAAmB,EACtB,IAAI,EAAE,kBAAkB,EACxB,kBAAkB,EAAE,MAAM,EAAE,GAC3B,gBAAgB,CAgClB"}

package/dist/verify/verification-evidence.js

@@ -1,215 +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/verify-evidence-completeness.test.ts,
-//   packages/daemon/src/verify/verify-evidence-unavailable.test.ts,
-//   packages/daemon/src/verify/verify-injection-evidence.test.ts
-// PINNED-BY-END
-/**
- * Verify-gate EVIDENCE resolution.
- *
- * Split out of verification-engine.ts, which owns strategy dispatch and the
- * per-delivery run. This module answers one question: what can the gate
- * actually SEE for a delivery -- the diff range that contains its work, the
- * structured change signals, and which judgeable slots came back empty.
- *
- * That last part is load-bearing: an empty evidence bundle must render as an
- * instrument fault (the gate is blind), never as a shortfall verdict against
- * the work. describeMissingJudgeEvidence names the FAULT for the hold's
- * gate_state; see the "gate must not report its own BLINDNESS" invariant in
- * packages/daemon/CLAUDE.md.
- *
- * Deps are typed STRUCTURALLY (VerifyEvidenceDeps) rather than importing
- * VerificationDeps from verification-engine.ts -- that import would close a
- * cycle, and import-x/no-cycle is gated at "error". VerificationDeps satisfies
- * this interface structurally, so call sites pass it unchanged.
- */
-import { resolveDeliveryDiffSource, getDeliveryDiffFromSource, getDeliveryChangedFilesFromSource, getDeliveryDiffStatFromSource, listSourceCommits, } from '../resolvers/index.js';
-import { createLogger } from '../shell/log.js';
-const log = createLogger({ module: 'verification' });
-/**
- * Resolve the cwd the delivery's diff must be read in: the FOCUS WORKTREE
- * (HEAD of the focus branch), the SAME cwd the deterministic strategy runs in.
- * NOT the product repo path -- the product repo's HEAD is the integration
- * branch, so `git diff base...HEAD` there is empty even when the focus branch
- * has real commits. Reading the diff in the wrong cwd is the resolution bug
- * that manufactures a false-negative shortfall (2026-07-23 incident).
- */
-export function resolveDiffCwd(v, deps) {
-    return (deps.resolveVerificationCwd ?? ((pv) => deps.resolveCwd(pv.productId)))(v);
-}
-/**
- * Build the cited-evidence bundle the achieved-DE authoring consumes. Sourced
- * from the verification verdict (NOT the UDE problem text):
- *   - ai_inspection: the runner rationale + the delivery diff it inspected.
- *   - deterministic: the check exit code + stdout/stderr tails, plus the diff
- *     against integration (fetched best-effort; an empty diff just yields less
- *     evidence, it never blocks).
- *
- * The raw diff is accompanied by STRUCTURED signals (changed-files list + diff
- * stat) resolved in the same focus-worktree cwd, so delivered behavior is
- * legible to the judge without parsing the full diff.
- */
-/**
- * The delivery's recorded merge commit sha, but ONLY when the recorded git
- * state says the branch has actually merged back (into integration or main).
- * merge_commit_sha is only ever populated by a real merge, but gating on the
- * merged state keeps the evidence resolver from trusting a sha the row carries
- * in some other state. Returns undefined when there is nothing to trust, so the
- * resolver falls through to its live branch-vs-base / searched-merge sources.
- */
-export const MERGED_BACK_GIT_STATES = new Set(['merged_to_integration', 'merged_to_main']);
-/** Exported for testing: the recorded-git-state branch of the verify evidence resolver. */
-export function recordedMergeShaForVerify(v) {
-    if (!v.gitState || !MERGED_BACK_GIT_STATES.has(v.gitState))
-        return undefined;
-    return v.mergeCommitSha;
-}
-export function buildVerifyEvidence(result, v, deps, recordedCommitShas = [], recordedPreMergeRef = null) {
-    const cwd = resolveDiffCwd(v, deps);
-    // Resolve the range that actually contains the delivery's work, sourced from
-    // the DURABLE record first: the delivery's RECORDED constituent commit set
-    // (focus_merges.commit_shas -- immune to fast-forward + rebase), then its
-    // recorded >=2-parent merge commit, then the recorded pre-merge boundary
-    // (fast-forward-safe range, when the merge-back left no merge commit), then the
-    // live branch-vs-base range while ahead, then a searched merge commit, else
-    // null. A null range (no attributable commits anywhere the daemon can reach)
-    // yields an empty diff, which the instrument-fault path then holds -- it is
-    // never rendered as a shortfall.
-    const source = resolveDeliveryDiffSource(cwd, deps.integrationBranch, recordedMergeShaForVerify(v), recordedCommitShas, recordedPreMergeRef, v.deliveryId);
-    let diff = result.deliveryDiff ?? '';
-    if (diff === '') {
-        try {
-            diff = source ? getDeliveryDiffFromSource(cwd, source) : '';
-        }
-        catch (err) {
-            // best-effort: no diff is fine, the other evidence slots still carry signal
-            log.debug('best-effort: no diff is fine, the other evidence slots still carry signal', { error: String(err?.message ?? err) });
-        }
-    }
-    let changedFiles = [];
-    let diffStat = '';
-    try {
-        changedFiles = source ? getDeliveryChangedFilesFromSource(cwd, source) : [];
-        diffStat = source ? getDeliveryDiffStatFromSource(cwd, source) : '';
-    }
-    catch (err) {
-        log.debug('best-effort: structured diff signals unavailable', { error: String(err?.message ?? err) });
-    }
-    return {
-        diff: diff || undefined,
-        changedFiles: changedFiles.length > 0 ? changedFiles : undefined,
-        diffStat: diffStat.trim() !== '' ? diffStat : undefined,
-        testStdout: result.stdoutTail,
-        testStderr: result.stderrTail,
-        exitCode: result.exitCode,
-        inspectionRationale: result.inspection?.rationale,
-        verdictRationale: result.rationale,
-    };
-}
-/** Bound a citation fragment so the assembled evidence fits the node column. */
-function truncateCitation(s, max) {
-    const t = s.trim();
-    return t.length <= max ? t : `${t.slice(0, max - 1)}…`;
-}
-/**
- * Author the non-null evidence citation stamped on an injection the
- * verification engine retires on a passing verdict. The AC ("A verified
- * injection cites the evidence it was verified on") requires every
- * verification-retired injection to carry evidence naming the FILES and TESTS
- * the pass was judged on -- so an audit read can see WHY the injection was
- * flipped, not merely THAT it was. Without this the pass path retired the
- * injection with evidence=null, leaving a reviewed done indistinguishable from
- * an unreviewed one.
- *
- * Sourced from the SAME cited-evidence bundle the achieved-DE authoring
- * consumes (buildVerifyEvidence): the changed-files list, the diff stat, the
- * deterministic check's exit code + output tail, and the ai_inspection
- * rationale. Bounded to fit the injection node's evidence column, and NEVER
- * empty -- when the bundle carries nothing citable it says so explicitly rather
- * than return a blank that would re-introduce the evidence-less flip.
- */
-export function summarizeEvidenceForInjection(ev) {
-    const parts = [];
-    const files = ev.changedFiles ?? [];
-    if (files.length > 0) {
-        const shown = files.slice(0, 20);
-        const more = files.length - shown.length;
-        parts.push(`Files inspected (${files.length}): ${shown.join(', ')}${more > 0 ? ` (+${more} more)` : ''}`);
-    }
-    if (ev.diffStat && ev.diffStat.trim() !== '') {
-        parts.push(`Diff stat: ${truncateCitation(ev.diffStat, 400)}`);
-    }
-    if (typeof ev.exitCode === 'number') {
-        const tail = (ev.testStdout ?? ev.testStderr ?? '').trim();
-        parts.push(`Tests/check: exit ${ev.exitCode}${tail !== '' ? ` -- ${truncateCitation(tail, 500)}` : ''}`);
-    }
-    if (ev.inspectionRationale && ev.inspectionRationale.trim() !== '') {
-        parts.push(`Inspection: ${truncateCitation(ev.inspectionRationale, 800)}`);
-    }
-    // Fall back to the bare verdict rationale only when no structured file/test
-    // signal was citable, so the citation is never empty.
-    if (parts.length === 0 && ev.verdictRationale && ev.verdictRationale.trim() !== '') {
-        parts.push(`Verdict: ${truncateCitation(ev.verdictRationale, 800)}`);
-    }
-    const body = parts.join('\n');
-    const header = 'Retired by the verification engine on a passing verdict.';
-    return body === ''
-        ? `${header} (No citable file/test evidence was present in the verdict bundle.)`
-        : truncateCitation(`${header}\n${body}`, 4800);
-}
-/**
- * Name the judgeable evidence slots that were empty, for the instrument-fault
- * hold's gate_state + escalation. Describes the FAULT (what the gate could not
- * see), never the work.
- */
-export function describeMissingJudgeEvidence(ev) {
-    const missing = [];
-    if (!ev.diff || ev.diff.trim() === '')
-        missing.push('diff');
-    if (!ev.changedFiles || ev.changedFiles.length === 0)
-        missing.push('changed files');
-    if (!ev.inspectionRationale || ev.inspectionRationale.trim() === '')
-        missing.push('inspection finding');
-    return missing;
-}
-/**
- * Assess whether the range the verify evidence was resolved from COVERS the
- * delivery's recorded commit set (focus_merges.commit_shas).
- *
- * complete:true when either (a) there is no recorded set to measure against
- * (we never assert an incompleteness we cannot see -- the empty-bundle path,
- * not this one, owns that case), or (b) every recorded sha is reachable in the
- * resolved range. Otherwise complete:false, naming the uncovered shas.
- *
- * Resolves the SAME range buildVerifyEvidence uses (record-preferred), so when
- * the record itself sourced the range this is complete by construction; the
- * check bites only when attribution fell back to topology / a searched merge
- * and that fallback under-covers the recorded truth.
- */
-export function assessRecordedCoverage(v, deps, recordedCommitShas) {
-    const recorded = recordedCommitShas.map((s) => s.trim()).filter((s) => s !== '');
-    if (recorded.length === 0) {
-        return { complete: true, recorded: 0, covered: 0, uncovered: [] };
-    }
-    const cwd = resolveDiffCwd(v, deps);
-    const source = resolveDeliveryDiffSource(cwd, deps.integrationBranch, recordedMergeShaForVerify(v), recorded, null, v.deliveryId);
-    if (!source) {
-        // No source at all: the empty-bundle path handles the verdict, but from a
-        // coverage standpoint every recorded commit is uncovered.
-        return { complete: false, recorded: recorded.length, covered: 0, uncovered: recorded };
-    }
-    let inRange;
-    try {
-        inRange = new Set(listSourceCommits(cwd, source));
-    }
-    catch {
-        inRange = new Set();
-    }
-    const uncovered = recorded.filter((sha) => !inRange.has(sha));
-    return {
-        complete: uncovered.length === 0,
-        recorded: recorded.length,
-        covered: recorded.length - uncovered.length,
-        uncovered,
-    };
-}
-//# sourceMappingURL=verification-evidence.js.map

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

@@ -1 +0,0 @@
-{"version":3,"file":"verification-evidence.js","sourceRoot":"","sources":["../../src/verify/verification-evidence.ts"],"names":[],"mappings":"AAAA,8FAA8F;AAC9F,8EAA8E;AAC9E,oEAAoE;AACpE,iEAAiE;AACjE,gBAAgB;AAEhB;;;;;;;;;;;;;;;;;;GAkBG;AAEH,OAAO,EACL,yBAAyB,EACzB,yBAAyB,EACzB,iCAAiC,EACjC,6BAA6B,EAC7B,iBAAiB,GAClB,MAAM,uBAAuB,CAAC;AAK/B,OAAO,EAAE,YAAY,EAAE,MAAM,iBAAiB,CAAC;AAE/C,MAAM,GAAG,GAAG,YAAY,CAAC,EAAE,MAAM,EAAE,cAAc,EAAE,CAAC,CAAC;AAYrD;;;;;;;GAOG;AACH,MAAM,UAAU,cAAc,CAAC,CAAsB,EAAE,IAAwB;IAC7E,OAAO,CAAC,IAAI,CAAC,sBAAsB,IAAI,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,IAAI,CAAC,UAAU,CAAC,EAAE,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;AACrF,CAAC;AAED;;;;;;;;;;;GAWG;AACH;;;;;;;GAOG;AACH,MAAM,CAAC,MAAM,sBAAsB,GAAG,IAAI,GAAG,CAAC,CAAC,uBAAuB,EAAE,gBAAgB,CAAC,CAAC,CAAC;AAC3F,2FAA2F;AAC3F,MAAM,UAAU,yBAAyB,CACvC,CAA2D;IAE3D,IAAI,CAAC,CAAC,CAAC,QAAQ,IAAI,CAAC,sBAAsB,CAAC,GAAG,CAAC,CAAC,CAAC,QAAQ,CAAC;QAAE,OAAO,SAAS,CAAC;IAC7E,OAAO,CAAC,CAAC,cAAc,CAAC;AAC1B,CAAC;AAED,MAAM,UAAU,mBAAmB,CACjC,MAA0D,EAC1D,CAAsB,EACtB,IAAwB,EACxB,qBAA+B,EAAE,EACjC,sBAAqC,IAAI;IAEzC,MAAM,GAAG,GAAG,cAAc,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC;IACpC,6EAA6E;IAC7E,2EAA2E;IAC3E,0EAA0E;IAC1E,yEAAyE;IACzE,gFAAgF;IAChF,4EAA4E;IAC5E,6EAA6E;IAC7E,4EAA4E;IAC5E,iCAAiC;IACjC,MAAM,MAAM,GAAG,yBAAyB,CACtC,GAAG,EACH,IAAI,CAAC,iBAAiB,EACtB,yBAAyB,CAAC,CAAC,CAAC,EAC5B,kBAAkB,EAClB,mBAAmB,EACnB,CAAC,CAAC,UAAU,CACb,CAAC;IACF,IAAI,IAAI,GAAG,MAAM,CAAC,YAAY,IAAI,EAAE,CAAC;IACrC,IAAI,IAAI,KAAK,EAAE,EAAE,CAAC;QAChB,IAAI,CAAC;YACH,IAAI,GAAG,MAAM,CAAC,CAAC,CAAC,yBAAyB,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;QAC9D,CAAC;QAAC,OAAO,GAAG,EAAE,CAAC;YACnB,4EAA4E;YACtE,GAAG,CAAC,KAAK,CAAC,2EAA2E,EAAE,EAAE,KAAK,EAAE,MAAM,CAAE,GAAa,EAAE,OAAO,IAAI,GAAG,CAAC,EAAE,CAAC,CAAC;QAC5I,CAAC;IACH,CAAC;IACD,IAAI,YAAY,GAAa,EAAE,CAAC;IAChC,IAAI,QAAQ,GAAG,EAAE,CAAC;IAClB,IAAI,CAAC;QACH,YAAY,GAAG,MAAM,CAAC,CAAC,CAAC,iCAAiC,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;QAC5E,QAAQ,GAAG,MAAM,CAAC,CAAC,CAAC,6BAA6B,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;IACtE,CAAC;IAAC,OAAO,GAAG,EAAE,CAAC;QACb,GAAG,CAAC,KAAK,CAAC,kDAAkD,EAAE,EAAE,KAAK,EAAE,MAAM,CAAE,GAAa,EAAE,OAAO,IAAI,GAAG,CAAC,EAAE,CAAC,CAAC;IACnH,CAAC;IACD,OAAO;QACL,IAAI,EAAE,IAAI,IAAI,SAAS;QACvB,YAAY,EAAE,YAAY,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,SAAS;QAChE,QAAQ,EAAE,QAAQ,CAAC,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,SAAS;QACvD,UAAU,EAAE,MAAM,CAAC,UAAU;QAC7B,UAAU,EAAE,MAAM,CAAC,UAAU;QAC7B,QAAQ,EAAE,MAAM,CAAC,QAAQ;QACzB,mBAAmB,EAAE,MAAM,CAAC,UAAU,EAAE,SAAS;QACjD,gBAAgB,EAAE,MAAM,CAAC,SAAS;KACnC,CAAC;AACJ,CAAC;AAED,gFAAgF;AAChF,SAAS,gBAAgB,CAAC,CAAS,EAAE,GAAW;IAC9C,MAAM,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC;IACnB,OAAO,CAAC,CAAC,MAAM,IAAI,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,GAAG,CAAC,CAAC,GAAG,CAAC;AACzD,CAAC;AAED;;;;;;;;;;;;;;;;GAgBG;AACH,MAAM,UAAU,6BAA6B,CAAC,EAAkB;IAC9D,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,MAAM,KAAK,GAAG,EAAE,CAAC,YAAY,IAAI,EAAE,CAAC;IACpC,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACrB,MAAM,KAAK,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;QACjC,MAAM,IAAI,GAAG,KAAK,CAAC,MAAM,GAAG,KAAK,CAAC,MAAM,CAAC;QACzC,KAAK,CAAC,IAAI,CACR,oBAAoB,KAAK,CAAC,MAAM,MAAM,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,IAAI,GAAG,CAAC,CAAC,CAAC,CAAC,MAAM,IAAI,QAAQ,CAAC,CAAC,CAAC,EAAE,EAAE,CAC9F,CAAC;IACJ,CAAC;IACD,IAAI,EAAE,CAAC,QAAQ,IAAI,EAAE,CAAC,QAAQ,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC;QAC7C,KAAK,CAAC,IAAI,CAAC,cAAc,gBAAgB,CAAC,EAAE,CAAC,QAAQ,EAAE,GAAG,CAAC,EAAE,CAAC,CAAC;IACjE,CAAC;IACD,IAAI,OAAO,EAAE,CAAC,QAAQ,KAAK,QAAQ,EAAE,CAAC;QACpC,MAAM,IAAI,GAAG,CAAC,EAAE,CAAC,UAAU,IAAI,EAAE,CAAC,UAAU,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC;QAC3D,KAAK,CAAC,IAAI,CAAC,qBAAqB,EAAE,CAAC,QAAQ,GAAG,IAAI,KAAK,EAAE,CAAC,CAAC,CAAC,OAAO,gBAAgB,CAAC,IAAI,EAAE,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;IAC3G,CAAC;IACD,IAAI,EAAE,CAAC,mBAAmB,IAAI,EAAE,CAAC,mBAAmB,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC;QACnE,KAAK,CAAC,IAAI,CAAC,eAAe,gBAAgB,CAAC,EAAE,CAAC,mBAAmB,EAAE,GAAG,CAAC,EAAE,CAAC,CAAC;IAC7E,CAAC;IACD,4EAA4E;IAC5E,sDAAsD;IACtD,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,IAAI,EAAE,CAAC,gBAAgB,IAAI,EAAE,CAAC,gBAAgB,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC;QACnF,KAAK,CAAC,IAAI,CAAC,YAAY,gBAAgB,CAAC,EAAE,CAAC,gBAAgB,EAAE,GAAG,CAAC,EAAE,CAAC,CAAC;IACvE,CAAC;IACD,MAAM,IAAI,GAAG,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC9B,MAAM,MAAM,GAAG,0DAA0D,CAAC;IAC1E,OAAO,IAAI,KAAK,EAAE;QAChB,CAAC,CAAC,GAAG,MAAM,qEAAqE;QAChF,CAAC,CAAC,gBAAgB,CAAC,GAAG,MAAM,KAAK,IAAI,EAAE,EAAE,IAAI,CAAC,CAAC;AACnD,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,4BAA4B,CAAC,EAAkB;IAC7D,MAAM,OAAO,GAAa,EAAE,CAAC;IAC7B,IAAI,CAAC,EAAE,CAAC,IAAI,IAAI,EAAE,CAAC,IAAI,CAAC,IAAI,EAAE,KAAK,EAAE;QAAE,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IAC5D,IAAI,CAAC,EAAE,CAAC,YAAY,IAAI,EAAE,CAAC,YAAY,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,CAAC,IAAI,CAAC,eAAe,CAAC,CAAC;IACpF,IAAI,CAAC,EAAE,CAAC,mBAAmB,IAAI,EAAE,CAAC,mBAAmB,CAAC,IAAI,EAAE,KAAK,EAAE;QAAE,OAAO,CAAC,IAAI,CAAC,oBAAoB,CAAC,CAAC;IACxG,OAAO,OAAO,CAAC;AACjB,CAAC;AAoBD;;;;;;;;;;;;;GAaG;AACH,MAAM,UAAU,sBAAsB,CACpC,CAAsB,EACtB,IAAwB,EACxB,kBAA4B;IAE5B,MAAM,QAAQ,GAAG,kBAAkB,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC;IACjF,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC1B,OAAO,EAAE,QAAQ,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,SAAS,EAAE,EAAE,EAAE,CAAC;IACpE,CAAC;IACD,MAAM,GAAG,GAAG,cAAc,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC;IACpC,MAAM,MAAM,GAAG,yBAAyB,CACtC,GAAG,EACH,IAAI,CAAC,iBAAiB,EACtB,yBAAyB,CAAC,CAAC,CAAC,EAC5B,QAAQ,EACR,IAAI,EACJ,CAAC,CAAC,UAAU,CACb,CAAC;IACF,IAAI,CAAC,MAAM,EAAE,CAAC;QACZ,0EAA0E;QAC1E,0DAA0D;QAC1D,OAAO,EAAE,QAAQ,EAAE,KAAK,EAAE,QAAQ,EAAE,QAAQ,CAAC,MAAM,EAAE,OAAO,EAAE,CAAC,EAAE,SAAS,EAAE,QAAQ,EAAE,CAAC;IACzF,CAAC;IACD,IAAI,OAAoB,CAAC;IACzB,IAAI,CAAC;QACH,OAAO,GAAG,IAAI,GAAG,CAAC,iBAAiB,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC,CAAC;IACpD,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,GAAG,IAAI,GAAG,EAAE,CAAC;IACtB,CAAC;IACD,MAAM,SAAS,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC;IAC9D,OAAO;QACL,QAAQ,EAAE,SAAS,CAAC,MAAM,KAAK,CAAC;QAChC,QAAQ,EAAE,QAAQ,CAAC,MAAM;QACzB,OAAO,EAAE,QAAQ,CAAC,MAAM,GAAG,SAAS,CAAC,MAAM;QAC3C,SAAS;KACV,CAAC;AACJ,CAAC"}