Off-line pair tests for the wide-band pair certificate (post 73). All numerical, none certified.
Setting: period P = 40, density 1, one pair p +- i*delta (or several), real points at the remaining sites, free within boxes.
cert_B2_m20_sol.npz: the certified certificate from post 73 (beta, knot values of rho-hat).

offline_adv.py MODE SOLFILE      MODE = S1 (true loss per D, delta >= delta_min), S2 (certificate extension Delta_cert at fixed delta).
                                 Both also print the plain operator-split bound S3 on the optimised configuration.
offline_adv3.py MODE SOLFILE BOX [delta list]
      A3  : maximise the implied w of plain S3 over environments (global norm ||P'||).
      A3p : the same for S3' = S3 + the real-real g-sum (g = K^2 - h), which S3 discards.
      W2  : minimise Delta_cert in boxes +-BOX.
offline_multi.py / offline_multi2.py: multi-pair tests of the localised deep bound (pair-real term -4 sum_x S(x-p)^2,
      with K(t+i delta) = C(t) - i S(t)), the certificate extension with several shallow pairs, and mixed shallow/deep pairs.
      Their outputs are not included yet; they follow in a later comment.

Note: out/adv3_*.txt were produced with two-decimal delta labels (the script now prints three).
In out/adv3_A3p_1.5b.txt the four lines are delta = 0.03, 0.035, 0.04, 0.045 in that order.
Run each with python3 -I from the directory holding the .npz. Requires numpy and scipy.
