niceeval 0.12.2-canary.31 → 0.13.0

package/dist/runner/reuse-plan.d.mts

@@ -1,9 +1,11 @@
 import { Effect } from "effect";
 import type { RecordIssue } from "../record/errors/record-errors.mjs";
-import { type RunId, type SlotId, type UtcMillis } from "../record/model/identifiers.mjs";
-import type { RecordAttachmentRead } from "../record/model/read-state.mjs";
+import type { AssertionsAttachment } from "../record/family/assertions.mjs";
+import { type VerdictState } from "../eval/record/verdict.mjs";
+import type { RecordReadSession, SelectedAttemptRef, SelectedRunRef } from "../record/host/types.mjs";
+import { type ExecutionIdentityDigest, type RunId, type SlotId, type UtcMillis } from "../record/model/identifiers.mjs";
+import type { AttemptOutcome } from "../record/model/core.mjs";
 import type { RecordReaderReadError } from "../record/reader/errors.mjs";
-import type { FrozenRecordAttempt, FrozenRecordView } from "../record/reader/types.mjs";
 import type { EvaluationKind } from "./types.mjs";
 export declare const PROJECT_TARGET_POLICY_NAME: "project-target";
 export declare const PROJECT_TARGET_POLICY_VERSION: 1;
@@ -14,21 +16,24 @@ export interface ExecutionPolicyIdentity {
     readonly version: typeof PROJECT_TARGET_POLICY_VERSION;
 }
 export declare const projectTargetPolicyIdentity: ExecutionPolicyIdentity;
-/** Version-neutral execution data normalized at the Record decoder boundary. */
+/** Current planner input, kept in memory rather than persisted as an Attachment. */
 export interface ExecutionIdentity {
     readonly domain: string;
     readonly value: string;
 }
-/** A current timeout comparison, independent of the Attachment schema that stored it. */
 export interface ExecutionDurationLimit {
     readonly domain: string;
     readonly milliseconds: number;
 }
-export type ExecutionComparisonAttachment = "niceeval.eligibility/v1" | "niceeval.verdict/v1";
-export type ExecutionComparisonSourceState = "available" | "unavailable" | "migration-required" | "migration-unavailable" | "unsupported" | "invalid";
+/**
+ * Reuse compares current execution identity with the immutable Core Slot,
+ * folds Core outcome with Assertions, and reads duration from fixed
+ * Observability. None of these facts is a separate eligibility/verdict family.
+ */
+export type ExecutionComparisonAttachment = "core" | "niceeval.assertions" | "niceeval.observability";
+export type ExecutionComparisonSourceState = "available" | "unavailable" | "migration-required" | "unsupported" | "invalid";
 export type ExecutionComparisonResult = "match" | "mismatch" | "ineligible" | "not-comparable";
-export type ExecutionRecordedClaim = "reuse-contract" | "verdict-state" | "input-identity" | "config-identity" | "execution-duration";
-/** Policy comparison as a runner fact; `/v1` only appears in durable attachment identity. */
+export type ExecutionRecordedClaim = "execution-identity" | "attempt-outcome" | "assertion-verdict" | "execution-duration";
 export interface ExecutionComparison {
     readonly attachment: ExecutionComparisonAttachment;
     readonly recordedClaim: ExecutionRecordedClaim;
@@ -36,14 +41,14 @@ export interface ExecutionComparison {
     readonly result: ExecutionComparisonResult;
     readonly reason: string;
 }
-export type ExecutionGapReason = "no-source-run" | "source-slot-missing" | "source-member-missing" | "source-core-invalid" | "source-attachment-unavailable" | "source-attachment-migration-required" | "source-attachment-migration-unavailable" | "source-attachment-unsupported" | "source-attachment-invalid" | "reuse-contract-domain-mismatch" | "reuse-contract-mismatch" | "verdict-ineligible" | "identity-mismatch" | "identity-domain-mismatch" | "duration-domain-mismatch" | "timeout-exceeded" | "rerun-requested" | "sandbox-retention-requested";
+export type ExecutionGapReason = "no-source-run" | "source-slot-missing" | "source-member-missing" | "source-core-invalid" | "source-attachment-unavailable" | "source-attachment-migration-required" | "source-attachment-unsupported" | "source-attachment-invalid" | "reuse-contract-domain-mismatch" | "reuse-contract-mismatch" | "identity-mismatch" | "identity-domain-mismatch" | "duration-domain-mismatch" | "timeout-exceeded" | "attempt-outcome-ineligible" | "verdict-ineligible" | "rerun-requested" | "sandbox-retention-requested";
 export type ExecutionGapScope = "slot" | "experiment" | "target";
-/** The minimum exact source-membership identity required beyond AttemptId. */
+/** Origin identity is read from the immutable Attempt, never reconstructed. */
 export interface ExecutionSourceOrigin {
     readonly runId: RunId;
     readonly slotId: SlotId;
 }
-/** The policy-selected source Run, represented without exposing a schema type. */
+/** The selected Run boundary may itself be a reference Run. */
 export interface ExecutionSourceBarrier {
     readonly runId: RunId;
     readonly startedAt: UtcMillis;
@@ -53,7 +58,6 @@ export interface ExecutionReuseEffectiveOptions {
     readonly keepSandbox: boolean;
     readonly reuseContract: ExecutionIdentity;
 }
-/** A fully evaluated target is immutable before this planner sees it. */
 export interface ExecutionTarget {
     readonly invocationId: string;
     readonly runs: readonly TargetRun[];
@@ -64,38 +68,33 @@ export interface TargetRun {
     readonly startedAt: UtcMillis;
     readonly slots: readonly TargetSlot[];
 }
+/**
+ * `slotId` and `executionIdentityDigest` are deterministic current planning
+ * facts. A carried Member can therefore point at the exact immutable origin
+ * Attempt without an out-of-band provenance Attachment.
+ */
 export interface TargetSlot {
     readonly runId: RunId;
     readonly slotId: SlotId;
     readonly experimentId: string;
     readonly evalId: string;
     readonly attempt: number;
+    readonly evaluationKind: EvaluationKind;
+    readonly executionIdentityDigest: ExecutionIdentityDigest;
     readonly inputIdentity: ExecutionIdentity;
     readonly configIdentity: ExecutionIdentity;
     readonly timeout?: ExecutionDurationLimit;
 }
-/**
- * An exact frozen source selected from the current Record. A reuse slot owns
- * this source; a gap may retain it as a non-authorizing candidate so dry
- * consumers can explain what the current policy declined without searching
- * historic paths a second time.
- */
+export type AssertionsVerdict = VerdictState;
+/** The exact selection-issued references remain live only while its reader Scope is live. */
 export interface ExecutionReusePlanSource {
-    /** The source Run's current evaluation declaration. */
-    readonly evaluationKind: EvaluationKind;
-    readonly attemptId: FrozenRecordAttempt["attemptId"];
-    /** Scoped Record capability; it is never reconstructed from an id string. */
-    readonly attempt: FrozenRecordAttempt;
-    /** Exact origin membership that anchors the immutable Attempt. */
+    readonly attemptId: SelectedAttemptRef["attemptId"];
+    readonly attempt: SelectedAttemptRef;
     readonly origin: ExecutionSourceOrigin;
-    /** The policy-selected source Run, which may be a reference Run. */
+    readonly originRun: SelectedRunRef;
     readonly sourceBarrier: ExecutionSourceBarrier;
+    readonly evaluationKind: EvaluationKind;
 }
-/**
- * The policy's expected reuse contract is explicit instead of being derived
- * from a prior Attempt. This lets a new required gate change only the policy
- * token/domain and fail closed against older eligibility facts.
- */
 export interface ProjectTargetPolicy {
     readonly identity: ExecutionPolicyIdentity;
     readonly reuseContract: ExecutionIdentity;
@@ -105,11 +104,9 @@ export interface ProjectTargetPolicy {
 export interface ExecutionReusePlanSlotBase extends TargetSlot {
     readonly comparisons: readonly ExecutionComparison[];
 }
-/** A carried reference always retains Record's exact frozen Attempt capability. */
 export interface ReusePlanSlot extends ExecutionReusePlanSlotBase {
     readonly state: "reuse";
     readonly adoption: "carried";
-    /** The source carries authority because every policy gate matched. */
     readonly source: ExecutionReusePlanSource;
 }
 export interface ExecutionGapSlot extends ExecutionReusePlanSlotBase {
@@ -118,11 +115,6 @@ export interface ExecutionGapSlot extends ExecutionReusePlanSlotBase {
     readonly scope: ExecutionGapScope;
     readonly issues: readonly RecordIssue[];
     readonly sourceBarrier?: ExecutionSourceBarrier;
-    /**
-     * The exact current source observed before a policy gate formed this gap.
-     * It is explanatory only: scheduler authority remains limited to
-     * `ReusePlanSlot`, never this candidate.
-     */
     readonly candidate?: ExecutionReusePlanSource;
 }
 export type ExecutionReusePlanSlot = ReusePlanSlot | ExecutionGapSlot;
@@ -135,51 +127,39 @@ export interface ExecutionReusePlan {
     readonly gaps: readonly ExecutionGapSlot[];
 }
 export interface ProjectTargetReusePlanInput {
-    readonly view: FrozenRecordView<RecordReaderReadError>;
+    readonly reader: RecordReadSession;
     readonly target: ExecutionTarget;
     readonly policy: ProjectTargetPolicy;
 }
-export type ProjectTargetReusePlanInvalidReason = "view-invalid" | "invocation-id-invalid" | "target-run-invalid" | "target-run-duplicate" | "target-slot-invalid" | "target-slot-duplicate" | "target-slot-run-mismatch" | "target-slot-experiment-mismatch" | "target-slot-ordinal-duplicate" | "policy-unsupported" | "policy-input-invalid";
-/** Planning cannot safely continue when its current target/policy is incomplete. */
+export type ProjectTargetReusePlanInvalidReason = "invocation-id-invalid" | "target-run-invalid" | "target-run-duplicate" | "target-slot-invalid" | "target-slot-duplicate" | "target-slot-run-mismatch" | "target-slot-experiment-mismatch" | "target-slot-ordinal-duplicate" | "policy-unsupported" | "policy-input-invalid";
 export interface ProjectTargetReusePlanInvalid {
     readonly code: "project-target-reuse-plan-invalid";
     readonly reason: ProjectTargetReusePlanInvalidReason;
 }
-export type ProjectTargetAttachmentGapReason = Extract<ExecutionGapReason, "source-attachment-unavailable" | "source-attachment-migration-required" | "source-attachment-migration-unavailable" | "source-attachment-unsupported" | "source-attachment-invalid">;
-export interface ProjectTargetAttachmentProblem {
-    readonly reason: ProjectTargetAttachmentGapReason;
-    readonly state: ExecutionComparisonSourceState;
-    readonly issues: readonly RecordIssue[];
-}
 /**
- * Validates the immutable input before any Record I/O. This stays pure so the
- * planner never invents target identities or silently repairs duplicate slots.
+ * Fold the terminal Verdict from the source Attempt's immutable Core outcome
+ * and its fixed Assertions facts. This is a projection, not a second durable
+ * Verdict family.
  */
+export declare function recordedAttemptVerdict(input: {
+    readonly outcome: AttemptOutcome;
+    readonly assertions: AssertionsAttachment;
+}): AssertionsVerdict;
+/** Input validation is pure; it never invents a target Slot or repairs an identity. */
 export declare function validateProjectTargetReusePlanInput(input: {
     readonly target: ExecutionTarget;
     readonly policy: ProjectTargetPolicy;
 }): ProjectTargetReusePlanInvalid | undefined;
 /**
- * Reads only the frozen current Record and produces a total, target-ordered
- * reuse/gap partition. It never opens storage, walks directories, or creates
- * an Effect runtime of its own.
+ * Plans only from Record Host selection references. It neither reconstructs
+ * attempt handles from strings nor reads private Record paths.
  */
 export declare function planProjectTargetReuse(input: ProjectTargetReusePlanInput): Effect.Effect<ExecutionReusePlan, ProjectTargetReusePlanInvalid | RecordReaderReadError>;
-/**
- * Plans a missing Record root without manufacturing a frozen reader capability.
- * Callers must use this only after the Record filesystem classified the whole
- * root as missing; an existing root stays on the reader path so malformed
- * durable state remains fail-closed.
- */
+/** Empty or not-yet-created Record roots produce no source capability. */
 export declare function planProjectTargetReuseWithoutSources(input: {
     readonly target: ExecutionTarget;
     readonly policy: ProjectTargetPolicy;
 }): Effect.Effect<ExecutionReusePlan, ProjectTargetReusePlanInvalid>;
-/** A small named facade lets Runner wiring keep the policy capability explicit. */
 export declare const ProjectTargetReusePlanner: Readonly<{
     plan: typeof planProjectTargetReuse;
 }>;
-/** Converts every non-available RecordAttachment read state into a stable gap. */
-export declare function projectTargetAttachmentProblem<Payload>(read: RecordAttachmentRead<Payload>): ProjectTargetAttachmentProblem | undefined;
-/** Stable read-state mapping used by both source and required-Attempt facts. */
-export declare function projectTargetAttachmentGapReason(state: Exclude<ExecutionComparisonSourceState, "available">): ProjectTargetAttachmentGapReason;

package/dist/runner/reuse-plan.d.ts

@@ -1,9 +1,11 @@
 import { Effect } from "effect";
 import type { RecordIssue } from "../record/errors/record-errors.js";
-import { type RunId, type SlotId, type UtcMillis } from "../record/model/identifiers.js";
-import type { RecordAttachmentRead } from "../record/model/read-state.js";
+import type { AssertionsAttachment } from "../record/family/assertions.js";
+import { type VerdictState } from "../eval/record/verdict.js";
+import type { RecordReadSession, SelectedAttemptRef, SelectedRunRef } from "../record/host/types.js";
+import { type ExecutionIdentityDigest, type RunId, type SlotId, type UtcMillis } from "../record/model/identifiers.js";
+import type { AttemptOutcome } from "../record/model/core.js";
 import type { RecordReaderReadError } from "../record/reader/errors.js";
-import type { FrozenRecordAttempt, FrozenRecordView } from "../record/reader/types.js";
 import type { EvaluationKind } from "./types.js";
 export declare const PROJECT_TARGET_POLICY_NAME: "project-target";
 export declare const PROJECT_TARGET_POLICY_VERSION: 1;
@@ -14,21 +16,24 @@ export interface ExecutionPolicyIdentity {
     readonly version: typeof PROJECT_TARGET_POLICY_VERSION;
 }
 export declare const projectTargetPolicyIdentity: ExecutionPolicyIdentity;
-/** Version-neutral execution data normalized at the Record decoder boundary. */
+/** Current planner input, kept in memory rather than persisted as an Attachment. */
 export interface ExecutionIdentity {
     readonly domain: string;
     readonly value: string;
 }
-/** A current timeout comparison, independent of the Attachment schema that stored it. */
 export interface ExecutionDurationLimit {
     readonly domain: string;
     readonly milliseconds: number;
 }
-export type ExecutionComparisonAttachment = "niceeval.eligibility/v1" | "niceeval.verdict/v1";
-export type ExecutionComparisonSourceState = "available" | "unavailable" | "migration-required" | "migration-unavailable" | "unsupported" | "invalid";
+/**
+ * Reuse compares current execution identity with the immutable Core Slot,
+ * folds Core outcome with Assertions, and reads duration from fixed
+ * Observability. None of these facts is a separate eligibility/verdict family.
+ */
+export type ExecutionComparisonAttachment = "core" | "niceeval.assertions" | "niceeval.observability";
+export type ExecutionComparisonSourceState = "available" | "unavailable" | "migration-required" | "unsupported" | "invalid";
 export type ExecutionComparisonResult = "match" | "mismatch" | "ineligible" | "not-comparable";
-export type ExecutionRecordedClaim = "reuse-contract" | "verdict-state" | "input-identity" | "config-identity" | "execution-duration";
-/** Policy comparison as a runner fact; `/v1` only appears in durable attachment identity. */
+export type ExecutionRecordedClaim = "execution-identity" | "attempt-outcome" | "assertion-verdict" | "execution-duration";
 export interface ExecutionComparison {
     readonly attachment: ExecutionComparisonAttachment;
     readonly recordedClaim: ExecutionRecordedClaim;
@@ -36,14 +41,14 @@ export interface ExecutionComparison {
     readonly result: ExecutionComparisonResult;
     readonly reason: string;
 }
-export type ExecutionGapReason = "no-source-run" | "source-slot-missing" | "source-member-missing" | "source-core-invalid" | "source-attachment-unavailable" | "source-attachment-migration-required" | "source-attachment-migration-unavailable" | "source-attachment-unsupported" | "source-attachment-invalid" | "reuse-contract-domain-mismatch" | "reuse-contract-mismatch" | "verdict-ineligible" | "identity-mismatch" | "identity-domain-mismatch" | "duration-domain-mismatch" | "timeout-exceeded" | "rerun-requested" | "sandbox-retention-requested";
+export type ExecutionGapReason = "no-source-run" | "source-slot-missing" | "source-member-missing" | "source-core-invalid" | "source-attachment-unavailable" | "source-attachment-migration-required" | "source-attachment-unsupported" | "source-attachment-invalid" | "reuse-contract-domain-mismatch" | "reuse-contract-mismatch" | "identity-mismatch" | "identity-domain-mismatch" | "duration-domain-mismatch" | "timeout-exceeded" | "attempt-outcome-ineligible" | "verdict-ineligible" | "rerun-requested" | "sandbox-retention-requested";
 export type ExecutionGapScope = "slot" | "experiment" | "target";
-/** The minimum exact source-membership identity required beyond AttemptId. */
+/** Origin identity is read from the immutable Attempt, never reconstructed. */
 export interface ExecutionSourceOrigin {
     readonly runId: RunId;
     readonly slotId: SlotId;
 }
-/** The policy-selected source Run, represented without exposing a schema type. */
+/** The selected Run boundary may itself be a reference Run. */
 export interface ExecutionSourceBarrier {
     readonly runId: RunId;
     readonly startedAt: UtcMillis;
@@ -53,7 +58,6 @@ export interface ExecutionReuseEffectiveOptions {
     readonly keepSandbox: boolean;
     readonly reuseContract: ExecutionIdentity;
 }
-/** A fully evaluated target is immutable before this planner sees it. */
 export interface ExecutionTarget {
     readonly invocationId: string;
     readonly runs: readonly TargetRun[];
@@ -64,38 +68,33 @@ export interface TargetRun {
     readonly startedAt: UtcMillis;
     readonly slots: readonly TargetSlot[];
 }
+/**
+ * `slotId` and `executionIdentityDigest` are deterministic current planning
+ * facts. A carried Member can therefore point at the exact immutable origin
+ * Attempt without an out-of-band provenance Attachment.
+ */
 export interface TargetSlot {
     readonly runId: RunId;
     readonly slotId: SlotId;
     readonly experimentId: string;
     readonly evalId: string;
     readonly attempt: number;
+    readonly evaluationKind: EvaluationKind;
+    readonly executionIdentityDigest: ExecutionIdentityDigest;
     readonly inputIdentity: ExecutionIdentity;
     readonly configIdentity: ExecutionIdentity;
     readonly timeout?: ExecutionDurationLimit;
 }
-/**
- * An exact frozen source selected from the current Record. A reuse slot owns
- * this source; a gap may retain it as a non-authorizing candidate so dry
- * consumers can explain what the current policy declined without searching
- * historic paths a second time.
- */
+export type AssertionsVerdict = VerdictState;
+/** The exact selection-issued references remain live only while its reader Scope is live. */
 export interface ExecutionReusePlanSource {
-    /** The source Run's current evaluation declaration. */
-    readonly evaluationKind: EvaluationKind;
-    readonly attemptId: FrozenRecordAttempt["attemptId"];
-    /** Scoped Record capability; it is never reconstructed from an id string. */
-    readonly attempt: FrozenRecordAttempt;
-    /** Exact origin membership that anchors the immutable Attempt. */
+    readonly attemptId: SelectedAttemptRef["attemptId"];
+    readonly attempt: SelectedAttemptRef;
     readonly origin: ExecutionSourceOrigin;
-    /** The policy-selected source Run, which may be a reference Run. */
+    readonly originRun: SelectedRunRef;
     readonly sourceBarrier: ExecutionSourceBarrier;
+    readonly evaluationKind: EvaluationKind;
 }
-/**
- * The policy's expected reuse contract is explicit instead of being derived
- * from a prior Attempt. This lets a new required gate change only the policy
- * token/domain and fail closed against older eligibility facts.
- */
 export interface ProjectTargetPolicy {
     readonly identity: ExecutionPolicyIdentity;
     readonly reuseContract: ExecutionIdentity;
@@ -105,11 +104,9 @@ export interface ProjectTargetPolicy {
 export interface ExecutionReusePlanSlotBase extends TargetSlot {
     readonly comparisons: readonly ExecutionComparison[];
 }
-/** A carried reference always retains Record's exact frozen Attempt capability. */
 export interface ReusePlanSlot extends ExecutionReusePlanSlotBase {
     readonly state: "reuse";
     readonly adoption: "carried";
-    /** The source carries authority because every policy gate matched. */
     readonly source: ExecutionReusePlanSource;
 }
 export interface ExecutionGapSlot extends ExecutionReusePlanSlotBase {
@@ -118,11 +115,6 @@ export interface ExecutionGapSlot extends ExecutionReusePlanSlotBase {
     readonly scope: ExecutionGapScope;
     readonly issues: readonly RecordIssue[];
     readonly sourceBarrier?: ExecutionSourceBarrier;
-    /**
-     * The exact current source observed before a policy gate formed this gap.
-     * It is explanatory only: scheduler authority remains limited to
-     * `ReusePlanSlot`, never this candidate.
-     */
     readonly candidate?: ExecutionReusePlanSource;
 }
 export type ExecutionReusePlanSlot = ReusePlanSlot | ExecutionGapSlot;
@@ -135,51 +127,39 @@ export interface ExecutionReusePlan {
     readonly gaps: readonly ExecutionGapSlot[];
 }
 export interface ProjectTargetReusePlanInput {
-    readonly view: FrozenRecordView<RecordReaderReadError>;
+    readonly reader: RecordReadSession;
     readonly target: ExecutionTarget;
     readonly policy: ProjectTargetPolicy;
 }
-export type ProjectTargetReusePlanInvalidReason = "view-invalid" | "invocation-id-invalid" | "target-run-invalid" | "target-run-duplicate" | "target-slot-invalid" | "target-slot-duplicate" | "target-slot-run-mismatch" | "target-slot-experiment-mismatch" | "target-slot-ordinal-duplicate" | "policy-unsupported" | "policy-input-invalid";
-/** Planning cannot safely continue when its current target/policy is incomplete. */
+export type ProjectTargetReusePlanInvalidReason = "invocation-id-invalid" | "target-run-invalid" | "target-run-duplicate" | "target-slot-invalid" | "target-slot-duplicate" | "target-slot-run-mismatch" | "target-slot-experiment-mismatch" | "target-slot-ordinal-duplicate" | "policy-unsupported" | "policy-input-invalid";
 export interface ProjectTargetReusePlanInvalid {
     readonly code: "project-target-reuse-plan-invalid";
     readonly reason: ProjectTargetReusePlanInvalidReason;
 }
-export type ProjectTargetAttachmentGapReason = Extract<ExecutionGapReason, "source-attachment-unavailable" | "source-attachment-migration-required" | "source-attachment-migration-unavailable" | "source-attachment-unsupported" | "source-attachment-invalid">;
-export interface ProjectTargetAttachmentProblem {
-    readonly reason: ProjectTargetAttachmentGapReason;
-    readonly state: ExecutionComparisonSourceState;
-    readonly issues: readonly RecordIssue[];
-}
 /**
- * Validates the immutable input before any Record I/O. This stays pure so the
- * planner never invents target identities or silently repairs duplicate slots.
+ * Fold the terminal Verdict from the source Attempt's immutable Core outcome
+ * and its fixed Assertions facts. This is a projection, not a second durable
+ * Verdict family.
  */
+export declare function recordedAttemptVerdict(input: {
+    readonly outcome: AttemptOutcome;
+    readonly assertions: AssertionsAttachment;
+}): AssertionsVerdict;
+/** Input validation is pure; it never invents a target Slot or repairs an identity. */
 export declare function validateProjectTargetReusePlanInput(input: {
     readonly target: ExecutionTarget;
     readonly policy: ProjectTargetPolicy;
 }): ProjectTargetReusePlanInvalid | undefined;
 /**
- * Reads only the frozen current Record and produces a total, target-ordered
- * reuse/gap partition. It never opens storage, walks directories, or creates
- * an Effect runtime of its own.
+ * Plans only from Record Host selection references. It neither reconstructs
+ * attempt handles from strings nor reads private Record paths.
  */
 export declare function planProjectTargetReuse(input: ProjectTargetReusePlanInput): Effect.Effect<ExecutionReusePlan, ProjectTargetReusePlanInvalid | RecordReaderReadError>;
-/**
- * Plans a missing Record root without manufacturing a frozen reader capability.
- * Callers must use this only after the Record filesystem classified the whole
- * root as missing; an existing root stays on the reader path so malformed
- * durable state remains fail-closed.
- */
+/** Empty or not-yet-created Record roots produce no source capability. */
 export declare function planProjectTargetReuseWithoutSources(input: {
     readonly target: ExecutionTarget;
     readonly policy: ProjectTargetPolicy;
 }): Effect.Effect<ExecutionReusePlan, ProjectTargetReusePlanInvalid>;
-/** A small named facade lets Runner wiring keep the policy capability explicit. */
 export declare const ProjectTargetReusePlanner: Readonly<{
     plan: typeof planProjectTargetReuse;
 }>;
-/** Converts every non-available RecordAttachment read state into a stable gap. */
-export declare function projectTargetAttachmentProblem<Payload>(read: RecordAttachmentRead<Payload>): ProjectTargetAttachmentProblem | undefined;
-/** Stable read-state mapping used by both source and required-Attempt facts. */
-export declare function projectTargetAttachmentGapReason(state: Exclude<ExecutionComparisonSourceState, "available">): ProjectTargetAttachmentGapReason;

package/dist/runner/reuse-plan.js

@@ -15,12 +15,10 @@ const __niceevalExport5 = __niceevalCanonical["planProjectTargetReuse"];
 export { __niceevalExport5 as planProjectTargetReuse };
 const __niceevalExport6 = __niceevalCanonical["planProjectTargetReuseWithoutSources"];
 export { __niceevalExport6 as planProjectTargetReuseWithoutSources };
-const __niceevalExport7 = __niceevalCanonical["projectTargetAttachmentGapReason"];
-export { __niceevalExport7 as projectTargetAttachmentGapReason };
-const __niceevalExport8 = __niceevalCanonical["projectTargetAttachmentProblem"];
-export { __niceevalExport8 as projectTargetAttachmentProblem };
-const __niceevalExport9 = __niceevalCanonical["projectTargetPolicyIdentity"];
-export { __niceevalExport9 as projectTargetPolicyIdentity };
-const __niceevalExport10 = __niceevalCanonical["validateProjectTargetReusePlanInput"];
-export { __niceevalExport10 as validateProjectTargetReusePlanInput };
+const __niceevalExport7 = __niceevalCanonical["projectTargetPolicyIdentity"];
+export { __niceevalExport7 as projectTargetPolicyIdentity };
+const __niceevalExport8 = __niceevalCanonical["recordedAttemptVerdict"];
+export { __niceevalExport8 as recordedAttemptVerdict };
+const __niceevalExport9 = __niceevalCanonical["validateProjectTargetReusePlanInput"];
+export { __niceevalExport9 as validateProjectTargetReusePlanInput };
 //# sourceMappingURL=reuse-plan.js.map