@telora/daemon 0.22.239 → 0.22.289

package/dist/verify/verification-deps-default.js

@@ -1,209 +0,0 @@
-// PINNED-BY-BEGIN (generated by gen:pinned-by -- do not hand-edit; checked by lint:pinned-by)
-// Pinned by: packages/daemon/src/integration/explicit-gate-outcome-restart.test.ts,
-//   packages/daemon/src/integration/explicit-verdict-invalidation-restart.test.ts,
-//   packages/daemon/src/verify/verification-deps-default.test.ts
-// PINNED-BY-END
-/**
- * Default wiring for the verification engine's injectable dependency surface.
- *
- * `verification-deps.ts` declares the CONTRACT (`VerificationDeps`); this module
- * supplies the production implementations bound to a `DaemonConfig`. The two are
- * deliberately separate files: the contract is what tests construct against, and
- * the wiring is a long list of concrete imports that has no business inflating
- * the engine's dispatch logic.
- *
- * Split out of `verification-engine.ts` for the same reason
- * `verification-baseline.ts` keeps its own default wiring -- the engine owns
- * strategy dispatch and the verify-gate decision tree, not the resolution of
- * every collaborator those decisions call into.
- *
- * Direction of dependency is one-way: the engine imports `defaultDeps` from
- * here; nothing here imports the engine. That is what keeps the verify family
- * acyclic under the repo's `import-x/no-cycle` error gate.
- *
- * @module verification-deps-default
- */
-import { runDeterministicStrategy } from './verification-deterministic.js';
-import { getPendingVerifications, verifyInjectionOnPass, emitInwardDriftProposals, } from '../queries/verification.js';
-import { configForProduct } from '../shell/config.js';
-import { authorTargetRestatements as defaultAuthorTargetRestatements } from './verify-restatement.js';
-import { fileEscalation as defaultFileEscalation } from '../completion/escalations.js';
-import { getCommitsAhead } from '../resolvers/index.js';
-import { buildAttributionEvidenceDeps, buildCreditsReader, buildMisattributedHoldAnnotator, } from './verification-attribution-deps.js';
-import { withCreditRearm } from './credit-rearm.js';
-import { getActiveFocuses } from '../queries/focus-discovery.js';
-import { resolveDefaultVerification as defaultResolveDefaultVerification } from './verification-config.js';
-import { getFocusDeliveries } from '../queries/focuses.js';
-import { deliverVerificationFailureFeedback, routeShortfallOutcome, } from './verification-feedback.js';
-import { recordOutcomeResettingVerificationHistory } from './verification-history-reset.js';
-import { resolveDeliveryCommitIdentities } from './delivery-commit-set.js';
-import { getDeliveryShortfallRulings } from '../queries/shortfall-rulings.js';
-import { getDeliveryGateRecord } from '../queries/deliveries.js';
-import { getFocusWorktree } from '../focus/focus-worktree-state.js';
-import { resolveEvidenceRefsAtCommit } from './ruling-evidence-resolution.js';
-import { defaultResolveFocusHeadSha } from './verification-default-on.js';
-import { requeueEvidenceUnavailableAsRework } from './verification-evidence-unavailable-feedback.js';
-import { holdForModelUnavailable } from './verification-model-unavailable-hold.js';
-import { buildDefaultAttributeFailures, buildResolveVerificationCwd } from './verification-baseline.js';
-import { readCommitVerdict, writeCommitVerdict } from './commit-verdict-record.js';
-import { resolveCarriedVerdict } from './no-own-delta-verdict.js';
-import { invalidateExplicitGateOutcome, persistExplicitGateOutcome } from './explicit-gate-outcome.js';
-import { persistRecordedTargets } from './recorded-targets.js';
-import { resolveAiInspectionInputs as defaultResolveAiInspectionInputs } from './ai-inspection-context.js';
-import { runAiInspection as defaultRunAiInspection } from './ai-inspection-runner.js';
-import { buildDefaultSecurityFindingGateDeps } from '../security/security-finding-gate.js';
-import { callApi } from '../queries/shared.js';
-import { commitGateSeams } from './commit-gate-configured.js';
-import { readGateVerdictState } from '../completion/review-exit-verdict-gate.js';
-async function defaultEmitDriftProposal(payload) {
-    await callApi('crt_drift_proposal_create', {
-        focusId: payload.focusId,
-        productId: payload.productId,
-        nodeId: payload.observation.nodeId,
-        proposalKind: payload.observation.kind,
-        observedState: payload.observation.observed,
-        proposedCorrection: payload.observation.suggestedCorrection,
-    });
-}
-/** The repo a product's verification reads: its product-scoped repoPath, else the top-level one. */
-function resolveProductRepoPath(config, productId) {
-    const product = productId ? config.products.find(p => p.id === productId) : undefined;
-    return product ? configForProduct(config, product).repoPath : config.repoPath;
-}
-/**
-/**
- * The delivery's own Telora-Delivery-trailered commits the shortfall judged, as
- * the identities the shortfall park fingerprints (verify/delivery-commit-set.ts).
- * Read at the judged commit when the run judged one, else at the focus worktree
- * HEAD -- which includes the team's commits since the last judgement, merged back
- * or not. The objects are shared by every worktree of the repo, so a judged sha
- * resolves from the product repo too; but with no judged sha and no focus
- * worktree there is no focus HEAD to read (the product checkout's HEAD is another
- * branch), so the set is unknown (null) and the park counts by signature alone.
- */
-function resolveJudgedDeliveryCommitSet(v, judgedSha, resolveCwd) {
-    const worktreePath = v.focusId ? getFocusWorktree(v.focusId)?.worktreePath : undefined;
-    const rev = judgedSha ?? (worktreePath ? 'HEAD' : null);
-    if (rev === null)
-        return null;
-    return resolveDeliveryCommitIdentities(worktreePath ?? resolveCwd(v.productId), rev, v.deliveryId);
-}
-/** Route a shortfall by repetition, fingerprinting the delivery's judged commit set for the park. */
-function buildDeliverShortfallFeedback(organizationId, resolveCwd, annotateHold) {
-    return async (v, shortfalls, judgedSha, runVerdict, rulingsFingerprint) => {
-        const misattributed = await annotateHold(v, shortfalls);
-        await routeShortfallOutcome(v, shortfalls, organizationId, {
-            resolveCommitSet: (sha) => resolveJudgedDeliveryCommitSet(v, sha, resolveCwd),
-        }, { judgedSha, runVerdict, rulingsFingerprint, ...(misattributed ? { misattributed } : {}) });
-    };
-}
-/** Re-enter an evidence-unavailable (instrument-fault) verify as bounded re-work. */
-function buildRequeueEvidenceUnavailable(organizationId, annotateHold) {
-    return async (v, fault, judgedSha, runVerdict) => {
-        const misattributed = await annotateHold(v, []);
-        await requeueEvidenceUnavailableAsRework(v, { ...fault, ...(misattributed ? { misattributed } : {}) }, organizationId, {}, { judgedSha, runVerdict });
-    };
-}
-/**
- * The durable writers of an explicit-method run's verdict (verify/explicit-gate-outcome.ts).
- * invalidateExplicitGateOutcome is called when an explicit run is selected, before it
- * can start: the previous run's verdict is removed durably. persistExplicitGateOutcome
- * is called after recordOutcome's pass reset: the run's own verdict, durable across a
- * restart. Needs no config, so it lives outside defaultDeps.
- */
-const explicitGateOutcomeWriters = {
-    invalidateExplicitGateOutcome,
-    persistExplicitGateOutcome,
-};
-export const defaultDeps = (config) => {
-    const resolveCwd = (productId) => resolveProductRepoPath(config, productId);
-    const resolveVerificationCwd = buildResolveVerificationCwd(resolveCwd);
-    const readCredits = buildCreditsReader();
-    const attributionEvidence = buildAttributionEvidenceDeps(resolveVerificationCwd, readCredits);
-    // Holds annotate over the verification's own credits snapshot (no second read).
-    const annotateHold = buildMisattributedHoldAnnotator(resolveVerificationCwd, readCredits);
-    return {
-        getPendingVerifications,
-        recordOutcome: recordOutcomeResettingVerificationHistory,
-        ...explicitGateOutcomeWriters,
-        verifyInjection: verifyInjectionOnPass,
-        // `deliveryId` rides through, so the reconciliation narrows to the targets the
-        // focus's ARM covered (verify/verify-restatement.ts resolveArmCoverageForDelivery).
-        // Dropped here, the adapter answered "no delivery" and every target was judged --
-        // the narrowing existed and never ran in the daemon.
-        // DO NOT SHORTEN THIS PARAMETER LIST. A shorter arrow is assignable to a longer
-        // signature, so an adapter that drops the 5th argument TYPECHECKS CLEAN and is
-        // silently inert. The sensor is behavioural, not structural:
-        // verify/verification-deps-default.test.ts drives this exact binding over the
-        // real arm read and fails on the truncated arity.
-        authorTargetRestatements: (injectionNodeId, focusId, evidence, evidenceIncomplete, deliveryId) => defaultAuthorTargetRestatements(injectionNodeId, focusId, evidence, {}, evidenceIncomplete, deliveryId),
-        // The set-aside targets that narrowing reports, on the delivery's own record.
-        persistRecordedTargets,
-        // A reconciliation that could not run is awaited at the delivery's own status;
-        // a non-rate-limit cause (auth, a missing CLI) is surfaced once as an observation.
-        holdForModelUnavailable: async (v, detail) => {
-            await holdForModelUnavailable(v, detail, { fileEscalation: defaultFileEscalation, organizationId: config.organizationId });
-        },
-        fileEscalation: defaultFileEscalation,
-        organizationId: config.organizationId,
-        emitDriftProposal: defaultEmitDriftProposal,
-        emitInwardDrift: emitInwardDriftProposals,
-        runDeterministic: runDeterministicStrategy,
-        runAiInspection: defaultRunAiInspection,
-        resolveAiInspectionInputs: (v) => defaultResolveAiInspectionInputs(v, {
-            callApi,
-            resolveCwd,
-            integrationBranch: config.integrationBranch,
-        }),
-        resolveCwd,
-        integrationBranch: config.integrationBranch,
-        securityFindingGate: buildDefaultSecurityFindingGateDeps(),
-        resolveDefaultVerification: (c, readManifest) => defaultResolveDefaultVerification(c, undefined, readManifest),
-        getActiveFocuses,
-        // A new commit credit on a focus re-arms its in-verify deliveries (verify/credit-rearm.ts).
-        getFocusDeliveries: withCreditRearm(getFocusDeliveries),
-        deliverFailureFeedback: (v, result) => deliverVerificationFailureFeedback(v, result, config.organizationId).then(() => undefined),
-        // Both holds name the unattributed commits in the focus's batches that may hold
-        // the delivery's work (verify/misattributed-commits-read.ts; best-effort).
-        deliverShortfallFeedback: buildDeliverShortfallFeedback(config.organizationId, resolveCwd, annotateHold),
-        readShortfallRulings: getDeliveryShortfallRulings,
-        // A review met rules only where its evidence resolves at the judged commit (existence only, no model call).
-        resolveRulingEvidence: (v, refs, sha) => resolveEvidenceRefsAtCommit(resolveVerificationCwd(v), refs, sha),
-        // The two facts the pass path asks BEFORE the reconciliation, so a parked
-        // delivery whose commit set and rulings are unchanged is re-held from the park
-        // instead of buying its judgement again (verify/parked-shortfall-reuse.ts). The
-        // commit set goes through the SAME resolveJudgedDeliveryCommitSet the shortfall
-        // routing fingerprints the park with, so the two fingerprints are comparable.
-        readDeliveryGateRecord: (deliveryId) => getDeliveryGateRecord(deliveryId),
-        resolveDeliveryCommitSet: (v, judgedSha) => resolveJudgedDeliveryCommitSet(v, judgedSha, resolveCwd),
-        requeueEvidenceUnavailableAsRework: buildRequeueEvidenceUnavailable(config.organizationId, annotateHold),
-        resolveVerificationCwd,
-        resolveCommitsAhead: (v) => getCommitsAhead(resolveVerificationCwd(v), config.integrationBranch),
-        ...attributionEvidence,
-        // The delivery's own recorded commits are reverted out of an attribution base that carries them.
-        attributeFailures: buildDefaultAttributeFailures(config, {
-            resolveOwnCommitShas: attributionEvidence.resolveRecordedCommitShas,
-        }),
-        recordCommitVerdict: (verdict) => { writeCommitVerdict(verdict); },
-        readCommitVerdict: (productId, focusId, sha, gate) => readCommitVerdict(productId, focusId, sha, { gate }),
-        // The release pass's OWN read, so a pull declines only where the release will
-        // replay with no run (verify/commit-verdict-pull.ts).
-        readHeldCommitVerdictState: (subject, sha) => readGateVerdictState(commitGateSeams, subject, sha),
-        // The focus worktree and its HEAD. Wired HERE, at the composition root,
-        // because the readers that need them (verify/verification-boundary-env.ts,
-        // which walks back to the newest green ancestor to bound the gate's diff)
-        // cannot import verification-default-on without re-entering the
-        // default-on <-> baseline <-> checkout import cycle. Unwired, that walk is
-        // dormant: null in the daemon and green only under test.
-        resolveFocusWorktreePath: (v) => (v.focusId ? getFocusWorktree(v.focusId)?.worktreePath ?? null : null),
-        resolveFocusHeadSha: defaultResolveFocusHeadSha,
-        // A focus HEAD that adds nothing of the focus's own carries its judged ancestor's verdict (no run on the integration tip).
-        resolveCarriedVerdict: (productId, focusId, head, gate) => resolveCarriedVerdict(productId, focusId, head, gate, {
-            integrationBranch: config.integrationBranch,
-            resolveWorktreePath: (id) => getFocusWorktree(id)?.worktreePath ?? null,
-            listFocusDeliveryIds: async (id) => (await getFocusDeliveries(id)).map((d) => d.id),
-            readCommitVerdict: (p, f, sha, g) => readCommitVerdict(p, f, sha, { gate: g }),
-        }),
-    };
-};
-//# sourceMappingURL=verification-deps-default.js.map

package/dist/verify/verification-deps-default.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"verification-deps-default.js","sourceRoot":"","sources":["../../src/verify/verification-deps-default.ts"],"names":[],"mappings":"AAAA,8FAA8F;AAC9F,oFAAoF;AACpF,mFAAmF;AACnF,iEAAiE;AACjE,gBAAgB;AAEhB;;;;;;;;;;;;;;;;;;;GAmBG;AAEH,OAAO,EAAE,wBAAwB,EAAE,MAAM,iCAAiC,CAAC;AAC3E,OAAO,EACL,uBAAuB,EACvB,qBAAqB,EACrB,wBAAwB,GACzB,MAAM,4BAA4B,CAAC;AACpC,OAAO,EAAE,gBAAgB,EAAE,MAAM,oBAAoB,CAAC;AACtD,OAAO,EAAE,wBAAwB,IAAI,+BAA+B,EAAE,MAAM,yBAAyB,CAAC;AACtG,OAAO,EAAE,cAAc,IAAI,qBAAqB,EAAE,MAAM,8BAA8B,CAAC;AACvF,OAAO,EAAE,eAAe,EAAE,MAAM,uBAAuB,CAAC;AACxD,OAAO,EACL,4BAA4B,EAC5B,kBAAkB,EAClB,+BAA+B,GAEhC,MAAM,oCAAoC,CAAC;AAC5C,OAAO,EAAE,eAAe,EAAE,MAAM,mBAAmB,CAAC;AACpD,OAAO,EAAE,gBAAgB,EAAE,MAAM,+BAA+B,CAAC;AAEjE,OAAO,EAAE,0BAA0B,IAAI,iCAAiC,EAAE,MAAM,0BAA0B,CAAC;AAC3G,OAAO,EAAE,kBAAkB,EAAE,MAAM,uBAAuB,CAAC;AAC3D,OAAO,EACL,kCAAkC,EAClC,qBAAqB,GACtB,MAAM,4BAA4B,CAAC;AACpC,OAAO,EAAE,yCAAyC,EAAE,MAAM,iCAAiC,CAAC;AAC5F,OAAO,EAAE,+BAA+B,EAAE,MAAM,0BAA0B,CAAC;AAC3E,OAAO,EAAE,2BAA2B,EAAE,MAAM,iCAAiC,CAAC;AAC9E,OAAO,EAAE,qBAAqB,EAAE,MAAM,0BAA0B,CAAC;AACjE,OAAO,EAAE,gBAAgB,EAAE,MAAM,kCAAkC,CAAC;AACpE,OAAO,EAAE,2BAA2B,EAAE,MAAM,iCAAiC,CAAC;AAC9E,OAAO,EAAE,0BAA0B,EAAE,MAAM,8BAA8B,CAAC;AAE1E,OAAO,EAAE,kCAAkC,EAAE,MAAM,iDAAiD,CAAC;AACrG,OAAO,EAAE,uBAAuB,EAAE,MAAM,0CAA0C,CAAC;AACnF,OAAO,EAAE,6BAA6B,EAAE,2BAA2B,EAAE,MAAM,4BAA4B,CAAC;AACxG,OAAO,EAAE,iBAAiB,EAAE,kBAAkB,EAAE,MAAM,4BAA4B,CAAC;AACnF,OAAO,EAAE,qBAAqB,EAAE,MAAM,2BAA2B,CAAC;AAClE,OAAO,EAAE,6BAA6B,EAAE,0BAA0B,EAAE,MAAM,4BAA4B,CAAC;AACvG,OAAO,EAAE,sBAAsB,EAAE,MAAM,uBAAuB,CAAC;AAC/D,OAAO,EAAE,yBAAyB,IAAI,gCAAgC,EAAE,MAAM,4BAA4B,CAAC;AAC3G,OAAO,EAAE,eAAe,IAAI,sBAAsB,EAAE,MAAM,2BAA2B,CAAC;AACtF,OAAO,EAAE,mCAAmC,EAAE,MAAM,sCAAsC,CAAC;AAC3F,OAAO,EAAE,OAAO,EAAE,MAAM,sBAAsB,CAAC;AAE/C,OAAO,EAAE,eAAe,EAAE,MAAM,6BAA6B,CAAC;AAC9D,OAAO,EAAE,oBAAoB,EAAE,MAAM,2CAA2C,CAAC;AAEjF,KAAK,UAAU,wBAAwB,CAAC,OAAmC;IACzE,MAAM,OAAO,CAAC,2BAA2B,EAAE;QACzC,OAAO,EAAE,OAAO,CAAC,OAAO;QACxB,SAAS,EAAE,OAAO,CAAC,SAAS;QAC5B,MAAM,EAAE,OAAO,CAAC,WAAW,CAAC,MAAM;QAClC,YAAY,EAAE,OAAO,CAAC,WAAW,CAAC,IAAI;QACtC,aAAa,EAAE,OAAO,CAAC,WAAW,CAAC,QAAQ;QAC3C,kBAAkB,EAAE,OAAO,CAAC,WAAW,CAAC,mBAAmB;KAC5D,CAAC,CAAC;AACL,CAAC;AAED,oGAAoG;AACpG,SAAS,sBAAsB,CAAC,MAAoB,EAAE,SAAwB;IAC5E,MAAM,OAAO,GAAG,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,SAAS,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;IACtF,OAAO,OAAO,CAAC,CAAC,CAAC,gBAAgB,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC,QAAQ,CAAC;AAChF,CAAC;AAED;;;;;;;;;;GAUG;AACH,SAAS,8BAA8B,CACrC,CAAsB,EACtB,SAAwB,EACxB,UAAgD;IAEhD,MAAM,YAAY,GAAG,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,gBAAgB,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,YAAY,CAAC,CAAC,CAAC,SAAS,CAAC;IACvF,MAAM,GAAG,GAAG,SAAS,IAAI,CAAC,YAAY,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;IACxD,IAAI,GAAG,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC;IAC9B,OAAO,+BAA+B,CAAC,YAAY,IAAI,UAAU,CAAC,CAAC,CAAC,SAAS,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC,UAAU,CAAC,CAAC;AACrG,CAAC;AAED,qGAAqG;AACrG,SAAS,6BAA6B,CACpC,cAAsB,EACtB,UAAgD,EAChD,YAAwC;IAExC,OAAO,KAAK,EAAE,CAAC,EAAE,UAAU,EAAE,SAAS,EAAE,UAAU,EAAE,kBAAkB,EAAE,EAAE;QACxE,MAAM,aAAa,GAAG,MAAM,YAAY,CAAC,CAAC,EAAE,UAAU,CAAC,CAAC;QACxD,MAAM,qBAAqB,CAAC,CAAC,EAAE,UAAU,EAAE,cAAc,EAAE;YACzD,gBAAgB,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC,8BAA8B,CAAC,CAAC,EAAE,GAAG,EAAE,UAAU,CAAC;SAC9E,EAAE,EAAE,SAAS,EAAE,UAAU,EAAE,kBAAkB,EAAE,GAAG,CAAC,aAAa,CAAC,CAAC,CAAC,EAAE,aAAa,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;IACjG,CAAC,CAAC;AACJ,CAAC;AAED,qFAAqF;AACrF,SAAS,+BAA+B,CACtC,cAAsB,EACtB,YAAwC;IAExC,OAAO,KAAK,EAAE,CAAC,EAAE,KAAK,EAAE,SAAS,EAAE,UAAU,EAAE,EAAE;QAC/C,MAAM,aAAa,GAAG,MAAM,YAAY,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;QAChD,MAAM,kCAAkC,CACtC,CAAC,EAAE,EAAE,GAAG,KAAK,EAAE,GAAG,CAAC,aAAa,CAAC,CAAC,CAAC,EAAE,aAAa,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,cAAc,EAAE,EAAE,EAAE,EAAE,SAAS,EAAE,UAAU,EAAE,CAC5G,CAAC;IACJ,CAAC,CAAC;AACJ,CAAC;AAED;;;;;;GAMG;AACH,MAAM,0BAA0B,GAA2F;IACzH,6BAA6B;IAC7B,0BAA0B;CAC3B,CAAC;AAEF,MAAM,CAAC,MAAM,WAAW,GAAG,CAAC,MAAoB,EAAoB,EAAE;IACpE,MAAM,UAAU,GAAG,CAAC,SAAwB,EAAU,EAAE,CAAC,sBAAsB,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC;IACnG,MAAM,sBAAsB,GAAG,2BAA2B,CAAC,UAAU,CAAC,CAAC;IACvE,MAAM,WAAW,GAAG,kBAAkB,EAAE,CAAC;IACzC,MAAM,mBAAmB,GAAG,4BAA4B,CAAC,sBAAsB,EAAE,WAAW,CAAC,CAAC;IAC9F,gFAAgF;IAChF,MAAM,YAAY,GAAG,+BAA+B,CAAC,sBAAsB,EAAE,WAAW,CAAC,CAAC;IAC1F,OAAO;QACL,uBAAuB;QACvB,aAAa,EAAE,yCAAyC;QACxD,GAAG,0BAA0B;QAC7B,eAAe,EAAE,qBAAqB;QACtC,+EAA+E;QAC/E,oFAAoF;QACpF,kFAAkF;QAClF,qDAAqD;QACrD,gFAAgF;QAChF,+EAA+E;QAC/E,6DAA6D;QAC7D,8EAA8E;QAC9E,kDAAkD;QAClD,wBAAwB,EAAE,CAAC,eAAe,EAAE,OAAO,EAAE,QAAQ,EAAE,kBAAkB,EAAE,UAAU,EAAE,EAAE,CAC/F,+BAA+B,CAAC,eAAe,EAAE,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,kBAAkB,EAAE,UAAU,CAAC;QACzG,8EAA8E;QAC9E,sBAAsB;QACtB,+EAA+E;QAC/E,mFAAmF;QACnF,uBAAuB,EAAE,KAAK,EAAE,CAAC,EAAE,MAAM,EAAE,EAAE;YAC3C,MAAM,uBAAuB,CAAC,CAAC,EAAE,MAAM,EAAE,EAAE,cAAc,EAAE,qBAAqB,EAAE,cAAc,EAAE,MAAM,CAAC,cAAc,EAAE,CAAC,CAAC;QAC7H,CAAC;QACD,cAAc,EAAE,qBAAqB;QACrC,cAAc,EAAE,MAAM,CAAC,cAAc;QACrC,iBAAiB,EAAE,wBAAwB;QAC3C,eAAe,EAAE,wBAAwB;QACzC,gBAAgB,EAAE,wBAAwB;QAC1C,eAAe,EAAE,sBAAsB;QACvC,yBAAyB,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,gCAAgC,CAAC,CAAC,EAAE;YACpE,OAAO;YACP,UAAU;YACV,iBAAiB,EAAE,MAAM,CAAC,iBAAiB;SAC5C,CAAC;QACF,UAAU;QACV,iBAAiB,EAAE,MAAM,CAAC,iBAAiB;QAC3C,mBAAmB,EAAE,mCAAmC,EAAE;QAC1D,0BAA0B,EAAE,CAAC,CAAC,EAAE,YAAY,EAAE,EAAE,CAAC,iCAAiC,CAAC,CAAC,EAAE,SAAS,EAAE,YAAY,CAAC;QAC9G,gBAAgB;QAChB,4FAA4F;QAC5F,kBAAkB,EAAE,eAAe,CAAC,kBAAkB,CAAC;QACvD,sBAAsB,EAAE,CAAC,CAAC,EAAE,MAAM,EAAE,EAAE,CACpC,kCAAkC,CAAC,CAAC,EAAE,MAAM,EAAE,MAAM,CAAC,cAAc,CAAC,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,SAAS,CAAC;QAC5F,gFAAgF;QAChF,2EAA2E;QAC3E,wBAAwB,EAAE,6BAA6B,CAAC,MAAM,CAAC,cAAc,EAAE,UAAU,EAAE,YAAY,CAAC;QACxG,oBAAoB,EAAE,2BAA2B;QACjD,4GAA4G;QAC5G,qBAAqB,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,EAAE,CAAC,2BAA2B,CAAC,sBAAsB,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,GAAG,CAAC;QAC1G,0EAA0E;QAC1E,+EAA+E;QAC/E,gFAAgF;QAChF,gFAAgF;QAChF,8EAA8E;QAC9E,sBAAsB,EAAE,CAAC,UAAU,EAAE,EAAE,CAAC,qBAAqB,CAAC,UAAU,CAAC;QACzE,wBAAwB,EAAE,CAAC,CAAC,EAAE,SAAS,EAAE,EAAE,CAAC,8BAA8B,CAAC,CAAC,EAAE,SAAS,EAAE,UAAU,CAAC;QACpG,kCAAkC,EAAE,+BAA+B,CAAC,MAAM,CAAC,cAAc,EAAE,YAAY,CAAC;QACxG,sBAAsB;QACtB,mBAAmB,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,eAAe,CAAC,sBAAsB,CAAC,CAAC,CAAC,EAAE,MAAM,CAAC,iBAAiB,CAAC;QAChG,GAAG,mBAAmB;QACtB,iGAAiG;QACjG,iBAAiB,EAAE,6BAA6B,CAAC,MAAM,EAAE;YACvD,oBAAoB,EAAE,mBAAmB,CAAC,yBAAyB;SACpE,CAAC;QACF,mBAAmB,EAAE,CAAC,OAAO,EAAE,EAAE,GAAG,kBAAkB,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;QAClE,iBAAiB,EAAE,CAAC,SAAS,EAAE,OAAO,EAAE,GAAG,EAAE,IAAI,EAAE,EAAE,CAAC,iBAAiB,CAAC,SAAS,EAAE,OAAO,EAAE,GAAG,EAAE,EAAE,IAAI,EAAE,CAAC;QAC1G,8EAA8E;QAC9E,sDAAsD;QACtD,0BAA0B,EAAE,CAAC,OAAO,EAAE,GAAG,EAAE,EAAE,CAAC,oBAAoB,CAAC,eAAe,EAAE,OAAO,EAAE,GAAG,CAAC;QACjG,wEAAwE;QACxE,2EAA2E;QAC3E,0EAA0E;QAC1E,gEAAgE;QAChE,2EAA2E;QAC3E,yDAAyD;QACzD,wBAAwB,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,gBAAgB,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,YAAY,IAAI,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC;QACvG,mBAAmB,EAAE,0BAA0B;QAC/C,2HAA2H;QAC3H,qBAAqB,EAAE,CAAC,SAAS,EAAE,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE,CAAC,qBAAqB,CAAC,SAAS,EAAE,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE;YAC/G,iBAAiB,EAAE,MAAM,CAAC,iBAAiB;YAC3C,mBAAmB,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,gBAAgB,CAAC,EAAE,CAAC,EAAE,YAAY,IAAI,IAAI;YACvE,oBAAoB,EAAE,KAAK,EAAE,EAAE,EAAE,EAAE,CAAC,CAAC,MAAM,kBAAkB,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YACnF,iBAAiB,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,EAAE,CAAC,iBAAiB,CAAC,CAAC,EAAE,CAAC,EAAE,GAAG,EAAE,EAAE,IAAI,EAAE,CAAC,EAAE,CAAC;SAC/E,CAAC;KACH,CAAC;AACJ,CAAC,CAAC"}

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

@@ -1,381 +0,0 @@
-/**
- * The verification engine's injectable dependency surface.
- *
- * Split out of `verification-engine.ts` (which holds the dispatch + tick logic)
- * because this is a CONTRACT, not behavior: every seam the engine reaches
- * reality through -- pending-verification reads, the injection flip, target
- * reconciliation, escalation filing, drift emission, the three strategies, cwd
- * and commit-set resolution, the security gate, and the three feedback re-entry
- * paths -- is declared here, and every test that drives the engine constructs
- * one of these. The wiring that fills it (`defaultDeps`) stays in the engine,
- * next to the imports it binds.
- *
- * Type-only module: no runtime imports, so it adds no edge to the module graph
- * that `import-x/no-cycle` has to reason about.
- *
- * @module verification-deps
- */
-import type { CommitGateSubject } from './commit-gate-configured.js';
-import type { StrategyResult } from './verification-deterministic.js';
-import type { runDeterministicStrategy } from './verification-deterministic.js';
-import type { CommitVerdictGate, CommitVerdictReader, CommitVerdictRecorder } from './commit-verdict-record.js';
-import type { CarriedVerdict } from './no-own-delta-verdict.js';
-import type { RecordedTargetsPersist } from './recorded-targets.js';
-import type { VerifyCheckout } from './verification-checkout.js';
-import type { WorktreeProvisioningStatus } from '../worktree/worktree-package-provisioning.js';
-import type { getPendingVerifications, PendingVerification, VerificationOutcome } from '../queries/verification.js';
-import type { NodeWriteback } from '../reality/reality-writeback.js';
-import type { ReconcileTargetsResult, TargetRestatement, TargetShortfall, VerifyEvidence } from './verify-restatement.js';
-import type { FileEscalationInput } from '../completion/escalations.js';
-import type { EvidenceUnavailableDetail, GateVerdictSummary } from '../queries/delivery-gate-state.js';
-import type { DeliveryGateRecord } from '../queries/deliveries.js';
-import type { ModelUnavailableDetail } from '../queries/verify-own-holds.js';
-import type { DaemonConfig } from '../types/index.js';
-import type { AppliedVerificationConfig, ResolvedDefaultVerification } from './verification-config.js';
-import type { VerifyManifestReader } from './verification-manifest.js';
-import type { JudgedCommitRead } from './verification-default-on.js';
-import type { getActiveFocuses } from '../queries/focus-discovery.js';
-import type { getFocusDeliveries } from '../queries/focuses.js';
-import type { AiInspectionInputs } from './ai-inspection-context.js';
-import type { runAiInspection as defaultRunAiInspection } from './ai-inspection-runner.js';
-import type { SecurityFindingGateDeps } from '../security/security-finding-gate.js';
-import type { FailureClassification } from './verification-baseline.js';
-import type { GateSegment } from './verification-gate-stages.js';
-import type { ShortfallRulingsReader } from './shortfall-rulings.js';
-import type { UnresolvedEvidenceRef } from './ruling-evidence-resolution.js';
-import type { EvidenceRef } from '../drift/artifact-ref-shape.js';
-/**
- * Run the gate stages that never ran after a pre-existing red (a parsed run's
- * continuation segments) at the commit `head` judged, returning that run's result.
- */
-export type StageContinuationRunner = (v: PendingVerification, segments: readonly GateSegment[], head: StrategyResult) => Promise<StrategyResult>;
-export interface DriftProposalCreatePayload {
-    focusId: string | null;
-    productId: string | null;
-    injectionNodeId: string;
-    observation: {
-        nodeId: string | null;
-        kind: 'update_statement' | 'add_node' | 'retire_node' | 'change_node_type' | 'flip_ude_to_de';
-        observed: string;
-        suggestedCorrection: string;
-    };
-}
-export interface VerificationDeps {
-    getPendingVerifications: typeof getPendingVerifications;
-    /**
-     * Record the outcome. `judgedSha` is the commit the run judged (null when it
-     * judged none): a pass keeps a judged commit stamped for that very sha
-     * (verify/verification-history-reset.ts).
-     */
-    recordOutcome: (deliveryId: string, outcome: VerificationOutcome, judgedSha?: string | null) => Promise<void>;
-    /**
-     * Retire the injection + promote its FRT overlay. `evidence` (when supplied)
-     * is stamped onto the injection node before the flip so a verification-retired
-     * injection cites the files/tests it was verified on -- never evidence=null.
-     * `withheldNodeIds` are targets that must not flip with it: shortfall nodes an
-     * operator EXCUSED (verify/shortfall-rulings.ts).
-     */
-    verifyInjection: (injectionNodeId: string, restatements?: TargetRestatement[], evidence?: string, withheldNodeIds?: readonly string[]) => Promise<void>;
-    /**
-     * Read the operator shortfall rulings recorded on a delivery
-     * (queries/shortfall-rulings.ts). Applied to a judgement's shortfalls before
-     * they route, and read by the default-on scan to re-judge a park a ruling
-     * released (verify/shortfall-rulings.ts). Optional: absent, no ruling is
-     * applied and no park is re-armed; defaultDeps reads the product-api.
-     */
-    readShortfallRulings?: ShortfallRulingsReader;
-    /**
-     * Resolve a review met's evidence references at the judged commit, by
-     * existence only (verify/ruling-evidence-resolution.ts): the references that
-     * did NOT resolve. Optional: absent, no review met is honored (verify judges
-     * those nodes itself); defaultDeps reads the product repo with git.
-     */
-    resolveRulingEvidence?: (v: PendingVerification, refs: readonly EvidenceRef[], sha: string) => Promise<UnresolvedEvidenceRef[]>;
-    /**
-     * The verdict the commit-verdict RELEASE pass would read for a held commit
-     * (completion/review-exit-verdict-gate.ts readGateVerdictState over the
-     * production gate seams): the delivery's own gate, its per-commit record and its
-     * explicit outcome. The commit-verdict pull declines a parked delivery only when
-     * this reads 'passed' -- the one state in which the release replays with no run
-     * (verify/commit-verdict-pull.ts). Optional: absent, the pull never declines.
-     */
-    readHeldCommitVerdictState?: (subject: CommitGateSubject, sha: string) => Promise<'unconfigured' | 'passed' | 'failed' | 'pending'>;
-    /**
-     * Read the delivery's execution_status + gate_state as the last writer left
-     * them (queries/deliveries.ts getDeliveryGateRecord). The pass path reads the
-     * standing SHORTFALL PARK through it before the reconciliation, so a parked
-     * delivery whose commit set and rulings are unchanged is re-held from the
-     * record instead of costing another model call
-     * (verify/parked-shortfall-reuse.ts). Optional: absent, no park is read and
-     * every dispatch judges; defaultDeps reads the delivery row.
-     */
-    readDeliveryGateRecord?: (deliveryId: string) => Promise<DeliveryGateRecord | null>;
-    /**
-     * The identities of the delivery's OWN Telora-Delivery-trailered commits at the
-     * commit a dispatch judged (verify/delivery-commit-set.ts); null when git could
-     * not answer. The SAME resolution the shortfall routing fingerprints the park
-     * with (verification-deps-default.ts resolveJudgedDeliveryCommitSet), so the
-     * park's recorded set and the set read here are comparable by construction.
-     * Optional: absent, the current set is unknown and a park is never reused.
-     */
-    resolveDeliveryCommitSet?: (v: PendingVerification, judgedSha: string | null) => Promise<string[] | null> | string[] | null;
-    /**
-     * Reconcile the declared desired effect against the achieved outcome (authored
-     * from the supplied EVIDENCE -- diff/tests/inspection, NOT the UDE problem text)
-     * for each UDE the injection targets, classifying match / legitimate_divergence
-     * / shortfall. match / legitimate_divergence come back in `restatements` for the
-     * engine to carry INTO the verify call; shortfalls come back in `shortfalls` so
-     * the engine can hold the gate and escalate. The edge applies the supplied prose
-     * + classification; it never runs the LLM.
-     */
-    authorTargetRestatements?: (injectionNodeId: string, focusId: string | null, evidence: VerifyEvidence, 
-    /**
-     * True when the resolved diff range does not cover the delivery's recorded
-     * commit set (half-blind). Treated the same as an empty bundle: the gate
-     * declines to render a verdict and returns the instrument-fault signal.
-     */
-    evidenceIncomplete: boolean, 
-    /**
-     * The delivery being verified. Lets the reconciliation narrow to the targets
-     * the focus's ARM COVERED: a target added to the in-flight injection after
-     * arming produces no shortfall, no hold and no re-work issue, and is
-     * reported as recorded instead. Omitted => every target is judged, as before.
-     */
-    deliveryId?: string | null) => Promise<ReconcileTargetsResult>;
-    /**
-     * File a human escalation when an injection's achieved outcome falls SHORT of
-     * its declared desired effect. Reality is asymmetric: we never soften the
-     * declared DE to match a lesser achievement -- we hold the gate and hand the
-     * gap to the intent owner.
-     */
-    fileEscalation: (input: FileEscalationInput) => Promise<void>;
-    /** Org scope for filed escalations. */
-    organizationId: string;
-    /** Persist a single drift proposal observed during ai_inspection. */
-    emitDriftProposal: (payload: DriftProposalCreatePayload) => Promise<void>;
-    /**
-     * Surface INWARD drift proposals (TEL-4): for each target the verify path
-     * stamped `legitimate_divergence`, create one `update_statement` drift
-     * proposal flagged `inward:true` so a confident-but-wrong tree claim is
-     * corrected by drift rather than frozen. Best-effort + non-fatal: a failure
-     * here must not undo the verify flip that already landed. Defaults to the
-     * `emitInwardDriftProposals` seam in queries/verification.
-     */
-    emitInwardDrift: (injectionNodeId: string, writebacks: readonly NodeWriteback[], realityTreeId?: string) => Promise<void>;
-    runDeterministic: typeof runDeterministicStrategy;
-    runAiInspection: typeof defaultRunAiInspection;
-    resolveAiInspectionInputs: (v: PendingVerification) => Promise<AiInspectionInputs | null>;
-    resolveCwd: (productId: string | null) => string;
-    integrationBranch: string;
-    /**
-     * Security workflow verify-closed gate. Consulted before
-     * `verifyInjection` so a security-linked injection cannot be retired
-     * unless the linked finding has flipped to 'resolved'. On failure the
-     * gate escalates the finding (status='escalated', reason='verify_gate_failed')
-     * and the engine demotes the verification outcome to 'failed'.
-     */
-    securityFindingGate: SecurityFindingGateDeps;
-    /**
-     * Resolve the default-on deterministic verification config (env > file >
-     * default). When it yields `enabled: false` (no command configured) the
-     * default-on scan arms only from judged commits. `readManifest` replaces the
-     * repo-manifest read (the tick passes a silent one to set a malformed repoPath
-     * manifest aside); omitted, the real file is read.
-     */
-    resolveDefaultVerification: (config: DaemonConfig, readManifest?: VerifyManifestReader) => ResolvedDefaultVerification;
-    /** Enumerate active focuses for a product (default-on candidate discovery). */
-    getActiveFocuses: typeof getActiveFocuses;
-    /** Fetch a focus's deliveries (default-on candidate discovery). */
-    getFocusDeliveries: typeof getFocusDeliveries;
-    /** Failed-run feedback (gate_state + live inject). Optional; defaultDeps provides it. */
-    deliverFailureFeedback?: (v: PendingVerification, result: StrategyResult) => Promise<void>;
-    /**
-     * Shortfall-origin re-work re-entry: route the delivery verify -> verify_failed
-     * through the single-writer reconciler (carrying the declared-vs-achieved gap in
-     * gate_state under the shortfall guard) so it re-enters bounded re-work instead
-     * of a human inbox, and live-inject the gap into a running coding team.
-     * Distinct from deliverFailureFeedback so a shortfall hold never reports under
-     * the deterministic guard. Optional; defaultDeps provides it (requeueShortfallAsRework).
-     * `judgedSha` is the commit the run behind this verdict judged (null when it
-     * judged none), and `runVerdict` the verdict that run rendered for it
-     * (rework-judgment.ts runVerdictOf; null when it rendered none): the re-work
-     * shows it and persists it beside the judged commit, so a resume reads the
-     * delivery's own verdict without a record read. `shortfalls` are those no
-     * operator ruling cleared, and `rulingsFingerprint` the fingerprint of the
-     * rulings applied (null when unread) -- recorded on a park it re-holds
-     * (verify/shortfall-park.ts classifyShortfallPark).
-     */
-    deliverShortfallFeedback?: (v: PendingVerification, shortfalls: readonly TargetShortfall[], judgedSha?: string | null, runVerdict?: GateVerdictSummary | null, rulingsFingerprint?: string | null) => Promise<void>;
-    /**
-     * Instrument-fault re-work re-entry: the verify path was handed no evidence it
-     * could judge the work against (an empty bundle). Routes the delivery
-     * verify -> verify_failed through the single-writer reconciler (carrying the
-     * instrument-fault context in gate_state under the evidence-unavailable guard)
-     * so it re-enters the EXISTING bounded verify_failed re-work cycle, and
-     * live-injects the fault into a running coding team. Files NO escalation --
-     * "fix the diff range / confirm the merge" names no act only a human can
-     * perform, so an empty bundle never reaches a human inbox
-     * (verify_gate_unclearable, from the iteration cap, is the sole residue).
-     * Optional; defaultDeps provides it (requeueEvidenceUnavailableAsRework).
-     * `judgedSha` and `runVerdict` as for deliverShortfallFeedback.
-     */
-    requeueEvidenceUnavailableAsRework?: (v: PendingVerification, fault: Omit<EvidenceUnavailableDetail, 'heldAt'>, judgedSha?: string | null, runVerdict?: GateVerdictSummary | null) => Promise<void>;
-    /**
-     * The reconciliation could not RUN (spawn/one-shot-model.ts ModelUnavailable):
-     * the model was not reached, so nothing was judged. Records the awaited hold
-     * on the delivery at its own status -- no transition, no iteration, no
-     * shortfall, no repeat signature -- so a later tick re-judges the same commit
-     * (verify/verification-model-unavailable-hold.ts). Optional; defaultDeps
-     * provides it.
-     */
-    holdForModelUnavailable?: (v: PendingVerification, detail: ModelUnavailableDetail) => Promise<void>;
-    /** cwd for the HEAD run -- the focus worktree. Optional; dispatch falls back to resolveCwd. */
-    resolveVerificationCwd?: (v: PendingVerification) => string;
-    /**
-     * The focus worktree a deterministic verify judges (its HEAD is checked out
-     * detached for the run); null when the focus has none. Optional; defaults to
-     * the registered focus worktree (verify/verification-checkout.ts).
-     */
-    resolveFocusWorktreePath?: (v: PendingVerification) => string | null;
-    /** Detached-checkout factory for a deterministic run. Optional; defaults to createVerifyCheckout. */
-    createVerifyCheckout?: (focusWorktreePath: string, checkoutKey: string) => VerifyCheckout | null;
-    /**
-     * Whether the focus worktree's nested package installs are current; not ready
-     * -> the run reports checkoutUnavailable. Optional; defaults to
-     * readWorktreeProvisioning (worktree/worktree-package-provisioning.ts).
-     */
-    readWorktreeProvisioning?: (focusWorktreePath: string) => WorktreeProvisioningStatus;
-    /**
-     * Re-resolve a DEFAULT-ON candidate's command + timeout from the code a run
-     * executes in (`runPath`, the detached checkout), with the product repoPath
-     * manifest as a recorded fallback. Throws on a malformed manifest in that code.
-     * Never consulted for explicit-method rows or in-place runs. Optional; defaults
-     * to the real resolver over process.env (verify/verification-checkout.ts).
-     */
-    resolveRunVerificationConfig?: (v: PendingVerification, runPath: string) => AppliedVerificationConfig;
-    /** Focus worktree HEAD sha (default-on HEAD re-verify guard). Optional; null never suppresses. */
-    resolveFocusHeadSha?: (focusId: string) => string | null;
-    /** The telora.verify.json a focus's judged commit ships (default-on arming). Optional; defaults to a git read. */
-    readJudgedCommitManifest?: (focusId: string) => JudgedCommitRead | null;
-    /**
-     * Count of commits the delivery branch is ahead of the integration base.
-     * Used by the evidence-integrity guard to tell a broken diff MEASUREMENT
-     * (commits present but diff empty -> hold) from genuine inaction (no commits
-     * -> a real shortfall). Optional; defaultDeps resolves it in the focus worktree.
-     */
-    resolveCommitsAhead?: (v: PendingVerification) => number;
-    /**
-     * Resolve the delivery's RECORDED constituent commit shas (focus_merges.commit_shas)
-     * for the merge_commit_sha the row carries -- the durable attribution written at
-     * merge time. The verify diff resolver prefers this over live branch topology so a
-     * fast-forwarded or rebased merge-back is judged against the delivery's real commit
-     * set, not a truncated trailing-commit range. Returns [] when no record exists (the
-     * resolver then falls through to topology). Optional; defaultDeps provides it.
-     */
-    resolveRecordedCommitShas?: (v: PendingVerification) => Promise<string[]>;
-    /**
-     * Resolve the delivery's RECORDED pre-merge boundary (focus_merges.pre_merge_ref)
-     * for the merge_commit_sha the row carries. The verify diff resolver uses
-     * `<preMergeRef>...<mergeCommitSha>` as a FAST-FORWARD-safe range when the
-     * merge-back produced no merge commit -- an INDEPENDENT source from
-     * resolveRecordedCommitShas (a scalar that survives an empty commit_shas array).
-     * Returns null when no boundary was recorded (the resolver then falls through to
-     * its remaining sources). Optional; defaultDeps provides it.
-     */
-    resolveRecordedPreMergeRef?: (v: PendingVerification) => Promise<string | null>;
-    /**
-     * The delivery's own commits in the batch whose pre-merge boundary
-     * resolveRecordedPreMergeRef hands -- the commits that boundary bounds. The
-     * verify boundary env counts these (not the whole-history set) so the
-     * selector's range guard compares one batch with its own boundary. Returns []
-     * when the batch holds none or is unrecorded. Optional; defaultDeps provides it.
-     */
-    resolveRecordedBoundaryCommitShas?: (v: PendingVerification) => Promise<string[]>;
-    /**
-     * Detect a TOTAL ATTRIBUTION FAILURE: the recorded merge batch carries ZERO
-     * parseable Telora-Delivery trailers on a focus with MORE THAN ONE delivery.
-     * Such a batch is un-partitionable AND cannot be the genuine single-delivery
-     * legacy case, so returning the whole set as this delivery's evidence would
-     * judge it against the combined sibling diff (a confident verdict on the wrong
-     * evidence). Returns the batch/deliveries sizes when it IS such a failure, or
-     * null otherwise (partitionable batch, single-delivery focus, or no record).
-     * The engine forces the evidence-unavailable non-verdict path on non-null.
-     * Optional; defaultDeps provides it.
-     */
-    resolveAttributionFailure?: (v: PendingVerification) => Promise<{
-        batch: number;
-        deliveries: number;
-    } | null>;
-    /**
-     * Detect an INSTRUMENT-READ fault: the durable record could not be READ at all
-     * (the focus_merge_list API was unreachable), as distinct from an honest empty
-     * record. Returns the seam that could not be determined + the underlying reason
-     * when the read was UNDETERMINED, or null when the record was read successfully
-     * (whether it held evidence or was confirmed empty). The engine uses this, on
-     * the fully-blind evidence-unavailable path, to report the blindness as a
-     * READ fault naming the seam rather than "there is nothing here". Optional;
-     * defaultDeps provides it.
-     */
-    resolveEvidenceInstrumentFault?: (v: PendingVerification) => Promise<{
-        seam: string;
-        reason: string;
-    } | null>;
-    /** Baseline-diff attribution; null => no baseline resolvable (gate all). Optional. */
-    attributeFailures?: (v: PendingVerification, result: StrategyResult) => Promise<FailureClassification | null>;
-    /**
-     * Continue a gate after a red the focus base shares: run the stages that never
-     * ran, at the judged commit, so they are judged before any pass. Optional;
-     * defaults to a fixed-commit run pinned to the HEAD run's verifiedSha
-     * (verify/verification-attribution.ts).
-     */
-    runStageContinuation?: StageContinuationRunner;
-    /**
-     * Record the verdict a deterministic run rendered for its judged commit
-     * (verify/commit-verdict-record.ts). Optional: absent, nothing is recorded;
-     * defaultDeps writes the durable per-commit record.
-     */
-    recordCommitVerdict?: CommitVerdictRecorder;
-    /**
-     * Read the verdict recorded for a focus commit under a gate, so a deterministic
-     * delivery -- default-on, or an explicit row under its own gate -- judged on an
-     * already-judged commit takes it instead of running the gate again
-     * (verify/verification-commit-sharing.ts). Optional: absent, every
-     * candidate runs; defaultDeps reads the durable per-commit record.
-     */
-    readCommitVerdict?: CommitVerdictReader;
-    /**
-     * The verdict a focus commit that adds nothing of the focus's own carries from
-     * its newest judged ancestor (verify/no-own-delta-verdict.ts), read when no
-     * verdict is recorded for the commit itself: taken in place of a run that would
-     * judge the integration tip for the focus. Optional: absent, such a commit runs.
-     */
-    resolveCarriedVerdict?: (productId: string, focusId: string, head: string, gate: CommitVerdictGate) => Promise<CarriedVerdict | null>;
-    /**
-     * Record an explicit-method run's verdict, under the gate it applied, on its
-     * delivery's gate_state, where a daemon restart keeps it
-     * (verify/explicit-gate-outcome.ts). Called for an explicit row that routes,
-     * after recordOutcome, with the run id its selection named (undefined when none
-     * did). Optional: absent, the verdict is kept in process only; defaultDeps writes
-     * the durable record.
-     */
-    persistExplicitGateOutcome?: (deliveryId: string, result: StrategyResult, gateKey: string, runId: string | undefined) => Promise<unknown>;
-    /**
-     * Record on the delivery's gate_state the targets its verify run did NOT judge,
-     * because the focus's arm did not cover them (verify/recorded-targets.ts).
-     * Called last, once the run's other gate_state writers have settled, with the
-     * set the reconciliation reported -- empty to remove a standing record. Optional:
-     * absent, the set is logged only; defaultDeps writes the durable record.
-     */
-    persistRecordedTargets?: RecordedTargetsPersist;
-    /**
-     * Name `runId` the explicit-method delivery's current run, voiding every verdict
-     * an older run recorded (verify/explicit-run-ledger.ts), and durably remove that
-     * verdict from its gate_state, before the run can start
-     * (verify/explicit-gate-outcome.ts). Resolves false when either did not land, or
-     * when the delivery is not found or stopped cycling (done, cancelled), and the tick
-     * then neither starts that run nor routes a verdict. Optional: absent, every candidate starts
-     * and nothing durable is removed; defaultDeps does both.
-     */
-    invalidateExplicitGateOutcome?: (deliveryId: string, runId: string) => Promise<boolean>;
-}
-//# sourceMappingURL=verification-deps.d.ts.map

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

@@ -1 +0,0 @@
-{"version":3,"file":"verification-deps.d.ts","sourceRoot":"","sources":["../../src/verify/verification-deps.ts"],"names":[],"mappings":"AAKA;;;;;;;;;;;;;;;;GAgBG;AAEH,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,6BAA6B,CAAC;AACrE,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,iCAAiC,CAAC;AACtE,OAAO,KAAK,EAAE,wBAAwB,EAAE,MAAM,iCAAiC,CAAC;AAChF,OAAO,KAAK,EAAE,iBAAiB,EAAE,mBAAmB,EAAE,qBAAqB,EAAE,MAAM,4BAA4B,CAAC;AAChH,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,2BAA2B,CAAC;AAChE,OAAO,KAAK,EAAE,sBAAsB,EAAE,MAAM,uBAAuB,CAAC;AACpE,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,4BAA4B,CAAC;AACjE,OAAO,KAAK,EAAE,0BAA0B,EAAE,MAAM,8CAA8C,CAAC;AAC/F,OAAO,KAAK,EACV,uBAAuB,EACvB,mBAAmB,EACnB,mBAAmB,EACpB,MAAM,4BAA4B,CAAC;AACpC,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,iCAAiC,CAAC;AACrE,OAAO,KAAK,EACV,sBAAsB,EACtB,iBAAiB,EACjB,eAAe,EACf,cAAc,EACf,MAAM,yBAAyB,CAAC;AACjC,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,8BAA8B,CAAC;AACxE,OAAO,KAAK,EAAE,yBAAyB,EAAE,kBAAkB,EAAE,MAAM,mCAAmC,CAAC;AACvG,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,0BAA0B,CAAC;AACnE,OAAO,KAAK,EAAE,sBAAsB,EAAE,MAAM,gCAAgC,CAAC;AAC7E,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,mBAAmB,CAAC;AACtD,OAAO,KAAK,EAAE,yBAAyB,EAAE,2BAA2B,EAAE,MAAM,0BAA0B,CAAC;AACvG,OAAO,KAAK,EAAE,oBAAoB,EAAE,MAAM,4BAA4B,CAAC;AACvE,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,8BAA8B,CAAC;AACrE,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,+BAA+B,CAAC;AACtE,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,uBAAuB,CAAC;AAChE,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,4BAA4B,CAAC;AACrE,OAAO,KAAK,EAAE,eAAe,IAAI,sBAAsB,EAAE,MAAM,2BAA2B,CAAC;AAC3F,OAAO,KAAK,EAAE,uBAAuB,EAAE,MAAM,sCAAsC,CAAC;AACpF,OAAO,KAAK,EAAE,qBAAqB,EAAE,MAAM,4BAA4B,CAAC;AACxE,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,+BAA+B,CAAC;AACjE,OAAO,KAAK,EAAE,sBAAsB,EAAE,MAAM,wBAAwB,CAAC;AACrE,OAAO,KAAK,EAAE,qBAAqB,EAAE,MAAM,iCAAiC,CAAC;AAC7E,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,gCAAgC,CAAC;AAElE;;;GAGG;AACH,MAAM,MAAM,uBAAuB,GAAG,CACpC,CAAC,EAAE,mBAAmB,EACtB,QAAQ,EAAE,SAAS,WAAW,EAAE,EAChC,IAAI,EAAE,cAAc,KACjB,OAAO,CAAC,cAAc,CAAC,CAAC;AAE7B,MAAM,WAAW,0BAA0B;IACzC,OAAO,EAAE,MAAM,GAAG,IAAI,CAAC;IACvB,SAAS,EAAE,MAAM,GAAG,IAAI,CAAC;IACzB,eAAe,EAAE,MAAM,CAAC;IACxB,WAAW,EAAE;QACX,MAAM,EAAE,MAAM,GAAG,IAAI,CAAC;QACtB,IAAI,EAAE,kBAAkB,GAAG,UAAU,GAAG,aAAa,GAAG,kBAAkB,GAAG,gBAAgB,CAAC;QAC9F,QAAQ,EAAE,MAAM,CAAC;QACjB,mBAAmB,EAAE,MAAM,CAAC;KAC7B,CAAC;CACH;AAED,MAAM,WAAW,gBAAgB;IAC/B,uBAAuB,EAAE,OAAO,uBAAuB,CAAC;IACxD;;;;OAIG;IACH,aAAa,EAAE,CAAC,UAAU,EAAE,MAAM,EAAE,OAAO,EAAE,mBAAmB,EAAE,SAAS,CAAC,EAAE,MAAM,GAAG,IAAI,KAAK,OAAO,CAAC,IAAI,CAAC,CAAC;IAC9G;;;;;;OAMG;IACH,eAAe,EAAE,CAAC,eAAe,EAAE,MAAM,EAAE,YAAY,CAAC,EAAE,iBAAiB,EAAE,EAAE,QAAQ,CAAC,EAAE,MAAM,EAAE,eAAe,CAAC,EAAE,SAAS,MAAM,EAAE,KAAK,OAAO,CAAC,IAAI,CAAC,CAAC;IACxJ;;;;;;OAMG;IACH,oBAAoB,CAAC,EAAE,sBAAsB,CAAC;IAC9C;;;;;OAKG;IACH,qBAAqB,CAAC,EAAE,CAAC,CAAC,EAAE,mBAAmB,EAAE,IAAI,EAAE,SAAS,WAAW,EAAE,EAAE,GAAG,EAAE,MAAM,KAAK,OAAO,CAAC,qBAAqB,EAAE,CAAC,CAAC;IAChI;;;;;;;OAOG;IACH,0BAA0B,CAAC,EAAE,CAC3B,OAAO,EAAE,iBAAiB,EAC1B,GAAG,EAAE,MAAM,KACR,OAAO,CAAC,cAAc,GAAG,QAAQ,GAAG,QAAQ,GAAG,SAAS,CAAC,CAAC;IAC/D;;;;;;;;OAQG;IACH,sBAAsB,CAAC,EAAE,CAAC,UAAU,EAAE,MAAM,KAAK,OAAO,CAAC,kBAAkB,GAAG,IAAI,CAAC,CAAC;IACpF;;;;;;;OAOG;IACH,wBAAwB,CAAC,EAAE,CAAC,CAAC,EAAE,mBAAmB,EAAE,SAAS,EAAE,MAAM,GAAG,IAAI,KAAK,OAAO,CAAC,MAAM,EAAE,GAAG,IAAI,CAAC,GAAG,MAAM,EAAE,GAAG,IAAI,CAAC;IAC5H;;;;;;;;OAQG;IACH,wBAAwB,CAAC,EAAE,CACzB,eAAe,EAAE,MAAM,EACvB,OAAO,EAAE,MAAM,GAAG,IAAI,EACtB,QAAQ,EAAE,cAAc;IACxB;;;;OAIG;IACH,kBAAkB,EAAE,OAAO;IAC3B;;;;;OAKG;IACH,UAAU,CAAC,EAAE,MAAM,GAAG,IAAI,KACvB,OAAO,CAAC,sBAAsB,CAAC,CAAC;IACrC;;;;;OAKG;IACH,cAAc,EAAE,CAAC,KAAK,EAAE,mBAAmB,KAAK,OAAO,CAAC,IAAI,CAAC,CAAC;IAC9D,uCAAuC;IACvC,cAAc,EAAE,MAAM,CAAC;IACvB,qEAAqE;IACrE,iBAAiB,EAAE,CAAC,OAAO,EAAE,0BAA0B,KAAK,OAAO,CAAC,IAAI,CAAC,CAAC;IAC1E;;;;;;;OAOG;IACH,eAAe,EAAE,CACf,eAAe,EAAE,MAAM,EACvB,UAAU,EAAE,SAAS,aAAa,EAAE,EACpC,aAAa,CAAC,EAAE,MAAM,KACnB,OAAO,CAAC,IAAI,CAAC,CAAC;IACnB,gBAAgB,EAAE,OAAO,wBAAwB,CAAC;IAClD,eAAe,EAAE,OAAO,sBAAsB,CAAC;IAC/C,yBAAyB,EAAE,CAAC,CAAC,EAAE,mBAAmB,KAAK,OAAO,CAAC,kBAAkB,GAAG,IAAI,CAAC,CAAC;IAC1F,UAAU,EAAE,CAAC,SAAS,EAAE,MAAM,GAAG,IAAI,KAAK,MAAM,CAAC;IACjD,iBAAiB,EAAE,MAAM,CAAC;IAC1B;;;;;;OAMG;IACH,mBAAmB,EAAE,uBAAuB,CAAC;IAE7C;;;;;;OAMG;IACH,0BAA0B,EAAE,CAAC,MAAM,EAAE,YAAY,EAAE,YAAY,CAAC,EAAE,oBAAoB,KAAK,2BAA2B,CAAC;IACvH,+EAA+E;IAC/E,gBAAgB,EAAE,OAAO,gBAAgB,CAAC;IAC1C,mEAAmE;IACnE,kBAAkB,EAAE,OAAO,kBAAkB,CAAC;IAC9C,yFAAyF;IACzF,sBAAsB,CAAC,EAAE,CAAC,CAAC,EAAE,mBAAmB,EAAE,MAAM,EAAE,cAAc,KAAK,OAAO,CAAC,IAAI,CAAC,CAAC;IAC3F;;;;;;;;;;;;;;;OAeG;IACH,wBAAwB,CAAC,EAAE,CACzB,CAAC,EAAE,mBAAmB,EACtB,UAAU,EAAE,SAAS,eAAe,EAAE,EACtC,SAAS,CAAC,EAAE,MAAM,GAAG,IAAI,EACzB,UAAU,CAAC,EAAE,kBAAkB,GAAG,IAAI,EACtC,kBAAkB,CAAC,EAAE,MAAM,GAAG,IAAI,KAC/B,OAAO,CAAC,IAAI,CAAC,CAAC;IACnB;;;;;;;;;;;;OAYG;IACH,kCAAkC,CAAC,EAAE,CACnC,CAAC,EAAE,mBAAmB,EACtB,KAAK,EAAE,IAAI,CAAC,yBAAyB,EAAE,QAAQ,CAAC,EAChD,SAAS,CAAC,EAAE,MAAM,GAAG,IAAI,EACzB,UAAU,CAAC,EAAE,kBAAkB,GAAG,IAAI,KACnC,OAAO,CAAC,IAAI,CAAC,CAAC;IACnB;;;;;;;OAOG;IACH,uBAAuB,CAAC,EAAE,CACxB,CAAC,EAAE,mBAAmB,EACtB,MAAM,EAAE,sBAAsB,KAC3B,OAAO,CAAC,IAAI,CAAC,CAAC;IACnB,+FAA+F;IAC/F,sBAAsB,CAAC,EAAE,CAAC,CAAC,EAAE,mBAAmB,KAAK,MAAM,CAAC;IAC5D;;;;OAIG;IACH,wBAAwB,CAAC,EAAE,CAAC,CAAC,EAAE,mBAAmB,KAAK,MAAM,GAAG,IAAI,CAAC;IACrE,qGAAqG;IACrG,oBAAoB,CAAC,EAAE,CAAC,iBAAiB,EAAE,MAAM,EAAE,WAAW,EAAE,MAAM,KAAK,cAAc,GAAG,IAAI,CAAC;IACjG;;;;OAIG;IACH,wBAAwB,CAAC,EAAE,CAAC,iBAAiB,EAAE,MAAM,KAAK,0BAA0B,CAAC;IACrF;;;;;;OAMG;IACH,4BAA4B,CAAC,EAAE,CAAC,CAAC,EAAE,mBAAmB,EAAE,OAAO,EAAE,MAAM,KAAK,yBAAyB,CAAC;IACtG,kGAAkG;IAClG,mBAAmB,CAAC,EAAE,CAAC,OAAO,EAAE,MAAM,KAAK,MAAM,GAAG,IAAI,CAAC;IACzD,kHAAkH;IAClH,wBAAwB,CAAC,EAAE,CAAC,OAAO,EAAE,MAAM,KAAK,gBAAgB,GAAG,IAAI,CAAC;IACxE;;;;;OAKG;IACH,mBAAmB,CAAC,EAAE,CAAC,CAAC,EAAE,mBAAmB,KAAK,MAAM,CAAC;IACzD;;;;;;;OAOG;IACH,yBAAyB,CAAC,EAAE,CAAC,CAAC,EAAE,mBAAmB,KAAK,OAAO,CAAC,MAAM,EAAE,CAAC,CAAC;IAC1E;;;;;;;;OAQG;IACH,0BAA0B,CAAC,EAAE,CAAC,CAAC,EAAE,mBAAmB,KAAK,OAAO,CAAC,MAAM,GAAG,IAAI,CAAC,CAAC;IAChF;;;;;;OAMG;IACH,iCAAiC,CAAC,EAAE,CAAC,CAAC,EAAE,mBAAmB,KAAK,OAAO,CAAC,MAAM,EAAE,CAAC,CAAC;IAClF;;;;;;;;;;OAUG;IACH,yBAAyB,CAAC,EAAE,CAC1B,CAAC,EAAE,mBAAmB,KACnB,OAAO,CAAC;QAAE,KAAK,EAAE,MAAM,CAAC;QAAC,UAAU,EAAE,MAAM,CAAA;KAAE,GAAG,IAAI,CAAC,CAAC;IAC3D;;;;;;;;;OASG;IACH,8BAA8B,CAAC,EAAE,CAC/B,CAAC,EAAE,mBAAmB,KACnB,OAAO,CAAC;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,MAAM,EAAE,MAAM,CAAA;KAAE,GAAG,IAAI,CAAC,CAAC;IACtD,sFAAsF;IACtF,iBAAiB,CAAC,EAAE,CAAC,CAAC,EAAE,mBAAmB,EAAE,MAAM,EAAE,cAAc,KAAK,OAAO,CAAC,qBAAqB,GAAG,IAAI,CAAC,CAAC;IAC9G;;;;;OAKG;IACH,oBAAoB,CAAC,EAAE,uBAAuB,CAAC;IAC/C;;;;OAIG;IACH,mBAAmB,CAAC,EAAE,qBAAqB,CAAC;IAC5C;;;;;;OAMG;IACH,iBAAiB,CAAC,EAAE,mBAAmB,CAAC;IACxC;;;;;OAKG;IACH,qBAAqB,CAAC,EAAE,CAAC,SAAS,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,iBAAiB,KAAK,OAAO,CAAC,cAAc,GAAG,IAAI,CAAC,CAAC;IACtI;;;;;;;OAOG;IACH,0BAA0B,CAAC,EAAE,CAAC,UAAU,EAAE,MAAM,EAAE,MAAM,EAAE,cAAc,EAAE,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,GAAG,SAAS,KAAK,OAAO,CAAC,OAAO,CAAC,CAAC;IAC1I;;;;;;OAMG;IACH,sBAAsB,CAAC,EAAE,sBAAsB,CAAC;IAChD;;;;;;;;OAQG;IACH,6BAA6B,CAAC,EAAE,CAAC,UAAU,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,KAAK,OAAO,CAAC,OAAO,CAAC,CAAC;CACzF"}

package/dist/verify/verification-deps.js

@@ -1,6 +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/commit-verdict-pull.test.ts,
-//   packages/daemon/src/verify/verification-boundary-env.test.ts
-// PINNED-BY-END
-export {};
-//# sourceMappingURL=verification-deps.js.map

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

@@ -1 +0,0 @@
-{"version":3,"file":"verification-deps.js","sourceRoot":"","sources":["../../src/verify/verification-deps.ts"],"names":[],"mappings":"AAAA,8FAA8F;AAC9F,qEAAqE;AACrE,iEAAiE;AACjE,gBAAgB"}