{
  "study": "PR-02",
  "total_assertions": 82,
  "run_a_total": 18,
  "run_a_pass": 5,
  "run_a_fail": 13,
  "run_b_total": 64,
  "run_b_pass": 28,
  "run_b_fail": 36,
  "evaluable_assertions": 60,
  "non_evaluable_assertions": 22,
  "product_defects_identified": 0,
  "oracle_artifact_count": 37,
  "primary_metric": {
    "name": "Oracle-Artifact Share Among Recorded Failures",
    "numerator": 37,
    "denominator": 49,
    "value": 0.7551,
    "interpretation": "75.5% of all recorded failures were attributed to the verification oracle."
  },
  "sensitivity_metric": {
    "name": "Conservative Oracle-Artifact Rate",
    "numerator": 34,
    "denominator": 55,
    "value": 0.6182,
    "interpretation": "Deliberately expanded failure pool + conservative artifact rejection."
  },
  "run_a_pass_rates": {
    "original": 0.2778,
    "counterfactual_oracle_only": 1.0,
    "conservative_evaluable": 0.9375
  },
  "run_b_pass_rates": {
    "original": 0.4375,
    "counterfactual_oracle_only": 0.7813
  },
  "source_file_hashes": {
    "e2e_final_summary.txt": "b03dae71b81865dc",
    "final_verify_summary.txt": "2fa145e2c1d508fd",
    "PR02_ASSERTION_MASTER_FINAL.csv": "new_hash_pending"
  }
}