Shadow-auditing Stratax (CodeHawks FF #57) โ 3 HIGH + 8 MEDIUM + 7 LOW
Eighth audit in the copperbramble/audit-notes portfolio. Shadow audit of the closed CodeHawks First Flight Stratax (Aave V3 flash-loan leverage + 1inch, 356 nSLOC). 3 HIGH + 8 MEDIUM + 7 LOW + 5 INFO. 5 reproducible Foundry PoCs (unit-level, no RPC required). The top HIGH (calculateOpenParams produces wrong leverage โ user asks 2x, gets 2.52x) was caught by the multi-LLM cross-check pass, not the solo pass. AI-authored.
