PASS Lemma 2.2(a): 100 commuting pairs give partial isometries; 100 generic pairs agree with the criterion  [max defect in commuting case 2.5e-15, min PI-defect of VW in generic case 7.37e-03]
PASS Pauli model: q is a 4x4 magic unitary with non-commuting entries  [max commutator norm 0.707]
PASS Pauli model, J_4: p commutes with A; defects of levels 1..2: 1.3e-16, 3.8e-01
PASS Pauli model, J_4-I_4: p commutes with A; defects of levels 1..2: 1.3e-16, 3.8e-01
PASS Pauli model, A_hub: p commutes with A; defects of levels 1..3: 1.3e-16, 2.4e-16, 3.8e-01
PASS Pauli model, A_7: p commutes with A; defects of levels 1..5: 1.3e-16, 1.3e-16, 1.3e-16, 1.3e-16, 3.8e-01

6/6 checks pass
ALL PASS
