(1) <21|Hc|12> = 2.0000000000000004 ; Hc|12> stays in span{12,21}: True
    T = 0.392585064155: amplitudes cos 0.707268008, sin 0.706945518; Bell infidelity 1 - cos^2(pi/4 - 2T) = 5.200000e-08
(2) Choi: T_CZ(e=2e-08) >= (pi/4 - arccos(1-e))/2 = 0.392599081699 /J
    Choi overlap identity: True
(3) r = 0.1: bound 31.133081/|delta|, found 33.0, ratio 1.059966
(3) r = 0.2: bound 15.566541/|delta|, found 16.5, ratio 1.059966
    IBM cap r=0.1, |delta|=2.07: bound 15.040 ns, found 15.942 ns; 35.6 ns is 2.23-2.37 x the minimum
    falsifier threshold R_X >= (2/pi) arcsin(1-1e-4) = 0.990997
(4) r_full = omegad/|delta| over 1646 qubits: median 0.351, 5-95% [0.241, 0.612], max 1.021
