emeryberger merged emeryberger/LeanToPython#12 · July 4, 2026 18:18 fuzz: batching, fragment-reuse, k-path coverage, structural shrinking, input-adequacy (+2 bug fixes) #12 Implements PLAN.md fuzzing-at-scale tasks 1–5, plus two transpiler soundness bugs (F12/F13) that task 2 surfaced.TasksBatching (--batch B) — pac… +1,338 -161