[none] cert_k7_d2_s6_A.json: k=7 s=6 free=15 r=2^100
   max|Re/Im E(c0)| = 1.594e-58; max row ||I-YJ|| = 6.512e-118
   (S) max_j LHS/r = 7.858e-26  -> OK
   (K) max_j LHS   = 1.572e-25  -> OK
   min over i of (|Re|+|Im|) of leading coefficient c_i2 at centre = 0.140
   VERDICT: PASS (unique exact solution in the polydisk)   [0.6s]
[shift_re] cert_k7_d2_s6_A.json: k=7 s=6 free=15 r=2^100
   max|Re/Im E(c0)| = 2.263e-29; max row ||I-YJ|| = 6.143e-118
   (S) max_j LHS/r = 1.000e+01  -> FAIL
   (K) max_j LHS   = 1.572e-25  -> OK
   min over i of (|Re|+|Im|) of leading coefficient c_i2 at centre = 0.140
   VERDICT: FAIL   [0.6s]
[shift_im] cert_k7_d2_s6_A.json: k=7 s=6 free=15 r=2^100
   max|Re/Im E(c0)| = 9.154e-28; max row ||I-YJ|| = 5.710e-118
   (S) max_j LHS/r = 1.000e+01  -> FAIL
   (K) max_j LHS   = 1.572e-25  -> OK
   min over i of (|Re|+|Im|) of leading coefficient c_i2 at centre = 0.140
   VERDICT: FAIL   [0.6s]
[fixed_change] cert_k7_d2_s6_A.json: k=7 s=6 free=15 r=2^100
   max|Re/Im E(c0)| = 7.253e-19; max row ||I-YJ|| = 7.075e-118
   (S) max_j LHS/r = 8.668e+10  -> FAIL
   (K) max_j LHS   = 1.572e-25  -> OK
   min over i of (|Re|+|Im|) of leading coefficient c_i2 at centre = 0.140
   VERDICT: FAIL   [0.7s]
[truncate20] cert_k7_d2_s6_A.json: k=7 s=6 free=15 r=2^100
   max|Re/Im E(c0)| = 1.628e-18; max row ||I-YJ|| = 6.842e-118
   (S) max_j LHS/r = 9.892e+09  -> FAIL
   (K) max_j LHS   = 1.572e-25  -> OK
   min over i of (|Re|+|Im|) of leading coefficient c_i2 at centre = 0.140
   VERDICT: FAIL   [0.4s]
[swap] cert_k7_d2_s6_A.json: k=7 s=6 free=15 r=2^100
   max|Re/Im E(c0)| = 8.295e+01; max row ||I-YJ|| = 4.877e-118
   (S) max_j LHS/r = 7.512e+29  -> FAIL
   (K) max_j LHS   = 7.987e-26  -> OK
   min over i of (|Re|+|Im|) of leading coefficient c_i2 at centre = 0.140
   VERDICT: FAIL   [0.6s]
[target2t] cert_k7_d2_s6_A.json: k=7 s=6 free=15 r=2^100
   max|Re/Im E(c0)| = 1.000e+00; max row ||I-YJ|| = 6.512e-118
   (S) max_j LHS/r = 1.185e+30  -> FAIL
   (K) max_j LHS   = 1.572e-25  -> OK
   min over i of (|Re|+|Im|) of leading coefficient c_i2 at centre = 0.140
   VERDICT: FAIL   [0.6s]
[wrong_k] STRUCTURE FAIL: ['not square: 15 free vs 17 equations']
