pure/research/experiments/029-across-machines, branch masterVerified execution runtime unifying state, persistence, and replication.
http://git.yeowoo.org/pure/atom?h=master2026-10-19T07:20:42Z140: determinism across builds at 027, 028 and 140's state: record_all.py's 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 them2026-10-19T07:20:42Zeunhhunecpition205@gmail.com2026-10-19T07:20:42Zurn:sha1:1f9ddc8a16d7bda640ce2e6c19126c2491c95ec7029's record_all.py: the pure-runs of the checks 027, 028 and 140 added, 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 Pi2026-10-19T07:07:45Zeunhhunecpition205@gmail.com2026-10-19T07:07:45Zurn:sha1:143b790388637a6063418aeb61c9988cc9c4c094Trade stores with the WSL2 too: its bytes are the Pi's (029, research 114)2026-10-04T08:46:51Zeunhhunecpition205@gmail.com2026-10-04T08:46:51Zurn:sha1:582294d084fced5bf5b3111f99a81cfb2422787e
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)2026-10-02T05:21:48Zeunhhunecpition205@gmail.com2026-10-02T05:21:48Zurn:sha1:2be6928a4367ff35209484becad6627e34ac9768
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.