@telora/daemon 0.22.239 → 0.22.289

package/dist/composition/team-liveness-phase-sources.js

@@ -0,0 +1,24 @@
+// PINNED-BY-BEGIN (generated by gen:pinned-by -- do not hand-edit; checked by lint:pinned-by)
+// Pinned by: packages/daemon/src/focus/awaiting-slot.test.ts,
+//   packages/daemon/src/focus/heartbeat-draining-status.test.ts,
+//   packages/daemon/src/focus/heartbeat-shutdown-guard.test.ts,
+//   packages/daemon/src/focus/heartbeat-team-liveness-phases.test.ts,
+//   packages/daemon/src/focus/retention-observation-heartbeat.test.ts
+// PINNED-BY-END
+import { getActiveTeams, hasActiveTeam } from '../daemon-state/focus-team-state.js';
+import { getAwaitingSlotFocusIds, isAwaitingSlot } from '../daemon-state/awaiting-slot.js';
+import { getPendingSpawnFocusIds, hasPendingSpawnDirective } from '../directive/directive-queue.js';
+import { getSpawnCooldownFocusIds } from '../supervision/spawn-cooldown.js';
+import { wasNextSpawnHeldAtLastGate } from '../spawn/next-spawn-cooldown.js';
+/** The live registries the team-liveness phase is composed from. */
+export const liveTeamLivenessPhaseSources = {
+    getActiveTeamFocusIds: () => getActiveTeams().keys(),
+    hasActiveTeam,
+    getAwaitingSlotFocusIds,
+    isAwaitingSlot,
+    getPendingSpawnFocusIds,
+    hasPendingSpawnDirective,
+    getSpawnCooldownFocusIds,
+    isInSpawnCooldown: wasNextSpawnHeldAtLastGate,
+};
+//# sourceMappingURL=team-liveness-phase-sources.js.map

package/dist/composition/team-liveness-phase-sources.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"team-liveness-phase-sources.js","sourceRoot":"","sources":["../../src/composition/team-liveness-phase-sources.ts"],"names":[],"mappings":"AAAA,8FAA8F;AAC9F,8DAA8D;AAC9D,iEAAiE;AACjE,gEAAgE;AAChE,sEAAsE;AACtE,sEAAsE;AACtE,gBAAgB;AAchB,OAAO,EAAE,cAAc,EAAE,aAAa,EAAE,MAAM,qCAAqC,CAAC;AACpF,OAAO,EAAE,uBAAuB,EAAE,cAAc,EAAE,MAAM,kCAAkC,CAAC;AAC3F,OAAO,EAAE,uBAAuB,EAAE,wBAAwB,EAAE,MAAM,iCAAiC,CAAC;AACpG,OAAO,EAAE,wBAAwB,EAAE,MAAM,kCAAkC,CAAC;AAC5E,OAAO,EAAE,0BAA0B,EAAE,MAAM,iCAAiC,CAAC;AAE7E,oEAAoE;AACpE,MAAM,CAAC,MAAM,4BAA4B,GAA6B;IACpE,qBAAqB,EAAE,GAAG,EAAE,CAAC,cAAc,EAAE,CAAC,IAAI,EAAE;IACpD,aAAa;IACb,uBAAuB;IACvB,cAAc;IACd,uBAAuB;IACvB,wBAAwB;IACxB,wBAAwB;IACxB,iBAAiB,EAAE,0BAA0B;CAC9C,CAAC"}

package/dist/composition/team-stall-reaper-effects.d.ts

@@ -0,0 +1,29 @@
+/**
+ * The production effects of the team-stall reapers. The reapers themselves --
+ * the idle-team timer, the outcome/process liveness backstop and the
+ * stalled-team backstop -- are supervision (supervision/team-stall-reapers.ts,
+ * supervision/stalled-team-backstop.ts): they decide, from the one progress
+ * measure, whether a team is stalled. What they do about it is an effect, bound
+ * here at the composition root (composition/state-cascade-context.ts hands it
+ * to the reapers):
+ *
+ *   - the reading: completion/team-progress/team-stillness.ts
+ *     observeLiveTeamProgress (the one writer) and readTeamLastProgressAt;
+ *   - the recovery: terminateTeam(focusId, 'teardown'), a controlled teardown
+ *     the normal completion path reaps (wip-preserve, slot release, re-gating);
+ *   - the stalled-team reap's supervision firing and its acting gate: the
+ *     STALLED_TEAM_REAP record, acting only while the observe-only liveness
+ *     badge is not demoted.
+ *
+ * @module composition/team-stall-reaper-effects
+ */
+import type { TeamStallReaperEffects } from '../supervision/team-stall-reapers.js';
+import { type ObserveLiveTeamDeps } from '../completion/team-progress/team-stillness.js';
+import type { TeamTermination } from '../completion/team-teardown/team-lifecycle.js';
+/**
+ * Build the reapers' effects over the reading's own inputs (`observe`: the live
+ * team check, the issue list, the progress read, the clock) and the team
+ * termination the recovery runs.
+ */
+export declare function teamStallReaperEffects(observe: ObserveLiveTeamDeps, termination: Pick<TeamTermination, 'terminateTeam'>): TeamStallReaperEffects;
+//# sourceMappingURL=team-stall-reaper-effects.d.ts.map

package/dist/composition/team-stall-reaper-effects.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"team-stall-reaper-effects.d.ts","sourceRoot":"","sources":["../../src/composition/team-stall-reaper-effects.ts"],"names":[],"mappings":"AAKA;;;;;;;;;;;;;;;;;;GAkBG;AAEH,OAAO,KAAK,EAAE,sBAAsB,EAAE,MAAM,sCAAsC,CAAC;AACnF,OAAO,EAGL,KAAK,mBAAmB,EACzB,MAAM,+CAA+C,CAAC;AAOvD,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,+CAA+C,CAAC;AAErF;;;;GAIG;AACH,wBAAgB,sBAAsB,CACpC,OAAO,EAAE,mBAAmB,EAAE,WAAW,EAAE,IAAI,CAAC,eAAe,EAAE,eAAe,CAAC,GAChF,sBAAsB,CAaxB"}

package/dist/composition/team-stall-reaper-effects.js

@@ -0,0 +1,26 @@
+// PINNED-BY-BEGIN (generated by gen:pinned-by -- do not hand-edit; checked by lint:pinned-by)
+// Pinned by: packages/daemon/src/supervision/stalled-team-backstop-detector.test.ts,
+//   packages/daemon/src/supervision/team-stall-reapers.test.ts
+// PINNED-BY-END
+import { observeLiveTeamProgress, readTeamLastProgressAt, } from '../completion/team-progress/team-stillness.js';
+import { recordFiring, isMechanismDemoted, markLatestFiringUnacted, SUPERVISION_MECHANISM, } from '../completion/team-liveness/supervision-firing-record.js';
+/**
+ * Build the reapers' effects over the reading's own inputs (`observe`: the live
+ * team check, the issue list, the progress read, the clock) and the team
+ * termination the recovery runs.
+ */
+export function teamStallReaperEffects(observe, termination) {
+    return {
+        observeLiveTeamProgress: (focusId, deliveries) => observeLiveTeamProgress(focusId, deliveries, observe),
+        getLastProgressAt: readTeamLastProgressAt,
+        recoverTeam: (focusId) => termination.terminateTeam(focusId, 'teardown'),
+        isActingAllowed: () => !isMechanismDemoted(SUPERVISION_MECHANISM.LIVENESS_BADGE),
+        recordReapFiring: (firing) => {
+            recordFiring({ mechanism: SUPERVISION_MECHANISM.STALLED_TEAM_REAP, ...firing });
+        },
+        markReapFiringUnacted: (focusId) => {
+            markLatestFiringUnacted(SUPERVISION_MECHANISM.STALLED_TEAM_REAP, focusId);
+        },
+    };
+}
+//# sourceMappingURL=team-stall-reaper-effects.js.map

package/dist/composition/team-stall-reaper-effects.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"team-stall-reaper-effects.js","sourceRoot":"","sources":["../../src/composition/team-stall-reaper-effects.ts"],"names":[],"mappings":"AAAA,8FAA8F;AAC9F,qFAAqF;AACrF,+DAA+D;AAC/D,gBAAgB;AAuBhB,OAAO,EACL,uBAAuB,EACvB,sBAAsB,GAEvB,MAAM,+CAA+C,CAAC;AACvD,OAAO,EACL,YAAY,EACZ,kBAAkB,EAClB,uBAAuB,EACvB,qBAAqB,GACtB,MAAM,0DAA0D,CAAC;AAGlE;;;;GAIG;AACH,MAAM,UAAU,sBAAsB,CACpC,OAA4B,EAAE,WAAmD;IAEjF,OAAO;QACL,uBAAuB,EAAE,CAAC,OAAO,EAAE,UAAU,EAAE,EAAE,CAAC,uBAAuB,CAAC,OAAO,EAAE,UAAU,EAAE,OAAO,CAAC;QACvG,iBAAiB,EAAE,sBAAsB;QACzC,WAAW,EAAE,CAAC,OAAO,EAAE,EAAE,CAAC,WAAW,CAAC,aAAa,CAAC,OAAO,EAAE,UAAU,CAAC;QACxE,eAAe,EAAE,GAAG,EAAE,CAAC,CAAC,kBAAkB,CAAC,qBAAqB,CAAC,cAAc,CAAC;QAChF,gBAAgB,EAAE,CAAC,MAAM,EAAE,EAAE;YAC3B,YAAY,CAAC,EAAE,SAAS,EAAE,qBAAqB,CAAC,iBAAiB,EAAE,GAAG,MAAM,EAAE,CAAC,CAAC;QAClF,CAAC;QACD,qBAAqB,EAAE,CAAC,OAAO,EAAE,EAAE;YACjC,uBAAuB,CAAC,qBAAqB,CAAC,iBAAiB,EAAE,OAAO,CAAC,CAAC;QAC5E,CAAC;KACF,CAAC;AACJ,CAAC"}

package/dist/composition/verification-context.d.ts

@@ -0,0 +1,15 @@
+import type { CommitVerdictPullRegistry } from '../verify/run-selection/commit-verdict-pull.js';
+import type { DaemonConfig } from '../types/index.js';
+import { type GitRunner } from '../verify/shortfalls/delivery-commit-set.js';
+import type { VerificationDeps } from '../verify/engine/verification-deps.js';
+/** The in-process run registries a held-verdict pull reads and releases (verify/run-selection/commit-verdict-pull.ts). */
+export declare const commitVerdictPullRegistry: CommitVerdictPullRegistry;
+/** The git the delivery commit-set read runs: stdout of `git <args>` in `cwd`, throwing on a failure or a timeout. */
+export declare const execGitRunner: GitRunner;
+/**
+ * Build the production verification context. Every VerificationDeps member is
+ * bound here -- the engine reads each one without a fallback -- so this is the
+ * one place that says which implementation of each collaborator runs.
+ */
+export declare const buildVerificationDeps: (config: DaemonConfig) => VerificationDeps;
+//# sourceMappingURL=verification-context.d.ts.map

package/dist/composition/verification-context.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"verification-context.d.ts","sourceRoot":"","sources":["../../src/composition/verification-context.ts"],"names":[],"mappings":"AAqEA,OAAO,KAAK,EAAE,yBAAyB,EAAE,MAAM,gDAAgD,CAAC;AAKhG,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,mBAAmB,CAAC;AAuBtD,OAAO,EAAmC,KAAK,SAAS,EAAE,MAAM,6CAA6C,CAAC;AAkD9G,OAAO,KAAK,EAA8B,gBAAgB,EAAE,MAAM,uCAAuC,CAAC;AAkC1G,0HAA0H;AAC1H,eAAO,MAAM,yBAAyB,EAAE,yBAOvC,CAAC;AAkBF,sHAAsH;AACtH,eAAO,MAAM,aAAa,EAAE,SAO1B,CAAC;AAwIH;;;;GAIG;AACH,eAAO,MAAM,qBAAqB,GAAI,QAAQ,YAAY,KAAG,gBAkG5D,CAAC"}

package/dist/composition/verification-context.js

@@ -0,0 +1,360 @@
+// PINNED-BY-BEGIN (generated by gen:pinned-by -- do not hand-edit; checked by lint:pinned-by)
+// Pinned by: packages/daemon/src/composition/ruling-evidence-binding.test.ts,
+//   packages/daemon/src/composition/subsystem-contexts.test.ts,
+//   packages/daemon/src/composition/verification-context.test.ts,
+//   packages/daemon/src/integration/explicit-gate-outcome-restart.test.ts,
+//   packages/daemon/src/integration/explicit-verdict-departure-during-removal.test.ts,
+//   packages/daemon/src/integration/explicit-verdict-invalidation-restart.test.ts,
+//   packages/daemon/src/integration/explicit-verdict-reuse.test.ts,
+//   packages/daemon/src/integration/focus-commit-verdict-scenario.test.ts,
+//   packages/daemon/src/integration/held-route-pull-dispatch.test.ts,
+//   packages/daemon/src/integration/review-verdict-ruling-release.test.ts,
+//   packages/daemon/src/integration/shortfall-ruling-disposes-proposals-regression.test.ts,
+//   packages/daemon/src/integration/shortfall-ruling-release.test.ts,
+//   packages/daemon/src/verify/engine/verification-commit-sharing.test.ts,
+//   packages/daemon/src/verify/gate-config/verification-run-config-source.test.ts,
+//   packages/daemon/src/verify/run-selection/commit-verdict-pull.test.ts,
+//   packages/daemon/src/verify/run-selection/verification-default-on.test.ts,
+//   packages/daemon/src/verify/run-selection/verification-tick-product-scoping.test.ts,
+//   packages/daemon/src/verify/shortfalls/delivery-commit-set.test.ts
+// PINNED-BY-END
+/**
+ * The production binding of the verification context (VerificationDeps).
+ *
+ * Part of the daemon composition root: `composition/daemon-contexts.ts` calls
+ * this once with the daemon config and the focus engine hands the result to
+ * the verification loop tick (verify/engine/verification-engine.ts
+ * runVerificationTick), which takes it as a REQUIRED parameter. Which real
+ * implementation each verification collaborator is, is read here and nowhere
+ * else.
+ *
+ * `verify/engine/verification-deps.ts` declares the CONTRACT; this module
+ * supplies the production implementations bound to a `DaemonConfig`. The
+ * direction is one-way: this module imports the verify family, nothing in the
+ * verify family imports it.
+ *
+ * History: docs/daemon/history-verify.md (composition/verification-context.ts).
+ *
+ * @module composition/verification-context
+ */
+import { runDeterministicStrategy } from '../verify/deterministic-gate/verification-deterministic.js';
+import { getPendingVerifications, recordDeliveryVerificationOutcome, verifyInjectionOnPass, } from '../queries/verification/verification.js';
+import { emitInwardDriftProposals } from '../reality/injection-writeback.js';
+import { configForProduct } from '../config/config.js';
+import { authorTargetRestatements as defaultAuthorTargetRestatements, listJudgedTargets as defaultListJudgedTargets, } from '../verify/effect-reconciliation/verify-restatement.js';
+import { reconcileAchievedEffect } from '../verify/effect-reconciliation/verify-reconciliation.js';
+import { readArmCoveredTargets } from '../queries/focuses/arm-covered-targets.js';
+import { fileEscalation as defaultFileEscalation } from '../nexus/file-escalation.js';
+import { hasOpenEscalationForDelivery } from '../queries/escalations/escalations.js';
+import { buildFileEscalationDeps, buildNexusEscalationBridgeDeps, PRODUCT_API } from './execution-nexus-context.js';
+import { getCommitsAhead } from '../resolvers/index.js';
+import { buildAttributionEvidenceDeps, buildCreditsReader, buildMisattributedHoldAnnotator, } from '../verify/attribution/verification-attribution-deps.js';
+import { withCreditRearm } from '../verify/run-selection/credit-rearm.js';
+import { forgetRecordedPass, releaseDefaultOnMark } from '../verify/run-selection/default-on-guards.js';
+import { hasPendingGateRun, isGateRunSelected } from '../verify/gate-verdicts/gate-run-registry.js';
+import { buildInstallProbeTickDeps } from './verify-probe-context.js';
+import { getCommitAttributionsForFocus } from '../queries/verification/commit-attributions.js';
+import { getActiveFocuses } from '../queries/focuses/focus-discovery.js';
+import { bindDefaultVerificationResolver } from '../verify/gate-config/verification-config.js';
+import { readVerifyManifest } from '../verify/gate-config/verification-manifest.js';
+import { judgedCommitGate } from '../verify/gate-config/judged-commit-gate.js';
+import { claudeJudgeInvoker, readCliVersion } from '../verify/effect-reconciliation/judge-invoker.js';
+import { createJudgeWorkspace, resolveJudgeCitations } from '../verify/effect-reconciliation/judge-workspace.js';
+import { verifyCheckoutRoot } from '../verify/deterministic-gate/verification-checkout.js';
+import { oneShotModelProcess } from './one-shot-model-process.js';
+import { beginExplicitRun, isCurrentExplicitRun } from '../verify/gate-verdicts/explicit-run-ledger.js';
+import { runGitSync } from '../git/types.js';
+import { spawn } from 'node:child_process';
+import { getFocusIssues } from '../queries/focuses/focuses.js';
+import { buildAttributionSeams, buildStageContinuationSeams, buildVerifyCheckoutDeps, } from './verify-checkout-context.js';
+import { getFocusDeliveries } from '../queries/focuses/focuses.js';
+import { deliverVerificationFailureFeedback, routeShortfallOutcome, } from '../verify/outcome-routing/verification-feedback.js';
+import { recordOutcomeResettingVerificationHistory } from '../verify/outcome-routing/verification-history-reset.js';
+import { resolveDeliveryCommitIdentities } from '../verify/shortfalls/delivery-commit-set.js';
+import { execFileSync } from 'node:child_process';
+import { getDeliveryShortfallRulings } from '../queries/verification/shortfall-rulings.js';
+import { getAllRecordedCommitShasForFocus, getDeliveryGateRecord, getRecordedCommitShasForMerge, getRecordedPreMergeRefForMerge, deliveryGateRowIo, } from '../queries/deliveries/deliveries.js';
+import { getFocusWorktree } from '../worktree/focus-worktree-state.js';
+import { resolveEvidenceRefsAtCommit } from '../verify/shortfalls/ruling-evidence-resolution.js';
+import { buildJudgedCommitManifestReader, defaultResolveFocusHeadSha } from '../verify/run-selection/verification-default-on.js';
+import { retryOwedReworkIssue } from '../verify/outcome-routing/verification-rework-issue.js';
+import { buildReworkRetryDeps } from './verify-rework-context.js';
+import { buildEvidenceUnavailableFeedbackDeps, buildShortfallRouteDeps, buildVerificationFailureFeedbackDeps, } from './verify-feedback-context.js';
+import { buildRunVerificationConfigResolver, createVerifyCheckout, } from '../verify/deterministic-gate/verification-checkout.js';
+import { readWorktreeProvisioning } from '../worktree/worktree-package-provisioning.js';
+import { worktreeProvisioningDeps } from './execution-worktree-context.js';
+import { buildDefaultStageContinuation } from '../verify/attribution/verification-attribution.js';
+import { requeueEvidenceUnavailableAsRework } from '../verify/outcome-routing/verification-evidence-unavailable-feedback.js';
+import { holdForModelUnavailable } from '../verify/outcome-routing/verification-model-unavailable-hold.js';
+import { buildDefaultAttributeFailures, buildResolveVerificationCwd } from '../verify/attribution/verification-baseline.js';
+import { readCommitVerdict, writeCommitVerdict } from '../verify/gate-verdicts/commit-verdict-record.js';
+import { durableNoVerdictStore, noVerdictDir } from '../verify/gate-verdicts/no-verdict-record.js';
+import { resolveCarriedVerdict } from '../verify/gate-verdicts/no-own-delta-verdict.js';
+import { listAncestorsWithGit } from '../verify/gate-verdicts/judged-ancestor.js';
+import { isForeignOnlyExtensionWithGit } from './execution-git-context.js';
+import { invalidateExplicitGateOutcome, persistExplicitGateOutcome, } from '../verify/gate-verdicts/explicit-gate-outcome.js';
+import { persistRecordedTargets } from '../verify/effect-reconciliation/recorded-targets.js';
+import { readPinnedChange as defaultReadPinnedChange, resolveAiInspectionInputs as defaultResolveAiInspectionInputs, } from '../verify/inspection-strategies/ai-inspection-context.js';
+import { runAiInspection as defaultRunAiInspection } from '../verify/inspection-strategies/ai-inspection-runner.js';
+import { buildSecurityFindingGateDeps } from './security-context.js';
+import { callApi } from '../queries/api-client/shared.js';
+import { commitGateSeams } from './commit-gate-context.js';
+import { readGateVerdictState } from '../verify/gate-verdicts/own-gate-verdict.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 reconciliation's collaborators (verify/effect-reconciliation/verify-restatement.ts authorTargetRestatements). */
+const targetRestatementDeps = {
+    callApi,
+    // The judge runs in the workspace's pinned checkout (verify/effect-reconciliation/judge-invoker.ts);
+    // an invoker that ignored the workspace would typecheck and hand the judge no checkout.
+    reconcile: (inputs) => reconcileAchievedEffect(inputs, claudeJudgeInvoker('verify-reconciliation', oneShotModelProcess, readCliVersion), (checkout, refs) => resolveJudgeCitations(checkout.sourceRepo, checkout.sha, refs)),
+    readArmCoveredTargets,
+};
+/** The wall clock the durable verify writers stamp, as ISO-8601. */
+const isoNow = () => new Date().toISOString();
+/** The row IO and clock every same-status verify gate_state writer runs through. */
+const gateRowWrite = { ...deliveryGateRowIo, now: isoNow };
+/** The in-process run registries a held-verdict pull reads and releases (verify/run-selection/commit-verdict-pull.ts). */
+export const commitVerdictPullRegistry = {
+    hasPendingGateRun,
+    isGateRunSelected,
+    // Names itself, so the guard's fallback line does not also speak: the pull's own
+    // line is the one that says why (verify/run-selection/reselection-log-line.ts).
+    releaseRunMark: (deliveryId) => releaseDefaultOnMark(deliveryId, 'commit-verdict-pull'),
+    forgetRecordedPass,
+};
+/** The durable-record reads attribution resolves a delivery's recorded commits from. */
+const attributionRecordReads = {
+    getAllRecordedCommitShasForFocus,
+    getRecordedCommitShasForMerge,
+    getRecordedPreMergeRefForMerge,
+    getFocusDeliveries,
+};
+/** A new commit credit re-arms the delivery it is credited to (verify/run-selection/credit-rearm.ts). */
+const creditRearmDeps = {
+    readCredits: getCommitAttributionsForFocus,
+    // Names itself, so the guard's own fallback line does not also speak: the
+    // per-delivery line is the one that says why (verify/run-selection/reselection-log-line.ts).
+    release: (deliveryId) => releaseDefaultOnMark(deliveryId, 'credit-rearm'),
+};
+/** The git the delivery commit-set read runs: stdout of `git <args>` in `cwd`, throwing on a failure or a timeout. */
+export const execGitRunner = (cwd, args, input) => execFileSync('git', [...args], {
+    cwd,
+    encoding: 'utf-8',
+    maxBuffer: 256 * 1024 * 1024,
+    timeout: 60_000,
+    stdio: ['pipe', 'pipe', 'pipe'],
+    ...(input !== undefined ? { input } : {}),
+});
+/** 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/shortfalls/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, execGitRunner);
+}
+/** 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);
+        const route = buildShortfallRouteDeps((sha) => resolveJudgedDeliveryCommitSet(v, sha, resolveCwd));
+        await routeShortfallOutcome(v, shortfalls, organizationId, route, {
+            judgedSha, runVerdict, rulingsFingerprint, ...(misattributed ? { misattributed } : {}),
+        });
+    };
+}
+/** Re-enter an evidence-unavailable (instrument-fault) verify as bounded re-work. */
+function buildRequeueEvidenceUnavailable(organizationId, annotateHold) {
+    const feedback = buildEvidenceUnavailableFeedbackDeps();
+    return async (v, fault, judgedSha, runVerdict) => {
+        const misattributed = await annotateHold(v, []);
+        await requeueEvidenceUnavailableAsRework(v, { ...fault, ...(misattributed ? { misattributed } : {}) }, organizationId, feedback, { judgedSha, runVerdict });
+    };
+}
+/**
+ * The durable writers of an explicit-method run's verdict (verify/gate-verdicts/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 buildVerificationDeps.
+ */
+const explicitGateOutcomeWriteDeps = {
+    ...gateRowWrite,
+    beginRun: (deliveryId, runId) => beginExplicitRun(deliveryId, runId, isoNow),
+    isCurrentRun: (deliveryId, runId) => isCurrentExplicitRun(deliveryId, runId),
+};
+const explicitGateOutcomeWriters = {
+    invalidateExplicitGateOutcome: (deliveryId, runId) => invalidateExplicitGateOutcome(deliveryId, runId, explicitGateOutcomeWriteDeps),
+    persistExplicitGateOutcome: (deliveryId, result, gateKey, runId) => persistExplicitGateOutcome(deliveryId, result, gateKey, runId, explicitGateOutcomeWriteDeps),
+};
+/** The focus worktree a focus's verification judges, from the in-process registry; null when none is registered. */
+function focusWorktreePathOf(focusId) {
+    return focusId ? getFocusWorktree(focusId)?.worktreePath ?? null : null;
+}
+/**
+ * The focus worktree a verification judges, and the detached checkout it runs in.
+ * The worktree and its HEAD are wired HERE, at the composition root, because the
+ * readers that need them (verify/deterministic-gate/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.
+ */
+function focusCheckoutSeams(checkout) {
+    return {
+        resolveFocusWorktreePath: (v) => focusWorktreePathOf(v.focusId),
+        resolveFocusHeadSha: defaultResolveFocusHeadSha,
+        listAncestors: listAncestorsWithGit,
+        // What the judged commit ships in telora.verify.json, read with git at that sha
+        // (one reader, so its per-worktree cache serves arming and verdict keying alike).
+        readJudgedCommitManifest: buildJudgedCommitManifestReader(focusWorktreePathOf, runGitSync),
+        judgedCommitGate: (source, read) => judgedCommitGate(source, read, process.env, readVerifyManifest),
+        // A deterministic run judges a detached checkout of the focus HEAD, once the
+        // worktree's package installs are current, under the gate that checkout ships.
+        readWorktreeProvisioning: (worktreePath) => readWorktreeProvisioning(worktreePath, worktreeProvisioningDeps),
+        createVerifyCheckout: (worktreePath, checkoutKey) => createVerifyCheckout(worktreePath, checkoutKey, checkout),
+        resolveRunVerificationConfig: buildRunVerificationConfigResolver(process.env, readVerifyManifest),
+    };
+}
+/** The durable per-commit verdict record: its writer, its readers, the no-verdict store and the carried verdict. */
+function commitVerdictSeams(integrationBranch) {
+    const read = (productId, focusId, sha, gate) => readCommitVerdict(productId, focusId, sha, { gate });
+    return {
+        recordCommitVerdict: (verdict) => { writeCommitVerdict(verdict); },
+        readCommitVerdict: read,
+        noVerdicts: durableNoVerdictStore({ dir: noVerdictDir, now: Date.now }),
+        // The release pass's OWN read, so a pull declines only where the release will
+        // replay with no run (verify/run-selection/commit-verdict-pull.ts).
+        readHeldCommitVerdictState: (subject, sha) => readGateVerdictState(commitGateSeams, subject, sha),
+        // 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,
+            resolveWorktreePath: focusWorktreePathOf,
+            listFocusDeliveryIds: async (id) => (await getFocusDeliveries(id)).map((d) => d.id),
+            readCommitVerdict: read,
+            listAncestors: listAncestorsWithGit,
+            isForeignOnlyExtension: isForeignOnlyExtensionWithGit,
+        }),
+    };
+}
+/**
+ * Build the production verification context. Every VerificationDeps member is
+ * bound here -- the engine reads each one without a fallback -- so this is the
+ * one place that says which implementation of each collaborator runs.
+ */
+export const buildVerificationDeps = (config) => {
+    const resolveCwd = (productId) => resolveProductRepoPath(config, productId);
+    const resolveVerificationCwd = buildResolveVerificationCwd(resolveCwd);
+    const readCredits = buildCreditsReader(getCommitAttributionsForFocus);
+    const attributionEvidence = buildAttributionEvidenceDeps(resolveVerificationCwd, readCredits, attributionRecordReads);
+    // Holds annotate over the verification's own credits snapshot (no second read).
+    const annotateHold = buildMisattributedHoldAnnotator(resolveVerificationCwd, readCredits, {
+        getAllRecordedCommitShasForFocus: (focusId) => getAllRecordedCommitShasForFocus(focusId),
+        getFocusIssues,
+    });
+    const checkout = buildVerifyCheckoutDeps();
+    const failureFeedback = buildVerificationFailureFeedbackDeps();
+    const reworkRetry = buildReworkRetryDeps();
+    const context = {
+        getPendingVerifications,
+        recordOutcome: (deliveryId, outcome, judgedSha) => recordOutcomeResettingVerificationHistory(deliveryId, outcome, judgedSha ?? null, { ...deliveryGateRowIo, recordOutcome: recordDeliveryVerificationOutcome }),
+        ...explicitGateOutcomeWriters,
+        verifyInjection: verifyInjectionOnPass,
+        // `deliveryId` rides through, so the reconciliation narrows to the targets the
+        // focus's ARM covered (verify/effect-reconciliation/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:
+        // composition/verification-context.test.ts drives this exact binding over the
+        // real arm read and fails on the truncated arity.
+        // The same holds for `ruledNodeIds`: dropped, every ruled target is sent to the judge again.
+        authorTargetRestatements: (injectionNodeId, focusId, evidence, evidenceIncomplete, deliveryId, ruledNodeIds) => defaultAuthorTargetRestatements(injectionNodeId, focusId, evidence, targetRestatementDeps, evidenceIncomplete, deliveryId, ruledNodeIds),
+        // The same walk and narrowing, no model call: ai_inspection skips its call when every target is ruled.
+        listJudgedTargets: (injectionNodeId, focusId, deliveryId) => defaultListJudgedTargets(injectionNodeId, focusId, targetRestatementDeps, deliveryId),
+        // The set-aside targets that narrowing reports, on the delivery's own record.
+        persistRecordedTargets: (deliveryId, injectionNodeId, nodeIds) => persistRecordedTargets(deliveryId, injectionNodeId, nodeIds, gateRowWrite),
+        // 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, {
+                ...deliveryGateRowIo,
+                fileEscalation: (input) => defaultFileEscalation(input, buildNexusEscalationBridgeDeps(PRODUCT_API), buildFileEscalationDeps()),
+                organizationId: config.organizationId,
+                hasOpenEscalationForDelivery,
+            });
+        },
+        fileEscalation: (input) => defaultFileEscalation(input, buildNexusEscalationBridgeDeps(PRODUCT_API), buildFileEscalationDeps()),
+        organizationId: config.organizationId,
+        emitDriftProposal: defaultEmitDriftProposal,
+        emitInwardDrift: emitInwardDriftProposals,
+        runDeterministic: runDeterministicStrategy,
+        runAiInspection: (inputs) => defaultRunAiInspection(inputs, { spawnFn: (cmd, args, opts) => spawn(cmd, args, opts), readCliVersion }),
+        readPinnedChange: defaultReadPinnedChange,
+        resolveAiInspectionInputs: (v) => defaultResolveAiInspectionInputs(v, {
+            callApi,
+            resolveCwd,
+            integrationBranch: config.integrationBranch,
+        }),
+        resolveCwd,
+        integrationBranch: config.integrationBranch,
+        securityFindingGate: buildSecurityFindingGateDeps(),
+        resolveDefaultVerification: bindDefaultVerificationResolver(process.env, readVerifyManifest),
+        getActiveFocuses,
+        // A new commit credit on a focus re-arms its in-verify deliveries (verify/run-selection/credit-rearm.ts).
+        getFocusDeliveries: withCreditRearm(getFocusDeliveries, creditRearmDeps),
+        deliverFailureFeedback: (v, result) => deliverVerificationFailureFeedback(v, result, config.organizationId, failureFeedback).then(() => undefined),
+        // Both holds name the unattributed commits in the focus's batches that may hold
+        // the delivery's work (verify/attribution/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),
+        createJudgeWorkspace: (repoPath, key, sha, range) => createJudgeWorkspace(repoPath, key, sha, range, { checkoutRoot: verifyCheckoutRoot() }),
+        // 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/shortfalls/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, buildAttributionSeams(checkout, attributionEvidence.resolveRecordedCommitShas)),
+        ...commitVerdictSeams(config.integrationBranch),
+        ...focusCheckoutSeams(checkout),
+        retryOwedReworkIssue: (delivery, at) => retryOwedReworkIssue(delivery, at, reworkRetry),
+        commitVerdictPull: commitVerdictPullRegistry,
+        installProbe: buildInstallProbeTickDeps(),
+    };
+    // The stage continuation runs through the context's own fixed-commit seams.
+    return { ...context, runStageContinuation: buildDefaultStageContinuation(context, buildStageContinuationSeams(checkout)) };
+};
+//# sourceMappingURL=verification-context.js.map

package/dist/composition/verification-context.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"verification-context.js","sourceRoot":"","sources":["../../src/composition/verification-context.ts"],"names":[],"mappings":"AAAA,8FAA8F;AAC9F,8EAA8E;AAC9E,gEAAgE;AAChE,kEAAkE;AAClE,2EAA2E;AAC3E,uFAAuF;AACvF,mFAAmF;AACnF,oEAAoE;AACpE,2EAA2E;AAC3E,sEAAsE;AACtE,2EAA2E;AAC3E,4FAA4F;AAC5F,sEAAsE;AACtE,2EAA2E;AAC3E,mFAAmF;AACnF,0EAA0E;AAC1E,8EAA8E;AAC9E,wFAAwF;AACxF,sEAAsE;AACtE,gBAAgB;AAEhB;;;;;;;;;;;;;;;;;;GAkBG;AAEH,OAAO,EAAE,wBAAwB,EAAE,MAAM,4DAA4D,CAAC;AACtG,OAAO,EACL,uBAAuB,EACvB,iCAAiC,EACjC,qBAAqB,GACtB,MAAM,yCAAyC,CAAC;AACjD,OAAO,EAAE,wBAAwB,EAAE,MAAM,mCAAmC,CAAC;AAC7E,OAAO,EAAE,gBAAgB,EAAE,MAAM,qBAAqB,CAAC;AACvD,OAAO,EACL,wBAAwB,IAAI,+BAA+B,EAC3D,iBAAiB,IAAI,wBAAwB,GAE9C,MAAM,uDAAuD,CAAC;AAC/D,OAAO,EAAE,uBAAuB,EAAE,MAAM,0DAA0D,CAAC;AACnG,OAAO,EAAE,qBAAqB,EAAE,MAAM,2CAA2C,CAAC;AAClF,OAAO,EAAE,cAAc,IAAI,qBAAqB,EAAE,MAAM,6BAA6B,CAAC;AACtF,OAAO,EAAE,4BAA4B,EAAE,MAAM,uCAAuC,CAAC;AACrF,OAAO,EAAE,uBAAuB,EAAE,8BAA8B,EAAE,WAAW,EAAE,MAAM,8BAA8B,CAAC;AACpH,OAAO,EAAE,eAAe,EAAE,MAAM,uBAAuB,CAAC;AACxD,OAAO,EACL,4BAA4B,EAC5B,kBAAkB,EAClB,+BAA+B,GAGhC,MAAM,wDAAwD,CAAC;AAChE,OAAO,EAAE,eAAe,EAAwB,MAAM,yCAAyC,CAAC;AAChG,OAAO,EAAE,kBAAkB,EAAE,oBAAoB,EAAE,MAAM,8CAA8C,CAAC;AAExG,OAAO,EAAE,iBAAiB,EAAE,iBAAiB,EAAE,MAAM,8CAA8C,CAAC;AACpG,OAAO,EAAE,yBAAyB,EAAE,MAAM,2BAA2B,CAAC;AACtE,OAAO,EAAE,6BAA6B,EAAE,MAAM,gDAAgD,CAAC;AAC/F,OAAO,EAAE,gBAAgB,EAAE,MAAM,uCAAuC,CAAC;AAEzE,OAAO,EAAE,+BAA+B,EAAE,MAAM,8CAA8C,CAAC;AAC/F,OAAO,EAAE,kBAAkB,EAAE,MAAM,gDAAgD,CAAC;AACpF,OAAO,EAAE,gBAAgB,EAAE,MAAM,6CAA6C,CAAC;AAC/E,OAAO,EAAE,kBAAkB,EAAE,cAAc,EAAE,MAAM,kDAAkD,CAAC;AACtG,OAAO,EAAE,oBAAoB,EAAE,qBAAqB,EAAE,MAAM,oDAAoD,CAAC;AACjH,OAAO,EAAE,kBAAkB,EAAE,MAAM,uDAAuD,CAAC;AAC3F,OAAO,EAAE,mBAAmB,EAAE,MAAM,6BAA6B,CAAC;AAClE,OAAO,EAAE,gBAAgB,EAAE,oBAAoB,EAAE,MAAM,gDAAgD,CAAC;AACxG,OAAO,EAAE,UAAU,EAAE,MAAM,iBAAiB,CAAC;AAC7C,OAAO,EAAE,KAAK,EAAE,MAAM,oBAAoB,CAAC;AAC3C,OAAO,EAAE,cAAc,EAAE,MAAM,+BAA+B,CAAC;AAC/D,OAAO,EACL,qBAAqB,EACrB,2BAA2B,EAC3B,uBAAuB,GACxB,MAAM,8BAA8B,CAAC;AACtC,OAAO,EAAE,kBAAkB,EAAE,MAAM,+BAA+B,CAAC;AACnE,OAAO,EACL,kCAAkC,EAClC,qBAAqB,GACtB,MAAM,oDAAoD,CAAC;AAC5D,OAAO,EAAE,yCAAyC,EAAE,MAAM,yDAAyD,CAAC;AACpH,OAAO,EAAE,+BAA+B,EAAkB,MAAM,6CAA6C,CAAC;AAC9G,OAAO,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAC;AAClD,OAAO,EAAE,2BAA2B,EAAE,MAAM,8CAA8C,CAAC;AAC3F,OAAO,EACL,gCAAgC,EAChC,qBAAqB,EACrB,6BAA6B,EAC7B,8BAA8B,EAC9B,iBAAiB,GAClB,MAAM,qCAAqC,CAAC;AAC7C,OAAO,EAAE,gBAAgB,EAAE,MAAM,qCAAqC,CAAC;AACvE,OAAO,EAAE,2BAA2B,EAAE,MAAM,oDAAoD,CAAC;AACjG,OAAO,EAAE,+BAA+B,EAAE,0BAA0B,EAAE,MAAM,oDAAoD,CAAC;AACjI,OAAO,EAAE,oBAAoB,EAAE,MAAM,wDAAwD,CAAC;AAC9F,OAAO,EAAE,oBAAoB,EAAE,MAAM,4BAA4B,CAAC;AAClE,OAAO,EACL,oCAAoC,EACpC,uBAAuB,EACvB,oCAAoC,GACrC,MAAM,8BAA8B,CAAC;AACtC,OAAO,EACL,kCAAkC,EAClC,oBAAoB,GAErB,MAAM,uDAAuD,CAAC;AAC/D,OAAO,EAAE,wBAAwB,EAAE,MAAM,8CAA8C,CAAC;AACxF,OAAO,EAAE,wBAAwB,EAAE,MAAM,iCAAiC,CAAC;AAC3E,OAAO,EAAE,6BAA6B,EAAE,MAAM,mDAAmD,CAAC;AAElG,OAAO,EAAE,kCAAkC,EAAE,MAAM,yEAAyE,CAAC;AAC7H,OAAO,EAAE,uBAAuB,EAAE,MAAM,kEAAkE,CAAC;AAC3G,OAAO,EAAE,6BAA6B,EAAE,2BAA2B,EAAE,MAAM,gDAAgD,CAAC;AAC5H,OAAO,EAAE,iBAAiB,EAAE,kBAAkB,EAAE,MAAM,kDAAkD,CAAC;AACzG,OAAO,EAAE,qBAAqB,EAAE,YAAY,EAAE,MAAM,8CAA8C,CAAC;AACnG,OAAO,EAAE,qBAAqB,EAAE,MAAM,iDAAiD,CAAC;AACxF,OAAO,EAAE,oBAAoB,EAAE,MAAM,4CAA4C,CAAC;AAClF,OAAO,EAAE,6BAA6B,EAAE,MAAM,4BAA4B,CAAC;AAC3E,OAAO,EACL,6BAA6B,EAC7B,0BAA0B,GAE3B,MAAM,kDAAkD,CAAC;AAC1D,OAAO,EAAE,sBAAsB,EAAE,MAAM,qDAAqD,CAAC;AAC7F,OAAO,EACL,gBAAgB,IAAI,uBAAuB,EAC3C,yBAAyB,IAAI,gCAAgC,GAC9D,MAAM,0DAA0D,CAAC;AAClE,OAAO,EAAE,eAAe,IAAI,sBAAsB,EAAE,MAAM,yDAAyD,CAAC;AACpH,OAAO,EAAE,4BAA4B,EAAE,MAAM,uBAAuB,CAAC;AACrE,OAAO,EAAE,OAAO,EAAE,MAAM,iCAAiC,CAAC;AAE1D,OAAO,EAAE,eAAe,EAAE,MAAM,0BAA0B,CAAC;AAC3D,OAAO,EAAE,oBAAoB,EAAE,MAAM,6CAA6C,CAAC;AAEnF,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,wHAAwH;AACxH,MAAM,qBAAqB,GAAiC;IAC1D,OAAO;IACP,qGAAqG;IACrG,wFAAwF;IACxF,SAAS,EAAE,CAAC,MAAM,EAAE,EAAE,CAAC,uBAAuB,CAC5C,MAAM,EACN,kBAAkB,CAAC,uBAAuB,EAAE,mBAAmB,EAAE,cAAc,CAAC,EAChF,CAAC,QAAQ,EAAE,IAAI,EAAE,EAAE,CAAC,qBAAqB,CAAC,QAAQ,CAAC,UAAU,EAAE,QAAQ,CAAC,GAAG,EAAE,IAAI,CAAC,CACnF;IACD,qBAAqB;CACtB,CAAC;AAEF,oEAAoE;AACpE,MAAM,MAAM,GAAG,GAAW,EAAE,CAAC,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE,CAAC;AAEtD,oFAAoF;AACpF,MAAM,YAAY,GAAG,EAAE,GAAG,iBAAiB,EAAE,GAAG,EAAE,MAAM,EAAE,CAAC;AAE3D,0HAA0H;AAC1H,MAAM,CAAC,MAAM,yBAAyB,GAA8B;IAClE,iBAAiB;IACjB,iBAAiB;IACjB,iFAAiF;IACjF,gFAAgF;IAChF,cAAc,EAAE,CAAC,UAAU,EAAE,EAAE,CAAC,oBAAoB,CAAC,UAAU,EAAE,qBAAqB,CAAC;IACvF,kBAAkB;CACnB,CAAC;AAEF,wFAAwF;AACxF,MAAM,sBAAsB,GAA2B;IACrD,gCAAgC;IAChC,6BAA6B;IAC7B,8BAA8B;IAC9B,kBAAkB;CACnB,CAAC;AAEF,yGAAyG;AACzG,MAAM,eAAe,GAAoB;IACvC,WAAW,EAAE,6BAA6B;IAC1C,0EAA0E;IAC1E,6FAA6F;IAC7F,OAAO,EAAE,CAAC,UAAU,EAAE,EAAE,CAAC,oBAAoB,CAAC,UAAU,EAAE,cAAc,CAAC;CAC1E,CAAC;AAEF,sHAAsH;AACtH,MAAM,CAAC,MAAM,aAAa,GAAc,CAAC,GAAG,EAAE,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,YAAY,CAAC,KAAK,EAAE,CAAC,GAAG,IAAI,CAAC,EAAE;IAC3F,GAAG;IACH,QAAQ,EAAE,OAAO;IACjB,SAAS,EAAE,GAAG,GAAG,IAAI,GAAG,IAAI;IAC5B,OAAO,EAAE,MAAM;IACf,KAAK,EAAE,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,CAAC;IAC/B,GAAG,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;CAC1C,CAAC,CAAC;AAEH,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;;;;;;;;;GASG;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,EAAE,aAAa,CAAC,CAAC;AACpH,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,KAAK,GAAG,uBAAuB,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,8BAA8B,CAAC,CAAC,EAAE,GAAG,EAAE,UAAU,CAAC,CAAC,CAAC;QACnG,MAAM,qBAAqB,CAAC,CAAC,EAAE,UAAU,EAAE,cAAc,EAAE,KAAK,EAAE;YAChE,SAAS,EAAE,UAAU,EAAE,kBAAkB,EAAE,GAAG,CAAC,aAAa,CAAC,CAAC,CAAC,EAAE,aAAa,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;SACvF,CAAC,CAAC;IACL,CAAC,CAAC;AACJ,CAAC;AAED,qFAAqF;AACrF,SAAS,+BAA+B,CACtC,cAAsB,EACtB,YAAwC;IAExC,MAAM,QAAQ,GAAG,oCAAoC,EAAE,CAAC;IACxD,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,QAAQ,EAAE,EAAE,SAAS,EAAE,UAAU,EAAE,CAClH,CAAC;IACJ,CAAC,CAAC;AACJ,CAAC;AAED;;;;;;GAMG;AACH,MAAM,4BAA4B,GAAiC;IACjE,GAAG,YAAY;IACf,QAAQ,EAAE,CAAC,UAAU,EAAE,KAAK,EAAE,EAAE,CAAC,gBAAgB,CAAC,UAAU,EAAE,KAAK,EAAE,MAAM,CAAC;IAC5E,YAAY,EAAE,CAAC,UAAU,EAAE,KAAK,EAAE,EAAE,CAAC,oBAAoB,CAAC,UAAU,EAAE,KAAK,CAAC;CAC7E,CAAC;AACF,MAAM,0BAA0B,GAA2F;IACzH,6BAA6B,EAAE,CAAC,UAAU,EAAE,KAAK,EAAE,EAAE,CAAC,6BAA6B,CAAC,UAAU,EAAE,KAAK,EAAE,4BAA4B,CAAC;IACpI,0BAA0B,EAAE,CAAC,UAAU,EAAE,MAAM,EAAE,OAAO,EAAE,KAAK,EAAE,EAAE,CACjE,0BAA0B,CAAC,UAAU,EAAE,MAAM,EAAE,OAAO,EAAE,KAAK,EAAE,4BAA4B,CAAC;CAC/F,CAAC;AAEF,oHAAoH;AACpH,SAAS,mBAAmB,CAAC,OAAsB;IACjD,OAAO,OAAO,CAAC,CAAC,CAAC,gBAAgB,CAAC,OAAO,CAAC,EAAE,YAAY,IAAI,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC;AAC1E,CAAC;AAED;;;;;;;;GAQG;AACH,SAAS,kBAAkB,CAAC,QAA4B;IAKtD,OAAO;QACL,wBAAwB,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,mBAAmB,CAAC,CAAC,CAAC,OAAO,CAAC;QAC/D,mBAAmB,EAAE,0BAA0B;QAC/C,aAAa,EAAE,oBAAoB;QACnC,gFAAgF;QAChF,kFAAkF;QAClF,wBAAwB,EAAE,+BAA+B,CAAC,mBAAmB,EAAE,UAAU,CAAC;QAC1F,gBAAgB,EAAE,CAAC,MAAM,EAAE,IAAI,EAAE,EAAE,CAAC,gBAAgB,CAAC,MAAM,EAAE,IAAI,EAAE,OAAO,CAAC,GAAG,EAAE,kBAAkB,CAAC;QACnG,6EAA6E;QAC7E,+EAA+E;QAC/E,wBAAwB,EAAE,CAAC,YAAY,EAAE,EAAE,CAAC,wBAAwB,CAAC,YAAY,EAAE,wBAAwB,CAAC;QAC5G,oBAAoB,EAAE,CAAC,YAAY,EAAE,WAAW,EAAE,EAAE,CAAC,oBAAoB,CAAC,YAAY,EAAE,WAAW,EAAE,QAAQ,CAAC;QAC9G,4BAA4B,EAAE,kCAAkC,CAAC,OAAO,CAAC,GAAG,EAAE,kBAAkB,CAAC;KAClG,CAAC;AACJ,CAAC;AAED,oHAAoH;AACpH,SAAS,kBAAkB,CAAC,iBAAyB;IAInD,MAAM,IAAI,GAA0C,CAAC,SAAS,EAAE,OAAO,EAAE,GAAG,EAAE,IAAI,EAAE,EAAE,CAAC,iBAAiB,CAAC,SAAS,EAAE,OAAO,EAAE,GAAG,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC;IAC5I,OAAO;QACL,mBAAmB,EAAE,CAAC,OAAO,EAAE,EAAE,GAAG,kBAAkB,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;QAClE,iBAAiB,EAAE,IAAI;QACvB,UAAU,EAAE,qBAAqB,CAAC,EAAE,GAAG,EAAE,YAAY,EAAE,GAAG,EAAE,IAAI,CAAC,GAAG,EAAE,CAAC;QACvE,8EAA8E;QAC9E,oEAAoE;QACpE,0BAA0B,EAAE,CAAC,OAAO,EAAE,GAAG,EAAE,EAAE,CAAC,oBAAoB,CAAC,eAAe,EAAE,OAAO,EAAE,GAAG,CAAC;QACjG,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;YACjB,mBAAmB,EAAE,mBAAmB;YACxC,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,IAAI;YACvB,aAAa,EAAE,oBAAoB;YACnC,sBAAsB,EAAE,6BAA6B;SACtD,CAAC;KACH,CAAC;AACJ,CAAC;AAED;;;;GAIG;AACH,MAAM,CAAC,MAAM,qBAAqB,GAAG,CAAC,MAAoB,EAAoB,EAAE;IAC9E,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,CAAC,6BAA6B,CAAC,CAAC;IACtE,MAAM,mBAAmB,GAAG,4BAA4B,CAAC,sBAAsB,EAAE,WAAW,EAAE,sBAAsB,CAAC,CAAC;IACtH,gFAAgF;IAChF,MAAM,YAAY,GAAG,+BAA+B,CAAC,sBAAsB,EAAE,WAAW,EAAE;QACxF,gCAAgC,EAAE,CAAC,OAAO,EAAE,EAAE,CAAC,gCAAgC,CAAC,OAAO,CAAC;QACxF,cAAc;KACf,CAAC,CAAC;IACH,MAAM,QAAQ,GAAG,uBAAuB,EAAE,CAAC;IAC3C,MAAM,eAAe,GAAG,oCAAoC,EAAE,CAAC;IAC/D,MAAM,WAAW,GAAG,oBAAoB,EAAE,CAAC;IAC3C,MAAM,OAAO,GAAmD;QAC9D,uBAAuB;QACvB,aAAa,EAAE,CAAC,UAAU,EAAE,OAAO,EAAE,SAAS,EAAE,EAAE,CAAC,yCAAyC,CAC1F,UAAU,EAAE,OAAO,EAAE,SAAS,IAAI,IAAI,EAAE,EAAE,GAAG,iBAAiB,EAAE,aAAa,EAAE,iCAAiC,EAAE,CACnH;QACD,GAAG,0BAA0B;QAC7B,eAAe,EAAE,qBAAqB;QACtC,+EAA+E;QAC/E,0GAA0G;QAC1G,kFAAkF;QAClF,qDAAqD;QACrD,gFAAgF;QAChF,+EAA+E;QAC/E,6DAA6D;QAC7D,8EAA8E;QAC9E,kDAAkD;QAClD,6FAA6F;QAC7F,wBAAwB,EAAE,CAAC,eAAe,EAAE,OAAO,EAAE,QAAQ,EAAE,kBAAkB,EAAE,UAAU,EAAE,YAAY,EAAE,EAAE,CAC7G,+BAA+B,CAAC,eAAe,EAAE,OAAO,EAAE,QAAQ,EAAE,qBAAqB,EAAE,kBAAkB,EAAE,UAAU,EAAE,YAAY,CAAC;QAC1I,uGAAuG;QACvG,iBAAiB,EAAE,CAAC,eAAe,EAAE,OAAO,EAAE,UAAU,EAAE,EAAE,CAC1D,wBAAwB,CAAC,eAAe,EAAE,OAAO,EAAE,qBAAqB,EAAE,UAAU,CAAC;QACvF,8EAA8E;QAC9E,sBAAsB,EAAE,CAAC,UAAU,EAAE,eAAe,EAAE,OAAO,EAAE,EAAE,CAC/D,sBAAsB,CAAC,UAAU,EAAE,eAAe,EAAE,OAAO,EAAE,YAAY,CAAC;QAC5E,+EAA+E;QAC/E,mFAAmF;QACnF,uBAAuB,EAAE,KAAK,EAAE,CAAC,EAAE,MAAM,EAAE,EAAE;YAC3C,MAAM,uBAAuB,CAAC,CAAC,EAAE,MAAM,EAAE;gBACvC,GAAG,iBAAiB;gBACpB,cAAc,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,qBAAqB,CAAC,KAAK,EAAE,8BAA8B,CAAC,WAAW,CAAC,EAAE,uBAAuB,EAAE,CAAC;gBAC/H,cAAc,EAAE,MAAM,CAAC,cAAc;gBACrC,4BAA4B;aAC7B,CAAC,CAAC;QACL,CAAC;QACD,cAAc,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,qBAAqB,CAAC,KAAK,EAAE,8BAA8B,CAAC,WAAW,CAAC,EAAE,uBAAuB,EAAE,CAAC;QAC/H,cAAc,EAAE,MAAM,CAAC,cAAc;QACrC,iBAAiB,EAAE,wBAAwB;QAC3C,eAAe,EAAE,wBAAwB;QACzC,gBAAgB,EAAE,wBAAwB;QAC1C,eAAe,EAAE,CAAC,MAAM,EAAE,EAAE,CAAC,sBAAsB,CAAC,MAAM,EAAE,EAAE,OAAO,EAAE,CAAC,GAAG,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE,CAAC,KAAK,CAAC,GAAG,EAAE,IAAI,EAAE,IAAI,CAAC,EAAE,cAAc,EAAE,CAAC;QACrI,gBAAgB,EAAE,uBAAuB;QACzC,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,4BAA4B,EAAE;QACnD,0BAA0B,EAAE,+BAA+B,CAAC,OAAO,CAAC,GAAG,EAAE,kBAAkB,CAAC;QAC5F,gBAAgB;QAChB,0GAA0G;QAC1G,kBAAkB,EAAE,eAAe,CAAC,kBAAkB,EAAE,eAAe,CAAC;QACxE,sBAAsB,EAAE,CAAC,CAAC,EAAE,MAAM,EAAE,EAAE,CACpC,kCAAkC,CAAC,CAAC,EAAE,MAAM,EAAE,MAAM,CAAC,cAAc,EAAE,eAAe,CAAC,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,SAAS,CAAC;QAC7G,gFAAgF;QAChF,uFAAuF;QACvF,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,oBAAoB,EAAE,CAAC,QAAQ,EAAE,GAAG,EAAE,GAAG,EAAE,KAAK,EAAE,EAAE,CAClD,oBAAoB,CAAC,QAAQ,EAAE,GAAG,EAAE,GAAG,EAAE,KAAK,EAAE,EAAE,YAAY,EAAE,kBAAkB,EAAE,EAAE,CAAC;QACzF,0EAA0E;QAC1E,+EAA+E;QAC/E,2FAA2F;QAC3F,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,qBAAqB,CAAC,QAAQ,EAAE,mBAAmB,CAAC,yBAAyB,CAAC,CAAC;QACxI,GAAG,kBAAkB,CAAC,MAAM,CAAC,iBAAiB,CAAC;QAC/C,GAAG,kBAAkB,CAAC,QAAQ,CAAC;QAC/B,oBAAoB,EAAE,CAAC,QAAQ,EAAE,EAAE,EAAE,EAAE,CAAC,oBAAoB,CAAC,QAAQ,EAAE,EAAE,EAAE,WAAW,CAAC;QACvF,iBAAiB,EAAE,yBAAyB;QAC5C,YAAY,EAAE,yBAAyB,EAAE;KAC1C,CAAC;IACF,4EAA4E;IAC5E,OAAO,EAAE,GAAG,OAAO,EAAE,oBAAoB,EAAE,6BAA6B,CAAC,OAAO,EAAE,2BAA2B,CAAC,QAAQ,CAAC,CAAC,EAAE,CAAC;AAC7H,CAAC,CAAC"}

package/dist/composition/verify-checkout-context.d.ts

@@ -0,0 +1,13 @@
+import { type VerifyCheckoutDeps } from '../verify/deterministic-gate/verification-checkout.js';
+import { type BaselineCheckoutSeams } from '../verify/attribution/verification-baseline-run.js';
+import { type DefaultAttributionSeams } from '../verify/attribution/verification-baseline.js';
+import type { StageContinuationSeams } from '../verify/attribution/verification-attribution.js';
+/** The checkout's git and the directory checkouts are made under (the daemon state dir, read once per context). */
+export declare function buildVerifyCheckoutDeps(): VerifyCheckoutDeps;
+/** The base checkout's provisioning read, dependency parity, pinned checkout, runner and install hold. */
+export declare function buildBaselineCheckoutSeams(checkout: VerifyCheckoutDeps): BaselineCheckoutSeams;
+/** The attribution closure's IO; `resolveOwnCommitShas` is the delivery's recorded commits (the attribution evidence reads). */
+export declare function buildAttributionSeams(checkout: VerifyCheckoutDeps, resolveOwnCommitShas: DefaultAttributionSeams['resolveOwnCommitShas']): DefaultAttributionSeams;
+/** The stage continuation's runner: the fixed-commit strategy, in a checkout pinned to the judged commit. */
+export declare function buildStageContinuationSeams(checkout: VerifyCheckoutDeps): StageContinuationSeams;
+//# sourceMappingURL=verify-checkout-context.d.ts.map

package/dist/composition/verify-checkout-context.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"verify-checkout-context.d.ts","sourceRoot":"","sources":["../../src/composition/verify-checkout-context.ts"],"names":[],"mappings":"AAuBA,OAAO,EAIL,KAAK,kBAAkB,EACxB,MAAM,uDAAuD,CAAC;AAC/D,OAAO,EAKL,KAAK,qBAAqB,EAC3B,MAAM,oDAAoD,CAAC;AAC5D,OAAO,EAKL,KAAK,uBAAuB,EAC7B,MAAM,gDAAgD,CAAC;AAExD,OAAO,KAAK,EAAE,sBAAsB,EAAE,MAAM,mDAAmD,CAAC;AAMhG,mHAAmH;AACnH,wBAAgB,uBAAuB,IAAI,kBAAkB,CAE5D;AAED,0GAA0G;AAC1G,wBAAgB,0BAA0B,CAAC,QAAQ,EAAE,kBAAkB,GAAG,qBAAqB,CAQ9F;AAED,gIAAgI;AAChI,wBAAgB,qBAAqB,CACnC,QAAQ,EAAE,kBAAkB,EAC5B,oBAAoB,EAAE,uBAAuB,CAAC,sBAAsB,CAAC,GACpE,uBAAuB,CAazB;AAED,6GAA6G;AAC7G,wBAAgB,2BAA2B,CAAC,QAAQ,EAAE,kBAAkB,GAAG,sBAAsB,CAKhG"}

package/dist/composition/verify-checkout-context.js

@@ -0,0 +1,65 @@
+// PINNED-BY-BEGIN (generated by gen:pinned-by -- do not hand-edit; checked by lint:pinned-by)
+// Pinned by: packages/daemon/src/composition/subsystem-contexts.test.ts,
+//   packages/daemon/src/integration/focus-commit-verdict-scenario.test.ts,
+//   packages/daemon/src/verify/attribution/verification-attribution.test.ts
+// PINNED-BY-END
+/**
+ * The production binding of the verify checkout family: the detached checkout a
+ * deterministic run judges (verify/deterministic-gate/verification-checkout.ts),
+ * the pinned base checkout attribution measures the focus base in
+ * (verify/attribution/verification-baseline-run.ts), the attribution closure's IO
+ * (verify/attribution/verification-baseline.ts), and the stage continuation's
+ * fixed-commit runner (verify/attribution/verification-attribution.ts).
+ *
+ * Part of the daemon composition root: composition/verification-context.ts builds
+ * these once per verification context. Every seam the leaves take is REQUIRED --
+ * none falls back to a real implementation -- so which git, which checkout root,
+ * which runner and which install hold run in production is read here.
+ *
+ * @module composition/verify-checkout-context
+ */
+import { runGitSync } from '../git/types.js';
+import { createPinnedVerifyCheckout, runDeterministicAtFixedCommit, verifyCheckoutRoot, } from '../verify/deterministic-gate/verification-checkout.js';
+import { buildDefaultOpenBaseline, readBaseDependencyParity, readCommitFile, runShellCapture, } from '../verify/attribution/verification-baseline-run.js';
+import { readBaselineCache, readHeadOutputDefault, resolveHeadSha, writeBaselineCache, } from '../verify/attribution/verification-baseline.js';
+import { attributionBaseGit } from './attribution-base-git.js';
+import { readWorktreeProvisioning } from '../worktree/worktree-package-provisioning.js';
+import { worktreeProvisioningDeps } from './execution-worktree-context.js';
+import { acquireVerifyHold } from '../worktree/verify-interlock.js';
+import { getFocusWorktree } from '../worktree/focus-worktree-state.js';
+/** The checkout's git and the directory checkouts are made under (the daemon state dir, read once per context). */
+export function buildVerifyCheckoutDeps() {
+    return { runGit: runGitSync, checkoutRoot: verifyCheckoutRoot() };
+}
+/** The base checkout's provisioning read, dependency parity, pinned checkout, runner and install hold. */
+export function buildBaselineCheckoutSeams(checkout) {
+    return {
+        readWorktreeProvisioning: (worktreePath) => readWorktreeProvisioning(worktreePath, worktreeProvisioningDeps),
+        readDependencyParity: (worktreePath, baseSha) => readBaseDependencyParity(worktreePath, baseSha, runGitSync, readCommitFile),
+        createCheckout: (worktreePath, checkoutKey, sha) => createPinnedVerifyCheckout(worktreePath, checkoutKey, sha, checkout),
+        runCommand: runShellCapture,
+        acquireHold: (worktreePath) => acquireVerifyHold(worktreePath),
+    };
+}
+/** The attribution closure's IO; `resolveOwnCommitShas` is the delivery's recorded commits (the attribution evidence reads). */
+export function buildAttributionSeams(checkout, resolveOwnCommitShas) {
+    const baseline = buildBaselineCheckoutSeams(checkout);
+    return {
+        resolveWorktreePath: (pv) => (pv.focusId ? getFocusWorktree(pv.focusId)?.worktreePath ?? null : null),
+        resolveHeadSha,
+        readCache: readBaselineCache,
+        writeCache: writeBaselineCache,
+        buildOpenBaseline: (focusWorktreePath, checkoutKey, gate) => buildDefaultOpenBaseline(focusWorktreePath, checkoutKey, gate.timeoutMs, baseline),
+        readHeadOutput: readHeadOutputDefault,
+        baseGit: attributionBaseGit,
+        resolveOwnCommitShas,
+    };
+}
+/** The stage continuation's runner: the fixed-commit strategy, in a checkout pinned to the judged commit. */
+export function buildStageContinuationSeams(checkout) {
+    return {
+        runAtFixedCommit: runDeterministicAtFixedCommit,
+        createPinnedCheckout: (worktreePath, checkoutKey, sha) => createPinnedVerifyCheckout(worktreePath, checkoutKey, sha, checkout),
+    };
+}
+//# sourceMappingURL=verify-checkout-context.js.map

package/dist/composition/verify-checkout-context.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"verify-checkout-context.js","sourceRoot":"","sources":["../../src/composition/verify-checkout-context.ts"],"names":[],"mappings":"AAAA,8FAA8F;AAC9F,yEAAyE;AACzE,2EAA2E;AAC3E,4EAA4E;AAC5E,gBAAgB;AAEhB;;;;;;;;;;;;;;GAcG;AAEH,OAAO,EAAE,UAAU,EAAE,MAAM,iBAAiB,CAAC;AAC7C,OAAO,EACL,0BAA0B,EAC1B,6BAA6B,EAC7B,kBAAkB,GAEnB,MAAM,uDAAuD,CAAC;AAC/D,OAAO,EACL,wBAAwB,EACxB,wBAAwB,EACxB,cAAc,EACd,eAAe,GAEhB,MAAM,oDAAoD,CAAC;AAC5D,OAAO,EACL,iBAAiB,EACjB,qBAAqB,EACrB,cAAc,EACd,kBAAkB,GAEnB,MAAM,gDAAgD,CAAC;AACxD,OAAO,EAAE,kBAAkB,EAAE,MAAM,2BAA2B,CAAC;AAE/D,OAAO,EAAE,wBAAwB,EAAE,MAAM,8CAA8C,CAAC;AACxF,OAAO,EAAE,wBAAwB,EAAE,MAAM,iCAAiC,CAAC;AAC3E,OAAO,EAAE,iBAAiB,EAAE,MAAM,iCAAiC,CAAC;AACpE,OAAO,EAAE,gBAAgB,EAAE,MAAM,qCAAqC,CAAC;AAEvE,mHAAmH;AACnH,MAAM,UAAU,uBAAuB;IACrC,OAAO,EAAE,MAAM,EAAE,UAAU,EAAE,YAAY,EAAE,kBAAkB,EAAE,EAAE,CAAC;AACpE,CAAC;AAED,0GAA0G;AAC1G,MAAM,UAAU,0BAA0B,CAAC,QAA4B;IACrE,OAAO;QACL,wBAAwB,EAAE,CAAC,YAAY,EAAE,EAAE,CAAC,wBAAwB,CAAC,YAAY,EAAE,wBAAwB,CAAC;QAC5G,oBAAoB,EAAE,CAAC,YAAY,EAAE,OAAO,EAAE,EAAE,CAAC,wBAAwB,CAAC,YAAY,EAAE,OAAO,EAAE,UAAU,EAAE,cAAc,CAAC;QAC5H,cAAc,EAAE,CAAC,YAAY,EAAE,WAAW,EAAE,GAAG,EAAE,EAAE,CAAC,0BAA0B,CAAC,YAAY,EAAE,WAAW,EAAE,GAAG,EAAE,QAAQ,CAAC;QACxH,UAAU,EAAE,eAAe;QAC3B,WAAW,EAAE,CAAC,YAAY,EAAE,EAAE,CAAC,iBAAiB,CAAC,YAAY,CAAC;KAC/D,CAAC;AACJ,CAAC;AAED,gIAAgI;AAChI,MAAM,UAAU,qBAAqB,CACnC,QAA4B,EAC5B,oBAAqE;IAErE,MAAM,QAAQ,GAAG,0BAA0B,CAAC,QAAQ,CAAC,CAAC;IACtD,OAAO;QACL,mBAAmB,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC,gBAAgB,CAAC,EAAE,CAAC,OAAO,CAAC,EAAE,YAAY,IAAI,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC;QACrG,cAAc;QACd,SAAS,EAAE,iBAAiB;QAC5B,UAAU,EAAE,kBAAkB;QAC9B,iBAAiB,EAAE,CAAC,iBAAiB,EAAE,WAAW,EAAE,IAAI,EAAE,EAAE,CAC1D,wBAAwB,CAAC,iBAAiB,EAAE,WAAW,EAAE,IAAI,CAAC,SAAS,EAAE,QAAQ,CAAC;QACpF,cAAc,EAAE,qBAAqB;QACrC,OAAO,EAAE,kBAAkB;QAC3B,oBAAoB;KACrB,CAAC;AACJ,CAAC;AAED,6GAA6G;AAC7G,MAAM,UAAU,2BAA2B,CAAC,QAA4B;IACtE,OAAO;QACL,gBAAgB,EAAE,6BAA6B;QAC/C,oBAAoB,EAAE,CAAC,YAAY,EAAE,WAAW,EAAE,GAAG,EAAE,EAAE,CAAC,0BAA0B,CAAC,YAAY,EAAE,WAAW,EAAE,GAAG,EAAE,QAAQ,CAAC;KAC/H,CAAC;AACJ,CAAC"}

package/dist/composition/verify-feedback-context.d.ts

@@ -0,0 +1,15 @@
+import { type ShortfallRequeueDeps, type ShortfallRouteDeps, type UnclearableShortfallDeps, type VerificationFailureFeedbackDeps, type VerificationFeedbackDeps } from '../verify/outcome-routing/verification-feedback.js';
+import type { ReworkIssueDeps } from '../verify/outcome-routing/verification-rework-issue.js';
+/** The gate_state write, the live-team inject and the clock every feedback path shares. */
+export declare function buildVerificationFeedbackDeps(): VerificationFeedbackDeps;
+/** The re-work re-entry: the reconciled verify -> verify_failed transition, the prior gate_state and the judged verdict. */
+export declare function buildShortfallRequeueDeps(): ShortfallRequeueDeps;
+/** A deterministic-failure rejection: the re-work re-entry, the full-log signature read and the rework Bug. */
+export declare function buildVerificationFailureFeedbackDeps(): VerificationFailureFeedbackDeps;
+/** An instrument-fault re-queue: the re-work re-entry and the rework Bug for an unparsed red. */
+export declare function buildEvidenceUnavailableFeedbackDeps(): ShortfallRequeueDeps & ReworkIssueDeps;
+/** The park path: the feedback IO and the cause-keyed idempotent escalation filer. */
+export declare function buildUnclearableShortfallDeps(): UnclearableShortfallDeps;
+/** Shortfall routing: re-work or park, fingerprinting the judged commit set through `resolveCommitSet`. */
+export declare function buildShortfallRouteDeps(resolveCommitSet: ShortfallRouteDeps['resolveCommitSet']): ShortfallRouteDeps;
+//# sourceMappingURL=verify-feedback-context.d.ts.map