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/+1
\| \| \| \|	stage 2 under ASan and UBSan (139 programs, the executor's output)
*	Research 126: the batch executor's first stage (024) as built and measured: ↵	eunhhu	2026-10-05	1	-0/+100
	knapsack 1,041 to 13.6 ms in the executor (the compiled code 7.5; its inner loop 1.17x the tier's, the stage's criterion missed; the table's adds left to stage 4), the executor without batch loops unchanged; what measuring overturned (a call among the steps cost 20% of the instructions, so two copies; run aligned to 64 for its cycles; results apart from operands for vector code); tests; 1024 lanes, 134 KB a thread; 024 and CHECKPOINT say so