Documentation Index
Fetch the complete documentation index at: /llms.txt
Use this file to discover all available pages before exploring further.
| Method | What was done |
|---|---|
| Formal verification | Certora proved 70 rules across the round manager, the hook and the fee vault, and every finding raised during verification was fixed before deployment. |
| Automated audit | V12 returned 8 genuine findings. All were fixed. |
| Manual design and code reviews | 12 independent reviews. |
| Unit tests | 322 tests of single contract functions. |
| Property tests and fuzzing | 89 tests of rules that must always hold, plus a run of 40,000 random calls with 0 failures. |
| Fork tests | 38 tests against the live Uniswap v4 pool manager. |
| Static analysis | Slither: 0 findings after review. |
| Symbolic checks | Halmos: 32 checks, all passing. |
| Testnet runs | 8 live runs on the test network, including automated round ends. |