Thu Oct 22 11:11:12 PM UTC 2026
  [     9s] verified 200/1212
  [    19s] verified 400/1212
  [    28s] verified 600/1212
  [    38s] verified 800/1212
  [    45s] verified 1000/1212
  [    53s] verified 1200/1212
{
 "case": "chord",
 "source": "cover_final/chord_D14.jsonl.xz",
 "roots": 60,
 "covered_roots": 60,
 "uncovered_roots": [],
 "certificates_used": 1212,
 "verified_ok": 1212,
 "empty": 166,
 "rejected": [],
 "max_U": 0.8549552502410571,
 "target": 0.855,
 "spec_mismatch": [],
 "quick": false
}
Thu Oct 22 11:12:06 PM UTC 2026
