emeryberger merged plasma-umass/scalene#1082 · July 1, 2026 13:42 Formal: Python/native classifier + per-line malloc attribution #1082 Closes two more open gaps from the correctness map. Two new Lean modules (sorry-free, standard axioms only; full lake build green — 8575 jobs; now … +604 -22