{
  "user": {
    "task": {
      "parameters": {
        "capacity": "1",
        "substrate_affinity": "7",
        "carrier_affinity": "3",
        "inhibition_H": "56",
        "inhibition_A": "125",
        "inhibition_B": "520"
      },
      "pool": "56",
      "substrate": "7",
      "inhibitor_A": "0",
      "inhibitor_B": "0",
      "load": "3/10",
      "initial": "10",
      "target": "28",
      "deadline": "120"
    },
    "bands": {
      "low_min": "5/8",
      "low_max": "9/14",
      "high_min": "1",
      "high_max": "11/8",
      "mean": "1"
    },
    "bulk": {
      "status": "exact identified set",
      "interval": [
        "20/41",
        "1"
      ],
      "attained": [
        true,
        true
      ],
      "contract": {
        "status": "certified",
        "inward_lower": "1/230",
        "low_target_drift_upper": "-3/1210",
        "high_drift_lower": "197/1210",
        "high_arrival_upper": "21780/197"
      }
    },
    "repaired_interval": [
      "33/49",
      "4/5"
    ],
    "number_interval": [
      "33/49",
      "4/5"
    ],
    "decision": "certified",
    "requested_fraction": "2/3",
    "bulk_minimax": {
      "midpoint": "61/82",
      "radius": "21/82"
    },
    "repaired_minimax": {
      "midpoint": "361/490",
      "radius": "31/490"
    }
  },
  "user_trajectories": [
    {
      "capacity": "5/8",
      "numeric_first_hit": null,
      "passage_numeric": "no finite arrival",
      "classification": {
        "status": "failure",
        "reason": "nonpositive target drift; monotonicity and uniqueness prevent finite arrival"
      }
    },
    {
      "capacity": "9/14",
      "numeric_first_hit": null,
      "passage_numeric": "no finite arrival",
      "classification": {
        "status": "failure",
        "reason": "nonpositive target drift; monotonicity and uniqueness prevent finite arrival"
      }
    },
    {
      "capacity": "19/20",
      "numeric_first_hit": null,
      "passage_numeric": 120.22853487721237,
      "classification": {
        "status": "failure",
        "reason": "exact lower passage bound",
        "lower": "52035823864226437858650808898988174428750263613389809798768901673565367173054373341560521377840377271108004374193730510452513782629536728041342223468858276442360078420355472963047038505486796901286024261933393140256714265609884019230717179335770556039362434370522813883603104811889015490167376644997102296834033673938999330487367708571085688407645324495858266970950468060243732324390967731089174653290478121480557513863797414597563904413773797817321451756350808802278421958770621125391693767779296132630690653911390436062260027630311082589313368570368360061450157915985501882015299715/433011728164256016662371280602009998248103664553016285234415942690631685048451174820875116207663124181413847153843037490042257349351411590654946028810536082998120656022271287917801479143791011492578073004725161954259575973584351853402324796586249371106119911653865777510595618366796380417570283399429442631610485016374580546880153795400362549895901791616072211704394855523608730560257320714925294421540126159040759439559430056812423866858239891247108958622712385447875664212345340109303157431444761144511193631321695556546398911097931187136404645944638794464555580311887003741428491",
        "upper": "321588606263190092855215254189133549322898653563204369269740699486010451128673560695708000531767798139887021663146041490310609748916543694528345001414563336385508183195911104173596167358158136074680850009355526103054055363453311685701336166615237754614192302859845855018840280190444491184945217805227062957928578436151857757732648525274109302160977198642375328434946641845438524884057282231371172348877416616865589895707301831954824111616810420881846717344122689738630588369123413521427740390287715865194787703159834200279743873021855327235030408191389305437231642722192795885185055/2673546647416446552652969198682559951187531531317602331060274165271057661187302432995191883495426556332643083828050100864663664469992092461892328840910457886001219913697234264037719890225259154311809522232926670817085959466443397812505448755935047173773240964854075092680001443252601731383715831960381265357841987752490879653023984488342300236830550126340032653601108108196111848626618460837819438366194082197829433727985082279060323091501837371746576329658162436866484746977197540451646186943140296783968424225686080377631529728935219868332111326183948861571703891738081713910506"
      }
    },
    {
      "capacity": "1",
      "numeric_first_hit": 103.80576269915606,
      "passage_numeric": 103.8057627028586,
      "classification": {
        "status": "success",
        "reason": "exact upper passage bound",
        "lower": "593481943234178998558841224646926589941711882956185237313616332661034690690255020200707336609193000855788559133213710713493869134779204356269924742746749924460427304669357106231189264551514416543133309879262405767881612496659122282303256505435162368732685451055817838811268580869959009902828082715551459248003264703851526066506417885569519624992975283929771729140435916645156621458263694611871818220643190093188073861572874403108928853123144442508360640663466800072497750699610427895636495282952748850896426370912711969088380821575881787143547442041514804478686155444921488/5719681079021037670781207072207131646740968880052869130713175682441596831959677533640134045239635012188126250961226681773686131169964871101373871489395316972018168373967155405598174199617949973348419260036597387647890752851468071629700796459745221200790525188223754187173884712618668425508555834244918810048571169229649363835072254970427635932690760490358922344693781457572716878836442714541119678660019284122610418190976737520820795045504812773047428538727132916766182466458160352589672767591965121201622913050085079334587847708898860595143350778425473646650018287930095",
        "upper": "120510958104909041872494990853531920991441085862504393417260342458685689782453718245154721716675693723818274914268579269578934461140012755231517789128635864522179017323523790430300258252877250274789702673608477286928188985581277220563556567547397886006648680646647645776345068582967321825419318838648508130354669229482217258649812361929512690467688966615808232799771972591237956943955444493605463633535432624778295267146972756013714757049270203395234529077581821660685173854160811025899561651399251619470371268287825711472549922528097599739564940369093261441795547104623566/1160429631892012792115239745854587986002029731586421440525742131247162282076268253477967463349338926262678549371124259844918813429951678277003761774882469045816250432205488789807250584268523321060389901366848285650498947797877662318281212052080132416638242494418207595132085775886588753681962409213438728712222986960083341581368933294721157856580926690628947169829737329703218563471451302538208626875410709549077499880146670743153137614793458410185729579947729335327433517911696796560417646977978505537301456097700062439664063850312127226821050569876228947878531001773665"
      }
    },
    {
      "capacity": "11/8",
      "numeric_first_hit": 51.282167199565386,
      "passage_numeric": 51.28216720013047,
      "classification": {
        "status": "success",
        "reason": "exact upper passage bound",
        "lower": "7642531138046250339043918321928727582608885424557198752734637395687595316473853695810602918973278916645638201212990893572775051128255386565516712084182534974719537532727420025405381263783319619602097844040853118258605678950427752063708281759662647605365429416540999225087174983077103644470691950056629356404908089348894064530481109150476545202489700513255893785406997217567845876953569264648800390932530446366308431263079924146454605427995405481702398011102173504733885348360926821964666162940877584795639207961735369969066773528408565046905600788195912632269581050135715266456822111695207034993946116252291422009/149072078340278815350665525330127676286842917713465679658735599233957797109748829694752574541276926764711991233454654531364709753961944515195994968245082844169435385313369549645621327131894802236449199072136713378288847776002017115433847929289528808529171523406231726934133831305964653899406327646931639227301534459972555782774343589519772064040700513296099300777663128845146178998023671327559413798368767240684751453249286805805173863591081303586398634911191344026369166850687273002854954630403272311653051661588414005833482803521692919629374030704674659040654279170149451270188919748183634403027056328991956770",
        "upper": "102643674558535409640961825676325224265000726072139084182983481589047462229177784030478776969087159124354349214869135487924871873862567274795352108123186600761009678521357463118471704912039403581868959376928860936907207372761098650956162107397517381005775921540444812177115590571713350823181933063225291165096215111808547395987982890351855240074762208094975865061352163214460088885224664630261939357741336435084532427360859712865867679228635681146366249381391127519589525424103508329841106702052931552589934786235315877605661230037399084759070798991373312291267769014405825532658429091326610176599630700496623707/2000967494500386783230409735974868138078428425684103082667591936026279155835554761003390262299019151204187801791337644716304828912240865975785167358994400592878327319642544290545252713179796003173814752646130380916628829208080766650118764151537299443344584206795056737370923910147176562408138626133310593655054153825134976949991189121070765960277859238873816117820981595236861463060720420504153205347231775042748341654352843030941931054913843001159713220284447570823747206049493597353757780273869427002054384719307570548100440315727421739991597727579525624706768847921469144566294224807834018832577937301905460"
      }
    }
  ],
  "reference_individual": {
    "K_interval": [
      "48",
      "728/11"
    ],
    "dual": {
      "reciprocal_upper": "243/112",
      "rate_lower": "112/243",
      "multipliers": [
        "1",
        "0",
        "1/28",
        "0",
        "1",
        "0"
      ],
      "nonempty_verified": true
    },
    "solver_proposal": {
      "status": "exact certificate verified",
      "reciprocal_upper": "243/112",
      "rate_lower": "112/243",
      "multipliers": [
        "1",
        "0",
        "1/28",
        "0",
        "1",
        "0"
      ],
      "nonempty_verified": true
    },
    "deadline": {
      "status": "certified",
      "drift_lower": "391/2430",
      "arrival_upper": "43740/391"
    },
    "literal_rate_band_dual": {
      "reciprocal_upper": "275/126",
      "rate_lower": "126/275",
      "multipliers": [
        "1/2",
        "0",
        "1/2",
        "0"
      ],
      "nonempty_verified": true
    },
    "literal_rate_band_deadline": {
      "status": "certified",
      "drift_lower": "87/550",
      "arrival_upper": "3300/29"
    },
    "missing_inhibition_observation": {
      "status": "not certified",
      "reason": "The problem is infeasible. (HiGHS Status 8: model_status is Infeasible; primal_status is None)"
    },
    "compatible_K56_passage_numeric": 103.8057627028586,
    "near_boundary_sequence": [
      {
        "K": "355/103",
        "target_drift": "10609/295970",
        "passage_numeric": 220.85872577830045
      },
      {
        "K": "2623/1030",
        "target_drift": "10609/2412770",
        "passage_numeric": 449.9888123143073
      },
      {
        "K": "25303/10300",
        "target_drift": "10609/23580770",
        "passage_numeric": 723.1733932492764
      },
      {
        "K": "2520103/1030000",
        "target_drift": "10609/2352060770",
        "passage_numeric": 1282.164027361264
      },
      {
        "K": "252000103/103000000",
        "target_drift": "10609/235200060770",
        "passage_numeric": 1841.9165068515792
      }
    ]
  },
  "reference_witnesses": [
    {
      "requested_fraction": "20/41",
      "population": {
        "capacities": [
          "9/14",
          "11/8",
          "1"
        ],
        "weights": [
          "21/41",
          "20/41",
          "0"
        ]
      },
      "counts": [
        21,
        20,
        0
      ],
      "mean": "1",
      "recovery": {
        "lower": "20/41",
        "upper": "20/41",
        "decisions": [
          {
            "status": "failure",
            "reason": "nonpositive target drift; monotonicity and uniqueness prevent finite arrival"
          },
          {
            "status": "success",
            "reason": "exact upper passage bound",
            "lower": "7642531138046250339043918321928727582608885424557198752734637395687595316473853695810602918973278916645638201212990893572775051128255386565516712084182534974719537532727420025405381263783319619602097844040853118258605678950427752063708281759662647605365429416540999225087174983077103644470691950056629356404908089348894064530481109150476545202489700513255893785406997217567845876953569264648800390932530446366308431263079924146454605427995405481702398011102173504733885348360926821964666162940877584795639207961735369969066773528408565046905600788195912632269581050135715266456822111695207034993946116252291422009/149072078340278815350665525330127676286842917713465679658735599233957797109748829694752574541276926764711991233454654531364709753961944515195994968245082844169435385313369549645621327131894802236449199072136713378288847776002017115433847929289528808529171523406231726934133831305964653899406327646931639227301534459972555782774343589519772064040700513296099300777663128845146178998023671327559413798368767240684751453249286805805173863591081303586398634911191344026369166850687273002854954630403272311653051661588414005833482803521692919629374030704674659040654279170149451270188919748183634403027056328991956770",
            "upper": "102643674558535409640961825676325224265000726072139084182983481589047462229177784030478776969087159124354349214869135487924871873862567274795352108123186600761009678521357463118471704912039403581868959376928860936907207372761098650956162107397517381005775921540444812177115590571713350823181933063225291165096215111808547395987982890351855240074762208094975865061352163214460088885224664630261939357741336435084532427360859712865867679228635681146366249381391127519589525424103508329841106702052931552589934786235315877605661230037399084759070798991373312291267769014405825532658429091326610176599630700496623707/2000967494500386783230409735974868138078428425684103082667591936026279155835554761003390262299019151204187801791337644716304828912240865975785167358994400592878327319642544290545252713179796003173814752646130380916628829208080766650118764151537299443344584206795056737370923910147176562408138626133310593655054153825134976949991189121070765960277859238873816117820981595236861463060720420504153205347231775042748341654352843030941931054913843001159713220284447570823747206049493597353757780273869427002054384719307570548100440315727421739991597727579525624706768847921469144566294224807834018832577937301905460"
          },
          {
            "status": "success",
            "reason": "exact upper passage bound",
            "lower": "593481943234178998558841224646926589941711882956185237313616332661034690690255020200707336609193000855788559133213710713493869134779204356269924742746749924460427304669357106231189264551514416543133309879262405767881612496659122282303256505435162368732685451055817838811268580869959009902828082715551459248003264703851526066506417885569519624992975283929771729140435916645156621458263694611871818220643190093188073861572874403108928853123144442508360640663466800072497750699610427895636495282952748850896426370912711969088380821575881787143547442041514804478686155444921488/5719681079021037670781207072207131646740968880052869130713175682441596831959677533640134045239635012188126250961226681773686131169964871101373871489395316972018168373967155405598174199617949973348419260036597387647890752851468071629700796459745221200790525188223754187173884712618668425508555834244918810048571169229649363835072254970427635932690760490358922344693781457572716878836442714541119678660019284122610418190976737520820795045504812773047428538727132916766182466458160352589672767591965121201622913050085079334587847708898860595143350778425473646650018287930095",
            "upper": "120510958104909041872494990853531920991441085862504393417260342458685689782453718245154721716675693723818274914268579269578934461140012755231517789128635864522179017323523790430300258252877250274789702673608477286928188985581277220563556567547397886006648680646647645776345068582967321825419318838648508130354669229482217258649812361929512690467688966615808232799771972591237956943955444493605463633535432624778295267146972756013714757049270203395234529077581821660685173854160811025899561651399251619470371268287825711472549922528097599739564940369093261441795547104623566/1160429631892012792115239745854587986002029731586421440525742131247162282076268253477967463349338926262678549371124259844918813429951678277003761774882469045816250432205488789807250584268523321060389901366848285650498947797877662318281212052080132416638242494418207595132085775886588753681962409213438728712222986960083341581368933294721157856580926690628947169829737329703218563471451302538208626875410709549077499880146670743153137614793458410185729579947729335327433517911696796560417646977978505537301456097700062439664063850312127226821050569876228947878531001773665"
          }
        ]
      },
      "readout": null
    },
    {
      "requested_fraction": "33/49",
      "population": {
        "capacities": [
          "9/14",
          "11/8",
          "1"
        ],
        "weights": [
          "16/49",
          "320/1029",
          "373/1029"
        ]
      },
      "counts": [
        336,
        320,
        373
      ],
      "mean": "1",
      "recovery": {
        "lower": "33/49",
        "upper": "33/49",
        "decisions": [
          {
            "status": "failure",
            "reason": "nonpositive target drift; monotonicity and uniqueness prevent finite arrival"
          },
          {
            "status": "success",
            "reason": "exact upper passage bound",
            "lower": "7642531138046250339043918321928727582608885424557198752734637395687595316473853695810602918973278916645638201212990893572775051128255386565516712084182534974719537532727420025405381263783319619602097844040853118258605678950427752063708281759662647605365429416540999225087174983077103644470691950056629356404908089348894064530481109150476545202489700513255893785406997217567845876953569264648800390932530446366308431263079924146454605427995405481702398011102173504733885348360926821964666162940877584795639207961735369969066773528408565046905600788195912632269581050135715266456822111695207034993946116252291422009/149072078340278815350665525330127676286842917713465679658735599233957797109748829694752574541276926764711991233454654531364709753961944515195994968245082844169435385313369549645621327131894802236449199072136713378288847776002017115433847929289528808529171523406231726934133831305964653899406327646931639227301534459972555782774343589519772064040700513296099300777663128845146178998023671327559413798368767240684751453249286805805173863591081303586398634911191344026369166850687273002854954630403272311653051661588414005833482803521692919629374030704674659040654279170149451270188919748183634403027056328991956770",
            "upper": "102643674558535409640961825676325224265000726072139084182983481589047462229177784030478776969087159124354349214869135487924871873862567274795352108123186600761009678521357463118471704912039403581868959376928860936907207372761098650956162107397517381005775921540444812177115590571713350823181933063225291165096215111808547395987982890351855240074762208094975865061352163214460088885224664630261939357741336435084532427360859712865867679228635681146366249381391127519589525424103508329841106702052931552589934786235315877605661230037399084759070798991373312291267769014405825532658429091326610176599630700496623707/2000967494500386783230409735974868138078428425684103082667591936026279155835554761003390262299019151204187801791337644716304828912240865975785167358994400592878327319642544290545252713179796003173814752646130380916628829208080766650118764151537299443344584206795056737370923910147176562408138626133310593655054153825134976949991189121070765960277859238873816117820981595236861463060720420504153205347231775042748341654352843030941931054913843001159713220284447570823747206049493597353757780273869427002054384719307570548100440315727421739991597727579525624706768847921469144566294224807834018832577937301905460"
          },
          {
            "status": "success",
            "reason": "exact upper passage bound",
            "lower": "593481943234178998558841224646926589941711882956185237313616332661034690690255020200707336609193000855788559133213710713493869134779204356269924742746749924460427304669357106231189264551514416543133309879262405767881612496659122282303256505435162368732685451055817838811268580869959009902828082715551459248003264703851526066506417885569519624992975283929771729140435916645156621458263694611871818220643190093188073861572874403108928853123144442508360640663466800072497750699610427895636495282952748850896426370912711969088380821575881787143547442041514804478686155444921488/5719681079021037670781207072207131646740968880052869130713175682441596831959677533640134045239635012188126250961226681773686131169964871101373871489395316972018168373967155405598174199617949973348419260036597387647890752851468071629700796459745221200790525188223754187173884712618668425508555834244918810048571169229649363835072254970427635932690760490358922344693781457572716878836442714541119678660019284122610418190976737520820795045504812773047428538727132916766182466458160352589672767591965121201622913050085079334587847708898860595143350778425473646650018287930095",
            "upper": "120510958104909041872494990853531920991441085862504393417260342458685689782453718245154721716675693723818274914268579269578934461140012755231517789128635864522179017323523790430300258252877250274789702673608477286928188985581277220563556567547397886006648680646647645776345068582967321825419318838648508130354669229482217258649812361929512690467688966615808232799771972591237956943955444493605463633535432624778295267146972756013714757049270203395234529077581821660685173854160811025899561651399251619470371268287825711472549922528097599739564940369093261441795547104623566/1160429631892012792115239745854587986002029731586421440525742131247162282076268253477967463349338926262678549371124259844918813429951678277003761774882469045816250432205488789807250584268523321060389901366848285650498947797877662318281212052080132416638242494418207595132085775886588753681962409213438728712222986960083341581368933294721157856580926690628947169829737329703218563471451302538208626875410709549077499880146670743153137614793458410185729579947729335327433517911696796560417646977978505537301456097700062439664063850312127226821050569876228947878531001773665"
          }
        ]
      },
      "readout": {
        "sensitivity": "1",
        "false_positive": "1/50",
        "observed": "17/25",
        "successful_positive": "33/49",
        "successful_negative": "0",
        "failing_positive": "8/1225",
        "failing_negative": "8/25"
      }
    },
    {
      "requested_fraction": "7/10",
      "population": {
        "capacities": [
          "9/14",
          "11/8",
          "1"
        ],
        "weights": [
          "3/10",
          "2/7",
          "29/70"
        ]
      },
      "counts": [
        21,
        20,
        29
      ],
      "mean": "1",
      "recovery": {
        "lower": "7/10",
        "upper": "7/10",
        "decisions": [
          {
            "status": "failure",
            "reason": "nonpositive target drift; monotonicity and uniqueness prevent finite arrival"
          },
          {
            "status": "success",
            "reason": "exact upper passage bound",
            "lower": "7642531138046250339043918321928727582608885424557198752734637395687595316473853695810602918973278916645638201212990893572775051128255386565516712084182534974719537532727420025405381263783319619602097844040853118258605678950427752063708281759662647605365429416540999225087174983077103644470691950056629356404908089348894064530481109150476545202489700513255893785406997217567845876953569264648800390932530446366308431263079924146454605427995405481702398011102173504733885348360926821964666162940877584795639207961735369969066773528408565046905600788195912632269581050135715266456822111695207034993946116252291422009/149072078340278815350665525330127676286842917713465679658735599233957797109748829694752574541276926764711991233454654531364709753961944515195994968245082844169435385313369549645621327131894802236449199072136713378288847776002017115433847929289528808529171523406231726934133831305964653899406327646931639227301534459972555782774343589519772064040700513296099300777663128845146178998023671327559413798368767240684751453249286805805173863591081303586398634911191344026369166850687273002854954630403272311653051661588414005833482803521692919629374030704674659040654279170149451270188919748183634403027056328991956770",
            "upper": "102643674558535409640961825676325224265000726072139084182983481589047462229177784030478776969087159124354349214869135487924871873862567274795352108123186600761009678521357463118471704912039403581868959376928860936907207372761098650956162107397517381005775921540444812177115590571713350823181933063225291165096215111808547395987982890351855240074762208094975865061352163214460088885224664630261939357741336435084532427360859712865867679228635681146366249381391127519589525424103508329841106702052931552589934786235315877605661230037399084759070798991373312291267769014405825532658429091326610176599630700496623707/2000967494500386783230409735974868138078428425684103082667591936026279155835554761003390262299019151204187801791337644716304828912240865975785167358994400592878327319642544290545252713179796003173814752646130380916628829208080766650118764151537299443344584206795056737370923910147176562408138626133310593655054153825134976949991189121070765960277859238873816117820981595236861463060720420504153205347231775042748341654352843030941931054913843001159713220284447570823747206049493597353757780273869427002054384719307570548100440315727421739991597727579525624706768847921469144566294224807834018832577937301905460"
          },
          {
            "status": "success",
            "reason": "exact upper passage bound",
            "lower": "593481943234178998558841224646926589941711882956185237313616332661034690690255020200707336609193000855788559133213710713493869134779204356269924742746749924460427304669357106231189264551514416543133309879262405767881612496659122282303256505435162368732685451055817838811268580869959009902828082715551459248003264703851526066506417885569519624992975283929771729140435916645156621458263694611871818220643190093188073861572874403108928853123144442508360640663466800072497750699610427895636495282952748850896426370912711969088380821575881787143547442041514804478686155444921488/5719681079021037670781207072207131646740968880052869130713175682441596831959677533640134045239635012188126250961226681773686131169964871101373871489395316972018168373967155405598174199617949973348419260036597387647890752851468071629700796459745221200790525188223754187173884712618668425508555834244918810048571169229649363835072254970427635932690760490358922344693781457572716878836442714541119678660019284122610418190976737520820795045504812773047428538727132916766182466458160352589672767591965121201622913050085079334587847708898860595143350778425473646650018287930095",
            "upper": "120510958104909041872494990853531920991441085862504393417260342458685689782453718245154721716675693723818274914268579269578934461140012755231517789128635864522179017323523790430300258252877250274789702673608477286928188985581277220563556567547397886006648680646647645776345068582967321825419318838648508130354669229482217258649812361929512690467688966615808232799771972591237956943955444493605463633535432624778295267146972756013714757049270203395234529077581821660685173854160811025899561651399251619470371268287825711472549922528097599739564940369093261441795547104623566/1160429631892012792115239745854587986002029731586421440525742131247162282076268253477967463349338926262678549371124259844918813429951678277003761774882469045816250432205488789807250584268523321060389901366848285650498947797877662318281212052080132416638242494418207595132085775886588753681962409213438728712222986960083341581368933294721157856580926690628947169829737329703218563471451302538208626875410709549077499880146670743153137614793458410185729579947729335327433517911696796560417646977978505537301456097700062439664063850312127226821050569876228947878531001773665"
          }
        ]
      },
      "readout": {
        "sensitivity": "367/380",
        "false_positive": "1/76",
        "observed": "17/25",
        "successful_positive": "2569/3800",
        "successful_negative": "91/3800",
        "failing_positive": "3/760",
        "failing_negative": "45/152"
      }
    },
    {
      "requested_fraction": "4/5",
      "population": {
        "capacities": [
          "9/14",
          "11/8",
          "1"
        ],
        "weights": [
          "1/5",
          "4/21",
          "64/105"
        ]
      },
      "counts": [
        21,
        20,
        64
      ],
      "mean": "1",
      "recovery": {
        "lower": "4/5",
        "upper": "4/5",
        "decisions": [
          {
            "status": "failure",
            "reason": "nonpositive target drift; monotonicity and uniqueness prevent finite arrival"
          },
          {
            "status": "success",
            "reason": "exact upper passage bound",
            "lower": "7642531138046250339043918321928727582608885424557198752734637395687595316473853695810602918973278916645638201212990893572775051128255386565516712084182534974719537532727420025405381263783319619602097844040853118258605678950427752063708281759662647605365429416540999225087174983077103644470691950056629356404908089348894064530481109150476545202489700513255893785406997217567845876953569264648800390932530446366308431263079924146454605427995405481702398011102173504733885348360926821964666162940877584795639207961735369969066773528408565046905600788195912632269581050135715266456822111695207034993946116252291422009/149072078340278815350665525330127676286842917713465679658735599233957797109748829694752574541276926764711991233454654531364709753961944515195994968245082844169435385313369549645621327131894802236449199072136713378288847776002017115433847929289528808529171523406231726934133831305964653899406327646931639227301534459972555782774343589519772064040700513296099300777663128845146178998023671327559413798368767240684751453249286805805173863591081303586398634911191344026369166850687273002854954630403272311653051661588414005833482803521692919629374030704674659040654279170149451270188919748183634403027056328991956770",
            "upper": "102643674558535409640961825676325224265000726072139084182983481589047462229177784030478776969087159124354349214869135487924871873862567274795352108123186600761009678521357463118471704912039403581868959376928860936907207372761098650956162107397517381005775921540444812177115590571713350823181933063225291165096215111808547395987982890351855240074762208094975865061352163214460088885224664630261939357741336435084532427360859712865867679228635681146366249381391127519589525424103508329841106702052931552589934786235315877605661230037399084759070798991373312291267769014405825532658429091326610176599630700496623707/2000967494500386783230409735974868138078428425684103082667591936026279155835554761003390262299019151204187801791337644716304828912240865975785167358994400592878327319642544290545252713179796003173814752646130380916628829208080766650118764151537299443344584206795056737370923910147176562408138626133310593655054153825134976949991189121070765960277859238873816117820981595236861463060720420504153205347231775042748341654352843030941931054913843001159713220284447570823747206049493597353757780273869427002054384719307570548100440315727421739991597727579525624706768847921469144566294224807834018832577937301905460"
          },
          {
            "status": "success",
            "reason": "exact upper passage bound",
            "lower": "593481943234178998558841224646926589941711882956185237313616332661034690690255020200707336609193000855788559133213710713493869134779204356269924742746749924460427304669357106231189264551514416543133309879262405767881612496659122282303256505435162368732685451055817838811268580869959009902828082715551459248003264703851526066506417885569519624992975283929771729140435916645156621458263694611871818220643190093188073861572874403108928853123144442508360640663466800072497750699610427895636495282952748850896426370912711969088380821575881787143547442041514804478686155444921488/5719681079021037670781207072207131646740968880052869130713175682441596831959677533640134045239635012188126250961226681773686131169964871101373871489395316972018168373967155405598174199617949973348419260036597387647890752851468071629700796459745221200790525188223754187173884712618668425508555834244918810048571169229649363835072254970427635932690760490358922344693781457572716878836442714541119678660019284122610418190976737520820795045504812773047428538727132916766182466458160352589672767591965121201622913050085079334587847708898860595143350778425473646650018287930095",
            "upper": "120510958104909041872494990853531920991441085862504393417260342458685689782453718245154721716675693723818274914268579269578934461140012755231517789128635864522179017323523790430300258252877250274789702673608477286928188985581277220563556567547397886006648680646647645776345068582967321825419318838648508130354669229482217258649812361929512690467688966615808232799771972591237956943955444493605463633535432624778295267146972756013714757049270203395234529077581821660685173854160811025899561651399251619470371268287825711472549922528097599739564940369093261441795547104623566/1160429631892012792115239745854587986002029731586421440525742131247162282076268253477967463349338926262678549371124259844918813429951678277003761774882469045816250432205488789807250584268523321060389901366848285650498947797877662318281212052080132416638242494418207595132085775886588753681962409213438728712222986960083341581368933294721157856580926690628947169829737329703218563471451302538208626875410709549077499880146670743153137614793458410185729579947729335327433517911696796560417646977978505537301456097700062439664063850312127226821050569876228947878531001773665"
          }
        ]
      },
      "readout": {
        "sensitivity": "9/10",
        "false_positive": "0",
        "observed": "18/25",
        "successful_positive": "18/25",
        "successful_negative": "2/25",
        "failing_positive": "0",
        "failing_negative": "1/5"
      }
    },
    {
      "requested_fraction": "1",
      "population": {
        "capacities": [
          "9/14",
          "11/8",
          "1"
        ],
        "weights": [
          "0",
          "0",
          "1"
        ]
      },
      "counts": [
        0,
        0,
        1
      ],
      "mean": "1",
      "recovery": {
        "lower": "1",
        "upper": "1",
        "decisions": [
          {
            "status": "failure",
            "reason": "nonpositive target drift; monotonicity and uniqueness prevent finite arrival"
          },
          {
            "status": "success",
            "reason": "exact upper passage bound",
            "lower": "7642531138046250339043918321928727582608885424557198752734637395687595316473853695810602918973278916645638201212990893572775051128255386565516712084182534974719537532727420025405381263783319619602097844040853118258605678950427752063708281759662647605365429416540999225087174983077103644470691950056629356404908089348894064530481109150476545202489700513255893785406997217567845876953569264648800390932530446366308431263079924146454605427995405481702398011102173504733885348360926821964666162940877584795639207961735369969066773528408565046905600788195912632269581050135715266456822111695207034993946116252291422009/149072078340278815350665525330127676286842917713465679658735599233957797109748829694752574541276926764711991233454654531364709753961944515195994968245082844169435385313369549645621327131894802236449199072136713378288847776002017115433847929289528808529171523406231726934133831305964653899406327646931639227301534459972555782774343589519772064040700513296099300777663128845146178998023671327559413798368767240684751453249286805805173863591081303586398634911191344026369166850687273002854954630403272311653051661588414005833482803521692919629374030704674659040654279170149451270188919748183634403027056328991956770",
            "upper": "102643674558535409640961825676325224265000726072139084182983481589047462229177784030478776969087159124354349214869135487924871873862567274795352108123186600761009678521357463118471704912039403581868959376928860936907207372761098650956162107397517381005775921540444812177115590571713350823181933063225291165096215111808547395987982890351855240074762208094975865061352163214460088885224664630261939357741336435084532427360859712865867679228635681146366249381391127519589525424103508329841106702052931552589934786235315877605661230037399084759070798991373312291267769014405825532658429091326610176599630700496623707/2000967494500386783230409735974868138078428425684103082667591936026279155835554761003390262299019151204187801791337644716304828912240865975785167358994400592878327319642544290545252713179796003173814752646130380916628829208080766650118764151537299443344584206795056737370923910147176562408138626133310593655054153825134976949991189121070765960277859238873816117820981595236861463060720420504153205347231775042748341654352843030941931054913843001159713220284447570823747206049493597353757780273869427002054384719307570548100440315727421739991597727579525624706768847921469144566294224807834018832577937301905460"
          },
          {
            "status": "success",
            "reason": "exact upper passage bound",
            "lower": "593481943234178998558841224646926589941711882956185237313616332661034690690255020200707336609193000855788559133213710713493869134779204356269924742746749924460427304669357106231189264551514416543133309879262405767881612496659122282303256505435162368732685451055817838811268580869959009902828082715551459248003264703851526066506417885569519624992975283929771729140435916645156621458263694611871818220643190093188073861572874403108928853123144442508360640663466800072497750699610427895636495282952748850896426370912711969088380821575881787143547442041514804478686155444921488/5719681079021037670781207072207131646740968880052869130713175682441596831959677533640134045239635012188126250961226681773686131169964871101373871489395316972018168373967155405598174199617949973348419260036597387647890752851468071629700796459745221200790525188223754187173884712618668425508555834244918810048571169229649363835072254970427635932690760490358922344693781457572716878836442714541119678660019284122610418190976737520820795045504812773047428538727132916766182466458160352589672767591965121201622913050085079334587847708898860595143350778425473646650018287930095",
            "upper": "120510958104909041872494990853531920991441085862504393417260342458685689782453718245154721716675693723818274914268579269578934461140012755231517789128635864522179017323523790430300258252877250274789702673608477286928188985581277220563556567547397886006648680646647645776345068582967321825419318838648508130354669229482217258649812361929512690467688966615808232799771972591237956943955444493605463633535432624778295267146972756013714757049270203395234529077581821660685173854160811025899561651399251619470371268287825711472549922528097599739564940369093261441795547104623566/1160429631892012792115239745854587986002029731586421440525742131247162282076268253477967463349338926262678549371124259844918813429951678277003761774882469045816250432205488789807250584268523321060389901366848285650498947797877662318281212052080132416638242494418207595132085775886588753681962409213438728712222986960083341581368933294721157856580926690628947169829737329703218563471451302538208626875410709549077499880146670743153137614793458410185729579947729335327433517911696796560417646977978505537301456097700062439664063850312127226821050569876228947878531001773665"
          }
        ]
      },
      "readout": null
    }
  ],
  "reference_rectangles": [
    {
      "status": "finite arrival",
      "lower": "52035823864226437858650808898988174428750263613389809798768901673565367173054373341560521377840377271108004374193730510452513782629536728041342223468858276442360078420355472963047038505486796901286024261933393140256714265609884019230717179335770556039362434370522813883603104811889015490167376644997102296834033673938999330487367708571085688407645324495858266970950468060243732324390967731089174653290478121480557513863797414597563904413773797817321451756350808802278421958770621125391693767779296132630690653911390436062260027630311082589313368570368360061450157915985501882015299715/433011728164256016662371280602009998248103664553016285234415942690631685048451174820875116207663124181413847153843037490042257349351411590654946028810536082998120656022271287917801479143791011492578073004725161954259575973584351853402324796586249371106119911653865777510595618366796380417570283399429442631610485016374580546880153795400362549895901791616072211704394855523608730560257320714925294421540126159040759439559430056812423866858239891247108958622712385447875664212345340109303157431444761144511193631321695556546398911097931187136404645944638794464555580311887003741428491",
      "upper": "321588606263190092855215254189133549322898653563204369269740699486010451128673560695708000531767798139887021663146041490310609748916543694528345001414563336385508183195911104173596167358158136074680850009355526103054055363453311685701336166615237754614192302859845855018840280190444491184945217805227062957928578436151857757732648525274109302160977198642375328434946641845438524884057282231371172348877416616865589895707301831954824111616810420881846717344122689738630588369123413521427740390287715865194787703159834200279743873021855327235030408191389305437231642722192795885185055/2673546647416446552652969198682559951187531531317602331060274165271057661187302432995191883495426556332643083828050100864663664469992092461892328840910457886001219913697234264037719890225259154311809522232926670817085959466443397812505448755935047173773240964854075092680001443252601731383715831960381265357841987752490879653023984488342300236830550126340032653601108108196111848626618460837819438366194082197829433727985082279060323091501837371746576329658162436866484746977197540451646186943140296783968424225686080377631529728935219868332111326183948861571703891738081713910506",
      "capacity": "19/20",
      "classification": "failure"
    },
    {
      "status": "finite arrival",
      "lower": "95664334288950966297526036445217620806708780105597706174741198244639508308459653028251962740963392359652910938593062562563195499990541497727896549819392798689698133051557315739990587076825064810589798715190352414788106270807555663665617510185688356624936613620835115848469867776591351351395243360392115008837592828853818843795708384326659242066662598101553063761120816895432164394825538684240859260205211310045601080933409406206455984425178417909971318033661172327192202885322868225049330379412106258133950634873556186558334889108299702104753006968825491/798580922191705572028191320602184041054288769630896374625077404104138010154420918619753325497101578087763697657966182272437669495151819308468113962461375903649450778970651964285940556025265841247671958360240289698484819489570756403930625644644270120163719489402515821947674720306127671030145454342177331001919623894281667427528109552715597191836632606405525555116659099348875523715674503113332478084509564784573614543684092742697898979303467477910006283755573974399816337770258321636806687160162866167305895711743189293777223448050825245218792719497862",
      "upper": "7687783009112681226064301649078293193417752413701526727267448811457918707642410155694973378276531182133605594432784010659436014727945660571277626312732228812682540285832128717064850609708763676097835571725916920567761279081740929968583544233633720474822674224730080573195506379791486336380942833543796357450876606363492975359251016587983386763208054829363038191000378815407323193413355082769272571163671412163595846435897801939596576914980811320472599263096879781653701535885076963736066301413565082235192562080474431888925820327259498214899686690025359/64115164809050255591115334868086368931487259949910882544687881587496633901428833660598962977778035162249501678496901363729334753637860205282277623168722074596248413346147971563739538376868697047243414708543965984485868913251142293744366262443953162293891055912142666349161304570729759320753176339412856541703595475020312854063877882780030048130069710665132964537619779390321379301130604443259114834706214099298418554517209184660480766939731216584950645128931277924199010498558198157493556575886254148947596843131516604000523692837626982101432092539588",
      "capacity": "951/1000",
      "classification": "success"
    },
    {
      "status": "finite arrival",
      "lower": "5836171554002994763744917612157496616116364469401252108088357902007543625220985800970541277022312179835805551913835424600660118840602301102296655116494589329453994038415748425739801217037952709309607938903080576094403355539399556839833431582644765814255932041986823090548368598349126290099075742265759339428731588408991921278063528190826031124457510930133527758782180444097049874791525221851311732686414215110749518337324585947203984803864895743445726852997492682592223056097916507540735788257563055053391297711400933193803306840656109047299783/37041204464928286954147124837866313855789882201424539127771423393449658971965417700533080832892759921022774051264953759925932204157593113222718601122116208915036001814088666465077270285892310240543965447932069791243395986105278835750435991416095816631535067699869352939213786132062064458051419744622891349141394382706537713454852599075241749182366858649171599804970676838610341135324873572909503214826327157948952963281631058203698316572369769690162003579431323488411149853346898609800486077782267355308398944599655223171612930894809121105670",
      "upper": "11685720733837489870621091967440227517537828550784971548941671409196462749070363926551938971351603421716781085829915726372117165564043872226284552676953880189413773284649713664492950500067622528468231231426768481302171157774701821512956128338535817643599633518812900527136289826166800892001350174669563422657562256653554215648410367165571262699866650719503424196175846330640908690409588948417103448350241806265494589582629783526174328386694012846454341461130696537089633728556066248576578961217458998299388333694684353519302390199036775930549641/74082408929856573908294249675732627711579764402849078255542846786899317943930835401066161665785519842045548102529907519851864408315186226445437202244232417830072003628177332930154540571784620481087930895864139582486791972210557671500871982832191633263070135399738705878427572264124128916102839489245782698282788765413075426909705198150483498364733717298343199609941353677220682270649747145819006429652654315897905926563262116407396633144739539380324007158862646976822299706693797219600972155564534710616797889199310446343225861789618242211340",
      "capacity": "7/8",
      "classification": "failure"
    },
    {
      "status": "finite arrival",
      "lower": "82467583308077127646980701612377591508313629996173643953351849572302428963122817390825773636860910644152527361908673792978963848134868991727049811192818673973139983209544556610263463546344063184430864818494112043771694795680843083114444099322742669110551447756610316925132502836616406188508263332256624352816400136234141988627915416558196741109891311842020307448719556272415099397069746540986540865804261057670369792074125992479572525052428934771224206402152637002983788977485178516329409830433303069332586370277692034091/1066073278161598493686549749346736317904457687275487590007633856803846540482131157505795561278553482152357701655831869489808217557649237190056293734901675875048723559027527494750239397888480320337091339589954042695869842838373860041039913444693705613901666713054119720756788499341962761117262604032928298895275937295458922735403722908188315846067449822231061928248847863708233143206150052473636743445765229116334417904128762499774633272067916555723972035490962292105087734742432417768277335161708459092571682344327739010",
      "upper": "382954413203315875825186968171285034765082871216336312522255379524091642862243527208161767939039730916834510217714272161284779902118687283174273394561680192455220062507805205946194230207725814772951311792919219043670350360289163663796729786338706215528386318235113691029160013190380677419416244320445447009409078596459171631766825625653139805146751240661184946399396321299862887547838047077983893789965009192322250114937473750012967405741769058993950415436028215471389339797845843797011326003042650133280992039132391947/4946975768731315515946866586295760175890754929352610626485539938764949143768590058031533927046651889338086782625669928026952285650344488120910875800007776682360666167181102063806215303426822832190679070022988597196611799714031833137076164476536917001863882659183850212328484915739966408896810227530989786056964906243428875802337461290897057290336194070677781569600222105374631755016937598485553333855059067825217716492476856147446094069920726476677364433832771657100175103213143469922400627200503290452768827583887420",
      "capacity": "9/8",
      "classification": "success"
    },
    {
      "status": "finite arrival",
      "lower": "7642531138046250339043918321928727582608885424557198752734637395687595316473853695810602918973278916645638201212990893572775051128255386565516712084182534974719537532727420025405381263783319619602097844040853118258605678950427752063708281759662647605365429416540999225087174983077103644470691950056629356404908089348894064530481109150476545202489700513255893785406997217567845876953569264648800390932530446366308431263079924146454605427995405481702398011102173504733885348360926821964666162940877584795639207961735369969066773528408565046905600788195912632269581050135715266456822111695207034993946116252291422009/149072078340278815350665525330127676286842917713465679658735599233957797109748829694752574541276926764711991233454654531364709753961944515195994968245082844169435385313369549645621327131894802236449199072136713378288847776002017115433847929289528808529171523406231726934133831305964653899406327646931639227301534459972555782774343589519772064040700513296099300777663128845146178998023671327559413798368767240684751453249286805805173863591081303586398634911191344026369166850687273002854954630403272311653051661588414005833482803521692919629374030704674659040654279170149451270188919748183634403027056328991956770",
      "upper": "102643674558535409640961825676325224265000726072139084182983481589047462229177784030478776969087159124354349214869135487924871873862567274795352108123186600761009678521357463118471704912039403581868959376928860936907207372761098650956162107397517381005775921540444812177115590571713350823181933063225291165096215111808547395987982890351855240074762208094975865061352163214460088885224664630261939357741336435084532427360859712865867679228635681146366249381391127519589525424103508329841106702052931552589934786235315877605661230037399084759070798991373312291267769014405825532658429091326610176599630700496623707/2000967494500386783230409735974868138078428425684103082667591936026279155835554761003390262299019151204187801791337644716304828912240865975785167358994400592878327319642544290545252713179796003173814752646130380916628829208080766650118764151537299443344584206795056737370923910147176562408138626133310593655054153825134976949991189121070765960277859238873816117820981595236861463060720420504153205347231775042748341654352843030941931054913843001159713220284447570823747206049493597353757780273869427002054384719307570548100440315727421739991597727579525624706768847921469144566294224807834018832577937301905460",
      "capacity": "11/8",
      "classification": "success"
    }
  ],
  "reference_cutoff_numeric": 0.9506018463272135,
  "reference_connected_numeric": {
    "lower": 0.1163957789290309,
    "upper": 1,
    "lower_attained": false,
    "upper_attained": true
  },
  "reference_horizons": [
    {
      "deadline": 60,
      "cutoff_numeric": 1.2673062202756062,
      "lower": 0,
      "upper": 0.5838336733514612,
      "lower_attained": true,
      "upper_attained": true
    },
    {
      "deadline": 120,
      "cutoff_numeric": 0.9506018463272135,
      "lower": 0.1163957789290309,
      "upper": 1,
      "lower_attained": false,
      "upper_attained": true
    },
    {
      "deadline": 240,
      "cutoff_numeric": 0.7923740816507143,
      "lower": 0.35636231037839516,
      "upper": 1,
      "lower_attained": false,
      "upper_attained": true
    },
    {
      "deadline": 1000,
      "cutoff_numeric": 0.6730940729239501,
      "lower": 0.46574037127432666,
      "upper": 1,
      "lower_attained": false,
      "upper_attained": true
    }
  ],
  "reference_offband_numeric": {
    "infimum": 0.4457714551357953,
    "attained": false,
    "transition": 0.8836042210709691
  },
  "reference_approaching_witnesses": [
    {
      "failing_capacity": "19/20",
      "population": {
        "capacities": [
          "9/14",
          "19/20",
          "11/8"
        ],
        "weights": [
          "931/2050",
          "1/10",
          "457/1025"
        ]
      },
      "mean": "1",
      "offband_mass": "1/10",
      "success_fraction": "457/1025",
      "panels": 128
    },
    {
      "failing_capacity": "1901/2000",
      "population": {
        "capacities": [
          "9/14",
          "1901/2000",
          "11/8"
        ],
        "weights": [
          "46557/102500",
          "1/10",
          "45693/102500"
        ]
      },
      "mean": "1",
      "offband_mass": "1/10",
      "success_fraction": "45693/102500",
      "panels": 256
    },
    {
      "failing_capacity": "95059/100000",
      "population": {
        "capacities": [
          "9/14",
          "95059/100000",
          "11/8"
        ],
        "weights": [
          "2327913/5125000",
          "1/10",
          "2284587/5125000"
        ]
      },
      "mean": "1",
      "offband_mass": "1/10",
      "success_fraction": "2284587/5125000",
      "panels": 2048
    }
  ],
  "reference_equal_variance": [
    {
      "name": "A",
      "population": {
        "capacities": [
          "7/8",
          "11/8"
        ],
        "weights": [
          "3/4",
          "1/4"
        ]
      },
      "mean": "1",
      "variance": "3/64",
      "recovery": {
        "lower": "1/4",
        "upper": "1/4",
        "decisions": [
          {
            "status": "failure",
            "reason": "exact lower passage bound",
            "lower": "5836171554002994763744917612157496616116364469401252108088357902007543625220985800970541277022312179835805551913835424600660118840602301102296655116494589329453994038415748425739801217037952709309607938903080576094403355539399556839833431582644765814255932041986823090548368598349126290099075742265759339428731588408991921278063528190826031124457510930133527758782180444097049874791525221851311732686414215110749518337324585947203984803864895743445726852997492682592223056097916507540735788257563055053391297711400933193803306840656109047299783/37041204464928286954147124837866313855789882201424539127771423393449658971965417700533080832892759921022774051264953759925932204157593113222718601122116208915036001814088666465077270285892310240543965447932069791243395986105278835750435991416095816631535067699869352939213786132062064458051419744622891349141394382706537713454852599075241749182366858649171599804970676838610341135324873572909503214826327157948952963281631058203698316572369769690162003579431323488411149853346898609800486077782267355308398944599655223171612930894809121105670",
            "upper": "11685720733837489870621091967440227517537828550784971548941671409196462749070363926551938971351603421716781085829915726372117165564043872226284552676953880189413773284649713664492950500067622528468231231426768481302171157774701821512956128338535817643599633518812900527136289826166800892001350174669563422657562256653554215648410367165571262699866650719503424196175846330640908690409588948417103448350241806265494589582629783526174328386694012846454341461130696537089633728556066248576578961217458998299388333694684353519302390199036775930549641/74082408929856573908294249675732627711579764402849078255542846786899317943930835401066161665785519842045548102529907519851864408315186226445437202244232417830072003628177332930154540571784620481087930895864139582486791972210557671500871982832191633263070135399738705878427572264124128916102839489245782698282788765413075426909705198150483498364733717298343199609941353677220682270649747145819006429652654315897905926563262116407396633144739539380324007158862646976822299706693797219600972155564534710616797889199310446343225861789618242211340"
          },
          {
            "status": "success",
            "reason": "exact upper passage bound",
            "lower": "7642531138046250339043918321928727582608885424557198752734637395687595316473853695810602918973278916645638201212990893572775051128255386565516712084182534974719537532727420025405381263783319619602097844040853118258605678950427752063708281759662647605365429416540999225087174983077103644470691950056629356404908089348894064530481109150476545202489700513255893785406997217567845876953569264648800390932530446366308431263079924146454605427995405481702398011102173504733885348360926821964666162940877584795639207961735369969066773528408565046905600788195912632269581050135715266456822111695207034993946116252291422009/149072078340278815350665525330127676286842917713465679658735599233957797109748829694752574541276926764711991233454654531364709753961944515195994968245082844169435385313369549645621327131894802236449199072136713378288847776002017115433847929289528808529171523406231726934133831305964653899406327646931639227301534459972555782774343589519772064040700513296099300777663128845146178998023671327559413798368767240684751453249286805805173863591081303586398634911191344026369166850687273002854954630403272311653051661588414005833482803521692919629374030704674659040654279170149451270188919748183634403027056328991956770",
            "upper": "102643674558535409640961825676325224265000726072139084182983481589047462229177784030478776969087159124354349214869135487924871873862567274795352108123186600761009678521357463118471704912039403581868959376928860936907207372761098650956162107397517381005775921540444812177115590571713350823181933063225291165096215111808547395987982890351855240074762208094975865061352163214460088885224664630261939357741336435084532427360859712865867679228635681146366249381391127519589525424103508329841106702052931552589934786235315877605661230037399084759070798991373312291267769014405825532658429091326610176599630700496623707/2000967494500386783230409735974868138078428425684103082667591936026279155835554761003390262299019151204187801791337644716304828912240865975785167358994400592878327319642544290545252713179796003173814752646130380916628829208080766650118764151537299443344584206795056737370923910147176562408138626133310593655054153825134976949991189121070765960277859238873816117820981595236861463060720420504153205347231775042748341654352843030941931054913843001159713220284447570823747206049493597353757780273869427002054384719307570548100440315727421739991597727579525624706768847921469144566294224807834018832577937301905460"
          }
        ]
      }
    },
    {
      "name": "B",
      "population": {
        "capacities": [
          "5/8",
          "9/8"
        ],
        "weights": [
          "1/4",
          "3/4"
        ]
      },
      "mean": "1",
      "variance": "3/64",
      "recovery": {
        "lower": "3/4",
        "upper": "3/4",
        "decisions": [
          {
            "status": "failure",
            "reason": "nonpositive target drift; monotonicity and uniqueness prevent finite arrival"
          },
          {
            "status": "success",
            "reason": "exact upper passage bound",
            "lower": "82467583308077127646980701612377591508313629996173643953351849572302428963122817390825773636860910644152527361908673792978963848134868991727049811192818673973139983209544556610263463546344063184430864818494112043771694795680843083114444099322742669110551447756610316925132502836616406188508263332256624352816400136234141988627915416558196741109891311842020307448719556272415099397069746540986540865804261057670369792074125992479572525052428934771224206402152637002983788977485178516329409830433303069332586370277692034091/1066073278161598493686549749346736317904457687275487590007633856803846540482131157505795561278553482152357701655831869489808217557649237190056293734901675875048723559027527494750239397888480320337091339589954042695869842838373860041039913444693705613901666713054119720756788499341962761117262604032928298895275937295458922735403722908188315846067449822231061928248847863708233143206150052473636743445765229116334417904128762499774633272067916555723972035490962292105087734742432417768277335161708459092571682344327739010",
            "upper": "382954413203315875825186968171285034765082871216336312522255379524091642862243527208161767939039730916834510217714272161284779902118687283174273394561680192455220062507805205946194230207725814772951311792919219043670350360289163663796729786338706215528386318235113691029160013190380677419416244320445447009409078596459171631766825625653139805146751240661184946399396321299862887547838047077983893789965009192322250114937473750012967405741769058993950415436028215471389339797845843797011326003042650133280992039132391947/4946975768731315515946866586295760175890754929352610626485539938764949143768590058031533927046651889338086782625669928026952285650344488120910875800007776682360666167181102063806215303426822832190679070022988597196611799714031833137076164476536917001863882659183850212328484915739966408896810227530989786056964906243428875802337461290897057290336194070677781569600222105374631755016937598485553333855059067825217716492476856147446094069920726476677364433832771657100175103213143469922400627200503290452768827583887420"
          }
        ]
      }
    }
  ],
  "reference_second_assay": {
    "row_span": {
      "identified_for_all_weights": false,
      "null_direction": [
        "-98/3",
        "55",
        "-70/3",
        "1"
      ],
      "witness_weights": [
        [
          "0",
          "55/56",
          "0",
          "1/56"
        ],
        [
          "7/12",
          "0",
          "5/12",
          "0"
        ]
      ],
      "target_values": [
        "1/56",
        "5/12"
      ],
      "exact_paper_null_vector": [
        -98,
        165,
        -70,
        3
      ],
      "exact_endpoint_weights": [
        [
          0,
          "55/56",
          0,
          "1/56"
        ],
        [
          "7/12",
          0,
          "5/12",
          0
        ]
      ]
    },
    "numerical_bounds": {
      "status": "numerical bounds",
      "lower": 0.017857142857142853,
      "upper": 0.4166666666666667,
      "lower_weights": [
        0.0,
        0.9821428571428572,
        0.0,
        0.017857142857142853
      ],
      "upper_weights": [
        0.5833333333333333,
        0.0,
        0.4166666666666667,
        0.0
      ]
    },
    "kinetic_classification": [
      {
        "inhibition_coordinate": "1/20",
        "task_classification": {
          "status": "failure",
          "reason": "nonpositive target drift; monotonicity and uniqueness prevent finite arrival"
        },
        "passage_numeric": "no finite arrival"
      },
      {
        "inhibition_coordinate": "1/10",
        "task_classification": {
          "status": "failure",
          "reason": "nonpositive target drift; monotonicity and uniqueness prevent finite arrival"
        },
        "passage_numeric": "no finite arrival"
      },
      {
        "inhibition_coordinate": "1/5",
        "task_classification": {
          "status": "success",
          "reason": "exact upper passage bound",
          "lower": "5429982516547551850262644993988469513944817870720136010629840350764790030639258012643714243441570115651591291492261370676556973325811569548373813742059183942458861820031141169361486942157488218912205223958764638551142447118215836511419744110949882884372161691105357789269691835481941377193523498450689492937964300143323071845888662862927362833700814652048653207416959117381942112026724798765901281487762766993480759558308153222120307889168959891125653429758501921118354192693411/32158241210104201981270741191921460750104330975733259747382590453173097365591906751875489149677637137200403943729187738808611741890371843231754283326835739328139588603112449038009138833013885827061863366794855577245957415332497074445010469944330881098587691275015933563100325761006146372669042005082449572869287798086243784512097722470239306660523485154081784505263148699430322105002674040890087626666888842610591374088601309178028452399039249478138746517881713240467109827120",
          "upper": "19150563641607255980017357065291753239330915846764084648933199259846452341437381303182436019224153168135523757691722859390449986474961601006420033563132422039055547563338971481685890750494859662591354216160299154608643030904345104192164901513545549460827850489880471491408706299586763880371227748726001898162310371823526456901082964379883794530539711502356272976607473720959361021006529122651944317220702800666699370252739504648541192120589875945059970920797515227536137036731801/112553844235364706934447594171725112625365158415066409115839066586105840779571673631564212023871729980201413803052157085830141096616301451311139991643925087648488560110893571633031985915548600394716521783781994520360850953663739760557536644805158083845056919462555767470851140163521512304341647017788573505042507293301853245792342028645837573311832198039286245768421020448006127367509359143115306693334110949137069809310104582123099583396637373173485612812585996341634884394920"
        },
        "passage_numeric": 169.49647444432594
      },
      {
        "inhibition_coordinate": "4/5",
        "task_classification": {
          "status": "success",
          "reason": "exact upper passage bound",
          "lower": "18375787489268158071530773040208306204046730629067000035974001786426118676622106168934919384213132180324411719157250218211156662204905306528529776650064103878497851232726940590860580330502114679054673376492703738104900425587998965153223288214246285511549637105358473114143904796911553769429491418887377347996305352295950445362802379123574897559855499771260183756797161439489826446102352830267890872541829933569554603840509341004168689383181128104920709278853291936383097234179420799290099961001221969177929911868666490567844898576692986022490033656384096559161575970227784472053206302952348411906904077199841713809359769146607132848134459010380794956151686619768017428/178787419891708671311979978945425995208916986033327545883108648335458636915727443324191147793736249762849501026456372204444127621155909074385216280469413008780239252574945902324296423977358043469427428507495841672297289421667300120997000435176436451709608627199824484139111866877939113864798102039973989821360930314199194623415104411027785803413484733893160185298421843076171324587046182643935712746403810895236527043275782598458088243875420391105457517544187198074335394813824721723293536799561758730086016321583400063446196616957537195230308930217155174836660577996808127408949991812821075098760341216884276630694606306761314973441831366554834492057399117150650935",
          "upper": "64001918313424049865388516809674311613191213874195166153552837856208646227909605088897825664742286336562954259913093229450132232261878689176161593973389178498534103480175439125644885640716480037042193839361874795689066401663379223945776979300017123787618946320241473904951534929850044861187198683474494853587284568457400370381660996639494677652350264061812306460482101135960606978951468657568614910176128149440159256321350131181363581959411670018817272147433965060449919701862564765810051367476413343683375892470622596791984009838662055163795778880929081975008291117037165074447321375790292763480101574061336049082749763411679646017285570805935498148714427851503144504/622242679710444589675318966024037197299156497242629057069159793551792723239453154276770064592173760091663983921771740816340479100704190097314486356044201606977513905249920891495477073842595461332461399652725702239392749646588813084867289724173012454203310375014236305060577108741124339520716538540870174181767080613173616222104097011306311289609376999619426496431625366514011116575876888939811192396872651893028436914806981357952385722134105029305893630928896056180110522561651979098100213228169090427417270778611222054876064208363131635801555534423898141243748823857886801506258268448988632548960663536492438753989525006501170453419823577048921791134266796371479455"
        },
        "passage_numeric": 102.81840960359064
      }
    ]
  },
  "reference_measurement": {
    "lower": "7/10",
    "upper": "7/10",
    "unresolved_mass": "0",
    "ambiguity_band": [
      "47/50",
      "961/1000"
    ]
  },
  "reference_frontier": [
    {
      "weight_ratio": "1",
      "status": "feasible",
      "maximum_additional_error": "1/150"
    },
    {
      "weight_ratio": "51/50",
      "status": "feasible",
      "maximum_additional_error": "9/3800"
    },
    {
      "weight_ratio": "33/32",
      "status": "feasible",
      "maximum_additional_error": "0"
    },
    {
      "weight_ratio": "6/5",
      "status": "no nonnegative error budget",
      "maximum_additional_error": null
    }
  ],
  "reference_eventual": {
    "threshold": "363/560",
    "lower": "197/407",
    "attained": true,
    "population": {
      "capacities": [
        "363/560",
        "11/8"
      ],
      "weights": [
        "210/407",
        "197/407"
      ]
    }
  },
  "reference_asymptotic": [
    {
      "deadline": 1000,
      "delta_numeric": "0.024879787209664362962517137149964059922661161385342015462481580545",
      "leading_delta_numeric": "0.025483561750211566076177730038427169979572489849136376455189697288",
      "relative_error_numeric": 0.024267673009384563
    },
    {
      "deadline": 15000,
      "delta_numeric": "0.0000000088242831570852674706924124973911058233560416676464758216333392513",
      "leading_delta_numeric": "0.0000000088243161273305009810615933638885516738478164042656257108972313362",
      "relative_error_numeric": 3.7363086209487307e-06
    },
    {
      "deadline": 30000,
      "delta_numeric": "0.0000000000000010559225263865416614613555300256686330550528433574652471447623898",
      "leading_delta_numeric": "0.0000000000000010559225263875392167695697068608193163932373467826772619402630745",
      "relative_error_numeric": 9.447239577584328e-13
    }
  ],
  "reference_multidimensional": [
    {
      "capacity": 1.0,
      "x_at_one": 0.4323323583816995,
      "maximum_difference": 5.6710192097853e-13,
      "all_time_ceiling": 0.5,
      "sampled_success": true
    },
    {
      "capacity": 4.0,
      "x_at_one": 0.23529410790602875,
      "maximum_difference": 1.8446355554146976e-13,
      "all_time_ceiling": 0.23529411764705882,
      "sampled_success": false
    }
  ],
  "reference_sample_sizes": {
    "one_sided": 33702,
    "two_sided": 41500
  },
  "evidence": "Exact finite certificates and witnesses; numerical ODEs, LPs and roots labeled; general existence/comparison imported from manuscript; Lean not rerun; designed model units only."
}