{
  "manuscript_sha256": "a30348c7b611dc86e0435ca9aa69eeaafaeb26bd6992488937114d9f71f78f1d",
  "configured_rates": {
    "birth": [
      0.0,
      0.1
    ],
    "death": [
      0.3,
      0.0
    ],
    "switching": [
      0.001,
      1e-05
    ]
  },
  "configured_moments": {
    "mean": 0.5186169458455347,
    "A": 0.321626786178914,
    "variance_actual": 1.0875939888414112,
    "variance_scalar": 0.5832556124278373,
    "scalar_over_actual": 0.5362806510627794,
    "founder_limit": 0.8487997561615657,
    "defect_identity_error": 1.2434497875801753e-14,
    "mean_identity_error": 2.220446049250313e-16
  },
  "exact_paper_witness": {
    "actual_tail_at_least_three": "151415045117539070312500/3001800450060004500180003",
    "actual_coverage_at_most_two_upper": "2850385404942465429867503/3001800450060004500180003",
    "geometric_upper_at_two": "142232503/150045003",
    "actual_coverage_at_most_three_lower": "467880212635/481696324816",
    "scalar_coverage_at_most_two_lower": "332/343",
    "actual_variance_lower": "487556732813619898056609881/600360090012000900036000600",
    "scalar_variance_upper": "11/16",
    "variance_ratio_upper": "55/64",
    "mean_box": "11/20",
    "birth_parameter_box": "2/5",
    "polynomial": "179*x**3/50 - 32099*x**2/5000 + 3457*x/2000 + 25897/10000",
    "bernstein_coefficients": [
      "2292/625",
      "41292/625",
      "10987/625",
      "39713/625",
      "12938273/2500",
      "28405139/1250",
      "54190307/1250",
      "26139962/625",
      "174528933/10000",
      "131199/1250",
      "58443/2000",
      "836124/625"
    ],
    "markov_only_endpoint": 10,
    "minimal_one_sided_95_endpoint": 3,
    "scope": "Fixed published positive-switching witness only. Exact rational/polynomial replay plus imported analytic process arguments; no Lean replay."
  },
  "configured_one_founder": {
    "coverage_0_2": 0.9475977178220165,
    "coverage_0_3": 0.9738271217718983,
    "scalar_coverage_0_2": 0.9767606150981011
  },
  "founders": [
    {
      "scalar_interval": [
        0,
        2
      ],
      "scalar_own_coverage": 0.9767606150981011,
      "actual_coverage": 0.9475977178220165,
      "actual_one_sided_endpoint": 3,
      "actual_one_sided_coverage": 0.9738271217718983,
      "actual_previous_coverage": 0.9475977178220165,
      "actual_mass_deficit": 6.661338147750939e-16,
      "scalar_mass_deficit": 2.220446049250313e-16,
      "scope": "Numerical quantiles and coverage, not a validated probability enclosure. One-sided repair is a distinct interval convention.",
      "founders": 1,
      "plating": 1.0,
      "mean": 0.5186169458455347,
      "variance_actual": 1.0875939888414112,
      "variance_scalar": 0.5832556124278373,
      "scalar_over_actual": 0.5362806510627794
    },
    {
      "scalar_interval": [
        0,
        4
      ],
      "scalar_own_coverage": 0.9910707631172725,
      "actual_coverage": 0.9629948778772818,
      "actual_one_sided_endpoint": 4,
      "actual_one_sided_coverage": 0.9629948778772818,
      "actual_previous_coverage": 0.9314302177055408,
      "actual_mass_deficit": 4.440892098500626e-16,
      "scalar_mass_deficit": 0.0,
      "scope": "Numerical quantiles and coverage, not a validated probability enclosure. One-sided repair is a distinct interval convention.",
      "founders": 2,
      "plating": 1.0,
      "mean": 1.0372338916910695,
      "variance_actual": 2.1751879776828225,
      "variance_scalar": 1.1665112248556746,
      "scalar_over_actual": 0.5362806510627794
    },
    {
      "scalar_interval": [
        0,
        5
      ],
      "scalar_own_coverage": 0.9898261641377598,
      "actual_coverage": 0.9587072411366041,
      "actual_one_sided_endpoint": 5,
      "actual_one_sided_coverage": 0.9587072411366041,
      "actual_previous_coverage": 0.9275764241900918,
      "actual_mass_deficit": 3.3306690738754696e-16,
      "scalar_mass_deficit": 0.0,
      "scope": "Numerical quantiles and coverage, not a validated probability enclosure. One-sided repair is a distinct interval convention.",
      "founders": 3,
      "plating": 1.0,
      "mean": 1.5558508375366042,
      "variance_actual": 3.2627819665242335,
      "variance_scalar": 1.749766837283512,
      "scalar_over_actual": 0.5362806510627796
    },
    {
      "scalar_interval": [
        0,
        6
      ],
      "scalar_own_coverage": 0.9752578355486247,
      "actual_coverage": 0.9315843864075293,
      "actual_one_sided_endpoint": 7,
      "actual_one_sided_coverage": 0.9581424651689002,
      "actual_previous_coverage": 0.9315843864075293,
      "actual_mass_deficit": 1.3322676295501878e-15,
      "scalar_mass_deficit": -2.220446049250313e-16,
      "scope": "Numerical quantiles and coverage, not a validated probability enclosure. One-sided repair is a distinct interval convention.",
      "founders": 5,
      "plating": 1.0,
      "mean": 2.593084729227674,
      "variance_actual": 5.437969944207056,
      "variance_scalar": 2.9162780621391864,
      "scalar_over_actual": 0.5362806510627794
    },
    {
      "scalar_interval": [
        1,
        10
      ],
      "scalar_own_coverage": 0.9682203501889403,
      "actual_coverage": 0.9039087041481682,
      "actual_one_sided_endpoint": 11,
      "actual_one_sided_coverage": 0.9520008387496166,
      "actual_previous_coverage": 0.9287542097696999,
      "actual_mass_deficit": 2.55351295663786e-15,
      "scalar_mass_deficit": -6.661338147750939e-16,
      "scope": "Numerical quantiles and coverage, not a validated probability enclosure. One-sided repair is a distinct interval convention.",
      "founders": 10,
      "plating": 1.0,
      "mean": 5.186169458455348,
      "variance_actual": 10.875939888414113,
      "variance_scalar": 5.832556124278373,
      "scalar_over_actual": 0.5362806510627794
    },
    {
      "scalar_interval": [
        4,
        18
      ],
      "scalar_own_coverage": 0.9742604167892689,
      "actual_coverage": 0.9043552253653844,
      "actual_one_sided_endpoint": 19,
      "actual_one_sided_coverage": 0.9589411960884191,
      "actual_previous_coverage": 0.9435932814080752,
      "actual_mass_deficit": 5.440092820663267e-15,
      "scalar_mass_deficit": -1.7763568394002505e-15,
      "scope": "Numerical quantiles and coverage, not a validated probability enclosure. One-sided repair is a distinct interval convention.",
      "founders": 20,
      "plating": 1.0,
      "mean": 10.372338916910696,
      "variance_actual": 21.751879776828225,
      "variance_scalar": 11.665112248556746,
      "scalar_over_actual": 0.5362806510627794
    },
    {
      "scalar_interval": [
        16,
        37
      ],
      "scalar_own_coverage": 0.9593676698535333,
      "actual_coverage": 0.8683749745186435,
      "actual_one_sided_endpoint": 39,
      "actual_one_sided_coverage": 0.9558530190575589,
      "actual_previous_coverage": 0.9447858085830723,
      "actual_mass_deficit": 1.2878587085651816e-14,
      "scalar_mass_deficit": -4.884981308350689e-15,
      "scope": "Numerical quantiles and coverage, not a validated probability enclosure. One-sided repair is a distinct interval convention.",
      "founders": 50,
      "plating": 1.0,
      "mean": 25.930847292276738,
      "variance_actual": 54.37969944207056,
      "variance_scalar": 29.162780621391864,
      "scalar_over_actual": 0.5362806510627794
    },
    {
      "scalar_interval": [
        38,
        67
      ],
      "scalar_own_coverage": 0.9508504461367588,
      "actual_coverage": 0.8511457040458887,
      "actual_one_sided_endpoint": 70,
      "actual_one_sided_coverage": 0.9546216677069758,
      "actual_previous_coverage": 0.9463140252708947,
      "actual_mass_deficit": 2.609024107869118e-14,
      "scalar_mass_deficit": -8.43769498715119e-15,
      "scope": "Numerical quantiles and coverage, not a validated probability enclosure. One-sided repair is a distinct interval convention.",
      "founders": 100,
      "plating": 1.0,
      "mean": 51.861694584553476,
      "variance_actual": 108.75939888414112,
      "variance_scalar": 58.32556124278373,
      "scalar_over_actual": 0.5362806510627794
    }
  ],
  "forward": {
    "overflow": 7.377764382298328e-16,
    "mass_residual": 3.774758283725532e-15,
    "scope": "Absorbing overflow supplies an exact-arithmetic enclosure mechanism; floating exponential and residuals are not validated roundoff bounds."
  },
  "forward_backward_low_count_difference": 3.885780586188048e-15,
  "grid": [
    {
      "alpha": 0.0001,
      "beta": 1e-05,
      "interval": [
        0,
        2
      ],
      "coverage": 0.9478940632547588,
      "founder_limit": 0.848309331614552
    },
    {
      "alpha": 0.0001,
      "beta": 0.0001,
      "interval": [
        0,
        2
      ],
      "coverage": 0.9479224198386524,
      "founder_limit": 0.8483245263219326
    },
    {
      "alpha": 0.0001,
      "beta": 0.001,
      "interval": [
        0,
        2
      ],
      "coverage": 0.9482051622284643,
      "founder_limit": 0.848476698374278
    },
    {
      "alpha": 0.0001,
      "beta": 0.01,
      "interval": [
        0,
        2
      ],
      "coverage": 0.9509516927189038,
      "founder_limit": 0.8500204895444661
    },
    {
      "alpha": 0.0001,
      "beta": 0.1,
      "interval": [
        0,
        2
      ],
      "coverage": 0.971632995667629,
      "founder_limit": 0.8671839006073068
    },
    {
      "alpha": 0.0001,
      "beta": 1.0,
      "interval": [
        0,
        1
      ],
      "coverage": 0.9981641102863028,
      "founder_limit": 0.9474864224949193
    },
    {
      "alpha": 0.001,
      "beta": 1e-05,
      "interval": [
        0,
        2
      ],
      "coverage": 0.9475977178220166,
      "founder_limit": 0.8487997561615657
    },
    {
      "alpha": 0.001,
      "beta": 0.0001,
      "interval": [
        0,
        2
      ],
      "coverage": 0.9476261709608345,
      "founder_limit": 0.8488147771484169
    },
    {
      "alpha": 0.001,
      "beta": 0.001,
      "interval": [
        0,
        2
      ],
      "coverage": 0.9479098773172143,
      "founder_limit": 0.848965210655618
    },
    {
      "alpha": 0.001,
      "beta": 0.01,
      "interval": [
        0,
        2
      ],
      "coverage": 0.9506658906199692,
      "founder_limit": 0.8504914858882364
    },
    {
      "alpha": 0.001,
      "beta": 0.1,
      "interval": [
        0,
        2
      ],
      "coverage": 0.9714276573672337,
      "founder_limit": 0.867471358437047
    },
    {
      "alpha": 0.001,
      "beta": 1.0,
      "interval": [
        0,
        1
      ],
      "coverage": 0.9980865617189006,
      "founder_limit": 0.947404177634565
    },
    {
      "alpha": 0.01,
      "beta": 1e-05,
      "interval": [
        0,
        3
      ],
      "coverage": 0.9725952643767051,
      "founder_limit": 0.8534880766999668
    },
    {
      "alpha": 0.01,
      "beta": 0.0001,
      "interval": [
        0,
        3
      ],
      "coverage": 0.9726127928404888,
      "founder_limit": 0.8535014692253069
    },
    {
      "alpha": 0.01,
      "beta": 0.001,
      "interval": [
        0,
        3
      ],
      "coverage": 0.9727874711371957,
      "founder_limit": 0.8536356066830109
    },
    {
      "alpha": 0.01,
      "beta": 0.01,
      "interval": [
        0,
        2
      ],
      "coverage": 0.9478458103327068,
      "founder_limit": 0.8549978092497006
    },
    {
      "alpha": 0.01,
      "beta": 0.1,
      "interval": [
        0,
        2
      ],
      "coverage": 0.9693937374569219,
      "founder_limit": 0.8702671968066844
    },
    {
      "alpha": 0.01,
      "beta": 1.0,
      "interval": [
        0,
        1
      ],
      "coverage": 0.9973080761798248,
      "founder_limit": 0.9466173736825219
    },
    {
      "alpha": 0.1,
      "beta": 1e-05,
      "interval": [
        0,
        3
      ],
      "coverage": 0.961599758927143,
      "founder_limit": 0.8858280796371711
    },
    {
      "alpha": 0.1,
      "beta": 0.0001,
      "interval": [
        0,
        3
      ],
      "coverage": 0.9616211157348088,
      "founder_limit": 0.8858317995535641
    },
    {
      "alpha": 0.1,
      "beta": 0.001,
      "interval": [
        0,
        3
      ],
      "coverage": 0.9618340215787785,
      "founder_limit": 0.8858691789764266
    },
    {
      "alpha": 0.1,
      "beta": 0.01,
      "interval": [
        0,
        3
      ],
      "coverage": 0.9638981735973504,
      "founder_limit": 0.8862607276683805
    },
    {
      "alpha": 0.1,
      "beta": 0.1,
      "interval": [
        0,
        3
      ],
      "coverage": 0.9792022843001765,
      "founder_limit": 0.8916774874998203
    },
    {
      "alpha": 0.1,
      "beta": 1.0,
      "interval": [
        0,
        1
      ],
      "coverage": 0.9892608810355581,
      "founder_limit": 0.9413637360070306
    },
    {
      "alpha": 1.0,
      "beta": 1e-05,
      "interval": [
        0,
        5
      ],
      "coverage": 0.9802101051077555,
      "founder_limit": 0.9418717378614303
    },
    {
      "alpha": 1.0,
      "beta": 0.0001,
      "interval": [
        0,
        5
      ],
      "coverage": 0.980217849223123,
      "founder_limit": 0.9418684764239968
    },
    {
      "alpha": 1.0,
      "beta": 0.001,
      "interval": [
        0,
        5
      ],
      "coverage": 0.9802951143689631,
      "founder_limit": 0.9418359389874242
    },
    {
      "alpha": 1.0,
      "beta": 0.01,
      "interval": [
        0,
        5
      ],
      "coverage": 0.9810504389770083,
      "founder_limit": 0.9415181653821767
    },
    {
      "alpha": 1.0,
      "beta": 0.1,
      "interval": [
        0,
        4
      ],
      "coverage": 0.9714218822293115,
      "founder_limit": 0.939014829001146
    },
    {
      "alpha": 1.0,
      "beta": 1.0,
      "interval": [
        0,
        2
      ],
      "coverage": 0.9751118604313332,
      "founder_limit": 0.9389217660403335
    }
  ],
  "positive_rate_extensions": [
    {
      "rates": {
        "birth": [
          0.001,
          0.1
        ],
        "death": [
          0.3,
          0.001
        ],
        "switching": [
          0.001,
          1e-05
        ]
      },
      "moments": {
        "mean": 0.5164125487819834,
        "A": 0.32244808136131325,
        "variance_actual": 1.0792789807400276,
        "variance_scalar": 0.5827630993337976,
        "scalar_over_actual": 0.5399559425628907,
        "founder_limit": 0.850193347829403,
        "defect_identity_error": 1.2045919817182948e-14,
        "mean_identity_error": 3.3306690738754696e-16
      },
      "founders": [
        {
          "scalar_interval": [
            0,
            2
          ],
          "scalar_own_coverage": 0.9767843691898115,
          "actual_coverage": 0.9480581937017318,
          "actual_one_sided_endpoint": 3,
          "actual_one_sided_coverage": 0.9741077967507973,
          "actual_previous_coverage": 0.9480581937017318,
          "actual_mass_deficit": 0.0,
          "scalar_mass_deficit": 0.0,
          "scope": "Numerical quantiles and coverage, not a validated probability enclosure. One-sided repair is a distinct interval convention.",
          "founders": 1,
          "plating": 1.0,
          "mean": 0.5164125487819834,
          "variance_actual": 1.0792789807400276,
          "variance_scalar": 0.5827630993337976,
          "scalar_over_actual": 0.5399559425628907
        },
        {
          "scalar_interval": [
            37,
            67
          ],
          "scalar_own_coverage": 0.958349686238137,
          "actual_coverage": 0.8670095883772057,
          "actual_one_sided_endpoint": 70,
          "actual_one_sided_coverage": 0.9568376837740864,
          "actual_previous_coverage": 0.9488377604257663,
          "actual_mass_deficit": 6.661338147750939e-16,
          "scalar_mass_deficit": 9.992007221626409e-15,
          "scope": "Numerical quantiles and coverage, not a validated probability enclosure. One-sided repair is a distinct interval convention.",
          "founders": 100,
          "plating": 1.0,
          "mean": 51.64125487819834,
          "variance_actual": 107.92789807400275,
          "variance_scalar": 58.27630993337976,
          "scalar_over_actual": 0.5399559425628907
        }
      ]
    },
    {
      "rates": {
        "birth": [
          0.01,
          0.1
        ],
        "death": [
          0.3,
          0.01
        ],
        "switching": [
          0.001,
          1e-05
        ]
      },
      "moments": {
        "mean": 0.4976722063298499,
        "A": 0.330234231124834,
        "variance_actual": 1.008862781116721,
        "variance_scalar": 0.5786913781957111,
        "scalar_over_actual": 0.5736076194179267,
        "founder_limit": 0.8623013348515329,
        "defect_identity_error": 1.1546319456101628e-14,
        "mean_identity_error": 2.220446049250313e-16
      },
      "founders": [
        {
          "scalar_interval": [
            0,
            2
          ],
          "scalar_own_coverage": 0.9769429783723494,
          "actual_coverage": 0.951965068274503,
          "actual_one_sided_endpoint": 2,
          "actual_one_sided_coverage": 0.951965068274503,
          "actual_previous_coverage": 0.8990845307395247,
          "actual_mass_deficit": 3.3306690738754696e-16,
          "scalar_mass_deficit": 1.1102230246251565e-16,
          "scope": "Numerical quantiles and coverage, not a validated probability enclosure. One-sided repair is a distinct interval convention.",
          "founders": 1,
          "plating": 1.0,
          "mean": 0.4976722063298499,
          "variance_actual": 1.008862781116721,
          "variance_scalar": 0.5786913781957111,
          "scalar_over_actual": 0.5736076194179267
        },
        {
          "scalar_interval": [
            36,
            65
          ],
          "scalar_own_coverage": 0.9516461600412189,
          "actual_coverage": 0.8659502303038991,
          "actual_one_sided_endpoint": 67,
          "actual_one_sided_coverage": 0.9528508320803498,
          "actual_previous_coverage": 0.9439226346149163,
          "actual_mass_deficit": 4.551914400963142e-15,
          "scalar_mass_deficit": -4.440892098500626e-16,
          "scope": "Numerical quantiles and coverage, not a validated probability enclosure. One-sided repair is a distinct interval convention.",
          "founders": 100,
          "plating": 1.0,
          "mean": 49.76722063298499,
          "variance_actual": 100.8862781116721,
          "variance_scalar": 57.869137819571115,
          "scalar_over_actual": 0.5736076194179267
        }
      ]
    },
    {
      "rates": {
        "birth": [
          0.01,
          0.1
        ],
        "death": [
          0.3,
          0.01
        ],
        "switching": [
          0.1,
          0.1
        ]
      },
      "moments": {
        "mean": 0.5553794727865017,
        "A": 0.358114460979152,
        "variance_actual": 0.9118773499275563,
        "variance_scalar": 0.6447119550655369,
        "scalar_over_actual": 0.7070160862277759,
        "founder_limit": 0.9006516358391494,
        "defect_identity_error": 5.551115123125783e-16,
        "mean_identity_error": 3.3306690738754696e-16
      },
      "founders": [
        {
          "scalar_interval": [
            0,
            3
          ],
          "scalar_own_coverage": 0.9925026134040313,
          "actual_coverage": 0.9808616551056488,
          "actual_one_sided_endpoint": 2,
          "actual_one_sided_coverage": 0.9537921648763055,
          "actual_previous_coverage": 0.8840458540642222,
          "actual_mass_deficit": 0.0,
          "scalar_mass_deficit": 0.0,
          "scope": "Numerical quantiles and coverage, not a validated probability enclosure. One-sided repair is a distinct interval convention.",
          "founders": 1,
          "plating": 1.0,
          "mean": 0.5553794727865017,
          "variance_actual": 0.9118773499275563,
          "variance_scalar": 0.6447119550655369,
          "scalar_over_actual": 0.7070160862277759
        },
        {
          "scalar_interval": [
            41,
            72
          ],
          "scalar_own_coverage": 0.9535065994803394,
          "actual_coverage": 0.9062848302468017,
          "actual_one_sided_endpoint": 72,
          "actual_one_sided_coverage": 0.9552461630483509,
          "actual_previous_coverage": 0.9459206140230809,
          "actual_mass_deficit": 7.216449660063518e-15,
          "scalar_mass_deficit": -2.4424906541753444e-15,
          "scope": "Numerical quantiles and coverage, not a validated probability enclosure. One-sided repair is a distinct interval convention.",
          "founders": 100,
          "plating": 1.0,
          "mean": 55.537947278650165,
          "variance_actual": 91.18773499275564,
          "variance_scalar": 64.4711955065537,
          "scalar_over_actual": 0.7070160862277759
        }
      ]
    }
  ],
  "source_linked_control": {
    "source_commit": "401c054dcf588262edfa1263767ffa7ce366533b",
    "scope": "Pinned Figure 8 two-type preparation only, not the continuous-phenotype inference.",
    "resistant": 0.035196384692581795,
    "plating": 0.007885251095578489,
    "result": {
      "scalar_interval": [
        3,
        24
      ],
      "scalar_own_coverage": 0.9566737944936301,
      "actual_coverage": 0.9532164979556507,
      "actual_one_sided_endpoint": 21,
      "actual_one_sided_coverage": 0.9504003428977632,
      "actual_previous_coverage": 0.935370785378497,
      "actual_mass_deficit": 1.6764367671839864e-14,
      "scalar_mass_deficit": 3.4416913763379853e-15,
      "scope": "Numerical quantiles and coverage, not a validated probability enclosure. One-sided repair is a distinct interval convention.",
      "founders": 1000,
      "plating": 0.007885251095578489,
      "mean": 11.320102135738425,
      "variance_actual": 30.990439696434134,
      "variance_scalar": 29.974561107327364,
      "scalar_over_actual": 0.967219613562835
    },
    "forward_coverage": 0.9532164979556157,
    "forward": {
      "overflow": 2.4164428219993354e-08,
      "mass_residual": 3.186340080674199e-14,
      "scope": "Absorbing overflow supplies an exact-arithmetic enclosure mechanism; floating exponential and residuals are not validated roundoff bounds."
    },
    "actual_over_scalar_variance": 1.0338913582577338
  },
  "scope": "Exact published-witness inequalities are separate from numerical quantiles for edited parameters. Overflow and solver residuals are diagnostics, not validated roundoff. Independent founders and constant rates only."
}