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

	Commit message (Expand)	Author	Age	Files	Lines
*	125: forms and newton runs named; BFS's time after the graph's load is the ge...	eunhhu	2026-10-05	1	-1/+1
*	Pointer induction (023): an inner count's access by a key affine in its round...	eunhhu	2026-10-05	1	-0/+8
*	040 forms.c: matmul's inner loop in the forms the tier may make it (index 20....	eunhhu	2026-10-05	1	-0/+7
*	The tier's numbers' arithmetic in a run, each read by the next alone (constan...	eunhhu	2026-10-05	1	-2/+5
*	A HASHED list's table four fifths full at most (100,000 keys in 1 MB of slots...	eunhhu	2026-10-05	1	-2/+2
*	Text keys (023): a list knows the text field it is keyed by; an event's list ...	eunhhu	2026-10-05	1	-1/+8
*	HASHED (023): an event's list keyed by numbers that came out of order keeps e...	eunhhu	2026-10-05	1	-3/+6
*	023: near C is the aim (each within 1.25x, the geometric mean within 1.1x), n...	eunhhu	2026-10-05	1	-10/+13
*	023: only checks the tier moved know just that they fail (those left in place...	eunhhu	2026-10-05	1	-4/+8
*	Design 023, before building it: a tier that lifts every block to SSA, knows t...	eunhhu	2026-10-05	1	-0/+178