Run Pure and aup on an x86_64 WSL2 and an M3 Mac against the Pi (029)

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.

1 files changed, 1 insertions, 0 deletions

diff --git a/research/experiments/029-across-machines/2026-10-01-mac-check.json b/research/experiments/029-across-machines/2026-10-01-mac-check.json
new file mode 100644
index 0000000..f784209
--- /dev/null
+++ b/research/experiments/029-across-machines/2026-10-01-mac-check.json
@@ -0,0 +1 @@
+{"verified_deterministic_modules": 11, "diagnostics": 223, "accepted_forms": 26, "message_like": true, "spreads": true, "replace_keeps_states_by_name": true, "generated_programs_verified": 600, "generated_programs_over_instruction_limit": 0, "damaged_sources_accepted_and_verified": 51, "parity_snapshots": 16667, "parity_failed_events_matched": 921, "parity_programs": 5, "text_model_snapshots": 4800, "list_model_snapshots": 4800, "list_model_failed_events": 533, "conditional_snapshots": 4, "bool_snapshots": 9, "i64_snapshots": 9, "time_snapshots": 3600, "watched_builds": 19, "fold_snapshots": 3600, "keyed_snapshots": 3600, "keyed_failed_events": 669, "stored_snapshots": 5760, "stored_restarts": 216, "library_programs": 3, "library_diagnostics": 4, "editor_parity_operations": 1280, "editor_parity_outcomes": {"apply:conflict": 32, "apply:invalid": 6, "apply:limit": 118, "apply:ok": 37, "edit:conflict": 131, "edit:invalid": 15, "edit:limit": 314, "edit:ok": 141, "edit:payload_budget": 27, "show:invalid": 17, "show:not_found": 154, "show:ok": 277, "show:payload_budget": 11}}