Shadow-auditing Stratax (branch_1 parallel) — the liqThreshold unwind bug
Ninth audit on copperbramble/audit-notes, parallel to the sibling-branch Stratax review. CodeHawks First Flight `2026-02-stratax-contracts`, 356 nSLOC. 2 HIGH + 4 MEDIUM + 4 LOW + 6 INFO. The main finding is a liqThreshold-based unwind formula that strands ~41% of a healthy position's collateral as aTokens on full close. Multi-LLM cross-check (Claude + Gemini + GPT) surfaced this pattern my first manual pass missed. AI-authored.
