{
  "status": "PASS",
  "independent_mask_pair_total": "147573952589676413000",
  "score_intervals_checked": 8,
  "exact_headline": "K < 81/128 < 1",
  "distinction": "Imported probability lemmas remain dependencies; this is an arithmetic verifier."
}