@crediolabs/policy-synth 0.1.18 → 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,205 +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">>;
-}, "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">>;
-}, 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">>;
-}, 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>;
@@ -586,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"]>;
@@ -870,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;
@@ -956,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;
@@ -1042,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;
@@ -1120,740 +671,19 @@ export declare const SynthesizePolicyRecordingInputSchema: z.ZodObject<{
         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">>;
-    }, "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">>;
-    }, 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">>;
-    }, 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;
-    } | 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">>;
-    }, 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;
-        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.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">>;
-    }, 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">>;
-    }, "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">>;
-    }, z.ZodTypeAny, "passthrough">, z.objectInputType<{
-        windowSeconds: z.ZodOptional<z.ZodNumber>;
+    userResponses: z.ZodOptional<z.ZodObject<{
         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">>;
-    }, 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, {
@@ -1864,61 +694,13 @@ export declare const SynthesizePolicyInputSchema: z.ZodDiscriminatedUnion<"sourc
     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";
@@ -1934,10 +716,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;
@@ -1960,30 +742,16 @@ export declare const SynthesizePolicyInputSchema: z.ZodDiscriminatedUnion<"sourc
     };
     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">>;
-    }, 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;
 }, {
     network: "mainnet" | "testnet";
@@ -1999,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;
@@ -2025,32 +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">>;
-    }, 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.
@@ -2058,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">;
@@ -2091,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;
@@ -2177,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;
@@ -2263,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;
@@ -2341,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[];
@@ -2369,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;
@@ -2395,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[];
@@ -2413,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;
@@ -2439,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<{
@@ -2459,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;
@@ -2545,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;
@@ -2631,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;
@@ -2709,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[];
@@ -2737,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;
@@ -2763,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[];
@@ -2781,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;
@@ -2807,28 +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 = "CDR4NLV22STCXFGZPNKDQTEANWLF7LZ6AJLY6B7CLJXKHDZGYJWIOKGP";
-/** Pinned interpreter address (mainnet). Mainnet
- *  has now been deployed (2026-08-04); the mainnet interpreter IS the binary
- *  that was exercised on testnet (same wasm sha256, see
- *  PINNED_INTERPRETER_WASM_SHA256). The address differs because instance
- *  ids are network-scoped. UNAUDITED at the time of writing. */
-export declare const PINNED_INTERPRETER_MAINNET_ADDRESS = "CALZAMUPREIRY4TULBEXIK77AUTOEJG63XLCPUWEHHQDOVK6ZVVS7VQ2";
+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.
+ *
+ *  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 = "6e6c13d93e197aa380303a42cd120f5ddb080dd36ef2a343ee1dbd04ca52a443";
+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
@@ -2845,9 +1529,6 @@ export declare const MAINNET_RPC_URL = "https://mainnet.sorobanrpc.com";
  *  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 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). */
@@ -2878,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;
@@ -2917,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;
@@ -2929,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">;
@@ -2968,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;
@@ -3007,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;
@@ -3019,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">;
@@ -3058,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;
@@ -3097,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;
@@ -3109,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">;
@@ -3148,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;
@@ -3187,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;
@@ -3199,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">;
@@ -3238,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;
@@ -3277,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;
@@ -3289,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;
@@ -3340,20 +1886,10 @@ export declare const InstallPolicyInputSchema: z.ZodEffects<z.ZodObject<{
     /** 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";
@@ -3362,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;
@@ -3384,20 +1923,10 @@ export declare const InstallPolicyInputSchema: z.ZodEffects<z.ZodObject<{
     allowUnpinnedInterpreter?: 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";
@@ -3406,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;
@@ -3428,20 +1960,10 @@ export declare const InstallPolicyInputSchema: z.ZodEffects<z.ZodObject<{
     allowUnpinnedInterpreter?: 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";
@@ -3450,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;
@@ -3472,20 +1997,10 @@ export declare const InstallPolicyInputSchema: z.ZodEffects<z.ZodObject<{
     allowUnpinnedInterpreter?: 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";
@@ -3494,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;