From 2be6928a4367ff35209484becad6627e34ac9768 Mon Sep 17 00:00:00 2001 From: eunhhu Date: Fri, 2 Oct 2026 06:21:48 +0100 Subject: 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. --- research/experiments/029-across-machines/2026-10-01-mac-check.json | 1 + 1 file changed, 1 insertion(+) create mode 100644 research/experiments/029-across-machines/2026-10-01-mac-check.json (limited to 'research/experiments/029-across-machines/2026-10-01-mac-check.json') 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}} -- cgit v1.2.3