Mutation report for check_eight_copy_ccz.py: 25 single-point mutants (each must exit nonzero) and 6 equivalent edits (each must exit 0).
baseline (unmutated): exit 0, FAIL lines 0, stdout identical to expected_stdout.txt: yes

M01 B mask E2 = {0,3,4,5} -> {1,3,4,5} (another rank-one leaf, different state)
    edit: 'bits(0, 3, 4, 5)' -> 'bits(1, 3, 4, 5)'
    exit 1 | FAIL lines 6 | first: FAIL [C2] sector Z: Pi_L u_w = 0 for w not in {2,6}, Pi_L u_2 = -Pi_L u_6 = chi_L/2 with chi_L = sum over 8 strings e_i+e_j of |e_i+e_j> - |complement
M02 leaf B accepts the +1 outcome of P^E2 (wrong-sign B)
    edit: 'pt(P, E2, -1)' -> 'pt(P, E2, +1)'
    exit 1 | FAIL lines 4 | first: FAIL [C1] completeness: the 13 leaf projectors sum to the identity on (C^2)^(x)8 (all 256 columns, exact)
M03 leaf A1 filter sign -P^E1 -> +P^E1
    edit: '"A1": r + [pt(P, E1, -1)' -> '"A1": r + [pt(P, E1, +1)'
    exit 1 | FAIL lines 3 | first: FAIL [C1] completeness: the 13 leaf projectors sum to the identity on (C^2)^(x)8 (all 256 columns, exact)
M04 sector Y root outcome (-1,-1) -> (+1,-1)
    edit: '"Y": (-1, -1)' -> '"Y": (+1, -1)'
    exit 1 | FAIL lines 3 | first: FAIL [C1] completeness: the 13 leaf projectors sum to the identity on (C^2)^(x)8 (all 256 columns, exact)
M05 split measurement P_0P_1 -> P_1
    edit: 'bits(0, 1), bits(0, 1, 4, 6)' -> 'bits(1), bits(0, 1, 4, 6)'
    exit 1 | FAIL lines 1 | first: FAIL [C1] instrument: 13 leaves (9 accepted); on every path the measured Paulis are Hermitian and commute pairwise
M06 rejection leaf (+1,+1) of the root dropped
    edit: ' + [[(ALL8, 0, +1), (0, ALL8, +1)]]' -> ''
    exit 1 | FAIL lines 2 | first: FAIL [C1] instrument: 13 leaves (9 accepted); on every path the measured Paulis are Hermitian and commute pairwise
M07 Pauli phase i^{|x&z|} dropped (Y0Y1 changes sign)
    edit: 'ph = s * (1 - 2 * ((POP[x & z] // 2) & 1))' -> 'ph = s'
    exit 1 | FAIL lines 2 | first: FAIL [G] conventions: the Pauli routine equals the Kronecker product of 2x2 matrices (qubit q = bit q; Y = [[0,-i],[i,0]]) for Y0Y1Y2Y3, X0Z1Y2Y3, Y0Y
M08 sector direction E_Z = u2 - u6 -> u2 + u6
    edit: 'EZ = [p - q for p, q in zip(U[2], U[6])]' -> 'EZ = [p + q for p, q in zip(U[2], U[6])]'
    exit 1 | FAIL lines 3 | first: FAIL [C3] capture: <E_P|Pi_L|E_P> = 2/7 for all 9 accepted leaves, so per sector A1+A2 keep 4/7 and A1+A2+B keep 6/7 of E_P (E_Z = (D2-D6)/sqrt2, E_X 
M09 decoder D_B gate CX(4,0) -> CX(4,2)
    edit: '("cx", 4, 0)' -> '("cx", 4, 2)'
    exit 1 | FAIL lines 3 | first: FAIL [C4] decoders, sector Z: the explicit circuits D_A1, D_A2, D_B (17, 17, 21 gates of CX, X, H) map chi_A1, chi_A2, chi_B exactly to multiples of |
M10 decoder D_A1 gate X_0 -> X_1
    edit: '("h", 0), ("x", 0),' -> '("h", 0), ("x", 1),'
    exit 1 | FAIL lines 3 | first: FAIL [C4] decoders, sector Z: the explicit circuits D_A1, D_A2, D_B (17, 17, 21 gates of CX, X, H) map chi_A1, chi_A2, chi_B exactly to multiples of |
M11 decoder D_B gate CX(6,3) deleted
    edit: '("cx", 4, 3), ("cx", 6, 3),' -> '("cx", 4, 3),'
    exit 1 | FAIL lines 3 | first: FAIL [C4] decoders, sector Z: the explicit circuits D_A1, D_A2, D_B (17, 17, 21 gates of CX, X, H) map chi_A1, chi_A2, chi_B exactly to multiples of |
M12 Hadamard convention [[1,1],[1,-1]] -> [[1,1],[-1,1]]
    edit: 'v[i & ~b] - v[i]' -> 'v[i] - v[i & ~b]'
    exit 1 | FAIL lines 4 | first: FAIL [G] conventions: the Pauli routine equals the Kronecker product of 2x2 matrices (qubit q = bit q; Y = [[0,-i],[i,0]]) for Y0Y1Y2Y3, X0Z1Y2Y3, Y0Y
M13 CNOT control and target exchanged
    edit: 'v[i ^ (((i >> c) & 1) << t)]' -> 'v[i ^ (((i >> t) & 1) << c)]'
    exit 1 | FAIL lines 4 | first: FAIL [G] conventions: the Pauli routine equals the Kronecker product of 2x2 matrices (qubit q = bit q; Y = [[0,-i],[i,0]]) for Y0Y1Y2Y3, X0Z1Y2Y3, Y0Y
M14 target phase (-1)^{x1x2x3} -> (-1)^{x1x2}
    edit: '(i >> a) & (i >> b) & (i >> c) & 1' -> '(i >> a) & (i >> b) & 1'
    exit 1 | FAIL lines 4 | first: FAIL [C4] decoders, sector Z: the explicit circuits D_A1, D_A2, D_B (17, 17, 21 gates of CX, X, H) map chi_A1, chi_A2, chi_B exactly to multiples of |
M15 per-leaf form, sector X: (v1-v3) -> (v1+v3)
    edit: '"X": outer(1, Vm, Vm)' -> '"X": outer(1, Vp, Vp)'
    exit 1 | FAIL lines 1 | first: FAIL [C5] per-leaf forms <u_w|Pi_L|u_w'>: sector Z 4 v2v2^T, sector X (v1-v3)(v1-v3)^T, sector Y (v1+v3)(v1+v3)^T (v_k = e_k - e_{k+4})
M16 Hermitian-form identity: 6 -> 7
    edit: 'check(NTOT == [[6 * c' -> 'check(NTOT == [[7 * c'
    exit 1 | FAIL lines 1 | first: FAIL [C5] total: N = sum over the 9 accepted leaves = 6 (v1v1^T + 2 v2v2^T + v3v3^T) exactly (9x9 over Q)
M17 Bloch z = |a|^2 - |b|^2 -> |a|^2 + |b|^2
    edit: 'bz, nn = A * b + a * B, const(0, -1) * (A * b - a * B), a * A - b * B,' -> 'bz, nn = A * b + a * B, const(0, -1) * (A * b - a * B), a * A + b * B,'
    exit 1 | FAIL lines 1 | first: FAIL [C6] Bloch conversion (polynomial identities over Q(i)): x + iy = 2 conj(a) b, x^2+y^2+z^2 = |psi|^4 and (|psi|^12 - x^6-y^6-z^6)/2 = 6|f6|^2 = (
M18 sextic f6 = ab(a^4 - b^4) -> ab(a^4 + b^4)
    edit: 'f6, F6 = a ** 5 * b - a * b ** 5,' -> 'f6, F6 = a ** 5 * b + a * b ** 5,'
    exit 1 | FAIL lines 3 | first: FAIL [C6] Bloch conversion (polynomial identities over Q(i)): x + iy = 2 conj(a) b, x^2+y^2+z^2 = |psi|^4 and (|psi|^12 - x^6-y^6-z^6)/2 = 6|f6|^2 = (
M19 polynomial product: imaginary cross term sign
    edit: 'u[1] + v1[0] * v2[1] + v1[1] * v2[0]' -> 'u[1] + v1[0] * v2[1] - v1[1] * v2[0]'
    exit 1 | FAIL lines 1 | first: FAIL [C6] Bloch conversion (polynomial identities over Q(i)): x + iy = 2 conj(a) b, x^2+y^2+z^2 = |psi|^4 and (|psi|^12 - x^6-y^6-z^6)/2 = 6|f6|^2 = (
M20 point evaluation: m_3 exponent 6 -> 4
    edit: '(1 - x1 ** 6 - y1 ** 6 - z1 ** 6) / 2' -> '(1 - x1 ** 4 - y1 ** 4 - z1 ** 4) / 2'
    exit 1 | FAIL lines 1 | first: FAIL [C7] direct exact evaluation of sum_L ||Pi_L psi^8||^2 at psi = (1, 2+i), (2-i, 3), (1+2i, 1-i): p = m_3 from the Bloch vector, and the A-leaves 
M21 point evaluation: Bloch y sign of the cross term
    edit: '2 * (al[0] * be[1] - al[1] * be[0])' -> '2 * (al[0] * be[1] + al[1] * be[0])'
    exit 1 | FAIL lines 1 | first: FAIL [C7] direct exact evaluation of sum_L ||Pi_L psi^8||^2 at psi = (1, 2+i), (2-i, 3), (1+2i, 1-i): p = m_3 from the Bloch vector, and the A-leaves 
M22 positive control: RL coefficient 4 -> 5
    edit: 'NRL == [[4 * c' -> 'NRL == [[5 * c'
    exit 1 | FAIL lines 1 | first: FAIL [C8] positive control: the six A-leaves alone give N_RL = 4(v1v1^T + 2v2v2^T + v3v3^T), i.e. 4|f6|^2|psi|^4 = (2/3) m_3, the value of Rizzo-Leone
M23 negative control: T3 = {0,1,4,6} -> {0,1,4,5} (not a transversal of the four pairs)
    edit: 'bits(0, 1, 4, 6)' -> 'bits(0, 1, 4, 5)'
    exit 1 | FAIL lines 1 | first: FAIL [C8] negative control: the leaf (+Z^E1, +Z^E2, -Z^{0,1,4,6}) is rank one with capture 1/7, but its state chi_C (pairs 03,12,45,67) is a stabilize
M24 negative control: -Z^T3 -> +Z^T3
    edit: 'pt("Z", T3, -1)' -> 'pt("Z", T3, +1)'
    exit 1 | FAIL lines 1 | first: FAIL [C8] negative control: the leaf (+Z^E1, +Z^E2, -Z^{0,1,4,6}) is rank one with capture 1/7, but its state chi_C (pairs 03,12,45,67) is a stabilize
M25 negative control: rejected leaf replaced by B in the sector-Z image test
    edit: 'IMR = [proj(U[w], LV["Z"]["R"])' -> 'IMR = [proj(U[w], LV["Z"]["B"])'
    exit 1 | FAIL lines 1 | first: FAIL [C8] negative control: B with the opposite P^E2 outcome (the rejected leaf) has rank 2 on Sym^8 in every sector, not rank one; in sector Z its im

Equivalent edits (must still PASS):
Q01 E2 -> E1 xor E2 = {1,2,4,5}: identical leaf projectors on the branch +P^E1
    edit: 'bits(0, 3, 4, 5)' -> 'bits(1, 2, 4, 5)'
    exit 0 | FAIL lines 0 | stdout identical to expected: yes
Q02 E2 -> {0,3,6,7}: identical projectors (P^{4567} = P^E1 P^(x)8 = +1 on the branch)
    edit: 'bits(0, 3, 4, 5)' -> 'bits(0, 3, 6, 7)'
    exit 0 | FAIL lines 0 | stdout identical to expected: yes
Q03 T3 -> {2,3,4,6}: another transversal of the pairs 03,12,45,67 (same negative-control leaf state)
    edit: 'bits(0, 1, 4, 6)' -> 'bits(2, 3, 4, 6)'
    exit 0 | FAIL lines 0 | stdout identical to expected: yes
Q04 R^dag -> R in the sector-Y decoder (R^(x)8 R^(x)8 = X^(x)8 = -1 on sector-Z leaf states)
    edit: 'r_all((CHI[("Y", k)], ZERO), -1)' -> 'r_all((CHI[("Y", k)], ZERO), +1)'
    exit 0 | FAIL lines 0 | stdout identical to expected: yes
Q05 Y -> -Y in the Kronecker reference (only even-weight Y strings occur)
    edit: '"Y": {(0, 1): (0, -1), (1, 0): (0, 1)}' -> '"Y": {(0, 1): (0, 1), (1, 0): (0, -1)}'
    exit 0 | FAIL lines 0 | stdout identical to expected: yes
Q06 two commuting CNOTs of D_B reordered
    edit: '("cx", 4, 5), ("cx", 6, 7)' -> '("cx", 6, 7), ("cx", 4, 5)'
    exit 0 | FAIL lines 0 | stdout identical to expected: yes

summary: 25/25 mutants exit nonzero; survivors: none; equivalent edits passing: 6/6
