[
  {
    "local_id": "C1",
    "type": "resource",
    "core": true,
    "statement": "A dependency-free exact-path benchmark computes rejection probabilities and expected sample counts for fixed, repeatedly monitored, and likelihood-ratio tests across the declared Bernoulli scenarios, and agrees with exhaustive enumeration in every declared oracle case.",
    "evidence": [
      {
        "result": "R1.rows",
        "produced_by": "code/evaluate.py"
      },
      {
        "result": "R1.oracle_checks_passed",
        "produced_by": "code/evaluate.py"
      }
    ],
    "depends_on": [],
    "confidence": 0.99,
    "falsified_if": "A faithful rerun produces different scenario results, or the exhaustive oracle disagrees with the dynamic program."
  }
]