Policy rule schema

export interface PolicyDocument {
  schemaVersion: 1;
  version: number;                 // starts at 1, increments by 1 per change
  previousHash: Hex | null;        // hash of version - 1; null only for version 1
  effectiveFrom: string;           // ISO 8601, UTC
  settlementAsset: Hex;            // token address of the settlement asset (USDC)
  allowedCalls: { target: Hex; selector: Hex; label: "kuru-router" | "reallocation" | "settlement-asset" | "traded-asset" }[];
  allowedPairs: string[];
  perActionCap: BaseUnits;
  sessionDailyCap: BaseUnits;      // must not exceed the on-chain dailyCap
  perTickInformationCap: BaseUnits;
  dailyInformationCap: BaseUnits;
  maxPositionFraction: number;     // protocol ceiling on riskTolerance
}

/** Authoritative inputs. Read by the worker from the chain and the ledger, never taken from the proposal. */
export interface Ledger {
  capital: BaseUnits;
  spentInWindow: BaseUnits;        // windowTotal(account), read on-chain, so both layers use the same window
  informationBudget: BaseUnits;    // from the agent's stored genome
  informationToday: BaseUnits;
  informationThisTick: BaseUnits;
  assetUniverse: string[];         // from the agent's stored genome
}

export type Violation =
  | "call-not-allowed" | "recipient-not-allowed" | "pair-not-allowed" | "provider-not-allowed"
  | "per-action-cap" | "session-daily-cap" | "information-cap" | "position-fraction"
  | "plan-hash-mismatch" | "policy-unverified"
  | "reallocation-party" | "reallocation-policy" | "reallocation-bound";

export type Decision =
  | { approved: true; policyVersion: number; policyHash: Hex; planHash: Hex | null }
  | { approved: false; policyVersion: number; policyHash: Hex; violations: Violation[] };

export function evaluateInformation(policy: VerifiedPolicy | null, request: InformationRequest, ledger: Ledger): Decision;
export function evaluateTrade(policy: VerifiedPolicy | null, proposal: ActionProposal, plan: ExecutionPlan, ledger: Ledger): Decision;

export interface InformationRequest {
  tickKey: string;                 // `${agentId}:${tick}`
  agentId: string;
  provider: "nansen" | "defillama";
  maxPrice: BaseUnits;
}

export interface ActionProposal {
  schemaVersion: 1;
  tickKey: string;
  agentId: string;
  account: Hex;
  genomeHash: Hex;                 // binds the proposal to the genome that produced it
  strategyType: "trading";
  state: { capital: BaseUnits; principal: BaseUnits; ticksSinceTrade: number; observedAt: string };
  information: PurchasedInformation[];
  action: TradeIntent | null;      // null: the plugin proposes nothing this tick
}

export interface TradeIntent {
  kind: "trade";
  pair: string;
  side: "long" | "flat";           // flat closes the whole open position
  notional: BaseUnits;             // 0 for flat
  maxSlippageBps: number;
}

export interface ExecutionPlan {
  tickKey: string;
  calls: { target: Hex; data: Hex }[];  // native value is always 0
  planHash: Hex;                   // hash of { tickKey, calls }; recomputed by the engine, never trusted
}

export interface ReallocationProposal {
  schemaVersion: 1;
  moveKey: string;                 // `${owner}:${evaluation}:${sourceAgentId}`, the idempotency key
  owner: Hex;
  evaluation: number;
  policyHash: Hex;                 // EIP-712 struct hash of the owner's policy
  sourceAgentId: string;
  source: Hex;
  credits: { sinkAgentId: string; sink: Hex; amount: BaseUnits }[];
  total: BaseUnits;
}