Audit #4100's HALO locality witness: exact error identity and sharp (2J-1)W radius (no new κ) - #4217

Audit #4100's HALO locality witness: exact error identity and sharp (2J-1)W radius (no new κ)#4217

petalas wants to merge 1 commit into

CrocSwap:mainCrocSwap/integer-mult-bounds:mainfrom

petalas:research/w9-1020a-halo-locality-witnesspetalas/integer-mult-bounds:research/w9-1020a-halo-locality-witnessCopy head branch name to clipboard