[none] cert_k5_d2_s4_A.json: k=5 s=4 free=11 r=2^100
   max|Re/Im E(c0)| = 3.486e-60; max row ||I-YJ|| = 1.564e-119
   (S) max_j LHS/r = 1.193e-28  -> OK
   (K) max_j LHS   = 2.379e-28  -> OK
   min over i of (|Re|+|Im|) of leading coefficient c_i2 at centre = 0.487
   VERDICT: PASS (unique exact solution in the polydisk)   [0.3s]
[shift_re] cert_k5_d2_s4_A.json: k=5 s=4 free=11 r=2^100
   max|Re/Im E(c0)| = 4.600e-29; max row ||I-YJ|| = 1.592e-119
   (S) max_j LHS/r = 1.000e+01  -> FAIL
   (K) max_j LHS   = 2.379e-28  -> OK
   min over i of (|Re|+|Im|) of leading coefficient c_i2 at centre = 0.487
   VERDICT: FAIL   [0.3s]
[shift_im] cert_k5_d2_s4_A.json: k=5 s=4 free=11 r=2^100
   max|Re/Im E(c0)| = 1.737e-29; max row ||I-YJ|| = 1.632e-119
   (S) max_j LHS/r = 1.000e+01  -> FAIL
   (K) max_j LHS   = 2.379e-28  -> OK
   min over i of (|Re|+|Im|) of leading coefficient c_i2 at centre = 0.487
   VERDICT: FAIL   [0.3s]
[fixed_change] cert_k5_d2_s4_A.json: k=5 s=4 free=11 r=2^100
   max|Re/Im E(c0)| = 5.865e-20; max row ||I-YJ|| = 1.546e-119
   (S) max_j LHS/r = 1.525e+11  -> FAIL
   (K) max_j LHS   = 2.379e-28  -> OK
   min over i of (|Re|+|Im|) of leading coefficient c_i2 at centre = 0.487
   VERDICT: FAIL   [0.2s]
[truncate20] cert_k5_d2_s4_A.json: k=5 s=4 free=11 r=2^100
   max|Re/Im E(c0)| = 2.801e-20; max row ||I-YJ|| = 1.539e-119
   (S) max_j LHS/r = 8.401e+09  -> FAIL
   (K) max_j LHS   = 2.379e-28  -> OK
   min over i of (|Re|+|Im|) of leading coefficient c_i2 at centre = 0.487
   VERDICT: FAIL   [0.1s]
[swap] cert_k5_d2_s4_A.json: k=5 s=4 free=11 r=2^100
   max|Re/Im E(c0)| = 1.014e+01; max row ||I-YJ|| = 3.877e-119
   (S) max_j LHS/r = 6.679e+31  -> FAIL
   (K) max_j LHS   = 2.215e-26  -> OK
   min over i of (|Re|+|Im|) of leading coefficient c_i2 at centre = 0.487
   VERDICT: FAIL   [0.3s]
[target2t] cert_k5_d2_s4_A.json: k=5 s=4 free=11 r=2^100
   max|Re/Im E(c0)| = 1.000e+00; max row ||I-YJ|| = 1.564e-119
   (S) max_j LHS/r = 2.067e+30  -> FAIL
   (K) max_j LHS   = 2.379e-28  -> OK
   min over i of (|Re|+|Im|) of leading coefficient c_i2 at centre = 0.487
   VERDICT: FAIL   [0.3s]
[wrong_k] STRUCTURE FAIL: ['not square: 11 free vs 13 equations']
