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

	Commit message (Collapse)	Author	Age	Files	Lines
*	140: determinism across builds at 027, 028 and 140's state: record_all.py's ↵	eunhhu	31 hours	2	-0/+972
\| \| \| \|	486 runs (41 modules) the same with gcc and clang on the Pi (Pure 0896b38, aup 1efe1c7; aup's modules the same bytes under clang); the Mac and WSL2 not reached (ssh timed out, no route), the bundle and r140.sh ready for them
*	029's record_all.py: the pure-runs of the checks 027, 028 and 140 added, ↵	eunhhu	31 hours	1	-0/+67
\| \| \| \|	recorded run by run for machines to compare (aup's 018 checks as 033's record.py does, its 027 stages', 028's bytes state, 140's frictions; Pure's module_specs, the nine specs on the three paths, Pure's specs copied under the temporary directory so no machine's paths are in an input): 486 runs of 41 modules on the Pi
*	Trade stores with the WSL2 too: its bytes are the Pi's (029, research 114)	eunhhu	2026-10-04	4	-0/+27
\| \| \| \| \| \|	The same events make byte-identical stores on the x86_64 WSL2 (4 KiB pages) as on the Pi and the Mac, and a store made on either of the Pi and the WSL2 opens on the other and goes on the same.
*	Run Pure and aup on an x86_64 WSL2 and an M3 Mac against the Pi (029)	eunhhu	2026-10-02	26	-0/+3806
	Every pure-run of aup's check (1,053 runs of 667 modules) gives the same output, errors and exit on the Pi, the WSL2 (x86_64, 4 KiB pages, gcc 13) and the Mac (Apple clang 21); the same events make byte-identical stores on the Pi and the Mac, and either opens the other's and goes on the same. Pure's checks pass one at a time in WSL (each_check.py); its wall clock is set back about 2 s every 32 s (clock.py). stores.py streams pure-run's output, whose size grows with the square of the events.