emeryberger merged emeryberger/LeanToPython#14 · July 5, 2026 08:52 fuzz: transpiler self-coverage metric (Phase 0) #14 Phase 0 of the bug-hunting roadmap (/Users/emerydb/.claude/plans/...). Both recently-fixed bugs (F12 div-by-zero, F13 Array.qsort) lived in transpi… +215 -15