{
 "made": {
  "utc": "2026-10-15T12:57:58+00:00",
  "halifax": "2026-10-15T09:57:58-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.5,
   "short_b": 6.9,
   "made_up": 1.1,
   "short_a": 11.0,
   "mirror_2": 11.5,
   "mirror_1": 11.8,
   "pilot_untouched": 16.6,
   "pilot_raised": 16.7,
   "base_run_to_t_100": 9.6
  },
  "seconds_per_copy_unit": 0.02052486381360463,
  "projected_step2": {
   "base_run_seconds": 252,
   "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": 28.7
}