@openprose/reactor-cradle 0.1.0-rc.1

package/dist/provider-parity/index.js

@@ -0,0 +1,439 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.PROVIDER_PARITY_POLICY_AUTHOR_LAUNCH_REPRESENTATION_V0 = exports.PROVIDER_PARITY_REPORT_VERSION_V0 = exports.PROVIDER_PARITY_REPORT_SCHEMA_V0 = exports.PROVIDER_PARITY_GATEWAY_REQUEST_SCHEMA_V0 = void 0;
+exports.runProviderPolicyArtifactParityV0 = runProviderPolicyArtifactParityV0;
+exports.assertProviderPolicyArtifactParityV0 = assertProviderPolicyArtifactParityV0;
+exports.assertProviderPolicyArtifactParityReportV0 = assertProviderPolicyArtifactParityReportV0;
+exports.createRecordedProviderModelGatewayV0 = createRecordedProviderModelGatewayV0;
+exports.createModelGatewayBackedPolicyAuthorAgentSdkV0 = createModelGatewayBackedPolicyAuthorAgentSdkV0;
+exports.buildProviderParityModelGatewayRequestV0 = buildProviderParityModelGatewayRequestV0;
+const node_crypto_1 = require("node:crypto");
+exports.PROVIDER_PARITY_GATEWAY_REQUEST_SCHEMA_V0 = "openprose.reactor-cradle.provider-parity.policy-author-gateway-request";
+exports.PROVIDER_PARITY_REPORT_SCHEMA_V0 = "openprose.reactor-cradle.provider-parity.report";
+exports.PROVIDER_PARITY_REPORT_VERSION_V0 = 0;
+exports.PROVIDER_PARITY_POLICY_AUTHOR_LAUNCH_REPRESENTATION_V0 = "agent-sdk-backed-by-model-gateway";
+const POLICY_ARTIFACT_VERSION = 0;
+const POLICY_AUTHOR_ARTIFACT_RESPONSE_SCHEMA = "openprose.reactor.policy-author.artifact-response";
+const POLICY_AUTHOR_HISTORY_QUERY_SCHEMA = "openprose.reactor.policy-author.history-query";
+async function runProviderPolicyArtifactParityV0(input) {
+    validateParityInput(input);
+    const authorPolicyArtifact = input.authorPolicyArtifactV0 ?? loadDefaultAuthorPolicyArtifactV0();
+    const providers = assertProviderSet(input.providers);
+    const results = [];
+    for (const provider of providers) {
+        const gateway = createRecordedProviderModelGatewayV0(provider);
+        const bridge = createModelGatewayBackedPolicyAuthorAgentSdkV0({
+            provider_name: provider.name,
+            modelGateway: gateway,
+        });
+        const registry = await authorPolicyArtifact({
+            responsibility_id: input.responsibility_id,
+            contract_revision: input.contract_revision,
+            contract_summary: input.contract_summary,
+            no_anchor: input.no_anchor,
+            live_observables: input.live_observables,
+            receipt_history: input.receipt_history,
+            agentSdk: bridge.agentSdk,
+            ...(input.policy_artifact_namespace === undefined
+                ? {}
+                : { policy_artifact_namespace: input.policy_artifact_namespace }),
+        });
+        results.push(snapshotProviderResult(provider, registry, gateway.calls()));
+    }
+    const baseline = readResult(results, 0);
+    const byteIdentical = results.every((result) => result.artifact_bytes === baseline.artifact_bytes);
+    return {
+        schema: exports.PROVIDER_PARITY_REPORT_SCHEMA_V0,
+        v: exports.PROVIDER_PARITY_REPORT_VERSION_V0,
+        provider_names: results.map((result) => result.provider_name),
+        artifact_hashes: results.map((result) => result.artifact_hash),
+        artifact_bytes: results.map((result) => result.artifact_bytes),
+        artifact_byte_lengths: results.map((result) => result.artifact_byte_length),
+        byte_identical: byteIdentical,
+        validation_state: "validated",
+        providers: results,
+    };
+}
+async function assertProviderPolicyArtifactParityV0(input) {
+    const report = await runProviderPolicyArtifactParityV0(input);
+    return assertProviderPolicyArtifactParityReportV0(report);
+}
+function assertProviderPolicyArtifactParityReportV0(report) {
+    if (report.schema !== exports.PROVIDER_PARITY_REPORT_SCHEMA_V0) {
+        throw new Error("gateway-provider-parity report schema is invalid");
+    }
+    if (report.v !== exports.PROVIDER_PARITY_REPORT_VERSION_V0) {
+        throw new Error("gateway-provider-parity report version must be 0");
+    }
+    if (report.providers.length < 2) {
+        throw new Error("gateway-provider-parity requires at least two providers");
+    }
+    if (report.validation_state !== "validated") {
+        throw new Error("gateway-provider-parity did not validate all artifacts");
+    }
+    if (!report.byte_identical) {
+        const details = report.providers
+            .map((provider) => `${provider.provider_name}=${provider.artifact_hash}`)
+            .join(", ");
+        throw new Error(`gateway-provider-parity failed: policy artifact bytes differ (${details})`);
+    }
+    return report;
+}
+function createRecordedProviderModelGatewayV0(provider) {
+    validateProvider(provider, new Set());
+    const calls = [];
+    return {
+        provider_name: provider.name,
+        model: provider.model,
+        invoke(request) {
+            const requestSnapshot = createCanonicalSnapshot(request, "provider parity model gateway request");
+            const envelope = readProviderParityGatewayRequest(requestSnapshot.value, provider.name);
+            const step = readPolicyAuthorStep(envelope.agent_request);
+            const usage = usageForProvider(provider, step, calls.length);
+            const response = createProviderResponse(provider, step, usage);
+            const responseSnapshot = createCanonicalSnapshot(response, "provider parity model gateway response");
+            calls.push({
+                provider_name: provider.name,
+                model: provider.model,
+                step,
+                request: requestSnapshot.value,
+                request_hash: requestSnapshot.hash,
+                response: responseSnapshot.value,
+                response_hash: responseSnapshot.hash,
+                usage,
+            });
+            return cloneFromCanonical(responseSnapshot);
+        },
+        calls() {
+            return cloneJson(calls);
+        },
+    };
+}
+function createModelGatewayBackedPolicyAuthorAgentSdkV0(input) {
+    assertNonEmptyString(input.provider_name, "provider_name");
+    if (typeof input.modelGateway?.invoke !== "function") {
+        throw new Error("modelGateway.invoke adapter is required");
+    }
+    return {
+        agentSdk: {
+            launch(request) {
+                if (request.kind !== "policy-author") {
+                    throw new Error("provider parity bridge only supports policy-author launches");
+                }
+                const response = input.modelGateway.invoke(buildProviderParityModelGatewayRequestV0({
+                    provider_name: input.provider_name,
+                    agent_request: request,
+                }));
+                return {
+                    payload: response.payload,
+                };
+            },
+        },
+    };
+}
+function buildProviderParityModelGatewayRequestV0(input) {
+    return {
+        kind: "policy-compile",
+        payload: {
+            schema: exports.PROVIDER_PARITY_GATEWAY_REQUEST_SCHEMA_V0,
+            v: exports.PROVIDER_PARITY_REPORT_VERSION_V0,
+            provider_name: input.provider_name,
+            launch_representation: exports.PROVIDER_PARITY_POLICY_AUTHOR_LAUNCH_REPRESENTATION_V0,
+            agent_request: input.agent_request,
+        },
+    };
+}
+function snapshotProviderResult(provider, registry, calls) {
+    const validationState = readRegistryValidationState(registry);
+    const artifactHash = readContentHash(registry.policy_artifact_content_hash, "registry.policy_artifact_content_hash");
+    const artifactBytes = readNonEmptyString(registry.policy_artifact_bytes, "registry.policy_artifact_bytes");
+    const policyArtifactRevision = readNonEmptyString(registry.policy_artifact_revision, "registry.policy_artifact_revision");
+    if (calls.length !== 2) {
+        throw new Error(`${provider.name} policy author must use exactly two model gateway calls; observed ${calls.length}`);
+    }
+    const steps = calls.map((call) => call.step).join(" -> ");
+    if (steps !== "history-query -> author-artifact") {
+        throw new Error(`${provider.name} policy author model gateway calls are out of order: ${steps}`);
+    }
+    return {
+        provider_name: provider.name,
+        model: provider.model,
+        policy_author_launch_representation: exports.PROVIDER_PARITY_POLICY_AUTHOR_LAUNCH_REPRESENTATION_V0,
+        validation_state: validationState,
+        artifact_hash: artifactHash,
+        artifact_bytes: artifactBytes,
+        artifact_byte_length: Buffer.byteLength(artifactBytes, "utf8"),
+        artifact_bytes_canonical: true,
+        policy_artifact_revision: policyArtifactRevision,
+        model_gateway_call_count: calls.length,
+        model_gateway_request_hashes: calls.map((call) => call.request_hash),
+        model_gateway_response_hashes: calls.map((call) => call.response_hash),
+        model_gateway_usage: calls.map((call) => call.usage),
+    };
+}
+function createProviderResponse(provider, step, usage) {
+    if (step === "history-query") {
+        return {
+            payload: cloneJson(provider.history_query),
+            usage,
+        };
+    }
+    return {
+        payload: {
+            schema: POLICY_AUTHOR_ARTIFACT_RESPONSE_SCHEMA,
+            v: POLICY_ARTIFACT_VERSION,
+            artifact: cloneJson(provider.artifact),
+        },
+        usage,
+    };
+}
+function usageForProvider(provider, step, exchangeIndex) {
+    const recordedUsage = provider.usage?.[step];
+    if (recordedUsage !== undefined) {
+        assertUsageMatchesProvider(recordedUsage, provider, step);
+        return cloneJson(recordedUsage);
+    }
+    return {
+        provider: provider.name,
+        model: provider.model,
+        tokens: step === "history-query"
+            ? { fresh: 19, reused: 0 }
+            : { fresh: 43, reused: 0 },
+        provider_norm: {
+            schema: "openprose.reactor-cradle.provider-parity.recorded-usage",
+            provider_name: provider.name,
+            model: provider.model,
+            exchange_index: exchangeIndex,
+            step,
+        },
+    };
+}
+function assertUsageMatchesProvider(usage, provider, step) {
+    if (usage.provider !== provider.name) {
+        throw new Error(`${provider.name} ${step} usage provider must match provider name`);
+    }
+    if (usage.model !== provider.model) {
+        throw new Error(`${provider.name} ${step} usage model must match model`);
+    }
+    if (!Number.isFinite(usage.tokens.fresh) || usage.tokens.fresh < 0) {
+        throw new Error(`${provider.name} ${step} usage fresh tokens must be >= 0`);
+    }
+    if (!Number.isFinite(usage.tokens.reused) || usage.tokens.reused < 0) {
+        throw new Error(`${provider.name} ${step} usage reused tokens must be >= 0`);
+    }
+}
+function readProviderParityGatewayRequest(request, expectedProviderName) {
+    if (request.kind !== "policy-compile") {
+        throw new Error("provider parity gateway request kind must be policy-compile");
+    }
+    if (!isRecord(request.payload)) {
+        throw new Error("provider parity gateway payload must be an object");
+    }
+    if (request.payload["schema"] !== exports.PROVIDER_PARITY_GATEWAY_REQUEST_SCHEMA_V0) {
+        throw new Error("provider parity gateway payload schema is invalid");
+    }
+    if (request.payload["v"] !== exports.PROVIDER_PARITY_REPORT_VERSION_V0) {
+        throw new Error("provider parity gateway payload version must be 0");
+    }
+    if (request.payload["provider_name"] !== expectedProviderName) {
+        throw new Error(`provider parity gateway payload provider_name must be ${expectedProviderName}`);
+    }
+    if (request.payload["launch_representation"] !==
+        exports.PROVIDER_PARITY_POLICY_AUTHOR_LAUNCH_REPRESENTATION_V0) {
+        throw new Error("provider parity gateway launch representation is invalid");
+    }
+    const agentRequest = request.payload["agent_request"];
+    if (!isRecord(agentRequest)) {
+        throw new Error("provider parity gateway agent_request must be an object");
+    }
+    return {
+        schema: exports.PROVIDER_PARITY_GATEWAY_REQUEST_SCHEMA_V0,
+        v: exports.PROVIDER_PARITY_REPORT_VERSION_V0,
+        provider_name: expectedProviderName,
+        launch_representation: exports.PROVIDER_PARITY_POLICY_AUTHOR_LAUNCH_REPRESENTATION_V0,
+        agent_request: agentRequest,
+    };
+}
+function readPolicyAuthorStep(request) {
+    if (request.kind !== "policy-author") {
+        throw new Error("provider parity gateway only accepts policy-author requests");
+    }
+    if (!isRecord(request.payload)) {
+        throw new Error("policy-author payload must be an object");
+    }
+    const step = request.payload["step"];
+    if (step === "history-query" || step === "author-artifact") {
+        return step;
+    }
+    throw new Error("policy-author payload step must be history-query or author-artifact");
+}
+function validateParityInput(input) {
+    assertNonEmptyString(input.responsibility_id, "responsibility_id");
+    readContentHash(input.contract_revision, "contract_revision");
+    assertNonEmptyString(input.contract_summary, "contract_summary");
+    if (typeof input.no_anchor !== "boolean") {
+        throw new Error("no_anchor must be boolean");
+    }
+    if (!Array.isArray(input.live_observables)) {
+        throw new Error("live_observables must be an array");
+    }
+    if (!Array.isArray(input.receipt_history)) {
+        throw new Error("receipt_history must be an array");
+    }
+    if (input.policy_artifact_namespace !== undefined &&
+        input.policy_artifact_namespace.length === 0) {
+        throw new Error("policy_artifact_namespace must be non-empty when supplied");
+    }
+    if (input.authorPolicyArtifactV0 !== undefined &&
+        typeof input.authorPolicyArtifactV0 !== "function") {
+        throw new Error("authorPolicyArtifactV0 must be a function when supplied");
+    }
+}
+function assertProviderSet(providers) {
+    if (!Array.isArray(providers)) {
+        throw new Error("providers must be an array");
+    }
+    if (providers.length < 2) {
+        throw new Error("gateway-provider-parity requires at least two providers");
+    }
+    const names = new Set();
+    for (const provider of providers) {
+        validateProvider(provider, names);
+        names.add(provider.name);
+    }
+    return providers;
+}
+function validateProvider(provider, existingNames) {
+    assertNonEmptyString(provider.name, "provider.name");
+    if (existingNames.has(provider.name)) {
+        throw new Error(`provider name must be unique: ${provider.name}`);
+    }
+    assertNonEmptyString(provider.model, `${provider.name}.model`);
+    if (provider.history_query.schema !== POLICY_AUTHOR_HISTORY_QUERY_SCHEMA) {
+        throw new Error(`${provider.name}.history_query schema must be ${POLICY_AUTHOR_HISTORY_QUERY_SCHEMA}`);
+    }
+    if (provider.history_query.v !== POLICY_ARTIFACT_VERSION) {
+        throw new Error(`${provider.name}.history_query version must be 0`);
+    }
+    if (!Array.isArray(provider.history_query.selected_receipt_hashes)) {
+        throw new Error(`${provider.name}.history_query selected hashes must be an array`);
+    }
+    cloneJson(provider.artifact);
+}
+function readResult(results, index) {
+    const result = results[index];
+    if (result === undefined) {
+        throw new Error(`expected provider parity result ${index}`);
+    }
+    return result;
+}
+function readRegistryValidationState(registry) {
+    const state = registry.policy_artifact_validation_state ?? registry.validation_state;
+    if (isRecord(state) && state["status"] === "validated") {
+        return "validated";
+    }
+    if (state === "validated") {
+        return "validated";
+    }
+    throw new Error("registry policy artifact validation state must be validated");
+}
+function assertNonEmptyString(value, label) {
+    if (typeof value !== "string" || value.length === 0) {
+        throw new Error(`${label} must be a non-empty string`);
+    }
+}
+function readNonEmptyString(value, label) {
+    assertNonEmptyString(value, label);
+    return value;
+}
+function readContentHash(value, label) {
+    if (typeof value !== "string" || !/^sha256:[a-f0-9]{64}$/.test(value)) {
+        throw new Error(`${label} must be a sha256 content address`);
+    }
+    return value;
+}
+function createCanonicalSnapshot(value, label) {
+    try {
+        const canonical = renderCanonical(value);
+        return {
+            value: JSON.parse(canonical),
+            canonical,
+            hash: hashCanonical(canonical),
+        };
+    }
+    catch (error) {
+        const message = error instanceof Error ? error.message : "canonicalization failed";
+        throw new Error(`${label} must be canonical JSON: ${message}`);
+    }
+}
+function cloneFromCanonical(snapshot) {
+    return JSON.parse(snapshot.canonical);
+}
+function cloneJson(value) {
+    return cloneFromCanonical(createCanonicalSnapshot(value, "provider parity JSON"));
+}
+function hashCanonical(canonical) {
+    return `sha256:${(0, node_crypto_1.createHash)("sha256").update(canonical).digest("hex")}`;
+}
+function renderCanonical(value) {
+    if (value === null) {
+        return "null";
+    }
+    switch (typeof value) {
+        case "boolean":
+            return value ? "true" : "false";
+        case "number":
+            if (!Number.isFinite(value)) {
+                throw new TypeError("Cannot canonicalize non-finite numbers");
+            }
+            return JSON.stringify(value);
+        case "string":
+            return JSON.stringify(value);
+        case "object":
+            if (Array.isArray(value)) {
+                return `[${value.map((item) => renderCanonical(item)).join(",")}]`;
+            }
+            if (!isRecord(value)) {
+                throw new TypeError("Cannot canonicalize non-plain object");
+            }
+            return `{${Object.keys(value)
+                .sort()
+                .map((key) => {
+                const item = value[key];
+                if (item === undefined) {
+                    throw new TypeError(`Cannot canonicalize undefined field ${key}`);
+                }
+                return `${JSON.stringify(key)}:${renderCanonical(item)}`;
+            })
+                .join(",")}}`;
+        case "undefined":
+        case "bigint":
+        case "function":
+        case "symbol":
+            throw new TypeError(`Cannot canonicalize ${typeof value}`);
+    }
+    throw new TypeError("Cannot canonicalize unknown value");
+}
+function isRecord(value) {
+    return typeof value === "object" && value !== null && !Array.isArray(value);
+}
+function loadDefaultAuthorPolicyArtifactV0() {
+    return loadReactorPolicy().authorPolicyArtifactV0;
+}
+function loadReactorPolicy() {
+    try {
+        return require("@openprose/reactor/policy");
+    }
+    catch (error) {
+        if (isMissingReactorSubpath(error, "@openprose/reactor/policy")) {
+            return require("../../../reactor/dist/policy");
+        }
+        throw error;
+    }
+}
+function isMissingReactorSubpath(error, subpath) {
+    return (isRecord(error) &&
+        error["code"] === "MODULE_NOT_FOUND" &&
+        typeof error["message"] === "string" &&
+        error["message"].includes(subpath));
+}

package/dist/recompile/index.d.ts

@@ -0,0 +1,161 @@
+import type { AuthoredPolicyArtifactV0, PolicyLiveObservableV0 } from "@openprose/reactor/policy";
+import type { ContentHashV0, ReceiptV0 } from "@openprose/reactor/receipt";
+import type { ReactorAgentSdkAdapterV0, ReactorModelGatewayAdapterV0, ReactorRegistrySnapshotV0 } from "@openprose/reactor/sdk";
+import { type RecordedPolicyDriftP2ScenarioV0 } from "../policy-drift";
+export declare const POLICY_RECOMPILE_D1_SCENARIO_SCHEMA_V0: "openprose.reactor-cradle.recompile-d1-scenario";
+export declare const POLICY_RECOMPILE_D1_SCENARIO_VERSION_V0: 0;
+export declare const POLICY_RECOMPILE_D1_AUTHOR_CASSETTE_SCHEMA_V0: "openprose.reactor-cradle.recompile-d1-author-cassette";
+export declare const POLICY_RECOMPILE_D1_AUTHOR_CASSETTE_VERSION_V0: 0;
+export type PolicyRecompileDecisionOutcomeV0 = "no-recompile-needed" | "recompile-requested" | "recompile-delayed" | "needs-judgment";
+export type PlanPolicyRecompileV0 = (input: PolicyRecompilePlanInputV0) => Promise<unknown> | unknown;
+export type ExecutePolicyRecompileV0 = (input: PolicyRecompileExecutionInputV0) => Promise<unknown> | unknown;
+export type PolicyRecompileAuthorV0 = (input: unknown) => Promise<ReactorRegistrySnapshotV0> | ReactorRegistrySnapshotV0;
+export interface RecordedPolicyRecompileD1ScenarioV0 {
+    readonly schema: typeof POLICY_RECOMPILE_D1_SCENARIO_SCHEMA_V0;
+    readonly v: typeof POLICY_RECOMPILE_D1_SCENARIO_VERSION_V0;
+    readonly responsibility_id: string;
+    readonly contract_revision: ContentHashV0;
+    readonly contract_summary: string;
+    readonly as_of: string;
+    readonly last_recompile_at_allowed: string;
+    readonly last_recompile_at_blocked: string;
+    readonly min_recompile_interval_ms: number;
+    readonly receipt_history: readonly ReceiptV0[];
+    readonly policy_artifact: AuthoredPolicyArtifactV0;
+    readonly policy_artifact_bytes: string;
+    readonly policy_artifact_content_hash: ContentHashV0;
+    readonly recompiled_registry_snapshot: ReactorRegistrySnapshotV0;
+    readonly drift_scenario: RecordedPolicyDriftP2ScenarioV0;
+}
+export interface PolicyRecompilePlanInputV0 {
+    readonly artifact: AuthoredPolicyArtifactV0;
+    readonly policy_artifact: AuthoredPolicyArtifactV0;
+    readonly receipts: readonly ReceiptV0[];
+    readonly receipt_history: readonly ReceiptV0[];
+    readonly as_of: string;
+    readonly last_recompile_at: string | null;
+    readonly last_policy_recompile_at: string | null;
+    readonly last_policy_revalidated_at: string;
+    readonly last_unforced_deep_at: string;
+}
+export interface PolicyRecompileExecutionInputV0 {
+    readonly decision: unknown;
+    readonly plan: unknown;
+    readonly recompile_decision: unknown;
+    readonly normalized_decision: NormalizedPolicyRecompileDecisionV0;
+    readonly artifact: AuthoredPolicyArtifactV0;
+    readonly policy_artifact: AuthoredPolicyArtifactV0;
+    readonly receipts: readonly ReceiptV0[];
+    readonly receipt_history: readonly ReceiptV0[];
+    readonly responsibility_id: string;
+    readonly contract_revision: ContentHashV0;
+    readonly contract_summary: string;
+    readonly no_anchor: boolean;
+    readonly live_observables: readonly PolicyLiveObservableV0[];
+    readonly as_of: string;
+    readonly last_recompile_at: string | null;
+    readonly last_policy_recompile_at: string | null;
+    readonly policy_artifact_namespace: string;
+    readonly authorPolicyArtifactV0: PolicyRecompileAuthorV0;
+    readonly author_policy_artifact_v0: PolicyRecompileAuthorV0;
+    readonly author_input: {
+        readonly responsibility_id: string;
+        readonly contract_revision: ContentHashV0;
+        readonly contract_summary: string;
+        readonly no_anchor: boolean;
+        readonly live_observables: readonly PolicyLiveObservableV0[];
+        readonly receipt_history: readonly ReceiptV0[];
+        readonly agentSdk: Pick<ReactorAgentSdkAdapterV0, "launch">;
+        readonly policy_artifact_namespace: string;
+    };
+    readonly agentSdk: Pick<ReactorAgentSdkAdapterV0, "launch">;
+    readonly agent_sdk: Pick<ReactorAgentSdkAdapterV0, "launch">;
+    readonly modelGateway: Pick<ReactorModelGatewayAdapterV0, "invoke">;
+    readonly model_gateway: Pick<ReactorModelGatewayAdapterV0, "invoke">;
+}
+export interface NormalizedPolicyRecompileDecisionV0 {
+    readonly outcome: PolicyRecompileDecisionOutcomeV0;
+    readonly drift_outcome?: "not-tripped" | "tripped" | "indeterminate";
+    readonly evidence_receipt_hashes: readonly ContentHashV0[];
+    readonly raw: unknown;
+}
+export interface NormalizedPolicyRecompileExecutionV0 {
+    readonly outcome: "recompiled" | "skipped" | "unknown";
+    readonly registry_snapshot?: ReactorRegistrySnapshotV0;
+    readonly raw: unknown;
+}
+export interface RecordedPolicyRecompileAuthorInvocationV0 {
+    readonly input: unknown;
+    readonly input_canonical: string;
+    readonly input_hash: ContentHashV0;
+    readonly output: ReactorRegistrySnapshotV0;
+    readonly output_canonical: string;
+    readonly output_hash: ContentHashV0;
+}
+export interface RecordedPolicyRecompileAuthorAgentExchangeV0 {
+    readonly request: unknown;
+    readonly request_canonical: string;
+    readonly request_hash: ContentHashV0;
+    readonly response: unknown;
+    readonly response_canonical: string;
+    readonly response_hash: ContentHashV0;
+}
+export interface RecordedPolicyRecompileAuthorCassetteV0 {
+    readonly schema: typeof POLICY_RECOMPILE_D1_AUTHOR_CASSETTE_SCHEMA_V0;
+    readonly v: typeof POLICY_RECOMPILE_D1_AUTHOR_CASSETTE_VERSION_V0;
+    readonly invocations: readonly RecordedPolicyRecompileAuthorInvocationV0[];
+    readonly agent_exchanges: readonly RecordedPolicyRecompileAuthorAgentExchangeV0[];
+    readonly author_session_count: number;
+}
+export interface RecordedPolicyRecompileAuthorDoubleV0 {
+    readonly authorPolicyArtifactV0: PolicyRecompileAuthorV0;
+    readonly agentSdk: Pick<ReactorAgentSdkAdapterV0, "launch">;
+    readonly cassette: RecordedPolicyRecompileAuthorCassetteV0;
+    readonly invocation_count: number;
+    readonly assertInvokedExactly: (expected: number) => void;
+}
+export interface PolicyRecompileGatewayProbeV0 {
+    readonly agentSdk: Pick<ReactorAgentSdkAdapterV0, "launch">;
+    readonly agent_sdk: Pick<ReactorAgentSdkAdapterV0, "launch">;
+    readonly modelGateway: Pick<ReactorModelGatewayAdapterV0, "invoke">;
+    readonly model_gateway: Pick<ReactorModelGatewayAdapterV0, "invoke">;
+    readonly agent_launch_count: number;
+    readonly model_gateway_invocation_count: number;
+    readonly assertNoInvocations: () => void;
+}
+export interface RecordedPolicyRecompileD1ProofV0 {
+    readonly scenario: RecordedPolicyRecompileD1ScenarioV0;
+    readonly requested: NormalizedPolicyRecompileDecisionV0;
+    readonly delayed: NormalizedPolicyRecompileDecisionV0;
+    readonly requested_execution: NormalizedPolicyRecompileExecutionV0;
+    readonly delayed_execution: NormalizedPolicyRecompileExecutionV0;
+    readonly requested_author_cassette: RecordedPolicyRecompileAuthorCassetteV0;
+    readonly delayed_author_cassette: RecordedPolicyRecompileAuthorCassetteV0;
+    readonly requested_policy_author_invocation_count: 1;
+    readonly delayed_policy_author_invocation_count: 0;
+    readonly gateway_invocations: {
+        readonly requested: {
+            readonly agent_launch_count: 0;
+            readonly model_gateway_invocation_count: 0;
+        };
+        readonly delayed: {
+            readonly agent_launch_count: 0;
+            readonly model_gateway_invocation_count: 0;
+        };
+    };
+}
+export interface RunRecordedPolicyRecompileD1ProofInputV0 {
+    readonly planPolicyRecompileV0: PlanPolicyRecompileV0;
+    readonly executePolicyRecompileV0: ExecutePolicyRecompileV0;
+    readonly scenario?: RecordedPolicyRecompileD1ScenarioV0;
+}
+export declare function makeRecordedPolicyRecompileD1ScenarioV0(): RecordedPolicyRecompileD1ScenarioV0;
+export declare function assertRecordedPolicyRecompileD1ScenarioV0(scenario: RecordedPolicyRecompileD1ScenarioV0): void;
+export declare function createRecordedPolicyRecompileAuthorDoubleV0(scenario: RecordedPolicyRecompileD1ScenarioV0): RecordedPolicyRecompileAuthorDoubleV0;
+export declare function createPolicyRecompileGatewayProbeV0(): PolicyRecompileGatewayProbeV0;
+export declare function runRecordedPolicyRecompileD1ProofV0(input: RunRecordedPolicyRecompileD1ProofInputV0): Promise<RecordedPolicyRecompileD1ProofV0>;
+export declare function normalizePolicyRecompileDecisionV0(result: unknown): NormalizedPolicyRecompileDecisionV0;
+export declare function normalizePolicyRecompileExecutionV0(result: unknown, decision: NormalizedPolicyRecompileDecisionV0, authorInvocationCount: number): NormalizedPolicyRecompileExecutionV0;
+export declare function createRecordedPolicyRecompilePlannerDoubleV0(): PlanPolicyRecompileV0;
+export declare function createRecordedPolicyRecompileExecutorDoubleV0(): ExecutePolicyRecompileV0;
+//# sourceMappingURL=index.d.ts.map

package/dist/recompile/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/recompile/index.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,EACV,wBAAwB,EACxB,sBAAsB,EACvB,MAAM,2BAA2B,CAAC;AACnC,OAAO,KAAK,EAAE,aAAa,EAAE,SAAS,EAAE,MAAM,4BAA4B,CAAC;AAC3E,OAAO,KAAK,EAGV,wBAAwB,EACxB,4BAA4B,EAG5B,yBAAyB,EAC1B,MAAM,wBAAwB,CAAC;AAEhC,OAAO,EAGL,KAAK,+BAA+B,EAErC,MAAM,iBAAiB,CAAC;AASzB,eAAO,MAAM,sCAAsC,EACjD,gDAAyD,CAAC;AAC5D,eAAO,MAAM,uCAAuC,EAAG,CAAU,CAAC;AAClE,eAAO,MAAM,6CAA6C,EACxD,uDAAgE,CAAC;AACnE,eAAO,MAAM,8CAA8C,EAAG,CAAU,CAAC;AAEzE,MAAM,MAAM,gCAAgC,GACxC,qBAAqB,GACrB,qBAAqB,GACrB,mBAAmB,GACnB,gBAAgB,CAAC;AAErB,MAAM,MAAM,qBAAqB,GAAG,CAClC,KAAK,EAAE,0BAA0B,KAC9B,OAAO,CAAC,OAAO,CAAC,GAAG,OAAO,CAAC;AAEhC,MAAM,MAAM,wBAAwB,GAAG,CACrC,KAAK,EAAE,+BAA+B,KACnC,OAAO,CAAC,OAAO,CAAC,GAAG,OAAO,CAAC;AAEhC,MAAM,MAAM,uBAAuB,GAAG,CACpC,KAAK,EAAE,OAAO,KACX,OAAO,CAAC,yBAAyB,CAAC,GAAG,yBAAyB,CAAC;AAEpE,MAAM,WAAW,mCAAmC;IAClD,QAAQ,CAAC,MAAM,EAAE,OAAO,sCAAsC,CAAC;IAC/D,QAAQ,CAAC,CAAC,EAAE,OAAO,uCAAuC,CAAC;IAC3D,QAAQ,CAAC,iBAAiB,EAAE,MAAM,CAAC;IACnC,QAAQ,CAAC,iBAAiB,EAAE,aAAa,CAAC;IAC1C,QAAQ,CAAC,gBAAgB,EAAE,MAAM,CAAC;IAClC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,yBAAyB,EAAE,MAAM,CAAC;IAC3C,QAAQ,CAAC,yBAAyB,EAAE,MAAM,CAAC;IAC3C,QAAQ,CAAC,yBAAyB,EAAE,MAAM,CAAC;IAC3C,QAAQ,CAAC,eAAe,EAAE,SAAS,SAAS,EAAE,CAAC;IAC/C,QAAQ,CAAC,eAAe,EAAE,wBAAwB,CAAC;IACnD,QAAQ,CAAC,qBAAqB,EAAE,MAAM,CAAC;IACvC,QAAQ,CAAC,4BAA4B,EAAE,aAAa,CAAC;IACrD,QAAQ,CAAC,4BAA4B,EAAE,yBAAyB,CAAC;IACjE,QAAQ,CAAC,cAAc,EAAE,+BAA+B,CAAC;CAC1D;AAED,MAAM,WAAW,0BAA0B;IACzC,QAAQ,CAAC,QAAQ,EAAE,wBAAwB,CAAC;IAC5C,QAAQ,CAAC,eAAe,EAAE,wBAAwB,CAAC;IACnD,QAAQ,CAAC,QAAQ,EAAE,SAAS,SAAS,EAAE,CAAC;IACxC,QAAQ,CAAC,eAAe,EAAE,SAAS,SAAS,EAAE,CAAC;IAC/C,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,iBAAiB,EAAE,MAAM,GAAG,IAAI,CAAC;IAC1C,QAAQ,CAAC,wBAAwB,EAAE,MAAM,GAAG,IAAI,CAAC;IACjD,QAAQ,CAAC,0BAA0B,EAAE,MAAM,CAAC;IAC5C,QAAQ,CAAC,qBAAqB,EAAE,MAAM,CAAC;CACxC;AAED,MAAM,WAAW,+BAA+B;IAC9C,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC;IAC3B,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;IACvB,QAAQ,CAAC,kBAAkB,EAAE,OAAO,CAAC;IACrC,QAAQ,CAAC,mBAAmB,EAAE,mCAAmC,CAAC;IAClE,QAAQ,CAAC,QAAQ,EAAE,wBAAwB,CAAC;IAC5C,QAAQ,CAAC,eAAe,EAAE,wBAAwB,CAAC;IACnD,QAAQ,CAAC,QAAQ,EAAE,SAAS,SAAS,EAAE,CAAC;IACxC,QAAQ,CAAC,eAAe,EAAE,SAAS,SAAS,EAAE,CAAC;IAC/C,QAAQ,CAAC,iBAAiB,EAAE,MAAM,CAAC;IACnC,QAAQ,CAAC,iBAAiB,EAAE,aAAa,CAAC;IAC1C,QAAQ,CAAC,gBAAgB,EAAE,MAAM,CAAC;IAClC,QAAQ,CAAC,SAAS,EAAE,OAAO,CAAC;IAC5B,QAAQ,CAAC,gBAAgB,EAAE,SAAS,sBAAsB,EAAE,CAAC;IAC7D,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,iBAAiB,EAAE,MAAM,GAAG,IAAI,CAAC;IAC1C,QAAQ,CAAC,wBAAwB,EAAE,MAAM,GAAG,IAAI,CAAC;IACjD,QAAQ,CAAC,yBAAyB,EAAE,MAAM,CAAC;IAC3C,QAAQ,CAAC,sBAAsB,EAAE,uBAAuB,CAAC;IACzD,QAAQ,CAAC,yBAAyB,EAAE,uBAAuB,CAAC;IAC5D,QAAQ,CAAC,YAAY,EAAE;QACrB,QAAQ,CAAC,iBAAiB,EAAE,MAAM,CAAC;QACnC,QAAQ,CAAC,iBAAiB,EAAE,aAAa,CAAC;QAC1C,QAAQ,CAAC,gBAAgB,EAAE,MAAM,CAAC;QAClC,QAAQ,CAAC,SAAS,EAAE,OAAO,CAAC;QAC5B,QAAQ,CAAC,gBAAgB,EAAE,SAAS,sBAAsB,EAAE,CAAC;QAC7D,QAAQ,CAAC,eAAe,EAAE,SAAS,SAAS,EAAE,CAAC;QAC/C,QAAQ,CAAC,QAAQ,EAAE,IAAI,CAAC,wBAAwB,EAAE,QAAQ,CAAC,CAAC;QAC5D,QAAQ,CAAC,yBAAyB,EAAE,MAAM,CAAC;KAC5C,CAAC;IACF,QAAQ,CAAC,QAAQ,EAAE,IAAI,CAAC,wBAAwB,EAAE,QAAQ,CAAC,CAAC;IAC5D,QAAQ,CAAC,SAAS,EAAE,IAAI,CAAC,wBAAwB,EAAE,QAAQ,CAAC,CAAC;IAC7D,QAAQ,CAAC,YAAY,EAAE,IAAI,CAAC,4BAA4B,EAAE,QAAQ,CAAC,CAAC;IACpE,QAAQ,CAAC,aAAa,EAAE,IAAI,CAAC,4BAA4B,EAAE,QAAQ,CAAC,CAAC;CACtE;AAED,MAAM,WAAW,mCAAmC;IAClD,QAAQ,CAAC,OAAO,EAAE,gCAAgC,CAAC;IACnD,QAAQ,CAAC,aAAa,CAAC,EAAE,aAAa,GAAG,SAAS,GAAG,eAAe,CAAC;IACrE,QAAQ,CAAC,uBAAuB,EAAE,SAAS,aAAa,EAAE,CAAC;IAC3D,QAAQ,CAAC,GAAG,EAAE,OAAO,CAAC;CACvB;AAED,MAAM,WAAW,oCAAoC;IACnD,QAAQ,CAAC,OAAO,EAAE,YAAY,GAAG,SAAS,GAAG,SAAS,CAAC;IACvD,QAAQ,CAAC,iBAAiB,CAAC,EAAE,yBAAyB,CAAC;IACvD,QAAQ,CAAC,GAAG,EAAE,OAAO,CAAC;CACvB;AAED,MAAM,WAAW,yCAAyC;IACxD,QAAQ,CAAC,KAAK,EAAE,OAAO,CAAC;IACxB,QAAQ,CAAC,eAAe,EAAE,MAAM,CAAC;IACjC,QAAQ,CAAC,UAAU,EAAE,aAAa,CAAC;IACnC,QAAQ,CAAC,MAAM,EAAE,yBAAyB,CAAC;IAC3C,QAAQ,CAAC,gBAAgB,EAAE,MAAM,CAAC;IAClC,QAAQ,CAAC,WAAW,EAAE,aAAa,CAAC;CACrC;AAED,MAAM,WAAW,4CAA4C;IAC3D,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAC;IAC1B,QAAQ,CAAC,iBAAiB,EAAE,MAAM,CAAC;IACnC,QAAQ,CAAC,YAAY,EAAE,aAAa,CAAC;IACrC,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC;IAC3B,QAAQ,CAAC,kBAAkB,EAAE,MAAM,CAAC;IACpC,QAAQ,CAAC,aAAa,EAAE,aAAa,CAAC;CACvC;AAED,MAAM,WAAW,uCAAuC;IACtD,QAAQ,CAAC,MAAM,EAAE,OAAO,6CAA6C,CAAC;IACtE,QAAQ,CAAC,CAAC,EAAE,OAAO,8CAA8C,CAAC;IAClE,QAAQ,CAAC,WAAW,EAAE,SAAS,yCAAyC,EAAE,CAAC;IAC3E,QAAQ,CAAC,eAAe,EAAE,SAAS,4CAA4C,EAAE,CAAC;IAClF,QAAQ,CAAC,oBAAoB,EAAE,MAAM,CAAC;CACvC;AAED,MAAM,WAAW,qCAAqC;IACpD,QAAQ,CAAC,sBAAsB,EAAE,uBAAuB,CAAC;IACzD,QAAQ,CAAC,QAAQ,EAAE,IAAI,CAAC,wBAAwB,EAAE,QAAQ,CAAC,CAAC;IAC5D,QAAQ,CAAC,QAAQ,EAAE,uCAAuC,CAAC;IAC3D,QAAQ,CAAC,gBAAgB,EAAE,MAAM,CAAC;IAClC,QAAQ,CAAC,oBAAoB,EAAE,CAAC,QAAQ,EAAE,MAAM,KAAK,IAAI,CAAC;CAC3D;AAED,MAAM,WAAW,6BAA6B;IAC5C,QAAQ,CAAC,QAAQ,EAAE,IAAI,CAAC,wBAAwB,EAAE,QAAQ,CAAC,CAAC;IAC5D,QAAQ,CAAC,SAAS,EAAE,IAAI,CAAC,wBAAwB,EAAE,QAAQ,CAAC,CAAC;IAC7D,QAAQ,CAAC,YAAY,EAAE,IAAI,CAAC,4BAA4B,EAAE,QAAQ,CAAC,CAAC;IACpE,QAAQ,CAAC,aAAa,EAAE,IAAI,CAAC,4BAA4B,EAAE,QAAQ,CAAC,CAAC;IACrE,QAAQ,CAAC,kBAAkB,EAAE,MAAM,CAAC;IACpC,QAAQ,CAAC,8BAA8B,EAAE,MAAM,CAAC;IAChD,QAAQ,CAAC,mBAAmB,EAAE,MAAM,IAAI,CAAC;CAC1C;AAED,MAAM,WAAW,gCAAgC;IAC/C,QAAQ,CAAC,QAAQ,EAAE,mCAAmC,CAAC;IACvD,QAAQ,CAAC,SAAS,EAAE,mCAAmC,CAAC;IACxD,QAAQ,CAAC,OAAO,EAAE,mCAAmC,CAAC;IACtD,QAAQ,CAAC,mBAAmB,EAAE,oCAAoC,CAAC;IACnE,QAAQ,CAAC,iBAAiB,EAAE,oCAAoC,CAAC;IACjE,QAAQ,CAAC,yBAAyB,EAAE,uCAAuC,CAAC;IAC5E,QAAQ,CAAC,uBAAuB,EAAE,uCAAuC,CAAC;IAC1E,QAAQ,CAAC,wCAAwC,EAAE,CAAC,CAAC;IACrD,QAAQ,CAAC,sCAAsC,EAAE,CAAC,CAAC;IACnD,QAAQ,CAAC,mBAAmB,EAAE;QAC5B,QAAQ,CAAC,SAAS,EAAE;YAClB,QAAQ,CAAC,kBAAkB,EAAE,CAAC,CAAC;YAC/B,QAAQ,CAAC,8BAA8B,EAAE,CAAC,CAAC;SAC5C,CAAC;QACF,QAAQ,CAAC,OAAO,EAAE;YAChB,QAAQ,CAAC,kBAAkB,EAAE,CAAC,CAAC;YAC/B,QAAQ,CAAC,8BAA8B,EAAE,CAAC,CAAC;SAC5C,CAAC;KACH,CAAC;CACH;AAED,MAAM,WAAW,wCAAwC;IACvD,QAAQ,CAAC,qBAAqB,EAAE,qBAAqB,CAAC;IACtD,QAAQ,CAAC,wBAAwB,EAAE,wBAAwB,CAAC;IAC5D,QAAQ,CAAC,QAAQ,CAAC,EAAE,mCAAmC,CAAC;CACzD;AAED,wBAAgB,uCAAuC,IAAI,mCAAmC,CAkC7F;AAED,wBAAgB,yCAAyC,CACvD,QAAQ,EAAE,mCAAmC,GAC5C,IAAI,CAsDN;AAED,wBAAgB,2CAA2C,CACzD,QAAQ,EAAE,mCAAmC,GAC5C,qCAAqC,CAoGvC;AAED,wBAAgB,mCAAmC,IAAI,6BAA6B,CAoCnF;AAED,wBAAsB,mCAAmC,CACvD,KAAK,EAAE,wCAAwC,GAC9C,OAAO,CAAC,gCAAgC,CAAC,CA+E3C;AAED,wBAAgB,kCAAkC,CAChD,MAAM,EAAE,OAAO,GACd,mCAAmC,CAwCrC;AAED,wBAAgB,mCAAmC,CACjD,MAAM,EAAE,OAAO,EACf,QAAQ,EAAE,mCAAmC,EAC7C,qBAAqB,EAAE,MAAM,GAC5B,oCAAoC,CA+BtC;AAED,wBAAgB,4CAA4C,IAAI,qBAAqB,CA2CpF;AAED,wBAAgB,6CAA6C,IAAI,wBAAwB,CAkCxF"}