PASS  chord: original worst cell                                 ok=True kind=full U=0.8549552502410571 E_w=5.863842290405148e-17 why=None repairs={}
PASS  chord: cellq U3 widened by 1e-6 relative                   ok=False kind=None U=None E_w=None why=spec differs from the regenerated cell repairs={}
PASS  chord: phi_0 - 0.05                                        ok=False kind=None U=None E_w=None why=majorant repairs={}
PASS  chord: all z * 1.01                                        ok=False kind=full U=0.8563249337945156 E_w=0.000937368682021396 why=U > 171/200 repairs={'main_repaired': 1}
PASS  chord: main x-dual y0 - 1e-3 (detect)                      ok=True kind=full U=0.8549552501586468 E_w=5.863842290405148e-17 why=None repairs={'main_repaired': 1}
PASS  chord: main cap indices shifted by 1 (detect)              ok=False kind=full U=0.8553621321765786 E_w=5.863842290405148e-17 why=U > 171/200 repairs={'main_repaired': 1}
PASS  chord: largest z dropped                                   ok=False kind=full U=0.903472149563777 E_w=0.03392049959563185 why=U > 171/200 repairs={}
PASS  chord: target = U - 1e-9                                   ok=False kind=full U=0.8549552502410571 E_w=5.863842290405148e-17 why=U > 171/200 repairs={}
PASS  chord: tangent points q/5 (detect or reject)               ok=False kind=full U=0.8554852738237211 E_w=5.863842290405148e-17 why=U > 171/200 repairs={'main_repaired': 1}
PASS  chord: McCormick split on the first index (detect or reject) ok=False kind=full U=0.9210599923060038 E_w=0.04509418144483574 why=U > 171/200 repairs={'main_repaired': 1}
PASS  chord: nan in phi                                          ok=False kind=None U=None E_w=None why=exception: ValueError('non-finite number in a certificate') repairs={}
PASS  chord: inf in phi                                          ok=False kind=None U=None E_w=None why=exception: ValueError('non-finite number in a certificate') repairs={}
PASS  chord: nan in z                                            ok=False kind=None U=None E_w=None why=exception: ValueError('non-finite number in a certificate') repairs={}
PASS  chord: inf in z                                            ok=False kind=None U=None E_w=None why=exception: ValueError('non-finite number in a certificate') repairs={}
PASS  chord: nan in range y0                                     ok=False kind=None U=None E_w=None why=exception: ValueError('non-finite number in a certificate') repairs={}
PASS  chord: inf in range y0                                     ok=False kind=None U=None E_w=None why=exception: ValueError('non-finite number in a certificate') repairs={}
PASS  chord: wrong cap order (detect or reject)                  ok=False kind=full U=0.878949106878814 E_w=0.0018398391568648664 why=U > 171/200 repairs={'range_repaired': 22, 'repair_dy_max': 3.631675884377682, 'main_repaired': 1}
PASS  chord: original empty cell C/i0j10/q00                     ok=True kind=empty U=None E_w=None why=None repairs={}
      chord: emptiness threshold for a common y0 shift: 117586
PASS  chord: empty cell, every range y0 + 0.99 * threshold       ok=True kind=empty U=None E_w=None why=None repairs={}
PASS  chord: empty cell, every range y0 + 1.01 * threshold       ok=False kind=empty U=None E_w=None why=empty certificate but L_j <= U_j for all j repairs={}
PASS  chord: empty certificate transplanted onto C/i1j3/q32      ok=False kind=empty U=None E_w=None why=empty certificate but L_j <= U_j for all j repairs={}
PASS  chord: empty cell, all cap/atom/Q multipliers zeroed       ok=False kind=empty U=None E_w=None why=empty certificate but L_j <= U_j for all j repairs={}
PASS  light: original worst cell                                 ok=True kind=full U=0.8549743150463496 E_w=5.01505230683725e-05 why=None repairs={}
PASS  light: cellq U3 widened by 1e-6 relative                   ok=False kind=None U=None E_w=None why=spec differs from the regenerated cell repairs={}
PASS  light: phi_0 - 0.05                                        ok=False kind=None U=None E_w=None why=phi >= |r| fails repairs={}
PASS  light: all z * 1.01                                        ok=False kind=full U=0.8597389896482849 E_w=0.00403296051282863 why=U > 171/200 repairs={'main_repaired': 1}
PASS  light: main x-dual y0 - 1e-3 (detect)                      ok=True kind=full U=0.8549743149464506 E_w=5.01505230683725e-05 why=None repairs={'main_repaired': 1}
PASS  light: main cap indices shifted by 1 (detect)              ok=False kind=full U=0.8551090160446256 E_w=5.01505230683725e-05 why=U > 171/200 repairs={'main_repaired': 1}
PASS  light: largest z dropped                                   ok=False kind=full U=1.0478274736950455 E_w=0.13402608195663906 why=U > 171/200 repairs={}
PASS  light: target = U - 1e-9                                   ok=False kind=full U=0.8549743150463496 E_w=5.01505230683725e-05 why=U > 171/200 repairs={}
PASS  light: tangent points q/5 (detect or reject)               ok=False kind=full U=0.8551208658101719 E_w=5.01505230683725e-05 why=U > 171/200 repairs={'main_repaired': 1}
PASS  light: McCormick split on the first index (detect or reject) ok=False kind=full U=1.2242760636175873 E_w=0.3333648106070613 why=U > 171/200 repairs={'main_repaired': 1}
PASS  light: nan in phi                                          ok=False kind=None U=None E_w=None why=exception: ValueError('non-finite number in a certificate') repairs={}
PASS  light: inf in phi                                          ok=False kind=None U=None E_w=None why=exception: ValueError('non-finite number in a certificate') repairs={}
PASS  light: nan in z                                            ok=False kind=None U=None E_w=None why=exception: ValueError('non-finite number in a certificate') repairs={}
PASS  light: inf in z                                            ok=False kind=None U=None E_w=None why=exception: ValueError('non-finite number in a certificate') repairs={}
PASS  light: nan in range y0                                     ok=False kind=None U=None E_w=None why=exception: ValueError('non-finite number in a certificate') repairs={}
PASS  light: inf in range y0                                     ok=False kind=None U=None E_w=None why=exception: ValueError('non-finite number in a certificate') repairs={}
PASS  light: wrong cap order (detect or reject)                  ok=False kind=full U=0.8881570937270856 E_w=0.010664863517418794 why=U > 171/200 repairs={'range_repaired': 28, 'repair_dy_max': 752.2564756583305}
PASS  light: original empty cell L/s10t4                         ok=True kind=empty U=None E_w=None why=None repairs={}
      light: emptiness threshold for a common y0 shift: 8529.89
PASS  light: empty cell, every range y0 + 0.99 * threshold       ok=True kind=empty U=None E_w=None why=None repairs={}
PASS  light: empty cell, every range y0 + 1.01 * threshold       ok=False kind=empty U=None E_w=None why=empty certificate but L_j <= U_j for all j repairs={}
PASS  light: empty certificate transplanted onto L/s15t15        ok=False kind=empty U=None E_w=None why=empty certificate but L_j <= U_j for all j repairs={}
PASS  light: empty cell, all cap/atom/Q multipliers zeroed       ok=False kind=empty U=None E_w=None why=empty certificate but L_j <= U_j for all j repairs={}
PASS  nsplit: original worst cell                                ok=True kind=full U=0.854996980551545 E_w=4.4515797952846015e-09 why=None repairs={'range_repaired': 6, 'repair_dy_max': 1e-13}
PASS  nsplit: spec P_b raised by 1e-6 relative                   ok=False kind=None U=None E_w=None why=spec differs from the regenerated cell repairs={}
      nsplit: s_lo = 0.297439 at N/k35/i0j6; with the cap K_R([theta, A]) <= 1/2 instead of 1/2 - s_lo the same certificate gives ok=False U=0.8554472634232004 (U > 171/200)
PASS  nsplit: phi_0 - 0.05                                       ok=False kind=None U=None E_w=None why=majorant repairs={'range_repaired': 6, 'repair_dy_max': 1e-13}
PASS  nsplit: all z * 1.01                                       ok=False kind=full U=0.8555763227656294 E_w=0.00025128609839299897 why=U > 171/200 repairs={'range_repaired': 6, 'repair_dy_max': 1e-13, 'main_repaired': 1}
PASS  nsplit: main x-dual y0 - 1e-3 (detect)                     ok=True kind=full U=0.8549969804809536 E_w=4.4515797952846015e-09 why=None repairs={'range_repaired': 6, 'repair_dy_max': 1e-13, 'main_repaired': 1}
PASS  nsplit: main cap indices shifted by 1 (detect)             ok=False kind=full U=0.855007719114886 E_w=4.4515797952846015e-09 why=U > 171/200 repairs={'range_repaired': 6, 'repair_dy_max': 1e-13, 'main_repaired': 1}
PASS  nsplit: largest z dropped                                  ok=False kind=full U=0.8795044405991599 E_w=0.024507464499194612 why=U > 171/200 repairs={'range_repaired': 6, 'repair_dy_max': 1e-13}
PASS  nsplit: target = U - 1e-9                                  ok=False kind=full U=0.854996980551545 E_w=4.4515797952846015e-09 why=U > 171/200 repairs={'range_repaired': 6, 'repair_dy_max': 1e-13}
PASS  nsplit: tangent points q/5 (detect or reject)              ok=False kind=full U=0.8550359849973577 E_w=4.4515797952846015e-09 why=U > 171/200 repairs={'range_repaired': 6, 'repair_dy_max': 1e-13, 'main_repaired': 1}
PASS  nsplit: McCormick split on the first index (detect or reject) ok=True kind=full U=0.8549982893811736 E_w=1.0966843636003485e-06 why=None repairs={'range_repaired': 6, 'repair_dy_max': 1e-13}
PASS  nsplit: nan in phi                                         ok=False kind=None U=None E_w=None why=exception: ValueError('non-finite number in a certificate') repairs={'range_repaired': 6, 'repair_dy_max': 1e-13}
PASS  nsplit: inf in phi                                         ok=False kind=None U=None E_w=None why=exception: ValueError('non-finite number in a certificate') repairs={'range_repaired': 6, 'repair_dy_max': 1e-13}
PASS  nsplit: nan in z                                           ok=False kind=None U=None E_w=None why=exception: ValueError('non-finite number in a certificate') repairs={'range_repaired': 6, 'repair_dy_max': 1e-13}
PASS  nsplit: inf in z                                           ok=False kind=None U=None E_w=None why=exception: ValueError('non-finite number in a certificate') repairs={'range_repaired': 6, 'repair_dy_max': 1e-13}
PASS  nsplit: nan in range y0                                    ok=False kind=None U=None E_w=None why=exception: ValueError('non-finite number in a certificate') repairs={'range_repaired': 1, 'repair_dy_max': 1e-13}
PASS  nsplit: inf in range y0                                    ok=False kind=None U=None E_w=None why=exception: ValueError('non-finite number in a certificate') repairs={'range_repaired': 1, 'repair_dy_max': 1e-13}
PASS  nsplit: wrong cap order (detect or reject)                 ok=False kind=full U=0.855024342039643 E_w=4.4515797952846015e-09 why=U > 171/200 repairs={'range_repaired': 6, 'repair_dy_max': 1e-13, 'main_repaired': 1}
PASS  nsplit: original empty cell N/k33/i0j5/q33                 ok=True kind=empty U=None E_w=None why=None repairs={}
      nsplit: emptiness threshold for a common y0 shift: 23743
PASS  nsplit: empty cell, every range y0 + 0.99 * threshold      ok=True kind=empty U=None E_w=None why=None repairs={}
PASS  nsplit: empty cell, every range y0 + 1.01 * threshold      ok=False kind=empty U=None E_w=None why=empty certificate but L_j <= U_j for all j repairs={}
PASS  nsplit: empty certificate transplanted onto N/k35/i0j5/q31 ok=False kind=empty U=None E_w=None why=empty certificate but L_j <= U_j for all j repairs={'range_repaired': 24, 'repair_dy_max': 68867.27750179612}
PASS  nsplit: empty cell, all cap/atom/Q multipliers zeroed      ok=False kind=empty U=None E_w=None why=empty certificate but L_j <= U_j for all j repairs={}
PASS  chord: coverage with C/i1j3/q32 removed -> uncovered ['C/i1j3']
PASS  chord: an extra record below a leaf is flagged (not used: ['C/i0j10/q00/q00'])
PASS  light: coverage with L/s15t15 removed -> uncovered ['L/s15t15']
PASS  light: an extra record below a leaf is flagged (not used: ['L/s0t0/q00'])
PASS  nsplit: coverage with N/k35/i0j6 removed -> uncovered ['N/k35/i0j6']
PASS  nsplit: an extra record below a leaf is flagged (not used: ['N/k0/i0j10/q00'])
72/72 controls behave as required
ALL CONTROLS PASS

real	0m27.995s
user	0m27.844s
sys	0m0.148s
