pure - Verified execution runtime unifying state, persistence, and replication.

	Commit message (Collapse)	Author	Age	Files	Lines
*	024, 126, 127: the lanes are 24 buffers (stage 2), about 200 KB a thread; ↵	eunhhu	2026-10-05	1	-1/+3
\| \| \| \|	stage 2 under ASan and UBSan (139 programs, the executor's output)
*	Research 127: the batch executor's stage 2 (nested loops' rounds run ↵	eunhhu	2026-10-05	1	-0/+65
	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 so