emeryberger merged plasma-umass/scalene#1075 · June 30, 2026 13:31 Formal: Poisson sampler justification + GPU/copy/python-split/leak/memory-sampler correctness #1075 Answers two follow-ups on the formal models.§7 The CPU sampler is Poisson (ExponentialSampler.lean) — fixes the i.i.d. caveatYou noted _generate_… +604 -7