emeryberger merged plasma-umass/scalene#1080 · July 1, 2026 12:00 Formal: close PASTA + prove 2 metrics end-to-end across C++/Python; add STATUS.md #1080 Closes the two largest open gaps in the correctness map and adds a committed subsystem status map. Three new Lean modules (all sorry-free, standard… +1,109 -37