@velum-labs/routekit-eval-setup 1.3.2 → 1.5.0

package/dist/services/foundry/service.d.ts

@@ -0,0 +1,831 @@
+import { Context, Effect, Layer } from "effect";
+import { RepositoryFoundryError } from "../../errors.js";
+import { type RepositoryFoundryGenerationPlanV1 } from "../../repository-foundry-plan-protocol.js";
+import { type RepositoryFoundryModelPlanV1 } from "../../repository-language-model-protocol.js";
+import type { RepositorySeedCrossBatchQualificationV1 } from "../../repository-task-seed-protocol.js";
+import { type RepositoryGeneratedCaseResultV1 } from "../case-generation/service.js";
+import { RepositoryFoundryLanguageModel } from "../language-model/service.js";
+export type RepositoryFoundryExecutionResultV1 = {
+    readonly version: 1;
+    readonly plan: RepositoryFoundryGenerationPlanV1;
+    readonly qualification: RepositorySeedCrossBatchQualificationV1;
+    readonly generation: RepositoryGeneratedCaseResultV1;
+};
+export type RepositoryFoundrySmokeResultV1 = {
+    readonly version: 1;
+    readonly operation: "index-qualify-smoke";
+    readonly repository: {
+        readonly root: string;
+        readonly requestedRef: string;
+        readonly commit: string;
+        readonly tree: string;
+    };
+    readonly index: {
+        readonly packages: number;
+        readonly publicSurfaces: number;
+        readonly protocols: number;
+        readonly commands: number;
+        readonly tests: number;
+        readonly historyEpisodes: number;
+    };
+    readonly seeds: {
+        readonly extracted: number;
+        readonly selected: {
+            readonly id: string;
+            readonly summary: string;
+            readonly initialCommit: string;
+            readonly referenceCommit: string;
+        };
+    };
+    readonly qualification: RepositorySeedCrossBatchQualificationV1;
+    readonly pathPolicy: {
+        readonly deniedRoots: readonly ["docs", "examples"];
+        readonly selectedPathsUnderDeniedRoots: readonly string[];
+    };
+    readonly modelCalls: 0;
+};
+export type RepositoryFoundryShape = {
+    readonly planHistorical: (input: {
+        readonly repositoryRoot: string;
+        readonly requestedRef?: string;
+        readonly referenceCommit?: string;
+        readonly caseId: string;
+        readonly requestedDimension?: string;
+        readonly validControlRegenerationSequence?: number;
+        readonly validControlReviewVersion?: 1 | 2;
+        readonly dependencyContextVersion?: 1 | 2;
+        readonly oracleCoverageWitnessVersion?: 1 | 2;
+        readonly oracleCoverageWitnessRepairVersion?: 1;
+        readonly oracleRepairFeedbackVersion?: 1;
+        readonly reviewInputVersion?: 2;
+        readonly specificationContractFactsVersion?: 1;
+        readonly modelPlan: RepositoryFoundryModelPlanV1;
+        readonly maximumHistoryEpisodes?: number;
+        readonly maximumSeedCandidates?: number;
+        readonly excludedReferenceCommits?: readonly string[];
+        readonly qualificationBatches?: number;
+        readonly qualificationRepetitionsPerBatch?: number;
+        readonly oracleRepetitions?: number;
+        readonly oracleConcurrency?: number;
+        readonly maximumHillClimbAttempts?: number;
+        readonly maximumSpecificationRevisions?: number;
+        readonly maximumOracleCoverageRevisions?: number;
+        readonly maximumFixtureRepairAttempts?: number;
+        readonly wallTimeMs?: number;
+    }) => Effect.Effect<RepositoryFoundryGenerationPlanV1, RepositoryFoundryError>;
+    readonly executeHistorical: (input: {
+        readonly plan: RepositoryFoundryGenerationPlanV1;
+    }) => Effect.Effect<RepositoryFoundryExecutionResultV1, RepositoryFoundryError>;
+    readonly smoke: (input: {
+        readonly repositoryRoot: string;
+        readonly requestedRef?: string;
+        readonly referenceCommit?: string;
+        readonly maximumHistoryEpisodes?: number;
+        readonly qualificationBatches?: number;
+        readonly qualificationRepetitionsPerBatch?: number;
+    }) => Effect.Effect<RepositoryFoundrySmokeResultV1, RepositoryFoundryError>;
+};
+declare const RepositoryFoundry_base: Context.ServiceClass<RepositoryFoundry, "@velum-labs/routekit-eval-setup/RepositoryFoundry", RepositoryFoundryShape>;
+export declare class RepositoryFoundry extends RepositoryFoundry_base {
+}
+export declare const planHistoricalRepositoryCaseGenerationV1: (input: {
+    readonly repositoryRoot: string;
+    readonly requestedRef?: string;
+    readonly referenceCommit?: string;
+    readonly caseId: string;
+    readonly requestedDimension?: string;
+    readonly validControlRegenerationSequence?: number;
+    readonly validControlReviewVersion?: 1 | 2;
+    readonly dependencyContextVersion?: 1 | 2;
+    readonly oracleCoverageWitnessVersion?: 1 | 2;
+    readonly oracleCoverageWitnessRepairVersion?: 1;
+    readonly oracleRepairFeedbackVersion?: 1;
+    readonly reviewInputVersion?: 2;
+    readonly specificationContractFactsVersion?: 1;
+    readonly modelPlan: RepositoryFoundryModelPlanV1;
+    readonly maximumHistoryEpisodes?: number;
+    readonly maximumSeedCandidates?: number;
+    readonly excludedReferenceCommits?: readonly string[];
+    readonly qualificationBatches?: number;
+    readonly qualificationRepetitionsPerBatch?: number;
+    readonly oracleRepetitions?: number;
+    readonly oracleConcurrency?: number;
+    readonly maximumHillClimbAttempts?: number;
+    readonly maximumSpecificationRevisions?: number;
+    readonly maximumOracleCoverageRevisions?: number;
+    readonly maximumFixtureRepairAttempts?: number;
+    readonly wallTimeMs?: number;
+}) => Effect.Effect<{
+    readonly version: 1;
+    readonly caseId: string;
+    readonly repository: {
+        readonly root: string;
+        readonly requestedRef: string;
+        readonly commit: string;
+        readonly tree: string;
+    };
+    readonly referenceCommit: string;
+    readonly seedId: string;
+    readonly modelPlan: {
+        readonly version: 1;
+        readonly assignments: readonly {
+            readonly role: "oracle-critic" | "repository-analyst" | "specification-writer" | "specification-critic-a" | "specification-critic-b" | "trajectory-designer" | "trajectory-critic" | "oracle-designer" | "valid-solution-generator-a" | "valid-solution-generator-b" | "adversary" | "solution-critic-a" | "solution-critic-b" | "held-out-adversary" | "held-out-solution-critic-a" | "held-out-solution-critic-b" | "quality-reviewer" | "hill-climb-planner";
+            readonly model: string;
+            readonly reasoningEffort: "high" | "medium" | "low" | "xhigh" | "max" | "ultra";
+        }[];
+    };
+    readonly budget: {
+        readonly wallTimeMs: number;
+        readonly requiredTotalInputTokens: number;
+        readonly requiredTotalOutputTokens: number;
+        readonly plannedModelCalls: number;
+        readonly maximumTransientRetries: number;
+        readonly maximumHillClimbAttempts: number;
+        readonly perCallOutputTokens: number;
+        readonly maximumSpecificationRevisions?: number | undefined;
+        readonly maximumOracleCoverageRevisions?: number | undefined;
+        readonly maximumFixtureRepairAttempts?: number | undefined;
+    };
+    readonly qualification: {
+        readonly batches: number;
+        readonly repetitionsPerBatch: number;
+        readonly oracleRepetitions: number;
+        readonly oracleConcurrency?: number | undefined;
+    };
+    readonly planDigest: string;
+    readonly initialCommit: string;
+    readonly reviewInputVersion?: 2 | undefined;
+    readonly requestedDimension?: string | undefined;
+    readonly excludedReferenceCommits?: readonly string[] | undefined;
+    readonly historyProvenance?: {
+        readonly method: "integrated-retained-history-v1";
+        readonly requestedRef: string;
+        readonly requestedTipCommit: string;
+        readonly requestedTipTree: string;
+        readonly integrationCommit: string;
+        readonly pathBlobs: readonly {
+            readonly path: string;
+            readonly blob: string;
+        }[];
+    } | undefined;
+    readonly validControlRegenerationSequence?: number | undefined;
+    readonly validControlReviewVersion?: 1 | 2 | undefined;
+    readonly dependencyContextVersion?: 1 | 2 | undefined;
+    readonly oracleCoverageWitnessVersion?: 1 | 2 | undefined;
+    readonly oracleCoverageWitnessRepairVersion?: 1 | undefined;
+    readonly oracleRepairFeedbackVersion?: 1 | undefined;
+    readonly specificationContractFactsVersion?: 1 | undefined;
+}, RepositoryFoundryError, never>;
+export declare const smokeHistoricalRepositoryQualificationV1: (input: {
+    readonly repositoryRoot: string;
+    readonly requestedRef?: string;
+    readonly referenceCommit?: string;
+    readonly maximumHistoryEpisodes?: number;
+    readonly qualificationBatches?: number;
+    readonly qualificationRepetitionsPerBatch?: number;
+}) => Effect.Effect<{
+    version: 1;
+    operation: "index-qualify-smoke";
+    repository: {
+        readonly root: string;
+        readonly requestedRef: string;
+        readonly commit: string;
+        readonly tree: string;
+    };
+    index: {
+        packages: number;
+        publicSurfaces: number;
+        protocols: number;
+        commands: number;
+        tests: number;
+        historyEpisodes: number;
+    };
+    seeds: {
+        extracted: number;
+        selected: {
+            id: string;
+            summary: string;
+            initialCommit: string;
+            referenceCommit: string;
+        };
+    };
+    qualification: {
+        readonly seed: {
+            readonly id: string;
+            readonly source: {
+                readonly kind: "historical-fix";
+                readonly changeEpisodeId: string;
+            } | {
+                readonly kind: "historical-feature";
+                readonly changeEpisodeId: string;
+            } | {
+                readonly kind: "historical-refactor";
+                readonly changeEpisodeId: string;
+            } | {
+                readonly kind: "existing-test";
+                readonly testIds: readonly string[];
+            } | {
+                readonly kind: "public-api";
+                readonly surfaceIds: readonly string[];
+            } | {
+                readonly kind: "schema-contract";
+                readonly protocolIds: readonly string[];
+            } | {
+                readonly kind: "production-request";
+                readonly requestId: string;
+            } | {
+                readonly kind: "reviewed-synthetic-gap";
+                readonly reviewId: string;
+            };
+            readonly version: 1;
+            readonly rejectionReasons: readonly string[];
+            readonly confidence: "high" | "medium" | "review-required";
+            readonly status: "candidate" | "qualified" | "rejected";
+            readonly capabilityEvidence: readonly {
+                readonly kind: "symbol" | "package" | "public-surface" | "protocol" | "schema" | "test" | "command" | "history-episode" | "workload-signal" | "documentation";
+                readonly id: string;
+                readonly path?: string | undefined;
+            }[];
+            readonly initialState: {
+                readonly commit: string;
+                readonly parentCommit?: string | undefined;
+            };
+            readonly targetBehavior: readonly {
+                readonly id: string;
+                readonly description: string;
+                readonly critical: boolean;
+                readonly evidence: readonly {
+                    readonly kind: "symbol" | "package" | "public-surface" | "protocol" | "schema" | "test" | "command" | "history-episode" | "workload-signal" | "documentation";
+                    readonly id: string;
+                    readonly path?: string | undefined;
+                }[];
+            }[];
+            readonly baselineObservations: readonly {
+                readonly id: string;
+                readonly kind: "test-command" | "property" | "schema" | "event-trace" | "structural";
+                readonly subjectId: string;
+                readonly outcome: "pass" | "fail" | "unknown";
+                readonly detail: string;
+            }[];
+            readonly preChangeObservations: readonly {
+                readonly id: string;
+                readonly kind: "test-command" | "property" | "schema" | "event-trace" | "structural";
+                readonly subjectId: string;
+                readonly outcome: "pass" | "fail" | "unknown";
+                readonly detail: string;
+            }[];
+            readonly postChangeObservations: readonly {
+                readonly id: string;
+                readonly kind: "test-command" | "property" | "schema" | "event-trace" | "structural";
+                readonly subjectId: string;
+                readonly outcome: "pass" | "fail" | "unknown";
+                readonly detail: string;
+            }[];
+            readonly candidateTestIds: readonly string[];
+            readonly risks: readonly ("review-required" | "external-service" | "ambiguous-intent" | "bundled-change" | "flaky-baseline" | "reference-only-oracle" | "weak-test-delta" | "unrealistic-mutation" | "private-context" | "cross-batch-instability")[];
+            readonly summary: string;
+            readonly environment: {
+                readonly protectedControlPaths: readonly string[];
+                readonly trustedPreparationRecipes: readonly {
+                    readonly id: string;
+                    readonly kind: "schema" | "test" | "build" | "check" | "custom";
+                    readonly cwd: string;
+                    readonly executable: string;
+                    readonly args: readonly string[];
+                    readonly timeoutMs: number;
+                }[];
+                readonly candidateValidationRecipes: readonly {
+                    readonly id: string;
+                    readonly kind: "schema" | "test" | "build" | "check" | "custom";
+                    readonly cwd: string;
+                    readonly executable: string;
+                    readonly args: readonly string[];
+                    readonly timeoutMs: number;
+                }[];
+                readonly baselineGradeRecipes: readonly {
+                    readonly id: string;
+                    readonly kind: "schema" | "test" | "build" | "check" | "custom";
+                    readonly cwd: string;
+                    readonly executable: string;
+                    readonly args: readonly string[];
+                    readonly timeoutMs: number;
+                }[];
+                readonly gradeRecipes: readonly {
+                    readonly id: string;
+                    readonly kind: "schema" | "test" | "build" | "check" | "custom";
+                    readonly cwd: string;
+                    readonly executable: string;
+                    readonly args: readonly string[];
+                    readonly timeoutMs: number;
+                }[];
+                readonly packageManager?: {
+                    readonly name: "pnpm";
+                    readonly version: string;
+                } | undefined;
+                readonly lockfilePath?: string | undefined;
+            };
+            readonly referenceCommit?: string | undefined;
+        };
+        readonly stability: {
+            readonly version: 1;
+            readonly seedId: string;
+            readonly batchesRequired: number;
+            readonly repetitionsPerBatch: number;
+            readonly stable: boolean;
+            readonly batches: readonly {
+                readonly batch: number;
+                readonly status: "qualified" | "rejected";
+                readonly phaseSignatures: readonly {
+                    readonly phase: "baseline" | "pre-change" | "post-change";
+                    readonly signatures: readonly string[];
+                }[];
+                readonly rejectionReasons: readonly string[];
+            }[];
+            readonly divergentPhases: readonly ("baseline" | "pre-change" | "post-change")[];
+            readonly failureSignatures: readonly {
+                readonly signature: string;
+                readonly count: number;
+            }[];
+            readonly rejectionReasons: readonly string[];
+        };
+    };
+    pathPolicy: {
+        deniedRoots: readonly ["docs", "examples"];
+        selectedPathsUnderDeniedRoots: string[];
+    };
+    modelCalls: 0;
+}, RepositoryFoundryError, never>;
+export declare const executeHistoricalRepositoryCaseGenerationV1: (input: {
+    readonly plan: RepositoryFoundryGenerationPlanV1;
+}) => Effect.Effect<{
+    version: 1;
+    plan: {
+        readonly version: 1;
+        readonly caseId: string;
+        readonly repository: {
+            readonly root: string;
+            readonly requestedRef: string;
+            readonly commit: string;
+            readonly tree: string;
+        };
+        readonly referenceCommit: string;
+        readonly seedId: string;
+        readonly modelPlan: {
+            readonly version: 1;
+            readonly assignments: readonly {
+                readonly role: "oracle-critic" | "repository-analyst" | "specification-writer" | "specification-critic-a" | "specification-critic-b" | "trajectory-designer" | "trajectory-critic" | "oracle-designer" | "valid-solution-generator-a" | "valid-solution-generator-b" | "adversary" | "solution-critic-a" | "solution-critic-b" | "held-out-adversary" | "held-out-solution-critic-a" | "held-out-solution-critic-b" | "quality-reviewer" | "hill-climb-planner";
+                readonly model: string;
+                readonly reasoningEffort: "high" | "medium" | "low" | "xhigh" | "max" | "ultra";
+            }[];
+        };
+        readonly budget: {
+            readonly wallTimeMs: number;
+            readonly requiredTotalInputTokens: number;
+            readonly requiredTotalOutputTokens: number;
+            readonly plannedModelCalls: number;
+            readonly maximumTransientRetries: number;
+            readonly maximumHillClimbAttempts: number;
+            readonly perCallOutputTokens: number;
+            readonly maximumSpecificationRevisions?: number | undefined;
+            readonly maximumOracleCoverageRevisions?: number | undefined;
+            readonly maximumFixtureRepairAttempts?: number | undefined;
+        };
+        readonly qualification: {
+            readonly batches: number;
+            readonly repetitionsPerBatch: number;
+            readonly oracleRepetitions: number;
+            readonly oracleConcurrency?: number | undefined;
+        };
+        readonly planDigest: string;
+        readonly initialCommit: string;
+        readonly reviewInputVersion?: 2 | undefined;
+        readonly requestedDimension?: string | undefined;
+        readonly excludedReferenceCommits?: readonly string[] | undefined;
+        readonly historyProvenance?: {
+            readonly method: "integrated-retained-history-v1";
+            readonly requestedRef: string;
+            readonly requestedTipCommit: string;
+            readonly requestedTipTree: string;
+            readonly integrationCommit: string;
+            readonly pathBlobs: readonly {
+                readonly path: string;
+                readonly blob: string;
+            }[];
+        } | undefined;
+        readonly validControlRegenerationSequence?: number | undefined;
+        readonly validControlReviewVersion?: 1 | 2 | undefined;
+        readonly dependencyContextVersion?: 1 | 2 | undefined;
+        readonly oracleCoverageWitnessVersion?: 1 | 2 | undefined;
+        readonly oracleCoverageWitnessRepairVersion?: 1 | undefined;
+        readonly oracleRepairFeedbackVersion?: 1 | undefined;
+        readonly specificationContractFactsVersion?: 1 | undefined;
+    };
+    qualification: {
+        readonly seed: {
+            readonly id: string;
+            readonly source: {
+                readonly kind: "historical-fix";
+                readonly changeEpisodeId: string;
+            } | {
+                readonly kind: "historical-feature";
+                readonly changeEpisodeId: string;
+            } | {
+                readonly kind: "historical-refactor";
+                readonly changeEpisodeId: string;
+            } | {
+                readonly kind: "existing-test";
+                readonly testIds: readonly string[];
+            } | {
+                readonly kind: "public-api";
+                readonly surfaceIds: readonly string[];
+            } | {
+                readonly kind: "schema-contract";
+                readonly protocolIds: readonly string[];
+            } | {
+                readonly kind: "production-request";
+                readonly requestId: string;
+            } | {
+                readonly kind: "reviewed-synthetic-gap";
+                readonly reviewId: string;
+            };
+            readonly version: 1;
+            readonly rejectionReasons: readonly string[];
+            readonly confidence: "high" | "medium" | "review-required";
+            readonly status: "candidate" | "qualified" | "rejected";
+            readonly capabilityEvidence: readonly {
+                readonly kind: "symbol" | "package" | "public-surface" | "protocol" | "schema" | "test" | "command" | "history-episode" | "workload-signal" | "documentation";
+                readonly id: string;
+                readonly path?: string | undefined;
+            }[];
+            readonly initialState: {
+                readonly commit: string;
+                readonly parentCommit?: string | undefined;
+            };
+            readonly targetBehavior: readonly {
+                readonly id: string;
+                readonly description: string;
+                readonly critical: boolean;
+                readonly evidence: readonly {
+                    readonly kind: "symbol" | "package" | "public-surface" | "protocol" | "schema" | "test" | "command" | "history-episode" | "workload-signal" | "documentation";
+                    readonly id: string;
+                    readonly path?: string | undefined;
+                }[];
+            }[];
+            readonly baselineObservations: readonly {
+                readonly id: string;
+                readonly kind: "test-command" | "property" | "schema" | "event-trace" | "structural";
+                readonly subjectId: string;
+                readonly outcome: "pass" | "fail" | "unknown";
+                readonly detail: string;
+            }[];
+            readonly preChangeObservations: readonly {
+                readonly id: string;
+                readonly kind: "test-command" | "property" | "schema" | "event-trace" | "structural";
+                readonly subjectId: string;
+                readonly outcome: "pass" | "fail" | "unknown";
+                readonly detail: string;
+            }[];
+            readonly postChangeObservations: readonly {
+                readonly id: string;
+                readonly kind: "test-command" | "property" | "schema" | "event-trace" | "structural";
+                readonly subjectId: string;
+                readonly outcome: "pass" | "fail" | "unknown";
+                readonly detail: string;
+            }[];
+            readonly candidateTestIds: readonly string[];
+            readonly risks: readonly ("review-required" | "external-service" | "ambiguous-intent" | "bundled-change" | "flaky-baseline" | "reference-only-oracle" | "weak-test-delta" | "unrealistic-mutation" | "private-context" | "cross-batch-instability")[];
+            readonly summary: string;
+            readonly environment: {
+                readonly protectedControlPaths: readonly string[];
+                readonly trustedPreparationRecipes: readonly {
+                    readonly id: string;
+                    readonly kind: "schema" | "test" | "build" | "check" | "custom";
+                    readonly cwd: string;
+                    readonly executable: string;
+                    readonly args: readonly string[];
+                    readonly timeoutMs: number;
+                }[];
+                readonly candidateValidationRecipes: readonly {
+                    readonly id: string;
+                    readonly kind: "schema" | "test" | "build" | "check" | "custom";
+                    readonly cwd: string;
+                    readonly executable: string;
+                    readonly args: readonly string[];
+                    readonly timeoutMs: number;
+                }[];
+                readonly baselineGradeRecipes: readonly {
+                    readonly id: string;
+                    readonly kind: "schema" | "test" | "build" | "check" | "custom";
+                    readonly cwd: string;
+                    readonly executable: string;
+                    readonly args: readonly string[];
+                    readonly timeoutMs: number;
+                }[];
+                readonly gradeRecipes: readonly {
+                    readonly id: string;
+                    readonly kind: "schema" | "test" | "build" | "check" | "custom";
+                    readonly cwd: string;
+                    readonly executable: string;
+                    readonly args: readonly string[];
+                    readonly timeoutMs: number;
+                }[];
+                readonly packageManager?: {
+                    readonly name: "pnpm";
+                    readonly version: string;
+                } | undefined;
+                readonly lockfilePath?: string | undefined;
+            };
+            readonly referenceCommit?: string | undefined;
+        };
+        readonly stability: {
+            readonly version: 1;
+            readonly seedId: string;
+            readonly batchesRequired: number;
+            readonly repetitionsPerBatch: number;
+            readonly stable: boolean;
+            readonly batches: readonly {
+                readonly batch: number;
+                readonly status: "qualified" | "rejected";
+                readonly phaseSignatures: readonly {
+                    readonly phase: "baseline" | "pre-change" | "post-change";
+                    readonly signatures: readonly string[];
+                }[];
+                readonly rejectionReasons: readonly string[];
+            }[];
+            readonly divergentPhases: readonly ("baseline" | "pre-change" | "post-change")[];
+            readonly failureSignatures: readonly {
+                readonly signature: string;
+                readonly count: number;
+            }[];
+            readonly rejectionReasons: readonly string[];
+        };
+    };
+    generation: {
+        qualityReview: {
+            readonly verdict: "approve" | "reject";
+            readonly detail: string;
+            readonly findings: readonly {
+                readonly axis: "oracle" | "specification" | "valid-solution-independence" | "development-adversaries" | "held-out-adversaries" | "trajectory";
+                readonly outcome: "pass" | "fail";
+                readonly detail: string;
+                readonly evidenceIds: readonly string[];
+            }[];
+            readonly coverageGaps: readonly string[];
+            readonly correlatedAssumptions: readonly string[];
+        };
+        modelCalls: {
+            readonly reasoningEffort: "high" | "medium" | "low" | "xhigh" | "max" | "ultra";
+            readonly role: "oracle-critic" | "repository-analyst" | "specification-writer" | "specification-critic-a" | "specification-critic-b" | "trajectory-designer" | "trajectory-critic" | "oracle-designer" | "valid-solution-generator-a" | "valid-solution-generator-b" | "adversary" | "solution-critic-a" | "solution-critic-b" | "held-out-adversary" | "held-out-solution-critic-a" | "held-out-solution-critic-b" | "quality-reviewer" | "hill-climb-planner";
+            readonly model: string;
+            readonly operationId: string;
+            readonly callId?: string | undefined;
+        }[];
+        version: 1;
+        trajectoryPolicy: import("../../repository-trajectory-protocol.js").RepositoryTrajectoryPolicyV1;
+        authored: import("../case-authoring/service.js").RepositoryModelAuthoredCaseSpecificationV1;
+        benchmarkCase: import("../../repository-benchmark-protocol.js").RepositoryBenchmarkCaseV1;
+        weakAdequacy: import("../../repository-oracle-protocol.js").RepositoryOracleAdequacyReportV1;
+        fixtureProposal: import("../case-generation/service.js").RepositoryFixtureProposalV1;
+        sourceContext?: {
+            readonly initialCommit: string;
+            readonly referenceCommit: string;
+            readonly initialSupportingPaths: readonly string[];
+            readonly referenceSupportingPaths: readonly string[];
+        };
+        initialFixtureProposal: import("../case-generation/service.js").RepositoryFixtureProposalV1;
+        oracleCoverageReviews?: readonly {
+            readonly phase: "initial" | "before-freeze";
+            readonly revision: number;
+            readonly review: import("../../repository-oracle-coverage-protocol.js").RepositoryOracleCoverageReviewV1;
+            readonly executionAssessment?: {
+                readonly kind: "resolved-by-execution";
+                readonly witnesses: readonly import("../oracle-coverage-witness/service.js").RepositoryOracleCoverageWitnessV1[];
+            };
+        }[];
+        oracleCoverageWitnessRevisions?: readonly {
+            readonly sequence: number;
+            readonly decision: "accepted" | "rejected";
+            readonly revisions: readonly import("../oracle-coverage-witness/service.js").RepositoryOracleCoverageWitnessRevisionV1[];
+        }[];
+        trajectoryPolicyReview: import("../trajectory-policy/service.js").RepositoryTrajectoryPolicyReviewV1;
+        trajectoryRevisionAttempts: readonly import("../trajectory-policy/service.js").RepositoryTrajectoryRevisionAttemptV1[];
+        validSolutionProposal: import("../case-generation/service.js").RepositorySolutionProposalV1;
+        adversaryProposal: import("../case-generation/service.js").RepositorySolutionProposalV1;
+        solutionReviews: readonly [import("../case-generation/service.js").RepositorySolutionReviewProposalV1, import("../case-generation/service.js").RepositorySolutionReviewProposalV1];
+        heldOutAdversaryProposal: import("../case-generation/service.js").RepositorySolutionProposalV1;
+        heldOutSolutionReviews: readonly [import("../case-generation/service.js").RepositorySolutionReviewProposalV1, import("../case-generation/service.js").RepositorySolutionReviewProposalV1];
+        heldOutAdequacy: import("../../repository-oracle-protocol.js").RepositoryOracleAdequacyReportV1;
+        hillClimbAttempts: readonly import("../case-generation/service.js").RepositoryHillClimbAttemptV1[];
+        heldOutOracle: import("../../repository-oracle-protocol.js").RepositoryHiddenOracleV1;
+    };
+}, RepositoryFoundryError, RepositoryFoundryLanguageModel>;
+export declare const reconstructHistoricalRepositoryCaseCheckpointV1: (input: {
+    readonly plan: RepositoryFoundryGenerationPlanV1;
+}) => Effect.Effect<{
+    version: 1;
+    plan: {
+        readonly version: 1;
+        readonly caseId: string;
+        readonly repository: {
+            readonly root: string;
+            readonly requestedRef: string;
+            readonly commit: string;
+            readonly tree: string;
+        };
+        readonly referenceCommit: string;
+        readonly seedId: string;
+        readonly modelPlan: {
+            readonly version: 1;
+            readonly assignments: readonly {
+                readonly role: "oracle-critic" | "repository-analyst" | "specification-writer" | "specification-critic-a" | "specification-critic-b" | "trajectory-designer" | "trajectory-critic" | "oracle-designer" | "valid-solution-generator-a" | "valid-solution-generator-b" | "adversary" | "solution-critic-a" | "solution-critic-b" | "held-out-adversary" | "held-out-solution-critic-a" | "held-out-solution-critic-b" | "quality-reviewer" | "hill-climb-planner";
+                readonly model: string;
+                readonly reasoningEffort: "high" | "medium" | "low" | "xhigh" | "max" | "ultra";
+            }[];
+        };
+        readonly budget: {
+            readonly wallTimeMs: number;
+            readonly requiredTotalInputTokens: number;
+            readonly requiredTotalOutputTokens: number;
+            readonly plannedModelCalls: number;
+            readonly maximumTransientRetries: number;
+            readonly maximumHillClimbAttempts: number;
+            readonly perCallOutputTokens: number;
+            readonly maximumSpecificationRevisions?: number | undefined;
+            readonly maximumOracleCoverageRevisions?: number | undefined;
+            readonly maximumFixtureRepairAttempts?: number | undefined;
+        };
+        readonly qualification: {
+            readonly batches: number;
+            readonly repetitionsPerBatch: number;
+            readonly oracleRepetitions: number;
+            readonly oracleConcurrency?: number | undefined;
+        };
+        readonly planDigest: string;
+        readonly initialCommit: string;
+        readonly reviewInputVersion?: 2 | undefined;
+        readonly requestedDimension?: string | undefined;
+        readonly excludedReferenceCommits?: readonly string[] | undefined;
+        readonly historyProvenance?: {
+            readonly method: "integrated-retained-history-v1";
+            readonly requestedRef: string;
+            readonly requestedTipCommit: string;
+            readonly requestedTipTree: string;
+            readonly integrationCommit: string;
+            readonly pathBlobs: readonly {
+                readonly path: string;
+                readonly blob: string;
+            }[];
+        } | undefined;
+        readonly validControlRegenerationSequence?: number | undefined;
+        readonly validControlReviewVersion?: 1 | 2 | undefined;
+        readonly dependencyContextVersion?: 1 | 2 | undefined;
+        readonly oracleCoverageWitnessVersion?: 1 | 2 | undefined;
+        readonly oracleCoverageWitnessRepairVersion?: 1 | undefined;
+        readonly oracleRepairFeedbackVersion?: 1 | undefined;
+        readonly specificationContractFactsVersion?: 1 | undefined;
+    };
+    qualification: {
+        readonly seed: {
+            readonly id: string;
+            readonly source: {
+                readonly kind: "historical-fix";
+                readonly changeEpisodeId: string;
+            } | {
+                readonly kind: "historical-feature";
+                readonly changeEpisodeId: string;
+            } | {
+                readonly kind: "historical-refactor";
+                readonly changeEpisodeId: string;
+            } | {
+                readonly kind: "existing-test";
+                readonly testIds: readonly string[];
+            } | {
+                readonly kind: "public-api";
+                readonly surfaceIds: readonly string[];
+            } | {
+                readonly kind: "schema-contract";
+                readonly protocolIds: readonly string[];
+            } | {
+                readonly kind: "production-request";
+                readonly requestId: string;
+            } | {
+                readonly kind: "reviewed-synthetic-gap";
+                readonly reviewId: string;
+            };
+            readonly version: 1;
+            readonly rejectionReasons: readonly string[];
+            readonly confidence: "high" | "medium" | "review-required";
+            readonly status: "candidate" | "qualified" | "rejected";
+            readonly capabilityEvidence: readonly {
+                readonly kind: "symbol" | "package" | "public-surface" | "protocol" | "schema" | "test" | "command" | "history-episode" | "workload-signal" | "documentation";
+                readonly id: string;
+                readonly path?: string | undefined;
+            }[];
+            readonly initialState: {
+                readonly commit: string;
+                readonly parentCommit?: string | undefined;
+            };
+            readonly targetBehavior: readonly {
+                readonly id: string;
+                readonly description: string;
+                readonly critical: boolean;
+                readonly evidence: readonly {
+                    readonly kind: "symbol" | "package" | "public-surface" | "protocol" | "schema" | "test" | "command" | "history-episode" | "workload-signal" | "documentation";
+                    readonly id: string;
+                    readonly path?: string | undefined;
+                }[];
+            }[];
+            readonly baselineObservations: readonly {
+                readonly id: string;
+                readonly kind: "test-command" | "property" | "schema" | "event-trace" | "structural";
+                readonly subjectId: string;
+                readonly outcome: "pass" | "fail" | "unknown";
+                readonly detail: string;
+            }[];
+            readonly preChangeObservations: readonly {
+                readonly id: string;
+                readonly kind: "test-command" | "property" | "schema" | "event-trace" | "structural";
+                readonly subjectId: string;
+                readonly outcome: "pass" | "fail" | "unknown";
+                readonly detail: string;
+            }[];
+            readonly postChangeObservations: readonly {
+                readonly id: string;
+                readonly kind: "test-command" | "property" | "schema" | "event-trace" | "structural";
+                readonly subjectId: string;
+                readonly outcome: "pass" | "fail" | "unknown";
+                readonly detail: string;
+            }[];
+            readonly candidateTestIds: readonly string[];
+            readonly risks: readonly ("review-required" | "external-service" | "ambiguous-intent" | "bundled-change" | "flaky-baseline" | "reference-only-oracle" | "weak-test-delta" | "unrealistic-mutation" | "private-context" | "cross-batch-instability")[];
+            readonly summary: string;
+            readonly environment: {
+                readonly protectedControlPaths: readonly string[];
+                readonly trustedPreparationRecipes: readonly {
+                    readonly id: string;
+                    readonly kind: "schema" | "test" | "build" | "check" | "custom";
+                    readonly cwd: string;
+                    readonly executable: string;
+                    readonly args: readonly string[];
+                    readonly timeoutMs: number;
+                }[];
+                readonly candidateValidationRecipes: readonly {
+                    readonly id: string;
+                    readonly kind: "schema" | "test" | "build" | "check" | "custom";
+                    readonly cwd: string;
+                    readonly executable: string;
+                    readonly args: readonly string[];
+                    readonly timeoutMs: number;
+                }[];
+                readonly baselineGradeRecipes: readonly {
+                    readonly id: string;
+                    readonly kind: "schema" | "test" | "build" | "check" | "custom";
+                    readonly cwd: string;
+                    readonly executable: string;
+                    readonly args: readonly string[];
+                    readonly timeoutMs: number;
+                }[];
+                readonly gradeRecipes: readonly {
+                    readonly id: string;
+                    readonly kind: "schema" | "test" | "build" | "check" | "custom";
+                    readonly cwd: string;
+                    readonly executable: string;
+                    readonly args: readonly string[];
+                    readonly timeoutMs: number;
+                }[];
+                readonly packageManager?: {
+                    readonly name: "pnpm";
+                    readonly version: string;
+                } | undefined;
+                readonly lockfilePath?: string | undefined;
+            };
+            readonly referenceCommit?: string | undefined;
+        };
+        readonly stability: {
+            readonly version: 1;
+            readonly seedId: string;
+            readonly batchesRequired: number;
+            readonly repetitionsPerBatch: number;
+            readonly stable: boolean;
+            readonly batches: readonly {
+                readonly batch: number;
+                readonly status: "qualified" | "rejected";
+                readonly phaseSignatures: readonly {
+                    readonly phase: "baseline" | "pre-change" | "post-change";
+                    readonly signatures: readonly string[];
+                }[];
+                readonly rejectionReasons: readonly string[];
+            }[];
+            readonly divergentPhases: readonly ("baseline" | "pre-change" | "post-change")[];
+            readonly failureSignatures: readonly {
+                readonly signature: string;
+                readonly count: number;
+            }[];
+            readonly rejectionReasons: readonly string[];
+        };
+    };
+    checkpoint: import("../case-generation/service.js").RepositoryGeneratedCaseCheckpointV1;
+}, RepositoryFoundryError, RepositoryFoundryLanguageModel>;
+export declare const makeRepositoryFoundry: Effect.Effect<RepositoryFoundryShape, never, RepositoryFoundryLanguageModel>;
+export declare const RepositoryFoundryLive: Layer.Layer<RepositoryFoundry, never, RepositoryFoundryLanguageModel>;
+export {};