AUDIT route 1 call closure: ['R_route1', 'moebius', 'perm_formula', 'psi_forms']
AUDIT route 2 call closure: ['R_route2', 'fop_inv', 'fop_mul', 'form_add', 'form_pauli_conditions', 'perm_gates']
AUDIT shared functions: [] (both kernels then go through kernel8/annihilates only)
BASELINE unmutated: exit 0, FAIL lines 0, stdout == expected_stdout.txt: True
M1 | route-1 Clifford deg-2 modulus 4->8 | edit 'CLIFF_MULT = {1: 4, 2: 2}' -> 'CLIFF_MULT = {1: 4, 2: 1}' | exit 1 | FAIL lines 25 | first: FAIL n=5 TOF (m=2, t=1, idle=2): A_pi derived twice (route 1 psi-formula/Moebius, route 2 literal C_3 definition), Lemma-C certified, mutual
M2 | census expected (4,2) sizes 280->281 | edit '(4, 2): [56, 210, 280], (5, 1): []}' -> '(4, 2): [56, 210, 281], (5, 1): []}' | exit 1 | FAIL lines 1 | first: FAIL class list derived twice: nondegenerate GL(m,2)-orbit sizes of t-dim subspaces of Alt(m), m+t<=6: [((2, 1), [1]), ((3, 1), []), ((3, 2)
M3 | EXT rep -> a tangent line | edit '[[(0, 1), (2, 3)], [(0, 1), (0, 2), (1, 3)]]' -> '[[(0, 1), (2, 3)], [(0, 2), (1, 3)]]' | exit 1 | FAIL lines 1 | first: FAIL n=6: the 7 class representatives hit the 7 nondegenerate orbits (m+t<=6) bijectively
M5 | H_pi support includes targets | edit 'cl, H = diag_gens(n, [i for i in range(n) if i not in T])' -> 'cl, H = diag_gens(n, list(range(n)))' | exit 1 | FAIL lines 20 | first: FAIL n=5 TOF (m=2, t=1, idle=2): A_pi = Cliff + Cliff.pi + H_pi (all 56 generators in A_pi, generated subgroup log2 size 48 = 38 by elementa
M6 | expected log2 size of A_pi, TOF n=6, 56->55 | edit "6: {'TOF': 56," -> "6: {'TOF': 55," | exit 1 | FAIL lines 1 | first: FAIL n=6 TOF (m=2, t=1, idle=3): A_pi derived twice (route 1 psi-formula/Moebius, route 2 literal C_3 definition), Lemma-C certified, mutual
M7 | class-C rep -> duplicate Toffoli form | edit "'C':   (3, 2, [[(0, 1)], [(0, 2)]])" -> "'C':   (3, 2, [[(0, 1)], [(0, 1)]])" | exit 1 | FAIL lines 8 | first: FAIL n=5: the 3 class representatives hit the 3 nondegenerate orbits (m+t<=5) bijectively
M8 | cubic term of 7-qubit control removed | edit 'b[6] ^ (b[0] & b[1] & b[2]) ^' -> 'b[6] ^' | exit 1 | FAIL lines 1 | first: FAIL control n=7 cubic permutation (nonzero triple product): a bijection, in C_3 (literal generator check), (dim S_U, dim rad S_U) = (4, 4),
M9 | strict is_pauli accepts S-phases | edit 'if any(v % 4 for v in g):' -> 'if any(v % 2 for v in g):' | exit 1 | FAIL lines 2 | first: FAIL Pauli predicates calibrated (route-2 literal test and concrete test): among all 12288 monomial operators on 2 qubits with phase 0 at |0
M10 | Z-correction search restricted to M=0 | edit 'sols = [al for al in range(1 << len(T))' -> 'sols = [al for al in range(1)' | exit 1 | FAIL lines 10 | first: FAIL n=5 TOF (m=2, t=1, idle=2): all 21 kernel generators literally in C_3, Lagrangian <Z_c, X_tau Z^M_tau> with unique symmetric M
M11 | psi-formula helper (route 1): d_{e_i}(lam o pi) instead of (d_{e_i} lam) o pi | edit 'row[pi[y] ^ (1 << i)] += 1' -> 'row[pi[y ^ (1 << i)]] += 1' | exit 1 | FAIL lines 30 | first: FAIL n=5 TOF (m=2, t=1, idle=2): A_pi derived twice (route 1 psi-formula/Moebius, route 2 literal C_3 definition), Lemma-C certified, mutual
M12 | orbit-census BFS body: new orbit points not expanded | edit 'orb.add(Y); front.append(Y)' -> 'orb.add(Y)' | exit 1 | FAIL lines 3 | first: FAIL class list derived twice: nondegenerate GL(m,2)-orbit sizes of t-dim subspaces of Alt(m), m+t<=6: [((2, 1), [1]), ((3, 1), []), ((3, 2)
M13 | kernel certificate (Lemma C): independence tested on R V_j instead of w_j | edit '((entry(x, j) >> vals[j]) & 1)' -> '(entry(x, j) & 1)' | exit 1 | FAIL lines 25 | first: FAIL n=5 TOF (m=2, t=1, idle=2): A_pi derived twice (route 1 psi-formula/Moebius, route 2 literal C_3 definition), Lemma-C certified, mutual
M14 | Smith search corrupted (V misses the column eliminations); certificate must reject | edit 'for X in A + V:\n            for j in range(r + 1, nc):' -> 'for X in A:\n            for j in range(r + 1, nc):' | exit 1 | FAIL lines 36 | first: FAIL n=5 TOF (m=2, t=1, idle=2): A_pi derived twice (route 1 psi-formula/Moebius, route 2 literal C_3 definition), Lemma-C certified, mutual
M15 | generated-subgroup size by counting generators (3k), not elementary divisors | edit 'return ok, 3 * len(gens) - sk' -> 'return ok, 3 * len(gens)' | exit 1 | FAIL lines 16 | first: FAIL n=5 TOF (m=2, t=1, idle=2): A_pi = Cliff + Cliff.pi + H_pi (all 45 generators in A_pi, generated subgroup log2 size 135 = 38 by element
M16 | generated-subgroup comparison: Cliff.pi omitted from the generating set | edit 'allg = cl + [[g[pi[x]] for x in range(N)] for g in cl[1:]] + H' -> 'allg = cl + H' | exit 1 | FAIL lines 10 | first: FAIL n=5 TOF (m=2, t=1, idle=2): A_pi = Cliff + Cliff.pi + H_pi (all 30 generators in A_pi, generated subgroup log2 size 37 = 38 by elementa
M17 | L-fixing check (fixes_L): X_c instead of Z_c on non-targets | edit 'L = [pauli(n, 0, 1 << c) for c in range(n) if c not in T]' -> 'L = [pauli(n, 1 << c, 0) for c in range(n) if c not in T]' | exit 1 | FAIL lines 10 | first: FAIL n=5 TOF (m=2, t=1, idle=2): pi.D_h fixes every Z_c (c non-target) and X_tau (tau target), all 14 generators h of H_pi
M18 | literal route's Pauli test: relative phases allowed in 2Z_8 (4g=0 instead of 2g=0) | edit 'conds += [form_add({}, g[x], 2), lin]' -> 'conds += [form_add({}, g[x], 4), lin]' | exit 1 | FAIL lines 1 | first: FAIL Pauli predicates calibrated (route-2 literal test and concrete test): among all 12288 monomial operators on 2 qubits with phase 0 at |0
M19 | literal route: inverse operator keeps the phase sign | edit 'sig[y], ph[y] = x, {k: -c % 8 for k, c in A[1][x].items()}' -> 'sig[y], ph[y] = x, {k: c % 8 for k, c in A[1][x].items()}' | exit 1 | FAIL lines 16 | first: FAIL n=5 TOF (m=2, t=1, idle=2): A_pi derived twice (route 1 psi-formula/Moebius, route 2 literal C_3 definition), Lemma-C certified, mutual
M20 | literal route: X_j conjugations skipped (Z_j only) | edit 'for Q in gen:' -> 'for Q in gen[n:]:' | exit 1 | FAIL lines 16 | first: FAIL n=5 TOF (m=2, t=1, idle=2): A_pi derived twice (route 1 psi-formula/Moebius, route 2 literal C_3 definition), Lemma-C certified, mutual
M21 | C5 diagonal check: H_id reduced to T gates (CS, CCZ dropped) | edit 'allg = cl + H' -> 'allg = cl + H[:n]' | exit 1 | FAIL lines 5 | first: FAIL diagonal classification n=2 (pi = id): A_id derived twice, certified, mutually contained; A_id = Cliff + H_id (T, CS, CCZ): all 6 gener
NOTE excluded as provably equivalent (not counted): 'for Q in gen' -> 'for Q in gen[:n]' (Z_j conjugations skipped). For a monomial M = P_s D, if every M X_j M^dag is a translation times a diagonal then s is affine, so M Z_j M^dag = P_s Z_j P_s^dag is already a Pauli; no monomial input separates it.
TOTAL 20 mutants: 20 killed (exit != 0), 0 survived
