Part A: cluster-configuration enumeration ([[n,3,>=3]], n-3 generators of weight<=4)
  n= 3: leaves=0 profile=0 parity=0 refined=0
  n= 4: leaves=0 profile=0 parity=0 refined=0
  n= 5: leaves=0 profile=0 parity=0 refined=0
  n= 6: leaves=1 profile=0 parity=0 refined=0
  n= 7: leaves=11 profile=0 parity=0 refined=0
  n= 8: leaves=97 profile=0 parity=0 refined=0
  n= 9: leaves=717 profile=0 parity=0 refined=0
  n=10: leaves=4692 profile=6 parity=4 refined=0
  n=11: leaves=28032 profile=244 parity=114 refined=0
  n=12: leaves=155364 profile=3236 parity=1614 refined=191   (n=12 is a control outside the claim: the conditions alone do not exclude it)
  Part A verdict: no admissible configuration for any n in 3..11
Part B: positive controls (every condition must hold on real distance->=3 codes)
  3x[[5,1,3]] (n=15,k=3, weight 4): {'sizes': [1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1], 'r': 12, 'maxw': 4, 'ok': True, 'failed': []}
  repetition-extended [[6,1,3]] (Z4Z5 in S): min undetected weight 3 {'sizes': [1, 1, 1, 1, 2], 'r': 4, 'maxw': 4, 'ok': True, 'failed': []}
  Steane [[7,1,3]]: {'sizes': [1, 1, 1, 1, 1, 1, 1], 'r': 6, 'maxw': 4, 'ok': True, 'failed': []}
  repetition-extended [[5,1,3]] q0->size3: n=7 min undetected weight 3 {'sizes': [1, 1, 1, 1, 3], 'r': 4, 'maxw': 4, 'ok': True, 'failed': []}
  repetition-extended [[5,1,3]] q0,q3->size2,size2: n=7 min undetected weight 3 {'sizes': [1, 1, 1, 2, 2], 'r': 4, 'maxw': 4, 'ok': True, 'failed': []}
  repetition-extended Steane q2->size2: n=8 min undetected weight 3 {'sizes': [1, 1, 1, 1, 1, 1, 2], 'r': 6, 'maxw': 4, 'ok': True, 'failed': []}
  repetition-extended Steane q0->size2,q6->size3: n=10 min undetected weight 3 {'sizes': [1, 1, 1, 1, 1, 2, 3], 'r': 6, 'maxw': 4, 'ok': True, 'failed': []}
  random battery n=7 with Z0Z1 forced, generator weights<=5: tested=75 skipped={'weight1': 7} clusterings={(1, (1, 2, 2, 2)): 8, (1, (1, 1, 1, 1, 1, 2)): 32, (1, (1, 1, 1, 2, 2)): 28} violations=0
CHECKER RESULT: PASS
