RQ-REF3 light_verify.py; start 2026-10-23 02:24:13 UTC
md5 4f0d5c174641e2f6c0b22d01b7b47116  light_verify.py
window family: 51 positive windows (last [A/R, A]); near: k = 0..35; b/a = 6/5 for all: True; (a+b)^2/(4ab) = 121/120 for all: True
case chord: file chord_D14.jsonl.xz md5 3d7366f952b6d159df4f9dc5cc90b48d, 1212 records
  required roots (regenerated from Lemma E): 60; certificates used: 1212; spec mismatches: 0
  verified 1212 certificates in 7 s: 1046 certified (U <= 171/200), 166 empty, 0 rejected
  roots covered: 60 / 60
  largest U = 0.85495525 at C/i1j3/q32 (171/200 - U = 4.475e-05)
  case chord: ALL ROOTS COVERED
RESULT: ALL CHECKS PASSED
end 2026-10-23 02:24:20 UTC
