{
  "claim": {
    "target": "Fraction reaching carrier state 28 from 10",
    "unit": "equally weighted units",
    "condition": "fixed scalar source, deadline 120, separated capacity bands",
    "threshold": {
      "exact": "2/3",
      "decimal": 0.6666666666666666
    }
  },
  "kinetic_contract": {
    "status": "certified",
    "inward_lower": {
      "exact": "1/230",
      "decimal": 0.004347826086956522
    },
    "low_target_drift_upper": {
      "exact": "-3/1210",
      "decimal": -0.0024793388429752068
    },
    "high_drift_lower": {
      "exact": "197/1210",
      "decimal": 0.1628099173553719
    },
    "high_arrival_upper": {
      "exact": "21780/197",
      "decimal": 110.55837563451777
    }
  },
  "same_pooled_records": [
    {
      "inputs": [
        {
          "exact": "28",
          "decimal": 28.0
        },
        {
          "exact": "7",
          "decimal": 7.0
        },
        {
          "exact": "28",
          "decimal": 28.0
        }
      ],
      "uniform": {
        "exact": "56/121",
        "decimal": 0.4628099173553719
      },
      "heterogeneous": {
        "exact": "56/121",
        "decimal": 0.4628099173553719
      }
    },
    {
      "inputs": [
        {
          "exact": "10",
          "decimal": 10.0
        },
        {
          "exact": "3",
          "decimal": 3.0
        },
        {
          "exact": "46",
          "decimal": 46.0
        }
      ],
      "uniform": {
        "exact": "120/553",
        "decimal": 0.21699819168173598
      },
      "heterogeneous": {
        "exact": "120/553",
        "decimal": 0.21699819168173598
      }
    },
    {
      "inputs": [
        {
          "exact": "50",
          "decimal": 50.0
        },
        {
          "exact": "12",
          "decimal": 12.0
        },
        {
          "exact": "6",
          "decimal": 6.0
        }
      ],
      "uniform": {
        "exact": "2400/3893",
        "decimal": 0.6164911379398921
      },
      "heterogeneous": {
        "exact": "2400/3893",
        "decimal": 0.6164911379398921
      }
    }
  ],
  "populations": [
    {
      "capacities": [
        {
          "exact": "1",
          "decimal": 1.0
        }
      ],
      "weights": [
        {
          "exact": "1",
          "decimal": 1.0
        }
      ],
      "mean": {
        "exact": "1",
        "decimal": 1.0
      },
      "recovery": {
        "lower": {
          "exact": "1",
          "decimal": 1.0
        },
        "upper": {
          "exact": "1",
          "decimal": 1.0
        },
        "decisions": [
          {
            "status": "success",
            "reason": "exact upper passage bound",
            "lower": {
              "exact": "593481943234178998558841224646926589941711882956185237313616332661034690690255020200707336609193000855788559133213710713493869134779204356269924742746749924460427304669357106231189264551514416543133309879262405767881612496659122282303256505435162368732685451055817838811268580869959009902828082715551459248003264703851526066506417885569519624992975283929771729140435916645156621458263694611871818220643190093188073861572874403108928853123144442508360640663466800072497750699610427895636495282952748850896426370912711969088380821575881787143547442041514804478686155444921488/5719681079021037670781207072207131646740968880052869130713175682441596831959677533640134045239635012188126250961226681773686131169964871101373871489395316972018168373967155405598174199617949973348419260036597387647890752851468071629700796459745221200790525188223754187173884712618668425508555834244918810048571169229649363835072254970427635932690760490358922344693781457572716878836442714541119678660019284122610418190976737520820795045504812773047428538727132916766182466458160352589672767591965121201622913050085079334587847708898860595143350778425473646650018287930095",
              "decimal": 103.76136973982429
            },
            "upper": {
              "exact": "120510958104909041872494990853531920991441085862504393417260342458685689782453718245154721716675693723818274914268579269578934461140012755231517789128635864522179017323523790430300258252877250274789702673608477286928188985581277220563556567547397886006648680646647645776345068582967321825419318838648508130354669229482217258649812361929512690467688966615808232799771972591237956943955444493605463633535432624778295267146972756013714757049270203395234529077581821660685173854160811025899561651399251619470371268287825711472549922528097599739564940369093261441795547104623566/1160429631892012792115239745854587986002029731586421440525742131247162282076268253477967463349338926262678549371124259844918813429951678277003761774882469045816250432205488789807250584268523321060389901366848285650498947797877662318281212052080132416638242494418207595132085775886588753681962409213438728712222986960083341581368933294721157856580926690628947169829737329703218563471451302538208626875410709549077499880146670743153137614793458410185729579947729335327433517911696796560417646977978505537301456097700062439664063850312127226821050569876228947878531001773665",
              "decimal": 103.85029371270274
            }
          }
        ]
      }
    },
    {
      "capacities": [
        {
          "exact": "9/14",
          "decimal": 0.6428571428571429
        },
        {
          "exact": "11/8",
          "decimal": 1.375
        }
      ],
      "weights": [
        {
          "exact": "21/41",
          "decimal": 0.5121951219512195
        },
        {
          "exact": "20/41",
          "decimal": 0.4878048780487805
        }
      ],
      "mean": {
        "exact": "1",
        "decimal": 1.0
      },
      "recovery": {
        "lower": {
          "exact": "20/41",
          "decimal": 0.4878048780487805
        },
        "upper": {
          "exact": "20/41",
          "decimal": 0.4878048780487805
        },
        "decisions": [
          {
            "status": "failure",
            "reason": "nonpositive target drift; monotonicity and uniqueness prevent finite arrival"
          },
          {
            "status": "success",
            "reason": "exact upper passage bound",
            "lower": {
              "exact": "7642531138046250339043918321928727582608885424557198752734637395687595316473853695810602918973278916645638201212990893572775051128255386565516712084182534974719537532727420025405381263783319619602097844040853118258605678950427752063708281759662647605365429416540999225087174983077103644470691950056629356404908089348894064530481109150476545202489700513255893785406997217567845876953569264648800390932530446366308431263079924146454605427995405481702398011102173504733885348360926821964666162940877584795639207961735369969066773528408565046905600788195912632269581050135715266456822111695207034993946116252291422009/149072078340278815350665525330127676286842917713465679658735599233957797109748829694752574541276926764711991233454654531364709753961944515195994968245082844169435385313369549645621327131894802236449199072136713378288847776002017115433847929289528808529171523406231726934133831305964653899406327646931639227301534459972555782774343589519772064040700513296099300777663128845146178998023671327559413798368767240684751453249286805805173863591081303586398634911191344026369166850687273002854954630403272311653051661588414005833482803521692919629374030704674659040654279170149451270188919748183634403027056328991956770",
              "decimal": 51.2673548469691
            },
            "upper": {
              "exact": "102643674558535409640961825676325224265000726072139084182983481589047462229177784030478776969087159124354349214869135487924871873862567274795352108123186600761009678521357463118471704912039403581868959376928860936907207372761098650956162107397517381005775921540444812177115590571713350823181933063225291165096215111808547395987982890351855240074762208094975865061352163214460088885224664630261939357741336435084532427360859712865867679228635681146366249381391127519589525424103508329841106702052931552589934786235315877605661230037399084759070798991373312291267769014405825532658429091326610176599630700496623707/2000967494500386783230409735974868138078428425684103082667591936026279155835554761003390262299019151204187801791337644716304828912240865975785167358994400592878327319642544290545252713179796003173814752646130380916628829208080766650118764151537299443344584206795056737370923910147176562408138626133310593655054153825134976949991189121070765960277859238873816117820981595236861463060720420504153205347231775042748341654352843030941931054913843001159713220284447570823747206049493597353757780273869427002054384719307570548100440315727421739991597727579525624706768847921469144566294224807834018832577937301905460",
              "decimal": 51.29702248569714
            }
          }
        ]
      }
    }
  ],
  "pooled_interval": [
    {
      "exact": "20/41",
      "decimal": 0.4878048780487805
    },
    {
      "exact": "1",
      "decimal": 1.0
    }
  ],
  "pooled_decision": "unresolved",
  "repaired_interval": [
    {
      "exact": "33/49",
      "decimal": 0.673469387755102
    },
    {
      "exact": "4/5",
      "decimal": 0.8
    }
  ],
  "repaired_decision": "supported",
  "repaired_witnesses": [
    {
      "population": {
        "capacities": [
          {
            "exact": "9/14",
            "decimal": 0.6428571428571429
          },
          {
            "exact": "11/8",
            "decimal": 1.375
          },
          {
            "exact": "1",
            "decimal": 1.0
          }
        ],
        "weights": [
          {
            "exact": "16/49",
            "decimal": 0.32653061224489793
          },
          {
            "exact": "320/1029",
            "decimal": 0.3109815354713314
          },
          {
            "exact": "373/1029",
            "decimal": 0.3624878522837707
          }
        ]
      },
      "readout": {
        "sensitivity": {
          "exact": "1",
          "decimal": 1.0
        },
        "false_positive": {
          "exact": "1/50",
          "decimal": 0.02
        },
        "observed": {
          "exact": "17/25",
          "decimal": 0.68
        },
        "successful_positive": {
          "exact": "33/49",
          "decimal": 0.673469387755102
        },
        "successful_negative": {
          "exact": "0",
          "decimal": 0.0
        },
        "failing_positive": {
          "exact": "8/1225",
          "decimal": 0.006530612244897959
        },
        "failing_negative": {
          "exact": "8/25",
          "decimal": 0.32
        }
      }
    },
    {
      "population": {
        "capacities": [
          {
            "exact": "9/14",
            "decimal": 0.6428571428571429
          },
          {
            "exact": "11/8",
            "decimal": 1.375
          },
          {
            "exact": "1",
            "decimal": 1.0
          }
        ],
        "weights": [
          {
            "exact": "1/5",
            "decimal": 0.2
          },
          {
            "exact": "4/21",
            "decimal": 0.19047619047619047
          },
          {
            "exact": "64/105",
            "decimal": 0.6095238095238096
          }
        ]
      },
      "readout": {
        "sensitivity": {
          "exact": "9/10",
          "decimal": 0.9
        },
        "false_positive": {
          "exact": "0",
          "decimal": 0.0
        },
        "observed": {
          "exact": "18/25",
          "decimal": 0.72
        },
        "successful_positive": {
          "exact": "18/25",
          "decimal": 0.72
        },
        "successful_negative": {
          "exact": "2/25",
          "decimal": 0.08
        },
        "failing_positive": {
          "exact": "0",
          "decimal": 0.0
        },
        "failing_negative": {
          "exact": "1/5",
          "decimal": 0.2
        }
      }
    }
  ],
  "feature_identifiability": {
    "identified_for_all_weights": false,
    "null_direction": [
      "21/20",
      "-41/20",
      "1"
    ],
    "witness_weights": [
      [
        "21/41",
        "0",
        "20/41"
      ],
      [
        "0",
        "1",
        "0"
      ]
    ],
    "target_values": [
      "20/41",
      "1"
    ]
  },
  "evidence": "Fresh exact kinetic band checks, population moments and endpoint witnesses; no whole-cell viability conclusion."
}