emeryberger merged plasma-umass/scalene#1084 · July 2, 2026 08:19 Add differential harness for the classifier soundness hypothesis #1084 The Lean module ClassifierAccuracy.lean reduces Python/native classifier accuracy to one hypothesis it can't discharge — SigDeliverySound: is_call_… +314 -5