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

	Commit message (Collapse)	Author	Age	Files	Lines
*	Research 125: the tier's first steps against C (e2e56dd: roots 1.40, ↵	eunhhu	2026-10-05	1	-0/+1
\| \| \| \|	knapsack 1.19, sort 1.37, join 2.54, words 5.58, matmul 1.85, BFS 1.61; geometric mean 1.92, from 3-300x at 6b45806), what each change did, the forms measured in assembly, the apps unchanged, what is left (text in the executor, BFS's appends, spills); CHECKPOINT says so
*	040: the suite on 4bedd7f (11 rounds' medians, Pure / C): roots 1.58, ↵	eunhhu	2026-10-05	1	-0/+1
\| \| \| \|	knapsack 1.18, sort 1.37, join 2.62, words 5.46, matmul 3.07, BFS without reading ahead 1.58 (geometric mean 2.09; 3-300x at 6b45806)
*	040: TPC-C and the bank's queries against 6b45806 (023's criterion for the ↵	eunhhu	2026-10-05	1	-0/+12
\| \| \| \|	apps there are): six pairs in turns, TPC-C's median -1.2% (the pairs -5.2 to +1.4%), the queries' medians within 1% but in_credit's (0.84 to 0.815 ms); the queries' instructions +0.3 to +1.5% on 49b6196 (2026-10-05-counts-49b6196.jsonl), -0.1 to +0.5% after the list's tree paths left HASHED's checks (2026-10-05-counts.jsonl). runs.sh serve, pairs and counts
*	Research 124's suite at 6b45806: Pure against C 3.3x (roots), 300x ↵	eunhhu	2026-10-05	1	-0/+1
	(knapsack), 4.8x (sort), 22x (join), 12x (words), 304x (matmul), BFS 1.57x without reading ahead; only roots and BFS run as code