@crediolabs/policy-synth 0.1.18 → 0.3.0

package/dist-cjs/review-card/builder.js

@@ -7,23 +7,13 @@
 // summary being REPRODUCIBLE + TESTABLE + NON-HALLUCINABLE, so this module is
 // pure: same inputs -> byte-identical output, no clock, no randomness, no I/O.
 //
-// The builder walks two inputs and emits ONE constraint string per leaf or
-// primitive, in a fixed deterministic order:
-//
-//   1. The OZ built-in `PolicyRef`s. Each `spending_limit` primitive becomes a
-//      `spending_limit(token, limitAmount, windowSecs)` line; other OZ
-//      primitives (threshold) are skipped - the review card does not quote
-//      them (they are signer-config concerns, not transactional bounds).
-//
-//   2. The interpreter `PredicateNode`. One string per constraint leaf,
-//      rendered by enclosing-comparison kind. Templates (Task 7b):
-//        - invocation_count_in_window < N     -> At most N calls per <window> seconds
-//        - call_arg[i] in [list]              -> Recipient/arg must be one of [list]
-//        - eq(call_arg[i], literal_vec[...])  -> Path must be exactly [list]
-//        - oracle_price(asset) OP price       -> Only when oracle_price(asset) OP price
-//        - call_fn == x                       -> Function must be x
-//        - call_contract == c                 -> Contract must be c
-//        - amount <= v                        -> Amount <= v
+// The builder walks the interpreter `PredicateNode` and emits ONE constraint
+// string per leaf, in a fixed deterministic order. Templates (Task 7b):
+//   - call_arg[i] in [list]              -> Recipient/arg must be one of [list]
+//   - eq(call_arg[i], literal_vec[...])  -> Path must be exactly [list]
+//   - call_fn == x                       -> Function must be x
+//   - call_contract == c                 -> Contract must be c
+//   - amount <= v                        -> Amount <= v
 //
 // The content hash is a stable sha256 hex of a canonical JSON of
 // { ruleName, plainEnglish, constraints, expiry, backend } - identical
@@ -33,15 +23,13 @@ Object.defineProperty(exports, "__esModule", { value: true });
 exports.buildReviewCardSummary = buildReviewCardSummary;
 exports.describePredicate = describePredicate;
 const node_crypto_1 = require("node:crypto");
+const render_leaf_ts_1 = require("./render-leaf.js");
 /** Build a deterministic review-card summary from a policy + context rule +
  *  simulation result. Pure: same inputs -> byte-identical output. */
-function buildReviewCardSummary(predicate, policyRefs, contextRule, simulation) {
+function buildReviewCardSummary(predicate, contextRule, 
+/** Evaluator identity folded into the content hash. */
+backend) {
     const constraints = [];
-    for (const ref of policyRefs) {
-        const line = renderOzPrimitive(ref);
-        if (line !== null)
-            constraints.push(line);
-    }
     if (predicate !== null) {
         walkPredicate(predicate, (node) => {
             const line = renderConstraint(node);
@@ -59,7 +47,6 @@ function buildReviewCardSummary(predicate, policyRefs, contextRule, simulation)
     const signerNote = contextRule.signers.length >= 2
         ? 'any ONE signer may authorise a permitted op under this rule (OZ any-of-N semantic)'
         : null;
-    const backend = simulation.backend;
     const contentHash = computeContentHash({
         ruleName,
         plainEnglish,
@@ -70,25 +57,6 @@ function buildReviewCardSummary(predicate, policyRefs, contextRule, simulation)
     });
     return { ruleName, plainEnglish, constraints, expiry, signerNote, backend, contentHash };
 }
-/** Render the OZ built-in primitive summary line. Only `spending_limit` is
- *  quoted by the review card (it is the only primitive that defines a
- *  transactional bound). Other primitives (threshold) are signer-config
- *  concerns handled by the OZ adapter's own `uncovered` machinery.
- *  Spending_limit takes `period_ledgers` on-chain (~5s/ledger); the card
- *  states the window in seconds so the user reads it consistently with the
- *  interpreter templates. */
-function renderOzPrimitive(ref) {
-    if (ref.kind !== 'oz_builtin')
-        return null;
-    const primitive = ref.primitive;
-    if (primitive.primitive !== 'spending_limit')
-        return null;
-    const params = primitive.params;
-    const limit = params.spending_limit ?? '0';
-    const periodLedgers = params.period_ledgers ?? 0;
-    const windowSecs = periodLedgers * 5;
-    return `spending_limit(${limit}, ${windowSecs})`;
-}
 /** Walk every comparison / membership node of the predicate and invoke
  *  `visit` on each. The walk is depth-first, left-to-right, so the
  *  constraint list is stable across runs. Pure boolean nodes contribute no
@@ -113,21 +81,14 @@ function describePredicate(predicate) {
 function walkPredicate(node, visit) {
     switch (node.op) {
         case 'and':
-        case 'or':
             for (const child of node.children)
                 walkPredicate(child, visit);
             return;
-        case 'not':
-            walkPredicate(node.child, visit);
-            return;
         case 'in':
             visit(node);
             return;
         case 'eq':
-        case 'lt':
         case 'lte':
-        case 'gt':
-        case 'gte':
             visit(node);
             return;
     }
@@ -135,18 +96,13 @@ function walkPredicate(node, visit) {
 /** Render ONE constraint sentence for ONE interpreter predicate node. The
  *  shape of the output is pinned by Task 7b so the test suite can assert
  *  byte-for-byte equality. Returns `null` when the node is a structural
- *  boolean (`and` / `or` / `not`) - those are not constraint leaves. */
+ *  boolean (`and`) - that is not a constraint leaf. */
 function renderConstraint(node) {
     switch (node.op) {
         case 'and':
-        case 'or':
-        case 'not':
             return null;
         case 'eq':
-        case 'lt':
         case 'lte':
-        case 'gt':
-        case 'gte':
             return renderComparison(node);
         case 'in':
             return renderMembership(node);
@@ -165,7 +121,7 @@ function renderComparison(node) {
     }
     // eq(call_arg[i], literal_vec) -> Path must be exactly [list]
     if (left.kind === 'call_arg' && node.op === 'eq' && right.kind === 'literal_vec') {
-        return `Path must be exactly [${right.elements.map(renderVecElement).join(', ')}]`;
+        return `Path must be exactly [${right.elements.map(render_leaf_ts_1.renderVecElement).join(', ')}]`;
     }
     // eq(call_arg_len[i], literal_u32) -> Length of arg[i] is K
     // Binds the OUTER vec length so a caller cannot append an element to
@@ -176,73 +132,41 @@ function renderComparison(node) {
     }
     // eq/lte(call_arg_field[i, el, field], <literal>) -> arg[i] element[el].field = <value>
     // The structured-argument bind pins a scalar field inside a vec element.
-    // For lt/gt/lte/gte the line reads "OP <value>" so the comparison kind
-    // is visible; eq reads "= <value>".
+    // For lte the line reads "OP <value>" so the comparison kind is visible;
+    // eq reads "= <value>".
     if (left.kind === 'call_arg_field') {
         const head = `arg[${left.index}] element[${left.element}].${left.field}`;
-        const sep = node.op === 'eq' ? '=' : comparisonOpText(node.op);
+        const sep = node.op === 'eq' ? '=' : (0, render_leaf_ts_1.comparisonOpText)(node.op);
         if (right.kind === 'literal_address')
             return `${head} ${sep} ${right.value}`;
         if (right.kind === 'literal_symbol')
             return `${head} ${sep} ${right.value}`;
-        if (right.kind === 'literal_bytes')
-            return `${head} ${sep} ${right.value}`;
-        if (right.kind === 'literal_u64')
-            return `${head} ${sep} ${right.value}`;
         if (right.kind === 'literal_i128')
             return `${head} ${sep} ${right.value}`;
         if (right.kind === 'literal_u32')
             return `${head} ${sep} ${right.value}`;
         if (right.kind === 'literal_vec') {
-            return `${head} ${sep} [${right.elements.map(renderVecElement).join(', ')}]`;
+            return `${head} ${sep} [${right.elements.map(render_leaf_ts_1.renderVecElement).join(', ')}]`;
         }
     }
-    // The bound is compared against the calls ALREADY made in the window, so
-    // `< N` permits N of them and `<= N` permits one more. Report how many
-    // calls the rule allows rather than restating the comparison.
-    if (left.kind === 'invocation_count_in_window' && right.kind === 'literal_u32') {
-        const allowed = node.op === 'lt' ? right.value : right.value + 1;
-        return `At most ${allowed} calls per ${left.windowSecs} seconds`;
-    }
-    // OP(call_arg[i], <scalar literal>) -> arg[i] OP <value>
-    //
-    // The per-call cap. It has to be here because the `amount` template below
-    // is unreachable for an interpreter policy: `amount` is deliberately not in
-    // the contract's grammar (dsl.rs - the interpreter sees one authorized
-    // call, not the transaction's token movements), so a predicate using it is
-    // refused at install. A bound on the call's own amount ARGUMENT is how a
-    // cap is actually written, and it was rendering nothing at all - the card
-    // silently understated the policy.
+    // The per-call cap: OP(call_arg[i], <scalar literal>) -> arg[i] OP <value>.
+    // The interpreter is passed one authorized call, not the transaction's token
+    // movements, so a bound on the call's own amount ARGUMENT is how a cap is
+    // written.
     //
     // Placed after the literal_vec case above so an exact-sequence `eq` still
     // reads as a path rather than as a comparison.
     if (left.kind === 'call_arg') {
         const head = `arg[${left.index}]`;
-        const sep = node.op === 'eq' ? '=' : comparisonOpText(node.op);
+        const sep = node.op === 'eq' ? '=' : (0, render_leaf_ts_1.comparisonOpText)(node.op);
         if (right.kind === 'literal_i128')
             return `${head} ${sep} ${right.value}`;
-        if (right.kind === 'literal_u64')
-            return `${head} ${sep} ${right.value}`;
         if (right.kind === 'literal_u32')
             return `${head} ${sep} ${right.value}`;
         if (right.kind === 'literal_address')
             return `${head} ${sep} ${right.value}`;
         if (right.kind === 'literal_symbol')
             return `${head} ${sep} ${right.value}`;
-        if (right.kind === 'literal_bytes')
-            return `${head} ${sep} ${right.value}`;
-        // call_arg_scaled is the slippage floor and reads as itself.
-        if (right.kind === 'call_arg_scaled') {
-            return `${head} >= arg[${right.index}] * ${right.num}/${right.den}`;
-        }
-    }
-    // amount <= v -> Amount <= v
-    if (left.kind === 'amount' && right.kind === 'literal_i128') {
-        return `Amount <= ${right.value}`;
-    }
-    // oracle_price(asset) OP price -> Only when oracle_price(asset) OP price
-    if (left.kind === 'oracle_price' && right.kind === 'oracle_threshold') {
-        return `Only when oracle_price(${left.asset}) ${comparisonOpText(node.op)} ${right.value} (${right.decimals} dp)`;
     }
     // Any other comparison shape is a structural fail-closed: do not surface
     // a misleading line. Cross-check still requires every leaf produce a
@@ -254,79 +178,11 @@ function renderComparison(node) {
 function renderMembership(node) {
     // call_arg[i] in [list] -> Recipient/arg must be one of [list]
     if (node.needle.kind === 'call_arg') {
-        const list = node.haystack.map(renderHaystackElement).join(', ');
+        const list = node.haystack.map(render_leaf_ts_1.renderHaystackElement).join(', ');
         return `Recipient/arg must be one of [${list}]`;
     }
     return null;
 }
-function renderVecElement(leaf) {
-    switch (leaf.kind) {
-        case 'literal_address':
-            return leaf.value;
-        case 'literal_i128':
-            return leaf.value;
-        case 'literal_symbol':
-            return leaf.value;
-        case 'literal_u32':
-            return String(leaf.value);
-        case 'literal_u64':
-            return leaf.value;
-        case 'literal_bytes':
-            return leaf.value;
-        case 'literal_vec':
-            return `[${leaf.elements.map(renderVecElement).join(', ')}]`;
-        case 'call_contract':
-        case 'call_fn':
-        case 'call_arg':
-        case 'call_arg_len':
-        case 'call_arg_field':
-        case 'call_arg_scaled':
-        case 'amount':
-        case 'window_spent':
-        case 'now':
-        case 'valid_until':
-        case 'invocation_count_in_window':
-        case 'oracle_price':
-            return `<${leaf.kind}>`;
-        // Show the declared basis, not just the digits. A threshold on the wrong
-        // basis is the one policy error the contract cannot detect, so the review
-        // card is where a human has to be able to see it.
-        case 'oracle_threshold':
-            return `${leaf.value} (${leaf.decimals} dp)`;
-    }
-}
-function renderHaystackElement(leaf) {
-    if (leaf.kind === 'literal_address')
-        return leaf.value;
-    if (leaf.kind === 'literal_i128')
-        return leaf.value;
-    if (leaf.kind === 'literal_symbol')
-        return leaf.value;
-    if (leaf.kind === 'literal_u32')
-        return String(leaf.value);
-    if (leaf.kind === 'literal_u64')
-        return leaf.value;
-    if (leaf.kind === 'literal_bytes')
-        return leaf.value;
-    if (leaf.kind === 'literal_vec') {
-        return `[${leaf.elements.map(renderHaystackElement).join(', ')}]`;
-    }
-    return `<${leaf.kind}>`;
-}
-function comparisonOpText(op) {
-    switch (op) {
-        case 'lt':
-            return '<';
-        case 'lte':
-            return '<=';
-        case 'gt':
-            return '>';
-        case 'gte':
-            return '>=';
-        case 'eq':
-            return '==';
-    }
-}
 /** Render the plain-English one-liner. Format: `<ruleName>: <constraints>`,
  *  joined by `; ` so the user reads one sentence per constraint. */
 function renderPlainEnglish(ruleName, constraints) {

package/dist-cjs/review-card/cross-check.js

@@ -15,6 +15,7 @@
 // guard.
 Object.defineProperty(exports, "__esModule", { value: true });
 exports.summaryCrossCheck = summaryCrossCheck;
+const render_leaf_ts_1 = require("./render-leaf.js");
 /** Assert every leaf in the predicate appears as a constraint string in
  *  `summary.constraints`. Returns the missing templates (without the leaf
  *  values filled in) when any leaf was dropped. */
@@ -38,18 +39,11 @@ function summaryCrossCheck(predicate, summary) {
 function collect(node, out) {
     switch (node.op) {
         case 'and':
-        case 'or':
             for (const child of node.children)
                 collect(child, out);
             return;
-        case 'not':
-            collect(node.child, out);
-            return;
         case 'eq':
-        case 'lt':
         case 'lte':
-        case 'gt':
-        case 'gte':
             pushComparison(node.left, node.right, node.op, out);
             return;
         case 'in':
@@ -67,7 +61,7 @@ function pushComparison(left, right, op, out) {
         return;
     }
     if (left.kind === 'call_arg' && op === 'eq' && right.kind === 'literal_vec') {
-        out.push(`Path must be exactly [${right.elements.map(renderVecElement).join(', ')}]`);
+        out.push(`Path must be exactly [${right.elements.map(render_leaf_ts_1.renderVecElement).join(', ')}]`);
         return;
     }
     if (left.kind === 'call_arg_len' && op === 'eq' && right.kind === 'literal_u32') {
@@ -78,7 +72,7 @@ function pushComparison(left, right, op, out) {
     // the cross-check can assert a faithful summary.
     if (left.kind === 'call_arg_field') {
         const head = `arg[${left.index}] element[${left.element}].${left.field}`;
-        const sep = op === 'eq' ? '=' : comparisonOpText(op);
+        const sep = op === 'eq' ? '=' : (0, render_leaf_ts_1.comparisonOpText)(op);
         if (right.kind === 'literal_address') {
             out.push(`${head} ${sep} ${right.value}`);
             return;
@@ -87,14 +81,6 @@ function pushComparison(left, right, op, out) {
             out.push(`${head} ${sep} ${right.value}`);
             return;
         }
-        if (right.kind === 'literal_bytes') {
-            out.push(`${head} ${sep} ${right.value}`);
-            return;
-        }
-        if (right.kind === 'literal_u64') {
-            out.push(`${head} ${sep} ${right.value}`);
-            return;
-        }
         if (right.kind === 'literal_i128') {
             out.push(`${head} ${sep} ${right.value}`);
             return;
@@ -104,117 +90,28 @@ function pushComparison(left, right, op, out) {
             return;
         }
         if (right.kind === 'literal_vec') {
-            out.push(`${head} ${sep} [${right.elements.map(renderVecElement).join(', ')}]`);
+            out.push(`${head} ${sep} [${right.elements.map(render_leaf_ts_1.renderVecElement).join(', ')}]`);
             return;
         }
     }
-    // Mirrors the builder's wording byte-for-byte: how many calls the rule
-    // permits, since the bound counts the calls already made.
-    if (left.kind === 'invocation_count_in_window' && right.kind === 'literal_u32') {
-        const allowed = op === 'lt' ? right.value : right.value + 1;
-        out.push(`At most ${allowed} calls per ${left.windowSecs} seconds`);
-        return;
-    }
     // Mirrors the builder's per-call cap line. Both sides must render the same
     // string: cross-check compares the summary against the predicate, so a
     // shape only ONE of them renders would read as a dropped constraint.
     if (left.kind === 'call_arg') {
         const head = `arg[${left.index}]`;
-        const sep = op === 'eq' ? '=' : comparisonOpText(op);
+        const sep = op === 'eq' ? '=' : (0, render_leaf_ts_1.comparisonOpText)(op);
         if (right.kind === 'literal_i128' ||
-            right.kind === 'literal_u64' ||
             right.kind === 'literal_u32' ||
             right.kind === 'literal_address' ||
-            right.kind === 'literal_symbol' ||
-            right.kind === 'literal_bytes') {
+            right.kind === 'literal_symbol') {
             out.push(`${head} ${sep} ${right.value}`);
             return;
         }
-        if (right.kind === 'call_arg_scaled') {
-            out.push(`${head} >= arg[${right.index}] * ${right.num}/${right.den}`);
-            return;
-        }
-    }
-    if (left.kind === 'amount' && right.kind === 'literal_i128') {
-        out.push(`Amount <= ${right.value}`);
-        return;
-    }
-    if (left.kind === 'oracle_price' && right.kind === 'oracle_threshold') {
-        out.push(`Only when oracle_price(${left.asset}) ${comparisonOpText(op)} ${right.value} (${right.decimals} dp)`);
-        return;
     }
 }
 function pushMembership(needle, haystack, out) {
     if (needle.kind !== 'call_arg')
         return;
-    const list = haystack.map(renderHaystackElement).join(', ');
+    const list = haystack.map(render_leaf_ts_1.renderHaystackElement).join(', ');
     out.push(`Recipient/arg must be one of [${list}]`);
 }
-function renderVecElement(leaf) {
-    switch (leaf.kind) {
-        case 'literal_address':
-            return leaf.value;
-        case 'literal_i128':
-            return leaf.value;
-        case 'literal_symbol':
-            return leaf.value;
-        case 'literal_u32':
-            return String(leaf.value);
-        case 'literal_u64':
-            return leaf.value;
-        case 'literal_bytes':
-            return leaf.value;
-        case 'literal_vec':
-            return `[${leaf.elements.map(renderVecElement).join(', ')}]`;
-        case 'call_contract':
-        case 'call_fn':
-        case 'call_arg':
-        case 'call_arg_len':
-        case 'call_arg_field':
-        case 'call_arg_scaled':
-        case 'amount':
-        case 'window_spent':
-        case 'now':
-        case 'valid_until':
-        case 'invocation_count_in_window':
-        case 'oracle_price':
-            return `<${leaf.kind}>`;
-        // Show the declared basis, not just the digits. A threshold on the wrong
-        // basis is the one policy error the contract cannot detect, so the review
-        // card is where a human has to be able to see it.
-        case 'oracle_threshold':
-            return `${leaf.value} (${leaf.decimals} dp)`;
-    }
-}
-function renderHaystackElement(leaf) {
-    if (leaf.kind === 'literal_address')
-        return leaf.value;
-    if (leaf.kind === 'literal_i128')
-        return leaf.value;
-    if (leaf.kind === 'literal_symbol')
-        return leaf.value;
-    if (leaf.kind === 'literal_u32')
-        return String(leaf.value);
-    if (leaf.kind === 'literal_u64')
-        return leaf.value;
-    if (leaf.kind === 'literal_bytes')
-        return leaf.value;
-    if (leaf.kind === 'literal_vec') {
-        return `[${leaf.elements.map(renderHaystackElement).join(', ')}]`;
-    }
-    return `<${leaf.kind}>`;
-}
-function comparisonOpText(op) {
-    switch (op) {
-        case 'lt':
-            return '<';
-        case 'lte':
-            return '<=';
-        case 'gt':
-            return '>';
-        case 'gte':
-            return '>=';
-        case 'eq':
-            return '==';
-    }
-}

package/dist-cjs/review-card/render-leaf.d.ts

@@ -0,0 +1,4 @@
+import type { PredicateLeaf } from '../types.ts';
+export declare function renderVecElement(leaf: PredicateLeaf): string;
+export declare function renderHaystackElement(leaf: PredicateLeaf): string;
+export declare function comparisonOpText(op: 'eq' | 'lte'): string;

package/dist-cjs/review-card/render-leaf.js

@@ -0,0 +1,52 @@
+"use strict";
+// Leaf and operator rendering shared by the review-card builder and the
+// summary cross-check. Both turn the SAME predicate into human-readable text -
+// the cross-check exists to confirm the builder's summary matches the predicate
+// - so rendering a leaf differently in the two would make the check compare a
+// string against itself under a different spelling and pass on a real mismatch.
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.renderVecElement = renderVecElement;
+exports.renderHaystackElement = renderHaystackElement;
+exports.comparisonOpText = comparisonOpText;
+function renderVecElement(leaf) {
+    switch (leaf.kind) {
+        case 'literal_address':
+            return leaf.value;
+        case 'literal_i128':
+            return leaf.value;
+        case 'literal_symbol':
+            return leaf.value;
+        case 'literal_u32':
+            return String(leaf.value);
+        case 'literal_vec':
+            return `[${leaf.elements.map(renderVecElement).join(', ')}]`;
+        case 'call_contract':
+        case 'call_fn':
+        case 'call_arg':
+        case 'call_arg_len':
+        case 'call_arg_field':
+            return `<${leaf.kind}>`;
+    }
+}
+function renderHaystackElement(leaf) {
+    if (leaf.kind === 'literal_address')
+        return leaf.value;
+    if (leaf.kind === 'literal_i128')
+        return leaf.value;
+    if (leaf.kind === 'literal_symbol')
+        return leaf.value;
+    if (leaf.kind === 'literal_u32')
+        return String(leaf.value);
+    if (leaf.kind === 'literal_vec') {
+        return `[${leaf.elements.map(renderHaystackElement).join(', ')}]`;
+    }
+    return `<${leaf.kind}>`;
+}
+function comparisonOpText(op) {
+    switch (op) {
+        case 'lte':
+            return '<=';
+        case 'eq':
+            return '==';
+    }
+}

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

@@ -1,10 +1,9 @@
 import { type ErrorCode, type PredicateNode, type ProposedPolicy, type RecordedTransaction, type ToolError, type ToolResponse } from '../index.ts';
 import { type BuildInstallPolicyResult, type BuildRevokePolicyResult } from '../install/build-install-policy.ts';
 import { getInterpreterInfo } from '../install/get-interpreter-info.ts';
-import type { SimulationResult } from '../verify/envelope.ts';
 import { type RecordTransactionInput, type SimulatePolicyInput, type SynthesizePolicyInput, type VerifyPolicyInput } from './schemas.ts';
 export type { GetInterpreterInfoInput, InstallPolicyInput, RecordTransactionInput, RevokePolicyInput, SimulatePolicyInput, SynthesizePolicyInput, VerifyPolicyInput, } from './schemas.ts';
-export { ComposeUserResponsesSchema, GetInterpreterInfoInputSchema, InstallPolicyInputSchema, InterpreterOptionsSchema, MAINNET_RPC_URL, MandateSpecSchema, NetworkSchema, OraclePriceFixtureSchema, OzAdapterConfigSchema, PINNED_INTERPRETER_ADDRESS_BY_NETWORK, PINNED_INTERPRETER_GRAMMAR_VERSION, PINNED_INTERPRETER_MAINNET_ADDRESS, PINNED_INTERPRETER_TESTNET_ADDRESS, PINNED_INTERPRETER_WASM_SHA256, PredicateLeafSchema, PredicateNodeSchema, RecordedTransactionSchema, RecordTransactionInputSchema, RevokePolicyInputSchema, RPC_URL_BY_NETWORK, SimulatePolicyInputSchema, SynthesizePolicyInputSchema, TESTNET_RPC_URL, ToolErrorSchema, VerifyPolicyInputSchema, } from './schemas.ts';
+export { ComposeUserResponsesSchema, GetInterpreterInfoInputSchema, InstallPolicyInputSchema, InterpreterOptionsSchema, MAINNET_RPC_URL, NetworkSchema, PINNED_INTERPRETER_ADDRESS_BY_NETWORK, PINNED_INTERPRETER_GRAMMAR_VERSION, PINNED_INTERPRETER_MAINNET_ADDRESS, PINNED_INTERPRETER_TESTNET_ADDRESS, PINNED_INTERPRETER_WASM_SHA256, PredicateLeafSchema, PredicateNodeSchema, RecordedTransactionSchema, RecordTransactionInputSchema, RevokePolicyInputSchema, RPC_URL_BY_NETWORK, SynthesizePolicyInputSchema, TESTNET_RPC_URL, ToolErrorSchema, } from './schemas.ts';
 export type RunRecordTransactionInput = RecordTransactionInput;
 export type RunSynthesizePolicyInput = SynthesizePolicyInput;
 export type RunSimulatePolicyInput = SimulatePolicyInput;
@@ -23,7 +22,6 @@ type RunToolName = 'record_transaction' | 'synthesize_policy' | 'simulate_policy
  *  the agent always sees a machine-readable error code. */
 export declare function runRecordTransaction(raw: unknown): Promise<ToolResponse<RecordedTransaction>>;
 /** `synthesize_policy` body - discriminated union on `source`:
- *    - `mandate`   -> synthesizeFromMandate
  *    - `recording` -> synthesizeFromRecording
  *  Exposing BOTH front-ends through ONE tool keeps the MCP surface tiny while
  *  letting the agent pick the deterministic or the inferred path. The CLI
@@ -37,35 +35,8 @@ export declare function runRecordTransaction(raw: unknown): Promise<ToolResponse
 export declare function runSynthesizePolicy(raw: unknown): Promise<ToolResponse<ProposedPolicy> & {
     explain?: {
         predicateTree: PredicateNode | null;
-        simulation: SimulationResult;
     };
 }>;
-/** `simulate_policy` body - thin wrapper over `simulatePolicy`. The engine
- *  already returns fail-closed `{ok:false, error}` for runtime failures
- *  (SIMULATION_ERROR), so the try/catch envelope is for raw SDK throws
- *  only - same pattern as the other two wrappers. The predicate is
- *  passed inline (stateless by design; no `proposed_policy_id` lookup). */
-export declare function runSimulatePolicy(raw: unknown): Promise<ToolResponse<SimulationResult>>;
-/** `verify_policy` body - thin wrapper over `verifyPolicy`. The engine
- *  already returns `{ok:false, error}` with code VERIFICATION_FAILED when
- *  the minimality check fails; the try/catch envelope is for raw SDK
- *  throws only. Mirrors `runSimulatePolicy` exactly. */
-export declare function runVerifyPolicy(raw: unknown): Promise<ToolResponse<true>>;
-/** `install_policy` body - thin wrapper over `buildInstallPolicyXdr`.
- *  Returns the unsigned Soroban transaction envelope (base64 XDR) the
- *  wallet signs. The wallet signature IS the user-confirmation step - no
- *  `action_id` two-call pair (the server is stateless, see server.ts:10-12).
- *  One call installs the policy outright: `add_context_rule` carries the
- *  predicate to the interpreter in its `policies` install_param, so no
- *  separate `interpreter.install` call is needed or possible.
- *
- *  Default-deny: an interpreter policy address other than the pinned
- *  interpreter for the selected network is REFUSED (the smart account
- *  would delegate to an interpreter the caller controls); the same
- *  applies to a non-pinned RPC URL (the auth nonce the wallet signs
- *  comes from the RPC). Both gates accept an explicit opt-in flag.
- *  Pin selection follows `input.network` (defaults to `testnet` so the
- *  pre-mainnet callers keep working unchanged). */
 export declare function runInstallPolicy(raw: unknown): Promise<ToolResponse<BuildInstallPolicyResult>>;
 /** `revoke_policy` body - thin wrapper over `buildRevokePolicyXdr`.
  *  Emits an unsigned XDR for `account.remove_context_rule(ruleId)`; the
@@ -77,30 +48,41 @@ export declare function runInstallPolicy(raw: unknown): Promise<ToolResponse<Bui
  *  policy payload, so the interpreter pin is not re-checked here.
  *  Pin selection follows `input.network` (defaults to `testnet`). */
 export declare function runRevokePolicy(raw: unknown): Promise<ToolResponse<BuildRevokePolicyResult>>;
-/** `get_interpreter_info` body - thin wrapper over `getInterpreterInfo`.
- *  Returns the pinned deployment fingerprint + an optional live
- *  `grammar_version()` comparison. The audit field is deliberately
- *  OMITTED (phase-04's "audit #44" has no source of truth in the repo -
- *  fabricating it would be a lie on a security surface; the live
- *  mismatch check is worth MORE).
+/** `simulate_policy` body - evaluate a predicate against one recorded call.
  *
- *  Network-aware: `input.network` selects which interpreter pin and RPC
- *  to use. Mainnet was rolled out 2026-08-04 - the same wasm hash was
- *  uploaded to mainnet as was exercised on testnet, so a single
- *  `PINNED_INTERPRETER_WASM_SHA256` constant backs both networks.
- *  The address differs because instance ids are network-scoped.
- *  UNAUDITED at the time of writing.
+ *  The evaluator is a second implementation of the on-chain semantics, and the
+ *  conformance harness asserts it agrees with the Rust interpreter case for
+ *  case. A verdict here is therefore a claim about what the contract would do,
+ *  not a guess. */
+export declare function runSimulatePolicy(raw: unknown): ToolResponse<{
+    permitted: boolean;
+    reason: string | null;
+    call: {
+        contract: string;
+        fn: string;
+        argCount: number;
+    };
+}>;
+/** `verify_policy` body - the permit case plus a generated deny case per
+ *  dimension.
  *
- *  Same RPC pin as install/revoke: when `verifyLive` triggers an outbound
- *  call, the auth-digest + the answer bind to whichever RPC answered, so
- *  a non-pinned `rpcUrl` would silently bind the caller to a host they
- *  picked. The pin is enforced here too, with the same `allowUnpinnedRpcUrl`
- *  opt-in as install/revoke. */
+ *  Two failure modes are being checked, and they are not the same thing. A
+ *  permit case that denies means the policy is too STRICT: it would refuse the
+ *  very transaction it was synthesised from. A deny case that permits means it
+ *  is too LOOSE: some mutation of that transaction still gets through. `ok` is
+ *  true only when neither holds. */
+export declare function runVerifyPolicy(raw: unknown): ToolResponse<{
+    ok: boolean;
+    permit: {
+        permitted: boolean;
+        reason: string | null;
+    };
+    denies: Array<{
+        dimension: string;
+        denied: boolean;
+        reason: string | null;
+    }>;
+    dimensionsCovered: number;
+}>;
 export declare function runGetInterpreterInfo(raw: unknown): Promise<ToolResponse<ReturnType<typeof getInterpreterInfo>>>;
-/** Build a canonical ToolError for a thrown exception caught by the tool
- *  envelope. The MCP SDK stringifies thrown objects as "[object Object]" by
- *  default, so we extract a string-friendly message and tag the original
- *  error in `details` for the agent to inspect. Exported as a test-only seam
- *  so the suite in run/index.test.ts can drive the envelope path without
- *  standing up a full recordTransaction pipeline. */
 export declare function caughtError(toolName: RunToolName, code: ErrorCode, e: unknown): ToolError;