@crediolabs/policy-synth 0.2.0 → 0.3.0

package/dist-cjs/run/schemas.d.ts

@@ -14,15 +14,15 @@ export declare const TokenMovementSchema: z.ZodObject<{
     to: z.ZodString;
     amount: z.ZodString;
 }, "strip", z.ZodTypeAny, {
-    amount: string;
-    token: string;
     from: string;
     to: string;
-}, {
     amount: string;
     token: string;
+}, {
     from: string;
     to: string;
+    amount: string;
+    token: string;
 }>;
 export declare const OnChainEventSchema: z.ZodObject<{
     contract: z.ZodString;
@@ -100,15 +100,15 @@ export declare const RecordedTransactionSchema: z.ZodObject<{
         to: z.ZodString;
         amount: z.ZodString;
     }, "strip", z.ZodTypeAny, {
-        amount: string;
-        token: string;
         from: string;
         to: string;
-    }, {
         amount: string;
         token: string;
+    }, {
         from: string;
         to: string;
+        amount: string;
+        token: string;
     }>, "many">;
     events: z.ZodArray<z.ZodObject<{
         contract: z.ZodString;
@@ -186,15 +186,15 @@ export declare const RecordedTransactionSchema: z.ZodObject<{
         to: z.ZodString;
         amount: z.ZodString;
     }, "strip", z.ZodTypeAny, {
-        amount: string;
-        token: string;
         from: string;
         to: string;
-    }, {
         amount: string;
         token: string;
+    }, {
         from: string;
         to: string;
+        amount: string;
+        token: string;
     }>, "many">;
     events: z.ZodArray<z.ZodObject<{
         contract: z.ZodString;
@@ -272,15 +272,15 @@ export declare const RecordedTransactionSchema: z.ZodObject<{
         to: z.ZodString;
         amount: z.ZodString;
     }, "strip", z.ZodTypeAny, {
-        amount: string;
-        token: string;
         from: string;
         to: string;
-    }, {
         amount: string;
         token: string;
+    }, {
         from: string;
         to: string;
+        amount: string;
+        token: string;
     }>, "many">;
     events: z.ZodArray<z.ZodObject<{
         contract: z.ZodString;
@@ -349,253 +349,18 @@ export declare const RecordedTransactionSchema: z.ZodObject<{
     }>;
     sourceAccount: z.ZodString;
 }, z.ZodTypeAny, "passthrough">>;
-/** MandateSpec mirrors the core MandateSpec. The deterministic Mandate
- *  front-end needs no parseConfidence; the tool adapter injects the full
- *  confidence after synthesis so the orchestrator can compare. */
-export declare const MandateSpecSchema: z.ZodEffects<z.ZodObject<{
-    chain: z.ZodLiteral<"stellar">;
-    contract: z.ZodString;
-    method: z.ZodOptional<z.ZodString>;
-    spendingLimit: z.ZodOptional<z.ZodObject<{
-        token: z.ZodString;
-        limit: z.ZodString;
-        windowSeconds: z.ZodNumber;
-    }, "strip", z.ZodTypeAny, {
-        token: string;
-        limit: string;
-        windowSeconds: number;
-    }, {
-        token: string;
-        limit: string;
-        windowSeconds: number;
-    }>>;
-    approvalThreshold: z.ZodOptional<z.ZodNumber>;
-    recipients: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
-    expiry: z.ZodOptional<z.ZodObject<{
-        validUntilLedger: z.ZodOptional<z.ZodNumber>;
-        validUntilUnixSeconds: z.ZodOptional<z.ZodNumber>;
-    }, "strip", z.ZodTypeAny, {
-        validUntilLedger?: number | undefined;
-        validUntilUnixSeconds?: number | undefined;
-    }, {
-        validUntilLedger?: number | undefined;
-        validUntilUnixSeconds?: number | undefined;
-    }>>;
-}, "passthrough", z.ZodTypeAny, z.objectOutputType<{
-    chain: z.ZodLiteral<"stellar">;
-    contract: z.ZodString;
-    method: z.ZodOptional<z.ZodString>;
-    spendingLimit: z.ZodOptional<z.ZodObject<{
-        token: z.ZodString;
-        limit: z.ZodString;
-        windowSeconds: z.ZodNumber;
-    }, "strip", z.ZodTypeAny, {
-        token: string;
-        limit: string;
-        windowSeconds: number;
-    }, {
-        token: string;
-        limit: string;
-        windowSeconds: number;
-    }>>;
-    approvalThreshold: z.ZodOptional<z.ZodNumber>;
-    recipients: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
-    expiry: z.ZodOptional<z.ZodObject<{
-        validUntilLedger: z.ZodOptional<z.ZodNumber>;
-        validUntilUnixSeconds: z.ZodOptional<z.ZodNumber>;
-    }, "strip", z.ZodTypeAny, {
-        validUntilLedger?: number | undefined;
-        validUntilUnixSeconds?: number | undefined;
-    }, {
-        validUntilLedger?: number | undefined;
-        validUntilUnixSeconds?: number | undefined;
-    }>>;
-}, z.ZodTypeAny, "passthrough">, z.objectInputType<{
-    chain: z.ZodLiteral<"stellar">;
-    contract: z.ZodString;
-    method: z.ZodOptional<z.ZodString>;
-    spendingLimit: z.ZodOptional<z.ZodObject<{
-        token: z.ZodString;
-        limit: z.ZodString;
-        windowSeconds: z.ZodNumber;
-    }, "strip", z.ZodTypeAny, {
-        token: string;
-        limit: string;
-        windowSeconds: number;
-    }, {
-        token: string;
-        limit: string;
-        windowSeconds: number;
-    }>>;
-    approvalThreshold: z.ZodOptional<z.ZodNumber>;
-    recipients: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
-    expiry: z.ZodOptional<z.ZodObject<{
-        validUntilLedger: z.ZodOptional<z.ZodNumber>;
-        validUntilUnixSeconds: z.ZodOptional<z.ZodNumber>;
-    }, "strip", z.ZodTypeAny, {
-        validUntilLedger?: number | undefined;
-        validUntilUnixSeconds?: number | undefined;
-    }, {
-        validUntilLedger?: number | undefined;
-        validUntilUnixSeconds?: number | undefined;
-    }>>;
-}, z.ZodTypeAny, "passthrough">>, z.objectOutputType<{
-    chain: z.ZodLiteral<"stellar">;
-    contract: z.ZodString;
-    method: z.ZodOptional<z.ZodString>;
-    spendingLimit: z.ZodOptional<z.ZodObject<{
-        token: z.ZodString;
-        limit: z.ZodString;
-        windowSeconds: z.ZodNumber;
-    }, "strip", z.ZodTypeAny, {
-        token: string;
-        limit: string;
-        windowSeconds: number;
-    }, {
-        token: string;
-        limit: string;
-        windowSeconds: number;
-    }>>;
-    approvalThreshold: z.ZodOptional<z.ZodNumber>;
-    recipients: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
-    expiry: z.ZodOptional<z.ZodObject<{
-        validUntilLedger: z.ZodOptional<z.ZodNumber>;
-        validUntilUnixSeconds: z.ZodOptional<z.ZodNumber>;
-    }, "strip", z.ZodTypeAny, {
-        validUntilLedger?: number | undefined;
-        validUntilUnixSeconds?: number | undefined;
-    }, {
-        validUntilLedger?: number | undefined;
-        validUntilUnixSeconds?: number | undefined;
-    }>>;
-}, z.ZodTypeAny, "passthrough">, z.objectInputType<{
-    chain: z.ZodLiteral<"stellar">;
-    contract: z.ZodString;
-    method: z.ZodOptional<z.ZodString>;
-    spendingLimit: z.ZodOptional<z.ZodObject<{
-        token: z.ZodString;
-        limit: z.ZodString;
-        windowSeconds: z.ZodNumber;
-    }, "strip", z.ZodTypeAny, {
-        token: string;
-        limit: string;
-        windowSeconds: number;
-    }, {
-        token: string;
-        limit: string;
-        windowSeconds: number;
-    }>>;
-    approvalThreshold: z.ZodOptional<z.ZodNumber>;
-    recipients: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
-    expiry: z.ZodOptional<z.ZodObject<{
-        validUntilLedger: z.ZodOptional<z.ZodNumber>;
-        validUntilUnixSeconds: z.ZodOptional<z.ZodNumber>;
-    }, "strip", z.ZodTypeAny, {
-        validUntilLedger?: number | undefined;
-        validUntilUnixSeconds?: number | undefined;
-    }, {
-        validUntilLedger?: number | undefined;
-        validUntilUnixSeconds?: number | undefined;
-    }>>;
-}, z.ZodTypeAny, "passthrough">>;
-/** ComposeUserResponses mirrors the core. */
 export declare const ComposeUserResponsesSchema: z.ZodObject<{
-    windowSeconds: z.ZodOptional<z.ZodNumber>;
-    validUntilLedger: z.ZodOptional<z.ZodNumber>;
-    limitAmount: z.ZodOptional<z.ZodString>;
-    invocationLimit: z.ZodOptional<z.ZodNumber>;
-    swapRecipientAllowlist: z.ZodOptional<z.ZodArray<z.ZodEffects<z.ZodString, string, string>, "many">>;
-    oraclePriceBound: z.ZodOptional<z.ZodArray<z.ZodObject<{
-        asset: z.ZodEffects<z.ZodString, string, string>;
-        operator: z.ZodEnum<["eq", "lt", "lte", "gt", "gte"]>;
-        value: z.ZodString;
-        decimals: z.ZodNumber;
-    }, "strip", z.ZodTypeAny, {
-        value: string;
-        operator: "eq" | "lt" | "lte" | "gt" | "gte";
-        asset: string;
-        decimals: number;
-    }, {
-        value: string;
-        operator: "eq" | "lt" | "lte" | "gt" | "gte";
-        asset: string;
-        decimals: number;
-    }>, "many">>;
-}, "passthrough", z.ZodTypeAny, z.objectOutputType<{
-    windowSeconds: z.ZodOptional<z.ZodNumber>;
-    validUntilLedger: z.ZodOptional<z.ZodNumber>;
-    limitAmount: z.ZodOptional<z.ZodString>;
-    invocationLimit: z.ZodOptional<z.ZodNumber>;
-    swapRecipientAllowlist: z.ZodOptional<z.ZodArray<z.ZodEffects<z.ZodString, string, string>, "many">>;
-    oraclePriceBound: z.ZodOptional<z.ZodArray<z.ZodObject<{
-        asset: z.ZodEffects<z.ZodString, string, string>;
-        operator: z.ZodEnum<["eq", "lt", "lte", "gt", "gte"]>;
-        value: z.ZodString;
-        decimals: z.ZodNumber;
-    }, "strip", z.ZodTypeAny, {
-        value: string;
-        operator: "eq" | "lt" | "lte" | "gt" | "gte";
-        asset: string;
-        decimals: number;
-    }, {
-        value: string;
-        operator: "eq" | "lt" | "lte" | "gt" | "gte";
-        asset: string;
-        decimals: number;
-    }>, "many">>;
-}, z.ZodTypeAny, "passthrough">, z.objectInputType<{
-    windowSeconds: z.ZodOptional<z.ZodNumber>;
     validUntilLedger: z.ZodOptional<z.ZodNumber>;
     limitAmount: z.ZodOptional<z.ZodString>;
-    invocationLimit: z.ZodOptional<z.ZodNumber>;
     swapRecipientAllowlist: z.ZodOptional<z.ZodArray<z.ZodEffects<z.ZodString, string, string>, "many">>;
-    oraclePriceBound: z.ZodOptional<z.ZodArray<z.ZodObject<{
-        asset: z.ZodEffects<z.ZodString, string, string>;
-        operator: z.ZodEnum<["eq", "lt", "lte", "gt", "gte"]>;
-        value: z.ZodString;
-        decimals: z.ZodNumber;
-    }, "strip", z.ZodTypeAny, {
-        value: string;
-        operator: "eq" | "lt" | "lte" | "gt" | "gte";
-        asset: string;
-        decimals: number;
-    }, {
-        value: string;
-        operator: "eq" | "lt" | "lte" | "gt" | "gte";
-        asset: string;
-        decimals: number;
-    }>, "many">>;
-}, z.ZodTypeAny, "passthrough">>;
-/** OzAdapterConfig - the per-network OZ built-in instance addresses. */
-export declare const OzAdapterConfigSchema: z.ZodObject<{
-    network: z.ZodEnum<["mainnet", "testnet"]>;
-    instances: z.ZodObject<{
-        spending_limit: z.ZodString;
-        simple_threshold: z.ZodString;
-        weighted_threshold: z.ZodString;
-    }, "strip", z.ZodTypeAny, {
-        spending_limit: string;
-        simple_threshold: string;
-        weighted_threshold: string;
-    }, {
-        spending_limit: string;
-        simple_threshold: string;
-        weighted_threshold: string;
-    }>;
-}, "strip", z.ZodTypeAny, {
-    network: "mainnet" | "testnet";
-    instances: {
-        spending_limit: string;
-        simple_threshold: string;
-        weighted_threshold: string;
-    };
+}, "strict", z.ZodTypeAny, {
+    limitAmount?: string | undefined;
+    validUntilLedger?: number | undefined;
+    swapRecipientAllowlist?: string[] | undefined;
 }, {
-    network: "mainnet" | "testnet";
-    instances: {
-        spending_limit: string;
-        simple_threshold: string;
-        weighted_threshold: string;
-    };
+    limitAmount?: string | undefined;
+    validUntilLedger?: number | undefined;
+    swapRecipientAllowlist?: string[] | undefined;
 }>;
 export declare const RecordTransactionInputSchema: z.ZodEffects<z.ZodEffects<z.ZodObject<{
     hash: z.ZodOptional<z.ZodString>;
@@ -634,279 +399,17 @@ export declare const RecordTransactionInputSchema: z.ZodEffects<z.ZodEffects<z.Z
     confidenceOverride?: number | undefined;
 }>;
 export type RecordTransactionInput = z.infer<typeof RecordTransactionInputSchema>;
-export declare const SynthesizePolicyMandateInputSchema: z.ZodObject<{
-    source: z.ZodLiteral<"mandate">;
-    mandate: z.ZodEffects<z.ZodObject<{
-        chain: z.ZodLiteral<"stellar">;
-        contract: z.ZodString;
-        method: z.ZodOptional<z.ZodString>;
-        spendingLimit: z.ZodOptional<z.ZodObject<{
-            token: z.ZodString;
-            limit: z.ZodString;
-            windowSeconds: z.ZodNumber;
-        }, "strip", z.ZodTypeAny, {
-            token: string;
-            limit: string;
-            windowSeconds: number;
-        }, {
-            token: string;
-            limit: string;
-            windowSeconds: number;
-        }>>;
-        approvalThreshold: z.ZodOptional<z.ZodNumber>;
-        recipients: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
-        expiry: z.ZodOptional<z.ZodObject<{
-            validUntilLedger: z.ZodOptional<z.ZodNumber>;
-            validUntilUnixSeconds: z.ZodOptional<z.ZodNumber>;
-        }, "strip", z.ZodTypeAny, {
-            validUntilLedger?: number | undefined;
-            validUntilUnixSeconds?: number | undefined;
-        }, {
-            validUntilLedger?: number | undefined;
-            validUntilUnixSeconds?: number | undefined;
-        }>>;
-    }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
-        chain: z.ZodLiteral<"stellar">;
-        contract: z.ZodString;
-        method: z.ZodOptional<z.ZodString>;
-        spendingLimit: z.ZodOptional<z.ZodObject<{
-            token: z.ZodString;
-            limit: z.ZodString;
-            windowSeconds: z.ZodNumber;
-        }, "strip", z.ZodTypeAny, {
-            token: string;
-            limit: string;
-            windowSeconds: number;
-        }, {
-            token: string;
-            limit: string;
-            windowSeconds: number;
-        }>>;
-        approvalThreshold: z.ZodOptional<z.ZodNumber>;
-        recipients: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
-        expiry: z.ZodOptional<z.ZodObject<{
-            validUntilLedger: z.ZodOptional<z.ZodNumber>;
-            validUntilUnixSeconds: z.ZodOptional<z.ZodNumber>;
-        }, "strip", z.ZodTypeAny, {
-            validUntilLedger?: number | undefined;
-            validUntilUnixSeconds?: number | undefined;
-        }, {
-            validUntilLedger?: number | undefined;
-            validUntilUnixSeconds?: number | undefined;
-        }>>;
-    }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
-        chain: z.ZodLiteral<"stellar">;
-        contract: z.ZodString;
-        method: z.ZodOptional<z.ZodString>;
-        spendingLimit: z.ZodOptional<z.ZodObject<{
-            token: z.ZodString;
-            limit: z.ZodString;
-            windowSeconds: z.ZodNumber;
-        }, "strip", z.ZodTypeAny, {
-            token: string;
-            limit: string;
-            windowSeconds: number;
-        }, {
-            token: string;
-            limit: string;
-            windowSeconds: number;
-        }>>;
-        approvalThreshold: z.ZodOptional<z.ZodNumber>;
-        recipients: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
-        expiry: z.ZodOptional<z.ZodObject<{
-            validUntilLedger: z.ZodOptional<z.ZodNumber>;
-            validUntilUnixSeconds: z.ZodOptional<z.ZodNumber>;
-        }, "strip", z.ZodTypeAny, {
-            validUntilLedger?: number | undefined;
-            validUntilUnixSeconds?: number | undefined;
-        }, {
-            validUntilLedger?: number | undefined;
-            validUntilUnixSeconds?: number | undefined;
-        }>>;
-    }, z.ZodTypeAny, "passthrough">>, z.objectOutputType<{
-        chain: z.ZodLiteral<"stellar">;
-        contract: z.ZodString;
-        method: z.ZodOptional<z.ZodString>;
-        spendingLimit: z.ZodOptional<z.ZodObject<{
-            token: z.ZodString;
-            limit: z.ZodString;
-            windowSeconds: z.ZodNumber;
-        }, "strip", z.ZodTypeAny, {
-            token: string;
-            limit: string;
-            windowSeconds: number;
-        }, {
-            token: string;
-            limit: string;
-            windowSeconds: number;
-        }>>;
-        approvalThreshold: z.ZodOptional<z.ZodNumber>;
-        recipients: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
-        expiry: z.ZodOptional<z.ZodObject<{
-            validUntilLedger: z.ZodOptional<z.ZodNumber>;
-            validUntilUnixSeconds: z.ZodOptional<z.ZodNumber>;
-        }, "strip", z.ZodTypeAny, {
-            validUntilLedger?: number | undefined;
-            validUntilUnixSeconds?: number | undefined;
-        }, {
-            validUntilLedger?: number | undefined;
-            validUntilUnixSeconds?: number | undefined;
-        }>>;
-    }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
-        chain: z.ZodLiteral<"stellar">;
-        contract: z.ZodString;
-        method: z.ZodOptional<z.ZodString>;
-        spendingLimit: z.ZodOptional<z.ZodObject<{
-            token: z.ZodString;
-            limit: z.ZodString;
-            windowSeconds: z.ZodNumber;
-        }, "strip", z.ZodTypeAny, {
-            token: string;
-            limit: string;
-            windowSeconds: number;
-        }, {
-            token: string;
-            limit: string;
-            windowSeconds: number;
-        }>>;
-        approvalThreshold: z.ZodOptional<z.ZodNumber>;
-        recipients: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
-        expiry: z.ZodOptional<z.ZodObject<{
-            validUntilLedger: z.ZodOptional<z.ZodNumber>;
-            validUntilUnixSeconds: z.ZodOptional<z.ZodNumber>;
-        }, "strip", z.ZodTypeAny, {
-            validUntilLedger?: number | undefined;
-            validUntilUnixSeconds?: number | undefined;
-        }, {
-            validUntilLedger?: number | undefined;
-            validUntilUnixSeconds?: number | undefined;
-        }>>;
-    }, z.ZodTypeAny, "passthrough">>;
-    ozConfig: z.ZodOptional<z.ZodObject<{
-        network: z.ZodEnum<["mainnet", "testnet"]>;
-        instances: z.ZodObject<{
-            spending_limit: z.ZodString;
-            simple_threshold: z.ZodString;
-            weighted_threshold: z.ZodString;
-        }, "strip", z.ZodTypeAny, {
-            spending_limit: string;
-            simple_threshold: string;
-            weighted_threshold: string;
-        }, {
-            spending_limit: string;
-            simple_threshold: string;
-            weighted_threshold: string;
-        }>;
-    }, "strip", z.ZodTypeAny, {
-        network: "mainnet" | "testnet";
-        instances: {
-            spending_limit: string;
-            simple_threshold: string;
-            weighted_threshold: string;
-        };
-    }, {
-        network: "mainnet" | "testnet";
-        instances: {
-            spending_limit: string;
-            simple_threshold: string;
-            weighted_threshold: string;
-        };
-    }>>;
-    explain: z.ZodOptional<z.ZodBoolean>;
-}, "strip", z.ZodTypeAny, {
-    source: "mandate";
-    mandate: {
-        contract: string;
-        chain: "stellar";
-        expiry?: {
-            validUntilLedger?: number | undefined;
-            validUntilUnixSeconds?: number | undefined;
-        } | undefined;
-        method?: string | undefined;
-        spendingLimit?: {
-            token: string;
-            limit: string;
-            windowSeconds: number;
-        } | undefined;
-        approvalThreshold?: number | undefined;
-        recipients?: string[] | undefined;
-    } & {
-        [k: string]: unknown;
-    };
-    ozConfig?: {
-        network: "mainnet" | "testnet";
-        instances: {
-            spending_limit: string;
-            simple_threshold: string;
-            weighted_threshold: string;
-        };
-    } | undefined;
-    explain?: boolean | undefined;
-}, {
-    source: "mandate";
-    mandate: {
-        contract: string;
-        chain: "stellar";
-        expiry?: {
-            validUntilLedger?: number | undefined;
-            validUntilUnixSeconds?: number | undefined;
-        } | undefined;
-        method?: string | undefined;
-        spendingLimit?: {
-            token: string;
-            limit: string;
-            windowSeconds: number;
-        } | undefined;
-        approvalThreshold?: number | undefined;
-        recipients?: string[] | undefined;
-    } & {
-        [k: string]: unknown;
-    };
-    ozConfig?: {
-        network: "mainnet" | "testnet";
-        instances: {
-            spending_limit: string;
-            simple_threshold: string;
-            weighted_threshold: string;
-        };
-    } | undefined;
-    explain?: boolean | undefined;
-}>;
-/** Interpreter opt-in for the recording path. Present -> constraints OZ cannot
- *  express (per-method scoping, invocation-count windows, oracle bounds, exact
- *  hop paths) lower to a real interpreter predicate document instead of being
- *  surfaced as warnings. The core deep-validates `smartAccountAddress` (a C...
- *  contract, not the recording's G... source) and the tighten-only oracle
- *  bounds; the schema stays light so the core owns the friendly ToolErrors. */
 export declare const InterpreterOptionsSchema: z.ZodObject<{
     smartAccountAddress: z.ZodString;
     installNonce: z.ZodOptional<z.ZodNumber>;
-    oracleParams: z.ZodOptional<z.ZodObject<{
-        maxStalenessSeconds: z.ZodOptional<z.ZodNumber>;
-        maxDeviationBps: z.ZodOptional<z.ZodNumber>;
-    }, "strip", z.ZodTypeAny, {
-        maxStalenessSeconds?: number | undefined;
-        maxDeviationBps?: number | undefined;
-    }, {
-        maxStalenessSeconds?: number | undefined;
-        maxDeviationBps?: number | undefined;
-    }>>;
 }, "strip", z.ZodTypeAny, {
     smartAccountAddress: string;
-    oracleParams?: {
-        maxStalenessSeconds?: number | undefined;
-        maxDeviationBps?: number | undefined;
-    } | undefined;
     installNonce?: number | undefined;
 }, {
     smartAccountAddress: string;
-    oracleParams?: {
-        maxStalenessSeconds?: number | undefined;
-        maxDeviationBps?: number | undefined;
-    } | undefined;
     installNonce?: number | undefined;
 }>;
-export declare const SynthesizePolicyRecordingInputSchema: z.ZodObject<{
+export declare const SynthesizePolicyInputSchema: z.ZodObject<{
     source: z.ZodLiteral<"recording">;
     recordedTx: z.ZodObject<{
         network: z.ZodEnum<["mainnet", "testnet"]>;
@@ -918,15 +421,15 @@ export declare const SynthesizePolicyRecordingInputSchema: z.ZodObject<{
             to: z.ZodString;
             amount: z.ZodString;
         }, "strip", z.ZodTypeAny, {
-            amount: string;
-            token: string;
             from: string;
             to: string;
-        }, {
             amount: string;
             token: string;
+        }, {
             from: string;
             to: string;
+            amount: string;
+            token: string;
         }>, "many">;
         events: z.ZodArray<z.ZodObject<{
             contract: z.ZodString;
@@ -1004,15 +507,15 @@ export declare const SynthesizePolicyRecordingInputSchema: z.ZodObject<{
             to: z.ZodString;
             amount: z.ZodString;
         }, "strip", z.ZodTypeAny, {
-            amount: string;
-            token: string;
             from: string;
             to: string;
-        }, {
             amount: string;
             token: string;
+        }, {
             from: string;
             to: string;
+            amount: string;
+            token: string;
         }>, "many">;
         events: z.ZodArray<z.ZodObject<{
             contract: z.ZodString;
@@ -1090,15 +593,15 @@ export declare const SynthesizePolicyRecordingInputSchema: z.ZodObject<{
             to: z.ZodString;
             amount: z.ZodString;
         }, "strip", z.ZodTypeAny, {
-            amount: string;
-            token: string;
             from: string;
             to: string;
-        }, {
             amount: string;
             token: string;
+        }, {
             from: string;
             to: string;
+            amount: string;
+            token: string;
         }>, "many">;
         events: z.ZodArray<z.ZodObject<{
             contract: z.ZodString;
@@ -1169,72 +672,18 @@ export declare const SynthesizePolicyRecordingInputSchema: z.ZodObject<{
     }, z.ZodTypeAny, "passthrough">>;
     network: z.ZodEnum<["mainnet", "testnet"]>;
     userResponses: z.ZodOptional<z.ZodObject<{
-        windowSeconds: z.ZodOptional<z.ZodNumber>;
-        validUntilLedger: z.ZodOptional<z.ZodNumber>;
-        limitAmount: z.ZodOptional<z.ZodString>;
-        invocationLimit: z.ZodOptional<z.ZodNumber>;
-        swapRecipientAllowlist: z.ZodOptional<z.ZodArray<z.ZodEffects<z.ZodString, string, string>, "many">>;
-        oraclePriceBound: z.ZodOptional<z.ZodArray<z.ZodObject<{
-            asset: z.ZodEffects<z.ZodString, string, string>;
-            operator: z.ZodEnum<["eq", "lt", "lte", "gt", "gte"]>;
-            value: z.ZodString;
-            decimals: z.ZodNumber;
-        }, "strip", z.ZodTypeAny, {
-            value: string;
-            operator: "eq" | "lt" | "lte" | "gt" | "gte";
-            asset: string;
-            decimals: number;
-        }, {
-            value: string;
-            operator: "eq" | "lt" | "lte" | "gt" | "gte";
-            asset: string;
-            decimals: number;
-        }>, "many">>;
-    }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
-        windowSeconds: z.ZodOptional<z.ZodNumber>;
-        validUntilLedger: z.ZodOptional<z.ZodNumber>;
-        limitAmount: z.ZodOptional<z.ZodString>;
-        invocationLimit: z.ZodOptional<z.ZodNumber>;
-        swapRecipientAllowlist: z.ZodOptional<z.ZodArray<z.ZodEffects<z.ZodString, string, string>, "many">>;
-        oraclePriceBound: z.ZodOptional<z.ZodArray<z.ZodObject<{
-            asset: z.ZodEffects<z.ZodString, string, string>;
-            operator: z.ZodEnum<["eq", "lt", "lte", "gt", "gte"]>;
-            value: z.ZodString;
-            decimals: z.ZodNumber;
-        }, "strip", z.ZodTypeAny, {
-            value: string;
-            operator: "eq" | "lt" | "lte" | "gt" | "gte";
-            asset: string;
-            decimals: number;
-        }, {
-            value: string;
-            operator: "eq" | "lt" | "lte" | "gt" | "gte";
-            asset: string;
-            decimals: number;
-        }>, "many">>;
-    }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
-        windowSeconds: z.ZodOptional<z.ZodNumber>;
         validUntilLedger: z.ZodOptional<z.ZodNumber>;
         limitAmount: z.ZodOptional<z.ZodString>;
-        invocationLimit: z.ZodOptional<z.ZodNumber>;
         swapRecipientAllowlist: z.ZodOptional<z.ZodArray<z.ZodEffects<z.ZodString, string, string>, "many">>;
-        oraclePriceBound: z.ZodOptional<z.ZodArray<z.ZodObject<{
-            asset: z.ZodEffects<z.ZodString, string, string>;
-            operator: z.ZodEnum<["eq", "lt", "lte", "gt", "gte"]>;
-            value: z.ZodString;
-            decimals: z.ZodNumber;
-        }, "strip", z.ZodTypeAny, {
-            value: string;
-            operator: "eq" | "lt" | "lte" | "gt" | "gte";
-            asset: string;
-            decimals: number;
-        }, {
-            value: string;
-            operator: "eq" | "lt" | "lte" | "gt" | "gte";
-            asset: string;
-            decimals: number;
-        }>, "many">>;
-    }, z.ZodTypeAny, "passthrough">>>;
+    }, "strict", z.ZodTypeAny, {
+        limitAmount?: string | undefined;
+        validUntilLedger?: number | undefined;
+        swapRecipientAllowlist?: string[] | undefined;
+    }, {
+        limitAmount?: string | undefined;
+        validUntilLedger?: number | undefined;
+        swapRecipientAllowlist?: string[] | undefined;
+    }>>;
     confidenceOverride: z.ZodOptional<z.ZodObject<{
         threshold: z.ZodNumber;
     }, "strip", z.ZodTypeAny, {
@@ -1245,61 +694,13 @@ export declare const SynthesizePolicyRecordingInputSchema: z.ZodObject<{
     interpreter: z.ZodOptional<z.ZodObject<{
         smartAccountAddress: z.ZodString;
         installNonce: z.ZodOptional<z.ZodNumber>;
-        oracleParams: z.ZodOptional<z.ZodObject<{
-            maxStalenessSeconds: z.ZodOptional<z.ZodNumber>;
-            maxDeviationBps: z.ZodOptional<z.ZodNumber>;
-        }, "strip", z.ZodTypeAny, {
-            maxStalenessSeconds?: number | undefined;
-            maxDeviationBps?: number | undefined;
-        }, {
-            maxStalenessSeconds?: number | undefined;
-            maxDeviationBps?: number | undefined;
-        }>>;
     }, "strip", z.ZodTypeAny, {
         smartAccountAddress: string;
-        oracleParams?: {
-            maxStalenessSeconds?: number | undefined;
-            maxDeviationBps?: number | undefined;
-        } | undefined;
         installNonce?: number | undefined;
     }, {
         smartAccountAddress: string;
-        oracleParams?: {
-            maxStalenessSeconds?: number | undefined;
-            maxDeviationBps?: number | undefined;
-        } | undefined;
         installNonce?: number | undefined;
     }>>;
-    ozConfig: z.ZodOptional<z.ZodObject<{
-        network: z.ZodEnum<["mainnet", "testnet"]>;
-        instances: z.ZodObject<{
-            spending_limit: z.ZodString;
-            simple_threshold: z.ZodString;
-            weighted_threshold: z.ZodString;
-        }, "strip", z.ZodTypeAny, {
-            spending_limit: string;
-            simple_threshold: string;
-            weighted_threshold: string;
-        }, {
-            spending_limit: string;
-            simple_threshold: string;
-            weighted_threshold: string;
-        }>;
-    }, "strip", z.ZodTypeAny, {
-        network: "mainnet" | "testnet";
-        instances: {
-            spending_limit: string;
-            simple_threshold: string;
-            weighted_threshold: string;
-        };
-    }, {
-        network: "mainnet" | "testnet";
-        instances: {
-            spending_limit: string;
-            simple_threshold: string;
-            weighted_threshold: string;
-        };
-    }>>;
     explain: z.ZodOptional<z.ZodBoolean>;
 }, "strip", z.ZodTypeAny, {
     network: "mainnet" | "testnet";
@@ -1315,91 +716,10 @@ export declare const SynthesizePolicyRecordingInputSchema: z.ZodObject<{
         network: "mainnet" | "testnet";
         invocations: unknown[];
         tokenMovements: {
-            amount: string;
-            token: string;
             from: string;
             to: string;
-        }[];
-        authEntries: unknown[];
-        ledgerSequence: number;
-        fetchedAt: number;
-        parseConfidence: {
-            opaqueScVals: {
-                type: string;
-                path: string;
-            }[];
-            unknownContracts: {
-                contract: string;
-                reason: "no-abi" | "version-mismatch" | "opaque-result";
-            }[];
-            overall: number;
-            knownContracts: string[];
-            thresholdUsed: number;
-        };
-    } & {
-        [k: string]: unknown;
-    };
-    interpreter?: {
-        smartAccountAddress: string;
-        oracleParams?: {
-            maxStalenessSeconds?: number | undefined;
-            maxDeviationBps?: number | undefined;
-        } | undefined;
-        installNonce?: number | undefined;
-    } | undefined;
-    userResponses?: z.objectOutputType<{
-        windowSeconds: z.ZodOptional<z.ZodNumber>;
-        validUntilLedger: z.ZodOptional<z.ZodNumber>;
-        limitAmount: z.ZodOptional<z.ZodString>;
-        invocationLimit: z.ZodOptional<z.ZodNumber>;
-        swapRecipientAllowlist: z.ZodOptional<z.ZodArray<z.ZodEffects<z.ZodString, string, string>, "many">>;
-        oraclePriceBound: z.ZodOptional<z.ZodArray<z.ZodObject<{
-            asset: z.ZodEffects<z.ZodString, string, string>;
-            operator: z.ZodEnum<["eq", "lt", "lte", "gt", "gte"]>;
-            value: z.ZodString;
-            decimals: z.ZodNumber;
-        }, "strip", z.ZodTypeAny, {
-            value: string;
-            operator: "eq" | "lt" | "lte" | "gt" | "gte";
-            asset: string;
-            decimals: number;
-        }, {
-            value: string;
-            operator: "eq" | "lt" | "lte" | "gt" | "gte";
-            asset: string;
-            decimals: number;
-        }>, "many">>;
-    }, z.ZodTypeAny, "passthrough"> | undefined;
-    confidenceOverride?: {
-        threshold: number;
-    } | undefined;
-    ozConfig?: {
-        network: "mainnet" | "testnet";
-        instances: {
-            spending_limit: string;
-            simple_threshold: string;
-            weighted_threshold: string;
-        };
-    } | undefined;
-    explain?: boolean | undefined;
-}, {
-    network: "mainnet" | "testnet";
-    source: "recording";
-    recordedTx: {
-        signers: string[];
-        events: {
-            contract: string;
-            topics: string[];
-            data?: unknown;
-        }[];
-        sourceAccount: string;
-        network: "mainnet" | "testnet";
-        invocations: unknown[];
-        tokenMovements: {
             amount: string;
             token: string;
-            from: string;
-            to: string;
         }[];
         authEntries: unknown[];
         ledgerSequence: number;
@@ -1422,760 +742,16 @@ export declare const SynthesizePolicyRecordingInputSchema: z.ZodObject<{
     };
     interpreter?: {
         smartAccountAddress: string;
-        oracleParams?: {
-            maxStalenessSeconds?: number | undefined;
-            maxDeviationBps?: number | undefined;
-        } | undefined;
         installNonce?: number | undefined;
     } | undefined;
-    userResponses?: z.objectInputType<{
-        windowSeconds: z.ZodOptional<z.ZodNumber>;
-        validUntilLedger: z.ZodOptional<z.ZodNumber>;
-        limitAmount: z.ZodOptional<z.ZodString>;
-        invocationLimit: z.ZodOptional<z.ZodNumber>;
-        swapRecipientAllowlist: z.ZodOptional<z.ZodArray<z.ZodEffects<z.ZodString, string, string>, "many">>;
-        oraclePriceBound: z.ZodOptional<z.ZodArray<z.ZodObject<{
-            asset: z.ZodEffects<z.ZodString, string, string>;
-            operator: z.ZodEnum<["eq", "lt", "lte", "gt", "gte"]>;
-            value: z.ZodString;
-            decimals: z.ZodNumber;
-        }, "strip", z.ZodTypeAny, {
-            value: string;
-            operator: "eq" | "lt" | "lte" | "gt" | "gte";
-            asset: string;
-            decimals: number;
-        }, {
-            value: string;
-            operator: "eq" | "lt" | "lte" | "gt" | "gte";
-            asset: string;
-            decimals: number;
-        }>, "many">>;
-    }, z.ZodTypeAny, "passthrough"> | undefined;
-    confidenceOverride?: {
-        threshold: number;
-    } | undefined;
-    ozConfig?: {
-        network: "mainnet" | "testnet";
-        instances: {
-            spending_limit: string;
-            simple_threshold: string;
-            weighted_threshold: string;
-        };
-    } | undefined;
-    explain?: boolean | undefined;
-}>;
-export declare const SynthesizePolicyInputSchema: z.ZodDiscriminatedUnion<"source", [z.ZodObject<{
-    source: z.ZodLiteral<"mandate">;
-    mandate: z.ZodEffects<z.ZodObject<{
-        chain: z.ZodLiteral<"stellar">;
-        contract: z.ZodString;
-        method: z.ZodOptional<z.ZodString>;
-        spendingLimit: z.ZodOptional<z.ZodObject<{
-            token: z.ZodString;
-            limit: z.ZodString;
-            windowSeconds: z.ZodNumber;
-        }, "strip", z.ZodTypeAny, {
-            token: string;
-            limit: string;
-            windowSeconds: number;
-        }, {
-            token: string;
-            limit: string;
-            windowSeconds: number;
-        }>>;
-        approvalThreshold: z.ZodOptional<z.ZodNumber>;
-        recipients: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
-        expiry: z.ZodOptional<z.ZodObject<{
-            validUntilLedger: z.ZodOptional<z.ZodNumber>;
-            validUntilUnixSeconds: z.ZodOptional<z.ZodNumber>;
-        }, "strip", z.ZodTypeAny, {
-            validUntilLedger?: number | undefined;
-            validUntilUnixSeconds?: number | undefined;
-        }, {
-            validUntilLedger?: number | undefined;
-            validUntilUnixSeconds?: number | undefined;
-        }>>;
-    }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
-        chain: z.ZodLiteral<"stellar">;
-        contract: z.ZodString;
-        method: z.ZodOptional<z.ZodString>;
-        spendingLimit: z.ZodOptional<z.ZodObject<{
-            token: z.ZodString;
-            limit: z.ZodString;
-            windowSeconds: z.ZodNumber;
-        }, "strip", z.ZodTypeAny, {
-            token: string;
-            limit: string;
-            windowSeconds: number;
-        }, {
-            token: string;
-            limit: string;
-            windowSeconds: number;
-        }>>;
-        approvalThreshold: z.ZodOptional<z.ZodNumber>;
-        recipients: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
-        expiry: z.ZodOptional<z.ZodObject<{
-            validUntilLedger: z.ZodOptional<z.ZodNumber>;
-            validUntilUnixSeconds: z.ZodOptional<z.ZodNumber>;
-        }, "strip", z.ZodTypeAny, {
-            validUntilLedger?: number | undefined;
-            validUntilUnixSeconds?: number | undefined;
-        }, {
-            validUntilLedger?: number | undefined;
-            validUntilUnixSeconds?: number | undefined;
-        }>>;
-    }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
-        chain: z.ZodLiteral<"stellar">;
-        contract: z.ZodString;
-        method: z.ZodOptional<z.ZodString>;
-        spendingLimit: z.ZodOptional<z.ZodObject<{
-            token: z.ZodString;
-            limit: z.ZodString;
-            windowSeconds: z.ZodNumber;
-        }, "strip", z.ZodTypeAny, {
-            token: string;
-            limit: string;
-            windowSeconds: number;
-        }, {
-            token: string;
-            limit: string;
-            windowSeconds: number;
-        }>>;
-        approvalThreshold: z.ZodOptional<z.ZodNumber>;
-        recipients: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
-        expiry: z.ZodOptional<z.ZodObject<{
-            validUntilLedger: z.ZodOptional<z.ZodNumber>;
-            validUntilUnixSeconds: z.ZodOptional<z.ZodNumber>;
-        }, "strip", z.ZodTypeAny, {
-            validUntilLedger?: number | undefined;
-            validUntilUnixSeconds?: number | undefined;
-        }, {
-            validUntilLedger?: number | undefined;
-            validUntilUnixSeconds?: number | undefined;
-        }>>;
-    }, z.ZodTypeAny, "passthrough">>, z.objectOutputType<{
-        chain: z.ZodLiteral<"stellar">;
-        contract: z.ZodString;
-        method: z.ZodOptional<z.ZodString>;
-        spendingLimit: z.ZodOptional<z.ZodObject<{
-            token: z.ZodString;
-            limit: z.ZodString;
-            windowSeconds: z.ZodNumber;
-        }, "strip", z.ZodTypeAny, {
-            token: string;
-            limit: string;
-            windowSeconds: number;
-        }, {
-            token: string;
-            limit: string;
-            windowSeconds: number;
-        }>>;
-        approvalThreshold: z.ZodOptional<z.ZodNumber>;
-        recipients: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
-        expiry: z.ZodOptional<z.ZodObject<{
-            validUntilLedger: z.ZodOptional<z.ZodNumber>;
-            validUntilUnixSeconds: z.ZodOptional<z.ZodNumber>;
-        }, "strip", z.ZodTypeAny, {
-            validUntilLedger?: number | undefined;
-            validUntilUnixSeconds?: number | undefined;
-        }, {
-            validUntilLedger?: number | undefined;
-            validUntilUnixSeconds?: number | undefined;
-        }>>;
-    }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
-        chain: z.ZodLiteral<"stellar">;
-        contract: z.ZodString;
-        method: z.ZodOptional<z.ZodString>;
-        spendingLimit: z.ZodOptional<z.ZodObject<{
-            token: z.ZodString;
-            limit: z.ZodString;
-            windowSeconds: z.ZodNumber;
-        }, "strip", z.ZodTypeAny, {
-            token: string;
-            limit: string;
-            windowSeconds: number;
-        }, {
-            token: string;
-            limit: string;
-            windowSeconds: number;
-        }>>;
-        approvalThreshold: z.ZodOptional<z.ZodNumber>;
-        recipients: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
-        expiry: z.ZodOptional<z.ZodObject<{
-            validUntilLedger: z.ZodOptional<z.ZodNumber>;
-            validUntilUnixSeconds: z.ZodOptional<z.ZodNumber>;
-        }, "strip", z.ZodTypeAny, {
-            validUntilLedger?: number | undefined;
-            validUntilUnixSeconds?: number | undefined;
-        }, {
-            validUntilLedger?: number | undefined;
-            validUntilUnixSeconds?: number | undefined;
-        }>>;
-    }, z.ZodTypeAny, "passthrough">>;
-    ozConfig: z.ZodOptional<z.ZodObject<{
-        network: z.ZodEnum<["mainnet", "testnet"]>;
-        instances: z.ZodObject<{
-            spending_limit: z.ZodString;
-            simple_threshold: z.ZodString;
-            weighted_threshold: z.ZodString;
-        }, "strip", z.ZodTypeAny, {
-            spending_limit: string;
-            simple_threshold: string;
-            weighted_threshold: string;
-        }, {
-            spending_limit: string;
-            simple_threshold: string;
-            weighted_threshold: string;
-        }>;
-    }, "strip", z.ZodTypeAny, {
-        network: "mainnet" | "testnet";
-        instances: {
-            spending_limit: string;
-            simple_threshold: string;
-            weighted_threshold: string;
-        };
-    }, {
-        network: "mainnet" | "testnet";
-        instances: {
-            spending_limit: string;
-            simple_threshold: string;
-            weighted_threshold: string;
-        };
-    }>>;
-    explain: z.ZodOptional<z.ZodBoolean>;
-}, "strip", z.ZodTypeAny, {
-    source: "mandate";
-    mandate: {
-        contract: string;
-        chain: "stellar";
-        expiry?: {
-            validUntilLedger?: number | undefined;
-            validUntilUnixSeconds?: number | undefined;
-        } | undefined;
-        method?: string | undefined;
-        spendingLimit?: {
-            token: string;
-            limit: string;
-            windowSeconds: number;
-        } | undefined;
-        approvalThreshold?: number | undefined;
-        recipients?: string[] | undefined;
-    } & {
-        [k: string]: unknown;
-    };
-    ozConfig?: {
-        network: "mainnet" | "testnet";
-        instances: {
-            spending_limit: string;
-            simple_threshold: string;
-            weighted_threshold: string;
-        };
-    } | undefined;
-    explain?: boolean | undefined;
-}, {
-    source: "mandate";
-    mandate: {
-        contract: string;
-        chain: "stellar";
-        expiry?: {
-            validUntilLedger?: number | undefined;
-            validUntilUnixSeconds?: number | undefined;
-        } | undefined;
-        method?: string | undefined;
-        spendingLimit?: {
-            token: string;
-            limit: string;
-            windowSeconds: number;
-        } | undefined;
-        approvalThreshold?: number | undefined;
-        recipients?: string[] | undefined;
-    } & {
-        [k: string]: unknown;
-    };
-    ozConfig?: {
-        network: "mainnet" | "testnet";
-        instances: {
-            spending_limit: string;
-            simple_threshold: string;
-            weighted_threshold: string;
-        };
-    } | undefined;
-    explain?: boolean | undefined;
-}>, z.ZodObject<{
-    source: z.ZodLiteral<"recording">;
-    recordedTx: z.ZodObject<{
-        network: z.ZodEnum<["mainnet", "testnet"]>;
-        signers: z.ZodArray<z.ZodString, "many">;
-        invocations: z.ZodArray<z.ZodType<unknown, z.ZodTypeDef, unknown>, "many">;
-        tokenMovements: z.ZodArray<z.ZodObject<{
-            token: z.ZodString;
-            from: z.ZodString;
-            to: z.ZodString;
-            amount: z.ZodString;
-        }, "strip", z.ZodTypeAny, {
-            amount: string;
-            token: string;
-            from: string;
-            to: string;
-        }, {
-            amount: string;
-            token: string;
-            from: string;
-            to: string;
-        }>, "many">;
-        events: z.ZodArray<z.ZodObject<{
-            contract: z.ZodString;
-            topics: z.ZodArray<z.ZodString, "many">;
-            data: z.ZodType<unknown, z.ZodTypeDef, unknown>;
-        }, "strip", z.ZodTypeAny, {
-            contract: string;
-            topics: string[];
-            data?: unknown;
-        }, {
-            contract: string;
-            topics: string[];
-            data?: unknown;
-        }>, "many">;
-        authEntries: z.ZodArray<z.ZodUnknown, "many">;
-        ledgerSequence: z.ZodNumber;
-        fetchedAt: z.ZodNumber;
-        parseConfidence: z.ZodObject<{
-            overall: z.ZodNumber;
-            knownContracts: z.ZodArray<z.ZodString, "many">;
-            unknownContracts: z.ZodArray<z.ZodObject<{
-                contract: z.ZodString;
-                reason: z.ZodEnum<["no-abi", "version-mismatch", "opaque-result"]>;
-            }, "strip", z.ZodTypeAny, {
-                contract: string;
-                reason: "no-abi" | "version-mismatch" | "opaque-result";
-            }, {
-                contract: string;
-                reason: "no-abi" | "version-mismatch" | "opaque-result";
-            }>, "many">;
-            opaqueScVals: z.ZodArray<z.ZodObject<{
-                path: z.ZodString;
-                type: z.ZodString;
-            }, "strip", z.ZodTypeAny, {
-                type: string;
-                path: string;
-            }, {
-                type: string;
-                path: string;
-            }>, "many">;
-            thresholdUsed: z.ZodNumber;
-        }, "strip", z.ZodTypeAny, {
-            opaqueScVals: {
-                type: string;
-                path: string;
-            }[];
-            unknownContracts: {
-                contract: string;
-                reason: "no-abi" | "version-mismatch" | "opaque-result";
-            }[];
-            overall: number;
-            knownContracts: string[];
-            thresholdUsed: number;
-        }, {
-            opaqueScVals: {
-                type: string;
-                path: string;
-            }[];
-            unknownContracts: {
-                contract: string;
-                reason: "no-abi" | "version-mismatch" | "opaque-result";
-            }[];
-            overall: number;
-            knownContracts: string[];
-            thresholdUsed: number;
-        }>;
-        sourceAccount: z.ZodString;
-    }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
-        network: z.ZodEnum<["mainnet", "testnet"]>;
-        signers: z.ZodArray<z.ZodString, "many">;
-        invocations: z.ZodArray<z.ZodType<unknown, z.ZodTypeDef, unknown>, "many">;
-        tokenMovements: z.ZodArray<z.ZodObject<{
-            token: z.ZodString;
-            from: z.ZodString;
-            to: z.ZodString;
-            amount: z.ZodString;
-        }, "strip", z.ZodTypeAny, {
-            amount: string;
-            token: string;
-            from: string;
-            to: string;
-        }, {
-            amount: string;
-            token: string;
-            from: string;
-            to: string;
-        }>, "many">;
-        events: z.ZodArray<z.ZodObject<{
-            contract: z.ZodString;
-            topics: z.ZodArray<z.ZodString, "many">;
-            data: z.ZodType<unknown, z.ZodTypeDef, unknown>;
-        }, "strip", z.ZodTypeAny, {
-            contract: string;
-            topics: string[];
-            data?: unknown;
-        }, {
-            contract: string;
-            topics: string[];
-            data?: unknown;
-        }>, "many">;
-        authEntries: z.ZodArray<z.ZodUnknown, "many">;
-        ledgerSequence: z.ZodNumber;
-        fetchedAt: z.ZodNumber;
-        parseConfidence: z.ZodObject<{
-            overall: z.ZodNumber;
-            knownContracts: z.ZodArray<z.ZodString, "many">;
-            unknownContracts: z.ZodArray<z.ZodObject<{
-                contract: z.ZodString;
-                reason: z.ZodEnum<["no-abi", "version-mismatch", "opaque-result"]>;
-            }, "strip", z.ZodTypeAny, {
-                contract: string;
-                reason: "no-abi" | "version-mismatch" | "opaque-result";
-            }, {
-                contract: string;
-                reason: "no-abi" | "version-mismatch" | "opaque-result";
-            }>, "many">;
-            opaqueScVals: z.ZodArray<z.ZodObject<{
-                path: z.ZodString;
-                type: z.ZodString;
-            }, "strip", z.ZodTypeAny, {
-                type: string;
-                path: string;
-            }, {
-                type: string;
-                path: string;
-            }>, "many">;
-            thresholdUsed: z.ZodNumber;
-        }, "strip", z.ZodTypeAny, {
-            opaqueScVals: {
-                type: string;
-                path: string;
-            }[];
-            unknownContracts: {
-                contract: string;
-                reason: "no-abi" | "version-mismatch" | "opaque-result";
-            }[];
-            overall: number;
-            knownContracts: string[];
-            thresholdUsed: number;
-        }, {
-            opaqueScVals: {
-                type: string;
-                path: string;
-            }[];
-            unknownContracts: {
-                contract: string;
-                reason: "no-abi" | "version-mismatch" | "opaque-result";
-            }[];
-            overall: number;
-            knownContracts: string[];
-            thresholdUsed: number;
-        }>;
-        sourceAccount: z.ZodString;
-    }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
-        network: z.ZodEnum<["mainnet", "testnet"]>;
-        signers: z.ZodArray<z.ZodString, "many">;
-        invocations: z.ZodArray<z.ZodType<unknown, z.ZodTypeDef, unknown>, "many">;
-        tokenMovements: z.ZodArray<z.ZodObject<{
-            token: z.ZodString;
-            from: z.ZodString;
-            to: z.ZodString;
-            amount: z.ZodString;
-        }, "strip", z.ZodTypeAny, {
-            amount: string;
-            token: string;
-            from: string;
-            to: string;
-        }, {
-            amount: string;
-            token: string;
-            from: string;
-            to: string;
-        }>, "many">;
-        events: z.ZodArray<z.ZodObject<{
-            contract: z.ZodString;
-            topics: z.ZodArray<z.ZodString, "many">;
-            data: z.ZodType<unknown, z.ZodTypeDef, unknown>;
-        }, "strip", z.ZodTypeAny, {
-            contract: string;
-            topics: string[];
-            data?: unknown;
-        }, {
-            contract: string;
-            topics: string[];
-            data?: unknown;
-        }>, "many">;
-        authEntries: z.ZodArray<z.ZodUnknown, "many">;
-        ledgerSequence: z.ZodNumber;
-        fetchedAt: z.ZodNumber;
-        parseConfidence: z.ZodObject<{
-            overall: z.ZodNumber;
-            knownContracts: z.ZodArray<z.ZodString, "many">;
-            unknownContracts: z.ZodArray<z.ZodObject<{
-                contract: z.ZodString;
-                reason: z.ZodEnum<["no-abi", "version-mismatch", "opaque-result"]>;
-            }, "strip", z.ZodTypeAny, {
-                contract: string;
-                reason: "no-abi" | "version-mismatch" | "opaque-result";
-            }, {
-                contract: string;
-                reason: "no-abi" | "version-mismatch" | "opaque-result";
-            }>, "many">;
-            opaqueScVals: z.ZodArray<z.ZodObject<{
-                path: z.ZodString;
-                type: z.ZodString;
-            }, "strip", z.ZodTypeAny, {
-                type: string;
-                path: string;
-            }, {
-                type: string;
-                path: string;
-            }>, "many">;
-            thresholdUsed: z.ZodNumber;
-        }, "strip", z.ZodTypeAny, {
-            opaqueScVals: {
-                type: string;
-                path: string;
-            }[];
-            unknownContracts: {
-                contract: string;
-                reason: "no-abi" | "version-mismatch" | "opaque-result";
-            }[];
-            overall: number;
-            knownContracts: string[];
-            thresholdUsed: number;
-        }, {
-            opaqueScVals: {
-                type: string;
-                path: string;
-            }[];
-            unknownContracts: {
-                contract: string;
-                reason: "no-abi" | "version-mismatch" | "opaque-result";
-            }[];
-            overall: number;
-            knownContracts: string[];
-            thresholdUsed: number;
-        }>;
-        sourceAccount: z.ZodString;
-    }, z.ZodTypeAny, "passthrough">>;
-    network: z.ZodEnum<["mainnet", "testnet"]>;
-    userResponses: z.ZodOptional<z.ZodObject<{
-        windowSeconds: z.ZodOptional<z.ZodNumber>;
-        validUntilLedger: z.ZodOptional<z.ZodNumber>;
-        limitAmount: z.ZodOptional<z.ZodString>;
-        invocationLimit: z.ZodOptional<z.ZodNumber>;
-        swapRecipientAllowlist: z.ZodOptional<z.ZodArray<z.ZodEffects<z.ZodString, string, string>, "many">>;
-        oraclePriceBound: z.ZodOptional<z.ZodArray<z.ZodObject<{
-            asset: z.ZodEffects<z.ZodString, string, string>;
-            operator: z.ZodEnum<["eq", "lt", "lte", "gt", "gte"]>;
-            value: z.ZodString;
-            decimals: z.ZodNumber;
-        }, "strip", z.ZodTypeAny, {
-            value: string;
-            operator: "eq" | "lt" | "lte" | "gt" | "gte";
-            asset: string;
-            decimals: number;
-        }, {
-            value: string;
-            operator: "eq" | "lt" | "lte" | "gt" | "gte";
-            asset: string;
-            decimals: number;
-        }>, "many">>;
-    }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
-        windowSeconds: z.ZodOptional<z.ZodNumber>;
-        validUntilLedger: z.ZodOptional<z.ZodNumber>;
-        limitAmount: z.ZodOptional<z.ZodString>;
-        invocationLimit: z.ZodOptional<z.ZodNumber>;
-        swapRecipientAllowlist: z.ZodOptional<z.ZodArray<z.ZodEffects<z.ZodString, string, string>, "many">>;
-        oraclePriceBound: z.ZodOptional<z.ZodArray<z.ZodObject<{
-            asset: z.ZodEffects<z.ZodString, string, string>;
-            operator: z.ZodEnum<["eq", "lt", "lte", "gt", "gte"]>;
-            value: z.ZodString;
-            decimals: z.ZodNumber;
-        }, "strip", z.ZodTypeAny, {
-            value: string;
-            operator: "eq" | "lt" | "lte" | "gt" | "gte";
-            asset: string;
-            decimals: number;
-        }, {
-            value: string;
-            operator: "eq" | "lt" | "lte" | "gt" | "gte";
-            asset: string;
-            decimals: number;
-        }>, "many">>;
-    }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
-        windowSeconds: z.ZodOptional<z.ZodNumber>;
-        validUntilLedger: z.ZodOptional<z.ZodNumber>;
-        limitAmount: z.ZodOptional<z.ZodString>;
-        invocationLimit: z.ZodOptional<z.ZodNumber>;
-        swapRecipientAllowlist: z.ZodOptional<z.ZodArray<z.ZodEffects<z.ZodString, string, string>, "many">>;
-        oraclePriceBound: z.ZodOptional<z.ZodArray<z.ZodObject<{
-            asset: z.ZodEffects<z.ZodString, string, string>;
-            operator: z.ZodEnum<["eq", "lt", "lte", "gt", "gte"]>;
-            value: z.ZodString;
-            decimals: z.ZodNumber;
-        }, "strip", z.ZodTypeAny, {
-            value: string;
-            operator: "eq" | "lt" | "lte" | "gt" | "gte";
-            asset: string;
-            decimals: number;
-        }, {
-            value: string;
-            operator: "eq" | "lt" | "lte" | "gt" | "gte";
-            asset: string;
-            decimals: number;
-        }>, "many">>;
-    }, z.ZodTypeAny, "passthrough">>>;
-    confidenceOverride: z.ZodOptional<z.ZodObject<{
-        threshold: z.ZodNumber;
-    }, "strip", z.ZodTypeAny, {
-        threshold: number;
-    }, {
-        threshold: number;
-    }>>;
-    interpreter: z.ZodOptional<z.ZodObject<{
-        smartAccountAddress: z.ZodString;
-        installNonce: z.ZodOptional<z.ZodNumber>;
-        oracleParams: z.ZodOptional<z.ZodObject<{
-            maxStalenessSeconds: z.ZodOptional<z.ZodNumber>;
-            maxDeviationBps: z.ZodOptional<z.ZodNumber>;
-        }, "strip", z.ZodTypeAny, {
-            maxStalenessSeconds?: number | undefined;
-            maxDeviationBps?: number | undefined;
-        }, {
-            maxStalenessSeconds?: number | undefined;
-            maxDeviationBps?: number | undefined;
-        }>>;
-    }, "strip", z.ZodTypeAny, {
-        smartAccountAddress: string;
-        oracleParams?: {
-            maxStalenessSeconds?: number | undefined;
-            maxDeviationBps?: number | undefined;
-        } | undefined;
-        installNonce?: number | undefined;
-    }, {
-        smartAccountAddress: string;
-        oracleParams?: {
-            maxStalenessSeconds?: number | undefined;
-            maxDeviationBps?: number | undefined;
-        } | undefined;
-        installNonce?: number | undefined;
-    }>>;
-    ozConfig: z.ZodOptional<z.ZodObject<{
-        network: z.ZodEnum<["mainnet", "testnet"]>;
-        instances: z.ZodObject<{
-            spending_limit: z.ZodString;
-            simple_threshold: z.ZodString;
-            weighted_threshold: z.ZodString;
-        }, "strip", z.ZodTypeAny, {
-            spending_limit: string;
-            simple_threshold: string;
-            weighted_threshold: string;
-        }, {
-            spending_limit: string;
-            simple_threshold: string;
-            weighted_threshold: string;
-        }>;
-    }, "strip", z.ZodTypeAny, {
-        network: "mainnet" | "testnet";
-        instances: {
-            spending_limit: string;
-            simple_threshold: string;
-            weighted_threshold: string;
-        };
-    }, {
-        network: "mainnet" | "testnet";
-        instances: {
-            spending_limit: string;
-            simple_threshold: string;
-            weighted_threshold: string;
-        };
-    }>>;
-    explain: z.ZodOptional<z.ZodBoolean>;
-}, "strip", z.ZodTypeAny, {
-    network: "mainnet" | "testnet";
-    source: "recording";
-    recordedTx: {
-        signers: string[];
-        events: {
-            contract: string;
-            topics: string[];
-            data?: unknown;
-        }[];
-        sourceAccount: string;
-        network: "mainnet" | "testnet";
-        invocations: unknown[];
-        tokenMovements: {
-            amount: string;
-            token: string;
-            from: string;
-            to: string;
-        }[];
-        authEntries: unknown[];
-        ledgerSequence: number;
-        fetchedAt: number;
-        parseConfidence: {
-            opaqueScVals: {
-                type: string;
-                path: string;
-            }[];
-            unknownContracts: {
-                contract: string;
-                reason: "no-abi" | "version-mismatch" | "opaque-result";
-            }[];
-            overall: number;
-            knownContracts: string[];
-            thresholdUsed: number;
-        };
-    } & {
-        [k: string]: unknown;
-    };
-    interpreter?: {
-        smartAccountAddress: string;
-        oracleParams?: {
-            maxStalenessSeconds?: number | undefined;
-            maxDeviationBps?: number | undefined;
-        } | undefined;
-        installNonce?: number | undefined;
+    userResponses?: {
+        limitAmount?: string | undefined;
+        validUntilLedger?: number | undefined;
+        swapRecipientAllowlist?: string[] | undefined;
     } | undefined;
-    userResponses?: z.objectOutputType<{
-        windowSeconds: z.ZodOptional<z.ZodNumber>;
-        validUntilLedger: z.ZodOptional<z.ZodNumber>;
-        limitAmount: z.ZodOptional<z.ZodString>;
-        invocationLimit: z.ZodOptional<z.ZodNumber>;
-        swapRecipientAllowlist: z.ZodOptional<z.ZodArray<z.ZodEffects<z.ZodString, string, string>, "many">>;
-        oraclePriceBound: z.ZodOptional<z.ZodArray<z.ZodObject<{
-            asset: z.ZodEffects<z.ZodString, string, string>;
-            operator: z.ZodEnum<["eq", "lt", "lte", "gt", "gte"]>;
-            value: z.ZodString;
-            decimals: z.ZodNumber;
-        }, "strip", z.ZodTypeAny, {
-            value: string;
-            operator: "eq" | "lt" | "lte" | "gt" | "gte";
-            asset: string;
-            decimals: number;
-        }, {
-            value: string;
-            operator: "eq" | "lt" | "lte" | "gt" | "gte";
-            asset: string;
-            decimals: number;
-        }>, "many">>;
-    }, z.ZodTypeAny, "passthrough"> | undefined;
     confidenceOverride?: {
         threshold: number;
     } | undefined;
-    ozConfig?: {
-        network: "mainnet" | "testnet";
-        instances: {
-            spending_limit: string;
-            simple_threshold: string;
-            weighted_threshold: string;
-        };
-    } | undefined;
     explain?: boolean | undefined;
 }, {
     network: "mainnet" | "testnet";
@@ -2191,10 +767,10 @@ export declare const SynthesizePolicyInputSchema: z.ZodDiscriminatedUnion<"sourc
         network: "mainnet" | "testnet";
         invocations: unknown[];
         tokenMovements: {
-            amount: string;
-            token: string;
             from: string;
             to: string;
+            amount: string;
+            token: string;
         }[];
         authEntries: unknown[];
         ledgerSequence: number;
@@ -2217,48 +793,18 @@ export declare const SynthesizePolicyInputSchema: z.ZodDiscriminatedUnion<"sourc
     };
     interpreter?: {
         smartAccountAddress: string;
-        oracleParams?: {
-            maxStalenessSeconds?: number | undefined;
-            maxDeviationBps?: number | undefined;
-        } | undefined;
         installNonce?: number | undefined;
     } | undefined;
-    userResponses?: z.objectInputType<{
-        windowSeconds: z.ZodOptional<z.ZodNumber>;
-        validUntilLedger: z.ZodOptional<z.ZodNumber>;
-        limitAmount: z.ZodOptional<z.ZodString>;
-        invocationLimit: z.ZodOptional<z.ZodNumber>;
-        swapRecipientAllowlist: z.ZodOptional<z.ZodArray<z.ZodEffects<z.ZodString, string, string>, "many">>;
-        oraclePriceBound: z.ZodOptional<z.ZodArray<z.ZodObject<{
-            asset: z.ZodEffects<z.ZodString, string, string>;
-            operator: z.ZodEnum<["eq", "lt", "lte", "gt", "gte"]>;
-            value: z.ZodString;
-            decimals: z.ZodNumber;
-        }, "strip", z.ZodTypeAny, {
-            value: string;
-            operator: "eq" | "lt" | "lte" | "gt" | "gte";
-            asset: string;
-            decimals: number;
-        }, {
-            value: string;
-            operator: "eq" | "lt" | "lte" | "gt" | "gte";
-            asset: string;
-            decimals: number;
-        }>, "many">>;
-    }, z.ZodTypeAny, "passthrough"> | undefined;
+    userResponses?: {
+        limitAmount?: string | undefined;
+        validUntilLedger?: number | undefined;
+        swapRecipientAllowlist?: string[] | undefined;
+    } | undefined;
     confidenceOverride?: {
         threshold: number;
     } | undefined;
-    ozConfig?: {
-        network: "mainnet" | "testnet";
-        instances: {
-            spending_limit: string;
-            simple_threshold: string;
-            weighted_threshold: string;
-        };
-    } | undefined;
     explain?: boolean | undefined;
-}>]>;
+}>;
 export type SynthesizePolicyInput = z.infer<typeof SynthesizePolicyInputSchema>;
 /** PredicateLeaf mirrors the core `PredicateLeaf` union. Every variant
  *  is a `kind` discriminator; literals carry their primitive value inline.
@@ -2266,29 +812,10 @@ export type SynthesizePolicyInput = z.infer<typeof SynthesizePolicyInputSchema>;
  *  themselves nest) so the leaf schema is lazily self-referential. */
 export declare const PredicateLeafSchema: z.ZodType<unknown>;
 /** PredicateNode mirrors the core `PredicateNode` union. Recursive through
- *  `and`/`or`/`not`; the lazy + annotation pattern keeps the recursion
- *  type-safe. */
+ *  `and`; the lazy + annotation pattern keeps the recursion type-safe. */
 export declare const PredicateNodeSchema: z.ZodType<unknown>;
-/** Oracle price fixture - mirror of the entry type in `SimulateOptions` /
- *  `VerifyOptions`. Discriminated by presence of `error` vs `price`. */
-export declare const OraclePriceFixtureSchema: z.ZodUnion<[z.ZodObject<{
-    price: z.ZodString;
-    timestampSeconds: z.ZodNumber;
-}, "strip", z.ZodTypeAny, {
-    price: string;
-    timestampSeconds: number;
-}, {
-    price: string;
-    timestampSeconds: number;
-}>, z.ZodObject<{
-    error: z.ZodEnum<["stale", "missing", "deviation", "paused", "decimals", "fingerprint"]>;
-}, "strip", z.ZodTypeAny, {
-    error: "stale" | "missing" | "deviation" | "paused" | "decimals" | "fingerprint";
-}, {
-    error: "stale" | "missing" | "deviation" | "paused" | "decimals" | "fingerprint";
-}>]>;
 export declare const SimulatePolicyInputSchema: z.ZodObject<{
-    predicate: z.ZodNullable<z.ZodType<unknown, z.ZodTypeDef, unknown>>;
+    predicate: z.ZodType<unknown, z.ZodTypeDef, unknown>;
     permitTx: z.ZodObject<{
         network: z.ZodEnum<["mainnet", "testnet"]>;
         signers: z.ZodArray<z.ZodString, "many">;
@@ -2299,15 +826,15 @@ export declare const SimulatePolicyInputSchema: z.ZodObject<{
             to: z.ZodString;
             amount: z.ZodString;
         }, "strip", z.ZodTypeAny, {
-            amount: string;
-            token: string;
             from: string;
             to: string;
-        }, {
             amount: string;
             token: string;
+        }, {
             from: string;
             to: string;
+            amount: string;
+            token: string;
         }>, "many">;
         events: z.ZodArray<z.ZodObject<{
             contract: z.ZodString;
@@ -2385,15 +912,15 @@ export declare const SimulatePolicyInputSchema: z.ZodObject<{
             to: z.ZodString;
             amount: z.ZodString;
         }, "strip", z.ZodTypeAny, {
-            amount: string;
-            token: string;
             from: string;
             to: string;
-        }, {
             amount: string;
             token: string;
+        }, {
             from: string;
             to: string;
+            amount: string;
+            token: string;
         }>, "many">;
         events: z.ZodArray<z.ZodObject<{
             contract: z.ZodString;
@@ -2471,15 +998,15 @@ export declare const SimulatePolicyInputSchema: z.ZodObject<{
             to: z.ZodString;
             amount: z.ZodString;
         }, "strip", z.ZodTypeAny, {
-            amount: string;
-            token: string;
             from: string;
             to: string;
-        }, {
             amount: string;
             token: string;
+        }, {
             from: string;
             to: string;
+            amount: string;
+            token: string;
         }>, "many">;
         events: z.ZodArray<z.ZodObject<{
             contract: z.ZodString;
@@ -2549,22 +1076,6 @@ export declare const SimulatePolicyInputSchema: z.ZodObject<{
         sourceAccount: z.ZodString;
     }, z.ZodTypeAny, "passthrough">>;
     validUntilLedger: z.ZodOptional<z.ZodNumber>;
-    oraclePricesByAsset: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnion<[z.ZodObject<{
-        price: z.ZodString;
-        timestampSeconds: z.ZodNumber;
-    }, "strip", z.ZodTypeAny, {
-        price: string;
-        timestampSeconds: number;
-    }, {
-        price: string;
-        timestampSeconds: number;
-    }>, z.ZodObject<{
-        error: z.ZodEnum<["stale", "missing", "deviation", "paused", "decimals", "fingerprint"]>;
-    }, "strip", z.ZodTypeAny, {
-        error: "stale" | "missing" | "deviation" | "paused" | "decimals" | "fingerprint";
-    }, {
-        error: "stale" | "missing" | "deviation" | "paused" | "decimals" | "fingerprint";
-    }>]>>>;
 }, "strip", z.ZodTypeAny, {
     permitTx: {
         signers: string[];
@@ -2577,10 +1088,10 @@ export declare const SimulatePolicyInputSchema: z.ZodObject<{
         network: "mainnet" | "testnet";
         invocations: unknown[];
         tokenMovements: {
-            amount: string;
-            token: string;
             from: string;
             to: string;
+            amount: string;
+            token: string;
         }[];
         authEntries: unknown[];
         ledgerSequence: number;
@@ -2603,12 +1114,6 @@ export declare const SimulatePolicyInputSchema: z.ZodObject<{
     };
     validUntilLedger?: number | undefined;
     predicate?: unknown;
-    oraclePricesByAsset?: Record<string, {
-        price: string;
-        timestampSeconds: number;
-    } | {
-        error: "stale" | "missing" | "deviation" | "paused" | "decimals" | "fingerprint";
-    }> | undefined;
 }, {
     permitTx: {
         signers: string[];
@@ -2621,10 +1126,10 @@ export declare const SimulatePolicyInputSchema: z.ZodObject<{
         network: "mainnet" | "testnet";
         invocations: unknown[];
         tokenMovements: {
-            amount: string;
-            token: string;
             from: string;
             to: string;
+            amount: string;
+            token: string;
         }[];
         authEntries: unknown[];
         ledgerSequence: number;
@@ -2647,12 +1152,6 @@ export declare const SimulatePolicyInputSchema: z.ZodObject<{
     };
     validUntilLedger?: number | undefined;
     predicate?: unknown;
-    oraclePricesByAsset?: Record<string, {
-        price: string;
-        timestampSeconds: number;
-    } | {
-        error: "stale" | "missing" | "deviation" | "paused" | "decimals" | "fingerprint";
-    }> | undefined;
 }>;
 export type SimulatePolicyInput = z.infer<typeof SimulatePolicyInputSchema>;
 export declare const VerifyPolicyInputSchema: z.ZodObject<{
@@ -2667,15 +1166,15 @@ export declare const VerifyPolicyInputSchema: z.ZodObject<{
             to: z.ZodString;
             amount: z.ZodString;
         }, "strip", z.ZodTypeAny, {
-            amount: string;
-            token: string;
             from: string;
             to: string;
-        }, {
             amount: string;
             token: string;
+        }, {
             from: string;
             to: string;
+            amount: string;
+            token: string;
         }>, "many">;
         events: z.ZodArray<z.ZodObject<{
             contract: z.ZodString;
@@ -2753,15 +1252,15 @@ export declare const VerifyPolicyInputSchema: z.ZodObject<{
             to: z.ZodString;
             amount: z.ZodString;
         }, "strip", z.ZodTypeAny, {
-            amount: string;
-            token: string;
             from: string;
             to: string;
-        }, {
             amount: string;
             token: string;
+        }, {
             from: string;
             to: string;
+            amount: string;
+            token: string;
         }>, "many">;
         events: z.ZodArray<z.ZodObject<{
             contract: z.ZodString;
@@ -2839,15 +1338,15 @@ export declare const VerifyPolicyInputSchema: z.ZodObject<{
             to: z.ZodString;
             amount: z.ZodString;
         }, "strip", z.ZodTypeAny, {
-            amount: string;
-            token: string;
             from: string;
             to: string;
-        }, {
             amount: string;
             token: string;
+        }, {
             from: string;
             to: string;
+            amount: string;
+            token: string;
         }>, "many">;
         events: z.ZodArray<z.ZodObject<{
             contract: z.ZodString;
@@ -2917,22 +1416,6 @@ export declare const VerifyPolicyInputSchema: z.ZodObject<{
         sourceAccount: z.ZodString;
     }, z.ZodTypeAny, "passthrough">>;
     validUntilLedger: z.ZodOptional<z.ZodNumber>;
-    oraclePricesByAsset: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnion<[z.ZodObject<{
-        price: z.ZodString;
-        timestampSeconds: z.ZodNumber;
-    }, "strip", z.ZodTypeAny, {
-        price: string;
-        timestampSeconds: number;
-    }, {
-        price: string;
-        timestampSeconds: number;
-    }>, z.ZodObject<{
-        error: z.ZodEnum<["stale", "missing", "deviation", "paused", "decimals", "fingerprint"]>;
-    }, "strip", z.ZodTypeAny, {
-        error: "stale" | "missing" | "deviation" | "paused" | "decimals" | "fingerprint";
-    }, {
-        error: "stale" | "missing" | "deviation" | "paused" | "decimals" | "fingerprint";
-    }>]>>>;
 }, "strip", z.ZodTypeAny, {
     permitTx: {
         signers: string[];
@@ -2945,10 +1428,10 @@ export declare const VerifyPolicyInputSchema: z.ZodObject<{
         network: "mainnet" | "testnet";
         invocations: unknown[];
         tokenMovements: {
-            amount: string;
-            token: string;
             from: string;
             to: string;
+            amount: string;
+            token: string;
         }[];
         authEntries: unknown[];
         ledgerSequence: number;
@@ -2971,12 +1454,6 @@ export declare const VerifyPolicyInputSchema: z.ZodObject<{
     };
     validUntilLedger?: number | undefined;
     predicate?: unknown;
-    oraclePricesByAsset?: Record<string, {
-        price: string;
-        timestampSeconds: number;
-    } | {
-        error: "stale" | "missing" | "deviation" | "paused" | "decimals" | "fingerprint";
-    }> | undefined;
 }, {
     permitTx: {
         signers: string[];
@@ -2989,10 +1466,10 @@ export declare const VerifyPolicyInputSchema: z.ZodObject<{
         network: "mainnet" | "testnet";
         invocations: unknown[];
         tokenMovements: {
-            amount: string;
-            token: string;
             from: string;
             to: string;
+            amount: string;
+            token: string;
         }[];
         authEntries: unknown[];
         ledgerSequence: number;
@@ -3015,37 +1492,27 @@ export declare const VerifyPolicyInputSchema: z.ZodObject<{
     };
     validUntilLedger?: number | undefined;
     predicate?: unknown;
-    oraclePricesByAsset?: Record<string, {
-        price: string;
-        timestampSeconds: number;
-    } | {
-        error: "stale" | "missing" | "deviation" | "paused" | "decimals" | "fingerprint";
-    }> | undefined;
 }>;
 export type VerifyPolicyInput = z.infer<typeof VerifyPolicyInputSchema>;
 /** Pinned interpreter address (testnet).
  *  Single source for the MCP layer; do not embed elsewhere. */
-export declare const PINNED_INTERPRETER_TESTNET_ADDRESS = "CALHNU4LXZRKFAXYRBODTGDANTNXHJPBTJNYGLUWLIFIP24NWSGWIE4K";
-/** Pinned interpreter address (mainnet), deployed 2026-08-04.
- *  UNAUDITED at the time of writing. */
-export declare const PINNED_INTERPRETER_MAINNET_ADDRESS = "CALZAMUPREIRY4TULBEXIK77AUTOEJG63XLCPUWEHHQDOVK6ZVVS7VQ2";
-/** Pinned interpreter wasm sha256 (hex), mainnet.
+export declare const PINNED_INTERPRETER_TESTNET_ADDRESS = "CCL336TCK2Y5OFNRCMN2M3HVPBCEX4PW5H6EQ5VW5NPMXOCP4ESB5XR4";
+/** Pinned interpreter address (mainnet), redeployed 2026-08-22 from a reproducible build. The mainnet
+ *  interpreter IS the binary exercised on testnet - both instances were created
+ *  from the same uploaded wasm hash (see PINNED_INTERPRETER_WASM_SHA256), and
+ *  both were read back with `grammar_version()` returning 3. The address differs
+ *  because instance ids are network-scoped. UNAUDITED at the time of writing.
  *
- *  The two networks no longer run the same binary. Testnet carries the
- *  selector-leaf minimum and the signer-set cap; mainnet predates both. Read
- *  the hash through `PINNED_INTERPRETER_WASM_SHA256_BY_NETWORK` rather than
- *  this constant unless mainnet is specifically what is meant, or
- *  `get_interpreter_info` will report a hash the queried network does not
- *  run. */
-export declare const PINNED_INTERPRETER_WASM_SHA256 = "6e6c13d93e197aa380303a42cd120f5ddb080dd36ef2a343ee1dbd04ca52a443";
-/** Pinned interpreter wasm sha256 (hex), testnet. Byte-identical to the
- *  artifact built from `contracts/policy-interpreter` at the commit that
- *  introduced errors 216 and 217, verified by fetching the deployed wasm back
- *  off chain. */
-export declare const PINNED_INTERPRETER_WASM_SHA256_TESTNET = "a4d58bc88fd82bbb8e223941ba5889db919717fae92ced13f6f55bfe583b8e22";
+ *  These four constants move together or not at all. The grammar version and
+ *  wasm hash are single values covering BOTH networks, so re-pinning one network
+ *  alone would have the builder emit a version the other network refuses - with
+ *  a green test run, since `grammar-version-parity.test.ts` would then pass. */
+export declare const PINNED_INTERPRETER_MAINNET_ADDRESS = "CBZXLSTQUITBFZHQH6XRXF3XIVRQR4RHRI64Q5WELS5KGY3ZKJPFWDPF";
+/** Pinned interpreter wasm sha256 (hex). */
+export declare const PINNED_INTERPRETER_WASM_SHA256 = "a2b36e8ac5a61caf3757af26aa79e83f2995b451099f44772383806a55fe3414";
 /** The grammar version the interpreter enforces (matches SELF_VERSION in
  *  contracts/policy-interpreter/src/version.rs). */
-export declare const PINNED_INTERPRETER_GRAMMAR_VERSION = 1;
+export declare const PINNED_INTERPRETER_GRAMMAR_VERSION = 3;
 /** Default Soroban RPC for the install / revoke / info tools. The recorder
  *  keeps its own copy in record/rpc.ts because it hands back a fetcher rather
  *  than a Server; the two are deliberately different surfaces, so this is
@@ -3056,16 +1523,12 @@ export declare const TESTNET_RPC_URL = "https://soroban-testnet.stellar.org";
  *  RPC rather than always testnet. Public mainnet endpoint, the same one
  *  the deploy script hit during the 2026-08-04 mainnet rollout. */
 export declare const MAINNET_RPC_URL = "https://mainnet.sorobanrpc.com";
-/** Pin + RPC lookup for the gate enforcement. Addresses, RPCs and wasm
- *  hashes are all network-scoped: the networks diverged when the
- *  selector-leaf and signer-cap controls were deployed to testnet ahead of
- *  mainnet. */
+/** Pin + RPC lookup for the gate enforcement. The interpreters' wasm sha256
+ *  is identical across both networks (the same binary was uploaded both
+ *  places), so `PINNED_INTERPRETER_WASM_SHA256` stays
+ *  a single constant - only the addresses and RPCs are network-scoped. */
 export declare const PINNED_INTERPRETER_ADDRESS_BY_NETWORK: Record<Network, string>;
-export declare const PINNED_INTERPRETER_WASM_SHA256_BY_NETWORK: Record<Network, string>;
 export declare const RPC_URL_BY_NETWORK: Record<Network, string>;
-/** Soroban `valid_until` window (ledgers) added to the latest ledger when
- *  building the auth entry. ~25 minutes at 5s/ledger. */
-export declare const DEFAULT_AUTH_VALID_UNTIL_LEDGERS = 300;
 /** Stellar network passphrases. Pinned here so the XDR envelope uses the
  *  matching passphrase when the wallet signs (a mismatch yields invalid
  *  hashes). */
@@ -3096,11 +1559,11 @@ export declare const InstallPolicyInputSchema: z.ZodEffects<z.ZodObject<{
             kind: z.ZodLiteral<"call_contract">;
             contract: z.ZodString;
         }, "strip", z.ZodTypeAny, {
-            contract: string;
             kind: "call_contract";
-        }, {
             contract: string;
+        }, {
             kind: "call_contract";
+            contract: string;
         }>, z.ZodObject<{
             kind: z.ZodLiteral<"create_contract">;
             wasmHash: z.ZodString;
@@ -3135,7 +1598,7 @@ export declare const InstallPolicyInputSchema: z.ZodEffects<z.ZodObject<{
             verifier: string;
             keyBytes: string;
         }>]>, "many">;
-        policies: z.ZodArray<z.ZodDiscriminatedUnion<"kind", [z.ZodObject<{
+        policies: z.ZodArray<z.ZodObject<{
             kind: z.ZodLiteral<"interpreter">;
             interpreterAddress: z.ZodString;
             predicateBlobBase64: z.ZodString;
@@ -3147,34 +1610,7 @@ export declare const InstallPolicyInputSchema: z.ZodEffects<z.ZodObject<{
             kind: "interpreter";
             interpreterAddress: string;
             predicateBlobBase64: string;
-        }>, z.ZodObject<{
-            kind: z.ZodLiteral<"oz_builtin">;
-            primitive: z.ZodObject<{
-                primitive: z.ZodEnum<["spending_limit", "simple_threshold", "weighted_threshold"]>;
-                params: z.ZodRecord<z.ZodString, z.ZodUnknown>;
-            }, "strip", z.ZodTypeAny, {
-                primitive: "spending_limit" | "simple_threshold" | "weighted_threshold";
-                params: Record<string, unknown>;
-            }, {
-                primitive: "spending_limit" | "simple_threshold" | "weighted_threshold";
-                params: Record<string, unknown>;
-            }>;
-            instanceAddress: z.ZodString;
-        }, "strip", z.ZodTypeAny, {
-            instanceAddress: string;
-            primitive: {
-                primitive: "spending_limit" | "simple_threshold" | "weighted_threshold";
-                params: Record<string, unknown>;
-            };
-            kind: "oz_builtin";
-        }, {
-            instanceAddress: string;
-            primitive: {
-                primitive: "spending_limit" | "simple_threshold" | "weighted_threshold";
-                params: Record<string, unknown>;
-            };
-            kind: "oz_builtin";
-        }>]>, "many">;
+        }>, "many">;
     }, "passthrough", z.ZodTypeAny, z.objectOutputType<{
         contextRuleType: z.ZodDiscriminatedUnion<"kind", [z.ZodObject<{
             kind: z.ZodLiteral<"default">;
@@ -3186,11 +1622,11 @@ export declare const InstallPolicyInputSchema: z.ZodEffects<z.ZodObject<{
             kind: z.ZodLiteral<"call_contract">;
             contract: z.ZodString;
         }, "strip", z.ZodTypeAny, {
-            contract: string;
             kind: "call_contract";
-        }, {
             contract: string;
+        }, {
             kind: "call_contract";
+            contract: string;
         }>, z.ZodObject<{
             kind: z.ZodLiteral<"create_contract">;
             wasmHash: z.ZodString;
@@ -3225,7 +1661,7 @@ export declare const InstallPolicyInputSchema: z.ZodEffects<z.ZodObject<{
             verifier: string;
             keyBytes: string;
         }>]>, "many">;
-        policies: z.ZodArray<z.ZodDiscriminatedUnion<"kind", [z.ZodObject<{
+        policies: z.ZodArray<z.ZodObject<{
             kind: z.ZodLiteral<"interpreter">;
             interpreterAddress: z.ZodString;
             predicateBlobBase64: z.ZodString;
@@ -3237,34 +1673,7 @@ export declare const InstallPolicyInputSchema: z.ZodEffects<z.ZodObject<{
             kind: "interpreter";
             interpreterAddress: string;
             predicateBlobBase64: string;
-        }>, z.ZodObject<{
-            kind: z.ZodLiteral<"oz_builtin">;
-            primitive: z.ZodObject<{
-                primitive: z.ZodEnum<["spending_limit", "simple_threshold", "weighted_threshold"]>;
-                params: z.ZodRecord<z.ZodString, z.ZodUnknown>;
-            }, "strip", z.ZodTypeAny, {
-                primitive: "spending_limit" | "simple_threshold" | "weighted_threshold";
-                params: Record<string, unknown>;
-            }, {
-                primitive: "spending_limit" | "simple_threshold" | "weighted_threshold";
-                params: Record<string, unknown>;
-            }>;
-            instanceAddress: z.ZodString;
-        }, "strip", z.ZodTypeAny, {
-            instanceAddress: string;
-            primitive: {
-                primitive: "spending_limit" | "simple_threshold" | "weighted_threshold";
-                params: Record<string, unknown>;
-            };
-            kind: "oz_builtin";
-        }, {
-            instanceAddress: string;
-            primitive: {
-                primitive: "spending_limit" | "simple_threshold" | "weighted_threshold";
-                params: Record<string, unknown>;
-            };
-            kind: "oz_builtin";
-        }>]>, "many">;
+        }>, "many">;
     }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
         contextRuleType: z.ZodDiscriminatedUnion<"kind", [z.ZodObject<{
             kind: z.ZodLiteral<"default">;
@@ -3276,11 +1685,11 @@ export declare const InstallPolicyInputSchema: z.ZodEffects<z.ZodObject<{
             kind: z.ZodLiteral<"call_contract">;
             contract: z.ZodString;
         }, "strip", z.ZodTypeAny, {
-            contract: string;
             kind: "call_contract";
-        }, {
             contract: string;
+        }, {
             kind: "call_contract";
+            contract: string;
         }>, z.ZodObject<{
             kind: z.ZodLiteral<"create_contract">;
             wasmHash: z.ZodString;
@@ -3315,7 +1724,7 @@ export declare const InstallPolicyInputSchema: z.ZodEffects<z.ZodObject<{
             verifier: string;
             keyBytes: string;
         }>]>, "many">;
-        policies: z.ZodArray<z.ZodDiscriminatedUnion<"kind", [z.ZodObject<{
+        policies: z.ZodArray<z.ZodObject<{
             kind: z.ZodLiteral<"interpreter">;
             interpreterAddress: z.ZodString;
             predicateBlobBase64: z.ZodString;
@@ -3327,34 +1736,7 @@ export declare const InstallPolicyInputSchema: z.ZodEffects<z.ZodObject<{
             kind: "interpreter";
             interpreterAddress: string;
             predicateBlobBase64: string;
-        }>, z.ZodObject<{
-            kind: z.ZodLiteral<"oz_builtin">;
-            primitive: z.ZodObject<{
-                primitive: z.ZodEnum<["spending_limit", "simple_threshold", "weighted_threshold"]>;
-                params: z.ZodRecord<z.ZodString, z.ZodUnknown>;
-            }, "strip", z.ZodTypeAny, {
-                primitive: "spending_limit" | "simple_threshold" | "weighted_threshold";
-                params: Record<string, unknown>;
-            }, {
-                primitive: "spending_limit" | "simple_threshold" | "weighted_threshold";
-                params: Record<string, unknown>;
-            }>;
-            instanceAddress: z.ZodString;
-        }, "strip", z.ZodTypeAny, {
-            instanceAddress: string;
-            primitive: {
-                primitive: "spending_limit" | "simple_threshold" | "weighted_threshold";
-                params: Record<string, unknown>;
-            };
-            kind: "oz_builtin";
-        }, {
-            instanceAddress: string;
-            primitive: {
-                primitive: "spending_limit" | "simple_threshold" | "weighted_threshold";
-                params: Record<string, unknown>;
-            };
-            kind: "oz_builtin";
-        }>]>, "many">;
+        }>, "many">;
     }, z.ZodTypeAny, "passthrough">>, z.objectOutputType<{
         contextRuleType: z.ZodDiscriminatedUnion<"kind", [z.ZodObject<{
             kind: z.ZodLiteral<"default">;
@@ -3366,11 +1748,11 @@ export declare const InstallPolicyInputSchema: z.ZodEffects<z.ZodObject<{
             kind: z.ZodLiteral<"call_contract">;
             contract: z.ZodString;
         }, "strip", z.ZodTypeAny, {
-            contract: string;
             kind: "call_contract";
-        }, {
             contract: string;
+        }, {
             kind: "call_contract";
+            contract: string;
         }>, z.ZodObject<{
             kind: z.ZodLiteral<"create_contract">;
             wasmHash: z.ZodString;
@@ -3405,7 +1787,7 @@ export declare const InstallPolicyInputSchema: z.ZodEffects<z.ZodObject<{
             verifier: string;
             keyBytes: string;
         }>]>, "many">;
-        policies: z.ZodArray<z.ZodDiscriminatedUnion<"kind", [z.ZodObject<{
+        policies: z.ZodArray<z.ZodObject<{
             kind: z.ZodLiteral<"interpreter">;
             interpreterAddress: z.ZodString;
             predicateBlobBase64: z.ZodString;
@@ -3417,34 +1799,7 @@ export declare const InstallPolicyInputSchema: z.ZodEffects<z.ZodObject<{
             kind: "interpreter";
             interpreterAddress: string;
             predicateBlobBase64: string;
-        }>, z.ZodObject<{
-            kind: z.ZodLiteral<"oz_builtin">;
-            primitive: z.ZodObject<{
-                primitive: z.ZodEnum<["spending_limit", "simple_threshold", "weighted_threshold"]>;
-                params: z.ZodRecord<z.ZodString, z.ZodUnknown>;
-            }, "strip", z.ZodTypeAny, {
-                primitive: "spending_limit" | "simple_threshold" | "weighted_threshold";
-                params: Record<string, unknown>;
-            }, {
-                primitive: "spending_limit" | "simple_threshold" | "weighted_threshold";
-                params: Record<string, unknown>;
-            }>;
-            instanceAddress: z.ZodString;
-        }, "strip", z.ZodTypeAny, {
-            instanceAddress: string;
-            primitive: {
-                primitive: "spending_limit" | "simple_threshold" | "weighted_threshold";
-                params: Record<string, unknown>;
-            };
-            kind: "oz_builtin";
-        }, {
-            instanceAddress: string;
-            primitive: {
-                primitive: "spending_limit" | "simple_threshold" | "weighted_threshold";
-                params: Record<string, unknown>;
-            };
-            kind: "oz_builtin";
-        }>]>, "many">;
+        }>, "many">;
     }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
         contextRuleType: z.ZodDiscriminatedUnion<"kind", [z.ZodObject<{
             kind: z.ZodLiteral<"default">;
@@ -3456,11 +1811,11 @@ export declare const InstallPolicyInputSchema: z.ZodEffects<z.ZodObject<{
             kind: z.ZodLiteral<"call_contract">;
             contract: z.ZodString;
         }, "strip", z.ZodTypeAny, {
-            contract: string;
             kind: "call_contract";
-        }, {
             contract: string;
+        }, {
             kind: "call_contract";
+            contract: string;
         }>, z.ZodObject<{
             kind: z.ZodLiteral<"create_contract">;
             wasmHash: z.ZodString;
@@ -3495,7 +1850,7 @@ export declare const InstallPolicyInputSchema: z.ZodEffects<z.ZodObject<{
             verifier: string;
             keyBytes: string;
         }>]>, "many">;
-        policies: z.ZodArray<z.ZodDiscriminatedUnion<"kind", [z.ZodObject<{
+        policies: z.ZodArray<z.ZodObject<{
             kind: z.ZodLiteral<"interpreter">;
             interpreterAddress: z.ZodString;
             predicateBlobBase64: z.ZodString;
@@ -3507,34 +1862,7 @@ export declare const InstallPolicyInputSchema: z.ZodEffects<z.ZodObject<{
             kind: "interpreter";
             interpreterAddress: string;
             predicateBlobBase64: string;
-        }>, z.ZodObject<{
-            kind: z.ZodLiteral<"oz_builtin">;
-            primitive: z.ZodObject<{
-                primitive: z.ZodEnum<["spending_limit", "simple_threshold", "weighted_threshold"]>;
-                params: z.ZodRecord<z.ZodString, z.ZodUnknown>;
-            }, "strip", z.ZodTypeAny, {
-                primitive: "spending_limit" | "simple_threshold" | "weighted_threshold";
-                params: Record<string, unknown>;
-            }, {
-                primitive: "spending_limit" | "simple_threshold" | "weighted_threshold";
-                params: Record<string, unknown>;
-            }>;
-            instanceAddress: z.ZodString;
-        }, "strip", z.ZodTypeAny, {
-            instanceAddress: string;
-            primitive: {
-                primitive: "spending_limit" | "simple_threshold" | "weighted_threshold";
-                params: Record<string, unknown>;
-            };
-            kind: "oz_builtin";
-        }, {
-            instanceAddress: string;
-            primitive: {
-                primitive: "spending_limit" | "simple_threshold" | "weighted_threshold";
-                params: Record<string, unknown>;
-            };
-            kind: "oz_builtin";
-        }>]>, "many">;
+        }>, "many">;
     }, z.ZodTypeAny, "passthrough">>;
     /** Per-rule install nonce; 1 for a fresh install. */
     installNonce: z.ZodNumber;
@@ -3555,34 +1883,13 @@ export declare const InstallPolicyInputSchema: z.ZodEffects<z.ZodObject<{
      *  everything. Selecting `network: 'mainnet'` is NOT an opt-in -
      *  the mainnet pin is its own deny-by-default anchor. */
     allowUnpinnedInterpreter: z.ZodOptional<z.ZodBoolean>;
-    /** Opt-in to installing when a signer of this rule can already reach the
-     *  same calls through a context rule that has NO policy attached. OZ lets
-     *  the signer choose which rule authorises a call and enforces only that
-     *  rule's policies, so an unpoliced rule covering the same calls makes
-     *  this policy decorative. Default-deny, because the caller almost
-     *  certainly believes they are restricting something. */
-    allowAuthorityOverlap: z.ZodOptional<z.ZodBoolean>;
-    /** Skip the cross-rule authority scan entirely. The scan costs one RPC
-     *  read per rule on the account; skipping it means the response carries
-     *  no statement about what the signers can already do. */
-    skipAuthorityScan: z.ZodOptional<z.ZodBoolean>;
     /** Base fee in stroops; defaults to BASE_FEE (100). */
     baseFee: z.ZodOptional<z.ZodNumber>;
 }, "strip", z.ZodTypeAny, {
-    installNonce: number;
     smartAccount: string;
     sourceAccount: string;
+    installNonce: number;
     rule: {
-        contextRuleType: {
-            kind: "default";
-        } | {
-            contract: string;
-            kind: "call_contract";
-        } | {
-            kind: "create_contract";
-            wasmHash: string;
-        };
-        validUntilLedger: number | null;
         signers: ({
             address: string;
             kind: "delegated";
@@ -3591,18 +1898,21 @@ export declare const InstallPolicyInputSchema: z.ZodEffects<z.ZodObject<{
             verifier: string;
             keyBytes: string;
         })[];
-        policies: ({
+        validUntilLedger: number | null;
+        contextRuleType: {
+            kind: "default";
+        } | {
+            kind: "call_contract";
+            contract: string;
+        } | {
+            kind: "create_contract";
+            wasmHash: string;
+        };
+        policies: {
             kind: "interpreter";
             interpreterAddress: string;
             predicateBlobBase64: string;
-        } | {
-            instanceAddress: string;
-            primitive: {
-                primitive: "spending_limit" | "simple_threshold" | "weighted_threshold";
-                params: Record<string, unknown>;
-            };
-            kind: "oz_builtin";
-        })[];
+        }[];
         name: string;
     } & {
         [k: string]: unknown;
@@ -3611,24 +1921,12 @@ export declare const InstallPolicyInputSchema: z.ZodEffects<z.ZodObject<{
     rpcUrl?: string | undefined;
     allowUnpinnedRpcUrl?: boolean | undefined;
     allowUnpinnedInterpreter?: boolean | undefined;
-    allowAuthorityOverlap?: boolean | undefined;
-    skipAuthorityScan?: boolean | undefined;
     baseFee?: number | undefined;
 }, {
-    installNonce: number;
     smartAccount: string;
     sourceAccount: string;
+    installNonce: number;
     rule: {
-        contextRuleType: {
-            kind: "default";
-        } | {
-            contract: string;
-            kind: "call_contract";
-        } | {
-            kind: "create_contract";
-            wasmHash: string;
-        };
-        validUntilLedger: number | null;
         signers: ({
             address: string;
             kind: "delegated";
@@ -3637,18 +1935,21 @@ export declare const InstallPolicyInputSchema: z.ZodEffects<z.ZodObject<{
             verifier: string;
             keyBytes: string;
         })[];
-        policies: ({
+        validUntilLedger: number | null;
+        contextRuleType: {
+            kind: "default";
+        } | {
+            kind: "call_contract";
+            contract: string;
+        } | {
+            kind: "create_contract";
+            wasmHash: string;
+        };
+        policies: {
             kind: "interpreter";
             interpreterAddress: string;
             predicateBlobBase64: string;
-        } | {
-            instanceAddress: string;
-            primitive: {
-                primitive: "spending_limit" | "simple_threshold" | "weighted_threshold";
-                params: Record<string, unknown>;
-            };
-            kind: "oz_builtin";
-        })[];
+        }[];
         name: string;
     } & {
         [k: string]: unknown;
@@ -3657,24 +1958,12 @@ export declare const InstallPolicyInputSchema: z.ZodEffects<z.ZodObject<{
     rpcUrl?: string | undefined;
     allowUnpinnedRpcUrl?: boolean | undefined;
     allowUnpinnedInterpreter?: boolean | undefined;
-    allowAuthorityOverlap?: boolean | undefined;
-    skipAuthorityScan?: boolean | undefined;
     baseFee?: number | undefined;
 }>, {
-    installNonce: number;
     smartAccount: string;
     sourceAccount: string;
+    installNonce: number;
     rule: {
-        contextRuleType: {
-            kind: "default";
-        } | {
-            contract: string;
-            kind: "call_contract";
-        } | {
-            kind: "create_contract";
-            wasmHash: string;
-        };
-        validUntilLedger: number | null;
         signers: ({
             address: string;
             kind: "delegated";
@@ -3683,18 +1972,21 @@ export declare const InstallPolicyInputSchema: z.ZodEffects<z.ZodObject<{
             verifier: string;
             keyBytes: string;
         })[];
-        policies: ({
+        validUntilLedger: number | null;
+        contextRuleType: {
+            kind: "default";
+        } | {
+            kind: "call_contract";
+            contract: string;
+        } | {
+            kind: "create_contract";
+            wasmHash: string;
+        };
+        policies: {
             kind: "interpreter";
             interpreterAddress: string;
             predicateBlobBase64: string;
-        } | {
-            instanceAddress: string;
-            primitive: {
-                primitive: "spending_limit" | "simple_threshold" | "weighted_threshold";
-                params: Record<string, unknown>;
-            };
-            kind: "oz_builtin";
-        })[];
+        }[];
         name: string;
     } & {
         [k: string]: unknown;
@@ -3703,24 +1995,12 @@ export declare const InstallPolicyInputSchema: z.ZodEffects<z.ZodObject<{
     rpcUrl?: string | undefined;
     allowUnpinnedRpcUrl?: boolean | undefined;
     allowUnpinnedInterpreter?: boolean | undefined;
-    allowAuthorityOverlap?: boolean | undefined;
-    skipAuthorityScan?: boolean | undefined;
     baseFee?: number | undefined;
 }, {
-    installNonce: number;
     smartAccount: string;
     sourceAccount: string;
+    installNonce: number;
     rule: {
-        contextRuleType: {
-            kind: "default";
-        } | {
-            contract: string;
-            kind: "call_contract";
-        } | {
-            kind: "create_contract";
-            wasmHash: string;
-        };
-        validUntilLedger: number | null;
         signers: ({
             address: string;
             kind: "delegated";
@@ -3729,18 +2009,21 @@ export declare const InstallPolicyInputSchema: z.ZodEffects<z.ZodObject<{
             verifier: string;
             keyBytes: string;
         })[];
-        policies: ({
+        validUntilLedger: number | null;
+        contextRuleType: {
+            kind: "default";
+        } | {
+            kind: "call_contract";
+            contract: string;
+        } | {
+            kind: "create_contract";
+            wasmHash: string;
+        };
+        policies: {
             kind: "interpreter";
             interpreterAddress: string;
             predicateBlobBase64: string;
-        } | {
-            instanceAddress: string;
-            primitive: {
-                primitive: "spending_limit" | "simple_threshold" | "weighted_threshold";
-                params: Record<string, unknown>;
-            };
-            kind: "oz_builtin";
-        })[];
+        }[];
         name: string;
     } & {
         [k: string]: unknown;
@@ -3749,53 +2032,9 @@ export declare const InstallPolicyInputSchema: z.ZodEffects<z.ZodObject<{
     rpcUrl?: string | undefined;
     allowUnpinnedRpcUrl?: boolean | undefined;
     allowUnpinnedInterpreter?: boolean | undefined;
-    allowAuthorityOverlap?: boolean | undefined;
-    skipAuthorityScan?: boolean | undefined;
     baseFee?: number | undefined;
 }>;
 export type InstallPolicyInput = z.infer<typeof InstallPolicyInputSchema>;
-/** `merge_policy` input.
- *
- *  The tightening remedy for a cross-rule overlap: replace a rule's predicate
- *  with the conjunction of it and a new one. Two transactions, in order,
- *  because OZ refuses to re-attach a policy already on the rule - so the
- *  caller runs `detach`, waits for it to confirm, then runs `reinstall`. */
-export declare const MergePolicyInputSchema: z.ZodObject<{
-    smartAccount: z.ZodString;
-    sourceAccount: z.ZodString;
-    /** The rule whose predicate is being tightened. */
-    ruleId: z.ZodNumber;
-    /** The predicate to conjoin, base64 canonical ScVal, as emitted by
-     *  `synthesize_policy`. */
-    incomingPredicateBlobBase64: z.ZodString;
-    /** Which half of the remedy to build. */
-    step: z.ZodEnum<["detach", "reinstall"]>;
-    network: z.ZodOptional<z.ZodEnum<["mainnet", "testnet"]>>;
-    rpcUrl: z.ZodOptional<z.ZodString>;
-    allowUnpinnedRpcUrl: z.ZodOptional<z.ZodBoolean>;
-    baseFee: z.ZodOptional<z.ZodNumber>;
-}, "strict", z.ZodTypeAny, {
-    smartAccount: string;
-    sourceAccount: string;
-    step: "detach" | "reinstall";
-    ruleId: number;
-    incomingPredicateBlobBase64: string;
-    network?: "mainnet" | "testnet" | undefined;
-    rpcUrl?: string | undefined;
-    allowUnpinnedRpcUrl?: boolean | undefined;
-    baseFee?: number | undefined;
-}, {
-    smartAccount: string;
-    sourceAccount: string;
-    step: "detach" | "reinstall";
-    ruleId: number;
-    incomingPredicateBlobBase64: string;
-    network?: "mainnet" | "testnet" | undefined;
-    rpcUrl?: string | undefined;
-    allowUnpinnedRpcUrl?: boolean | undefined;
-    baseFee?: number | undefined;
-}>;
-export type MergePolicyInput = z.infer<typeof MergePolicyInputSchema>;
 export declare const RevokePolicyInputSchema: z.ZodEffects<z.ZodObject<{
     /** The smart account contract address (C...). */
     smartAccount: z.ZodString;