Math correctness foundation - #147

Merged

nnewson merged 5 commits into

mainfrom

math-correctness-foundation

Sep 13, 2026

Commits on Sep 13, 2026

One comparison authority, and NaN stops being equal to everything
nnewson
committed
584b500
Inversion answers whether it worked, not what it wishes were true
nnewson
committed
58e283c
Equality is exact, not bitwise, and says so now
nnewson
committed
478f29e
Norms that survive the ends of the float range, at no cost to the middle
nnewson
committed
0dc596a
Assert how long the stack takes to sleep, not merely that it does
nnewson
committed
dc7a2ed