@crediolabs/policy-builder-mcp 0.1.3 → 0.1.6

package/dist/src/schemas.d.ts

@@ -711,6 +711,40 @@ export declare const SynthesizePolicyMandateInputSchema: z.ZodObject<{
         };
     } | 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;
+    installNonce?: number | undefined;
+    oracleParams?: {
+        maxStalenessSeconds?: number | undefined;
+        maxDeviationBps?: number | undefined;
+    } | undefined;
+}, {
+    smartAccountAddress: string;
+    installNonce?: number | undefined;
+    oracleParams?: {
+        maxStalenessSeconds?: number | undefined;
+        maxDeviationBps?: number | undefined;
+    } | undefined;
+}>;
 export declare const SynthesizePolicyRecordingInputSchema: z.ZodObject<{
     source: z.ZodLiteral<"recording">;
     recordedTx: z.ZodObject<{
@@ -996,6 +1030,34 @@ export declare const SynthesizePolicyRecordingInputSchema: z.ZodObject<{
     }, {
         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;
+        installNonce?: number | undefined;
+        oracleParams?: {
+            maxStalenessSeconds?: number | undefined;
+            maxDeviationBps?: number | undefined;
+        } | undefined;
+    }, {
+        smartAccountAddress: string;
+        installNonce?: number | undefined;
+        oracleParams?: {
+            maxStalenessSeconds?: number | undefined;
+            maxDeviationBps?: number | undefined;
+        } | undefined;
+    }>>;
     ozConfig: z.ZodOptional<z.ZodObject<{
         network: z.ZodEnum<["mainnet", "testnet"]>;
         instances: z.ZodObject<{
@@ -1081,6 +1143,14 @@ export declare const SynthesizePolicyRecordingInputSchema: z.ZodObject<{
         limitAmount: z.ZodOptional<z.ZodString>;
         invocationLimit: z.ZodOptional<z.ZodNumber>;
     }, z.ZodTypeAny, "passthrough"> | undefined;
+    interpreter?: {
+        smartAccountAddress: string;
+        installNonce?: number | undefined;
+        oracleParams?: {
+            maxStalenessSeconds?: number | undefined;
+            maxDeviationBps?: number | undefined;
+        } | undefined;
+    } | undefined;
 }, {
     network: "mainnet" | "testnet";
     source: "recording";
@@ -1136,6 +1206,14 @@ export declare const SynthesizePolicyRecordingInputSchema: z.ZodObject<{
         limitAmount: z.ZodOptional<z.ZodString>;
         invocationLimit: z.ZodOptional<z.ZodNumber>;
     }, z.ZodTypeAny, "passthrough"> | undefined;
+    interpreter?: {
+        smartAccountAddress: string;
+        installNonce?: number | undefined;
+        oracleParams?: {
+            maxStalenessSeconds?: number | undefined;
+            maxDeviationBps?: number | undefined;
+        } | undefined;
+    } | undefined;
 }>;
 export declare const SynthesizePolicyInputSchema: z.ZodDiscriminatedUnion<"source", [z.ZodObject<{
     source: z.ZodLiteral<"mandate">;
@@ -1598,6 +1676,34 @@ export declare const SynthesizePolicyInputSchema: z.ZodDiscriminatedUnion<"sourc
     }, {
         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;
+        installNonce?: number | undefined;
+        oracleParams?: {
+            maxStalenessSeconds?: number | undefined;
+            maxDeviationBps?: number | undefined;
+        } | undefined;
+    }, {
+        smartAccountAddress: string;
+        installNonce?: number | undefined;
+        oracleParams?: {
+            maxStalenessSeconds?: number | undefined;
+            maxDeviationBps?: number | undefined;
+        } | undefined;
+    }>>;
     ozConfig: z.ZodOptional<z.ZodObject<{
         network: z.ZodEnum<["mainnet", "testnet"]>;
         instances: z.ZodObject<{
@@ -1683,6 +1789,14 @@ export declare const SynthesizePolicyInputSchema: z.ZodDiscriminatedUnion<"sourc
         limitAmount: z.ZodOptional<z.ZodString>;
         invocationLimit: z.ZodOptional<z.ZodNumber>;
     }, z.ZodTypeAny, "passthrough"> | undefined;
+    interpreter?: {
+        smartAccountAddress: string;
+        installNonce?: number | undefined;
+        oracleParams?: {
+            maxStalenessSeconds?: number | undefined;
+            maxDeviationBps?: number | undefined;
+        } | undefined;
+    } | undefined;
 }, {
     network: "mainnet" | "testnet";
     source: "recording";
@@ -1738,6 +1852,14 @@ export declare const SynthesizePolicyInputSchema: z.ZodDiscriminatedUnion<"sourc
         limitAmount: z.ZodOptional<z.ZodString>;
         invocationLimit: z.ZodOptional<z.ZodNumber>;
     }, z.ZodTypeAny, "passthrough"> | undefined;
+    interpreter?: {
+        smartAccountAddress: string;
+        installNonce?: number | undefined;
+        oracleParams?: {
+            maxStalenessSeconds?: number | undefined;
+            maxDeviationBps?: number | undefined;
+        } | undefined;
+    } | undefined;
 }>]>;
 export type SynthesizePolicyInput = z.infer<typeof SynthesizePolicyInputSchema>;
 /** Flat ZodRawShape used for MCP tool registration. Every field is optional
@@ -2116,6 +2238,34 @@ export declare const SynthesizePolicyToolShape: {
     }, {
         threshold: number;
     }>>;
+    readonly 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;
+        installNonce?: number | undefined;
+        oracleParams?: {
+            maxStalenessSeconds?: number | undefined;
+            maxDeviationBps?: number | undefined;
+        } | undefined;
+    }, {
+        smartAccountAddress: string;
+        installNonce?: number | undefined;
+        oracleParams?: {
+            maxStalenessSeconds?: number | undefined;
+            maxDeviationBps?: number | undefined;
+        } | undefined;
+    }>>;
     readonly ozConfig: z.ZodOptional<z.ZodObject<{
         network: z.ZodEnum<["mainnet", "testnet"]>;
         instances: z.ZodObject<{

package/dist/src/schemas.js

@@ -172,12 +172,29 @@ export const SynthesizePolicyMandateInputSchema = z.object({
     mandate: MandateSpecSchema,
     ozConfig: OzAdapterConfigSchema.optional(),
 });
+/** 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 const InterpreterOptionsSchema = z.object({
+    smartAccountAddress: z.string(),
+    installNonce: z.number().int().positive().optional(),
+    oracleParams: z
+        .object({
+        maxStalenessSeconds: z.number().int().positive().optional(),
+        maxDeviationBps: z.number().int().positive().optional(),
+    })
+        .optional(),
+});
 export const SynthesizePolicyRecordingInputSchema = z.object({
     source: z.literal('recording'),
     recordedTx: RecordedTransactionSchema,
     network: NetworkSchema,
     userResponses: ComposeUserResponsesSchema.optional(),
     confidenceOverride: z.object({ threshold: z.number().min(0).max(1) }).optional(),
+    interpreter: InterpreterOptionsSchema.optional(),
     ozConfig: OzAdapterConfigSchema.optional(),
 });
 export const SynthesizePolicyInputSchema = z.discriminatedUnion('source', [
@@ -194,6 +211,7 @@ export const SynthesizePolicyToolShape = {
     network: NetworkSchema.optional(),
     userResponses: ComposeUserResponsesSchema.optional(),
     confidenceOverride: z.object({ threshold: z.number().min(0).max(1) }).optional(),
+    interpreter: InterpreterOptionsSchema.optional(),
     ozConfig: OzAdapterConfigSchema.optional(),
 };
 // ===== Error envelope (canonical) =====

package/dist/src/tools/run.js

@@ -69,6 +69,7 @@ export async function runSynthesizePolicy(raw) {
         ...(input.confidenceOverride !== undefined
             ? { confidenceOverride: input.confidenceOverride }
             : {}),
+        ...(input.interpreter !== undefined ? { interpreter: input.interpreter } : {}),
     }, ozConfig);
 }
 function resolveOzConfig(input) {

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@crediolabs/policy-builder-mcp",
-  "version": "0.1.3",
+  "version": "0.1.6",
   "license": "MIT",
   "description": "MCP server exposing the OZ policy-synth core (record_transaction + synthesize_policy) over stdio and Streamable HTTP transports.",
   "type": "module",
@@ -31,7 +31,7 @@
     "build": "tsc -p tsconfig.build.json"
   },
   "dependencies": {
-    "@crediolabs/policy-synth": "^0.1.0",
+    "@crediolabs/policy-synth": "^0.1.4",
     "@modelcontextprotocol/sdk": "1.18.1",
     "zod": "3.25.76"
   },

package/src/schemas.ts

@@ -196,12 +196,30 @@ export const SynthesizePolicyMandateInputSchema = z.object({
   ozConfig: OzAdapterConfigSchema.optional(),
 })
 
+/** 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 const InterpreterOptionsSchema = z.object({
+  smartAccountAddress: z.string(),
+  installNonce: z.number().int().positive().optional(),
+  oracleParams: z
+    .object({
+      maxStalenessSeconds: z.number().int().positive().optional(),
+      maxDeviationBps: z.number().int().positive().optional(),
+    })
+    .optional(),
+})
+
 export const SynthesizePolicyRecordingInputSchema = z.object({
   source: z.literal('recording'),
   recordedTx: RecordedTransactionSchema,
   network: NetworkSchema,
   userResponses: ComposeUserResponsesSchema.optional(),
   confidenceOverride: z.object({ threshold: z.number().min(0).max(1) }).optional(),
+  interpreter: InterpreterOptionsSchema.optional(),
   ozConfig: OzAdapterConfigSchema.optional(),
 })
 
@@ -221,6 +239,7 @@ export const SynthesizePolicyToolShape = {
   network: NetworkSchema.optional(),
   userResponses: ComposeUserResponsesSchema.optional(),
   confidenceOverride: z.object({ threshold: z.number().min(0).max(1) }).optional(),
+  interpreter: InterpreterOptionsSchema.optional(),
   ozConfig: OzAdapterConfigSchema.optional(),
 } as const
 

package/src/tools/run.ts

@@ -99,6 +99,7 @@ export async function runSynthesizePolicy(raw: unknown): Promise<ToolResponse<Pr
       ...(input.confidenceOverride !== undefined
         ? { confidenceOverride: input.confidenceOverride }
         : {}),
+      ...(input.interpreter !== undefined ? { interpreter: input.interpreter } : {}),
     } as SynthesizeFromRecordingOptions,
     ozConfig
   )