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

package/dist/repository-semantic-calibration-protocol.d.ts

@@ -0,0 +1,768 @@
+import { Schema } from "effect";
+export declare const REPOSITORY_SEMANTIC_CALIBRATION_POLICY_VERSION: 1;
+export declare const REPOSITORY_SEMANTIC_CALIBRATION_MAXIMUM_EXAMPLES = 32;
+export declare const REPOSITORY_SEMANTIC_CALIBRATION_MAXIMUM_REPETITIONS = 5;
+/** Declared before execution; these are not admission policy or a computed pass. */
+export declare const RepositorySemanticCalibrationThresholdsV1: Schema.Struct<{
+    readonly minimumScenarios: Schema.Finite;
+    readonly minimumValidControls: Schema.Finite;
+    readonly minimumWrongControls: Schema.Finite;
+    readonly maximumFalseValidRate: Schema.Finite;
+    readonly maximumFalseWrongRate: Schema.Finite;
+    readonly maximumUncertaintyRate: Schema.Finite;
+    readonly maximumInstabilityRate: Schema.Finite;
+    readonly requireCompleteExecution: Schema.Literal<true>;
+}>;
+export type RepositorySemanticCalibrationThresholdsV1 = typeof RepositorySemanticCalibrationThresholdsV1.Type;
+/**
+ * Whitelisted source-only context, shaped like the normal generation packet.
+ * There is no arbitrary metadata bag into which adjudications can be copied.
+ */
+export declare const RepositorySemanticCalibrationInputV1: Schema.Struct<{
+    readonly requestedDimension: Schema.optionalKey<Schema.String>;
+    readonly repositoryEnvironment: Schema.Struct<{
+        readonly commit: Schema.String;
+        readonly sources: Schema.$Array<Schema.Struct<{
+            readonly path: Schema.String;
+            readonly content: Schema.String;
+        }>>;
+        readonly localImports: Schema.Struct<{
+            readonly commit: Schema.String;
+            readonly sources: Schema.$Array<Schema.Struct<{
+                readonly path: Schema.String;
+                readonly content: Schema.String;
+            }>>;
+            readonly omitted: Schema.$Array<Schema.Struct<{
+                readonly path: Schema.String;
+                readonly reason: Schema.Literals<readonly ["file-size", "total-size", "file-count", "depth"]>;
+            }>>;
+            readonly unresolved: Schema.$Array<Schema.Struct<{
+                readonly from: Schema.String;
+                readonly specifier: Schema.String;
+            }>>;
+            readonly dependencyContextVersion: Schema.optionalKey<Schema.Literals<readonly [1, 2]>>;
+            readonly dependencies: Schema.optionalKey<Schema.$Array<Schema.Struct<{
+                readonly from: Schema.String;
+                readonly specifier: Schema.String;
+                readonly symbols: Schema.Union<readonly [Schema.$Array<Schema.String>, Schema.Null]>;
+                readonly resolution: Schema.Literals<readonly ["resolved", "external", "unsupported", "unresolved"]>;
+                readonly paths: Schema.$Array<Schema.String>;
+            }>>>;
+        }>;
+    }>;
+    readonly behavioralScope: Schema.optionalKey<Schema.$Array<Schema.Struct<{
+        readonly id: Schema.String;
+        readonly kind: Schema.Literals<readonly ["changed", "preserved"]>;
+        readonly behaviorIds: Schema.$Array<Schema.String>;
+        readonly description: Schema.String;
+    }>>>;
+    readonly visible: Schema.Union<readonly [Schema.Struct<{
+        readonly lane: Schema.Literal<"request">;
+        readonly id: Schema.String;
+        readonly request: Schema.Struct<{
+            readonly endpoint: Schema.Literals<readonly ["chat", "responses", "anthropic"]>;
+            readonly method: Schema.Literal<"POST">;
+            readonly path: Schema.String;
+            readonly headers: Schema.$Array<Schema.Struct<{
+                readonly name: Schema.String;
+                readonly value: Schema.String;
+            }>>;
+            readonly bodyJson: Schema.String;
+        }>;
+    }>, Schema.Struct<{
+        readonly lane: Schema.Literal<"repository-agent">;
+        readonly id: Schema.String;
+        readonly requestText: Schema.String;
+        readonly checkoutCommit: Schema.String;
+        readonly allowedTools: Schema.$Array<Schema.Literals<readonly ["read", "search", "edit", "shell", "test"]>>;
+        readonly constraints: Schema.$Array<Schema.String>;
+    }>]>;
+    readonly targetBehavior: Schema.$Array<Schema.Struct<{
+        readonly id: Schema.String;
+        readonly description: Schema.String;
+        readonly critical: Schema.Boolean;
+        readonly evidence: Schema.$Array<Schema.Struct<{
+            readonly kind: Schema.Literals<readonly ["package", "public-surface", "symbol", "protocol", "schema", "test", "command", "history-episode", "workload-signal", "documentation"]>;
+            readonly id: Schema.String;
+            readonly path: Schema.optionalKey<Schema.String>;
+        }>>;
+    }>>;
+    readonly preChangeSources: Schema.$Array<Schema.Struct<{
+        readonly path: Schema.String;
+        readonly content: Schema.String;
+    }>>;
+    readonly solutions: Schema.$Array<Schema.Struct<{
+        readonly id: Schema.String;
+        readonly family: Schema.String;
+        readonly fileOverrides: Schema.$Array<Schema.Struct<{
+            readonly path: Schema.String;
+            readonly content: Schema.String;
+        }>>;
+    }>>;
+    /** Frozen generation-comparison membership; not derived from expected labels. */
+    readonly comparisonSolutionIds: Schema.$Array<Schema.String>;
+}>;
+export type RepositorySemanticCalibrationInputV1 = typeof RepositorySemanticCalibrationInputV1.Type;
+/** Raw development-check stdout must decode to this independently produced report. */
+export declare const RepositorySemanticCalibrationExecutableCheckV1: Schema.Struct<{
+    readonly version: Schema.Literal<1>;
+    readonly purpose: Schema.Literal<"development-label-adjudication">;
+    readonly inputDigest: Schema.String;
+    readonly checkerId: Schema.String;
+    readonly checkerSourceDigest: Schema.String;
+    readonly checks: Schema.$Array<Schema.Struct<{
+        readonly solutionId: Schema.String;
+        readonly classification: Schema.Literals<readonly ["valid", "wrong"]>;
+        readonly repetitions: Schema.Finite;
+        readonly confirmed: Schema.Literal<true>;
+        readonly violatedBehaviorIds: Schema.$Array<Schema.String>;
+    }>>;
+}>;
+export type RepositorySemanticCalibrationExecutableCheckV1 = typeof RepositorySemanticCalibrationExecutableCheckV1.Type;
+export declare const RepositorySemanticCalibrationExampleV1: Schema.Struct<{
+    readonly id: Schema.String;
+    readonly split: Schema.Literal<"development">;
+    readonly repository: Schema.Struct<{
+        readonly id: Schema.String;
+        readonly commit: Schema.String;
+        readonly sourceDigests: Schema.$Array<Schema.Struct<{
+            readonly path: Schema.String;
+            readonly sha256: Schema.String;
+        }>>;
+    }>;
+    readonly input: Schema.Struct<{
+        readonly requestedDimension: Schema.optionalKey<Schema.String>;
+        readonly repositoryEnvironment: Schema.Struct<{
+            readonly commit: Schema.String;
+            readonly sources: Schema.$Array<Schema.Struct<{
+                readonly path: Schema.String;
+                readonly content: Schema.String;
+            }>>;
+            readonly localImports: Schema.Struct<{
+                readonly commit: Schema.String;
+                readonly sources: Schema.$Array<Schema.Struct<{
+                    readonly path: Schema.String;
+                    readonly content: Schema.String;
+                }>>;
+                readonly omitted: Schema.$Array<Schema.Struct<{
+                    readonly path: Schema.String;
+                    readonly reason: Schema.Literals<readonly ["file-size", "total-size", "file-count", "depth"]>;
+                }>>;
+                readonly unresolved: Schema.$Array<Schema.Struct<{
+                    readonly from: Schema.String;
+                    readonly specifier: Schema.String;
+                }>>;
+                readonly dependencyContextVersion: Schema.optionalKey<Schema.Literals<readonly [1, 2]>>;
+                readonly dependencies: Schema.optionalKey<Schema.$Array<Schema.Struct<{
+                    readonly from: Schema.String;
+                    readonly specifier: Schema.String;
+                    readonly symbols: Schema.Union<readonly [Schema.$Array<Schema.String>, Schema.Null]>;
+                    readonly resolution: Schema.Literals<readonly ["resolved", "external", "unsupported", "unresolved"]>;
+                    readonly paths: Schema.$Array<Schema.String>;
+                }>>>;
+            }>;
+        }>;
+        readonly behavioralScope: Schema.optionalKey<Schema.$Array<Schema.Struct<{
+            readonly id: Schema.String;
+            readonly kind: Schema.Literals<readonly ["changed", "preserved"]>;
+            readonly behaviorIds: Schema.$Array<Schema.String>;
+            readonly description: Schema.String;
+        }>>>;
+        readonly visible: Schema.Union<readonly [Schema.Struct<{
+            readonly lane: Schema.Literal<"request">;
+            readonly id: Schema.String;
+            readonly request: Schema.Struct<{
+                readonly endpoint: Schema.Literals<readonly ["chat", "responses", "anthropic"]>;
+                readonly method: Schema.Literal<"POST">;
+                readonly path: Schema.String;
+                readonly headers: Schema.$Array<Schema.Struct<{
+                    readonly name: Schema.String;
+                    readonly value: Schema.String;
+                }>>;
+                readonly bodyJson: Schema.String;
+            }>;
+        }>, Schema.Struct<{
+            readonly lane: Schema.Literal<"repository-agent">;
+            readonly id: Schema.String;
+            readonly requestText: Schema.String;
+            readonly checkoutCommit: Schema.String;
+            readonly allowedTools: Schema.$Array<Schema.Literals<readonly ["read", "search", "edit", "shell", "test"]>>;
+            readonly constraints: Schema.$Array<Schema.String>;
+        }>]>;
+        readonly targetBehavior: Schema.$Array<Schema.Struct<{
+            readonly id: Schema.String;
+            readonly description: Schema.String;
+            readonly critical: Schema.Boolean;
+            readonly evidence: Schema.$Array<Schema.Struct<{
+                readonly kind: Schema.Literals<readonly ["package", "public-surface", "symbol", "protocol", "schema", "test", "command", "history-episode", "workload-signal", "documentation"]>;
+                readonly id: Schema.String;
+                readonly path: Schema.optionalKey<Schema.String>;
+            }>>;
+        }>>;
+        readonly preChangeSources: Schema.$Array<Schema.Struct<{
+            readonly path: Schema.String;
+            readonly content: Schema.String;
+        }>>;
+        readonly solutions: Schema.$Array<Schema.Struct<{
+            readonly id: Schema.String;
+            readonly family: Schema.String;
+            readonly fileOverrides: Schema.$Array<Schema.Struct<{
+                readonly path: Schema.String;
+                readonly content: Schema.String;
+            }>>;
+        }>>;
+        /** Frozen generation-comparison membership; not derived from expected labels. */
+        readonly comparisonSolutionIds: Schema.$Array<Schema.String>;
+    }>;
+    readonly adjudication: Schema.Struct<{
+        readonly kind: Schema.Literals<readonly ["independent-human-development-adjudication", "independent-executable-development-adjudication"]>;
+        readonly reservation: Schema.Literal<"not-reserved-holdout">;
+        readonly adjudicatorIds: Schema.$Array<Schema.String>;
+        readonly generatorIdentities: Schema.$Array<Schema.String>;
+        readonly completedAt: Schema.String;
+        readonly inputDigest: Schema.String;
+        readonly evidence: Schema.$Array<Schema.Union<readonly [Schema.Struct<{
+            readonly id: Schema.String;
+            readonly kind: Schema.Literal<"human-review">;
+            readonly content: Schema.String;
+            readonly sha256: Schema.String;
+        }>, Schema.Struct<{
+            readonly id: Schema.String;
+            readonly kind: Schema.Literal<"executable-development-check">;
+            /** Exact checker and stdout bytes are private and never model-visible. */
+            readonly checkerSource: Schema.String;
+            readonly checkerSourceSha256: Schema.String;
+            readonly content: Schema.String;
+            readonly sha256: Schema.String;
+        }>]>>;
+        readonly labels: Schema.$Array<Schema.Struct<{
+            readonly solutionId: Schema.String;
+            readonly expectedClass: Schema.Literals<readonly ["valid", "wrong"]>;
+            readonly rationale: Schema.String;
+            readonly violatedBehaviorIds: Schema.$Array<Schema.String>;
+            readonly evidenceIds: Schema.$Array<Schema.String>;
+        }>>;
+    }>;
+    readonly exampleDigest: Schema.String;
+}>;
+export type RepositorySemanticCalibrationExampleV1 = typeof RepositorySemanticCalibrationExampleV1.Type;
+export declare const RepositorySemanticCalibrationManifestV1: Schema.Struct<{
+    readonly version: Schema.Literal<1>;
+    readonly purpose: Schema.Literal<"development-semantic-calibration">;
+    readonly thresholds: Schema.Struct<{
+        readonly minimumScenarios: Schema.Finite;
+        readonly minimumValidControls: Schema.Finite;
+        readonly minimumWrongControls: Schema.Finite;
+        readonly maximumFalseValidRate: Schema.Finite;
+        readonly maximumFalseWrongRate: Schema.Finite;
+        readonly maximumUncertaintyRate: Schema.Finite;
+        readonly maximumInstabilityRate: Schema.Finite;
+        readonly requireCompleteExecution: Schema.Literal<true>;
+    }>;
+    readonly examples: Schema.$Array<Schema.Struct<{
+        readonly id: Schema.String;
+        readonly split: Schema.Literal<"development">;
+        readonly repository: Schema.Struct<{
+            readonly id: Schema.String;
+            readonly commit: Schema.String;
+            readonly sourceDigests: Schema.$Array<Schema.Struct<{
+                readonly path: Schema.String;
+                readonly sha256: Schema.String;
+            }>>;
+        }>;
+        readonly input: Schema.Struct<{
+            readonly requestedDimension: Schema.optionalKey<Schema.String>;
+            readonly repositoryEnvironment: Schema.Struct<{
+                readonly commit: Schema.String;
+                readonly sources: Schema.$Array<Schema.Struct<{
+                    readonly path: Schema.String;
+                    readonly content: Schema.String;
+                }>>;
+                readonly localImports: Schema.Struct<{
+                    readonly commit: Schema.String;
+                    readonly sources: Schema.$Array<Schema.Struct<{
+                        readonly path: Schema.String;
+                        readonly content: Schema.String;
+                    }>>;
+                    readonly omitted: Schema.$Array<Schema.Struct<{
+                        readonly path: Schema.String;
+                        readonly reason: Schema.Literals<readonly ["file-size", "total-size", "file-count", "depth"]>;
+                    }>>;
+                    readonly unresolved: Schema.$Array<Schema.Struct<{
+                        readonly from: Schema.String;
+                        readonly specifier: Schema.String;
+                    }>>;
+                    readonly dependencyContextVersion: Schema.optionalKey<Schema.Literals<readonly [1, 2]>>;
+                    readonly dependencies: Schema.optionalKey<Schema.$Array<Schema.Struct<{
+                        readonly from: Schema.String;
+                        readonly specifier: Schema.String;
+                        readonly symbols: Schema.Union<readonly [Schema.$Array<Schema.String>, Schema.Null]>;
+                        readonly resolution: Schema.Literals<readonly ["resolved", "external", "unsupported", "unresolved"]>;
+                        readonly paths: Schema.$Array<Schema.String>;
+                    }>>>;
+                }>;
+            }>;
+            readonly behavioralScope: Schema.optionalKey<Schema.$Array<Schema.Struct<{
+                readonly id: Schema.String;
+                readonly kind: Schema.Literals<readonly ["changed", "preserved"]>;
+                readonly behaviorIds: Schema.$Array<Schema.String>;
+                readonly description: Schema.String;
+            }>>>;
+            readonly visible: Schema.Union<readonly [Schema.Struct<{
+                readonly lane: Schema.Literal<"request">;
+                readonly id: Schema.String;
+                readonly request: Schema.Struct<{
+                    readonly endpoint: Schema.Literals<readonly ["chat", "responses", "anthropic"]>;
+                    readonly method: Schema.Literal<"POST">;
+                    readonly path: Schema.String;
+                    readonly headers: Schema.$Array<Schema.Struct<{
+                        readonly name: Schema.String;
+                        readonly value: Schema.String;
+                    }>>;
+                    readonly bodyJson: Schema.String;
+                }>;
+            }>, Schema.Struct<{
+                readonly lane: Schema.Literal<"repository-agent">;
+                readonly id: Schema.String;
+                readonly requestText: Schema.String;
+                readonly checkoutCommit: Schema.String;
+                readonly allowedTools: Schema.$Array<Schema.Literals<readonly ["read", "search", "edit", "shell", "test"]>>;
+                readonly constraints: Schema.$Array<Schema.String>;
+            }>]>;
+            readonly targetBehavior: Schema.$Array<Schema.Struct<{
+                readonly id: Schema.String;
+                readonly description: Schema.String;
+                readonly critical: Schema.Boolean;
+                readonly evidence: Schema.$Array<Schema.Struct<{
+                    readonly kind: Schema.Literals<readonly ["package", "public-surface", "symbol", "protocol", "schema", "test", "command", "history-episode", "workload-signal", "documentation"]>;
+                    readonly id: Schema.String;
+                    readonly path: Schema.optionalKey<Schema.String>;
+                }>>;
+            }>>;
+            readonly preChangeSources: Schema.$Array<Schema.Struct<{
+                readonly path: Schema.String;
+                readonly content: Schema.String;
+            }>>;
+            readonly solutions: Schema.$Array<Schema.Struct<{
+                readonly id: Schema.String;
+                readonly family: Schema.String;
+                readonly fileOverrides: Schema.$Array<Schema.Struct<{
+                    readonly path: Schema.String;
+                    readonly content: Schema.String;
+                }>>;
+            }>>;
+            /** Frozen generation-comparison membership; not derived from expected labels. */
+            readonly comparisonSolutionIds: Schema.$Array<Schema.String>;
+        }>;
+        readonly adjudication: Schema.Struct<{
+            readonly kind: Schema.Literals<readonly ["independent-human-development-adjudication", "independent-executable-development-adjudication"]>;
+            readonly reservation: Schema.Literal<"not-reserved-holdout">;
+            readonly adjudicatorIds: Schema.$Array<Schema.String>;
+            readonly generatorIdentities: Schema.$Array<Schema.String>;
+            readonly completedAt: Schema.String;
+            readonly inputDigest: Schema.String;
+            readonly evidence: Schema.$Array<Schema.Union<readonly [Schema.Struct<{
+                readonly id: Schema.String;
+                readonly kind: Schema.Literal<"human-review">;
+                readonly content: Schema.String;
+                readonly sha256: Schema.String;
+            }>, Schema.Struct<{
+                readonly id: Schema.String;
+                readonly kind: Schema.Literal<"executable-development-check">;
+                /** Exact checker and stdout bytes are private and never model-visible. */
+                readonly checkerSource: Schema.String;
+                readonly checkerSourceSha256: Schema.String;
+                readonly content: Schema.String;
+                readonly sha256: Schema.String;
+            }>]>>;
+            readonly labels: Schema.$Array<Schema.Struct<{
+                readonly solutionId: Schema.String;
+                readonly expectedClass: Schema.Literals<readonly ["valid", "wrong"]>;
+                readonly rationale: Schema.String;
+                readonly violatedBehaviorIds: Schema.$Array<Schema.String>;
+                readonly evidenceIds: Schema.$Array<Schema.String>;
+            }>>;
+        }>;
+        readonly exampleDigest: Schema.String;
+    }>>;
+}>;
+export type RepositorySemanticCalibrationManifestV1 = typeof RepositorySemanticCalibrationManifestV1.Type;
+export declare const RepositorySemanticCalibrationPlanV1: Schema.Struct<{
+    readonly version: Schema.Literal<1>;
+    readonly policyVersion: Schema.Literal<1>;
+    readonly purpose: Schema.Literal<"development-semantic-calibration">;
+    readonly admissionCredit: Schema.Literal<false>;
+    readonly manifest: Schema.Struct<{
+        readonly version: Schema.Literal<1>;
+        readonly purpose: Schema.Literal<"development-semantic-calibration">;
+        readonly thresholds: Schema.Struct<{
+            readonly minimumScenarios: Schema.Finite;
+            readonly minimumValidControls: Schema.Finite;
+            readonly minimumWrongControls: Schema.Finite;
+            readonly maximumFalseValidRate: Schema.Finite;
+            readonly maximumFalseWrongRate: Schema.Finite;
+            readonly maximumUncertaintyRate: Schema.Finite;
+            readonly maximumInstabilityRate: Schema.Finite;
+            readonly requireCompleteExecution: Schema.Literal<true>;
+        }>;
+        readonly examples: Schema.$Array<Schema.Struct<{
+            readonly id: Schema.String;
+            readonly split: Schema.Literal<"development">;
+            readonly repository: Schema.Struct<{
+                readonly id: Schema.String;
+                readonly commit: Schema.String;
+                readonly sourceDigests: Schema.$Array<Schema.Struct<{
+                    readonly path: Schema.String;
+                    readonly sha256: Schema.String;
+                }>>;
+            }>;
+            readonly input: Schema.Struct<{
+                readonly requestedDimension: Schema.optionalKey<Schema.String>;
+                readonly repositoryEnvironment: Schema.Struct<{
+                    readonly commit: Schema.String;
+                    readonly sources: Schema.$Array<Schema.Struct<{
+                        readonly path: Schema.String;
+                        readonly content: Schema.String;
+                    }>>;
+                    readonly localImports: Schema.Struct<{
+                        readonly commit: Schema.String;
+                        readonly sources: Schema.$Array<Schema.Struct<{
+                            readonly path: Schema.String;
+                            readonly content: Schema.String;
+                        }>>;
+                        readonly omitted: Schema.$Array<Schema.Struct<{
+                            readonly path: Schema.String;
+                            readonly reason: Schema.Literals<readonly ["file-size", "total-size", "file-count", "depth"]>;
+                        }>>;
+                        readonly unresolved: Schema.$Array<Schema.Struct<{
+                            readonly from: Schema.String;
+                            readonly specifier: Schema.String;
+                        }>>;
+                        readonly dependencyContextVersion: Schema.optionalKey<Schema.Literals<readonly [1, 2]>>;
+                        readonly dependencies: Schema.optionalKey<Schema.$Array<Schema.Struct<{
+                            readonly from: Schema.String;
+                            readonly specifier: Schema.String;
+                            readonly symbols: Schema.Union<readonly [Schema.$Array<Schema.String>, Schema.Null]>;
+                            readonly resolution: Schema.Literals<readonly ["resolved", "external", "unsupported", "unresolved"]>;
+                            readonly paths: Schema.$Array<Schema.String>;
+                        }>>>;
+                    }>;
+                }>;
+                readonly behavioralScope: Schema.optionalKey<Schema.$Array<Schema.Struct<{
+                    readonly id: Schema.String;
+                    readonly kind: Schema.Literals<readonly ["changed", "preserved"]>;
+                    readonly behaviorIds: Schema.$Array<Schema.String>;
+                    readonly description: Schema.String;
+                }>>>;
+                readonly visible: Schema.Union<readonly [Schema.Struct<{
+                    readonly lane: Schema.Literal<"request">;
+                    readonly id: Schema.String;
+                    readonly request: Schema.Struct<{
+                        readonly endpoint: Schema.Literals<readonly ["chat", "responses", "anthropic"]>;
+                        readonly method: Schema.Literal<"POST">;
+                        readonly path: Schema.String;
+                        readonly headers: Schema.$Array<Schema.Struct<{
+                            readonly name: Schema.String;
+                            readonly value: Schema.String;
+                        }>>;
+                        readonly bodyJson: Schema.String;
+                    }>;
+                }>, Schema.Struct<{
+                    readonly lane: Schema.Literal<"repository-agent">;
+                    readonly id: Schema.String;
+                    readonly requestText: Schema.String;
+                    readonly checkoutCommit: Schema.String;
+                    readonly allowedTools: Schema.$Array<Schema.Literals<readonly ["read", "search", "edit", "shell", "test"]>>;
+                    readonly constraints: Schema.$Array<Schema.String>;
+                }>]>;
+                readonly targetBehavior: Schema.$Array<Schema.Struct<{
+                    readonly id: Schema.String;
+                    readonly description: Schema.String;
+                    readonly critical: Schema.Boolean;
+                    readonly evidence: Schema.$Array<Schema.Struct<{
+                        readonly kind: Schema.Literals<readonly ["package", "public-surface", "symbol", "protocol", "schema", "test", "command", "history-episode", "workload-signal", "documentation"]>;
+                        readonly id: Schema.String;
+                        readonly path: Schema.optionalKey<Schema.String>;
+                    }>>;
+                }>>;
+                readonly preChangeSources: Schema.$Array<Schema.Struct<{
+                    readonly path: Schema.String;
+                    readonly content: Schema.String;
+                }>>;
+                readonly solutions: Schema.$Array<Schema.Struct<{
+                    readonly id: Schema.String;
+                    readonly family: Schema.String;
+                    readonly fileOverrides: Schema.$Array<Schema.Struct<{
+                        readonly path: Schema.String;
+                        readonly content: Schema.String;
+                    }>>;
+                }>>;
+                /** Frozen generation-comparison membership; not derived from expected labels. */
+                readonly comparisonSolutionIds: Schema.$Array<Schema.String>;
+            }>;
+            readonly adjudication: Schema.Struct<{
+                readonly kind: Schema.Literals<readonly ["independent-human-development-adjudication", "independent-executable-development-adjudication"]>;
+                readonly reservation: Schema.Literal<"not-reserved-holdout">;
+                readonly adjudicatorIds: Schema.$Array<Schema.String>;
+                readonly generatorIdentities: Schema.$Array<Schema.String>;
+                readonly completedAt: Schema.String;
+                readonly inputDigest: Schema.String;
+                readonly evidence: Schema.$Array<Schema.Union<readonly [Schema.Struct<{
+                    readonly id: Schema.String;
+                    readonly kind: Schema.Literal<"human-review">;
+                    readonly content: Schema.String;
+                    readonly sha256: Schema.String;
+                }>, Schema.Struct<{
+                    readonly id: Schema.String;
+                    readonly kind: Schema.Literal<"executable-development-check">;
+                    /** Exact checker and stdout bytes are private and never model-visible. */
+                    readonly checkerSource: Schema.String;
+                    readonly checkerSourceSha256: Schema.String;
+                    readonly content: Schema.String;
+                    readonly sha256: Schema.String;
+                }>]>>;
+                readonly labels: Schema.$Array<Schema.Struct<{
+                    readonly solutionId: Schema.String;
+                    readonly expectedClass: Schema.Literals<readonly ["valid", "wrong"]>;
+                    readonly rationale: Schema.String;
+                    readonly violatedBehaviorIds: Schema.$Array<Schema.String>;
+                    readonly evidenceIds: Schema.$Array<Schema.String>;
+                }>>;
+            }>;
+            readonly exampleDigest: Schema.String;
+        }>>;
+    }>;
+    readonly manifestDigest: Schema.String;
+    readonly modelPlan: Schema.Struct<{
+        readonly version: Schema.Literal<1>;
+        readonly assignments: Schema.$Array<Schema.Struct<{
+            readonly role: Schema.Literals<readonly ["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", "oracle-critic"]>;
+            readonly model: Schema.String;
+            readonly reasoningEffort: Schema.Literals<readonly ["low", "medium", "high", "xhigh", "max", "ultra"]>;
+        }>>;
+    }>;
+    readonly validControlReviewVersion: Schema.Union<readonly [Schema.Null, Schema.Literals<readonly [1, 2]>]>;
+    readonly repetitions: Schema.Finite;
+    readonly callCount: Schema.Finite;
+    readonly maximumInputBytesPerCall: Schema.Finite;
+    readonly requiredTotalInputTokens: Schema.Finite;
+    readonly requiredTotalOutputTokens: Schema.Finite;
+    readonly maximumOutputTokensPerCall: Schema.Finite;
+    readonly preparedCritics: Schema.$Array<Schema.Struct<{
+        readonly exampleId: Schema.String;
+        readonly role: Schema.Literals<readonly ["solution-critic-a", "solution-critic-b"]>;
+        readonly model: Schema.String;
+        readonly reasoningEffort: Schema.Literals<readonly ["low", "medium", "high", "xhigh", "max", "ultra"]>;
+        readonly inputDigest: Schema.String;
+        readonly instructionsDigest: Schema.String;
+        readonly schemaName: Schema.String;
+        readonly schemaDigest: Schema.String;
+        readonly maximumOutputTokens: Schema.Finite;
+    }>>;
+    readonly planDigest: Schema.String;
+}>;
+export type RepositorySemanticCalibrationPlanV1 = typeof RepositorySemanticCalibrationPlanV1.Type;
+export declare const RepositorySemanticCalibrationOutcomeV1: Schema.Union<readonly [Schema.Struct<{
+    readonly kind: Schema.Literal<"classified">;
+    readonly reviews: Schema.$Array<Schema.Struct<{
+        readonly solutionId: Schema.String;
+        readonly classification: Schema.Literals<readonly ["valid", "wrong", "uncertain"]>;
+        readonly violatedBehaviorIds: Schema.$Array<Schema.String>;
+    }>>;
+    readonly independence: Schema.optionalKey<Schema.Literals<readonly ["independent", "correlated", "uncertain"]>>;
+    readonly callId: Schema.optionalKey<Schema.String>;
+}>, Schema.Struct<{
+    readonly kind: Schema.Literal<"malformed">;
+    readonly reason: Schema.Literals<readonly ["invalid-json", "normalization", "schema", "review-population", "review-rationale", "behavior-reference", "independence-review"]>;
+}>, Schema.Struct<{
+    readonly kind: Schema.Literal<"execution-failure">;
+    /** No provider error prose, payload, credentials, or inferred billing outcome. */
+    readonly errorOperation: Schema.String;
+}>, Schema.Struct<{
+    readonly kind: Schema.Literal<"not-run">;
+    readonly reason: Schema.Literal<"prior-execution-failure">;
+}>]>;
+export type RepositorySemanticCalibrationOutcomeV1 = typeof RepositorySemanticCalibrationOutcomeV1.Type;
+export declare const RepositorySemanticCalibrationObservationV1: Schema.Struct<{
+    readonly exampleId: Schema.String;
+    readonly exampleDigest: Schema.String;
+    readonly role: Schema.Literals<readonly ["solution-critic-a", "solution-critic-b"]>;
+    readonly repetition: Schema.Finite;
+    readonly operationId: Schema.String;
+    readonly model: Schema.String;
+    readonly reasoningEffort: Schema.Literals<readonly ["low", "medium", "high", "xhigh", "max", "ultra"]>;
+    readonly inputDigest: Schema.String;
+    readonly instructionsDigest: Schema.String;
+    readonly schemaDigest: Schema.String;
+    readonly outcome: Schema.Union<readonly [Schema.Struct<{
+        readonly kind: Schema.Literal<"classified">;
+        readonly reviews: Schema.$Array<Schema.Struct<{
+            readonly solutionId: Schema.String;
+            readonly classification: Schema.Literals<readonly ["valid", "wrong", "uncertain"]>;
+            readonly violatedBehaviorIds: Schema.$Array<Schema.String>;
+        }>>;
+        readonly independence: Schema.optionalKey<Schema.Literals<readonly ["independent", "correlated", "uncertain"]>>;
+        readonly callId: Schema.optionalKey<Schema.String>;
+    }>, Schema.Struct<{
+        readonly kind: Schema.Literal<"malformed">;
+        readonly reason: Schema.Literals<readonly ["invalid-json", "normalization", "schema", "review-population", "review-rationale", "behavior-reference", "independence-review"]>;
+    }>, Schema.Struct<{
+        readonly kind: Schema.Literal<"execution-failure">;
+        /** No provider error prose, payload, credentials, or inferred billing outcome. */
+        readonly errorOperation: Schema.String;
+    }>, Schema.Struct<{
+        readonly kind: Schema.Literal<"not-run">;
+        readonly reason: Schema.Literal<"prior-execution-failure">;
+    }>]>;
+}>;
+export type RepositorySemanticCalibrationObservationV1 = typeof RepositorySemanticCalibrationObservationV1.Type;
+export declare const RepositorySemanticCalibrationCountsV1: Schema.Struct<{
+    readonly scheduledCalls: Schema.Finite;
+    readonly classifiedCalls: Schema.Finite;
+    readonly malformedCalls: Schema.Finite;
+    readonly executionFailureCalls: Schema.Finite;
+    readonly notRunCalls: Schema.Finite;
+    readonly scheduledControls: Schema.Finite;
+    readonly unscoredControls: Schema.Finite;
+    readonly validAsValid: Schema.Finite;
+    readonly validAsWrong: Schema.Finite;
+    readonly validAsUncertain: Schema.Finite;
+    readonly wrongAsValid: Schema.Finite;
+    readonly wrongAsWrong: Schema.Finite;
+    readonly wrongAsUncertain: Schema.Finite;
+    readonly independenceIndependent: Schema.Finite;
+    readonly independenceCorrelated: Schema.Finite;
+    readonly independenceUncertain: Schema.Finite;
+    readonly repeatabilityGroups: Schema.Finite;
+    readonly stableClassificationGroups: Schema.Finite;
+    readonly changedClassificationGroups: Schema.Finite;
+    readonly incompleteClassificationGroups: Schema.Finite;
+}>;
+export type RepositorySemanticCalibrationCountsV1 = typeof RepositorySemanticCalibrationCountsV1.Type;
+export declare const RepositorySemanticCalibrationReportV1: Schema.Struct<{
+    readonly version: Schema.Literal<1>;
+    readonly policyVersion: Schema.Literal<1>;
+    readonly purpose: Schema.Literal<"development-semantic-calibration">;
+    readonly admissionCredit: Schema.Literal<false>;
+    readonly planDigest: Schema.String;
+    readonly manifestDigest: Schema.String;
+    readonly operationId: Schema.String;
+    readonly coverage: Schema.Struct<{
+        readonly semanticCorrectness: Schema.Literal<"development-only">;
+        readonly mechanismIndependence: Schema.Literal<"unadjudicated">;
+        readonly fullValidControlAcceptance: Schema.Literal<"not-established">;
+    }>;
+    readonly thresholds: Schema.Struct<{
+        readonly minimumScenarios: Schema.Finite;
+        readonly minimumValidControls: Schema.Finite;
+        readonly minimumWrongControls: Schema.Finite;
+        readonly maximumFalseValidRate: Schema.Finite;
+        readonly maximumFalseWrongRate: Schema.Finite;
+        readonly maximumUncertaintyRate: Schema.Finite;
+        readonly maximumInstabilityRate: Schema.Finite;
+        readonly requireCompleteExecution: Schema.Literal<true>;
+    }>;
+    readonly denominators: Schema.Struct<{
+        readonly scenarios: Schema.Finite;
+        readonly models: Schema.Finite;
+        readonly critics: Schema.Finite;
+        readonly repetitions: Schema.Finite;
+        readonly distinctControls: Schema.Finite;
+        readonly distinctValidControls: Schema.Finite;
+        readonly distinctWrongControls: Schema.Finite;
+        readonly scheduledCalls: Schema.Finite;
+        readonly scheduledControlClassifications: Schema.Finite;
+        readonly scheduledValidClassifications: Schema.Finite;
+        readonly scheduledWrongClassifications: Schema.Finite;
+    }>;
+    readonly controls: Schema.$Array<Schema.Struct<{
+        readonly exampleId: Schema.String;
+        readonly exampleDigest: Schema.String;
+        readonly solutionId: Schema.String;
+        readonly controlDigest: Schema.String;
+        readonly expectedClass: Schema.Literals<readonly ["valid", "wrong"]>;
+        readonly evidenceDigests: Schema.$Array<Schema.String>;
+    }>>;
+    readonly observations: Schema.$Array<Schema.Struct<{
+        readonly exampleId: Schema.String;
+        readonly exampleDigest: Schema.String;
+        readonly role: Schema.Literals<readonly ["solution-critic-a", "solution-critic-b"]>;
+        readonly repetition: Schema.Finite;
+        readonly operationId: Schema.String;
+        readonly model: Schema.String;
+        readonly reasoningEffort: Schema.Literals<readonly ["low", "medium", "high", "xhigh", "max", "ultra"]>;
+        readonly inputDigest: Schema.String;
+        readonly instructionsDigest: Schema.String;
+        readonly schemaDigest: Schema.String;
+        readonly outcome: Schema.Union<readonly [Schema.Struct<{
+            readonly kind: Schema.Literal<"classified">;
+            readonly reviews: Schema.$Array<Schema.Struct<{
+                readonly solutionId: Schema.String;
+                readonly classification: Schema.Literals<readonly ["valid", "wrong", "uncertain"]>;
+                readonly violatedBehaviorIds: Schema.$Array<Schema.String>;
+            }>>;
+            readonly independence: Schema.optionalKey<Schema.Literals<readonly ["independent", "correlated", "uncertain"]>>;
+            readonly callId: Schema.optionalKey<Schema.String>;
+        }>, Schema.Struct<{
+            readonly kind: Schema.Literal<"malformed">;
+            readonly reason: Schema.Literals<readonly ["invalid-json", "normalization", "schema", "review-population", "review-rationale", "behavior-reference", "independence-review"]>;
+        }>, Schema.Struct<{
+            readonly kind: Schema.Literal<"execution-failure">;
+            /** No provider error prose, payload, credentials, or inferred billing outcome. */
+            readonly errorOperation: Schema.String;
+        }>, Schema.Struct<{
+            readonly kind: Schema.Literal<"not-run">;
+            readonly reason: Schema.Literal<"prior-execution-failure">;
+        }>]>;
+    }>>;
+    readonly counts: Schema.Struct<{
+        readonly scheduledCalls: Schema.Finite;
+        readonly classifiedCalls: Schema.Finite;
+        readonly malformedCalls: Schema.Finite;
+        readonly executionFailureCalls: Schema.Finite;
+        readonly notRunCalls: Schema.Finite;
+        readonly scheduledControls: Schema.Finite;
+        readonly unscoredControls: Schema.Finite;
+        readonly validAsValid: Schema.Finite;
+        readonly validAsWrong: Schema.Finite;
+        readonly validAsUncertain: Schema.Finite;
+        readonly wrongAsValid: Schema.Finite;
+        readonly wrongAsWrong: Schema.Finite;
+        readonly wrongAsUncertain: Schema.Finite;
+        readonly independenceIndependent: Schema.Finite;
+        readonly independenceCorrelated: Schema.Finite;
+        readonly independenceUncertain: Schema.Finite;
+        readonly repeatabilityGroups: Schema.Finite;
+        readonly stableClassificationGroups: Schema.Finite;
+        readonly changedClassificationGroups: Schema.Finite;
+        readonly incompleteClassificationGroups: Schema.Finite;
+    }>;
+    readonly byRole: Schema.$Array<Schema.Struct<{
+        readonly role: Schema.Literals<readonly ["solution-critic-a", "solution-critic-b"]>;
+        readonly counts: Schema.Struct<{
+            readonly scheduledCalls: Schema.Finite;
+            readonly classifiedCalls: Schema.Finite;
+            readonly malformedCalls: Schema.Finite;
+            readonly executionFailureCalls: Schema.Finite;
+            readonly notRunCalls: Schema.Finite;
+            readonly scheduledControls: Schema.Finite;
+            readonly unscoredControls: Schema.Finite;
+            readonly validAsValid: Schema.Finite;
+            readonly validAsWrong: Schema.Finite;
+            readonly validAsUncertain: Schema.Finite;
+            readonly wrongAsValid: Schema.Finite;
+            readonly wrongAsWrong: Schema.Finite;
+            readonly wrongAsUncertain: Schema.Finite;
+            readonly independenceIndependent: Schema.Finite;
+            readonly independenceCorrelated: Schema.Finite;
+            readonly independenceUncertain: Schema.Finite;
+            readonly repeatabilityGroups: Schema.Finite;
+            readonly stableClassificationGroups: Schema.Finite;
+            readonly changedClassificationGroups: Schema.Finite;
+            readonly incompleteClassificationGroups: Schema.Finite;
+        }>;
+    }>>;
+    readonly limitations: Schema.$Array<Schema.String>;
+    readonly reportDigest: Schema.String;
+}>;
+export type RepositorySemanticCalibrationReportV1 = typeof RepositorySemanticCalibrationReportV1.Type;