@openprose/reactor-cradle 0.1.0-rc.1

package/dist/policy-drift/index.js

@@ -0,0 +1,495 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.POLICY_DRIFT_P2_BACKSTOP_FACT = exports.POLICY_DRIFT_P2_OFF_LOG_FACT = exports.POLICY_DRIFT_P2_COST_FACT = exports.POLICY_DRIFT_P2_RESPONSIBILITY_ID = exports.POLICY_DRIFT_P2_SCENARIO_VERSION_V0 = exports.POLICY_DRIFT_P2_SCENARIO_SCHEMA_V0 = void 0;
+exports.createPolicyDriftGatewayProbeV0 = createPolicyDriftGatewayProbeV0;
+exports.makeRecordedPolicyDriftP2ScenarioV0 = makeRecordedPolicyDriftP2ScenarioV0;
+exports.runRecordedPolicyDriftP2ProofV0 = runRecordedPolicyDriftP2ProofV0;
+exports.assertRecordedPolicyDriftP2ScenarioV0 = assertRecordedPolicyDriftP2ScenarioV0;
+exports.normalizePolicyDriftResultV0 = normalizePolicyDriftResultV0;
+const node_crypto_1 = require("node:crypto");
+const { canonicalizeForReceiptV0, createReceiptV0, hashCanonicalReceiptV0, } = loadReactorReceipt();
+const { POLICY_ARTIFACT_SCHEMA, POLICY_ARTIFACT_VERSION, POLICY_AUTHOR_HISTORY_QUERY_SCHEMA, canonicalizePolicyArtifactV0, validatePolicyArtifactV0, } = loadReactorPolicy();
+exports.POLICY_DRIFT_P2_SCENARIO_SCHEMA_V0 = "openprose.reactor-cradle.policy-drift-p2-scenario";
+exports.POLICY_DRIFT_P2_SCENARIO_VERSION_V0 = 0;
+exports.POLICY_DRIFT_P2_RESPONSIBILITY_ID = "incident-channel-current-briefing";
+exports.POLICY_DRIFT_P2_COST_FACT = "cost.fresh_tokens_per_maintained_day";
+exports.POLICY_DRIFT_P2_OFF_LOG_FACT = "source.incident_channel.unrecorded_sentiment_score";
+exports.POLICY_DRIFT_P2_BACKSTOP_FACT = "kernel.deep_shallow_contradiction_count_7d";
+function createPolicyDriftGatewayProbeV0() {
+    let agentLaunchCount = 0;
+    let modelGatewayInvocationCount = 0;
+    return {
+        get agent_launch_count() {
+            return agentLaunchCount;
+        },
+        get model_gateway_invocation_count() {
+            return modelGatewayInvocationCount;
+        },
+        assertNoInvocations() {
+            if (agentLaunchCount !== 0 || modelGatewayInvocationCount !== 0) {
+                throw new Error(`policy drift path invoked forbidden inference gateways: agent=${agentLaunchCount}, model=${modelGatewayInvocationCount}`);
+            }
+        },
+        // Kept as non-enumerable implementation detail would hide the tripwire
+        // from fixture snapshots, so tests use the public counters above instead.
+        launch() {
+            agentLaunchCount += 1;
+            throw new Error("policy drift must not launch an agent SDK activation");
+        },
+        complete() {
+            modelGatewayInvocationCount += 1;
+            throw new Error("policy drift must not call the model gateway");
+        },
+    };
+}
+function makeRecordedPolicyDriftP2ScenarioV0() {
+    const contractRevision = hashText([
+        "kind: responsibility",
+        "Goal: The incident channel has a current, accurate briefing.",
+        "Criteria: impact, timeline, owner, next action, and customer-facing status are current.",
+    ].join("\n"));
+    const asOf = "2026-05-19T00:00:00.000Z";
+    const receiptHistory = makeReceiptHistory(contractRevision);
+    const exploredReceiptHashes = receiptHistory
+        .map((receipt) => receipt.content_hash)
+        .sort((left, right) => left.localeCompare(right));
+    const receiptHistorySummaryHash = hashReceiptHistorySummary(receiptHistory);
+    const costDriftArtifact = makePolicyArtifact({
+        contract_revision: contractRevision,
+        explored_receipt_hashes: exploredReceiptHashes,
+        receipt_history_summary_hash: receiptHistorySummaryHash,
+        falsification_fact: exports.POLICY_DRIFT_P2_COST_FACT,
+        falsification_value: 500,
+        policy_revision: "policy.p2.cost-drift.recorded",
+    });
+    const offLogArtifact = makePolicyArtifact({
+        contract_revision: contractRevision,
+        explored_receipt_hashes: exploredReceiptHashes,
+        receipt_history_summary_hash: receiptHistorySummaryHash,
+        falsification_fact: exports.POLICY_DRIFT_P2_OFF_LOG_FACT,
+        falsification_value: 0.75,
+        policy_revision: "policy.p2.off-log.recorded",
+    });
+    const costDriftArtifactBytes = canonicalizePolicyArtifactV0(costDriftArtifact);
+    const offLogArtifactBytes = canonicalizePolicyArtifactV0(offLogArtifact);
+    return {
+        schema: exports.POLICY_DRIFT_P2_SCENARIO_SCHEMA_V0,
+        v: exports.POLICY_DRIFT_P2_SCENARIO_VERSION_V0,
+        responsibility_id: exports.POLICY_DRIFT_P2_RESPONSIBILITY_ID,
+        contract_revision: contractRevision,
+        as_of: asOf,
+        receipt_history: receiptHistory,
+        cost_drift_artifact: costDriftArtifact,
+        off_log_artifact: offLogArtifact,
+        cost_drift_artifact_bytes: costDriftArtifactBytes,
+        cost_drift_artifact_content_hash: hashCanonicalReceiptV0(costDriftArtifactBytes),
+        off_log_artifact_bytes: offLogArtifactBytes,
+        off_log_artifact_content_hash: hashCanonicalReceiptV0(offLogArtifactBytes),
+    };
+}
+function runRecordedPolicyDriftP2ProofV0(input) {
+    const scenario = input.scenario ?? makeRecordedPolicyDriftP2ScenarioV0();
+    assertRecordedPolicyDriftP2ScenarioV0(scenario);
+    const gatewayProbe = createPolicyDriftGatewayProbeV0();
+    const costDrift = normalizePolicyDriftResultV0(input.evaluatePolicyDriftV0({
+        artifact: scenario.cost_drift_artifact,
+        receipts: scenario.receipt_history,
+        as_of: scenario.as_of,
+    }));
+    assertTrippedCostDrift(costDrift, scenario);
+    gatewayProbe.assertNoInvocations();
+    const offLog = normalizePolicyDriftResultV0(input.evaluatePolicyDriftV0({
+        artifact: scenario.off_log_artifact,
+        receipts: scenario.receipt_history,
+        as_of: scenario.as_of,
+    }));
+    assertIndeterminateOffLogDrift(offLog);
+    gatewayProbe.assertNoInvocations();
+    return {
+        scenario,
+        cost_drift: costDrift,
+        off_log: offLog,
+        gateway_invocations: {
+            agent_launch_count: 0,
+            model_gateway_invocation_count: 0,
+        },
+    };
+}
+function assertRecordedPolicyDriftP2ScenarioV0(scenario) {
+    if (scenario.schema !== exports.POLICY_DRIFT_P2_SCENARIO_SCHEMA_V0) {
+        throw new Error("policy drift P2 scenario schema is malformed");
+    }
+    if (scenario.v !== exports.POLICY_DRIFT_P2_SCENARIO_VERSION_V0) {
+        throw new Error("policy drift P2 scenario version must be 0");
+    }
+    if (scenario.receipt_history.length === 0) {
+        throw new Error("policy drift P2 scenario must include receipt history");
+    }
+    assertValidArtifact(scenario.cost_drift_artifact, scenario.cost_drift_artifact_bytes, scenario.cost_drift_artifact_content_hash);
+    assertValidArtifact(scenario.off_log_artifact, scenario.off_log_artifact_bytes, scenario.off_log_artifact_content_hash);
+}
+function normalizePolicyDriftResultV0(result) {
+    if (!isRecord(result)) {
+        throw new Error("policy drift result must be an object");
+    }
+    const outcome = readOutcome(result);
+    const facts = readFacts(result);
+    const evidenceReceiptHashes = readContentHashArrayFromUnknown(result["evidence_receipt_hashes"] ??
+        result["evidence_receipts"] ??
+        result["evidence_hashes"], "policy drift evidence receipt hashes");
+    const predicate = readPredicateEvaluation(result["predicate_evaluation"] ??
+        result["predicate"] ??
+        result["falsification_predicate_evaluation"]);
+    const missingFactIds = readStringArrayFromUnknown(result["missing_fact_ids"] ?? result["missing_facts"] ?? [], "policy drift missing fact ids");
+    const unsupportedFactIds = readStringArrayFromUnknown(result["unsupported_fact_ids"] ?? result["unsupported_facts"] ?? [], "policy drift unsupported fact ids");
+    return {
+        outcome,
+        facts,
+        evidence_receipt_hashes: evidenceReceiptHashes,
+        predicate,
+        missing_fact_ids: missingFactIds,
+        unsupported_fact_ids: unsupportedFactIds,
+        raw: result,
+    };
+}
+function makePolicyArtifact(input) {
+    return {
+        schema: POLICY_ARTIFACT_SCHEMA,
+        v: POLICY_ARTIFACT_VERSION,
+        responsibility_id: exports.POLICY_DRIFT_P2_RESPONSIBILITY_ID,
+        registry_id: "registry.incident-channel-current-briefing.p2",
+        policy_revision: input.policy_revision,
+        no_anchor: true,
+        live_observables: LIVE_OBSERVABLES,
+        cadence: {
+            shallow_recheck_ms: 15 * 60 * 1000,
+            plan_audit_ms: 6 * 60 * 60 * 1000,
+            deep_revalidation_ms: 7 * 24 * 60 * 60 * 1000,
+        },
+        hysteresis: {
+            min_recompile_interval_ms: 60 * 60 * 1000,
+            enter_degraded_threshold: 0.34,
+            exit_degraded_threshold: 0.18,
+            warmup_judged_activations: 5,
+        },
+        thresholds: {
+            max_calibration_divergence_multiplier: 1.6,
+            escalation_precision_floor: 0.7,
+            backstop_deep_contradiction_count: 99,
+            stale_brief_minutes: 30,
+            fresh_tokens_per_day_ceiling: 500,
+        },
+        transitive_freshness_function: { kind: "kernel-default" },
+        falsification_predicate: {
+            kind: "greater-than-or-equal",
+            fact: input.falsification_fact,
+            value: input.falsification_value,
+        },
+        backstop_divergence_predicate: {
+            kind: "greater-than-or-equal",
+            fact: exports.POLICY_DRIFT_P2_BACKSTOP_FACT,
+            value: 99,
+        },
+        provenance: {
+            contract_revision: input.contract_revision,
+            receipt_history_summary_hash: input.receipt_history_summary_hash,
+            explored_receipt_hashes: input.explored_receipt_hashes,
+            history_query: {
+                schema: POLICY_AUTHOR_HISTORY_QUERY_SCHEMA,
+                v: POLICY_ARTIFACT_VERSION,
+                selected_receipt_hashes: input.explored_receipt_hashes,
+                rationale: "recorded P2 proof pins the receipt-log slice used to evaluate policy drift",
+            },
+        },
+    };
+}
+const LIVE_OBSERVABLES = [
+    {
+        id: exports.POLICY_DRIFT_P2_COST_FACT,
+        source: "cost-ledger",
+        description: "fresh maintenance tokens per maintained day from receipt cost facts",
+    },
+    {
+        id: exports.POLICY_DRIFT_P2_BACKSTOP_FACT,
+        source: "kernel-backstop",
+        description: "B2 deep-vs-shallow contradiction count over the trailing seven days",
+    },
+    {
+        id: "receipt.escalation_precision_7d",
+        source: "receipt-log",
+        description: "precision of escalation receipts over the trailing seven days",
+    },
+    {
+        id: exports.POLICY_DRIFT_P2_OFF_LOG_FACT,
+        source: "connector",
+        description: "live incident-channel signal deliberately absent from the receipt log",
+    },
+];
+function makeReceiptHistory(contractRevision) {
+    return [
+        makeReceipt({
+            contract_revision: contractRevision,
+            memo_key: "memo:bootstrap",
+            as_of: "2026-05-18T00:00:00.000Z",
+            next_forecast_recheck: "2026-05-18T06:00:00.000Z",
+            event_cause: "real-input",
+            role: "judge",
+            evidence_input_ids: [hashText("incident-bootstrap-evidence")],
+            status: "up",
+            fresh: 900,
+            reused: 0,
+            tags: ["policy-drift-p2", "bootstrap"],
+        }),
+        makeReceipt({
+            contract_revision: contractRevision,
+            memo_key: "memo:forecast-recheck",
+            as_of: "2026-05-18T12:00:00.000Z",
+            next_forecast_recheck: "2026-05-19T00:00:00.000Z",
+            event_cause: "forecast-recheck",
+            role: "judge",
+            evidence_input_ids: [hashText("incident-plan-age-evidence")],
+            status: "up",
+            fresh: 450,
+            reused: 320,
+            tags: ["policy-drift-p2", "plan-age"],
+        }),
+        makeReceipt({
+            contract_revision: contractRevision,
+            memo_key: "memo:escalation-review",
+            as_of: "2026-05-18T18:00:00.000Z",
+            next_forecast_recheck: "2026-05-19T00:00:00.000Z",
+            event_cause: "escalation",
+            role: "judge",
+            evidence_input_ids: [hashText("incident-escalation-evidence")],
+            status: "blocked",
+            fresh: 375,
+            reused: 0,
+            tags: ["policy-drift-p2", "escalation"],
+        }),
+    ];
+}
+function makeReceipt(input) {
+    return createReceiptV0({
+        core: {
+            responsibility_id: exports.POLICY_DRIFT_P2_RESPONSIBILITY_ID,
+            contract_revision: input.contract_revision,
+            event_cause: input.event_cause,
+            ...(input.event_cause === "forecast-recheck"
+                ? { recheck_kind: "plan-age" }
+                : {}),
+            memo_key: input.memo_key,
+            evidence_input_ids: input.evidence_input_ids,
+            as_of: input.as_of,
+            role: input.role,
+        },
+        sig: {
+            scheme: "none",
+            null_reason: "cradle recorded P2 policy-drift proof",
+        },
+        verdict: {
+            status: input.status,
+            confidence: {
+                value: input.status === "blocked" ? 0 : 0.82,
+                derivation_method: "recorded-cradle-policy-drift-fixture",
+                calibration_grade: "none",
+                label_source: "none",
+            },
+            ...(input.status === "blocked"
+                ? {
+                    blocked: {
+                        reason: "recorded escalation review exceeded cost budget",
+                        fix_target: "policy-artifact",
+                        interrupt_cause: "needs-judgment",
+                    },
+                }
+                : {}),
+        },
+        freshness: {
+            as_of: input.as_of,
+            next_forecast_recheck: input.next_forecast_recheck,
+        },
+        composition: {
+            consumed_receipts: [],
+            cycle_checked: true,
+        },
+        cost: {
+            provider: "cradle",
+            model: "recorded-policy-drift-fixture",
+            role: input.role,
+            tags: input.tags,
+            responsibility_id: exports.POLICY_DRIFT_P2_RESPONSIBILITY_ID,
+            run_id: "policy-drift-p2-recorded",
+            as_of: input.as_of,
+            tokens: {
+                fresh: input.fresh,
+                reused: input.reused,
+            },
+            surprise_cause: input.event_cause,
+        },
+    });
+}
+function assertValidArtifact(artifact, expectedBytes, expectedContentHash) {
+    const validation = validatePolicyArtifactV0(artifact);
+    if (!validation.ok) {
+        throw new Error(`recorded policy drift artifact is invalid: ${validation.errors.join("; ")}`);
+    }
+    if (validation.bytes !== expectedBytes) {
+        throw new Error("recorded policy drift artifact bytes are not canonical");
+    }
+    if (validation.content_hash !== expectedContentHash) {
+        throw new Error("recorded policy drift artifact content hash is stale");
+    }
+}
+function assertTrippedCostDrift(result, scenario) {
+    if (result.outcome !== "tripped") {
+        throw new Error(`expected cost drift predicate to trip, received ${result.outcome}`);
+    }
+    if (result.predicate.outcome !== "tripped") {
+        throw new Error(`expected cost drift predicate evaluation to trip, received ${result.predicate.outcome}`);
+    }
+    const costFact = result.facts[exports.POLICY_DRIFT_P2_COST_FACT];
+    if (typeof costFact !== "number" || costFact < 500) {
+        throw new Error("cost drift proof must expose the tripping receipt-log cost fact");
+    }
+    assertEvidenceSubset(result.evidence_receipt_hashes, scenario.receipt_history);
+}
+function assertIndeterminateOffLogDrift(result) {
+    if (result.outcome !== "indeterminate") {
+        throw new Error(`expected off-log live observable to be indeterminate, received ${result.outcome}`);
+    }
+    if (result.predicate.outcome !== "indeterminate") {
+        throw new Error(`expected off-log predicate evaluation to be indeterminate, received ${result.predicate.outcome}`);
+    }
+    const missingOrUnsupported = new Set([
+        ...result.missing_fact_ids,
+        ...result.unsupported_fact_ids,
+    ]);
+    if (!missingOrUnsupported.has(exports.POLICY_DRIFT_P2_OFF_LOG_FACT)) {
+        throw new Error("off-log drift proof must name the missing live observable fact");
+    }
+}
+function assertEvidenceSubset(evidenceReceiptHashes, receiptHistory) {
+    if (evidenceReceiptHashes.length === 0) {
+        throw new Error("policy drift proof must expose evidence receipt hashes");
+    }
+    const knownHashes = new Set(receiptHistory.map((receipt) => receipt.content_hash));
+    const unknown = evidenceReceiptHashes.filter((hash) => !knownHashes.has(hash));
+    if (unknown.length > 0) {
+        throw new Error(`policy drift proof referenced receipts outside the recorded log: ${unknown.join(", ")}`);
+    }
+}
+function readOutcome(result) {
+    const value = result["outcome"] ?? result["status"];
+    if (value === "not-tripped" ||
+        value === "tripped" ||
+        value === "indeterminate") {
+        return value;
+    }
+    throw new Error("policy drift result outcome must be not-tripped, tripped, or indeterminate");
+}
+function readFacts(result) {
+    const value = result["facts"] ?? result["evaluated_facts"] ?? result["derived_facts"];
+    if (!isRecord(value)) {
+        throw new Error("policy drift result must expose evaluated facts");
+    }
+    const facts = {};
+    for (const [key, factValue] of Object.entries(value)) {
+        if (!isKernelFactValue(factValue)) {
+            throw new Error(`policy drift fact ${key} has unsupported value type`);
+        }
+        facts[key] = factValue;
+    }
+    return facts;
+}
+function readPredicateEvaluation(value) {
+    if (!isRecord(value)) {
+        throw new Error("policy drift result must expose predicate evaluation");
+    }
+    const outcome = value["outcome"];
+    if (outcome !== "not-tripped" &&
+        outcome !== "tripped" &&
+        outcome !== "indeterminate") {
+        throw new Error("policy drift predicate evaluation outcome is malformed");
+    }
+    const reason = value["reason"];
+    if (reason !== undefined && typeof reason !== "string") {
+        throw new Error("policy drift predicate evaluation reason must be a string");
+    }
+    return {
+        outcome,
+        ...(reason === undefined ? {} : { reason }),
+    };
+}
+function readContentHashArrayFromUnknown(value, label) {
+    const values = readStringArrayFromUnknown(value, label);
+    const malformed = values.find((item) => !isContentHash(item));
+    if (malformed !== undefined) {
+        throw new Error(`${label} contains non-content-hash value ${malformed}`);
+    }
+    return values;
+}
+function readStringArrayFromUnknown(value, label) {
+    if (!Array.isArray(value)) {
+        throw new Error(`${label} must be an array`);
+    }
+    if (!value.every((item) => typeof item === "string" && item.length > 0)) {
+        throw new Error(`${label} must contain non-empty strings`);
+    }
+    return Object.freeze([...value]);
+}
+function hashReceiptHistorySummary(receiptHistory) {
+    return hashCanonicalReceiptV0(canonicalizeForReceiptV0(receiptHistory.map((receipt) => ({
+        content_hash: receipt.content_hash,
+        contract_revision: receipt.core.contract_revision,
+        as_of: receipt.core.as_of,
+        role: receipt.core.role,
+        event_cause: receipt.core.event_cause,
+        verdict_status: receipt.verdict.status,
+        next_forecast_recheck: receipt.freshness.next_forecast_recheck,
+        surprise_cause: receipt.cost.surprise_cause,
+        fresh_tokens: receipt.cost.tokens.fresh,
+    }))));
+}
+function isKernelFactValue(value) {
+    return (value === null ||
+        typeof value === "string" ||
+        typeof value === "number" ||
+        typeof value === "boolean");
+}
+function isContentHash(value) {
+    return /^sha256:[a-f0-9]{64}$/.test(value);
+}
+function hashText(value) {
+    return `sha256:${(0, node_crypto_1.createHash)("sha256").update(value).digest("hex")}`;
+}
+function isRecord(value) {
+    return typeof value === "object" && value !== null && !Array.isArray(value);
+}
+function loadReactorReceipt() {
+    try {
+        return require("@openprose/reactor/receipt");
+    }
+    catch (error) {
+        if (isMissingReactorSubpath(error, "@openprose/reactor/receipt")) {
+            return require("../../../reactor/dist/receipt");
+        }
+        throw error;
+    }
+}
+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/policy-replay/index.d.ts

@@ -0,0 +1,106 @@
+import type { AuthoredPolicyArtifactV0 } from "@openprose/reactor/policy";
+import type { ContentHashV0, ReceiptV0 } from "@openprose/reactor/receipt";
+import type { ReactorAgentSdkAdapterV0, ReactorModelGatewayAdapterV0, ReactorRegistrySnapshotV0 } from "@openprose/reactor/sdk";
+import { type NormalizedPolicyRecompileDecisionV0, type PlanPolicyRecompileV0 } from "../recompile";
+export declare const POLICY_REPLAY_P5_SCENARIO_SCHEMA_V0: "openprose.reactor-cradle.policy-replay-p5-scenario";
+export declare const POLICY_REPLAY_P5_SCENARIO_VERSION_V0: 0;
+export type PolicyReplayArtifactSourceV0 = "recorded-registry-snapshot-bytes";
+export interface RecordedPolicyReplayP5ScenarioV0 {
+    readonly schema: typeof POLICY_REPLAY_P5_SCENARIO_SCHEMA_V0;
+    readonly v: typeof POLICY_REPLAY_P5_SCENARIO_VERSION_V0;
+    readonly responsibility_id: string;
+    readonly contract_revision: ContentHashV0;
+    readonly as_of: string;
+    readonly last_recompile_at: string;
+    readonly last_policy_revalidated_at: string;
+    readonly last_unforced_deep_at: string;
+    readonly source_policy_loop: "p3-recorded-recompile";
+    readonly receipt_history: readonly ReceiptV0[];
+    readonly recorded_registry_snapshot: ReactorRegistrySnapshotV0;
+    readonly recorded_policy_artifact_bytes: string;
+    readonly recorded_policy_artifact_content_hash: ContentHashV0;
+}
+export interface RecordedPolicyArtifactReplayAuthorityV0 {
+    readonly source: PolicyReplayArtifactSourceV0;
+    readonly artifact: AuthoredPolicyArtifactV0;
+    readonly bytes: string;
+    readonly content_hash: ContentHashV0;
+    readonly byte_length: number;
+    readonly namespace: string;
+    readonly registry_id: string;
+    readonly revision: string;
+    readonly validation_state: "validated";
+    readonly artifact_bytes_canonical: true;
+    readonly content_hash_verified: true;
+}
+export type PolicyReplayForbiddenAuthorV0 = (input: unknown) => Promise<ReactorRegistrySnapshotV0> | ReactorRegistrySnapshotV0;
+export interface PolicyReplayWithheldGatewayProbeV0 {
+    readonly agentSdk: Pick<ReactorAgentSdkAdapterV0, "launch">;
+    readonly agent_sdk: Pick<ReactorAgentSdkAdapterV0, "launch">;
+    readonly modelGateway: Pick<ReactorModelGatewayAdapterV0, "invoke">;
+    readonly model_gateway: Pick<ReactorModelGatewayAdapterV0, "invoke">;
+    readonly authorPolicyArtifactV0: PolicyReplayForbiddenAuthorV0;
+    readonly author_policy_artifact_v0: PolicyReplayForbiddenAuthorV0;
+    readonly agent_launch_count: number;
+    readonly model_gateway_invocation_count: number;
+    readonly policy_author_invocation_count: number;
+    readonly assertNoInvocations: () => void;
+}
+export interface RecordedPolicyReplayRunInputV0 {
+    readonly artifact: AuthoredPolicyArtifactV0;
+    readonly policy_artifact: AuthoredPolicyArtifactV0;
+    readonly recorded_registry_snapshot: ReactorRegistrySnapshotV0;
+    readonly recorded_artifact_bytes: string;
+    readonly recorded_policy_artifact_bytes: string;
+    readonly recorded_artifact_content_hash: ContentHashV0;
+    readonly recorded_policy_artifact_content_hash: ContentHashV0;
+    readonly receipt_history: readonly ReceiptV0[];
+    readonly receipts: readonly ReceiptV0[];
+    readonly as_of: string;
+    readonly last_recompile_at: string;
+    readonly last_policy_recompile_at: string;
+    readonly last_policy_revalidated_at: string;
+    readonly last_unforced_deep_at: string;
+    readonly responsibility_id: string;
+    readonly contract_revision: ContentHashV0;
+    readonly policy_artifact_namespace: string;
+    readonly policy_artifact_revision: string;
+    readonly author_input: {
+        readonly responsibility_id: string;
+        readonly contract_revision: ContentHashV0;
+        readonly receipt_history: readonly ReceiptV0[];
+        readonly receipts: readonly ReceiptV0[];
+        readonly as_of: string;
+        readonly policy_artifact_namespace: string;
+        readonly agentSdk: Pick<ReactorAgentSdkAdapterV0, "launch">;
+    };
+    readonly agentSdk: Pick<ReactorAgentSdkAdapterV0, "launch">;
+    readonly agent_sdk: Pick<ReactorAgentSdkAdapterV0, "launch">;
+    readonly modelGateway: Pick<ReactorModelGatewayAdapterV0, "invoke">;
+    readonly model_gateway: Pick<ReactorModelGatewayAdapterV0, "invoke">;
+    readonly authorPolicyArtifactV0: PolicyReplayForbiddenAuthorV0;
+    readonly author_policy_artifact_v0: PolicyReplayForbiddenAuthorV0;
+}
+export type ReplayRecordedPolicyArtifactV0 = (input: RecordedPolicyReplayRunInputV0) => Promise<unknown> | unknown;
+export interface RecordedPolicyReplayP5ProofV0 {
+    readonly scenario: RecordedPolicyReplayP5ScenarioV0;
+    readonly replay_authority: RecordedPolicyArtifactReplayAuthorityV0;
+    readonly replay_decision: NormalizedPolicyRecompileDecisionV0;
+    readonly raw_replay_result: unknown;
+    readonly gateway_invocations: {
+        readonly agent_launch_count: 0;
+        readonly model_gateway_invocation_count: 0;
+    };
+    readonly policy_author_invocation_count: 0;
+}
+export interface RunRecordedPolicyReplayP5ProofInputV0 {
+    readonly replayRecordedPolicyV0: ReplayRecordedPolicyArtifactV0;
+    readonly scenario?: RecordedPolicyReplayP5ScenarioV0;
+}
+export declare function makeRecordedPolicyReplayP5ScenarioV0(): RecordedPolicyReplayP5ScenarioV0;
+export declare function assertRecordedPolicyReplayP5ScenarioV0(scenario: RecordedPolicyReplayP5ScenarioV0): void;
+export declare function readRecordedPolicyArtifactFromRegistryV0(snapshot: ReactorRegistrySnapshotV0): RecordedPolicyArtifactReplayAuthorityV0;
+export declare function createPolicyReplayP5WithheldGatewayProbeV0(): PolicyReplayWithheldGatewayProbeV0;
+export declare function createRecordedArtifactPolicyRecompileReplayV0(planPolicyRecompileV0: PlanPolicyRecompileV0): ReplayRecordedPolicyArtifactV0;
+export declare function runRecordedPolicyReplayP5ProofV0(input: RunRecordedPolicyReplayP5ProofInputV0): Promise<RecordedPolicyReplayP5ProofV0>;
+//# sourceMappingURL=index.d.ts.map

package/dist/policy-replay/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/policy-replay/index.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,wBAAwB,EAAE,MAAM,2BAA2B,CAAC;AAC1E,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,EACL,KAAK,mCAAmC,EACxC,KAAK,qBAAqB,EAG3B,MAAM,cAAc,CAAC;AAMtB,eAAO,MAAM,mCAAmC,EAC9C,oDAA6D,CAAC;AAChE,eAAO,MAAM,oCAAoC,EAAG,CAAU,CAAC;AAE/D,MAAM,MAAM,4BAA4B,GACtC,kCAAkC,CAAC;AAErC,MAAM,WAAW,gCAAgC;IAC/C,QAAQ,CAAC,MAAM,EAAE,OAAO,mCAAmC,CAAC;IAC5D,QAAQ,CAAC,CAAC,EAAE,OAAO,oCAAoC,CAAC;IACxD,QAAQ,CAAC,iBAAiB,EAAE,MAAM,CAAC;IACnC,QAAQ,CAAC,iBAAiB,EAAE,aAAa,CAAC;IAC1C,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,iBAAiB,EAAE,MAAM,CAAC;IACnC,QAAQ,CAAC,0BAA0B,EAAE,MAAM,CAAC;IAC5C,QAAQ,CAAC,qBAAqB,EAAE,MAAM,CAAC;IACvC,QAAQ,CAAC,kBAAkB,EAAE,uBAAuB,CAAC;IACrD,QAAQ,CAAC,eAAe,EAAE,SAAS,SAAS,EAAE,CAAC;IAC/C,QAAQ,CAAC,0BAA0B,EAAE,yBAAyB,CAAC;IAC/D,QAAQ,CAAC,8BAA8B,EAAE,MAAM,CAAC;IAChD,QAAQ,CAAC,qCAAqC,EAAE,aAAa,CAAC;CAC/D;AAED,MAAM,WAAW,uCAAuC;IACtD,QAAQ,CAAC,MAAM,EAAE,4BAA4B,CAAC;IAC9C,QAAQ,CAAC,QAAQ,EAAE,wBAAwB,CAAC;IAC5C,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,YAAY,EAAE,aAAa,CAAC;IACrC,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,gBAAgB,EAAE,WAAW,CAAC;IACvC,QAAQ,CAAC,wBAAwB,EAAE,IAAI,CAAC;IACxC,QAAQ,CAAC,qBAAqB,EAAE,IAAI,CAAC;CACtC;AAED,MAAM,MAAM,6BAA6B,GAAG,CAC1C,KAAK,EAAE,OAAO,KACX,OAAO,CAAC,yBAAyB,CAAC,GAAG,yBAAyB,CAAC;AAEpE,MAAM,WAAW,kCAAkC;IACjD,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,sBAAsB,EAAE,6BAA6B,CAAC;IAC/D,QAAQ,CAAC,yBAAyB,EAAE,6BAA6B,CAAC;IAClE,QAAQ,CAAC,kBAAkB,EAAE,MAAM,CAAC;IACpC,QAAQ,CAAC,8BAA8B,EAAE,MAAM,CAAC;IAChD,QAAQ,CAAC,8BAA8B,EAAE,MAAM,CAAC;IAChD,QAAQ,CAAC,mBAAmB,EAAE,MAAM,IAAI,CAAC;CAC1C;AAED,MAAM,WAAW,8BAA8B;IAC7C,QAAQ,CAAC,QAAQ,EAAE,wBAAwB,CAAC;IAC5C,QAAQ,CAAC,eAAe,EAAE,wBAAwB,CAAC;IACnD,QAAQ,CAAC,0BAA0B,EAAE,yBAAyB,CAAC;IAC/D,QAAQ,CAAC,uBAAuB,EAAE,MAAM,CAAC;IACzC,QAAQ,CAAC,8BAA8B,EAAE,MAAM,CAAC;IAChD,QAAQ,CAAC,8BAA8B,EAAE,aAAa,CAAC;IACvD,QAAQ,CAAC,qCAAqC,EAAE,aAAa,CAAC;IAC9D,QAAQ,CAAC,eAAe,EAAE,SAAS,SAAS,EAAE,CAAC;IAC/C,QAAQ,CAAC,QAAQ,EAAE,SAAS,SAAS,EAAE,CAAC;IACxC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,iBAAiB,EAAE,MAAM,CAAC;IACnC,QAAQ,CAAC,wBAAwB,EAAE,MAAM,CAAC;IAC1C,QAAQ,CAAC,0BAA0B,EAAE,MAAM,CAAC;IAC5C,QAAQ,CAAC,qBAAqB,EAAE,MAAM,CAAC;IACvC,QAAQ,CAAC,iBAAiB,EAAE,MAAM,CAAC;IACnC,QAAQ,CAAC,iBAAiB,EAAE,aAAa,CAAC;IAC1C,QAAQ,CAAC,yBAAyB,EAAE,MAAM,CAAC;IAC3C,QAAQ,CAAC,wBAAwB,EAAE,MAAM,CAAC;IAC1C,QAAQ,CAAC,YAAY,EAAE;QACrB,QAAQ,CAAC,iBAAiB,EAAE,MAAM,CAAC;QACnC,QAAQ,CAAC,iBAAiB,EAAE,aAAa,CAAC;QAC1C,QAAQ,CAAC,eAAe,EAAE,SAAS,SAAS,EAAE,CAAC;QAC/C,QAAQ,CAAC,QAAQ,EAAE,SAAS,SAAS,EAAE,CAAC;QACxC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;QACvB,QAAQ,CAAC,yBAAyB,EAAE,MAAM,CAAC;QAC3C,QAAQ,CAAC,QAAQ,EAAE,IAAI,CAAC,wBAAwB,EAAE,QAAQ,CAAC,CAAC;KAC7D,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;IACrE,QAAQ,CAAC,sBAAsB,EAAE,6BAA6B,CAAC;IAC/D,QAAQ,CAAC,yBAAyB,EAAE,6BAA6B,CAAC;CACnE;AAED,MAAM,MAAM,8BAA8B,GAAG,CAC3C,KAAK,EAAE,8BAA8B,KAClC,OAAO,CAAC,OAAO,CAAC,GAAG,OAAO,CAAC;AAEhC,MAAM,WAAW,6BAA6B;IAC5C,QAAQ,CAAC,QAAQ,EAAE,gCAAgC,CAAC;IACpD,QAAQ,CAAC,gBAAgB,EAAE,uCAAuC,CAAC;IACnE,QAAQ,CAAC,eAAe,EAAE,mCAAmC,CAAC;IAC9D,QAAQ,CAAC,iBAAiB,EAAE,OAAO,CAAC;IACpC,QAAQ,CAAC,mBAAmB,EAAE;QAC5B,QAAQ,CAAC,kBAAkB,EAAE,CAAC,CAAC;QAC/B,QAAQ,CAAC,8BAA8B,EAAE,CAAC,CAAC;KAC5C,CAAC;IACF,QAAQ,CAAC,8BAA8B,EAAE,CAAC,CAAC;CAC5C;AAED,MAAM,WAAW,qCAAqC;IACpD,QAAQ,CAAC,sBAAsB,EAAE,8BAA8B,CAAC;IAChE,QAAQ,CAAC,QAAQ,CAAC,EAAE,gCAAgC,CAAC;CACtD;AAED,wBAAgB,oCAAoC,IAAI,gCAAgC,CAqBvF;AAED,wBAAgB,sCAAsC,CACpD,QAAQ,EAAE,gCAAgC,GACzC,IAAI,CAsDN;AAED,wBAAgB,wCAAwC,CACtD,QAAQ,EAAE,yBAAyB,GAClC,uCAAuC,CA4EzC;AAED,wBAAgB,0CAA0C,IAAI,kCAAkC,CAkD/F;AAED,wBAAgB,6CAA6C,CAC3D,qBAAqB,EAAE,qBAAqB,GAC3C,8BAA8B,CAahC;AAED,wBAAsB,gCAAgC,CACpD,KAAK,EAAE,qCAAqC,GAC3C,OAAO,CAAC,6BAA6B,CAAC,CA8BxC"}