pure/docs/research/127-batch-executor-stage-two.md, branch masterVerified execution runtime unifying state, persistence, and replication.
http://git.yeowoo.org/pure/atom?h=master2026-10-05T22:27:43Z024, 126, 127: the lanes are 24 buffers (stage 2), about 200 KB a thread; stage 2 under ASan and UBSan (139 programs, the executor's output)2026-10-05T22:27:43Zeunhhunecpition205@gmail.com2026-10-05T22:27:43Zurn:sha1:1b64ab89710a637e66604ece15d83f40ba314586Research 127: the batch executor's stage 2 (nested loops' rounds run together lane by lane, breaks, reductions folded in the rounds' order) and the measured passes after it (finite checks in the arithmetic's loop, tests as four-byte masks, the loop's value made once): roots 9.13 ms without machine code, below the tier's 9.57; matmul 50 (the tier 14.3: its table's loop and 15 instructions a nested round left); 685 random programs alike; 024 and CHECKPOINT say so2026-10-05T22:22:55Zeunhhunecpition205@gmail.com2026-10-05T22:22:55Zurn:sha1:fffe01904984aebd10b237e400859b5ff86f0729