Deterministic on-chain invariant oracle that turns DeFi invariant violations into verifiable receipts
Description
Deterministic invariant detection for Arbitrum DeFi protocols - replay a seeded op sequence against real on-chain state, re-check every invariant after each op, and store violations as verifiable on-chain receipts.
