(1) second moments
   int_0^1 {1x}^2 dx = 1/3
   int_0^1 {2x}^2 dx = 1/3
   int_0^1 {3x}^2 dx = 1/3
   all = 1/3  (so int|c|^2 dm = int|d|^2 dn in Examples 1-3)
(2') negative control (wrong kernel weights 1/3,2/3): mismatch detected for 15 of the test sets
(2) Example 2: kernels transport both components for all test sets A=B=[0,t], t in Q with den<=12: OK
(2) Example 3: kernels transport both components for all test sets A=B=[0,t], t in Q with den<=12: OK
(3) possible values of h(p) (3 preimage slots, weight 1/3 each): ['0', '1/3', '2/3', '1']  1/2 in set? False
    possible values of g(p) (2 preimage slots, weight 1/2 each): ['0', '1/2', '1']  1/3 in set? False
    possible values for the single-slot fibre (Example 2, T): ['0', '1']  1/2 in set? False
ALL CHECKS PASSED
