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

package/dist/services/historical-case/service.d.ts

@@ -0,0 +1,722 @@
+import { Context, Effect, Layer } from "effect";
+import { RepositoryFoundryError } from "../../errors.js";
+import type { RepositoryBehaviorMapV1 } from "../../repository-behavior-protocol.js";
+import type { RepositoryBenchmarkCaseV1, RepositoryCandidateVisibleTaskV1 } from "../../repository-benchmark-protocol.js";
+import type { RepositoryHiddenFixtureSuiteV1 } from "../../repository-fixture-protocol.js";
+import type { RepositoryHiddenOracleV1, RepositoryOracleAdequacyReportV1 } from "../../repository-oracle-protocol.js";
+import type { RepositorySpecificationCritiqueV1, RepositorySpecificationReviewV1 } from "../../repository-specification-critique-protocol.js";
+import type { RepositoryTaskFamilyV1 } from "../../repository-task-family-protocol.js";
+import type { RepositoryTaskSeedV1 } from "../../repository-task-seed-protocol.js";
+import { type RepositoryTrajectoryPolicyV1 } from "../../repository-trajectory-protocol.js";
+import { type RepositoryExecutableSolutionV1, type RepositoryStructuralOracleClauseV1 } from "../oracle-builder/service.js";
+export type RepositoryHistoricalWeakOracleTrialV1 = {
+    readonly fixtureSuite?: RepositoryHiddenFixtureSuiteV1;
+    readonly solutions: readonly RepositoryExecutableSolutionV1[];
+    readonly expectedFalseAcceptedSolutionIds: readonly string[];
+};
+export type RepositoryReviewedHistoricalCaseBlueprintV1 = {
+    readonly caseId: string;
+    readonly requestedDimension?: string;
+    readonly visible: RepositoryCandidateVisibleTaskV1;
+    readonly specificationReviews: readonly RepositorySpecificationReviewV1[];
+    readonly finalFixtureSuite: RepositoryHiddenFixtureSuiteV1;
+    readonly solutions: readonly RepositoryExecutableSolutionV1[];
+    readonly trajectoryPolicy?: RepositoryTrajectoryPolicyV1;
+    readonly weakOracleTrial?: RepositoryHistoricalWeakOracleTrialV1;
+    readonly structuralClauses?: readonly RepositoryStructuralOracleClauseV1[];
+    readonly oracleRepetitions?: number;
+    readonly oracleConcurrency?: number;
+};
+export type RepositoryReviewedHistoricalCaseResultV1 = {
+    readonly seed: RepositoryTaskSeedV1;
+    readonly family: RepositoryTaskFamilyV1;
+    readonly specificationCritique: RepositorySpecificationCritiqueV1;
+    readonly weakOracle?: RepositoryHiddenOracleV1;
+    readonly weakAdequacy?: RepositoryOracleAdequacyReportV1;
+    readonly hidden: RepositoryHiddenOracleV1;
+    readonly benchmarkCase: RepositoryBenchmarkCaseV1;
+};
+export type HistoricalCaseShape = {
+    readonly compileReviewed: (input: {
+        readonly repositoryRoot: string;
+        readonly map: RepositoryBehaviorMapV1;
+        readonly seed: RepositoryTaskSeedV1;
+        readonly blueprint: RepositoryReviewedHistoricalCaseBlueprintV1;
+    }) => Effect.Effect<RepositoryReviewedHistoricalCaseResultV1, RepositoryFoundryError>;
+};
+declare const HistoricalCase_base: Context.ServiceClass<HistoricalCase, "@velum-labs/routekit-eval-setup/HistoricalCase", HistoricalCaseShape>;
+export declare class HistoricalCase extends HistoricalCase_base {
+}
+export declare const compileReviewedHistoricalCaseV1: (input: {
+    readonly repositoryRoot: string;
+    readonly map: RepositoryBehaviorMapV1;
+    readonly seed: RepositoryTaskSeedV1;
+    readonly blueprint: RepositoryReviewedHistoricalCaseBlueprintV1;
+}) => Effect.Effect<{
+    hidden: {
+        readonly version: 1;
+        readonly fixtures: readonly ({
+            readonly kind: "historical-regression";
+            readonly expectationMode: "changes";
+            readonly id: string;
+            readonly description: string;
+            readonly expectedBehavior: string;
+            readonly source: "historical" | "generated" | "reviewed";
+            readonly testPath: string;
+        } | {
+            readonly kind: "boundary";
+            readonly expectationMode: "changes" | "preserved";
+            readonly id: string;
+            readonly description: string;
+            readonly expectedBehavior: string;
+            readonly source: "historical" | "generated" | "reviewed";
+            readonly testPath: string;
+        } | {
+            readonly kind: "counterfactual";
+            readonly expectationMode: "changes";
+            readonly id: string;
+            readonly description: string;
+            readonly expectedBehavior: string;
+            readonly source: "historical" | "generated" | "reviewed";
+            readonly testPath: string;
+        } | {
+            readonly kind: "metamorphic";
+            readonly expectationMode: "preserved";
+            readonly id: string;
+            readonly description: string;
+            readonly expectedBehavior: string;
+            readonly source: "historical" | "generated" | "reviewed";
+            readonly testPath: string;
+        })[];
+        readonly caseId: string;
+        readonly hardFailurePolicy: "any-critical-hard-clause-fails";
+        readonly clauses: readonly ({
+            readonly kind: "candidate-policy";
+            readonly policyId: string;
+            readonly forbiddenPaths: readonly string[];
+            readonly id: string;
+            readonly critical: boolean;
+            readonly description: string;
+        } | {
+            readonly kind: "test-command";
+            readonly recipeId: string;
+            readonly expectedExitCode: number;
+            readonly fixtureIds: readonly string[];
+            readonly id: string;
+            readonly critical: boolean;
+            readonly description: string;
+        } | {
+            readonly kind: "json-field";
+            readonly id: string;
+            readonly description: string;
+            readonly critical: boolean;
+            readonly operator: "equals" | "present" | "absent";
+            readonly pointer: string;
+            readonly expectedJson?: string | undefined;
+        } | {
+            readonly kind: "ordered-events";
+            readonly id: string;
+            readonly description: string;
+            readonly critical: boolean;
+            readonly eventTypes: readonly string[];
+            readonly terminalEvent?: string | undefined;
+        } | {
+            readonly kind: "property";
+            readonly propertyId: string;
+            readonly fixtureIds: readonly string[];
+            readonly id: string;
+            readonly critical: boolean;
+            readonly description: string;
+        } | {
+            readonly kind: "differential";
+            readonly implementationIds: readonly string[];
+            readonly fixtureIds: readonly string[];
+            readonly id: string;
+            readonly critical: boolean;
+            readonly description: string;
+        } | {
+            readonly kind: "architecture";
+            readonly ruleId: string;
+            readonly expectedPaths: readonly string[];
+            readonly id: string;
+            readonly critical: boolean;
+            readonly description: string;
+        } | {
+            readonly kind: "transformation-completeness";
+            readonly ruleId: string;
+            readonly forbiddenLegacyPaths: readonly string[];
+            readonly requiredNewPaths: readonly string[];
+            readonly id: string;
+            readonly critical: boolean;
+            readonly description: string;
+        } | {
+            readonly kind: "semantic-residual";
+            readonly criterion: string;
+            readonly id: string;
+            readonly critical: boolean;
+            readonly description: string;
+        })[];
+        readonly solutions: readonly {
+            readonly kind: "historical-reference" | "independent-valid" | "simplified-valid" | "behavior-preserving-valid" | "historical-defect" | "mutation" | "model-near-miss" | "reward-hacking";
+            readonly id: string;
+            readonly expectedClass: "valid" | "wrong";
+            readonly family: string;
+            readonly commit?: string | undefined;
+        }[];
+        readonly observations: readonly {
+            readonly outcome: "pass" | "fail" | "unknown";
+            readonly solutionId: string;
+            readonly clauseId: string;
+            readonly repetition: number;
+            readonly detail: string;
+            readonly inconclusiveReason?: "unattributed-test-failure" | undefined;
+        }[];
+        readonly knownLimitations: readonly string[];
+        readonly executionBindingDigest?: string | undefined;
+        readonly executionRepetitions?: number | undefined;
+    };
+    benchmarkCase: {
+        readonly id: string;
+        readonly version: 1;
+        readonly rejectionReasons: readonly string[];
+        readonly status: "rejected" | "valid-library" | "routing-eligible" | "routing-active";
+        readonly seedId: string;
+        readonly lane: "request" | "repository-agent";
+        readonly qualityFindings: readonly {
+            readonly axis: "coverage" | "stability" | "authenticity" | "specification-sufficiency" | "oracle-adequacy" | "distinctness" | "realism" | "leakage" | "triviality";
+            readonly outcome: "pass" | "fail" | "review-required";
+            readonly detail: string;
+            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 evidenceIds: readonly string[];
+        }[];
+        readonly capabilityId: string;
+        readonly familyId: string;
+        readonly visible: {
+            readonly lane: "request";
+            readonly id: string;
+            readonly request: {
+                readonly endpoint: "chat" | "responses" | "anthropic";
+                readonly method: "POST";
+                readonly path: string;
+                readonly headers: readonly {
+                    readonly name: string;
+                    readonly value: string;
+                }[];
+                readonly bodyJson: string;
+            };
+        } | {
+            readonly lane: "repository-agent";
+            readonly id: string;
+            readonly requestText: string;
+            readonly checkoutCommit: string;
+            readonly allowedTools: readonly ("test" | "read" | "search" | "edit" | "shell")[];
+            readonly constraints: readonly string[];
+        };
+        readonly hidden: {
+            readonly version: 1;
+            readonly fixtures: readonly ({
+                readonly kind: "historical-regression";
+                readonly expectationMode: "changes";
+                readonly id: string;
+                readonly description: string;
+                readonly expectedBehavior: string;
+                readonly source: "historical" | "generated" | "reviewed";
+                readonly testPath: string;
+            } | {
+                readonly kind: "boundary";
+                readonly expectationMode: "changes" | "preserved";
+                readonly id: string;
+                readonly description: string;
+                readonly expectedBehavior: string;
+                readonly source: "historical" | "generated" | "reviewed";
+                readonly testPath: string;
+            } | {
+                readonly kind: "counterfactual";
+                readonly expectationMode: "changes";
+                readonly id: string;
+                readonly description: string;
+                readonly expectedBehavior: string;
+                readonly source: "historical" | "generated" | "reviewed";
+                readonly testPath: string;
+            } | {
+                readonly kind: "metamorphic";
+                readonly expectationMode: "preserved";
+                readonly id: string;
+                readonly description: string;
+                readonly expectedBehavior: string;
+                readonly source: "historical" | "generated" | "reviewed";
+                readonly testPath: string;
+            })[];
+            readonly caseId: string;
+            readonly hardFailurePolicy: "any-critical-hard-clause-fails";
+            readonly clauses: readonly ({
+                readonly kind: "candidate-policy";
+                readonly policyId: string;
+                readonly forbiddenPaths: readonly string[];
+                readonly id: string;
+                readonly critical: boolean;
+                readonly description: string;
+            } | {
+                readonly kind: "test-command";
+                readonly recipeId: string;
+                readonly expectedExitCode: number;
+                readonly fixtureIds: readonly string[];
+                readonly id: string;
+                readonly critical: boolean;
+                readonly description: string;
+            } | {
+                readonly kind: "json-field";
+                readonly id: string;
+                readonly description: string;
+                readonly critical: boolean;
+                readonly operator: "equals" | "present" | "absent";
+                readonly pointer: string;
+                readonly expectedJson?: string | undefined;
+            } | {
+                readonly kind: "ordered-events";
+                readonly id: string;
+                readonly description: string;
+                readonly critical: boolean;
+                readonly eventTypes: readonly string[];
+                readonly terminalEvent?: string | undefined;
+            } | {
+                readonly kind: "property";
+                readonly propertyId: string;
+                readonly fixtureIds: readonly string[];
+                readonly id: string;
+                readonly critical: boolean;
+                readonly description: string;
+            } | {
+                readonly kind: "differential";
+                readonly implementationIds: readonly string[];
+                readonly fixtureIds: readonly string[];
+                readonly id: string;
+                readonly critical: boolean;
+                readonly description: string;
+            } | {
+                readonly kind: "architecture";
+                readonly ruleId: string;
+                readonly expectedPaths: readonly string[];
+                readonly id: string;
+                readonly critical: boolean;
+                readonly description: string;
+            } | {
+                readonly kind: "transformation-completeness";
+                readonly ruleId: string;
+                readonly forbiddenLegacyPaths: readonly string[];
+                readonly requiredNewPaths: readonly string[];
+                readonly id: string;
+                readonly critical: boolean;
+                readonly description: string;
+            } | {
+                readonly kind: "semantic-residual";
+                readonly criterion: string;
+                readonly id: string;
+                readonly critical: boolean;
+                readonly description: string;
+            })[];
+            readonly solutions: readonly {
+                readonly kind: "historical-reference" | "independent-valid" | "simplified-valid" | "behavior-preserving-valid" | "historical-defect" | "mutation" | "model-near-miss" | "reward-hacking";
+                readonly id: string;
+                readonly expectedClass: "valid" | "wrong";
+                readonly family: string;
+                readonly commit?: string | undefined;
+            }[];
+            readonly observations: readonly {
+                readonly outcome: "pass" | "fail" | "unknown";
+                readonly solutionId: string;
+                readonly clauseId: string;
+                readonly repetition: number;
+                readonly detail: string;
+                readonly inconclusiveReason?: "unattributed-test-failure" | undefined;
+            }[];
+            readonly knownLimitations: readonly string[];
+            readonly executionBindingDigest?: string | undefined;
+            readonly executionRepetitions?: number | undefined;
+        };
+        readonly adequacy: {
+            readonly version: 1;
+            readonly caseId: string;
+            readonly admitted: boolean;
+            readonly validSolutionCount: number;
+            readonly wrongSolutionCount: number;
+            readonly falseRejectedSolutionIds: readonly string[];
+            readonly falseAcceptedSolutionIds: readonly string[];
+            readonly unstableSolutionIds: readonly string[];
+            readonly unobservedClauseIds: readonly string[];
+            readonly insufficientObservationPairs: readonly string[];
+            readonly mutationFamilyKills: readonly {
+                readonly family: string;
+                readonly killed: number;
+                readonly total: number;
+            }[];
+            readonly rejectionReasons: readonly string[];
+        };
+        readonly behavioralFingerprint: string;
+        readonly trajectoryPolicy?: {
+            readonly version: 1;
+            readonly caseId: string;
+            readonly purpose: "routing-signal";
+            readonly validationRecipeIds: readonly string[];
+            readonly protectedPaths: readonly string[];
+            readonly thresholds: {
+                readonly maximumToolCalls: number;
+                readonly maximumFailedToolCalls: number;
+                readonly maximumRepeatedFailedActions: number;
+            };
+            readonly requirements: {
+                readonly passingValidationAfterLastMutation: boolean;
+                readonly noProtectedPathMutations: boolean;
+            };
+            readonly rationale: string;
+        } | undefined;
+    };
+    weakAdequacy?: {
+        readonly version: 1;
+        readonly caseId: string;
+        readonly admitted: boolean;
+        readonly validSolutionCount: number;
+        readonly wrongSolutionCount: number;
+        readonly falseRejectedSolutionIds: readonly string[];
+        readonly falseAcceptedSolutionIds: readonly string[];
+        readonly unstableSolutionIds: readonly string[];
+        readonly unobservedClauseIds: readonly string[];
+        readonly insufficientObservationPairs: readonly string[];
+        readonly mutationFamilyKills: readonly {
+            readonly family: string;
+            readonly killed: number;
+            readonly total: number;
+        }[];
+        readonly rejectionReasons: readonly string[];
+    } | undefined;
+    weakOracle?: {
+        readonly version: 1;
+        readonly fixtures: readonly ({
+            readonly kind: "historical-regression";
+            readonly expectationMode: "changes";
+            readonly id: string;
+            readonly description: string;
+            readonly expectedBehavior: string;
+            readonly source: "historical" | "generated" | "reviewed";
+            readonly testPath: string;
+        } | {
+            readonly kind: "boundary";
+            readonly expectationMode: "changes" | "preserved";
+            readonly id: string;
+            readonly description: string;
+            readonly expectedBehavior: string;
+            readonly source: "historical" | "generated" | "reviewed";
+            readonly testPath: string;
+        } | {
+            readonly kind: "counterfactual";
+            readonly expectationMode: "changes";
+            readonly id: string;
+            readonly description: string;
+            readonly expectedBehavior: string;
+            readonly source: "historical" | "generated" | "reviewed";
+            readonly testPath: string;
+        } | {
+            readonly kind: "metamorphic";
+            readonly expectationMode: "preserved";
+            readonly id: string;
+            readonly description: string;
+            readonly expectedBehavior: string;
+            readonly source: "historical" | "generated" | "reviewed";
+            readonly testPath: string;
+        })[];
+        readonly caseId: string;
+        readonly hardFailurePolicy: "any-critical-hard-clause-fails";
+        readonly clauses: readonly ({
+            readonly kind: "candidate-policy";
+            readonly policyId: string;
+            readonly forbiddenPaths: readonly string[];
+            readonly id: string;
+            readonly critical: boolean;
+            readonly description: string;
+        } | {
+            readonly kind: "test-command";
+            readonly recipeId: string;
+            readonly expectedExitCode: number;
+            readonly fixtureIds: readonly string[];
+            readonly id: string;
+            readonly critical: boolean;
+            readonly description: string;
+        } | {
+            readonly kind: "json-field";
+            readonly id: string;
+            readonly description: string;
+            readonly critical: boolean;
+            readonly operator: "equals" | "present" | "absent";
+            readonly pointer: string;
+            readonly expectedJson?: string | undefined;
+        } | {
+            readonly kind: "ordered-events";
+            readonly id: string;
+            readonly description: string;
+            readonly critical: boolean;
+            readonly eventTypes: readonly string[];
+            readonly terminalEvent?: string | undefined;
+        } | {
+            readonly kind: "property";
+            readonly propertyId: string;
+            readonly fixtureIds: readonly string[];
+            readonly id: string;
+            readonly critical: boolean;
+            readonly description: string;
+        } | {
+            readonly kind: "differential";
+            readonly implementationIds: readonly string[];
+            readonly fixtureIds: readonly string[];
+            readonly id: string;
+            readonly critical: boolean;
+            readonly description: string;
+        } | {
+            readonly kind: "architecture";
+            readonly ruleId: string;
+            readonly expectedPaths: readonly string[];
+            readonly id: string;
+            readonly critical: boolean;
+            readonly description: string;
+        } | {
+            readonly kind: "transformation-completeness";
+            readonly ruleId: string;
+            readonly forbiddenLegacyPaths: readonly string[];
+            readonly requiredNewPaths: readonly string[];
+            readonly id: string;
+            readonly critical: boolean;
+            readonly description: string;
+        } | {
+            readonly kind: "semantic-residual";
+            readonly criterion: string;
+            readonly id: string;
+            readonly critical: boolean;
+            readonly description: string;
+        })[];
+        readonly solutions: readonly {
+            readonly kind: "historical-reference" | "independent-valid" | "simplified-valid" | "behavior-preserving-valid" | "historical-defect" | "mutation" | "model-near-miss" | "reward-hacking";
+            readonly id: string;
+            readonly expectedClass: "valid" | "wrong";
+            readonly family: string;
+            readonly commit?: string | undefined;
+        }[];
+        readonly observations: readonly {
+            readonly outcome: "pass" | "fail" | "unknown";
+            readonly solutionId: string;
+            readonly clauseId: string;
+            readonly repetition: number;
+            readonly detail: string;
+            readonly inconclusiveReason?: "unattributed-test-failure" | undefined;
+        }[];
+        readonly knownLimitations: readonly string[];
+        readonly executionBindingDigest?: string | undefined;
+        readonly executionRepetitions?: number | undefined;
+    } | undefined;
+    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;
+    };
+    family: {
+        readonly version: 1;
+        readonly id: string;
+        readonly capabilityId: string;
+        readonly jobStatement: string;
+        readonly lane: "request" | "repository-agent";
+        readonly seedIds: readonly string[];
+        readonly inputStateFacets: readonly string[];
+        readonly requestedChangeFacets: readonly string[];
+        readonly observableFacets: readonly string[];
+        readonly admissibleSolutionPolicy: "behavior-equivalent" | "behavior-and-structure" | "exact-artifact";
+        readonly fixtureAxes: readonly string[];
+        readonly adversaryFamilies: readonly string[];
+        readonly excludedNearMisses: readonly string[];
+        readonly repositoryCoverage: readonly {
+            readonly kind: "symbol" | "package" | "public-surface" | "protocol" | "schema" | "test" | "command" | "history-episode" | "workload-signal" | "documentation";
+            readonly id: string;
+            readonly path?: string | undefined;
+        }[];
+        readonly confidence: "high" | "medium" | "review-required";
+    };
+    specificationCritique: {
+        readonly version: 1;
+        readonly caseId: string;
+        readonly outcome: "pass" | "fail" | "review-required";
+        readonly mechanicalFindings: readonly {
+            readonly axis: "missing-precondition" | "unavailable-context" | "multiple-interpretations" | "hidden-answer-leakage" | "unrealistic-phrasing" | "unsupported-assumption";
+            readonly severity: "warning" | "blocker";
+            readonly detail: string;
+        }[];
+        readonly reviews: readonly {
+            readonly detail: string;
+            readonly findings: readonly {
+                readonly axis: "missing-precondition" | "unavailable-context" | "multiple-interpretations" | "hidden-answer-leakage" | "unrealistic-phrasing" | "unsupported-assumption";
+                readonly severity: "warning" | "blocker";
+                readonly detail: string;
+            }[];
+            readonly verdict: "sufficient" | "insufficient";
+            readonly reviewerId: string;
+            readonly independentlyProduced: boolean;
+            readonly reviewerKind: "independent-solver" | "human-reviewer" | "model-critic";
+            readonly criticalBehaviorCoverage?: readonly {
+                readonly behaviorId: string;
+                readonly outcome: "covered" | "uncertain" | "omitted";
+                readonly detail: string;
+            }[] | undefined;
+            readonly dimensionFit?: {
+                readonly requestedDimension: string;
+                readonly outcome: "uncertain" | "fit" | "mismatch";
+                readonly detail: string;
+                readonly evidencePaths: readonly string[];
+            } | undefined;
+            readonly referenceCompatibility?: {
+                readonly outcome: "uncertain" | "contradictory" | "compatible";
+                readonly detail: string;
+                readonly scopeCoverage: readonly {
+                    readonly scopeId: string;
+                    readonly outcome: "supported" | "uncertain" | "contradictory";
+                    readonly detail: string;
+                    readonly evidence: readonly {
+                        readonly sourceId: string;
+                        readonly startLine: number;
+                        readonly endLine: number;
+                    }[];
+                }[];
+                readonly questionResolutions?: readonly {
+                    readonly outcome: "unresolved" | "answered" | "not-required";
+                    readonly detail: string;
+                    readonly evidence: readonly {
+                        readonly sourceId: string;
+                        readonly startLine: number;
+                        readonly endLine: number;
+                    }[];
+                    readonly affectedScopeIds: readonly string[];
+                    readonly questionId: string;
+                    readonly visibleScopeExclusion?: {
+                        readonly quotation: string;
+                        readonly rationale: string;
+                    } | undefined;
+                }[] | undefined;
+            } | undefined;
+        }[];
+        readonly independentApprovalCount: number;
+        readonly rejectionReasons: readonly string[];
+    };
+}, RepositoryFoundryError, never>;
+export declare const makeHistoricalCase: Effect.Effect<HistoricalCaseShape, never, never>;
+export declare const HistoricalCaseLive: Layer.Layer<HistoricalCase, never, never>;
+export {};