pure/research/experiments/045-proof-compiler/2026-10-19-ops-v0r.txt, branch masterVerified execution runtime unifying state, persistence, and replication.
http://git.yeowoo.org/pure/atom?h=master2026-10-19T11:09:23Z029: principle 1's break by mechanism (045's samples): dispatch 30.6%, lists built 17.3%, numbers 13.5%, lists read 13.0%, moves 9.0%, calls 7.1%, malloc 4.0%: no layer holds most of the cliff, three generic ones (interpretation, the lists' form, the numbers') 1.4-1.5x each, the cliff their product; range()'s binary search 36% of the machine instructions and 269.5 of 549.9 executed (an algorithm Vega's C does not use); a candidate broken by arithmetic before code (let lists held again as versioned states: 13,000 of 40,236 at most, 1.5x); the bar's arithmetic (one machine instruction an instruction is still 2.5x C: the instructions must fall too); "the general JIT 008 forbids" corrected (008's task A asks for one execution principle from the proof; it forbids the executors' split and scaled-down techniques)2026-10-19T11:09:23Zeunhhunecpition205@gmail.com2026-10-19T11:09:23Zurn:sha1:adccf5808be0ed55bcaf7a3303dd7016044893c8