{
  "inputs": {
    "n": 4,
    "exponent": "1.5",
    "theorem_V": 50010000000000000000000000000000000000000000000000,
    "startup_replicates": 16,
    "seed": 59092026
  },
  "catalogue": {
    "molecules": 30,
    "ordered_splits": 68,
    "productive_labels": 224
  },
  "deterministic": [
    {
      "environment": "self",
      "selected_at_observations": [
        1.272369004775498e-08,
        0.2752551193329649,
        0.2752551193329648
      ],
      "window_exports": [
        102.78205186721539,
        109.00104478683389
      ],
      "gross_food": 1194.0,
      "gross_monomer_feed": 1989.9999999999995,
      "maximum_mass_error": 2.788880237858393e-13,
      "maximum_nonfood_ledger_error": 4.933831121434196e-13,
      "recovered_fraction": 0.10589154837390477,
      "evidence": "Concentration ODE illustration; does not establish a finite-count success probability"
    },
    {
      "environment": "food",
      "selected_at_observations": [
        0.3441203898176661,
        0.34413114662209127,
        0.34413114662209127
      ],
      "window_exports": [
        136.27594643691273,
        136.27595068551872
      ],
      "gross_food": 1194.0,
      "gross_monomer_feed": 1990.0,
      "maximum_mass_error": 3.9257486150745535e-13,
      "maximum_nonfood_ledger_error": 5.400124791776761e-13,
      "recovered_fraction": 0.1369011896874108,
      "evidence": "Concentration ODE illustration; does not establish a finite-count success probability"
    },
    {
      "environment": "deleted",
      "selected_at_observations": [
        1.2642410927253952e-09,
        1.9999999079992477e-09,
        1.999999908000018e-09
      ],
      "window_exports": [
        2.209359397758786e-05,
        2.2175998960895982e-05
      ],
      "gross_food": 1194.0,
      "gross_monomer_feed": 1989.9999999999998,
      "maximum_mass_error": 1.4210854715202004e-14,
      "maximum_nonfood_ledger_error": 7.411538288475128e-20,
      "recovered_fraction": 2.217599896614404e-08,
      "evidence": "Concentration ODE illustration; does not establish a finite-count success probability"
    }
  ],
  "startup": [
    {
      "environment": "self",
      "V": 100,
      "runs": 16,
      "completed": true,
      "nonfood_births": 0,
      "selected_births": 0,
      "births_before_exit": 0,
      "corridor_exits": 0,
      "birth_frequency_interval95_numeric": [
        0.0,
        0.2059072142078227
      ],
      "analytic_mission_ceiling": {
        "lower_evaluation": "15836186491816654283837423013657778690681600672561132525747659898945525531594938269583655145019309550841402592748437425846383688785630994050502474754008194779050983808375292765567684042741383952446136110164381678915504996191841996438917375102259397964213375701899981491071901979181391195573371816815308276604507689138492918075896982632234140108583562009890274693013759744991483824046136627297195857486812309955487340685558093713672389883566580758177089172035324334001355755981954282232164512412167633833308024644592695513840022371063718707398116593984000529340246461005083547112378344098810167668448028403754658989085162499002754886945949443995568629990052909233065497782575513489436207778123162832026479996753790215065172953106227101632432417015608939562255142974435580982698246226985514741265056375893308472970032079190346317143453516215960845929362204182654675550133207958770306103174828303273173536179259226271150274136972586831874142145435652804229516110269388869130382310345925833629680217546228642149518339186815640206458648075044713290804798371440109089575107280415434896272255410002166595548834474128424119830163267427838424204565681063683723192025102214298554407875801247578843666571504949075109792883510270016904010602297646165415871901521144647718646833364071603566315883369476119887365781353812938096974497953870095711019905508850951989016379541203594788351226692384824205520908156495303317716329288589558246049006324583251024225599477651834020165993551657792846959508389624933852712904351647734646806855155821261311405845803849615596829708088839889825728342390436015081499058816291799329941966554234149366552689343430388899290793912521374973383366935736167661838887752610316843346077866784022956471937858395246510842712160453096932145768287302831608376780984306604805768898551890725381430040065376331157069839553304956851398383724520030470465823987498644425360065720875583615638627971972970033574492975239435139348340432277768423711594794222702728441833984736539441469872154526612884455516188047104654421680589481751362284194580111249477753948854494872732154092648861446049524954452626276929657975262640103351102416732447360081897409019611919843863034073467209335252802939372439298615825841240752816041913803571818537001195267576566098452298035800609792466643978685330498338969506783470341727926198477907193927833430198401769754277783314192520578710291578752819994992375172373740137798958105379810087638781787341224795023644074314002962536782493881690179085344121877496486202681434163281851732953508352608899579949081905074185287679646047738528756434407010953495938952795543745448639454352679899498843913846501123614917303102500543589639448900668471422446138294984491386103277358754588855556956001/490798831948139538430882995932757435367145206799233016386282870002738612158621943780866095480347765903872899719056191459321724581356759193170856938835315380329433840661411759649149170913941406062513017025307508422853649169130420302956393670970500963460866627717451320393544469419143924782244915252533198765460442398314138492918075896982632234140108583562009890274693013759744991483824046136627297195857486812309955487340685558093713672389883566580758177089172035324334001355755981954282232164512412167633833308024644592695513840022371063718707398116593984000529340246461005083547112378344098810167668448028403754658989085162499002754886945949443995568629990052909233065497782575513489436207778123162832026479996753790215065172953106227101632432417015608939562255142974435580982698246226985514741265056375893308472970032079190346317143453516215960845929362204182654675550133207958770306103174828303273173536179259226271150274136972586831874142145435652804229516110269388869130382310345925833629680217546228642149518339186815640206458648075044713290804798371440109089575107280415434896272255410002166595548834474128424119830163267427838424204565681063683723192025102214298554407875801247578843666571504949075109792883510270016904010602297646165415871901521144647718646833364071603566315883369476119887365781353812938096974497953870095711019905508850951989016379541203594788351226692384824205520908156495303317716329288589558246049006324583251024225599477651834020165993551657792846959508389624933852712904351647734646806855155821261311405845803849615596829708088839889825728342390436015081499058816291799329941966554234149366552689343430388899290793912521374973383366935736167661838887752610316843346077866784022956471937858395246510842712160453096932145768287302831608376780984306604805768898551890725381430040065376331157069839553304956851398383724520030470465823987498644425360065720875583615638627971972970033574492975239435139348340432277768423711594794222702728441833984736539441469872154526612884455516188047104654421680589481751362284194580111249477753948854494872732154092648861446049524954452626276929657975262640103351102416732447360081897409019611919843863034073467209335252802939372439298615825841240752816041913803571818537001195267576566098452298035800609792466643978685330498338969506783470341727926198477907193927833430198401769754277783314192520578710291578752819994992375172373740137798958105379810087638781787341224795023644074314002962536782493881690179085344121877496486202681434163281851732953508352608899579949081905074185287679646047738528756434407010953495938952795543745448639454352679899498843913846501123614917303102500543589639448900668471422446138294984491386103277358754588855556956001",
        "upper_evaluation": "79479249756629223974310786891825729695301427547874400532624404446257910395603886790072190553999536426575781633603754475979512804117388841972289564458188960293978421155945699476932709850088520057877659755305909416527620279009650238353464726940379077438053047167437314381478356643644833104928063281904595868489201794652134342497513374218081480116173044083080521058437897300730494416177895913128813591190469729450315635480594028800815065616792825054110456755112368685347067598133049993626219736584973734482799504122724114773433161836495322258881171007056726137834327356329376622710358715511518998002392678087101198603601412023337534986726588389083273448224070115660455034456296578773967066469201001320988289894132980576068361052934964218661222442779167500608846406367324926886874054624203766105427966722836629507779808441029178118314713290143234721166704601696464327776264548066195387536102256718582290029675291847099963087281686913184259116686350547811765241740941343596589925132957776290069428372601558624872759795871582539543627183252097803638959202599662341826391713069277915260624450888653289654999504738704063985809750790782963062240470363394845847142305377109358894894097558986322047801456508709791288809649666449305283858389322738005528043230099370562569589826722716167464628548792424305340708801298467621230424748234608086357283197961530153943479964047645737325761299913074957024715817063987509336256985557411120695524213376987621876599665306382558751018916453871197606677674463682558305816028043827533221256562422171988215128937441843572427161507016726561984853746359633530813378032651313721880613372744107170219720587192206090317836349759209399796552097461858093504331546079734782493986925388869182744384646654175378700384856366065940605628328034934579707895412002600279020191073831717938121529561783724719876485594524713423358198939687769496296285942516758148390034544903400861532847873634396119749503396032821401841549177983016754122302859260219056270917984794755478871333337034908502720615512701760638551638609278597332523653312310291533072090916445485519364004679725835884655490117592103631595672815475061867716086240539520503550428682832153173723022285964284668723597387206896370893241553884754691881485402247482049011729806968499537266565586256264759516756769223913515278794306139674402792536418991171188285792727698450398887061874622224285890230880227174242069862267136340750207432181975657060022770593135152144553934198341206833344480404375131316084219457000752805005328776192675098643944099894636770977873237015176872881863776041737910877184232697220475404292448490106382167616693144692193967880159157985150714715317904373775913671855012599666399594670754009939047223092383247450349715247475183437760374514651685895239482220296293031482987756822924634160951652961378359/2463239603544041752614024151702582565144490492836896964727587614388805337144759178849738237383258588093572542809547953580298895469316566933458140749565799952030382121638651367945537327255771068275481562751449461745047684648110054583087022786093549568821897709224265707744489222262802932890675115760892611459532654354834149733379408156054517601480116173044083080521058437897300730494416177895913128813591190469729450315635480594028800815065616792825054110456755112368685347067598133049993626219736584973734482799504122724114773433161836495322258881171007056726137834327356329376622710358715511518998002392678087101198603601412023337534986726588389083273448224070115660455034456296578773967066469201001320988289894132980576068361052934964218661222442779167500608846406367324926886874054624203766105427966722836629507779808441029178118314713290143234721166704601696464327776264548066195387536102256718582290029675291847099963087281686913184259116686350547811765241740941343596589925132957776290069428372601558624872759795871582539543627183252097803638959202599662341826391713069277915260624450888653289654999504738704063985809750790782963062240470363394845847142305377109358894894097558986322047801456508709791288809649666449305283858389322738005528043230099370562569589826722716167464628548792424305340708801298467621230424748234608086357283197961530153943479964047645737325761299913074957024715817063987509336256985557411120695524213376987621876599665306382558751018916453871197606677674463682558305816028043827533221256562422171988215128937441843572427161507016726561984853746359633530813378032651313721880613372744107170219720587192206090317836349759209399796552097461858093504331546079734782493986925388869182744384646654175378700384856366065940605628328034934579707895412002600279020191073831717938121529561783724719876485594524713423358198939687769496296285942516758148390034544903400861532847873634396119749503396032821401841549177983016754122302859260219056270917984794755478871333337034908502720615512701760638551638609278597332523653312310291533072090916445485519364004679725835884655490117592103631595672815475061867716086240539520503550428682832153173723022285964284668723597387206896370893241553884754691881485402247482049011729806968499537266565586256264759516756769223913515278794306139674402792536418991171188285792727698450398887061874622224285890230880227174242069862267136340750207432181975657060022770593135152144553934198341206833344480404375131316084219457000752805005328776192675098643944099894636770977873237015176872881863776041737910877184232697220475404292448490106382167616693144692193967880159157985150714715317904373775913671855012599666399594670754009939047223092383247450349715247475183437760374514651685895239482220296293031482987756822924634160951652961378359",
        "meaning": "Ceiling on birth by t before corridor exit, food-silent source only; mission uses t=1"
      }
    },
    {
      "environment": "self",
      "V": 200,
      "runs": 16,
      "completed": true,
      "nonfood_births": 0,
      "selected_births": 0,
      "births_before_exit": 0,
      "corridor_exits": 0,
      "birth_frequency_interval95_numeric": [
        0.0,
        0.2059072142078227
      ],
      "analytic_mission_ceiling": {
        "lower_evaluation": "7072674825544143366521929620859126197239235713451329398891096357815251318260606533531284726389747642524341411903881333204729467446907244222890602436718854488730168571263002267271019120431412640712023142979811528074951323379206223321773014795451341197890524424666821283629282715186452104339103300745734063266252025371248324545534886668198121188305646301287464836933054463539199660066907931788596669590341929250383775623382588620053586490057195903122872576717493164858049491447604767762526612642786051708482204775364348157527140506524978721903264606785291290322186914591788490992130311573313826579935997174779308002151972203395013663983690274706405032577369054543564745386142400709337732712521551726600649172194270926370202598194452706784033639344272071646954784910178180015892112013356728625836119754936911352840522316762228751702354689326047277015690372657306011730712835263386907554763894431846574975096224646641318801174887405708041486409719625722563192859534595889728206636740480357225816149331029131507974661968868356300863312936620347594592690748676877216657597273005292432416619054807999933685166817148899614635631573831833412613019503513799043672743403095871860605353464940426859147390290615494659422243080582177020732467096014278500917650756858550508664741385918499787297805932181467553010220476995762969098146783719572950794666568254057156168453093211747100209310907933545047552654384273760409502270663336949291267012611130531046553412562274851118090632707306170112187510453567233318766324015730488903817420561636211368408727857048057743748615926693385025433636899865107508148140359028684011033806530644841409045578362508866746806491661505582333521375423697090312844318306926381136001474401424270486996260673731159480248177271398011144351777591767444948350886215341761462768133101350771598685990282188639739256770865120725404226842912768363584419498086987361843970686645855138938244116083873005271436785202950862440465124522282095310852023614130643146041051154580697219659794703470731400469622806040143589243225714606350405073554872218491392252201848740041919614131832282834657571088394719948845191847413527826491950626019911673238909133824312006014473635993970967209446703971151236083337877820049134149796523684164252106204040520693711645953055556263004610696560802949486428464930363343403646151494091160595307695785502863152455413588878660451863165333531305783396364692929460444693772771217595085515249175726337663176404492667422674062056276156355637859001969217102095109471735300239893429691723729552371073571051007651565511594212862640366144346991498629678291694470256164884748879826019651064353995844463404061691651065381577855708489034874357669827025015123933508867909423017498446046255986993072671093524451/109600770808452510939636458218683391394934205790563924231020532556603713942155004473350411974713350398406992613894394276360516957450042742309074775948502259428760974248440371791145685441785989592335426735805344378314518023486346091507769351261499090621665747209513433704256588002715186452104339103300745734063266252025371248324545534886668198121188305646301287464836933054463539199660066907931788596669590341929250383775623382588620053586490057195903122872576717493164858049491447604767762526612642786051708482204775364348157527140506524978721903264606785291290322186914591788490992130311573313826579935997174779308002151972203395013663983690274706405032577369054543564745386142400709337732712521551726600649172194270926370202598194452706784033639344272071646954784910178180015892112013356728625836119754936911352840522316762228751702354689326047277015690372657306011730712835263386907554763894431846574975096224646641318801174887405708041486409719625722563192859534595889728206636740480357225816149331029131507974661968868356300863312936620347594592690748676877216657597273005292432416619054807999933685166817148899614635631573831833412613019503513799043672743403095871860605353464940426859147390290615494659422243080582177020732467096014278500917650756858550508664741385918499787297805932181467553010220476995762969098146783719572950794666568254057156168453093211747100209310907933545047552654384273760409502270663336949291267012611130531046553412562274851118090632707306170112187510453567233318766324015730488903817420561636211368408727857048057743748615926693385025433636899865107508148140359028684011033806530644841409045578362508866746806491661505582333521375423697090312844318306926381136001474401424270486996260673731159480248177271398011144351777591767444948350886215341761462768133101350771598685990282188639739256770865120725404226842912768363584419498086987361843970686645855138938244116083873005271436785202950862440465124522282095310852023614130643146041051154580697219659794703470731400469622806040143589243225714606350405073554872218491392252201848740041919614131832282834657571088394719948845191847413527826491950626019911673238909133824312006014473635993970967209446703971151236083337877820049134149796523684164252106204040520693711645953055556263004610696560802949486428464930363343403646151494091160595307695785502863152455413588878660451863165333531305783396364692929460444693772771217595085515249175726337663176404492667422674062056276156355637859001969217102095109471735300239893429691723729552371073571051007651565511594212862640366144346991498629678291694470256164884748879826019651064353995844463404061691651065381577855708489034874357669827025015123933508867909423017498446046255986993072671093524451",
        "upper_evaluation": "642991032042559812825348240628900446705155071467769490276568549830857571183321356156753053312793776151947876345864375920322104363117925354239189356603563550336127894205188683845607633847854939949064873290045809368373266125495048686976241816025017559060885634697740953259483950554692476533020449404592618518869613109561314865649346472675132760048578588825452641539169544954156148539998812242008229653958627791490888631562572320686874629628930804812305628023090289284610483154657474518741163623672375484737732825502228749356403133339480591229731322077603438334410662434227973415059250126640338982209739001480095097409131544312782893403910202693098543948908039355366251216340385816863879168293991896981492623338392695870616646583617572096262989149964517435657861228311027445407786373103885848244231276352616490437533472833135180339246632791076912339801081746573220942861894454599152341793771569634706384727568781699967458834741927845561954954776906421218734485344975937841213711497476709087179950085415783934449697608278123352058092916216463250460940805667458871384983433551868859755890406053650684538864303528164035189025713083597437750761225545123329811326356006066539186352161396415806499585865658214647545464720002627935006442686707673450567018213628053087050548944242150466027683339157761852684629917785363898366781098679785911881628038549719595547642408506819442792085875965312230589437890189667675436145678203808146187911702848034362640874023971962564209812119899114486771306850014649744766467782798126458344499472006932670218643873718957401202493919661796314979904095288538543088843425779464546442457482593955038240629123406380013502800960498731804536231256569046946114301291125019697828191746878209343775043215922511947723050044201809463517628189324440485235373389648382693223441744625119923356737679008388664084010267104434955786625983602975882640652798405521313937431537133143572363729682337602302092024839914470080885070430906204615303227870512503553190369162886081560824471939434071487435057408456560156917591489767321255362022629682681582925902749934354351857031005497472359825183094460433259710118201672926320394782683035069583176163481525154867040744210251305201980966556649295104465401756419127267780019301836784103476822920413627206936089244186818291248188132873586829207183437289808537013948275901209403163227766358712628831309655947813896729292089828861216912000680099757565731316378961939860598527534731146383396828145044948594179379744753014899604651905796158230983437233758096306350975219439563890726505161282478301097900912870476864179529592736130718144177955300972251708311205286703479715858706194639194687766373853862746129464829306304054249352907775379671440771147713315489303799976255936170488497918667/9964025404967022765396384480438075866332056390613676517359923011914124261441411607381277669019444204886258453039706984330215279536630543391857008045787870473167891739010194539567371155615771661047211172011913304652712551716811056218527414299366779873453716837113482055426553585321833603156932322942408991302725404721497031560226977471472675132760048578588825452641539169544954156148539998812242008229653958627791490888631562572320686874629628930804812305628023090289284610483154657474518741163623672375484737732825502228749356403133339480591229731322077603438334410662434227973415059250126640338982209739001480095097409131544312782893403910202693098543948908039355366251216340385816863879168293991896981492623338392695870616646583617572096262989149964517435657861228311027445407786373103885848244231276352616490437533472833135180339246632791076912339801081746573220942861894454599152341793771569634706384727568781699967458834741927845561954954776906421218734485344975937841213711497476709087179950085415783934449697608278123352058092916216463250460940805667458871384983433551868859755890406053650684538864303528164035189025713083597437750761225545123329811326356006066539186352161396415806499585865658214647545464720002627935006442686707673450567018213628053087050548944242150466027683339157761852684629917785363898366781098679785911881628038549719595547642408506819442792085875965312230589437890189667675436145678203808146187911702848034362640874023971962564209812119899114486771306850014649744766467782798126458344499472006932670218643873718957401202493919661796314979904095288538543088843425779464546442457482593955038240629123406380013502800960498731804536231256569046946114301291125019697828191746878209343775043215922511947723050044201809463517628189324440485235373389648382693223441744625119923356737679008388664084010267104434955786625983602975882640652798405521313937431537133143572363729682337602302092024839914470080885070430906204615303227870512503553190369162886081560824471939434071487435057408456560156917591489767321255362022629682681582925902749934354351857031005497472359825183094460433259710118201672926320394782683035069583176163481525154867040744210251305201980966556649295104465401756419127267780019301836784103476822920413627206936089244186818291248188132873586829207183437289808537013948275901209403163227766358712628831309655947813896729292089828861216912000680099757565731316378961939860598527534731146383396828145044948594179379744753014899604651905796158230983437233758096306350975219439563890726505161282478301097900912870476864179529592736130718144177955300972251708311205286703479715858706194639194687766373853862746129464829306304054249352907775379671440771147713315489303799976255936170488497918667",
        "meaning": "Ceiling on birth by t before corridor exit, food-silent source only; mission uses t=1"
      }
    },
    {
      "environment": "food",
      "V": 100,
      "runs": 16,
      "completed": true,
      "nonfood_births": 16,
      "selected_births": 16,
      "births_before_exit": 16,
      "corridor_exits": 1,
      "birth_frequency_interval95_numeric": [
        0.7940927857921772,
        1.0
      ],
      "analytic_mission_ceiling": null
    },
    {
      "environment": "deleted",
      "V": 100,
      "runs": 16,
      "completed": true,
      "nonfood_births": 0,
      "selected_births": 0,
      "births_before_exit": 0,
      "corridor_exits": 0,
      "birth_frequency_interval95_numeric": [
        0.0,
        0.2059072142078227
      ],
      "analytic_mission_ceiling": {
        "lower_evaluation": "15836186491816654283837423013657778690681600672561132525747659898945525531594938269583655145019309550841402592748437425846383688785630994050502474754008194779050983808375292765567684042741383952446136110164381678915504996191841996438917375102259397964213375701899981491071901979181391195573371816815308276604507689138492918075896982632234140108583562009890274693013759744991483824046136627297195857486812309955487340685558093713672389883566580758177089172035324334001355755981954282232164512412167633833308024644592695513840022371063718707398116593984000529340246461005083547112378344098810167668448028403754658989085162499002754886945949443995568629990052909233065497782575513489436207778123162832026479996753790215065172953106227101632432417015608939562255142974435580982698246226985514741265056375893308472970032079190346317143453516215960845929362204182654675550133207958770306103174828303273173536179259226271150274136972586831874142145435652804229516110269388869130382310345925833629680217546228642149518339186815640206458648075044713290804798371440109089575107280415434896272255410002166595548834474128424119830163267427838424204565681063683723192025102214298554407875801247578843666571504949075109792883510270016904010602297646165415871901521144647718646833364071603566315883369476119887365781353812938096974497953870095711019905508850951989016379541203594788351226692384824205520908156495303317716329288589558246049006324583251024225599477651834020165993551657792846959508389624933852712904351647734646806855155821261311405845803849615596829708088839889825728342390436015081499058816291799329941966554234149366552689343430388899290793912521374973383366935736167661838887752610316843346077866784022956471937858395246510842712160453096932145768287302831608376780984306604805768898551890725381430040065376331157069839553304956851398383724520030470465823987498644425360065720875583615638627971972970033574492975239435139348340432277768423711594794222702728441833984736539441469872154526612884455516188047104654421680589481751362284194580111249477753948854494872732154092648861446049524954452626276929657975262640103351102416732447360081897409019611919843863034073467209335252802939372439298615825841240752816041913803571818537001195267576566098452298035800609792466643978685330498338969506783470341727926198477907193927833430198401769754277783314192520578710291578752819994992375172373740137798958105379810087638781787341224795023644074314002962536782493881690179085344121877496486202681434163281851732953508352608899579949081905074185287679646047738528756434407010953495938952795543745448639454352679899498843913846501123614917303102500543589639448900668471422446138294984491386103277358754588855556956001/490798831948139538430882995932757435367145206799233016386282870002738612158621943780866095480347765903872899719056191459321724581356759193170856938835315380329433840661411759649149170913941406062513017025307508422853649169130420302956393670970500963460866627717451320393544469419143924782244915252533198765460442398314138492918075896982632234140108583562009890274693013759744991483824046136627297195857486812309955487340685558093713672389883566580758177089172035324334001355755981954282232164512412167633833308024644592695513840022371063718707398116593984000529340246461005083547112378344098810167668448028403754658989085162499002754886945949443995568629990052909233065497782575513489436207778123162832026479996753790215065172953106227101632432417015608939562255142974435580982698246226985514741265056375893308472970032079190346317143453516215960845929362204182654675550133207958770306103174828303273173536179259226271150274136972586831874142145435652804229516110269388869130382310345925833629680217546228642149518339186815640206458648075044713290804798371440109089575107280415434896272255410002166595548834474128424119830163267427838424204565681063683723192025102214298554407875801247578843666571504949075109792883510270016904010602297646165415871901521144647718646833364071603566315883369476119887365781353812938096974497953870095711019905508850951989016379541203594788351226692384824205520908156495303317716329288589558246049006324583251024225599477651834020165993551657792846959508389624933852712904351647734646806855155821261311405845803849615596829708088839889825728342390436015081499058816291799329941966554234149366552689343430388899290793912521374973383366935736167661838887752610316843346077866784022956471937858395246510842712160453096932145768287302831608376780984306604805768898551890725381430040065376331157069839553304956851398383724520030470465823987498644425360065720875583615638627971972970033574492975239435139348340432277768423711594794222702728441833984736539441469872154526612884455516188047104654421680589481751362284194580111249477753948854494872732154092648861446049524954452626276929657975262640103351102416732447360081897409019611919843863034073467209335252802939372439298615825841240752816041913803571818537001195267576566098452298035800609792466643978685330498338969506783470341727926198477907193927833430198401769754277783314192520578710291578752819994992375172373740137798958105379810087638781787341224795023644074314002962536782493881690179085344121877496486202681434163281851732953508352608899579949081905074185287679646047738528756434407010953495938952795543745448639454352679899498843913846501123614917303102500543589639448900668471422446138294984491386103277358754588855556956001",
        "upper_evaluation": "79479249756629223974310786891825729695301427547874400532624404446257910395603886790072190553999536426575781633603754475979512804117388841972289564458188960293978421155945699476932709850088520057877659755305909416527620279009650238353464726940379077438053047167437314381478356643644833104928063281904595868489201794652134342497513374218081480116173044083080521058437897300730494416177895913128813591190469729450315635480594028800815065616792825054110456755112368685347067598133049993626219736584973734482799504122724114773433161836495322258881171007056726137834327356329376622710358715511518998002392678087101198603601412023337534986726588389083273448224070115660455034456296578773967066469201001320988289894132980576068361052934964218661222442779167500608846406367324926886874054624203766105427966722836629507779808441029178118314713290143234721166704601696464327776264548066195387536102256718582290029675291847099963087281686913184259116686350547811765241740941343596589925132957776290069428372601558624872759795871582539543627183252097803638959202599662341826391713069277915260624450888653289654999504738704063985809750790782963062240470363394845847142305377109358894894097558986322047801456508709791288809649666449305283858389322738005528043230099370562569589826722716167464628548792424305340708801298467621230424748234608086357283197961530153943479964047645737325761299913074957024715817063987509336256985557411120695524213376987621876599665306382558751018916453871197606677674463682558305816028043827533221256562422171988215128937441843572427161507016726561984853746359633530813378032651313721880613372744107170219720587192206090317836349759209399796552097461858093504331546079734782493986925388869182744384646654175378700384856366065940605628328034934579707895412002600279020191073831717938121529561783724719876485594524713423358198939687769496296285942516758148390034544903400861532847873634396119749503396032821401841549177983016754122302859260219056270917984794755478871333337034908502720615512701760638551638609278597332523653312310291533072090916445485519364004679725835884655490117592103631595672815475061867716086240539520503550428682832153173723022285964284668723597387206896370893241553884754691881485402247482049011729806968499537266565586256264759516756769223913515278794306139674402792536418991171188285792727698450398887061874622224285890230880227174242069862267136340750207432181975657060022770593135152144553934198341206833344480404375131316084219457000752805005328776192675098643944099894636770977873237015176872881863776041737910877184232697220475404292448490106382167616693144692193967880159157985150714715317904373775913671855012599666399594670754009939047223092383247450349715247475183437760374514651685895239482220296293031482987756822924634160951652961378359/2463239603544041752614024151702582565144490492836896964727587614388805337144759178849738237383258588093572542809547953580298895469316566933458140749565799952030382121638651367945537327255771068275481562751449461745047684648110054583087022786093549568821897709224265707744489222262802932890675115760892611459532654354834149733379408156054517601480116173044083080521058437897300730494416177895913128813591190469729450315635480594028800815065616792825054110456755112368685347067598133049993626219736584973734482799504122724114773433161836495322258881171007056726137834327356329376622710358715511518998002392678087101198603601412023337534986726588389083273448224070115660455034456296578773967066469201001320988289894132980576068361052934964218661222442779167500608846406367324926886874054624203766105427966722836629507779808441029178118314713290143234721166704601696464327776264548066195387536102256718582290029675291847099963087281686913184259116686350547811765241740941343596589925132957776290069428372601558624872759795871582539543627183252097803638959202599662341826391713069277915260624450888653289654999504738704063985809750790782963062240470363394845847142305377109358894894097558986322047801456508709791288809649666449305283858389322738005528043230099370562569589826722716167464628548792424305340708801298467621230424748234608086357283197961530153943479964047645737325761299913074957024715817063987509336256985557411120695524213376987621876599665306382558751018916453871197606677674463682558305816028043827533221256562422171988215128937441843572427161507016726561984853746359633530813378032651313721880613372744107170219720587192206090317836349759209399796552097461858093504331546079734782493986925388869182744384646654175378700384856366065940605628328034934579707895412002600279020191073831717938121529561783724719876485594524713423358198939687769496296285942516758148390034544903400861532847873634396119749503396032821401841549177983016754122302859260219056270917984794755478871333337034908502720615512701760638551638609278597332523653312310291533072090916445485519364004679725835884655490117592103631595672815475061867716086240539520503550428682832153173723022285964284668723597387206896370893241553884754691881485402247482049011729806968499537266565586256264759516756769223913515278794306139674402792536418991171188285792727698450398887061874622224285890230880227174242069862267136340750207432181975657060022770593135152144553934198341206833344480404375131316084219457000752805005328776192675098643944099894636770977873237015176872881863776041737910877184232697220475404292448490106382167616693144692193967880159157985150714715317904373775913671855012599666399594670754009939047223092383247450349715247475183437760374514651685895239482220296293031482987756822924634160951652961378359",
        "meaning": "Ceiling on birth by t before corridor exit, food-silent source only; mission uses t=1"
      }
    }
  ],
  "noise_certificate": {
    "status": "valid conditional bound",
    "rows": [
      {
        "name": "nonfood_mass",
        "tolerance": "99/800",
        "permitted": "1/8",
        "jump_correction": "1/12502500000000000000000000000000000000000000000000",
        "margin_valid": true,
        "exponent": "38292813281250000000000000000000000000000000000000/15361760099",
        "failure_upper": "1035264691724558499998219757339737158990239245813635135824700993424591141718558672615321299415583520377871034638925974365603030290255387959338885390040693915926033747398697476813929823918309283820340982492854423524772488219905540373929326181780296912844052241699012287212716937062/13914563820708913833107093589801865657216706211040544307310459241771702309262404323899451433892109654999680405708133597884078187123407602396801628184329750646370683597529578348818935543989743237167130432689794080412286514967186029758091659296179421828444767116168254629745337241473993041795102505028593660016382721598976631"
      },
      {
        "name": "six_foods",
        "tolerance": "99/8000",
        "permitted": "1/80",
        "jump_correction": "1/25005000000000000000000000000000000000000000000000",
        "margin_valid": true,
        "exponent": "2552854218750000000000000000000000000000000000000/25600000033",
        "failure_upper": "6211588150347350999989318544038422953941435474881810814948205960547546850311352035691927796493501122267226207833555846193618181741532327756033312340244163495556202484392184860883578943509855702922045894957126541148634929319433242243575957090681781477064313450194073723276301622372/13914563820708913833107093589801865657216706211040544307310459241771702309262404323899451433892109654999680405708133597884078187123407602396801628184329750646370683597529578348818935543989743237167130432689794080412286514967186029758091659296179421828444767116168254629745337241473993041795102505028593660016382721598976631"
      },
      {
        "name": "selected_foods",
        "tolerance": "99/10000000",
        "permitted": "1/100000",
        "jump_correction": "1/25005000000000000000000000000000000000000000000000",
        "margin_valid": true,
        "exponent": "2042283375000000000000000000000000000000000000/32000000000033",
        "failure_upper": "2070529383449116999996439514679474317980478491627270271649401986849182283437117345230642598831167040755742069277851948731206060580510775918677770780081387831852067494797394953627859647836618567640681964985708847049544976439811080747858652363560593825688104483398024574425433874124/13914563820708913833107093589801865657216706211040544307310459241771702309262404323899451433892109654999680405708133597884078187123407602396801628184329750646370683597529578348818935543989743237167130432689794080412286514967186029758091659296179421828444767116168254629745337241473993041795102505028593660016382721598976631"
      },
      {
        "name": "selected_product",
        "tolerance": "33/10000000000000000000000",
        "permitted": "1/300000000000000000000",
        "jump_correction": "1/25005000000000000000000000000000000000000000000000",
        "margin_valid": true,
        "exponent": "226920375000000000000000000000/32000000000000000000000000011",
        "failure_upper": "1537259314088422137321530101147489270658125100744962309743848258753997342831263128798395306388164505692725650877009981696082626356664051606920390901111606139235172772183404826807319924866583233228833815247605041535746875534517383130079501895997194709041031756494485976368474357089487994102681048186880000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000/923449119610063911280191245537105736706075658050586324357539331564387336982356919413902234950151645621551759969311160610398126330805783970184903329060579358277821235018714488387073250595254787637323289335634243311253544425924554519518097231528927512340468805378716027105456220270998276291463409842142676461258623164408487410675666196816389823688625164547496228907859662972458234974146875493393771802987320705716800163805152842998800801667791219498129376625449318452523420161357873666829102127606232864351936690159273913085860928593968655481547553370339164117078003167909029624030447387926168700801353782137472414380765434968765330452523810002686730515847363447494257011314377489730811367962987692535145537694773805337154518795225907790141621716988847955691795782894032831426930907914116147382897880306704772529493959012723065034837696292386950506049511736139859044649191998041998461800940783214311282309673379469987510076000623164578751083295882570040550481232526804379541356965817752534482588046200092402472059771211477483243381684400915420259737885930378122879950255685327250760805679581520285762490073620805917140072436420669978280262731213045767385740640336259031410639206831046247058696752019937370303420813449082396330141408638984468606781075502477822871046171019980910344997972522286138755212001843438910154359079776076744219755140360744087020011950958399358332799933149186249547756013850947783709562842792595760207174367424378560660109572632011596180530542861721366013932721079957599978376185558089554440923242920976769214758406108758405314479339172669230692685989022237331183766104524632776461477790200231996448900536810520709789111812806891451603145628436074080023124845896891191456917690568815791404202165582681282753709254377734871772929693072848702310784323568067046056242413384817200232168494426190544660086531533503184403951404871548845384771813739729320059361083258067075962422646136751449590463139183219101315457742791913400614023854829175074455551098507520103322139688397352297953755953816633460610904387224250245521250639778402414290034498511619872397516665021103420161003238858876159950063510422557280602370430142535871314275452497916701410504768808526496783345587995656483008551325900181101626153551785220894830551312607849483579307219140287069694804490727598694292929643964300156550313976006935319812917409886234383148805962177633629637816816539775912941870554456396008782379578325926831256641177859644058303268376537908010962423443921855945390320143283316861380836137768261776823818418542555372251740125203378381599192722089573900114022028636899984340480480419147856522894381320093794113206567601669728622343645295876445586750527225963126208133677713045310027876835479850574975075955987330223347590713856289040745363181749817077"
      },
      {
        "name": "export",
        "tolerance": "99/4000",
        "permitted": "1/40",
        "jump_correction": "1/12502500000000000000000000000000000000000000000000",
        "margin_valid": true,
        "exponent": "7658562656250000000000000000000000000000000000000/76808800099",
        "failure_upper": "1035264691724558499998219757339737158990239245813635135824700993424591141718558672615321299415583520377871034638925974365603030290255387959338885390040693915926033747398697476813929823918309283820340982492854423524772488219905540373929326181780296912844052241699012287212716937062/13914563820708913833107093589801865657216706211040544307310459241771702309262404323899451433892109654999680405708133597884078187123407602396801628184329750646370683597529578348818935543989743237167130432689794080412286514967186029758091659296179421828444767116168254629745337241473993041795102505028593660016382721598976631"
      },
      {
        "name": "gross_feed",
        "tolerance": "99/100",
        "permitted": "1",
        "jump_correction": "1/12502500000000000000000000000000000000000000000000",
        "margin_valid": true,
        "exponent": "306342506250000000000000000000000000000000000000000/1920220099",
        "failure_upper": "1035264691724558499998219757339737158990239245813635135824700993424591141718558672615321299415583520377871034638925974365603030290255387959338885390040693915926033747398697476813929823918309283820340982492854423524772488219905540373929326181780296912844052241699012287212716937062/13914563820708913833107093589801865657216706211040544307310459241771702309262404323899451433892109654999680405708133597884078187123407602396801628184329750646370683597529578348818935543989743237167130432689794080412286514967186029758091659296179421828444767116168254629745337241473993041795102505028593660016382721598976631"
      }
    ],
    "failure_upper": "21390292834862559345691239309160535787014424710080812799127264946982500057177048351752197246288931720428581279016270893094569779729399450470035298945603257551783861084186811655843733324687183239809830815652423264742466719940422096883747258504080474407536483800050983483569956038081553698046703385622129811310897552066755725801271214500715560397704271095338924687121578953992668919245152330168575559624600785027832367401949874649743055612694846424217881327954361149933149455449409350533910128543399374112051960188311422247566303267730637553530634296820459687494298188755804134174894603735641207645406966426464980441062149960757945131631060538158534910940247432027813402198700689901312765729673443128002803720000198830619091573023180228998766717746755951434656674934951839003152523375830057280884846230680365344364930936488043451820135198162313237830777723839282293574860221221697527469263178279213446030233969348544471952826183209859681319848427064207211357320529316072080655514629696329629468015121878777821238503175571668104253463041497231939497924116361757021365800796026642457500869288984156036452840956029898449117168973411742734833744676794924276056748783134812407984740632682794809607046213300224721868317510617520584047262882863040625667432477263375372937695610651612597161085519316425425552480224504037076770350911935126237970325470519260756471837662743271724816232193743377710367502860310091395389931973638598644209140730780321248218246439909699651811109871650682841191087106654449354144391022372082812171777908407688194219048006868842682407356939647916190571226867341262723632076410938791650111596637503895224223627481873793793671213019641665094221669461427978389679388488324371247045576733206711024190881953212000574423385684355842172250541675521092198023550015185865290527331770606633654543487060888217295290308921124189369824173678181333958684932833973276173412421187608838584182503064342669674174948282633472519359513736639865985248054035811824452793563669665150892021733530247662485321510001130982661390381653141144190162667897240267746159750297057126991745815421185974104811421056312147738147883482243452324556712816307136178248612920520104247314809723721971357718616041116431015447841914492907387731790460866245362708510155043990319566536196314981080528903106748972641986436505969906956995389248706979705333135681767272554991634441855934260438526457560064424687792613251243099259160651479639863644328592759789524160412927460031714556976330017578504998178220405124835038005988042962190706668831418843919383272504460892645646743043757005960448204844533236824502235966651082036851456023765415260619097917097195218183637741660614450017533462574323324809256186957301846000200482679684708703752277668006784984811603228799882156455816394027389166648092713116252739436921403806981796032471146764905063032854268397895785848110164803673314102818893242049566941382530024669928018398287126260536544837854140394393294863736440124686054744080803277503396173252005367405295145128935385227517039222600697510898689701025239077832223155406205651243900586363057180439885514/12849391709991693662849180341770374424312246004149025590605856145252121073025293156701787746890255251690807242138936720971447521394310732431569598673857105611062338104748103583622306781513055030853058680699024405500979162345543640829404989815867595299094470457897396254584444310428953914509276647785163216371760050018203822444759885080918429071921125801179534398974503099191648390928324711078876267736008756501134907583856479372629578889669892831310430158849186674982495896735997417402457966203114045122210402463900316352288209437107246417473161639869161924574507932714562439262638040738297718435992390347154165777529342074533847202690988042470287844838789606792941036988608322705456637111419837606875011637631447168825633369891784476569632192287058431921113000342049684389122711961004755278244422147978215556522201875812054419457182141345523187113590553066210664381573393509192920467646529154224775721891504663409417798124821442478638722502649043597570713968571954970917510621779965483091008687408286967080720471013607462805212256265142681339498948346995746778951118813335077379114328543389963959954851333014427616452211432776093152861570014371905622387352801712973951806092069961910181648383016010606400287810036843881315058244349599596265876816010138725751544648227437090305904394440898461128092285328411263377771558096434870322486121367362066473895762500078354357293508988097021591402983314588268540247847426049370408557968322250136806520239137598982908457524859674630261055208547589894458598729563769370590614488954659700831655571982332401423276221796257515928304569883323837353622607423831983511124220931979793767444752073881487285454391034301057363519760204504997074624189205008831574736652084819959828127340305642006927745155790255924452074863817425611373731569093537006762765761633145855692035257545468952779057492805767414504189294002386093150335099152591110012453043618602641964106433285467573873468857262810944879755528458937960068868147019855883576839556608387308997627190610375106062492423912366609854633420475515812365212519819081057238670501999950974321105650940520309693852232344642517554441710490394207563842898611004717620562259819566408169420368227289426696099149355788041962715499030114080520306722594610871205852075260045835065729783097886067074153105059462110339341750409220106204050491283580594872470797917434025150040679622505807592378754170658263425653795772560565250176060450008289098639989714797746838254183112206762665410023123738277502827445229554287602463021302511493017238106099525173323579280621074785419659147480376139319960323012262492117304468454632832861404290721714201135686046616111826110048312464055707514851222100755834542721740814411385540511270162170472549164466997575421753334829676789586634359211377321833828911990078726063380287942332499833509469941255618911521330859844521058588171596787319723356716878424588859168786811517786250838615539816354810420424266344379418615746277958249558420195950943817688231755908409999249870005445628219236321431674237699678387927796073488559255112005710325904812364304400090732449472634647727587",
    "reliability_lower": "12828001417156831103503489102461213888525231579438944777806728880305138572968116108350035549643966319970378660859920450078352951614581332981099563374911502353510554243663916771966463048188367847613248849883371982236236695625603218732521242557363514824686933974097345271100874354390872360811229944399541086560449152466137066718958613866417713511523421530084195474287381520237655722009079558748707692176384155716107075216454529497979835834057197984886212277521232313832562747280548008051924056074570645748098350503712004930040643133839515779919631005572341464887013634525806635128463146134562077228346983380727700797088279924573089257559356981932129309927849359360913223586409622015555324345690164163747008833911446969995014278318761296340633425569311675969678343667114732550119559437628925220963537301747535191177836944875566376005362006147360873875759775342371382087998533287971222940177265975945562275861270694060873326171995259268779041182800616533363502611251425654845429966265335786761379219393165088302899232510431891137108002802101184107559450422879385021929753012539050736656827674100979803918398492058397718003094263802681410126736269695110698111296052929839139398107329329227386838775969797306175565941719333263794474197086716733225251148577661462376171710531826438693307233355379144702666732848186759340694787745522935196248151041891547213139290662415611085568692755903278213692615811727958448852457494075731809913759181519356485272020891159073208805713749802979578214017460483240009244585172746998507802317176751293143461352934325532580593814439317868012113998656456496090898975347421044719474109335342289872220528446399613491660719821281415698425538535043569096234509816520507203489606508086753117103149423688794927170732404571568609902613275750090281533545543521820897475234301375249058380714058408064561762202496846290314819469828707911816376414219757136736279631197415033125522250782403231203794682314528311407236168945201320202882898965820071752386763044717643846735168876844858400007102402365478871972030093862671221022357151183816970924342249653917194113905125099123719747420923586205406703562606911964111518341898188410484384011206645888065173053417565704724741430739746925531700051188199587612918990804150004960489366749890791075410216561689752093072576156355361366699763972714136297093495894331887892765464781752257877485687988063951658118315644200703361229107979947314007076801289356809458776345386204987048730022699279302633695466147408259924322447051333882477627983296523450055047399430693754479659897348570324527013500737332382313999874807417958880479966218666181779367439265690435720425427518194728914830128826314046900401204567293260219396931558224428238665269961687792864455763245297753746549844865186357834477054921505439801522823430633350264035202895578429702488145223147764756425796811666790190275810939209558553043564321769965926737244576403720813945611797956523294163729799541564475351884663385821980071264889073607428478405013825997864638040333074107386046446720660455787230285174798858229872927878102749406158653156190146086415454207842073/12849391709991693662849180341770374424312246004149025590605856145252121073025293156701787746890255251690807242138936720971447521394310732431569598673857105611062338104748103583622306781513055030853058680699024405500979162345543640829404989815867595299094470457897396254584444310428953914509276647785163216371760050018203822444759885080918429071921125801179534398974503099191648390928324711078876267736008756501134907583856479372629578889669892831310430158849186674982495896735997417402457966203114045122210402463900316352288209437107246417473161639869161924574507932714562439262638040738297718435992390347154165777529342074533847202690988042470287844838789606792941036988608322705456637111419837606875011637631447168825633369891784476569632192287058431921113000342049684389122711961004755278244422147978215556522201875812054419457182141345523187113590553066210664381573393509192920467646529154224775721891504663409417798124821442478638722502649043597570713968571954970917510621779965483091008687408286967080720471013607462805212256265142681339498948346995746778951118813335077379114328543389963959954851333014427616452211432776093152861570014371905622387352801712973951806092069961910181648383016010606400287810036843881315058244349599596265876816010138725751544648227437090305904394440898461128092285328411263377771558096434870322486121367362066473895762500078354357293508988097021591402983314588268540247847426049370408557968322250136806520239137598982908457524859674630261055208547589894458598729563769370590614488954659700831655571982332401423276221796257515928304569883323837353622607423831983511124220931979793767444752073881487285454391034301057363519760204504997074624189205008831574736652084819959828127340305642006927745155790255924452074863817425611373731569093537006762765761633145855692035257545468952779057492805767414504189294002386093150335099152591110012453043618602641964106433285467573873468857262810944879755528458937960068868147019855883576839556608387308997627190610375106062492423912366609854633420475515812365212519819081057238670501999950974321105650940520309693852232344642517554441710490394207563842898611004717620562259819566408169420368227289426696099149355788041962715499030114080520306722594610871205852075260045835065729783097886067074153105059462110339341750409220106204050491283580594872470797917434025150040679622505807592378754170658263425653795772560565250176060450008289098639989714797746838254183112206762665410023123738277502827445229554287602463021302511493017238106099525173323579280621074785419659147480376139319960323012262492117304468454632832861404290721714201135686046616111826110048312464055707514851222100755834542721740814411385540511270162170472549164466997575421753334829676789586634359211377321833828911990078726063380287942332499833509469941255618911521330859844521058588171596787319723356716878424588859168786811517786250838615539816354810420424266344379418615746277958249558420195950943817688231755908409999249870005445628219236321431674237699678387927796073488559255112005710325904812364304400090732449472634647727587",
    "hypotheses": "Food-only start, empty food rows, selected self-incidence, all allowed marks, same path through time 199; imported six-noise theorem"
  },
  "sufficient_scale": {
    "count_scale": 50001643800514585940386150200029592812244454034722,
    "dominant_term": "selected_product",
    "rows": [
      {
        "name": "nonfood_mass",
        "deterministic_minimum": 3200,
        "tail_minimum": 142243195671
      },
      {
        "name": "six_foods",
        "deterministic_minimum": 16000,
        "tail_minimum": 4454239553376
      },
      {
        "name": "selected_foods",
        "deterministic_minimum": 20000000,
        "tail_minimum": 6098883832825467524
      },
      {
        "name": "selected_product",
        "deterministic_minimum": 60000000000000000000000,
        "tail_minimum": 50001643800514585940386150200029592812244454034722
      },
      {
        "name": "export",
        "deterministic_minimum": 16000,
        "tail_minimum": 3556079873422
      },
      {
        "name": "gross_feed",
        "deterministic_minimum": 400,
        "tail_minimum": 2222550033
      }
    ],
    "failure_upper": "443439688037786261904786516932136235263843483759296385524067676336270454574586945027175754765083894299477313385976010203756829429911191353641524882287689414666518869493113655208746048627863357238657999006505433411357928503445860678870871380587758491129010988607460375866220106113765848344351126773235857137815699485879258190634604766067347179256622528122490648618254288252118291254837550363350410462676433852439377132123287835875895735710061773003901891229320696285539912765281276781736931412628563786878231743164663028027789470061998966541627956623082937412823490110601690458358396746158338860185252312444531478007797329550862102745069515529287558832675968903699846511420907639342711312185981785321849172634129603443646374635064091530414043050401361535917874284598742754031044233459929428788539891420492760720873968240504933714278493275656087502732143028294382501220245853784073702599847134359466222528426976270951223402150668849408766837042755072310865228593883416616832650148487929715452038823678773252633146892201002754572505967387541126842083271082729655180477272573858430647841463207961761618301414921147312363971238141368684461540239417443814577687823699161551052973537456258650492775329864371547919582974926475197057482553164907839233088130539801321393550414887882794487262511261204548661503882730752051389872516012332845084641277704185924838850134736985560753377877279837478826838757424604867161193643047088768767486705010076608422243675080344292145093207800931033658832138031118870517021182860356275165001066856104084128365748452987450784662316607967538512461608280099192853607536914213611889252243358031849658579755206869604795806706904589551338573595398662473992324719892609018876846711706081685799117152994288186342850884840960906547849908781456357198611734829115673799084819656269539602883806516481190605486474068217186903827449109652435277605803904266269098501662425918757455877153274824621164566023779120172879670404165356701305312879091996154779576675396288676369758938846570659485651175051782855392493531824499267908299628956261887949621507297844617551727951721503706791770359426395904665390648436724395765829677114810953495023669151082338515115902957187353967203760859841798095220287761166255091272111427818341120975262776724088447525912352557405438144692893908007999104987386311905537855607053092263765869142341570050511896550847462688228686683530101715826063841180331690491189629300853518227838200546830687932707951828651455738448325970421312273674952253684115452030822046194663317742190154300461872903074437933158698493208033390765918660740838862723399892261171040661497772352543601217124651829193016660631993100031890212216781746749534215809789367384608939674569502203641916233127709190517066/266063812822647364873948824265509581913336864435785704223935522774543152012496910744052323389015062920050368861477266507031826995909027545715448320531832467982089843491471761846461795500501544922435118992698134792288041533240863640056696540807856749936983117854475087693214276501088478521520498363108173419961025213630299882661500507395808523317098782062585846032185245434786180275225517367828428322271267499776538563468141965985504186650347521304917853518441649205558642262780555427398332724384709638104312128391318789892867162255489179147249458788792505283512534714098701599333249825372199709965897837154892648318035832306304076198170119536639947027930968892159217962425186951374535573058297036664953510704764929852667898573773151005416519919622241700681007434302324709573643347891821380511778897200952531251343947280366138920997941572750061368488808094627099493431709453553637675966041086985042613103535824275725034932888938128790439312528007257922591295135816329135002805967353011547444019859876578258481283435543202521890242509769712954772321041795717870594907036250584336301315828239831326724284489723746637829229458252499080085147033123718887000003941802449697804484214743036499020637693593865380664576674699832864278267520838115495501220778928611208974135078844056374226691796878859595156655860109884778795813439260562437432705495033485043675693433116132443146293682189275971367650661770056126719953427433076369376052748411001790560702428476001530027652608375912767878786741696086476250910466284751472266165866506544827043373310207879935600884986388804032436448122355788786185821701385281933518097934442238681924675291664590789796326601031343666497732795966822802087562719859242030078049262793362295562458484302673420535598187202722440065372822983558288797655103601781439248842433083651652008066044373230054251676871405830807494548041887011390803460198976479593242255249229361535055935697596381075630202602610537495543560043286959034572621455222411619328282035124168452035536653171347047886506985791005725542578367145248420571336247930709596383080389083407492837342671022591776623576526965292217650351067386087045797328788507292699425167374083308489489715101665471787951022113765504253552438740128460664377773642994404839885628565465965355404289701108755166858289185411592974787749926189804868957353569584326412647314649245113895687191163930582429968310385777539307071962056344298279398553113987682811079768692948319005567101540568325452474682468374233439333328748955923309808362004158565276532528056096084173631585013349304165205351213176860993322358134626811804952889247564088427704705357406721305173946142217032268210068758368067044181881983760731585521289323471399580233974125980234007078510477519027888803"
  },
  "uniform_certificate": {
    "status": "valid conditional bound",
    "failure_upper": "1",
    "envelope_hypothesis": false,
    "exponent": "1667/3840"
  },
  "necessary_startup": {
    "necessary_integer_scale": 14272222,
    "interpretation": "necessary only, not sufficient for first birth or operation"
  },
  "scalar_checks": {
    "food_lower": "24321/33950000",
    "product_forcing_lower": "591511041/576301250000000000000000",
    "product_equilibrium_lower": "65723449/94513405000000000000000000",
    "product_at_one_lower": "140601195767/204287267100000000000000000000",
    "stock_floor": "1/3000000000000000000",
    "mass_upper_from_prefix_noise": "21/2",
    "interval99_occupation": "419062203/2000000000",
    "interval99_export_lower": "319062203/2000000000",
    "interval78_export_lower": "97187383/1000000000",
    "interval79_export_lower": "200312263/2000000000",
    "material_recovery_lower": "1/12000",
    "corrections": "Mass compensator is not identically 10. In Lemma 5.5 the forcing is about 1e-15; about 6.9e-19 is the equilibrium floor, not that forcing."
  },
  "source_moments": {
    "n": 4,
    "channels": 68,
    "molecules": 30,
    "exponent": "1.5",
    "mean_degree": "11.0674232814532133341721969914761407154",
    "second_factorial_moment": "538.1218025348652041063610798863276358567",
    "incidence": "0.162756224727253137267238191051119716403",
    "same_row_pair": "0.1181127749198562783376560754798787611626",
    "pair_ratio": "0.7257035798034124532132105354675703743691",
    "empty_row": "0.3827933839994265622496760040683012489374",
    "source_witness": "0.0005120638837098196845152459433047498809901",
    "scaled_incidence": "2.604099595636050196275811056817915462448",
    "cap_atom": "0.09318361481428885683961066914827558627526",
    "conditional_cap_atom": "0.564115244694750087542842429167241126009"
  },
  "small_cap_residual": {
    "probability_at_least_two": "0.9999999999964220211146089548037684637698",
    "log10_complement": "-11.44636222664880616049161430267465174418",
    "scope": "n<=10^12: rectangle contains the entire catalogue; numerical exact-formula evaluation"
  },
  "source_operation": {
    "success_lower": "0.0005112114545310755390162556795723448258204",
    "success_upper": "1.0",
    "witness_posterior_lower": "0.0005112114545310755390162556795723448258204",
    "no_productive_posterior_upper": "1.0",
    "evidence": "Numeric source integration of supplied valid trajectory/residual bounds; not an empirical success estimate",
    "independent_fresh_experiments_sufficient_numeric": 5859,
    "finite_converse_informative": false
  },
  "dimensionalization": {
    "concentration_molar": "1/1000000",
    "residence_hours": "1",
    "mission_hours": "199",
    "necessary_startup_litres": "7136111/301107038000000000",
    "sufficient_witness_litres": "25000821900257292970193075100014796406122227017361/301107038000000000",
    "note": "Illustrative units only; equal dimensionless forward/reverse coefficients have different physical molecularity units"
  },
  "optional_full_path": null,
  "asymptotic_constants": {
    "gamma": 0.05047880090852094,
    "posterior_liminf": 0.00022535178977018278,
    "critical_incidence_limit": 0.45594532639052
  },
  "evidence": "Fresh exact/directed scalar checks and numeric source evaluations; imported trajectory and asymptotic theorems; actual ODE/SSA diagnostics; Lean not rerun"
}