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	-0/+2
*	Research 125: the tier's first steps against C (e2e56dd: roots 1.40, knapsack...	eunhhu	2026-10-05	2	-0/+217
*	The tier checks a number finite in integers (its exponent's bits all ones), o...	eunhhu	2026-10-05	2	-0/+104
*	040 forms.c: matmul's inner loop in the forms the tier may make it (index 20....	eunhhu	2026-10-05	2	-0/+93
*	040: the suite on 4bedd7f (11 rounds' medians, Pure / C): roots 1.58, knapsac...	eunhhu	2026-10-05	2	-0/+217
*	040: TPC-C and the bank's queries against 6b45806 (023's criterion for the ap...	eunhhu	2026-10-05	28	-1/+136
*	Research 124's floors: each workload by hand as Pure could run it (its lists'...	eunhhu	2026-10-05	5	-186/+987
*	Research 124's suite at 6b45806: Pure against C 3.3x (roots), 300x (knapsack)...	eunhhu	2026-10-05	2	-0/+217
*	Research 124's suite: seven kinds of work in one event each (roots, knapsack,...	eunhhu	2026-10-05	8	-0/+568