Capkin source
  -> compiler
  -> CAP IR
  -> protobuf-compatible MachineContract
  -> Rust runtime
  -> SQLite trace_commitments
  -> trace_projection
  -> Solana-local anchor
  -> TraceProof
  -> Fumadocs walkthrough

DEX commits SwapInput
Compliance evaluates KycAndRiskPolicy
Machine transitions Requested -> Approved
DEX commits SwapExecutionOutput
Trace proof verifies every commitment

POST /run-contract
POST /project-trace
GET  /projection/trace
POST /anchor/solana-local
GET  /proof/solana-local