emeryberger merged plasma-umass/scalene#1076 · June 30, 2026 21:24 Formal: literal two-counter sampler reduction + per-line attribution under sampling #1076 Closes the two modeling gaps flagged when I explained the threshold-sampler proof.(1) The one-counter model faithfully reduces the literal two-cou… +919 -5