{
  "id": "polaris-fla-O0",
  "family": "polaris",
  "optimization": "O0",
  "mode": "stock",
  "true_edges": 22,
  "recovered_edges": 15,
  "true_positive": 14,
  "false_positive": 1,
  "unresolved": 8,
  "precision": 0.9333333333333333,
  "recall": 0.6363636363636364,
  "unit": "Retained IR/C state-region successor pairs including synthetic entry; not raw CFG edges; no conditional polarity proof"
}