pure - Fast, lightweight verified computation and deterministic execution runtime.

	Commit message (Collapse)	Author	Age	Files	Lines
*	Say what finishing 022's stage 3 found: the books and the work in registers, ↵	eunhhu	2026-10-05	1	-1/+40
\| \| \| \|	reading ahead to the bucket's last cell, the edge loop's checks; that past C is the reading ahead (16.1 ms without it, C 9.8), and that the criteria move to 023's suite
*	Say what 022 decided while building stages 1-4 and how stage 3 ends: ↵	eunhhu	2026-10-05	1	-1/+36
\| \| \| \|	integers assumed, the rest of a round in the executor when they break, the books in registers
*	Design 022: stored lists as arrays with a bucket index fitted to the keys ↵	eunhhu	2026-10-05	1	-0/+151
	searched, narrow columns, a JIT with registers and loop guards, read ahead; criteria first