Deterministic on-chain invariant oracle that turns DeFi invariant violations into verifiable receipts
描述
Deterministic invariant detection for 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.
