Two audits, done. @osec_io reviewed @AftermathFi's perps engine by hand. @Certora proved it with math. Two firms, two methods, one codebase. That combination is rare anywhere in DeFi. Markets open tomorrow, with both reports in the open.(Sui)