{ "made": { "utc": "2026-10-15T14:17:09+00:00", "halifax": "2026-10-15T11:17:09-03:00" }, "label": "check", "step": 3, "pilot_lock_sha256": "a434b2af2f4e64e02aef069ef945570b64e2278ae8ab318abd65fc8d625ae9f2", "plan_sha256": "0e3f8f114ed44eade7e211317217f23e27c1075008e561c2b07ea11645823121", "lock_sha256": "3c7f70973247a327067a1817766b0dae3e0d72154f1de7785df7213ff271b23d", "amendment_sha256": "d1edbec186079043706fa6ee63b756de4e7c1e52f011b06d491fd379335f1c75", "steps_1_and_2_code_sha256": "2a20b872d594a53b50f7b124e700c58e0e4efe12377324ac17105818f9e94634", "code_sha256": "1d4acb826160fdd48e06d9ff8a6eb23f596650e2c75bdc89cf5e19ab38f5e54c", "settings": { "starts": { "numbers": [ 135, 136, 137, 138, 139, 140, 141, 142, 143, 144, 145, 146 ], "seeds": [ 134, 135, 136, 137, 138, 139, 140, 141, 142, 143, 144, 145 ] }, "moments": { "per_start": 10, "all": 120, "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 } } }, "results": [ { "number": "P1", "title": "The pilot lock and the sealed files match, and no fresh start has been run", "passed": true, "details": [ "the code's pilot settings equal the pilot lock's after a JSON round trip; plan-final.md, lock.json, the amendment and scattering_side.py are the versions it names; pilot_lock.json is the version change-2026-10-15-5 sealed", "files from a fresh start: 0; pilot_go.json present: False" ] }, { "number": "Step 1", "title": "The 11 step-1 checks of lock.json, rerun with the pilot code in place (scattering_side.py's own check, unchanged)", "passed": true, "details": [ "11 of 11 passed. Its own record follows, and is kept whole in pilot_checks.json; step 1's checks.txt and checks.json are unchanged:", "| Step-1 code checks, 2026-10-15 11:15 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.0207 s per copy-unit with 8 tasks on 7 workers; projected for step 2: a base run about 254 s, a window moment with six 200-unit runs about 25 s on one worker. Task seconds: {'short_b': 5.7, 'short_c': 5.9, 'made_up': 1.1, 'short_a': 10.5, 'mirror_1': 11.2, 'mirror_2': 11.6, 'pilot_raised': 17.8, 'pilot_untouched': 17.9, 'base_run_to_t_100': 10.5}.", "|", "| All checks passed: yes", "| Run under plan-final.md SHA-256 0e3f8f114ed44eade7e211317217f23e27c1075008e561c2b07ea11645823121, lock.json SHA-256 3c7f70973247a327067a1817766b0dae3e0d72154f1de7785df7213ff271b23d and scattering_side.py SHA-256 2a20b872d594a53b50f7b124e700c58e0e4efe12377324ac17105818f9e94634; 30 s in all." ] }, { "number": "P2", "title": "The pilot's own moment code on the medium pilot's start 103, moment 1 (T = 2,055), not a fresh start: four arms, both copies, 200 + 500 units, into a temporary folder since deleted", "passed": true, "details": [ "the untouched rerun against the base run: coherence identical True, gap growth identical True (largest coherence difference 0.0e+00)", "the raised pull against the medium pilot's saved arrays (T 2055, size 0.005): coherence identical True, gap growth identical True (largest coherence difference 0.0e+00)", "the untouched rerun's first copy at R against the base run's kept state: identical True", "on the scheduled pull and rates, and back on the original ones after R: untouched True, raised pull True, arm F (0.6) True, arm F' (0.4) True", "every reading present and finite, the sums adding up, the rule running: untouched True, raised pull True, arm F (0.6) True, arm F' (0.4) True", "S over (150, 200] equal to the rule's S (within 1e-12): untouched True, raised pull True, arm F (0.6) True, arm F' (0.4) True", "the saved part holds exactly the arrays the report reads: True; the report's numbers come out with their shapes, the contributions adding up to each group's coherence: True", "mechanical problems reported by the moment code: none", "mechanics only: no value of arms F and F' was shown or kept" ] }, { "number": "P3", "title": "The readings, labels and combined readings on made-up numbers, no model run", "passed": true, "details": [ "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" ] } ], "step1_record": { "made": { "utc": "2026-10-15T14:16:04+00:00", "halifax": "2026-10-15T11:16:04-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_b": 5.7, "short_c": 5.9, "made_up": 1.1, "short_a": 10.5, "mirror_1": 11.2, "mirror_2": 11.6, "pilot_raised": 17.8, "pilot_untouched": 17.9, "base_run_to_t_100": 10.5 }, "seconds_per_copy_unit": 0.020674665974719182, "projected_step2": { "base_run_seconds": 254, "window_moment_seconds_6_arms": 25 }, "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": 29.9 }, "information": { "moment_seconds_one_worker": 64.4, "moments_per_worker_per_piece": 3, "projected_moment_pieces": 6, "projected_piece_seconds": 193 }, "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": 94.5 }