pure/research/experiments/045-proof-compiler/variants/range-out.patch, branch masterVerified execution runtime unifying state, persistence, and replication.
http://git.yeowoo.org/pure/atom?h=master2026-10-19T11:27:55Z045: range() emitted by hand, Pure's meaning kept or dropped where the proof could license it (range.c; every way's answers the executor's and the stitched build's, for all 61,285 points): a code point's machine instructions in the executor 14,488, stitched 8,144, exact (registers, a plain call; doubles, fmod, the finite and whole checks, the tree read, the budget) 2,474, integers 1,587, a flat column 1,083, both 226, C 129; a round of halving exact 217, both 19.8, C 11.3: the bar (3x C's round) missed by exact, passed by both2026-10-19T11:27:55Zeunhhunecpition205@gmail.com2026-10-19T11:27:55Zurn:sha1:a2800def1bdc4060bd06f22db94d7968e2791de7