Formal verification planned for M3 — current testing: 550+ tests with 95%+ line coverage, fuzz testing via Foundry, 9 protocol invariants validated, Certora and Halmos evaluation underway.
Formal verification and professional security audits are planned for M3 (Mainnet Ready) milestone as part of the mainnet preparation process. Details will be published here once the engagement is underway.