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

package/dist/agentic-capabilities-protocol.d.ts

@@ -0,0 +1,1373 @@
+import { Schema } from "effect";
+/** Additive foundry-tool boundary. A schema-valid handle is not proof of acceptance. */
+export declare const AGENTIC_CAPABILITIES_PROTOCOL_VERSION_V1: 1;
+/**
+ * Request-scoped negotiation for the additive trusted-invocation ceilings.
+ * Cloud must not emit those members unless the invoking Sandbox Agent
+ * advertises this exact extension: N-1 readers decode the v1 invocation
+ * strictly and reject unknown members.
+ */
+export declare const AGENTIC_SCIENTIFIC_INVOCATION_CEILINGS_V1: "scientific-invocation-ceilings-v1";
+export declare const AGENTIC_CAPABILITY_NAMES_V1: readonly ["inspect_repository", "list_candidates", "read_source", "search_source", "draft_specification", "plan_environment", "probe_fixture", "qualify_reference", "author_oracle", "generate_controls", "evaluate_oracle", "repair_oracle", "freeze_candidate", "run_held_out_challenge", "request_admission", "get_progress", "read_diagnostics", "reject_candidate", "finish_campaign"];
+export type AgenticCapabilityNameV1 = (typeof AGENTIC_CAPABILITY_NAMES_V1)[number];
+export declare const AGENTIC_CAPABILITY_ARTIFACT_HANDLE_DESCRIPTIONS_V1: {
+    readonly draft_specification: {
+        readonly previousDraft: "Previously accepted specification-draft handle to revise.";
+        readonly feedback: "Specification-review findings handle to address.";
+    };
+    readonly probe_fixture: {
+        readonly environment: "Accepted environment-plan handle.";
+        readonly fixtureDraft: "Accepted fixture-draft handle.";
+    };
+    readonly qualify_reference: {
+        readonly environment: "Accepted environment-plan handle.";
+    };
+    readonly author_oracle: {
+        readonly specification: "Accepted specification handle.";
+        readonly previousOracle: "Previously accepted oracle handle to revise.";
+        readonly findings: "Oracle-review findings handle to address.";
+    };
+    readonly generate_controls: {
+        readonly specification: "Accepted specification handle.";
+        readonly environment: "Accepted environment-plan handle.";
+    };
+    readonly evaluate_oracle: {
+        readonly oracle: "Accepted oracle handle.";
+        readonly controls: "Pass a one-element list containing the latest cumulative controls checkpoint handle returned by generate_controls. Each generation returns a new snapshot containing all accepted valid and wrong controls and supersedes earlier snapshots; do not combine old and new handles.";
+    };
+    readonly repair_oracle: {
+        readonly oracle: "Accepted oracle handle to repair.";
+        readonly findings: "Accepted oracle-evaluation findings handle to address.";
+    };
+};
+/**
+ * Effect's JSON Schema renderer does not consistently retain annotations on
+ * refined schemas. Apply the canonical agent-facing handle descriptions after
+ * rendering so every generated transport contract is derived from one durable
+ * protocol-owned mechanism.
+ */
+export declare const agenticCapabilityRequestJsonSchemaV1: <SchemaDocument>(schema: SchemaDocument) => SchemaDocument;
+export declare const AgenticCapabilityRequestV1: Schema.Union<readonly [Schema.Struct<{
+    readonly tool: Schema.Literal<"inspect_repository">;
+    readonly args: Schema.Struct<{}>;
+}>, Schema.Struct<{
+    readonly tool: Schema.Literal<"list_candidates">;
+    readonly args: Schema.Struct<{
+        readonly coverageCell: Schema.String;
+        readonly cursor: Schema.optionalKey<Schema.String>;
+        readonly limit: Schema.Finite;
+    }>;
+}>, Schema.Struct<{
+    readonly tool: Schema.Literal<"read_source">;
+    readonly args: Schema.Struct<{
+        readonly source: Schema.String;
+        readonly path: Schema.String;
+        readonly offset: Schema.Finite;
+        readonly length: Schema.Finite;
+    }>;
+}>, Schema.Struct<{
+    readonly tool: Schema.Literal<"search_source">;
+    readonly args: Schema.Struct<{
+        readonly source: Schema.String;
+        readonly query: Schema.String;
+        readonly cursor: Schema.optionalKey<Schema.String>;
+    }>;
+}>, Schema.Struct<{
+    readonly tool: Schema.Literal<"draft_specification">;
+    readonly args: Schema.Struct<{
+        readonly candidate: Schema.String;
+        readonly previousDraft: Schema.optionalKey<Schema.String>;
+        readonly feedback: Schema.optionalKey<Schema.String>;
+    }>;
+}>, Schema.Struct<{
+    readonly tool: Schema.Literal<"plan_environment">;
+    readonly args: Schema.Struct<{
+        readonly candidate: Schema.String;
+        readonly recipeIds: Schema.$Array<Schema.String>;
+        readonly executionMode: Schema.Literals<readonly ["source", "emitted", "repository-default"]>;
+        readonly targetRoots: Schema.$Array<Schema.Union<readonly [Schema.Literal<".">, Schema.String]>>;
+        readonly requiredArtifacts: Schema.$Array<Schema.String>;
+        readonly justification: Schema.String;
+    }>;
+}>, Schema.Struct<{
+    readonly tool: Schema.Literal<"probe_fixture">;
+    readonly args: Schema.Struct<{
+        readonly candidate: Schema.String;
+        readonly environment: Schema.String;
+        readonly fixtureDraft: Schema.String;
+    }>;
+}>, Schema.Struct<{
+    readonly tool: Schema.Literal<"qualify_reference">;
+    readonly args: Schema.Struct<{
+        readonly candidate: Schema.String;
+        readonly environment: Schema.String;
+    }>;
+}>, Schema.Struct<{
+    readonly tool: Schema.Literal<"author_oracle">;
+    readonly args: Schema.Struct<{
+        readonly candidate: Schema.String;
+        readonly specification: Schema.String;
+        readonly previousOracle: Schema.optionalKey<Schema.String>;
+        readonly findings: Schema.optionalKey<Schema.String>;
+    }>;
+}>, Schema.Struct<{
+    readonly tool: Schema.Literal<"generate_controls">;
+    readonly args: Schema.Struct<{
+        readonly candidate: Schema.String;
+        readonly specification: Schema.String;
+        readonly environment: Schema.String;
+        readonly kind: Schema.Literals<readonly ["valid", "wrong"]>;
+    }>;
+}>, Schema.Struct<{
+    readonly tool: Schema.Literal<"evaluate_oracle">;
+    readonly args: Schema.Struct<{
+        readonly candidate: Schema.String;
+        readonly oracle: Schema.String;
+        readonly controls: Schema.$Array<Schema.String>;
+    }>;
+}>, Schema.Struct<{
+    readonly tool: Schema.Literal<"repair_oracle">;
+    readonly args: Schema.Struct<{
+        readonly candidate: Schema.String;
+        readonly oracle: Schema.String;
+        readonly findings: Schema.String;
+    }>;
+}>, Schema.Struct<{
+    readonly tool: Schema.Literal<"freeze_candidate">;
+    readonly args: Schema.Struct<{
+        readonly candidate: Schema.String;
+        readonly revision: Schema.String;
+    }>;
+}>, Schema.Struct<{
+    readonly tool: Schema.Literal<"run_held_out_challenge">;
+    readonly args: Schema.Struct<{
+        readonly frozenCandidate: Schema.String;
+    }>;
+}>, Schema.Struct<{
+    readonly tool: Schema.Literal<"request_admission">;
+    readonly args: Schema.Struct<{
+        readonly frozenCandidate: Schema.String;
+        readonly qualification: Schema.String;
+    }>;
+}>, Schema.Struct<{
+    readonly tool: Schema.Literal<"get_progress">;
+    readonly args: Schema.Struct<{
+        readonly candidate: Schema.optionalKey<Schema.String>;
+    }>;
+}>, Schema.Struct<{
+    readonly tool: Schema.Literal<"read_diagnostics">;
+    readonly args: Schema.Struct<{
+        readonly operation: Schema.String;
+        readonly cursor: Schema.optionalKey<Schema.String>;
+        readonly maximumBytes: Schema.Finite;
+    }>;
+}>, Schema.Struct<{
+    readonly tool: Schema.Literal<"reject_candidate">;
+    readonly args: Schema.Struct<{
+        readonly candidate: Schema.String;
+        readonly reason: Schema.String;
+        readonly evidence: Schema.$Array<Schema.String>;
+    }>;
+}>, Schema.Struct<{
+    readonly tool: Schema.Literal<"finish_campaign">;
+    readonly args: Schema.Struct<{
+        readonly reason: Schema.String;
+    }>;
+}>]>;
+export type AgenticCapabilityRequestV1 = typeof AgenticCapabilityRequestV1.Type;
+export declare const decodeAgenticCapabilityRequestV1: (input: unknown, options?: import("effect/SchemaAST").ParseOptions) => {
+    readonly tool: "inspect_repository";
+    readonly args: {};
+} | {
+    readonly tool: "list_candidates";
+    readonly args: {
+        readonly coverageCell: string;
+        readonly limit: number;
+        readonly cursor?: string | undefined;
+    };
+} | {
+    readonly tool: "read_source";
+    readonly args: {
+        readonly source: string;
+        readonly path: string;
+        readonly offset: number;
+        readonly length: number;
+    };
+} | {
+    readonly tool: "search_source";
+    readonly args: {
+        readonly source: string;
+        readonly query: string;
+        readonly cursor?: string | undefined;
+    };
+} | {
+    readonly tool: "draft_specification";
+    readonly args: {
+        readonly candidate: string;
+        readonly previousDraft?: string | undefined;
+        readonly feedback?: string | undefined;
+    };
+} | {
+    readonly tool: "plan_environment";
+    readonly args: {
+        readonly candidate: string;
+        readonly recipeIds: readonly string[];
+        readonly executionMode: "source" | "emitted" | "repository-default";
+        readonly targetRoots: readonly string[];
+        readonly requiredArtifacts: readonly string[];
+        readonly justification: string;
+    };
+} | {
+    readonly tool: "probe_fixture";
+    readonly args: {
+        readonly candidate: string;
+        readonly environment: string;
+        readonly fixtureDraft: string;
+    };
+} | {
+    readonly tool: "qualify_reference";
+    readonly args: {
+        readonly candidate: string;
+        readonly environment: string;
+    };
+} | {
+    readonly tool: "author_oracle";
+    readonly args: {
+        readonly candidate: string;
+        readonly specification: string;
+        readonly previousOracle?: string | undefined;
+        readonly findings?: string | undefined;
+    };
+} | {
+    readonly tool: "generate_controls";
+    readonly args: {
+        readonly candidate: string;
+        readonly specification: string;
+        readonly environment: string;
+        readonly kind: "valid" | "wrong";
+    };
+} | {
+    readonly tool: "evaluate_oracle";
+    readonly args: {
+        readonly candidate: string;
+        readonly oracle: string;
+        readonly controls: readonly string[];
+    };
+} | {
+    readonly tool: "repair_oracle";
+    readonly args: {
+        readonly candidate: string;
+        readonly oracle: string;
+        readonly findings: string;
+    };
+} | {
+    readonly tool: "freeze_candidate";
+    readonly args: {
+        readonly candidate: string;
+        readonly revision: string;
+    };
+} | {
+    readonly tool: "run_held_out_challenge";
+    readonly args: {
+        readonly frozenCandidate: string;
+    };
+} | {
+    readonly tool: "request_admission";
+    readonly args: {
+        readonly frozenCandidate: string;
+        readonly qualification: string;
+    };
+} | {
+    readonly tool: "get_progress";
+    readonly args: {
+        readonly candidate?: string | undefined;
+    };
+} | {
+    readonly tool: "read_diagnostics";
+    readonly args: {
+        readonly operation: string;
+        readonly maximumBytes: number;
+        readonly cursor?: string | undefined;
+    };
+} | {
+    readonly tool: "reject_candidate";
+    readonly args: {
+        readonly candidate: string;
+        readonly reason: string;
+        readonly evidence: readonly string[];
+    };
+} | {
+    readonly tool: "finish_campaign";
+    readonly args: {
+        readonly reason: string;
+    };
+};
+export declare const AgenticTrustedInvocationV1: Schema.Struct<{
+    readonly orgId: Schema.String;
+    readonly campaignId: Schema.String;
+    readonly executionId: Schema.String;
+    readonly epoch: Schema.Finite;
+    readonly operationId: Schema.String;
+    readonly inputDigest: Schema.String;
+    readonly candidateRevision: Schema.optionalKey<Schema.String>;
+    readonly actorRole: Schema.String;
+    readonly modelBinding: Schema.String;
+    readonly reservation: Schema.String;
+    readonly deadlineAt: Schema.String;
+    readonly maximumModelCalls: Schema.optionalKey<Schema.Finite>;
+    readonly maximumWallTimeMs: Schema.optionalKey<Schema.Finite>;
+    readonly toolBundleDigest: Schema.String;
+    readonly traceparent: Schema.optionalKey<Schema.String>;
+    readonly request: Schema.Union<readonly [Schema.Struct<{
+        readonly tool: Schema.Literal<"inspect_repository">;
+        readonly args: Schema.Struct<{}>;
+    }>, Schema.Struct<{
+        readonly tool: Schema.Literal<"list_candidates">;
+        readonly args: Schema.Struct<{
+            readonly coverageCell: Schema.String;
+            readonly cursor: Schema.optionalKey<Schema.String>;
+            readonly limit: Schema.Finite;
+        }>;
+    }>, Schema.Struct<{
+        readonly tool: Schema.Literal<"read_source">;
+        readonly args: Schema.Struct<{
+            readonly source: Schema.String;
+            readonly path: Schema.String;
+            readonly offset: Schema.Finite;
+            readonly length: Schema.Finite;
+        }>;
+    }>, Schema.Struct<{
+        readonly tool: Schema.Literal<"search_source">;
+        readonly args: Schema.Struct<{
+            readonly source: Schema.String;
+            readonly query: Schema.String;
+            readonly cursor: Schema.optionalKey<Schema.String>;
+        }>;
+    }>, Schema.Struct<{
+        readonly tool: Schema.Literal<"draft_specification">;
+        readonly args: Schema.Struct<{
+            readonly candidate: Schema.String;
+            readonly previousDraft: Schema.optionalKey<Schema.String>;
+            readonly feedback: Schema.optionalKey<Schema.String>;
+        }>;
+    }>, Schema.Struct<{
+        readonly tool: Schema.Literal<"plan_environment">;
+        readonly args: Schema.Struct<{
+            readonly candidate: Schema.String;
+            readonly recipeIds: Schema.$Array<Schema.String>;
+            readonly executionMode: Schema.Literals<readonly ["source", "emitted", "repository-default"]>;
+            readonly targetRoots: Schema.$Array<Schema.Union<readonly [Schema.Literal<".">, Schema.String]>>;
+            readonly requiredArtifacts: Schema.$Array<Schema.String>;
+            readonly justification: Schema.String;
+        }>;
+    }>, Schema.Struct<{
+        readonly tool: Schema.Literal<"probe_fixture">;
+        readonly args: Schema.Struct<{
+            readonly candidate: Schema.String;
+            readonly environment: Schema.String;
+            readonly fixtureDraft: Schema.String;
+        }>;
+    }>, Schema.Struct<{
+        readonly tool: Schema.Literal<"qualify_reference">;
+        readonly args: Schema.Struct<{
+            readonly candidate: Schema.String;
+            readonly environment: Schema.String;
+        }>;
+    }>, Schema.Struct<{
+        readonly tool: Schema.Literal<"author_oracle">;
+        readonly args: Schema.Struct<{
+            readonly candidate: Schema.String;
+            readonly specification: Schema.String;
+            readonly previousOracle: Schema.optionalKey<Schema.String>;
+            readonly findings: Schema.optionalKey<Schema.String>;
+        }>;
+    }>, Schema.Struct<{
+        readonly tool: Schema.Literal<"generate_controls">;
+        readonly args: Schema.Struct<{
+            readonly candidate: Schema.String;
+            readonly specification: Schema.String;
+            readonly environment: Schema.String;
+            readonly kind: Schema.Literals<readonly ["valid", "wrong"]>;
+        }>;
+    }>, Schema.Struct<{
+        readonly tool: Schema.Literal<"evaluate_oracle">;
+        readonly args: Schema.Struct<{
+            readonly candidate: Schema.String;
+            readonly oracle: Schema.String;
+            readonly controls: Schema.$Array<Schema.String>;
+        }>;
+    }>, Schema.Struct<{
+        readonly tool: Schema.Literal<"repair_oracle">;
+        readonly args: Schema.Struct<{
+            readonly candidate: Schema.String;
+            readonly oracle: Schema.String;
+            readonly findings: Schema.String;
+        }>;
+    }>, Schema.Struct<{
+        readonly tool: Schema.Literal<"freeze_candidate">;
+        readonly args: Schema.Struct<{
+            readonly candidate: Schema.String;
+            readonly revision: Schema.String;
+        }>;
+    }>, Schema.Struct<{
+        readonly tool: Schema.Literal<"run_held_out_challenge">;
+        readonly args: Schema.Struct<{
+            readonly frozenCandidate: Schema.String;
+        }>;
+    }>, Schema.Struct<{
+        readonly tool: Schema.Literal<"request_admission">;
+        readonly args: Schema.Struct<{
+            readonly frozenCandidate: Schema.String;
+            readonly qualification: Schema.String;
+        }>;
+    }>, Schema.Struct<{
+        readonly tool: Schema.Literal<"get_progress">;
+        readonly args: Schema.Struct<{
+            readonly candidate: Schema.optionalKey<Schema.String>;
+        }>;
+    }>, Schema.Struct<{
+        readonly tool: Schema.Literal<"read_diagnostics">;
+        readonly args: Schema.Struct<{
+            readonly operation: Schema.String;
+            readonly cursor: Schema.optionalKey<Schema.String>;
+            readonly maximumBytes: Schema.Finite;
+        }>;
+    }>, Schema.Struct<{
+        readonly tool: Schema.Literal<"reject_candidate">;
+        readonly args: Schema.Struct<{
+            readonly candidate: Schema.String;
+            readonly reason: Schema.String;
+            readonly evidence: Schema.$Array<Schema.String>;
+        }>;
+    }>, Schema.Struct<{
+        readonly tool: Schema.Literal<"finish_campaign">;
+        readonly args: Schema.Struct<{
+            readonly reason: Schema.String;
+        }>;
+    }>]>;
+}>;
+export type AgenticTrustedInvocationV1 = typeof AgenticTrustedInvocationV1.Type;
+export declare const decodeAgenticTrustedInvocationV1: (input: unknown, options?: import("effect/SchemaAST").ParseOptions) => {
+    readonly operationId: string;
+    readonly orgId: string;
+    readonly campaignId: string;
+    readonly executionId: string;
+    readonly epoch: number;
+    readonly inputDigest: string;
+    readonly actorRole: string;
+    readonly modelBinding: string;
+    readonly reservation: string;
+    readonly deadlineAt: string;
+    readonly toolBundleDigest: string;
+    readonly request: {
+        readonly tool: "inspect_repository";
+        readonly args: {};
+    } | {
+        readonly tool: "list_candidates";
+        readonly args: {
+            readonly coverageCell: string;
+            readonly limit: number;
+            readonly cursor?: string | undefined;
+        };
+    } | {
+        readonly tool: "read_source";
+        readonly args: {
+            readonly source: string;
+            readonly path: string;
+            readonly offset: number;
+            readonly length: number;
+        };
+    } | {
+        readonly tool: "search_source";
+        readonly args: {
+            readonly source: string;
+            readonly query: string;
+            readonly cursor?: string | undefined;
+        };
+    } | {
+        readonly tool: "draft_specification";
+        readonly args: {
+            readonly candidate: string;
+            readonly previousDraft?: string | undefined;
+            readonly feedback?: string | undefined;
+        };
+    } | {
+        readonly tool: "plan_environment";
+        readonly args: {
+            readonly candidate: string;
+            readonly recipeIds: readonly string[];
+            readonly executionMode: "source" | "emitted" | "repository-default";
+            readonly targetRoots: readonly string[];
+            readonly requiredArtifacts: readonly string[];
+            readonly justification: string;
+        };
+    } | {
+        readonly tool: "probe_fixture";
+        readonly args: {
+            readonly candidate: string;
+            readonly environment: string;
+            readonly fixtureDraft: string;
+        };
+    } | {
+        readonly tool: "qualify_reference";
+        readonly args: {
+            readonly candidate: string;
+            readonly environment: string;
+        };
+    } | {
+        readonly tool: "author_oracle";
+        readonly args: {
+            readonly candidate: string;
+            readonly specification: string;
+            readonly previousOracle?: string | undefined;
+            readonly findings?: string | undefined;
+        };
+    } | {
+        readonly tool: "generate_controls";
+        readonly args: {
+            readonly candidate: string;
+            readonly specification: string;
+            readonly environment: string;
+            readonly kind: "valid" | "wrong";
+        };
+    } | {
+        readonly tool: "evaluate_oracle";
+        readonly args: {
+            readonly candidate: string;
+            readonly oracle: string;
+            readonly controls: readonly string[];
+        };
+    } | {
+        readonly tool: "repair_oracle";
+        readonly args: {
+            readonly candidate: string;
+            readonly oracle: string;
+            readonly findings: string;
+        };
+    } | {
+        readonly tool: "freeze_candidate";
+        readonly args: {
+            readonly candidate: string;
+            readonly revision: string;
+        };
+    } | {
+        readonly tool: "run_held_out_challenge";
+        readonly args: {
+            readonly frozenCandidate: string;
+        };
+    } | {
+        readonly tool: "request_admission";
+        readonly args: {
+            readonly frozenCandidate: string;
+            readonly qualification: string;
+        };
+    } | {
+        readonly tool: "get_progress";
+        readonly args: {
+            readonly candidate?: string | undefined;
+        };
+    } | {
+        readonly tool: "read_diagnostics";
+        readonly args: {
+            readonly operation: string;
+            readonly maximumBytes: number;
+            readonly cursor?: string | undefined;
+        };
+    } | {
+        readonly tool: "reject_candidate";
+        readonly args: {
+            readonly candidate: string;
+            readonly reason: string;
+            readonly evidence: readonly string[];
+        };
+    } | {
+        readonly tool: "finish_campaign";
+        readonly args: {
+            readonly reason: string;
+        };
+    };
+    readonly maximumModelCalls?: number | undefined;
+    readonly maximumWallTimeMs?: number | undefined;
+    readonly candidateRevision?: string | undefined;
+    readonly traceparent?: string | undefined;
+};
+export declare const AgenticProgressFingerprintV1: Schema.Struct<{
+    readonly version: Schema.Literal<1>;
+    readonly acceptedEvidenceDigest: Schema.String;
+    readonly completedGateDigest: Schema.String;
+    readonly environmentDigest: Schema.NullOr<Schema.String>;
+    readonly continuationProgressDigest: Schema.optionalKey<Schema.NullOr<Schema.String>>;
+}>;
+export type AgenticProgressFingerprintV1 = typeof AgenticProgressFingerprintV1.Type;
+export declare const decodeAgenticProgressFingerprintV1: (input: unknown, options?: import("effect/SchemaAST").ParseOptions) => {
+    readonly version: 1;
+    readonly environmentDigest: string | null;
+    readonly acceptedEvidenceDigest: string;
+    readonly completedGateDigest: string;
+    readonly continuationProgressDigest?: string | null | undefined;
+};
+/** Host-computed scientific progress; model prose and activity are never inputs. */
+export declare const AgenticScientificProgressReceiptV1: Schema.Struct<{
+    readonly version: Schema.Literal<1>;
+    readonly receiptId: Schema.String;
+    readonly operationId: Schema.String;
+    readonly capability: Schema.Literals<readonly ["inspect_repository", "list_candidates", "read_source", "search_source", "draft_specification", "plan_environment", "probe_fixture", "qualify_reference", "author_oracle", "generate_controls", "evaluate_oracle", "repair_oracle", "freeze_candidate", "run_held_out_challenge", "request_admission", "get_progress", "read_diagnostics", "reject_candidate", "finish_campaign"]>;
+    readonly scientificRole: Schema.String;
+    readonly phase: Schema.String;
+    readonly inputRevision: Schema.NullOr<Schema.String>;
+    readonly outputRevision: Schema.NullOr<Schema.String>;
+    readonly acceptedEvidenceDigest: Schema.String;
+    readonly previousFingerprint: Schema.NullOr<Schema.Struct<{
+        readonly version: Schema.Literal<1>;
+        readonly acceptedEvidenceDigest: Schema.String;
+        readonly completedGateDigest: Schema.String;
+        readonly environmentDigest: Schema.NullOr<Schema.String>;
+        readonly continuationProgressDigest: Schema.optionalKey<Schema.NullOr<Schema.String>>;
+    }>>;
+    readonly resultingFingerprint: Schema.Struct<{
+        readonly version: Schema.Literal<1>;
+        readonly acceptedEvidenceDigest: Schema.String;
+        readonly completedGateDigest: Schema.String;
+        readonly environmentDigest: Schema.NullOr<Schema.String>;
+        readonly continuationProgressDigest: Schema.optionalKey<Schema.NullOr<Schema.String>>;
+    }>;
+    readonly acceptedEvidenceAdded: Schema.$Array<Schema.String>;
+    readonly acceptedEvidenceRemoved: Schema.$Array<Schema.String>;
+    readonly gatesCompleted: Schema.$Array<Schema.String>;
+    readonly gatesInvalidated: Schema.$Array<Schema.String>;
+    readonly sameFingerprintCount: Schema.Finite;
+    readonly consumption: Schema.Struct<{
+        readonly wallTimeMs: Schema.Finite;
+        readonly receivedCalls: Schema.Finite;
+        readonly spendKnownUsd: Schema.String;
+        readonly spendUnknown: Schema.Boolean;
+    }>;
+    readonly remaining: Schema.Struct<{
+        readonly phaseCalls: Schema.Finite;
+        readonly phaseSpendUsd: Schema.NullOr<Schema.String>;
+        readonly phaseWallTimeMs: Schema.Finite;
+        readonly phaseAttempts: Schema.Finite;
+        readonly downstreamCalls: Schema.Finite;
+        readonly downstreamSpendUsd: Schema.NullOr<Schema.String>;
+        readonly downstreamWallTimeMs: Schema.Finite;
+        readonly downstreamAttempts: Schema.Finite;
+    }>;
+    readonly recordedAt: Schema.String;
+}>;
+export type AgenticScientificProgressReceiptV1 = typeof AgenticScientificProgressReceiptV1.Type;
+export declare const decodeAgenticScientificProgressReceiptV1: (input: unknown, options?: import("effect/SchemaAST").ParseOptions) => {
+    readonly version: 1;
+    readonly receiptId: string;
+    readonly operationId: string;
+    readonly capability: "inspect_repository" | "list_candidates" | "read_source" | "search_source" | "draft_specification" | "plan_environment" | "probe_fixture" | "qualify_reference" | "author_oracle" | "generate_controls" | "evaluate_oracle" | "repair_oracle" | "freeze_candidate" | "run_held_out_challenge" | "request_admission" | "get_progress" | "read_diagnostics" | "reject_candidate" | "finish_campaign";
+    readonly scientificRole: string;
+    readonly phase: string;
+    readonly inputRevision: string | null;
+    readonly outputRevision: string | null;
+    readonly acceptedEvidenceDigest: string;
+    readonly previousFingerprint: {
+        readonly version: 1;
+        readonly environmentDigest: string | null;
+        readonly acceptedEvidenceDigest: string;
+        readonly completedGateDigest: string;
+        readonly continuationProgressDigest?: string | null | undefined;
+    } | null;
+    readonly resultingFingerprint: {
+        readonly version: 1;
+        readonly environmentDigest: string | null;
+        readonly acceptedEvidenceDigest: string;
+        readonly completedGateDigest: string;
+        readonly continuationProgressDigest?: string | null | undefined;
+    };
+    readonly acceptedEvidenceAdded: readonly string[];
+    readonly acceptedEvidenceRemoved: readonly string[];
+    readonly gatesCompleted: readonly string[];
+    readonly gatesInvalidated: readonly string[];
+    readonly sameFingerprintCount: number;
+    readonly consumption: {
+        readonly wallTimeMs: number;
+        readonly receivedCalls: number;
+        readonly spendKnownUsd: string;
+        readonly spendUnknown: boolean;
+    };
+    readonly remaining: {
+        readonly phaseCalls: number;
+        readonly phaseSpendUsd: string | null;
+        readonly phaseWallTimeMs: number;
+        readonly phaseAttempts: number;
+        readonly downstreamCalls: number;
+        readonly downstreamSpendUsd: string | null;
+        readonly downstreamWallTimeMs: number;
+        readonly downstreamAttempts: number;
+    };
+    readonly recordedAt: string;
+};
+/** Privacy-safe sequence evidence returned at the control error boundary. */
+export declare const AgenticScientificProgressSequenceDiagnosticV1: Schema.Struct<{
+    readonly accepted: Schema.Boolean;
+    readonly previousFingerprintPresent: Schema.Boolean;
+    readonly previousFingerprintComponentsMatch: Schema.Struct<{
+        readonly acceptedEvidence: Schema.Boolean;
+        readonly completedGates: Schema.Boolean;
+        readonly environment: Schema.Boolean;
+    }>;
+    readonly resultingFingerprintUnchanged: Schema.Boolean;
+    readonly previousCapability: Schema.Literals<readonly ["inspect_repository", "list_candidates", "read_source", "search_source", "draft_specification", "plan_environment", "probe_fixture", "qualify_reference", "author_oracle", "generate_controls", "evaluate_oracle", "repair_oracle", "freeze_candidate", "run_held_out_challenge", "request_admission", "get_progress", "read_diagnostics", "reject_candidate", "finish_campaign"]>;
+    readonly receivedCapability: Schema.Literals<readonly ["inspect_repository", "list_candidates", "read_source", "search_source", "draft_specification", "plan_environment", "probe_fixture", "qualify_reference", "author_oracle", "generate_controls", "evaluate_oracle", "repair_oracle", "freeze_candidate", "run_held_out_challenge", "request_admission", "get_progress", "read_diagnostics", "reject_candidate", "finish_campaign"]>;
+    readonly capabilityContinued: Schema.Boolean;
+    readonly expectedSameFingerprintCount: Schema.Finite;
+    readonly receivedSameFingerprintCount: Schema.Finite;
+}>;
+export type AgenticScientificProgressSequenceDiagnosticV1 = typeof AgenticScientificProgressSequenceDiagnosticV1.Type;
+export declare const decodeAgenticScientificProgressSequenceDiagnosticV1: (input: unknown, options?: import("effect/SchemaAST").ParseOptions) => {
+    readonly accepted: boolean;
+    readonly previousFingerprintPresent: boolean;
+    readonly previousFingerprintComponentsMatch: {
+        readonly acceptedEvidence: boolean;
+        readonly completedGates: boolean;
+        readonly environment: boolean;
+    };
+    readonly resultingFingerprintUnchanged: boolean;
+    readonly previousCapability: "inspect_repository" | "list_candidates" | "read_source" | "search_source" | "draft_specification" | "plan_environment" | "probe_fixture" | "qualify_reference" | "author_oracle" | "generate_controls" | "evaluate_oracle" | "repair_oracle" | "freeze_candidate" | "run_held_out_challenge" | "request_admission" | "get_progress" | "read_diagnostics" | "reject_candidate" | "finish_campaign";
+    readonly receivedCapability: "inspect_repository" | "list_candidates" | "read_source" | "search_source" | "draft_specification" | "plan_environment" | "probe_fixture" | "qualify_reference" | "author_oracle" | "generate_controls" | "evaluate_oracle" | "repair_oracle" | "freeze_candidate" | "run_held_out_challenge" | "request_admission" | "get_progress" | "read_diagnostics" | "reject_candidate" | "finish_campaign";
+    readonly capabilityContinued: boolean;
+    readonly expectedSameFingerprintCount: number;
+    readonly receivedSameFingerprintCount: number;
+};
+export declare const AgenticCapabilityReconciliationV1: Schema.Struct<{
+    readonly kind: Schema.Literals<readonly ["applied", "already_applied", "scientific_progress_stale", "scientific_progress_conflict"]>;
+    readonly latestProgressReceipt: Schema.NullOr<Schema.String>;
+    readonly recoveryAction: Schema.Literals<readonly ["continue", "get_progress", "stop"]>;
+}>;
+export type AgenticCapabilityReconciliationV1 = typeof AgenticCapabilityReconciliationV1.Type;
+export declare const decodeAgenticCapabilityReconciliationV1: (input: unknown, options?: import("effect/SchemaAST").ParseOptions) => {
+    readonly kind: "applied" | "already_applied" | "scientific_progress_stale" | "scientific_progress_conflict";
+    readonly latestProgressReceipt: string | null;
+    readonly recoveryAction: "get_progress" | "continue" | "stop";
+};
+/**
+ * Bounded Sandbox-to-Cloud settlement for an admitted capability that failed
+ * before it could produce a normal scientific receipt. This closes known
+ * local failures immediately while preserving genuinely ambiguous external
+ * effects as uncertain.
+ */
+export declare const AgenticCapabilityExecutionFailureV1: Schema.Struct<{
+    readonly classification: Schema.Literals<readonly ["deterministic_local", "external_outcome_unknown", "cancelled"]>;
+    readonly code: Schema.String;
+}>;
+export type AgenticCapabilityExecutionFailureV1 = typeof AgenticCapabilityExecutionFailureV1.Type;
+export declare const decodeAgenticCapabilityExecutionFailureV1: (input: unknown, options?: import("effect/SchemaAST").ParseOptions) => {
+    readonly classification: "deterministic_local" | "external_outcome_unknown" | "cancelled";
+    readonly code: string;
+};
+export declare const AgenticCapabilityResultV1: Schema.Struct<{
+    readonly outcome: Schema.Literals<readonly ["completed", "progress", "environment_blocked", "scientific_rejection", "budget_exhausted", "cancelled", "infrastructure_uncertain"]>;
+    readonly operation: Schema.String;
+    readonly inputDigest: Schema.String;
+    readonly candidateRevision: Schema.optionalKey<Schema.String>;
+    readonly accepted: Schema.$Array<Schema.String>;
+    readonly evidenceSummary: Schema.String;
+    readonly gradeExecuted: Schema.optionalKey<Schema.Boolean>;
+    readonly diagnostics: Schema.optionalKey<Schema.String>;
+    readonly logCursor: Schema.optionalKey<Schema.String>;
+    readonly pendingJob: Schema.optionalKey<Schema.String>;
+    readonly exhaustionScope: Schema.optionalKey<Schema.Literals<readonly ["campaign", "execution_epoch_orchestration", "scientific_role"]>>;
+    readonly progressReceipt: Schema.optionalKey<Schema.Struct<{
+        readonly version: Schema.Literal<1>;
+        readonly receiptId: Schema.String;
+        readonly operationId: Schema.String;
+        readonly capability: Schema.Literals<readonly ["inspect_repository", "list_candidates", "read_source", "search_source", "draft_specification", "plan_environment", "probe_fixture", "qualify_reference", "author_oracle", "generate_controls", "evaluate_oracle", "repair_oracle", "freeze_candidate", "run_held_out_challenge", "request_admission", "get_progress", "read_diagnostics", "reject_candidate", "finish_campaign"]>;
+        readonly scientificRole: Schema.String;
+        readonly phase: Schema.String;
+        readonly inputRevision: Schema.NullOr<Schema.String>;
+        readonly outputRevision: Schema.NullOr<Schema.String>;
+        readonly acceptedEvidenceDigest: Schema.String;
+        readonly previousFingerprint: Schema.NullOr<Schema.Struct<{
+            readonly version: Schema.Literal<1>;
+            readonly acceptedEvidenceDigest: Schema.String;
+            readonly completedGateDigest: Schema.String;
+            readonly environmentDigest: Schema.NullOr<Schema.String>;
+            readonly continuationProgressDigest: Schema.optionalKey<Schema.NullOr<Schema.String>>;
+        }>>;
+        readonly resultingFingerprint: Schema.Struct<{
+            readonly version: Schema.Literal<1>;
+            readonly acceptedEvidenceDigest: Schema.String;
+            readonly completedGateDigest: Schema.String;
+            readonly environmentDigest: Schema.NullOr<Schema.String>;
+            readonly continuationProgressDigest: Schema.optionalKey<Schema.NullOr<Schema.String>>;
+        }>;
+        readonly acceptedEvidenceAdded: Schema.$Array<Schema.String>;
+        readonly acceptedEvidenceRemoved: Schema.$Array<Schema.String>;
+        readonly gatesCompleted: Schema.$Array<Schema.String>;
+        readonly gatesInvalidated: Schema.$Array<Schema.String>;
+        readonly sameFingerprintCount: Schema.Finite;
+        readonly consumption: Schema.Struct<{
+            readonly wallTimeMs: Schema.Finite;
+            readonly receivedCalls: Schema.Finite;
+            readonly spendKnownUsd: Schema.String;
+            readonly spendUnknown: Schema.Boolean;
+        }>;
+        readonly remaining: Schema.Struct<{
+            readonly phaseCalls: Schema.Finite;
+            readonly phaseSpendUsd: Schema.NullOr<Schema.String>;
+            readonly phaseWallTimeMs: Schema.Finite;
+            readonly phaseAttempts: Schema.Finite;
+            readonly downstreamCalls: Schema.Finite;
+            readonly downstreamSpendUsd: Schema.NullOr<Schema.String>;
+            readonly downstreamWallTimeMs: Schema.Finite;
+            readonly downstreamAttempts: Schema.Finite;
+        }>;
+        readonly recordedAt: Schema.String;
+    }>>;
+    readonly reconciliation: Schema.optionalKey<Schema.Struct<{
+        readonly kind: Schema.Literals<readonly ["applied", "already_applied", "scientific_progress_stale", "scientific_progress_conflict"]>;
+        readonly latestProgressReceipt: Schema.NullOr<Schema.String>;
+        readonly recoveryAction: Schema.Literals<readonly ["continue", "get_progress", "stop"]>;
+    }>>;
+    readonly usage: Schema.Struct<{
+        readonly receivedCalls: Schema.Finite;
+        readonly spendKnownUsd: Schema.String;
+        readonly spendUnknown: Schema.Boolean;
+    }>;
+    readonly allowedNext: Schema.$Array<Schema.Literals<readonly ["inspect_repository", "list_candidates", "read_source", "search_source", "draft_specification", "plan_environment", "probe_fixture", "qualify_reference", "author_oracle", "generate_controls", "evaluate_oracle", "repair_oracle", "freeze_candidate", "run_held_out_challenge", "request_admission", "get_progress", "read_diagnostics", "reject_candidate", "finish_campaign"]>>;
+}>;
+export type AgenticCapabilityResultV1 = typeof AgenticCapabilityResultV1.Type;
+export declare const decodeAgenticCapabilityResultV1: (input: unknown, options?: import("effect/SchemaAST").ParseOptions) => {
+    readonly outcome: "completed" | "progress" | "cancelled" | "environment_blocked" | "scientific_rejection" | "budget_exhausted" | "infrastructure_uncertain";
+    readonly operation: string;
+    readonly inputDigest: string;
+    readonly accepted: readonly string[];
+    readonly usage: {
+        readonly receivedCalls: number;
+        readonly spendKnownUsd: string;
+        readonly spendUnknown: boolean;
+    };
+    readonly allowedNext: readonly ("inspect_repository" | "list_candidates" | "read_source" | "search_source" | "draft_specification" | "plan_environment" | "probe_fixture" | "qualify_reference" | "author_oracle" | "generate_controls" | "evaluate_oracle" | "repair_oracle" | "freeze_candidate" | "run_held_out_challenge" | "request_admission" | "get_progress" | "read_diagnostics" | "reject_candidate" | "finish_campaign")[];
+    readonly evidenceSummary: string;
+    readonly gradeExecuted?: boolean | undefined;
+    readonly candidateRevision?: string | undefined;
+    readonly diagnostics?: string | undefined;
+    readonly logCursor?: string | undefined;
+    readonly pendingJob?: string | undefined;
+    readonly exhaustionScope?: "campaign" | "execution_epoch_orchestration" | "scientific_role" | undefined;
+    readonly progressReceipt?: {
+        readonly version: 1;
+        readonly receiptId: string;
+        readonly operationId: string;
+        readonly capability: "inspect_repository" | "list_candidates" | "read_source" | "search_source" | "draft_specification" | "plan_environment" | "probe_fixture" | "qualify_reference" | "author_oracle" | "generate_controls" | "evaluate_oracle" | "repair_oracle" | "freeze_candidate" | "run_held_out_challenge" | "request_admission" | "get_progress" | "read_diagnostics" | "reject_candidate" | "finish_campaign";
+        readonly scientificRole: string;
+        readonly phase: string;
+        readonly inputRevision: string | null;
+        readonly outputRevision: string | null;
+        readonly acceptedEvidenceDigest: string;
+        readonly previousFingerprint: {
+            readonly version: 1;
+            readonly environmentDigest: string | null;
+            readonly acceptedEvidenceDigest: string;
+            readonly completedGateDigest: string;
+            readonly continuationProgressDigest?: string | null | undefined;
+        } | null;
+        readonly resultingFingerprint: {
+            readonly version: 1;
+            readonly environmentDigest: string | null;
+            readonly acceptedEvidenceDigest: string;
+            readonly completedGateDigest: string;
+            readonly continuationProgressDigest?: string | null | undefined;
+        };
+        readonly acceptedEvidenceAdded: readonly string[];
+        readonly acceptedEvidenceRemoved: readonly string[];
+        readonly gatesCompleted: readonly string[];
+        readonly gatesInvalidated: readonly string[];
+        readonly sameFingerprintCount: number;
+        readonly consumption: {
+            readonly wallTimeMs: number;
+            readonly receivedCalls: number;
+            readonly spendKnownUsd: string;
+            readonly spendUnknown: boolean;
+        };
+        readonly remaining: {
+            readonly phaseCalls: number;
+            readonly phaseSpendUsd: string | null;
+            readonly phaseWallTimeMs: number;
+            readonly phaseAttempts: number;
+            readonly downstreamCalls: number;
+            readonly downstreamSpendUsd: string | null;
+            readonly downstreamWallTimeMs: number;
+            readonly downstreamAttempts: number;
+        };
+        readonly recordedAt: string;
+    } | undefined;
+    readonly reconciliation?: {
+        readonly kind: "applied" | "already_applied" | "scientific_progress_stale" | "scientific_progress_conflict";
+        readonly latestProgressReceipt: string | null;
+        readonly recoveryAction: "get_progress" | "continue" | "stop";
+    } | undefined;
+};
+export declare const AgenticEnvironmentPlanV1: Schema.Struct<{
+    readonly version: Schema.Literal<1>;
+    readonly planId: Schema.String;
+    readonly candidate: Schema.String;
+    readonly revision: Schema.String;
+    readonly sourceDigest: Schema.String;
+    readonly commitSha: Schema.String;
+    readonly recipeIds: Schema.$Array<Schema.String>;
+    readonly executionMode: Schema.Literals<readonly ["source", "emitted", "repository-default"]>;
+    readonly targetRoots: Schema.$Array<Schema.Union<readonly [Schema.Literal<".">, Schema.String]>>;
+    readonly dependencyClosure: Schema.$Array<Schema.Union<readonly [Schema.Literal<".">, Schema.String]>>;
+    readonly requiredArtifacts: Schema.$Array<Schema.String>;
+    readonly lockfileDigest: Schema.NullOr<Schema.String>;
+    readonly packageManager: Schema.NullOr<Schema.Struct<{
+        readonly name: Schema.String;
+        readonly version: Schema.String;
+    }>>;
+    readonly runtime: Schema.Struct<{
+        readonly name: Schema.String;
+        readonly version: Schema.String;
+        readonly platform: Schema.String;
+        readonly architecture: Schema.String;
+    }>;
+    readonly commands: Schema.$Array<Schema.Struct<{
+        readonly id: Schema.String;
+        readonly purpose: Schema.Literals<readonly ["install", "build", "generate", "probe", "grade"]>;
+        readonly executable: Schema.String;
+        readonly args: Schema.$Array<Schema.String>;
+        readonly cwd: Schema.NullOr<Schema.String>;
+        readonly timeoutMs: Schema.Finite;
+    }>>;
+    readonly expectedCost: Schema.Struct<{
+        readonly wallTimeMs: Schema.Finite;
+        readonly spendUsd: Schema.NullOr<Schema.String>;
+    }>;
+    readonly justification: Schema.String;
+    readonly justificationEvidence: Schema.$Array<Schema.String>;
+}>;
+export type AgenticEnvironmentPlanV1 = typeof AgenticEnvironmentPlanV1.Type;
+export declare const decodeAgenticEnvironmentPlanV1: (input: unknown, options?: import("effect/SchemaAST").ParseOptions) => {
+    readonly version: 1;
+    readonly planId: string;
+    readonly candidate: string;
+    readonly revision: string;
+    readonly sourceDigest: string;
+    readonly commitSha: string;
+    readonly recipeIds: readonly string[];
+    readonly executionMode: "source" | "emitted" | "repository-default";
+    readonly targetRoots: readonly string[];
+    readonly dependencyClosure: readonly string[];
+    readonly requiredArtifacts: readonly string[];
+    readonly lockfileDigest: string | null;
+    readonly packageManager: {
+        readonly name: string;
+        readonly version: string;
+    } | null;
+    readonly runtime: {
+        readonly name: string;
+        readonly version: string;
+        readonly platform: string;
+        readonly architecture: string;
+    };
+    readonly commands: readonly {
+        readonly id: string;
+        readonly purpose: "generate" | "build" | "grade" | "install" | "probe";
+        readonly executable: string;
+        readonly args: readonly string[];
+        readonly cwd: string | null;
+        readonly timeoutMs: number;
+    }[];
+    readonly expectedCost: {
+        readonly wallTimeMs: number;
+        readonly spendUsd: string | null;
+    };
+    readonly justification: string;
+    readonly justificationEvidence: readonly string[];
+};
+export declare const AgenticScientificInputsV1: Schema.Struct<{
+    readonly sourceDigest: Schema.String;
+    readonly environmentDigest: Schema.String;
+    readonly specificationDigest: Schema.String;
+    readonly oracleDigest: Schema.String;
+    readonly controlsDigest: Schema.String;
+    readonly policyDigest: Schema.String;
+    readonly modelPlanDigest: Schema.String;
+}>;
+export type AgenticScientificInputsV1 = typeof AgenticScientificInputsV1.Type;
+export declare const makeAgenticProgressFingerprintV1: (input: {
+    readonly acceptedEvidence: readonly {
+        readonly handle: string;
+        readonly contentDigest: string;
+        readonly kind: string;
+    }[];
+    readonly completedGates: readonly string[];
+    readonly environmentDigest: string | null;
+    readonly continuationProgressDigest?: string | null;
+}) => AgenticProgressFingerprintV1;
+export declare const AgenticCandidateV1: Schema.Union<readonly [Schema.Struct<{
+    readonly state: Schema.Literal<"draft">;
+    readonly version: Schema.Literal<1>;
+    readonly candidate: Schema.String;
+    readonly revision: Schema.String;
+    readonly coverageCell: Schema.String;
+    readonly sourceDigest: Schema.String;
+    readonly proposal: Schema.String;
+    readonly createdAt: Schema.String;
+}>, Schema.Struct<{
+    readonly state: Schema.Literal<"probed">;
+    readonly environment: Schema.String;
+    readonly observation: Schema.String;
+    readonly gradeExecuted: Schema.Boolean;
+    readonly version: Schema.Literal<1>;
+    readonly candidate: Schema.String;
+    readonly revision: Schema.String;
+    readonly coverageCell: Schema.String;
+    readonly sourceDigest: Schema.String;
+    readonly proposal: Schema.String;
+    readonly createdAt: Schema.String;
+}>, Schema.Struct<{
+    readonly state: Schema.Literal<"reference_qualified">;
+    readonly environment: Schema.String;
+    readonly referenceQualification: Schema.String;
+    readonly version: Schema.Literal<1>;
+    readonly candidate: Schema.String;
+    readonly revision: Schema.String;
+    readonly coverageCell: Schema.String;
+    readonly sourceDigest: Schema.String;
+    readonly proposal: Schema.String;
+    readonly createdAt: Schema.String;
+}>, Schema.Struct<{
+    readonly state: Schema.Literal<"frozen">;
+    readonly specification: Schema.String;
+    readonly oracle: Schema.String;
+    readonly controls: Schema.$Array<Schema.String>;
+    readonly tournament: Schema.String;
+    readonly inputs: Schema.Struct<{
+        readonly sourceDigest: Schema.String;
+        readonly environmentDigest: Schema.String;
+        readonly specificationDigest: Schema.String;
+        readonly oracleDigest: Schema.String;
+        readonly controlsDigest: Schema.String;
+        readonly policyDigest: Schema.String;
+        readonly modelPlanDigest: Schema.String;
+    }>;
+    readonly frozenAt: Schema.String;
+    readonly environment: Schema.String;
+    readonly referenceQualification: Schema.String;
+    readonly version: Schema.Literal<1>;
+    readonly candidate: Schema.String;
+    readonly revision: Schema.String;
+    readonly coverageCell: Schema.String;
+    readonly sourceDigest: Schema.String;
+    readonly proposal: Schema.String;
+    readonly createdAt: Schema.String;
+}>, Schema.Struct<{
+    readonly state: Schema.Literal<"admitted">;
+    readonly challenge: Schema.String;
+    readonly admission: Schema.String;
+    readonly specification: Schema.String;
+    readonly oracle: Schema.String;
+    readonly controls: Schema.$Array<Schema.String>;
+    readonly tournament: Schema.String;
+    readonly inputs: Schema.Struct<{
+        readonly sourceDigest: Schema.String;
+        readonly environmentDigest: Schema.String;
+        readonly specificationDigest: Schema.String;
+        readonly oracleDigest: Schema.String;
+        readonly controlsDigest: Schema.String;
+        readonly policyDigest: Schema.String;
+        readonly modelPlanDigest: Schema.String;
+    }>;
+    readonly frozenAt: Schema.String;
+    readonly environment: Schema.String;
+    readonly referenceQualification: Schema.String;
+    readonly version: Schema.Literal<1>;
+    readonly candidate: Schema.String;
+    readonly revision: Schema.String;
+    readonly coverageCell: Schema.String;
+    readonly sourceDigest: Schema.String;
+    readonly proposal: Schema.String;
+    readonly createdAt: Schema.String;
+}>, Schema.Struct<{
+    readonly state: Schema.Literal<"superseded">;
+    readonly reason: Schema.String;
+    readonly replacementRevision: Schema.String;
+    readonly evidence: Schema.$Array<Schema.String>;
+    readonly version: Schema.Literal<1>;
+    readonly candidate: Schema.String;
+    readonly revision: Schema.String;
+    readonly coverageCell: Schema.String;
+    readonly sourceDigest: Schema.String;
+    readonly proposal: Schema.String;
+    readonly createdAt: Schema.String;
+}>, Schema.Struct<{
+    readonly state: Schema.Literal<"rejected">;
+    readonly reason: Schema.String;
+    readonly evidence: Schema.$Array<Schema.String>;
+    readonly version: Schema.Literal<1>;
+    readonly candidate: Schema.String;
+    readonly revision: Schema.String;
+    readonly coverageCell: Schema.String;
+    readonly sourceDigest: Schema.String;
+    readonly proposal: Schema.String;
+    readonly createdAt: Schema.String;
+}>]>;
+export type AgenticCandidateV1 = typeof AgenticCandidateV1.Type;
+export declare const decodeAgenticCandidateV1: (input: unknown, options?: import("effect/SchemaAST").ParseOptions) => {
+    readonly state: "draft";
+    readonly version: 1;
+    readonly candidate: string;
+    readonly revision: string;
+    readonly coverageCell: string;
+    readonly sourceDigest: string;
+    readonly proposal: string;
+    readonly createdAt: string;
+} | {
+    readonly state: "probed";
+    readonly environment: string;
+    readonly observation: string;
+    readonly gradeExecuted: boolean;
+    readonly version: 1;
+    readonly candidate: string;
+    readonly revision: string;
+    readonly coverageCell: string;
+    readonly sourceDigest: string;
+    readonly proposal: string;
+    readonly createdAt: string;
+} | {
+    readonly state: "reference_qualified";
+    readonly environment: string;
+    readonly referenceQualification: string;
+    readonly version: 1;
+    readonly candidate: string;
+    readonly revision: string;
+    readonly coverageCell: string;
+    readonly sourceDigest: string;
+    readonly proposal: string;
+    readonly createdAt: string;
+} | {
+    readonly state: "frozen";
+    readonly specification: string;
+    readonly oracle: string;
+    readonly controls: readonly string[];
+    readonly tournament: string;
+    readonly inputs: {
+        readonly sourceDigest: string;
+        readonly environmentDigest: string;
+        readonly specificationDigest: string;
+        readonly oracleDigest: string;
+        readonly controlsDigest: string;
+        readonly policyDigest: string;
+        readonly modelPlanDigest: string;
+    };
+    readonly frozenAt: string;
+    readonly environment: string;
+    readonly referenceQualification: string;
+    readonly version: 1;
+    readonly candidate: string;
+    readonly revision: string;
+    readonly coverageCell: string;
+    readonly sourceDigest: string;
+    readonly proposal: string;
+    readonly createdAt: string;
+} | {
+    readonly state: "admitted";
+    readonly challenge: string;
+    readonly admission: string;
+    readonly specification: string;
+    readonly oracle: string;
+    readonly controls: readonly string[];
+    readonly tournament: string;
+    readonly inputs: {
+        readonly sourceDigest: string;
+        readonly environmentDigest: string;
+        readonly specificationDigest: string;
+        readonly oracleDigest: string;
+        readonly controlsDigest: string;
+        readonly policyDigest: string;
+        readonly modelPlanDigest: string;
+    };
+    readonly frozenAt: string;
+    readonly environment: string;
+    readonly referenceQualification: string;
+    readonly version: 1;
+    readonly candidate: string;
+    readonly revision: string;
+    readonly coverageCell: string;
+    readonly sourceDigest: string;
+    readonly proposal: string;
+    readonly createdAt: string;
+} | {
+    readonly state: "superseded";
+    readonly reason: string;
+    readonly replacementRevision: string;
+    readonly evidence: readonly string[];
+    readonly version: 1;
+    readonly candidate: string;
+    readonly revision: string;
+    readonly coverageCell: string;
+    readonly sourceDigest: string;
+    readonly proposal: string;
+    readonly createdAt: string;
+} | {
+    readonly state: "rejected";
+    readonly reason: string;
+    readonly evidence: readonly string[];
+    readonly version: 1;
+    readonly candidate: string;
+    readonly revision: string;
+    readonly coverageCell: string;
+    readonly sourceDigest: string;
+    readonly proposal: string;
+    readonly createdAt: string;
+};
+export declare const AgenticAcceptedArtifactV1: Schema.Struct<{
+    readonly handle: Schema.String;
+    readonly candidate: Schema.String;
+    readonly revision: Schema.String;
+    readonly contentDigest: Schema.String;
+    readonly kind: Schema.Literals<readonly ["proposal", "specification", "environment", "fixture", "observation", "reference_qualification", "oracle", "valid_controls", "wrong_controls", "tournament", "frozen_candidate", "held_out_challenge", "admission", "diagnostics"]>;
+    readonly state: Schema.Literals<readonly ["draft", "probed", "reference_qualified", "frozen", "admitted", "superseded", "rejected"]>;
+    readonly dependencies: Schema.Struct<{
+        readonly sourceDigest: Schema.optionalKey<Schema.String>;
+        readonly environmentDigest: Schema.optionalKey<Schema.String>;
+        readonly specificationDigest: Schema.optionalKey<Schema.String>;
+        readonly oracleDigest: Schema.optionalKey<Schema.String>;
+        readonly controlsDigest: Schema.optionalKey<Schema.String>;
+        readonly policyDigest: Schema.optionalKey<Schema.String>;
+        readonly modelPlanDigest: Schema.optionalKey<Schema.String>;
+    }>;
+    readonly gradeExecuted: Schema.optionalKey<Schema.Boolean>;
+    readonly fresh: Schema.optionalKey<Schema.Boolean>;
+}>;
+export type AgenticAcceptedArtifactV1 = typeof AgenticAcceptedArtifactV1.Type;
+export declare const decodeAgenticAcceptedArtifactV1: (input: unknown, options?: import("effect/SchemaAST").ParseOptions) => {
+    readonly kind: "environment" | "oracle" | "tournament" | "specification" | "diagnostics" | "proposal" | "observation" | "admission" | "fixture" | "reference_qualification" | "valid_controls" | "wrong_controls" | "frozen_candidate" | "held_out_challenge";
+    readonly candidate: string;
+    readonly revision: string;
+    readonly state: "admitted" | "rejected" | "draft" | "probed" | "reference_qualified" | "frozen" | "superseded";
+    readonly dependencies: {
+        readonly environmentDigest?: string | undefined;
+        readonly sourceDigest?: string | undefined;
+        readonly specificationDigest?: string | undefined;
+        readonly oracleDigest?: string | undefined;
+        readonly controlsDigest?: string | undefined;
+        readonly policyDigest?: string | undefined;
+        readonly modelPlanDigest?: string | undefined;
+    };
+    readonly handle: string;
+    readonly contentDigest: string;
+    readonly gradeExecuted?: boolean | undefined;
+    readonly fresh?: boolean | undefined;
+};
+export declare const AgenticQualityScorecardV1: Schema.Struct<{
+    readonly version: Schema.Literal<1>;
+    readonly candidate: Schema.String;
+    readonly revision: Schema.String;
+    readonly reference: Schema.Struct<{
+        readonly passed: Schema.Finite;
+        readonly failed: Schema.Finite;
+        readonly missing: Schema.Finite;
+        readonly evidence: Schema.$Array<Schema.String>;
+    }>;
+    readonly validControls: Schema.Struct<{
+        readonly passed: Schema.Finite;
+        readonly failed: Schema.Finite;
+        readonly missing: Schema.Finite;
+        readonly evidence: Schema.$Array<Schema.String>;
+    }>;
+    readonly wrongControls: Schema.Struct<{
+        readonly passed: Schema.Finite;
+        readonly failed: Schema.Finite;
+        readonly missing: Schema.Finite;
+        readonly evidence: Schema.$Array<Schema.String>;
+    }>;
+    readonly heldOut: Schema.Struct<{
+        readonly passed: Schema.Finite;
+        readonly failed: Schema.Finite;
+        readonly missing: Schema.Finite;
+        readonly evidence: Schema.$Array<Schema.String>;
+    }>;
+    readonly coverage: Schema.$Array<Schema.Struct<{
+        readonly cell: Schema.String;
+        readonly observed: Schema.Boolean;
+        readonly evidence: Schema.$Array<Schema.String>;
+    }>>;
+    readonly disposition: Schema.Literals<readonly ["draft", "environment_blocked", "qualified", "rejected", "admitted", "exhausted"]>;
+    readonly reasons: Schema.$Array<Schema.String>;
+    readonly missingEvidence: Schema.$Array<Schema.String>;
+    readonly usage: Schema.Struct<{
+        readonly elapsedMs: Schema.Finite;
+        readonly receivedCalls: Schema.Finite;
+        readonly spendKnownUsd: Schema.String;
+        readonly spendUnknown: Schema.Boolean;
+    }>;
+    readonly admission: Schema.NullOr<Schema.String>;
+}>;
+export type AgenticQualityScorecardV1 = typeof AgenticQualityScorecardV1.Type;
+export declare const decodeAgenticQualityScorecardV1: (input: unknown, options?: import("effect/SchemaAST").ParseOptions) => {
+    readonly version: 1;
+    readonly candidate: string;
+    readonly revision: string;
+    readonly reference: {
+        readonly passed: number;
+        readonly failed: number;
+        readonly missing: number;
+        readonly evidence: readonly string[];
+    };
+    readonly validControls: {
+        readonly passed: number;
+        readonly failed: number;
+        readonly missing: number;
+        readonly evidence: readonly string[];
+    };
+    readonly wrongControls: {
+        readonly passed: number;
+        readonly failed: number;
+        readonly missing: number;
+        readonly evidence: readonly string[];
+    };
+    readonly heldOut: {
+        readonly passed: number;
+        readonly failed: number;
+        readonly missing: number;
+        readonly evidence: readonly string[];
+    };
+    readonly coverage: readonly {
+        readonly cell: string;
+        readonly observed: boolean;
+        readonly evidence: readonly string[];
+    }[];
+    readonly disposition: "admitted" | "qualified" | "rejected" | "environment_blocked" | "draft" | "exhausted";
+    readonly reasons: readonly string[];
+    readonly missingEvidence: readonly string[];
+    readonly usage: {
+        readonly elapsedMs: number;
+        readonly receivedCalls: number;
+        readonly spendKnownUsd: string;
+        readonly spendUnknown: boolean;
+    };
+    readonly admission: string | null;
+};
+/** Existing V2 canonical digest: path-independent and stable across object key ordering. */
+export declare const agenticDigestV1: (value: unknown) => string;
+/** Deliberately excludes transport tool-call IDs, attempt epoch, deadlines and reservations. */
+export declare const agenticSemanticOperationDigestV1: (input: {
+    readonly orgId: string;
+    readonly campaignId: string;
+    readonly candidateRevision?: string;
+    readonly toolBundleDigest: string;
+    readonly request: AgenticCapabilityRequestV1;
+}) => string;
+/** Conservative invalidation: every recorded dependency must still match. */
+export declare const assertAgenticEvidenceInputsV1: (artifactValue: AgenticAcceptedArtifactV1, current: Partial<AgenticScientificInputsV1>) => void;
+/** The caller passes host-resolved records, never model-provided checkpoint objects. */
+export declare const assertAgenticArtifactPrerequisitesV1: (input: {
+    readonly candidate: string;
+    readonly revision: string;
+    readonly handles: readonly string[];
+    readonly accepted: readonly AgenticAcceptedArtifactV1[];
+    readonly kinds?: readonly AgenticAcceptedArtifactV1["kind"][];
+    readonly states?: readonly AgenticAcceptedArtifactV1["state"][];
+    readonly inputs: Partial<AgenticScientificInputsV1>;
+    readonly requireGrade?: boolean;
+    readonly requireFresh?: boolean;
+}) => void;
+/** State transitions validate evidence references; scientific services still decide the verdict. */
+export declare const assertAgenticCandidateTransitionV1: (previousValue: AgenticCandidateV1, nextValue: AgenticCandidateV1, accepted: readonly AgenticAcceptedArtifactV1[], currentInputs?: Partial<AgenticScientificInputsV1>) => void;