check_w6.py transcript -- run in an empty directory containing only the files of this bundle (cegm-x36-w6-2026-09-28-r3), started 2026-09-28T00:40:39Z UTC, finished 2026-09-28T00:40:40Z UTC, exit code 0
$ python3 check_w6.py
PASS  M  manifest: 10/10 files match MANIFEST.json
PASS  L  forms loaded: A,B over 543 pivot symbols; Q5,R5 over 348 weight-five keys (342 in q, 347 in r)
      s_star Q5, R5 (heights 63/66 digits) == Eqs. (93), (94): True; coordinates reproduce the shipped A,B,Q5,R5: True
      s_star two legs agree to 68 digits (shipped 68); A pi^6 + B zeta(3)^2 matches legA to 68 digits (shipped 68)
      s0     A = 142168667/734832000, B = 12936979/97200 == c6 entry of Eq. (33): True; coordinates reproduce the shipped A,B,Q5,R5: True
      s0     two legs agree to 68 digits (shipped 68); A pi^6 + B zeta(3)^2 matches legA to 68 digits (shipped 68)
      s1     A = 191887567/734832000, B = 4645093/24300 == record reference value (not printed in the current paper): True; coordinates reproduce the shipped A,B,Q5,R5: True
      s1     two legs agree to 68 digits (shipped 68); A pi^6 + B zeta(3)^2 matches legA to 68 digits (shipped 68)
      s2     A = 3394367/14696640, B = 197059/1296 == record reference value (not printed in the current paper): True; coordinates reproduce the shipped A,B,Q5,R5: True
      s2     two legs agree to 68 digits (shipped 68); A pi^6 + B zeta(3)^2 matches legA to 68 digits (shipped 68)
PASS  R1 reference points, exact: A, B at s0 equal the c6 entry of Eq. (33) and at s1, s2 the record reference values; Q5, R5 at s* equal Eqs. (93)-(94); all from the shipped coordinates and forms
PASS  R2 reference points, numeric: the two-term form reproduces the two-leg c6 values at s*, s0, s1, s2 to the digits on which the legs agree
PASS  H  held-out battery: 90/90 points pass (two-term form agrees with legA to >= min(30, cert-2) digits; minimum agreement 67 digits); digit counts identical to shipped: agree 90/90, cert 90/90; coordinates reproduce shipped A,B,Q5,R5 90/90
PASS  F  fit points: 190/190 points: coordinates reproduce shipped A,B,Q5,R5 (190/190); two-term form agrees with legA to >= cert-2 digits (minimum 64); digit counts identical to shipped 190/190
== ALL CHECKS PASS (6/6 pass, 1s) ==
