{
 "record": "record.json",
 "verifier": "verify_proofloop_eval.py",
 "record_sha256": "cf08bdab536b814d6d9ed937823d0f2d2b160408e0641246f86bb048fdf3b6e2",
 "summary": {
  "split": "FRESH (untouched; rules NOT tuned on it)",
  "big_findings_labelled": 17,
  "rules_only_precision": "8 real + 1 plausible of 17 BIG",
  "ai_net_effect": "removed 0 false alarms, dropped 0 real bugs (the AI returned 'unsure' on the rest)",
  "real_bugs": 8,
  "plausible": 1,
  "false_alarms": 8,
  "ai_false_alarms_removed": "0 of 8",
  "ai_real_bugs_wrongly_demoted": "0 of 8",
  "precision_rules_only": 0.529,
  "precision_after_ai": 0.529,
  "recall_real_kept_after_ai": 1.0,
  "counts": {
   "real_kept": 8,
   "real_demoted": 0,
   "plausible_kept": 1,
   "plausible_demoted": 0,
   "false_kept": 8,
   "false_demoted": 0,
   "no_ai_row": 0
  }
 }
}