@crediolabs/policy-synth 0.2.0 → 0.3.0

package/dist/synth/permit-context.js

@@ -7,7 +7,7 @@
 // separately would be two chances to disagree about what "the recorded
 // call" means, which is the one thing both must share.
 import { cloneScVal } from "./deny-cases.js";
-export function buildPermitContext(tx, responses, predicate) {
+export function buildPermitContext(tx, responses) {
     const amountByToken = {};
     const totals = new Map();
     for (const m of tx.tokenMovements) {
@@ -19,23 +19,6 @@ export function buildPermitContext(tx, responses, predicate) {
     }
     const topLevel = tx.invocations[0];
     const scopeContract = topLevel?.contract ?? '';
-    const oraclePriceByAsset = {};
-    visitOracleLeaves(predicate, (asset, op, bound) => {
-        let price;
-        switch (op) {
-            case 'lt':
-                price = bound - 1n;
-                break;
-            case 'gt':
-                price = bound + 1n;
-                break;
-            default:
-                price = bound;
-        }
-        if (price < 0n)
-            price = 0n;
-        oraclePriceByAsset[asset] = { price: price.toString(), timestampSeconds: tx.fetchedAt };
-    });
     const ctx = {
         contract: scopeContract,
         fn: topLevel?.fn ?? '',
@@ -44,73 +27,9 @@ export function buildPermitContext(tx, responses, predicate) {
         nowSeconds: tx.fetchedAt,
         amountByToken,
         windowSpentByToken: {},
-        invocationCountByWindow: {},
-        oraclePriceByAsset,
     };
     if (responses.validUntilLedger !== undefined) {
         ctx.validUntilLedger = responses.validUntilLedger;
     }
     return ctx;
 }
-function visitOracleLeaves(node, visit) {
-    switch (node.op) {
-        case 'and':
-        case 'or':
-            for (const child of node.children)
-                visitOracleLeaves(child, visit);
-            return;
-        case 'not':
-            visitOracleLeaves(node.child, visit);
-            return;
-        case 'eq':
-        case 'lt':
-        case 'lte':
-        case 'gt':
-        case 'gte': {
-            const leftIsOracle = node.left.kind === 'oracle_price';
-            const rightIsOracle = node.right.kind === 'oracle_price';
-            let asset;
-            let literal;
-            if (leftIsOracle) {
-                asset = node.left.kind === 'oracle_price' ? node.left.asset : undefined;
-                literal = oracleThresholdNormalised(node.right);
-            }
-            else if (rightIsOracle) {
-                asset = node.right.kind === 'oracle_price' ? node.right.asset : undefined;
-                literal = oracleThresholdNormalised(node.left);
-            }
-            if (asset !== undefined && literal !== undefined) {
-                visit(asset, node.op, literal);
-            }
-            return;
-        }
-        case 'in':
-            return;
-    }
-}
-/** Oracle prices normalise to 9 decimals; mirrors NORMALISED_DECIMALS in
- *  oracle.rs. */
-const NORMALISED_DECIMALS = 9n;
-/** A threshold restated on the normalised basis, so a derived permit price is
- *  comparable to it. Thresholds carry their own basis, so the conversion has
- *  to happen here - reading the digits raw would build a context off by a
- *  factor of 10^(decimals-9). Returns undefined for any other leaf. */
-function oracleThresholdNormalised(leaf) {
-    if (leaf.kind !== 'oracle_threshold')
-        return undefined;
-    let value;
-    try {
-        value = BigInt(leaf.value);
-    }
-    catch {
-        return undefined;
-    }
-    const decimals = BigInt(leaf.decimals);
-    if (decimals <= NORMALISED_DECIMALS) {
-        return value * 10n ** (NORMALISED_DECIMALS - decimals);
-    }
-    // Floor: a finer-grained threshold has no exact 9-dp representation. The
-    // caller only needs a price that lands on the right side of the bound, and
-    // it offsets by one from here.
-    return value / 10n ** (decimals - NORMALISED_DECIMALS);
-}

package/dist/synth/synthesize-from-recording.d.ts

@@ -1,7 +1,5 @@
-import type { OzAdapterConfig } from '../adapters/oz/adapter.ts';
 import type { ToolError, ToolResponse } from '../errors.ts';
 import { type Network, type PredicateNode, type ProposedPolicy, type RecordedTransaction } from '../types.ts';
-import type { SimulationResult } from '../verify/envelope.ts';
 import { type ComposeUserResponses } from './compose-from-recording.ts';
 /** Per-policy interpreter adapter config the caller opts into. Absent ->
  *  recording path runs in week-1 mode (OZ adapter only, warnings for the
@@ -13,13 +11,6 @@ export interface InterpreterAdapterOptions {
     smartAccountAddress: string;
     /** Per-rule install nonce (first install = 1). Defaults to 1. */
     installNonce?: number;
-    /** Per-policy oracle overrides. Tighten-only vs the wasm defaults
-     *  (maxStalenessSeconds <= 600, maxDeviationBps <= 200); widening is
-     *  rejected at the options boundary. */
-    oracleParams?: {
-        maxStalenessSeconds?: number;
-        maxDeviationBps?: number;
-    };
 }
 /** PRIVATE test-only extension of `InterpreterAdapterOptions` for the
  *  `__testPredicateNode` seam. Exported under a `__` prefix so production
@@ -43,7 +34,7 @@ export interface SynthesizeFromRecordingOptions {
      *  never altered by enabling explain. Absent -> success envelope is byte-identical. */
     explain?: true;
 }
-export declare function synthesizeFromRecording(tx: RecordedTransaction, opts: SynthesizeFromRecordingOptions, ozConfig: OzAdapterConfig): ToolResponse<ProposedPolicy> & {
+export declare function synthesizeFromRecording(tx: RecordedTransaction, opts: SynthesizeFromRecordingOptions): ToolResponse<ProposedPolicy> & {
     /** Present iff `opts.explain === true` and the synthesis succeeded. The
      *  `predicateTree` is the exact in-memory `PredicateNode` (canonical
      *  JSON shape) that was encoded into `proposed.policyDocuments[*].encodedPredicate`
@@ -56,28 +47,9 @@ export declare function synthesizeFromRecording(tx: RecordedTransaction, opts: S
      *  builds a minimal honest SimulationResult downstream. */
     explain?: {
         predicateTree: PredicateNode | null;
-        simulation: SimulationResult;
     };
 };
 /** ToolError-shaped error helper used by the body to surface a structured
  *  failure that the envelope converts to `{ok:false, error}`. */
 declare function throwToolError(code: ToolError['code'], message: string): never;
 export { throwToolError };
-/** Diagnostic reported by `visitOracleLeaves` when an oracle comparison
- *  cannot be normalised to oracle-on-left. Currently only "oracle-on-right
- *  with a non-literal LHS" - the other branches already produce a parseable
- *  threshold and are returned to the caller. */
-export interface OracleNormalisationWarning {
-    /** The dimension name (currently always "oracle_normalisation_dropped"). */
-    dimension: 'oracle_normalisation_dropped';
-    /** The operator as written. */
-    op: 'eq' | 'lt' | 'lte' | 'gt' | 'gte';
-    /** The asset the oracle leaf is bound to. */
-    asset: string;
-    /** The non-literal RHS (oracle-on-left) or LHS (oracle-on-right) leaf
-     *  whose shape stopped the normalisation. Surfaced for diagnostics;
-     *  intentionally a partial view - the full leaf is the caller's job. */
-    otherKind: string;
-    /** Human-readable message (matches the warn-on-drop text). */
-    message: string;
-}