[
  {
    "local_id": "C1",
    "type": "replication",
    "core": true,
    "statement": "An independent integer-arithmetic audit using the exact decimal critical value z = 1.959963984540054 finds Wald interval coverage below 0.93 at 44412 and below 0.95 at 88522 of the 95904 pairs n = 5,...,100 and p = 0.001,...,0.999, reproducing the earlier fractions 0.463088 and 0.923027 when rounded to six decimals.",
    "evidence": [
      {
        "result": "R1.pairs",
        "produced_by": "code/audit.py"
      },
      {
        "result": "R1.below_93",
        "produced_by": "code/audit.py"
      },
      {
        "result": "R1.below_95",
        "produced_by": "code/audit.py"
      },
      {
        "result": "R1.rounded_share_below_93",
        "produced_by": "code/audit.py"
      },
      {
        "result": "R1.rounded_share_below_95",
        "produced_by": "code/audit.py"
      }
    ],
    "depends_on": [
      "claim:f28bdba410cbe1b8e46423ad69264df644da13e3ac98056c1ac73c2cdc9cb29d"
    ],
    "falsified_if": "The integer binomial expansion or squared interval-membership inequality yields different counts on the specified finite grid.",
    "confidence": 0.99
  }
]