{ "made": { "utc": "2026-10-15T16:25:53+00:00", "halifax": "2026-10-15T13:25:53-03:00" }, "label": "check", "step": 4, "replication_lock_sha256": "cb258ac222057ee53876e246b34f9d5d5900c2be1de52127db8f2f5b6bdbac72", "replication_plan_sha256": "fedc7c0f1852215751dadb430f4b8efe45de5ae1cd0c7623326ee1e987b6ce5d", "replication_code_sha256": "4626b0545f1041888adaa8a1f32ca0eccf0a8104f0958106ddc68bc7dc11e41a", "pilot_lock_sha256": "a434b2af2f4e64e02aef069ef945570b64e2278ae8ab318abd65fc8d625ae9f2", "plan_sha256": "0e3f8f114ed44eade7e211317217f23e27c1075008e561c2b07ea11645823121", "lock_sha256": "3c7f70973247a327067a1817766b0dae3e0d72154f1de7785df7213ff271b23d", "amendment_sha256": "d1edbec186079043706fa6ee63b756de4e7c1e52f011b06d491fd379335f1c75", "steps_1_and_2_code_sha256": "2a20b872d594a53b50f7b124e700c58e0e4efe12377324ac17105818f9e94634", "pilot_code_sha256": "1d4acb826160fdd48e06d9ff8a6eb23f596650e2c75bdc89cf5e19ab38f5e54c", "settings": { "starts": { "numbers": [ 147, 148, 149, 150, 151, 152, 153, 154, 155, 156, 157, 158, 159, 160, 161, 162, 163, 164, 165, 166, 167, 168, 169, 170 ], "seeds": [ 146, 147, 148, 149, 150, 151, 152, 153, 154, 155, 156, 157, 158, 159, 160, 161, 162, 163, 164, 165, 166, 167, 168, 169 ] }, "moments": { "per_start": 10, "all": 240, "window": 200, "after": 500, "units": 700 }, "base_runs": { "run": 6000.0, "keep": "the full state at every moment's T and R", "gap_growth": true }, "arms": { "names": [ "untouched", "raised", "f06", "f04" ], "copies": 2, "window_pull": [ 1.9, 1.9094999999999998, 1.9, 1.9 ], "window_rates": [ "original", "original", 0.6, 0.4 ], "after_pull": 1.9, "after_rates": "original" }, "read": [ 150, 200 ], "error_bars": { "units": "starts", "resamples": 400, "seed": 20261016, "clear_bars": 3.0, "inside_bars": 2.0 }, "margins": { "B1": 0.25, "B2": 0.005, "rhythm_inside": 0.05, "rhythm_as_expected_at_0_4": 0.1, "rate_range": [ 0.9, 1.1 ] }, "descriptions": { "rule_block": 50, "coherence_block": 100, "after_R_stretch": [ 200, 500 ], "benchmark": 0.1602, "sham_later_growth": 0.0015, "in_step_rate": 0.03, "in_step_turns": 0.25 }, "pieces": { "workers": 7, "budget_seconds": 240.0, "start_by_seconds": 150.0, "hard_limit_seconds": 285 }, "checks": { "moment_check": { "seed": 102, "moment": 0, "T": 2055 }, "made_up": { "seed": 20261015, "stream": 10, "scenarios": 8 } }, "questions": { "theory_rates": { "together": 0.9601, "opposite": 0.9641 }, "band_width": 0.03, "band": [ 0.9301, 0.9941 ], "band_bars": { "inside": 2, "clearly_outside": 3 }, "rate_bar": { "resamples": 400, "seed": 20261016, "sd_ddof": 1 }, "D_any": { "size": 0.1, "inside": 0.05 }, "D_B2": { "size": 0.005, "inside": 0.005 }, "rise_at_0_6_bars": 3, "below_bars": 3, "pair_described_at_least": 2 }, "replication_checks": { "pilot_moment": { "start": 135, "seed": 134, "moment": 0, "T": 2285 }, "replication_moment": { "start": 147, "seed": 146, "moment": 0, "T": 2235 }, "made_up": { "seed": 20261015, "stream": 11 }, "agreement": 1e-12 } }, "results": [ { "number": "R0", "title": "The sealed files, the replication lock and its settings match, in the pilot's numerical environment", "passed": true, "details": [ "the final plan, draft 1, plan-final.md, lock.json, the amendment, pilot_lock.json, both codes and the pilot's 7 records are the versions the replication lock names; the lock and the final plan are the versions change-2026-10-15-10 sealed; scattering_pilot.pilot_problems finds nothing", "the code's settings equal the lock's after a JSON round trip; the lock's settings equal pilot_lock.json's except the starts and the count of moments, with the questions' settings and the checks' moments added; the fresh starts' moments are the lock's", "the numerical environment matches the pilot's checks and run log" ] }, { "number": "R1", "title": "Step 1's 11 code checks and the pilot's checks P2 and P3 pass again, writing nothing to their files", "passed": true, "details": [ "step 1: 11 of 11 passed (scattering_side.py's own check, its record written to a temporary folder since deleted; step 1's checks.txt and checks.json are unchanged). Its own text:", "| Step-1 code checks, 2026-10-15 13:24 Halifax. Equality and mechanics only: no outcome of any change in the model is read, shown or kept. Old start 1 (seed 0) and pilot start 103 (seed 102); the rule on made-up phase histories. Locked plan: plan-final.md; lock: lock.json.", "|", "| 0. The code's settings are the lock's, and plan-final.md is the locked plan: PASSED", "| settings equal after a JSON round trip; plan SHA-256 0e3f8f114ed44eade7e211317217f23e27c1075008e561c2b07ea11645823121", "| 1. Arm U with c = 1 and arm F with c_f = 1 match the untouched run bit for bit (old start 1, from t = 100: 20 units changed and 20 restored, both copies): PASSED", "| arm U, c = 1: {'rates': True, 'coherence': True, 'gap': True, 'states': True, 'turning': True}", "| arm F, c_f = 1: {'rates': True, 'coherence': True, 'gap': True, 'states': True, 'turning': True}", "| this file's untouched arm against the medium pilot's own branch(): {'coherence': True, 'gap': True, 'pull': True, 'states': True}", "| 2. After R the rates are the originals bit for bit, and the run continues exactly as the unchanged model's step from the same state (coherence, gap growth and end state, to the last digit): PASSED", "| raised pull: {'rates_after_R_original': True, 'coherence': True, 'gap': True, 'states': True, 'change_took_effect': True, 'pull_as_scheduled': True}", "| arm U (c = 0.99527): {'rates_after_R_original': True, 'coherence': True, 'gap': True, 'states': True, 'change_took_effect': True, 'pull_as_scheduled': True}", "| arm F (0.6): {'rates_after_R_original': True, 'coherence': True, 'gap': True, 'states': True, 'change_took_effect': True, 'pull_as_scheduled': True}", "| arm F' (0.4): {'rates_after_R_original': True, 'coherence': True, 'gap': True, 'states': True, 'change_took_effect': True, 'pull_as_scheduled': True}", "| 3. The pulled and free oscillators and both halves are unchanged, the rates' mean stays 0 (within 1e-12), and every rank and sign is kept: PASSED", "| arm U, c = 0.99527: {'pulled_set_is_nudge_tests': True, 'halves_unchanged': True, 'directions_unchanged': True, 'mean_near_zero': True, 'ranks_kept': True, 'signs_kept': True} (mean -3.847e-13)", "| arm U, c = 0.95: {'pulled_set_is_nudge_tests': True, 'halves_unchanged': True, 'directions_unchanged': True, 'mean_near_zero': True, 'ranks_kept': True, 'signs_kept': True} (mean -3.665e-13)", "| arm F, c_f = 0.6: {'pulled_set_is_nudge_tests': True, 'halves_unchanged': True, 'directions_unchanged': True, 'mean_near_zero': True, 'ranks_kept': True, 'signs_kept': True} (mean -3.861e-13)", "| arm F', c_f = 0.4: {'pulled_set_is_nudge_tests': True, 'halves_unchanged': True, 'directions_unchanged': True, 'mean_near_zero': True, 'ranks_kept': True, 'signs_kept': True} (mean -3.870e-13)", "| 4. In arms F and F', the slower half's and free turners' rates are unchanged bit for bit, and each faster rate is sign(omega) (b + c_f (|omega| - b)) to rounding: PASSED", "| c_f = 0.6: {'slower_half_and_free_unchanged': True, 'formula_to_rounding': True} (largest difference 1.78e-15)", "| c_f = 0.4: {'slower_half_and_free_unchanged': True, 'formula_to_rounding': True} (largest difference 1.78e-15)", "| 5. Arm U's 200-unit window matches its exact mirror (K and eps raised by 1 / c, steps of 0.025 c) within 1e-9 in every phase and each group's coherence, every unit: PASSED", "| c = 0.99527: largest phase difference 5.69e-11 rad, largest coherence difference 2.78e-14 (within 1e-9); phase difference by time: t = 1: 2.8e-13, t = 10: 2.8e-12, t = 50: 1.4e-11, t = 100: 2.8e-11, t = 150: 4.3e-11, t = 200: 5.7e-11", "| c = 0.95: largest phase difference 4.73e-10 rad, largest coherence difference 3.72e-13 (within 1e-9); phase difference by time: t = 1: 7.2e-14, t = 10: 7.1e-13, t = 50: 8.5e-12, t = 100: 2.1e-11, t = 150: 1.3e-10, t = 200: 7.2e-11", "| 6. The raised-pull arm reproduces the medium pilot's saved arrays for pilot start 103, moment 1 (T = 2,055), bit for bit: coherence every unit and gap growth, 700 units: PASSED", "| {'coherence': True, 'gap': True}; T = 2055 (saved 2055), size 0.005; largest coherence difference 0.0e+00", "| 7. The untouched rerun reproduces the pilot's base run for start 103 bit for bit over the same 700 units (coherence every unit and gap growth): PASSED", "| {'coherence': True, 'gap': True}; T = 2055 (saved 2055), size 0.005; largest coherence difference 0.0e+00", "| 8. Turning rates from readings every unit equal those from readings every step (40 per unit) within 1e-12, over (10, 20] of each short arm; every reading present and finite, and the rule runs end to end (values not shown): PASSED", "| untouched: largest difference 2.5e-14; readings {'shapes': True, 'finite': True, 'sums_add_up': True, 'rule_runs': True}", "| u1: largest difference 2.5e-14; readings {'shapes': True, 'finite': True, 'sums_add_up': True, 'rule_runs': True}", "| f1: largest difference 2.5e-14; readings {'shapes': True, 'finite': True, 'sums_add_up': True, 'rule_runs': True}", "| raised: largest difference 2.1e-14; readings {'shapes': True, 'finite': True, 'sums_add_up': True, 'rule_runs': True}", "| u: largest difference 2.8e-14; readings {'shapes': True, 'finite': True, 'sums_add_up': True, 'rule_runs': True}", "| f06: largest difference 1.6e-14; readings {'shapes': True, 'finite': True, 'sums_add_up': True, 'rule_runs': True}", "| f04: largest difference 1.2e-14; readings {'shapes': True, 'finite': True, 'sums_add_up': True, 'rule_runs': True}", "| pilot_raised (700 units, read (150, 200]): readings {'shapes': True, 'finite': True, 'sums_add_up': True, 'rule_runs': True}", "| pilot_untouched (700 units, read (150, 200]): readings {'shapes': True, 'finite': True, 'sums_add_up': True, 'rule_runs': True}", "| 9. The rule on made-up phase histories, no model run: a planted pair found as a pair at the planted rate (within 0.03), a one-way cluster in that direction only, and six imitations all failing: PASSED", "| planted pair (expected: a pair at +0.96 and -0.96): forward L 5.00 (100 of 20), S 0.1032, Omega* +0.960, rhythm yes; backward L 5.00 (100 of 20), S 0.0983, Omega* -0.960, rhythm yes: as expected", "| one-way cluster (expected: a rhythm forward only, at +0.96): forward L 5.00 (100 of 20), S 0.0994, Omega* +0.960, rhythm yes; backward L 1.00 (20 of 20), S 0.0063, Omega* -0.966, rhythm no: as expected", "| random phases (expected: no rhythm either way): forward L 1.00 (20 of 20), S 0.0044, Omega* +0.966, rhythm no; backward L 1.00 (20 of 20), S 0.0094, Omega* -0.966, rhythm no: as expected", "| brief alignment (expected: no rhythm either way): forward L 1.15 (23 of 20), S 0.0269, Omega* +0.988, rhythm no; backward L 1.25 (25 of 20), S 0.0259, Omega* -1.006, rhythm no: as expected", "| fixed lean (expected: no rhythm either way): forward L 1.10 (22 of 20), S 0.0108, Omega* +0.988, rhythm no; backward L 1.10 (22 of 20), S 0.0055, Omega* -0.953, rhythm no: as expected", "| beat (expected: no rhythm either way): forward L 1.00 (20 of 20), S 0.0093, Omega* +0.966, rhythm no; backward L 1.00 (20 of 20), S 0.0140, Omega* -0.966, rhythm no: as expected", "| crowded rates, unlocked (expected: no rhythm either way): forward L 1.00 (49 of 49), S 0.0086, Omega* +0.965, rhythm no; backward L 1.00 (49 of 49), S 0.0141, Omega* -0.965, rhythm no: as expected", "| cluster at 0.5 (expected: no rhythm either way): forward L 0.85 (17 of 20), S 0.0080, Omega* +1.128, rhythm no; backward L 0.85 (17 of 20), S 0.0058, Omega* -1.128, rhythm no: as expected", "| 10. The cause test's locked files unchanged: PASSED", "| none changed", "|", "| Reported only (not checks):", "| The untouched short arm run with one copy against the first copy of the run with two: identical to the last digit False (largest coherence difference 2.7e-16; end state identical False). Step 2 runs one copy.", "| The most natural rates any interval holds, per direction (forward, backward): {'untouched': [20, 20], 'F (0.6)': [33, 33], \"F' (0.4)\": [49, 49]}; the plan states 20, 33 and 49: matches.", "| The faster half's median and largest |natural rate|: {'untouched': [2.18, 19.72], 'F (0.6)': [1.69, 12.21], \"F' (0.4)\": [1.44, 8.46]}; the plan states {'untouched': [2.18, 19.72], 'F (0.6)': [1.69, 12.21], \"F' (0.4)\": [1.44, 8.46]}: matches.", "| The medium pilot's numerical environment (its run log) and this run's agree: True.", "| Free turners whose rate falls to 20 or below in arm U (they stay free, oscillator by oscillator): {'0.99527': 2, '0.95': 8}. b = 0.9502092363816494.", "| Time: 0.0192 s per copy-unit with 8 tasks on 7 workers; projected for step 2: a base run about 236 s, a window moment with six 200-unit runs about 23 s on one worker. Task seconds: {'short_c': 6.1, 'short_b': 6.2, 'made_up': 1.1, 'short_a': 10.2, 'mirror_2': 10.4, 'mirror_1': 11.0, 'pilot_untouched': 16.1, 'pilot_raised': 16.2, 'base_run_to_t_100': 9.1}.", "|", "| All checks passed: yes", "| Run under plan-final.md SHA-256 0e3f8f114ed44eade7e211317217f23e27c1075008e561c2b07ea11645823121, lock.json SHA-256 3c7f70973247a327067a1817766b0dae3e0d72154f1de7785df7213ff271b23d and scattering_side.py SHA-256 2a20b872d594a53b50f7b124e700c58e0e4efe12377324ac17105818f9e94634; 25 s in all.", "P2, the pilot's moment code on the medium pilot's start 103, moment 1 (T = 2,055), into a temporary folder since deleted: PASSED: the untouched rerun identical to the base run True; the raised pull identical to the medium pilot's saved arrays True; the state at R True; every arm on its schedule True; every reading True; S over (150, 200] True; the report's numbers True; the saved arrays True; T 2055; problems: none. Mechanics only: no value of arms F and F' was shown or kept", "P3, the pilot's labels and combined readings on its made-up numbers: PASSED", " boundary cases: 43 of 43 as fixed (26 labels with their notes, 10 combined readings at 0.4, 7 at 0.6)", " as the theory expects: built for 1 at 0.6 and 1 at 0.4; found 1 and 1; B1, B2 and the E-readings as built: True; report written: True: as built", " no edge order at 0.4: built for 1 at 0.6 and 5 at 0.4; found 1 and 5; B1, B2 and the E-readings as built: True; report written: True: as built", " edge synchronization at 0.6: built for 3 at 0.6 and 1 at 0.4; found 3 and 1; B1, B2 and the E-readings as built: True; report written: True: as built", " a one-directional rhythm at 0.4: built for 1 at 0.6 and 3 at 0.4; found 1 and 3; B1, B2 and the E-readings as built: True; report written: True: as built", " a rise in magnitude without a rhythm at 0.4: built for 1 at 0.6 and 4 at 0.4; found 1 and 4; B1, B2 and the E-readings as built: True; report written: True: as built", " a pair outside 0.90 to 1.10 at 0.4: built for 1 at 0.6 and 6 at 0.4; found 1 and 6; B1, B2 and the E-readings as built: True; report written: True: as built", " a change in the faster half without a rhythm at 0.6: built for 2 at 0.6 and 1 at 0.4; found 2 and 1; B1, B2 and the E-readings as built: True; report written: True: as built", " a pair that didn't lift B2 at 0.4: built for 1 at 0.6 and 2 at 0.4; found 1 and 2; B1, B2 and the E-readings as built: True; report written: True: as built" ] }, { "number": "R2", "title": "The pilot's start 135, moment 1 (T = 2,285), rerun from its saved base run into a temporary folder since deleted, equals its saved moment bit for bit", "passed": true, "details": [ "the saved base run and moment match raw-data-2026-10-15-8.sha256: True", "the same array names: True; arrays compared (type, shape and bytes): 109; differing: 0; mechanical problems: none" ] }, { "number": "R3", "title": "The replication's analysis path reproduces the pilot's sealed analysis exactly from its 120 saved moments (counts only)", "passed": true, "details": [ "the pilot's saved moments matching raw-data-2026-10-15-8.sha256: 120 of 120", "'levels': 74 numbers, labels and flags in the same places as pilot_results.json's 74: True; differing: 0", "'descriptions': 633 numbers, labels and flags in the same places as pilot_results.json's 633: True; differing: 0", "the pilot's start list as it was after the call: True. Only the analysis the pilot had was run; no value is shown" ] }, { "number": "R4", "title": "The new readings and the three questions' rules on made-up numbers, no model run", "passed": true, "details": [ "boundary cases: 55 of 55 as fixed (13 for the band, 7 for 'below', 4 for the rate and its bar, 11 for Question 1 (its meeting named), 11 for Question 2, 9 for Question 3)", "as the pilot showed: built for combined readings 2 at 0.6 and 1 at 0.4 and verdicts PASS, PASS, PASS; found 2 and 1, PASS, PASS, PASS; B1, B2, the E-readings, the paired readings, the rate and its bar as computed directly (within 1e-12): True; 24 starts counted, the pilot's list restored: True; report written: True: as built", "the null at 0.6: built for combined readings 1 at 0.6 and 1 at 0.4 and verdicts PASS, FAIL, PASS; found 1 and 1, PASS, FAIL, PASS; B1, B2, the E-readings, the paired readings, the rate and its bar as computed directly (within 1e-12): True; 24 starts counted, the pilot's list restored: True; report written: True: as built", "no rhythm at 0.4: built for combined readings 2 at 0.6 and 5 at 0.4 and verdicts FAIL, PASS, FAIL; found 2 and 5, FAIL, PASS, FAIL; B1, B2, the E-readings, the paired readings, the rate and its bar as computed directly (within 1e-12): True; 24 starts counted, the pilot's list restored: True; report written: True: as built", "a rate clearly outside the band, within 0.90 to 1.10: built for combined readings 2 at 0.6 and 1 at 0.4 and verdicts FAIL, PASS, PASS; found 2 and 1, FAIL, PASS, PASS; B1, B2, the E-readings, the paired readings, the rate and its bar as computed directly (within 1e-12): True; 24 starts counted, the pilot's list restored: True; report written: True: as built", "PASS and FAIL meeting in Question 1: built for combined readings 4 at 0.6 and 1 at 0.4 and verdicts INCONCLUSIVE, INCONCLUSIVE, PASS; found 4 and 1, INCONCLUSIVE, INCONCLUSIVE, PASS; B1, B2, the E-readings, the paired readings, the rate and its bar as computed directly (within 1e-12): True; 24 starts counted, the pilot's list restored: True; report written: True: as built", "B2 at 0.6 neither clear nor inside: built for combined readings 4 at 0.6 and 1 at 0.4 and verdicts PASS, INCONCLUSIVE, PASS; found 4 and 1, PASS, INCONCLUSIVE, PASS; B1, B2, the E-readings, the paired readings, the rate and its bar as computed directly (within 1e-12): True; 24 starts counted, the pilot's list restored: True; report written: True: as built", "edge synchronization at 0.6: built for combined readings 3 at 0.6 and 1 at 0.4 and verdicts PASS, FAIL, PASS; found 3 and 1, PASS, FAIL, PASS; B1, B2, the E-readings, the paired readings, the rate and its bar as computed directly (within 1e-12): True; 24 starts counted, the pilot's list restored: True; report written: True: as built", "separated by the rhythm but not by B2: built for combined readings 2 at 0.6 and 1 at 0.4 and verdicts PASS, PASS, INCONCLUSIVE; found 2 and 1, PASS, PASS, INCONCLUSIVE; B1, B2, the E-readings, the paired readings, the rate and its bar as computed directly (within 1e-12): True; 24 starts counted, the pilot's list restored: True; report written: True: as built", "a rhythm at one start only: the rate's bar undefined: built for combined readings 2 at 0.6 and 6 at 0.4 and verdicts INCONCLUSIVE, PASS, INCONCLUSIVE; found 2 and 6, INCONCLUSIVE, PASS, INCONCLUSIVE; B1, B2, the E-readings, the paired readings, the rate and its bar as computed directly (within 1e-12): True; 24 starts counted, the pilot's list restored: True; report written: True: as built" ] }, { "number": "R5", "title": "Fresh starts 147 to 170 appear in no earlier record, and nothing has run on them", "passed": true, "details": [ "json records read in analysis/ (the replication's own left out): 68; naming a fresh start (147 to 170, seeds 146 to 169): 0; unreadable: 0", "records with a 'moments' map keyed by numbers in 147 to 170 whose entries aren't a start's moment times (a list of 10 or an entry holding T), so not start numbers; set aside and named here: 1", "set aside: analysis/cause-explore-2026-10-12/explore_history.json: 'moments' keyed by 150, its entry not a start's moment times", "files in generated-artifacts/ outside the replication's folder: 825; named for a fresh start: 0", "the replication's folder exists: False; files from the run (saved runs, run log, report, after-report record): 0; replication_go.json present: False" ] } ], "step1_record": { "made": { "utc": "2026-10-15T16:24:54+00:00", "halifax": "2026-10-15T13:24:54-03:00" }, "label": "check", "step": 1, "plan_sha256": "0e3f8f114ed44eade7e211317217f23e27c1075008e561c2b07ea11645823121", "lock_sha256": "3c7f70973247a327067a1817766b0dae3e0d72154f1de7785df7213ff271b23d", "code_sha256": "2a20b872d594a53b50f7b124e700c58e0e4efe12377324ac17105818f9e94634", "settings": { "model": { "n": 4000, "k": 1.9, "eps": 0.1, "delta": 1.0, "dt": 0.025, "settle": 300.0, "run": 6000.0, "gap": 1e-07, "put_back_every": 5.0, "gap_seed": 20261011, "pulled_up_to": 20.0 }, "moments": { "seed": 20261014, "per_start": 10, "first": 2000, "spacing": 330, "offsets": 66, "window": 200, "after": 500 }, "raised_pull": { "size": 0.005, "k": 1.9094999999999998 }, "arm_u": { "c0": 0.99527, "lowest_c": 0.95, "relative_tolerance": 0.01, "most_runs": 8, "middle_share": 0.8 }, "arms_f": { "levels": [ 0.6, 0.4 ], "b": 0.9502092363816494 }, "rule": { "read_from": 150, "read_to": 200, "band": [ 0.8, 1.3 ], "width": 0.03, "last_left_end": 1.27, "L_at_least": 1.5, "S_at_least": 0.057, "members_per_direction": 968 }, "rounding": { "phases_and_coherence": 1e-09, "rates": 1e-12 }, "step1": { "old_seed": 0, "t0": 100, "short_window": 20, "short_after": 20, "short_read": [ 10, 20 ], "mirror_units": 200, "mirror_c": [ 0.99527, 0.95 ], "every_step_units": 10, "pilot_seed": 102, "pilot_moment": 0, "pilot_t": 2055 }, "step2": { "seeds": [ 15, 16 ] }, "draws": { "seed": 20261015, "made_up": 9 } }, "results": [ { "number": 0, "title": "The code's settings are the lock's, and plan-final.md is the locked plan", "passed": true, "details": "settings equal after a JSON round trip; plan SHA-256 0e3f8f114ed44eade7e211317217f23e27c1075008e561c2b07ea11645823121" }, { "number": 1, "title": "Arm U with c = 1 and arm F with c_f = 1 match the untouched run bit for bit (old start 1, from t = 100: 20 units changed and 20 restored, both copies)", "passed": true, "details": [ "arm U, c = 1: {'rates': True, 'coherence': True, 'gap': True, 'states': True, 'turning': True}", "arm F, c_f = 1: {'rates': True, 'coherence': True, 'gap': True, 'states': True, 'turning': True}", "this file's untouched arm against the medium pilot's own branch(): {'coherence': True, 'gap': True, 'pull': True, 'states': True}" ] }, { "number": 2, "title": "After R the rates are the originals bit for bit, and the run continues exactly as the unchanged model's step from the same state (coherence, gap growth and end state, to the last digit)", "passed": true, "details": [ "raised pull: {'rates_after_R_original': True, 'coherence': True, 'gap': True, 'states': True, 'change_took_effect': True, 'pull_as_scheduled': True}", "arm U (c = 0.99527): {'rates_after_R_original': True, 'coherence': True, 'gap': True, 'states': True, 'change_took_effect': True, 'pull_as_scheduled': True}", "arm F (0.6): {'rates_after_R_original': True, 'coherence': True, 'gap': True, 'states': True, 'change_took_effect': True, 'pull_as_scheduled': True}", "arm F' (0.4): {'rates_after_R_original': True, 'coherence': True, 'gap': True, 'states': True, 'change_took_effect': True, 'pull_as_scheduled': True}" ] }, { "number": 3, "title": "The pulled and free oscillators and both halves are unchanged, the rates' mean stays 0 (within 1e-12), and every rank and sign is kept", "passed": true, "details": [ "arm U, c = 0.99527: {'pulled_set_is_nudge_tests': True, 'halves_unchanged': True, 'directions_unchanged': True, 'mean_near_zero': True, 'ranks_kept': True, 'signs_kept': True} (mean -3.847e-13)", "arm U, c = 0.95: {'pulled_set_is_nudge_tests': True, 'halves_unchanged': True, 'directions_unchanged': True, 'mean_near_zero': True, 'ranks_kept': True, 'signs_kept': True} (mean -3.665e-13)", "arm F, c_f = 0.6: {'pulled_set_is_nudge_tests': True, 'halves_unchanged': True, 'directions_unchanged': True, 'mean_near_zero': True, 'ranks_kept': True, 'signs_kept': True} (mean -3.861e-13)", "arm F', c_f = 0.4: {'pulled_set_is_nudge_tests': True, 'halves_unchanged': True, 'directions_unchanged': True, 'mean_near_zero': True, 'ranks_kept': True, 'signs_kept': True} (mean -3.870e-13)" ] }, { "number": 4, "title": "In arms F and F', the slower half's and free turners' rates are unchanged bit for bit, and each faster rate is sign(omega) (b + c_f (|omega| - b)) to rounding", "passed": true, "details": [ "c_f = 0.6: {'slower_half_and_free_unchanged': True, 'formula_to_rounding': True} (largest difference 1.78e-15)", "c_f = 0.4: {'slower_half_and_free_unchanged': True, 'formula_to_rounding': True} (largest difference 1.78e-15)" ] }, { "number": 5, "title": "Arm U's 200-unit window matches its exact mirror (K and eps raised by 1 / c, steps of 0.025 c) within 1e-9 in every phase and each group's coherence, every unit", "passed": true, "details": [ "c = 0.99527: largest phase difference 5.69e-11 rad, largest coherence difference 2.78e-14 (within 1e-9); phase difference by time: t = 1: 2.8e-13, t = 10: 2.8e-12, t = 50: 1.4e-11, t = 100: 2.8e-11, t = 150: 4.3e-11, t = 200: 5.7e-11", "c = 0.95: largest phase difference 4.73e-10 rad, largest coherence difference 3.72e-13 (within 1e-9); phase difference by time: t = 1: 7.2e-14, t = 10: 7.1e-13, t = 50: 8.5e-12, t = 100: 2.1e-11, t = 150: 1.3e-10, t = 200: 7.2e-11" ] }, { "number": 6, "title": "The raised-pull arm reproduces the medium pilot's saved arrays for pilot start 103, moment 1 (T = 2,055), bit for bit: coherence every unit and gap growth, 700 units", "passed": true, "details": "{'coherence': True, 'gap': True}; T = 2055 (saved 2055), size 0.005; largest coherence difference 0.0e+00" }, { "number": 7, "title": "The untouched rerun reproduces the pilot's base run for start 103 bit for bit over the same 700 units (coherence every unit and gap growth)", "passed": true, "details": "{'coherence': True, 'gap': True}; T = 2055 (saved 2055), size 0.005; largest coherence difference 0.0e+00" }, { "number": 8, "title": "Turning rates from readings every unit equal those from readings every step (40 per unit) within 1e-12, over (10, 20] of each short arm; every reading present and finite, and the rule runs end to end (values not shown)", "passed": true, "details": [ "untouched: largest difference 2.5e-14; readings {'shapes': True, 'finite': True, 'sums_add_up': True, 'rule_runs': True}", "u1: largest difference 2.5e-14; readings {'shapes': True, 'finite': True, 'sums_add_up': True, 'rule_runs': True}", "f1: largest difference 2.5e-14; readings {'shapes': True, 'finite': True, 'sums_add_up': True, 'rule_runs': True}", "raised: largest difference 2.1e-14; readings {'shapes': True, 'finite': True, 'sums_add_up': True, 'rule_runs': True}", "u: largest difference 2.8e-14; readings {'shapes': True, 'finite': True, 'sums_add_up': True, 'rule_runs': True}", "f06: largest difference 1.6e-14; readings {'shapes': True, 'finite': True, 'sums_add_up': True, 'rule_runs': True}", "f04: largest difference 1.2e-14; readings {'shapes': True, 'finite': True, 'sums_add_up': True, 'rule_runs': True}", "pilot_raised (700 units, read (150, 200]): readings {'shapes': True, 'finite': True, 'sums_add_up': True, 'rule_runs': True}", "pilot_untouched (700 units, read (150, 200]): readings {'shapes': True, 'finite': True, 'sums_add_up': True, 'rule_runs': True}" ] }, { "number": 9, "title": "The rule on made-up phase histories, no model run: a planted pair found as a pair at the planted rate (within 0.03), a one-way cluster in that direction only, and six imitations all failing", "passed": true, "details": [ "planted pair (expected: a pair at +0.96 and -0.96): forward L 5.00 (100 of 20), S 0.1032, Omega* +0.960, rhythm yes; backward L 5.00 (100 of 20), S 0.0983, Omega* -0.960, rhythm yes: as expected", "one-way cluster (expected: a rhythm forward only, at +0.96): forward L 5.00 (100 of 20), S 0.0994, Omega* +0.960, rhythm yes; backward L 1.00 (20 of 20), S 0.0063, Omega* -0.966, rhythm no: as expected", "random phases (expected: no rhythm either way): forward L 1.00 (20 of 20), S 0.0044, Omega* +0.966, rhythm no; backward L 1.00 (20 of 20), S 0.0094, Omega* -0.966, rhythm no: as expected", "brief alignment (expected: no rhythm either way): forward L 1.15 (23 of 20), S 0.0269, Omega* +0.988, rhythm no; backward L 1.25 (25 of 20), S 0.0259, Omega* -1.006, rhythm no: as expected", "fixed lean (expected: no rhythm either way): forward L 1.10 (22 of 20), S 0.0108, Omega* +0.988, rhythm no; backward L 1.10 (22 of 20), S 0.0055, Omega* -0.953, rhythm no: as expected", "beat (expected: no rhythm either way): forward L 1.00 (20 of 20), S 0.0093, Omega* +0.966, rhythm no; backward L 1.00 (20 of 20), S 0.0140, Omega* -0.966, rhythm no: as expected", "crowded rates, unlocked (expected: no rhythm either way): forward L 1.00 (49 of 49), S 0.0086, Omega* +0.965, rhythm no; backward L 1.00 (49 of 49), S 0.0141, Omega* -0.965, rhythm no: as expected", "cluster at 0.5 (expected: no rhythm either way): forward L 0.85 (17 of 20), S 0.0080, Omega* +1.128, rhythm no; backward L 0.85 (17 of 20), S 0.0058, Omega* -1.128, rhythm no: as expected" ] }, { "number": 10, "title": "The cause test's locked files unchanged", "passed": true, "details": "none changed" } ], "information": { "mirror_c_0.99527": { "phase": [ 2.8437811679031565e-13, 5.690871569403532e-13, 8.534635773231348e-13, 1.1379804063236546e-12, 1.4221423020753703e-12, 1.7063476805667298e-12, 1.990801948493911e-12, 2.2752895706793055e-12, 2.5598897949201508e-12, 2.8441583919483432e-12, 3.1286023663827753e-12, 3.4125690050668743e-12, 3.696939219503596e-12, 3.9812563936734645e-12, 4.265585383959445e-12, 4.549792614137827e-12, 4.834716681845777e-12, 5.118486708328161e-12, 5.40299121052822e-12, 5.68717551266416e-12, 5.972281079594059e-12, 6.2566692985259894e-12, 6.5408897151623804e-12, 6.825403280986564e-12, 7.1100165958778004e-12, 7.394759784878937e-12, 7.678969267072811e-12, 7.963234972734795e-12, 8.248069975024924e-12, 8.532324063189777e-12, 8.816839088346556e-12, 9.101189278171963e-12, 9.385441192491148e-12, 9.67057786466752e-12, 9.954190461243731e-12, 1.0238580189250955e-11, 1.05229870031685e-11, 1.0807221035157618e-11, 1.1091479338031978e-11, 1.1375835802025467e-11, 1.1660428081378342e-11, 1.1945084493255522e-11, 1.2229870596120843e-11, 1.2514515779913442e-11, 1.2799406804820908e-11, 1.3083697136989525e-11, 1.3367748563656732e-11, 1.365169662084384e-11, 1.3936346591548775e-11, 1.422027095878379e-11, 1.4504138876774692e-11, 1.4789093437756114e-11, 1.5073463963391463e-11, 1.535843027054607e-11, 1.5643089101938766e-11, 1.5927115248607384e-11, 1.6211522300591998e-11, 1.6496790015496204e-11, 1.6781202280147867e-11, 1.7065867656828007e-11, 1.7350484450387063e-11, 1.7634644916381117e-11, 1.7919086789729813e-11, 1.8203552349186028e-11, 1.848806716265745e-11, 1.8772542294392508e-11, 1.905689400995494e-11, 1.9340728228582103e-11, 1.9624859779718213e-11, 1.9908825176556777e-11, 2.0193188265209244e-11, 2.047711708458761e-11, 2.076170024898541e-11, 2.104614445271875e-11, 2.133117426937596e-11, 2.1615895860413018e-11, 2.1900371503375237e-11, 2.2184823834715963e-11, 2.246904377504016e-11, 2.2753643555714985e-11, 2.3037406943740863e-11, 2.3322313371220562e-11, 2.3606106837935373e-11, 2.3890819360170183e-11, 2.4175137763837226e-11, 2.4459080374185888e-11, 2.4743562992011838e-11, 2.5027868521912157e-11, 2.531197519100173e-11, 2.559593204472726e-11, 2.5880302195957596e-11, 2.6164974992005577e-11, 2.6449144883074674e-11, 2.6732905715987538e-11, 2.701722884641942e-11, 2.730173499887531e-11, 2.7585923338676078e-11, 2.7870241448278894e-11, 2.8154646529726604e-11, 2.8439448336273808e-11, 2.8724027792428668e-11, 2.9008349660595732e-11, 2.929253206685205e-11, 2.957708027521777e-11, 2.986099900881482e-11, 3.014517804534813e-11, 3.04305653865687e-11, 3.071472563537062e-11, 3.099912748483094e-11, 3.12832254275331e-11, 3.156727530808162e-11, 3.185117732043191e-11, 3.2135189186639973e-11, 3.24194318570786e-11, 3.270361322717417e-11, 3.29880830298345e-11, 3.3271769732486836e-11, 3.355594710276095e-11, 3.3839766182859374e-11, 3.412414663333789e-11, 3.44086099233853e-11, 3.4692864779230533e-11, 3.4977105444890356e-11, 3.5261920427691525e-11, 3.5546544493817544e-11, 3.5830604721973327e-11, 3.611482121947202e-11, 3.6398943298896876e-11, 3.668365531182898e-11, 3.696815852472897e-11, 3.7252145404035224e-11, 3.753635087360592e-11, 3.782080014416406e-11, 3.8105134235228324e-11, 3.838999697615968e-11, 3.8674336555965974e-11, 3.8958671968170274e-11, 3.924322515600662e-11, 3.952754091624179e-11, 3.98121396111591e-11, 4.0096113613928127e-11, 4.0380300606870594e-11, 4.0663997889456325e-11, 4.094855400145179e-11, 4.123280323888074e-11, 4.1517278972942847e-11, 4.180147238592927e-11, 4.208584246568247e-11, 4.236998587278942e-11, 4.2654319750500616e-11, 4.2938763109929756e-11, 4.3223791765510755e-11, 4.350827199455229e-11, 4.379263342753872e-11, 4.407727017851803e-11, 4.436121669362936e-11, 4.464575527882472e-11, 4.493063872791623e-11, 4.5215102173023226e-11, 4.5499986514552537e-11, 4.578490696784868e-11, 4.606970318560775e-11, 4.6353727784977405e-11, 4.663731264032154e-11, 4.6921787640798896e-11, 4.720653507531413e-11, 4.749092261397382e-11, 4.7775121057560394e-11, 4.805937620869468e-11, 4.834350965989982e-11, 4.8627575045561244e-11, 4.891152335309283e-11, 4.9196414152336625e-11, 4.9480467967095407e-11, 4.9764996372771605e-11, 5.0048746670604885e-11, 5.033376577878583e-11, 5.061830759909222e-11, 5.090224890747003e-11, 5.11867993583392e-11, 5.147110353903181e-11, 5.175527910896602e-11, 5.2039323461478395e-11, 5.2323734219664665e-11, 5.260825980400304e-11, 5.2892316407557475e-11, 5.3176140233770526e-11, 5.346044475104024e-11, 5.374446497285658e-11, 5.402928276495851e-11, 5.431330850348587e-11, 5.45974173273713e-11, 5.48816698218354e-11, 5.516563228259592e-11, 5.545020282237005e-11, 5.5734678543265934e-11, 5.6019213363662934e-11, 5.6303393332957725e-11, 5.658795930157081e-11, 5.6872821469732625e-11 ], "coherence": [ 9.020562075079397e-17, 1.3092278833360675e-16, 2.1747095713418623e-16, 3.553431890143501e-16, 5.521764068853398e-16, 6.61828266746306e-16, 7.355227538141662e-16, 7.54237738772675e-16, 9.205809909188576e-16, 1.1800455648417706e-15, 1.1414638652303343e-15, 1.339494115119495e-15, 1.1881728819849634e-15, 7.748060407144835e-16, 1.2004399260391928e-15, 1.5432644473777066e-15, 1.6237604792167243e-15, 1.9606059300799424e-15, 1.9384525806362286e-15, 1.912221064710673e-15, 2.3333139916742994e-15, 2.342475416878047e-15, 2.174103402111897e-15, 1.7755435015700028e-15, 1.7787540192190605e-15, 1.8263433707127494e-15, 2.132059134086101e-15, 3.268436437422424e-15, 3.048427940467385e-15, 3.026831500226077e-15, 2.980653750079853e-15, 3.5152346801810937e-15, 3.667625545314075e-15, 2.9979595303466357e-15, 3.354087532390904e-15, 2.506477932645682e-15, 2.5570671376609234e-15, 3.2792808087736757e-15, 3.606743338923129e-15, 4.269968892014101e-15, 4.366637719076315e-15, 4.325501441667622e-15, 4.201384226989376e-15, 4.663643962634118e-15, 4.468954741945298e-15, 4.405760511619964e-15, 3.3748161356116794e-15, 3.4035945725350106e-15, 4.4277157577186e-15, 5.788178285707552e-15, 5.244594393647037e-15, 4.758083085079596e-15, 5.4276190455365846e-15, 5.700950638578829e-15, 6.1431474198921526e-15, 6.192332056928004e-15, 6.0667404557526975e-15, 4.634111085029431e-15, 4.370199168839333e-15, 3.589328999696609e-15, 5.480202050566593e-15, 6.9621695498126126e-15, 6.50060027319283e-15, 7.53676642526637e-15, 6.241786028105997e-15, 6.764105721212049e-15, 6.770177086070523e-15, 6.111012990599295e-15, 6.516091526138352e-15, 5.2800161179485554e-15, 4.3674976927805135e-15, 6.20839089132666e-15, 6.815269122347995e-15, 7.867643976874096e-15, 6.7551905166562315e-15, 7.468922384147485e-15, 9.24495906680063e-15, 8.487935138471069e-15, 8.372761059051324e-15, 7.335050887307889e-15, 5.672502265566343e-15, 4.6910207358919825e-15, 7.27125977044995e-15, 8.45343262685463e-15, 9.05662095801192e-15, 9.22149760986615e-15, 9.050062848343491e-15, 7.67885178245471e-15, 9.976600878182045e-15, 9.89539795079074e-15, 9.53184899999913e-15, 7.743737202342891e-15, 7.29177162238395e-15, 6.4956960880060895e-15, 8.953852489887107e-15, 9.188966324038373e-15, 8.74109516068749e-15, 1.1208040726276254e-14, 1.1156300556192129e-14, 1.0563674774136601e-14, 1.0125556410712286e-14, 1.032624817743956e-14, 9.262841204009704e-15, 7.818092900867789e-15, 7.140189056854467e-15, 8.005819320337199e-15, 1.3381224168586572e-14, 1.1027256593505215e-14, 1.0097595733383494e-14, 1.0584515614435902e-14, 1.3679164802173549e-14, 1.1675428740522858e-14, 1.1875639195362724e-14, 1.185574800968147e-14, 8.612842486950827e-15, 8.223959373943824e-15, 8.39740628515923e-15, 1.0677280912542602e-14, 1.1813374658134917e-14, 1.2437053232638472e-14, 1.2908343966629112e-14, 1.1898859696623534e-14, 1.2980239243069237e-14, 1.1342556006896673e-14, 1.3045076248458249e-14, 1.0159462501571813e-14, 9.064386822655169e-15, 1.2573008170893746e-14, 1.1739429388379783e-14, 1.2378321599718923e-14, 1.5498451850019276e-14, 1.1362714201319657e-14, 1.5342227083130762e-14, 1.6662515195167577e-14, 1.2705395170867952e-14, 1.4211186748238394e-14, 9.914397382791125e-15, 1.2103676749482974e-14, 1.1683123971102477e-14, 9.853603767945006e-15, 1.7164917973204103e-14, 1.4816382783292104e-14, 1.5764122416079686e-14, 1.904255510046091e-14, 1.4894770247432455e-14, 1.5681320307866103e-14, 1.5436498624244953e-14, 1.4815123485424013e-14, 1.1405589847150943e-14, 1.1012164539296822e-14, 1.08727352853322e-14, 1.7344325818280898e-14, 1.3081406992414112e-14, 1.8139026843906853e-14, 1.2762608663782454e-14, 1.7686694751057833e-14, 1.5830771656465534e-14, 1.4880754037771303e-14, 1.8160756026462586e-14, 1.3334416646058821e-14, 1.2668020308765626e-14, 1.2929637813862885e-14, 1.414348295056737e-14, 1.4227759907973802e-14, 1.9544144849942143e-14, 1.8298173722340818e-14, 1.6839958213297108e-14, 1.6446920868923286e-14, 1.804681748163156e-14, 1.858347329817878e-14, 1.1258669155234211e-14, 1.7024857592966364e-14, 1.203479398751295e-14, 1.9994122542699982e-14, 1.1176064775489862e-14, 2.0482990717478857e-14, 1.9658132583835975e-14, 2.007731870177023e-14, 2.0996394122057502e-14, 1.94791301388636e-14, 1.7492954628241575e-14, 1.3571015717697701e-14, 1.775737957082393e-14, 1.0906850890951634e-14, 2.027246513579025e-14, 1.3962918462002673e-14, 2.6435291624755734e-14, 1.859115410552667e-14, 2.1425259461154802e-14, 2.0234829494861153e-14, 2.303361311030626e-14, 2.0528023068582287e-14, 2.0224604691663285e-14, 1.8564361930817175e-14, 1.3588665112368243e-14, 1.0723330359586398e-14, 1.7597041780699658e-14, 2.478250121877396e-14, 1.0864085496445942e-14, 2.780162143452855e-14 ] }, "mirror_c_0.95": { "phase": [ 7.1595710470958e-14, 1.424364933087376e-13, 2.1402665795664828e-13, 2.8584463775882925e-13, 3.5687522462586123e-13, 4.2835659613053574e-13, 4.994529135611179e-13, 5.702710364185978e-13, 6.412363136500655e-13, 7.12252532456402e-13, 7.8321643661521e-13, 8.537819191783404e-13, 9.24791873725288e-13, 9.947839491966246e-13, 1.0659720610164444e-12, 1.1369730989893803e-12, 1.2080986249245707e-12, 1.2794228764055629e-12, 1.350949356461289e-12, 1.4218707144701014e-12, 1.4931142109355156e-12, 1.564118165507678e-12, 1.6354594785716745e-12, 1.7069251730264164e-12, 1.7784733172013166e-12, 1.8498171023938076e-12, 1.9211283117691457e-12, 1.9921896677665725e-12, 2.0637976381151033e-12, 2.134561162767245e-12, 2.205584129398159e-12, 2.2760203982944914e-12, 2.3475775926886267e-12, 2.4187062238052993e-12, 2.4897181076999813e-12, 2.5610188213776174e-12, 2.631709695721081e-12, 2.7031332923735465e-12, 2.7743390688585413e-12, 2.8460407232493153e-12, 2.9175879737123358e-12, 2.9885297608905867e-12, 3.0597762411770545e-12, 3.130103186691707e-12, 3.201262082960003e-12, 3.272242222782297e-12, 3.6889409317122766e-12, 5.1780744914333994e-12, 7.06819560946493e-12, 8.511177768719402e-12, 9.570049689053892e-12, 1.3543552248981162e-11, 1.6949560138254733e-11, 1.6687063585433243e-11, 1.537642580539435e-11, 1.5854827279741656e-11, 1.300093158946945e-11, 1.3286645541006446e-11, 1.4621150200487512e-11, 1.4839814208113614e-11, 1.6242207063551813e-11, 2.1194133157011703e-11, 2.015717419984815e-11, 1.4755110686851952e-11, 9.489350644364844e-12, 8.19767770109904e-12, 7.629790381279742e-12, 1.139199252269138e-11, 1.7821554315628623e-11, 2.8499075111580074e-11, 4.263415174438957e-11, 5.3477716388438955e-11, 4.921103306855343e-11, 6.822156000880405e-11, 1.0179106672244824e-10, 1.1981747235389966e-10, 9.674472741501793e-11, 6.587053859054886e-11, 4.417603229064268e-11, 2.916973809651162e-11, 2.0141127924453013e-11, 1.4476236320821214e-11, 1.2770899119488292e-11, 1.5651482239580478e-11, 1.745698903613234e-11, 1.3207174521469466e-11, 1.2007682940583711e-11, 1.7747476091274095e-11, 2.6992169566449116e-11, 4.2220862804092707e-11, 6.362817832666045e-11, 7.809240823303139e-11, 7.013225233074079e-11, 5.2000627603042424e-11, 3.7347652542937677e-11, 2.6275577607598202e-11, 1.7178681899680024e-11, 1.67596632064979e-11, 1.7394627438648634e-11, 2.0918788934017812e-11, 1.8500705829606937e-11, 2.3712498389242735e-11, 2.680701358563088e-11, 2.7435500868551784e-11, 4.150653419655311e-11, 5.967296796594445e-11, 6.796034679699298e-11, 5.292462472055359e-11, 4.9293245603461355e-11, 4.3656825691360435e-11, 2.895464696559733e-11, 1.813169719664738e-11, 2.306957678478907e-11, 3.13070382281661e-11, 3.1786481283892224e-11, 3.457120327542406e-11, 5.254939135703628e-11, 6.164709820499448e-11, 7.323045192554466e-11, 1.0362023591002837e-10, 1.1303738214520277e-10, 1.0538685555375914e-10, 1.2358994407362551e-10, 1.0237452026528097e-10, 7.489902366335407e-11, 1.0626964407440508e-10, 1.1633887597248723e-10, 8.728045925513293e-11, 6.309504628564173e-11, 7.688753437851554e-11, 6.493391150520197e-11, 4.765116864539434e-11, 3.597133629624289e-11, 2.3176625811465274e-11, 2.1439102878824398e-11, 2.1244862522274234e-11, 3.3598273195246345e-11, 4.6440958790820306e-11, 4.5563170682663994e-11, 3.222990730322035e-11, 2.282311281173735e-11, 2.472836584155684e-11, 3.141759636054711e-11, 4.690983583585559e-11, 6.909586737183951e-11, 8.002598633185721e-11, 6.170555403332065e-11, 6.708475121051838e-11, 9.193792377089215e-11, 1.3256252758348141e-10, 2.010763538543839e-10, 3.0333805452038355e-10, 4.3799498759977384e-10, 4.734296241860907e-10, 3.716111653652518e-10, 2.435763489987842e-10, 1.5536982435335124e-10, 1.0399593580457745e-10, 7.299979661961072e-11, 5.320244778247835e-11, 4.0429940660307904e-11, 3.220971345344633e-11, 3.010169307640037e-11, 3.047812959640018e-11, 3.337590402816348e-11, 3.498033165963162e-11, 4.4130888897901623e-11, 6.116813339156582e-11, 6.027715795920287e-11, 4.6327016602093096e-11, 5.689430576692996e-11, 5.535947840147263e-11, 7.936887182215541e-11, 9.406567152879594e-11, 7.78407238617385e-11, 5.466255577787772e-11, 5.25083959809797e-11, 7.129960190307545e-11, 1.0246576818721651e-10, 1.1996396747047357e-10, 9.690891315209067e-11, 6.561689286370913e-11, 7.223434522161106e-11, 5.4554642443609065e-11, 8.029621204949003e-11, 1.2192974898452559e-10, 1.5634460618067e-10, 1.3692689675211664e-10, 9.434650154635368e-11, 7.870294583267385e-11, 1.0121715536507939e-10, 8.917249252355365e-11, 9.303633693336872e-11, 9.051311938126346e-11, 8.352546287192527e-11, 1.2011317058979089e-10, 1.244586031716802e-10, 1.1358485009286101e-10, 8.152319493066676e-11, 7.176363224313755e-11 ], "coherence": [ 5.250225931237846e-17, 1.3548623466035522e-16, 1.1662709904749778e-16, 1.4902476193980417e-16, 2.67507634463277e-16, 2.8483293157096896e-16, 3.569485997778505e-16, 4.1004107616799284e-16, 5.990399793736238e-16, 5.27367349227907e-16, 6.496302017793301e-16, 6.253190897624755e-16, 6.147875662259242e-16, 6.582812753581314e-16, 1.0235750533041808e-15, 7.744253254395707e-16, 8.008337352290733e-16, 9.989356598077958e-16, 1.236778763595556e-15, 1.1319545891955332e-15, 1.0427982522279385e-15, 1.6115123596362389e-15, 1.3140916773141078e-15, 1.289309227163613e-15, 1.5006150203253884e-15, 1.4941841050494058e-15, 1.6897310858696059e-15, 1.574624466469427e-15, 1.7755435015700028e-15, 2.124027046609129e-15, 1.86293471699515e-15, 1.791901337485521e-15, 2.1721287203478185e-15, 1.4345229679505872e-15, 1.4438902883526792e-15, 1.8714442561476924e-15, 1.8984184746603773e-15, 1.9212091865328298e-15, 2.1348801402871297e-15, 2.1039385409701544e-15, 2.3430457329031833e-15, 2.832292958781227e-15, 2.248030287623391e-15, 3.883499994657856e-15, 4.127772961900816e-15, 4.440913782491137e-15, 6.034715776605152e-15, 8.397518091658245e-15, 1.1503037045544033e-14, 1.3094610228246623e-14, 1.68189455961039e-14, 1.9876189977061567e-14, 2.058981111109048e-14, 1.999068237885942e-14, 1.8595344977147605e-14, 1.7077422857905387e-14, 1.3215414454981098e-14, 9.74789882980827e-15, 9.855144683030816e-15, 1.1693533039058832e-14, 1.4641164794171157e-14, 1.784685670371007e-14, 1.902052963114587e-14, 1.9869289760335222e-14, 1.7565332631027372e-14, 1.1887684198335596e-14, 1.0132876057426753e-14, 1.4249940662067933e-14, 1.8005754496223102e-14, 1.8917272687742656e-14, 2.521723501182518e-14, 3.2603634814742867e-14, 3.6200347157054634e-14, 4.820089552188941e-14, 6.752065056850484e-14, 6.978352833873011e-14, 5.161624481994054e-14, 3.3052509035080895e-14, 1.963457354912258e-14, 1.275346802949394e-14, 1.4516272186454397e-14, 1.4390670417324924e-14, 2.3848694693265588e-14, 3.287480093439971e-14, 3.9965901384285826e-14, 4.131238185335364e-14, 4.589327145617334e-14, 4.964790565217858e-14, 5.4561065926531807e-14, 6.414875577576135e-14, 7.75507918648761e-14, 8.20931385371385e-14, 7.305750466829773e-14, 6.755522939414284e-14, 5.110889114333226e-14, 3.599487257218207e-14, 3.219858520349999e-14, 3.490337298282489e-14, 4.2116294342601205e-14, 4.57394707007959e-14, 4.063261753569145e-14, 3.6519355767283276e-14, 4.274651510165802e-14, 5.3298481958154374e-14, 6.751764982235262e-14, 8.055577078321726e-14, 8.733080930474543e-14, 7.529733677977732e-14, 5.257187379990382e-14, 3.2159993934246424e-14, 3.290781681720459e-14, 3.8269826092955996e-14, 4.586972281965973e-14, 5.1772809324090416e-14, 4.152835192020848e-14, 5.051119191478114e-14, 6.283965911551869e-14, 8.180941199177903e-14, 1.327485202478498e-13, 1.732891245448547e-13, 1.8249507997701283e-13, 1.6574295372770707e-13, 1.463572135834236e-13, 1.1268960585067178e-13, 1.0001921066820646e-13, 1.0632365940989887e-13, 8.399603038824885e-14, 4.472060651357882e-14, 4.360966251206182e-14, 6.301276757360765e-14, 6.620540308256486e-14, 5.382238388673595e-14, 4.294487211127147e-14, 2.940767090634498e-14, 4.0211708583102613e-14, 4.024190925378923e-14, 4.228380441360947e-14, 3.1012716975195615e-14, 4.962243620396558e-14, 4.481435729776749e-14, 2.972808734682991e-14, 2.697664902292237e-14, 2.1528899880027645e-14, 1.8793968199523105e-14, 5.119955862002262e-14, 4.466252467320067e-14, 7.157185143484036e-14, 1.1137042222401227e-13, 1.3621942524072122e-13, 1.5730583587770907e-13, 1.9793863403822612e-13, 2.4387744149005886e-13, 3.357408286085401e-13, 3.7176862062774593e-13, 3.070893994979632e-13, 2.1172864540277562e-13, 1.3013540168783408e-13, 7.402166406470158e-14, 4.603067035711414e-14, 5.302690917424377e-14, 6.84894797705834e-14, 1.1193903478049209e-13, 8.935094025506086e-14, 4.1903207566839064e-14, 4.6051853332661663e-14, 6.497804924435742e-14, 7.21596392114271e-14, 8.915948918883683e-14, 1.1346233867708515e-13, 8.621954500173846e-14, 5.246873520211677e-14, 4.7515899870015686e-14, 8.935552266019043e-14, 1.0362132200448724e-13, 6.561486172617249e-14, 6.561743291436349e-14, 7.075264256615148e-14, 5.486538083481954e-14, 4.812945663764358e-14, 5.848442270981582e-14, 3.4340658137480795e-14, 4.9545949302881054e-14, 7.193440435613888e-14, 1.193513278931566e-13, 1.6945517227392575e-13, 1.870038719822785e-13, 1.4143880223411658e-13, 1.1537228928964284e-13, 1.3615647767982073e-13, 8.135261011156822e-14, 5.2025588747259536e-14, 6.875950206319855e-14, 7.027177880207503e-14, 7.988877377818122e-14, 1.2446134903151166e-13, 1.1486573458380338e-13, 1.0686965688893148e-13, 1.4623877582521178e-13, 1.4642441486383253e-13, 1.0876935204466844e-13 ] }, "copies_1_vs_2": { "identical": false, "largest": 2.7450320412365066e-16, "state": false }, "most_natural_rates_in_an_interval": { "untouched": [ 20, 20 ], "F (0.6)": [ 33, 33 ], "F' (0.4)": [ 49, 49 ] }, "plan_states_most_natural": { "untouched": 20, "F (0.6)": 33, "F' (0.4)": 49 }, "faster_half_median_and_largest": { "untouched": [ 2.18, 19.72 ], "F (0.6)": [ 1.69, 12.21 ], "F' (0.4)": [ 1.44, 8.46 ] }, "plan_states_faster_half": { "untouched": [ 2.18, 19.72 ], "F (0.6)": [ 1.69, 12.21 ], "F' (0.4)": [ 1.44, 8.46 ] }, "free_turners_below_20_in_arm_u": { "0.99527": 2, "0.95": 8 }, "b": 0.9502092363816494, "pilot_environment_same": true, "seconds": { "short_c": 6.1, "short_b": 6.2, "made_up": 1.1, "short_a": 10.2, "mirror_2": 10.4, "mirror_1": 11.0, "pilot_untouched": 16.1, "pilot_raised": 16.2, "base_run_to_t_100": 9.1 }, "seconds_per_copy_unit": 0.01919713039483343, "projected_step2": { "base_run_seconds": 236, "window_moment_seconds_6_arms": 23 }, "matches_plan": { "most_natural": true, "faster_half": true } }, "all_passed": true, "machine": { "cpu": "INTEL(R) XEON(R) PLATINUM 8581C CPU @ 2.30GHz", "python": "3.11.14", "libc": "glibc 2.40", "numpy": "2.4.3", "numpy_dispatch": [ "X86_V3", "X86_V4", "AVX512_ICL", "AVX512_SPR" ], "blas_threads": "1 per worker", "boot_id": "e999797e-2c80-48fa-a685-0ac9643f07bf", "container_started": { "utc": "2026-10-15T11:09:17+00:00", "halifax": "2026-10-15T08:09:17-03:00" } }, "seconds": 25.5 }, "information": { "moment_seconds_one_worker": 58.7, "moments_per_worker_per_piece": 3, "projected_moment_pieces": 12, "projected_piece_seconds": 176 }, "all_passed": true, "machine": { "cpu": "INTEL(R) XEON(R) PLATINUM 8581C CPU @ 2.30GHz", "python": "3.11.14", "libc": "glibc 2.40", "numpy": "2.4.3", "numpy_dispatch": [ "X86_V3", "X86_V4", "AVX512_ICL", "AVX512_SPR" ], "blas_threads": "1 per worker", "boot_id": "e999797e-2c80-48fa-a685-0ac9643f07bf", "container_started": { "utc": "2026-10-15T11:09:17+00:00", "halifax": "2026-10-15T08:09:17-03:00" } }, "seconds": 84.9 }