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

	Commit message (Collapse)	Author	Age	Files	Lines
*	023: near C is the aim (each within 1.25x, the geometric mean within 1.1x), ↵	eunhhu	2026-10-05	1	-10/+13
\| \| \| \|	not past it; representation first, since a keyed list given keys in order stays FLAT and is searched by halves (knapsack's and matmul's 300x)
*	023: only checks the tier moved know just that they fail (those left in ↵	eunhhu	2026-10-05	1	-4/+8
\| \| \| \|	place fault where they are; now is the host's per-event value); value numbering of pure operations, which words' floor assumes
*	Design 023, before building it: a tier that lifts every block to SSA, knows ↵	eunhhu	2026-10-05	1	-0/+178
	types and ranges, hoists the meaning's checks out of loops, counts work per loop, allocates registers; criteria on research 124's suite of seven kinds of work against C (each within 1.25x, the geometric mean below 1.0, the meaning's checks within 5%), from floors at 0.90x C