Thu Oct 22 11:12:06 PM UTC 2026
  [    16s] verified 200/1273
  [    35s] verified 400/1273
  [    53s] verified 600/1273
  [    73s] verified 800/1273
  [    90s] verified 1000/1273
  [   108s] verified 1200/1273
{
 "case": "light",
 "source": "cover_final/light_vl025_D18.jsonl.xz",
 "roots": 537,
 "covered_roots": 537,
 "uncovered_roots": [],
 "certificates_used": 1273,
 "verified_ok": 1273,
 "empty": 60,
 "rejected": [],
 "max_U": 0.8549743150463496,
 "target": 0.855,
 "spec_mismatch": [],
 "quick": false
}
Thu Oct 22 11:14:01 PM UTC 2026
RQBCHECKDONE
