RQ-REF3 light_verify.py; start 2026-10-23 02:24:40 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 nsplit: file nsplit_D14.jsonl.xz md5 0883b5d96a037a6a4d88e64d5a4b9929, 8481 records
  required roots (regenerated from Lemma E): 7956; certificates used: 8481; spec mismatches: 0
  verified 8481 certificates in 37 s: 8476 certified (U <= 171/200), 5 empty, 0 rejected
  roots covered: 7956 / 7956
  largest U = 0.85499698 at N/k35/i0j6 (171/200 - U = 3.019e-06)
  case nsplit: ALL ROOTS COVERED
RESULT: ALL CHECKS PASSED
end 2026-10-23 02:25:18 UTC
