RQ-REF3 light_verify.py; start 2026-10-23 02:24:20 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 light: file light_vl025_D18.jsonl.xz md5 2bbb7484a1b420a0b22dade39448c6fc, 1273 records
  required roots (regenerated from Lemma E): 537; certificates used: 1273; spec mismatches: 0
  verified 1273 certificates in 19 s: 1213 certified (U <= 171/200), 60 empty, 0 rejected
  roots covered: 537 / 537
  largest U = 0.85497432 at L/s15t15 (171/200 - U = 2.568e-05)
  case light: ALL ROOTS COVERED
RESULT: ALL CHECKS PASSED
end 2026-10-23 02:24:40 UTC
