{
  "specimen": {
    "original_ml": {
      "exact": "1",
      "decimal": 1.0
    },
    "available_ml": {
      "exact": "1",
      "decimal": 1.0
    },
    "a": {
      "exact": "9/20",
      "decimal": 0.45
    },
    "b": {
      "exact": "9/20",
      "decimal": 0.45
    },
    "single": {
      "exact": "19/20",
      "decimal": 0.95
    }
  },
  "policy": {
    "K": 6,
    "m": 9,
    "alpha": {
      "exact": "1/20",
      "decimal": 0.05
    },
    "H": {
      "exact": "1771561/64000000",
      "decimal": 0.027680640625
    },
    "bound": {
      "exact": "1801439850948198400000000000000000000000000000000000000000000/36117491285095321790681716795912889337489435355502085681444831",
      "decimal": 0.049877214248587695
    },
    "maximizer": {
      "exact": "6400000/6914271",
      "decimal": 0.925621804525741
    },
    "adversary": [
      [
        {
          "exact": "514271/6914271",
          "decimal": 0.07437819547425896
        },
        {
          "exact": "0",
          "decimal": 0.0
        },
        {
          "exact": "0",
          "decimal": 0.0
        }
      ],
      [
        {
          "exact": "6400000/6914271",
          "decimal": 0.925621804525741
        },
        {
          "exact": "1",
          "decimal": 1.0
        },
        {
          "exact": "0",
          "decimal": 0.0
        }
      ],
      [
        {
          "exact": "0",
          "decimal": 0.0
        },
        {
          "exact": "0",
          "decimal": 0.0
        },
        {
          "exact": "1",
          "decimal": 1.0
        }
      ],
      [
        {
          "exact": "0",
          "decimal": 0.0
        },
        {
          "exact": "1",
          "decimal": 1.0
        },
        {
          "exact": "1",
          "decimal": 1.0
        }
      ]
    ]
  },
  "illustrative_complete_record": {
    "issued": true,
    "statement": "fewer than 6 original targets",
    "joint_false_exclusion_upper": {
      "exact": "1801439850948198400000000000000000000000000000000000000000000/36117491285095321790681716795912889337489435355502085681444831",
      "decimal": 0.049877214248587695
    },
    "scope": "Prespecified single experiment under the model; not a posterior probability or proof of zero targets."
  },
  "missing_record": {
    "issued": false,
    "reason": "incomplete or invalid reference record"
  },
  "reference_budget": {
    "preparations": 18,
    "exact_native_targets": 18,
    "external_input_ml": {
      "exact": "9",
      "decimal": 9.0
    }
  },
  "synthetic_moments": [
    {
      "exact": "4/5",
      "decimal": 0.8
    },
    {
      "exact": "4/5",
      "decimal": 0.8
    },
    {
      "exact": "16/25",
      "decimal": 0.64
    }
  ],
  "synthetic_reference_outcomes": {
    "00": {
      "exact": "1/25",
      "decimal": 0.04
    },
    "10": {
      "exact": "4/25",
      "decimal": 0.16
    },
    "01": {
      "exact": "4/25",
      "decimal": 0.16
    },
    "11": {
      "exact": "16/25",
      "decimal": 0.64
    }
  },
  "configured_observation_bound": {
    "exact": "11551974532838142934789629523001152641266663878019665077145202985279904591582067235044709449739756235693049908141947601/231151944224610059460362987493842491759932386275213348361246918400000000000000000000000000000000000000000000000000000000",
    "decimal": 0.04997567540082252
  },
  "clean_negative_controls": {
    "pairs": 898,
    "previous_fails": true,
    "coverage_failure": {
      "exact": "1/20",
      "decimal": 0.05
    },
    "note": "A 95% bound for kappa is a separate confidence statement. Its failure probability must be budgeted before using it in a reporting guarantee."
  },
  "moment_comparison_reference": {
    "single": {
      "exact": "101/500",
      "decimal": 0.202
    },
    "split_low_q": {
      "exact": "179/1250",
      "decimal": 0.1432
    },
    "split_high_q": {
      "exact": "4079/20000",
      "decimal": 0.20395
    },
    "switch_q": {
      "exact": "106/135",
      "decimal": 0.7851851851851852
    }
  },
  "simulation": [
    {
      "source": "synthetic",
      "replicates": 2000,
      "gate_passes": 1365,
      "negative_targets": 93,
      "exclusions": 59,
      "analytic_joint": {
        "exact": "50419768908054528/1490116119384765625",
        "decimal": 0.033836134145620596
      },
      "evidence": "Seeded illustration only; exact theorem bound, not Monte Carlo frequency, authorizes reporting."
    },
    {
      "source": "sharp-adversary",
      "replicates": 2000,
      "gate_passes": 1011,
      "negative_targets": 206,
      "exclusions": 110,
      "analytic_joint": {
        "exact": "1801439850948198400000000000000000000000000000000000000000000/36117491285095321790681716795912889337489435355502085681444831",
        "decimal": 0.049877214248587695
      },
      "evidence": "Seeded illustration only; exact theorem bound, not Monte Carlo frequency, authorizes reporting."
    }
  ],
  "assumptions": [
    "One shared latent state per specimen; targets independent conditional on that state.",
    "Reference pairs independent of one another and the future specimen, with the same source law.",
    "Exactly one native target per usable reference input unless explicitly using the Poisson model.",
    "One prespecified gate and report; no retry-until-pass or postselection of pairs.",
    "Batch results require independent future specimens; marginal error is not familywise error.",
    "Designed model values; no measured assay, clinical validation or rerun of Lean."
  ]
}