scalar CRT math where it wins; float2string via Luau's emitter - byte-identical, 2.4x - #3908

Merged

borisbat merged 9 commits into

bbatkin/scalar-math-crt

Aug 31, 2026

Commits on Aug 30, 2026

scalar float Exp/Exp2/Log2/Pow call the CRT; UnitTest binds the CRT twins the benchmarks race

borisbat
and
claude
committed
e100623
float to string through the Luau emitter over fmt's dragonbox - 2.4x on the hot path, byte-identical

borisbat
and
claude
committed
640fd8f
msl float literals: -nan is non-finite too

borisbat
and
claude
committed
bcc8aff
benchmark ledger: the M1 AOT exp-loop residual is the loop shape, not the math

borisbat
and
claude
committed
8dad723
comment harvest: the byte-identity and fixed-length-copy contracts land as rules, the bit patterns get names

borisbat
and
claude
committed
f74a17a
review round: IEEE-bit classification for fast-math builds, the buffer constant, the -nan fixture, the twins and wiring pins, six rule documents hardened

borisbat
and
claude
committed
21899df
dasMetal checklist: re-wrap the pasted rule head

borisbat
and
claude
committed
7515af2
the sanctioned-additions entry states the why, not the probe - numbers live in the ledger

borisbat
and
claude
committed
8e7c694
das_ordered2 entry loses its provenance aside - the A/B lives in git

borisbat
and
claude
committed
11dec3d