[none] cert_k8_d2_s6_A.json: k=8 s=6 free=17 r=2^100
   max|Re/Im E(c0)| = 2.828e-59; max row ||I-YJ|| = 2.434e-118
   (S) max_j LHS/r = 5.279e-26  -> OK
   (K) max_j LHS   = 1.056e-25  -> OK
   min over i of (|Re|+|Im|) of leading coefficient c_i2 at centre = 0.364
   VERDICT: PASS (unique exact solution in the polydisk)   [1.2s]
[shift_re] cert_k8_d2_s6_A.json: k=8 s=6 free=17 r=2^100
   max|Re/Im E(c0)| = 5.777e-29; max row ||I-YJ|| = 2.028e-118
   (S) max_j LHS/r = 1.000e+01  -> FAIL
   (K) max_j LHS   = 1.056e-25  -> OK
   min over i of (|Re|+|Im|) of leading coefficient c_i2 at centre = 0.364
   VERDICT: FAIL   [1.2s]
[shift_im] cert_k8_d2_s6_A.json: k=8 s=6 free=17 r=2^100
   max|Re/Im E(c0)| = 2.854e-28; max row ||I-YJ|| = 2.544e-118
   (S) max_j LHS/r = 1.000e+01  -> FAIL
   (K) max_j LHS   = 1.056e-25  -> OK
   min over i of (|Re|+|Im|) of leading coefficient c_i2 at centre = 0.364
   VERDICT: FAIL   [1.2s]
[fixed_change] cert_k8_d2_s6_A.json: k=8 s=6 free=17 r=2^100
   max|Re/Im E(c0)| = 2.721e-19; max row ||I-YJ|| = 2.908e-118
   (S) max_j LHS/r = 2.121e+11  -> FAIL
   (K) max_j LHS   = 1.056e-25  -> OK
   min over i of (|Re|+|Im|) of leading coefficient c_i2 at centre = 0.364
   VERDICT: FAIL   [1.1s]
[truncate20] cert_k8_d2_s6_A.json: k=8 s=6 free=17 r=2^100
   max|Re/Im E(c0)| = 4.157e-19; max row ||I-YJ|| = 2.967e-118
   (S) max_j LHS/r = 1.171e+10  -> FAIL
   (K) max_j LHS   = 1.056e-25  -> OK
   min over i of (|Re|+|Im|) of leading coefficient c_i2 at centre = 0.364
   VERDICT: FAIL   [0.6s]
[swap] cert_k8_d2_s6_A.json: k=8 s=6 free=17 r=2^100
   max|Re/Im E(c0)| = 1.566e+01; max row ||I-YJ|| = 2.726e-118
   (S) max_j LHS/r = 2.184e+30  -> FAIL
   (K) max_j LHS   = 1.963e-26  -> OK
   min over i of (|Re|+|Im|) of leading coefficient c_i2 at centre = 0.364
   VERDICT: FAIL   [1.1s]
[target2t] cert_k8_d2_s6_A.json: k=8 s=6 free=17 r=2^100
   max|Re/Im E(c0)| = 1.000e+00; max row ||I-YJ|| = 2.434e-118
   (S) max_j LHS/r = 2.036e+30  -> FAIL
   (K) max_j LHS   = 1.056e-25  -> OK
   min over i of (|Re|+|Im|) of leading coefficient c_i2 at centre = 0.364
   VERDICT: FAIL   [1.1s]
[wrong_k] STRUCTURE FAIL: ['not square: 17 free vs 19 equations']
