Proof
Everything that moves money in Copas can be checked: contract addresses, every breach and slash with its transaction, and the math. Recompute it yourself from Perpl state.
Contract addresses
| CopasRegistry | Monad testnet | 0xA8BA57c7Af1d9A28660653E0439A180c86D03e3d |
| BreachMarket | Monad testnet | 0x75Bde145358eD7A2ADEE36e5aD132e80601C1329 |
| AgentLeaderRegistry | Monad testnet | 0xfc7E0D6D9E1aD9b8645E1b957dA677cC8cCa475b |
| ERC-8004 identity | Monad testnet | 0x8004A818BFB912233c491871b3d84c89A494BD9e |
| Perpl Exchange | Monad testnet | 0x1964C32f0bE608E7D29302AFF5E61268E72080cc |
| AUSD | Monad testnet | 0xa9012a055bd4e0edff8ce09f960291c09d5322dc |
Breaches and slashes
LeaderBook.Breached + Claimed
The indexer did not respond. Try again shortly.
Reproducible math
equity = balanceCNS + Σ (depositCNS + pnlCNS)
read from Perpl getAccountById and getPosition, same block
u = equity / units, dd = 1 − u / peak
breach ⇔ dd > maxDD
claimᵢ = min(slash × capᵢ / Σcap, lossᵢ)
Σclaim ≤ slash ≤ bond + underwriters invariant, fuzz-tested
No breach to recompute yet.
Privy policy DENY log
Privy · 10143
| 2026-10-12 03:13 | 0x960c…8B25 | approve(0x000000000000000000000000000000000000dEaD, 1 AUSD) | policy_violation |
The keeper (a Privy server wallet) may only call sync, checkpoint and rollEpoch on Copas contracts. Touching AUSD or Perpl directly is refused by policy before signing.
Live Perpl analytics are at /analytics. Copas trades on Perpl Exchange 0x1964…80cc (Monad Testnet).