{
  "status": "PASS",
  "precision_decimal_digits": 90,
  "checks": 6688,
  "check_groups": {
    "NB normalized positive series": 16,
    "NB first moment": 16,
    "NB second moment": 16,
    "NB recurrence": 144,
    "NB beta score": 144,
    "NB observed curvature": 144,
    "NB shape score": 144,
    "Gamma Poisson direct integral": 30,
    "Truncated derivative identity": 7,
    "Truncated strict moment boundaries": 7,
    "Truncated score": 98,
    "Truncated curvature": 98,
    "Size biased Poisson shift": 98,
    "Truncated normalization factor": 98,
    "Hurdle total variance": 63,
    "Positive conditioning loses gate": 504,
    "Positive ratio identifies lambda": 63,
    "Hurdle excludes ZIP": 28,
    "ZIP hurdle equality": 525,
    "Hurdle marginal derivative": 8,
    "ZIP marginal derivative": 8,
    "EM admissibility": 720,
    "EM observed monotonicity": 720,
    "EM mixing M-step score": 720,
    "EM count M-step score": 720,
    "Shared exact total law": 51,
    "Shared exact conditional mean": 51,
    "Shared exact conditional factorial moment": 51,
    "Shared exact binomial split": 1326,
    "Shared total variance": 1,
    "Independent total variance": 1,
    "Independent joint zero": 1,
    "Shared joint zero differs": 1,
    "Exact exponential root bracket": 1,
    "Exact bracket width": 1,
    "Root within exact bracket": 1,
    "Capstone full-law equivalence": 50,
    "Capstone NB moments": 1,
    "Capstone NB zero": 1,
    "Capstone negative mixing weight": 1,
    "Capstone underdispersion": 1,
    "Capstone hurdle mean": 1,
    "Capstone event weighted MLE": 1,
    "Event sampling likelihood score": 1,
    "Page NB zero": 1,
    "Page NB one": 1,
    "Page NB two": 1,
    "Page NB scoring numerator": 1,
    "Page NB scoring information": 1,
    "Page truncated root": 1
  },
  "scope": "Independent finite computations and exact rational brackets, supplementing analytic proofs; no simulated evidence or confidence claims.",
  "nb_series_cases": [
    {
      "mean": "0.125",
      "shape": "0.5",
      "last_y": 111,
      "remaining_second_moment_bound": "3.895394702274079853078796261862395657529094142055998525e-76"
    },
    {
      "mean": "0.125",
      "shape": "1.0",
      "last_y": 82,
      "remaining_second_moment_bound": "4.338724664710471340872733864480293354321723741757662865e-76"
    },
    {
      "mean": "0.125",
      "shape": "2.0",
      "last_y": 65,
      "remaining_second_moment_bound": "1.700091880917279368228498467493510170792448114416906559e-76"
    },
    {
      "mean": "0.125",
      "shape": "7.0",
      "last_y": 48,
      "remaining_second_moment_bound": "5.753931799762776509874351775358033655960625514095835565e-76"
    },
    {
      "mean": "1.0",
      "shape": "0.5",
      "last_y": 448,
      "remaining_second_moment_bound": "8.075294898308724720447567666161520214644614371726593018e-76"
    },
    {
      "mean": "1.0",
      "shape": "1.0",
      "last_y": 265,
      "remaining_second_moment_bound": "6.012855727317857760051022024710296596352221457934866507e-76"
    },
    {
      "mean": "1.0",
      "shape": "2.0",
      "last_y": 170,
      "remaining_second_moment_bound": "8.740957915566151984253793381098419455799644648363772496e-76"
    },
    {
      "mean": "1.0",
      "shape": "7.0",
      "last_y": 97,
      "remaining_second_moment_bound": "2.079555503957691878825326437352212194110455879638552403e-76"
    },
    {
      "mean": "3.0",
      "shape": "0.5",
      "last_y": 1191,
      "remaining_second_moment_bound": "9.821311746156852497461003670318400594162606122833770655e-76"
    },
    {
      "mean": "3.0",
      "shape": "1.0",
      "last_y": 645,
      "remaining_second_moment_bound": "8.205465138058656371585601422740523139414402103930167297e-76"
    },
    {
      "mean": "3.0",
      "shape": "2.0",
      "last_y": 371,
      "remaining_second_moment_bound": "6.200537785499891355003790804354619786518681183642728862e-76"
    },
    {
      "mean": "3.0",
      "shape": "7.0",
      "last_y": 170,
      "remaining_second_moment_bound": "5.327515556030129826705123824929547776659146205552343487e-76"
    },
    {
      "mean": "9.0",
      "shape": "0.5",
      "last_y": 3436,
      "remaining_second_moment_bound": "9.887894863251652092951443563325809073966154197448624841e-76"
    },
    {
      "mean": "9.0",
      "shape": "1.0",
      "last_y": 1781,
      "remaining_second_moment_bound": "9.255077766052233649666384439267949979453616535236872778e-76"
    },
    {
      "mean": "9.0",
      "shape": "2.0",
      "last_y": 954,
      "remaining_second_moment_bound": "9.503379351085341599670609899732068145939672274904880272e-76"
    },
    {
      "mean": "9.0",
      "shape": "7.0",
      "last_y": 362,
      "remaining_second_moment_bound": "6.306540151437017227066648098628495033891298492553019907e-76"
    }
  ],
  "em_cases": [
    {
      "data": [
        0,
        0,
        0,
        1,
        2
      ],
      "initial": [
        "0.3333333333333333333333333333333333333333333333333333333",
        "0.6931471805599453094172321214581765680755001343602552541"
      ],
      "after_60": [
        "0.313660419493173157399386138933087479269464985608271037",
        "0.8742028247255251439117415326763137799861016097441647295"
      ],
      "loglik": "-5.13013634878324784049589880922889102931873327536049696"
    },
    {
      "data": [
        0,
        0,
        0,
        1,
        2
      ],
      "initial": [
        "0.05",
        "4.0"
      ],
      "after_60": [
        "0.3137359833066129169859968905230381818703393659922715967",
        "0.8742990822846411775913845560035684829935171389267569449"
      ],
      "loglik": "-5.130136355486788677009913921385897104860808382849007341"
    },
    {
      "data": [
        0,
        0,
        0,
        1,
        2
      ],
      "initial": [
        "0.8",
        "0.2"
      ],
      "after_60": [
        "0.3137487595465183843821962872899998081257018402912791183",
        "0.8743153594935785590965068969741049422789009464949738727"
      ],
      "loglik": "-5.130136358524938619536699629026638017654239907656387868"
    },
    {
      "data": [
        0,
        0,
        0,
        0,
        1,
        2,
        3,
        4
      ],
      "initial": [
        "0.3333333333333333333333333333333333333333333333333333333",
        "0.6931471805599453094172321214581765680755001343602552541"
      ],
      "after_60": [
        "0.4398667577685725521226426027727161339165970896488451132",
        "2.23161188402302278825967367368339051455320199381622693"
      ],
      "loglik": "-11.65307767933602164695616743041933299617279728176078752"
    },
    {
      "data": [
        0,
        0,
        0,
        0,
        1,
        2,
        3,
        4
      ],
      "initial": [
        "0.05",
        "4.0"
      ],
      "after_60": [
        "0.4398667577685725521226930611006527660702168413989557366",
        "2.231611884023022788259874703359513174346104813779657197"
      ],
      "loglik": "-11.65307767933602164695616743041933299617279721280247306"
    },
    {
      "data": [
        0,
        0,
        0,
        0,
        1,
        2,
        3,
        4
      ],
      "initial": [
        "0.8",
        "0.2"
      ],
      "after_60": [
        "0.4398667577685725521227013164962923918068652985739203708",
        "2.23161188402302278825990759346070286407579239400508787"
      ],
      "loglik": "-11.65307767933602164695616743041933299617279721047921725"
    },
    {
      "data": [
        0,
        1,
        1,
        1,
        4,
        8
      ],
      "initial": [
        "0.3333333333333333333333333333333333333333333333333333333",
        "0.6931471805599453094172321214581765680755001343602552541"
      ],
      "after_60": [
        "0.1139274426018645483320956251162909097225029466517299334",
        "2.821439372122078893395371901367859326505714572200095807"
      ],
      "loglik": "-14.72768769977695181583592153235759704590144294326648923"
    },
    {
      "data": [
        0,
        1,
        1,
        1,
        4,
        8
      ],
      "initial": [
        "0.05",
        "4.0"
      ],
      "after_60": [
        "0.1139274426018645483350603104209855635541685998148430437",
        "2.821439372122078893404812076187378954167842179439025152"
      ],
      "loglik": "-14.72768769977695181583592153235759704590132325487292075"
    },
    {
      "data": [
        0,
        1,
        1,
        1,
        4,
        8
      ],
      "initial": [
        "0.8",
        "0.2"
      ],
      "after_60": [
        "0.1139274426018645483356838022567845630071549020272251217",
        "2.821439372122078893406797403911426209564454185953762272"
      ],
      "loglik": "-14.72768769977695181583592153235759704590134447960820391"
    },
    {
      "data": [
        0,
        0,
        0,
        0,
        0,
        1,
        1,
        9
      ],
      "initial": [
        "0.3333333333333333333333333333333333333333333333333333333",
        "0.6931471805599453094172321214581765680755001343602552541"
      ],
      "after_60": [
        "0.6140533864239415544599949437111033955004500934473486515",
        "3.562668907131190415147645860327999433911276459411946121"
      ],
      "loglik": "-14.72041149835704292874287982648273523895843852487970509"
    },
    {
      "data": [
        0,
        0,
        0,
        0,
        0,
        1,
        1,
        9
      ],
      "initial": [
        "0.05",
        "4.0"
      ],
      "after_60": [
        "0.6140533864239415544599949437111033955004500934473932543",
        "3.562668907131190415147645860327999433911276459412357849"
      ],
      "loglik": "-14.72041149835704292874287982648273523895843852487970509"
    },
    {
      "data": [
        0,
        0,
        0,
        0,
        0,
        1,
        1,
        9
      ],
      "initial": [
        "0.8",
        "0.2"
      ],
      "after_60": [
        "0.6140533864239415544599949437111033955004500934473985955",
        "3.562668907131190415147645860327999433911276459412407154"
      ],
      "loglik": "-14.72041149835704292874287982648273523895843852487970509"
    }
  ],
  "capstone": {
    "lambda": "2.231611884023022788259921478927390661931825278391801178",
    "pi": "0.4398667577685725521227048017400892259937496171991844333",
    "q": "1/2",
    "maximum_log_likelihood": "-11.65307767933602164695616743041933299617279721025470348",
    "lambda_bracket": [
      "111580594201/50000000000",
      "223161188403/100000000000"
    ],
    "bracket_width": "1/100000000000",
    "low_endpoint_numerator_upper": "-10429626455605827246994525199615014841791189157708299886862748712912354066843231050491249490730195840382773960895290616106448887630382106525268701869825603011635799341565170838654802233484583867847211467589641191804232269473376703695004416483500872438383045568619393932540320625450975877303341360326066196978765800228727965481875020852683140784747968479036073945285582536063565531680602606745127839812651680357106832061280091345416156949017288825025151250271947391672128494333891577880548210675099878196863387026679531135301905285201317495213896004454107302994279413752353914911979258367455870345040950747682496772893073753419292952749262621882932446524185702859840565433180769707958043919963812405869621130085252155266289563143829025829416699708336578993673339785560646289095629681303133801249768139417519475683076575071293692418953857598947567902357015562671075526471211194364857248700299859140067941463483441799862791560951536066311864141441710945683923574277254732011586143352862991399949568642786857665903709791845429557431483311705879713377213360835298394128315711996342569814688700043569013/506294895681769944383161139272523762333059050929506476094843980951601931531469119079521280030906200408935546875000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
    "high_endpoint_numerator_lower": "469070415856737612646726351364492182113157089056494068228987511839011179944307478587740357191430565714371501314383683550491317061120669014282826627744145684972272677028018741151640148309811328923230369913069665061639438706819449323651786706199840179701850564994501183046765391784649453296309077983141344402886247091723468187959138032874269914073051828424938847811704751882900988249021099195138581265431264036676782919842009709774022419717303299952286087706640326211589824551130617201243788615411209014004071306632868711515163295481646783538270510024506623592742191529404269784097860812842296106143802177509508570274492364514218208952842988457322703800382841289442053400384670131843212820475710572814984886879794833711460762460878444846516334030493016184446115230185981728211855634780869918244734677015786211282327129115740682174181630219399473471875445230445235750423895783779195632158279032773897380128164547006358045622598139456500878360507875116895827349951254069446568141018087940832444799237873256748368537139310050469636502794841369118393814707192272021920826077915776982102330406250266993147859424510527315635077/9865035711479725540238501511639793753003948875653960589333783149105866394661043589732904205100474488900812800000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
    "em_start_loglik": "-15.3443992730576854934940760730101283090930401909588024",
    "em_first_pi": "1/4",
    "em_first_lambda": "5/3",
    "em_first_loglik": "-12.12157753003185451617453507341287851158042624371942512",
    "NB_moment_shape": "5/3",
    "NB_zero": "0.3934926145592212222250399457311465951599316391805498211",
    "underdispersed_mean": "1.247664925007901556951017818624717822535900241848459457",
    "underdispersed_variance": "0.5558125849656915054303901807143202632439039915523138123",
    "shared_covariance": "9",
    "shared_total_variance": "99/2",
    "independent_total_variance": "63/2",
    "shared_joint_zero": "4/121",
    "independent_joint_zero": "1/100",
    "event_sample_lambda": "3/2"
  },
  "page_truncated_mean_2_root": "1.593624260040040092323041875875160241789002424818859365",
  "exact_shared_total_slices": [
    {
      "total": 0,
      "mass": "4/121"
    },
    {
      "total": 1,
      "mass": "72/1331"
    },
    {
      "total": 2,
      "mass": "972/14641"
    },
    {
      "total": 3,
      "mass": "11664/161051"
    },
    {
      "total": 4,
      "mass": "131220/1771561"
    },
    {
      "total": 5,
      "mass": "1417176/19487171"
    },
    {
      "total": 6,
      "mass": "14880348/214358881"
    },
    {
      "total": 7,
      "mass": "153055008/2357947691"
    },
    {
      "total": 8,
      "mass": "1549681956/25937424601"
    },
    {
      "total": 9,
      "mass": "15496819560/285311670611"
    },
    {
      "total": 10,
      "mass": "13947137604/285311670611"
    },
    {
      "total": 11,
      "mass": "1506290861232/34522712143931"
    },
    {
      "total": 12,
      "mass": "14686335897012/379749833583241"
    },
    {
      "total": 13,
      "mass": "142344486386424/4177248169415651"
    },
    {
      "total": 14,
      "mass": "1372607547297660/45949729863572161"
    },
    {
      "total": 15,
      "mass": "13177032454057536/505447028499293771"
    },
    {
      "total": 16,
      "mass": "126005372841925188/5559917313492231481"
    },
    {
      "total": 17,
      "mass": "1200757082375992968/61159090448414546291"
    },
    {
      "total": 18,
      "mass": "11407192282571933196/672749994932560009201"
    },
    {
      "total": 19,
      "mass": "108068137413839367120/7400249944258160101211"
    },
    {
      "total": 20,
      "mass": "1021243898560782019284/81402749386839761113321"
    },
    {
      "total": 21,
      "mass": "875351913052098873672/81402749386839761113321"
    },
    {
      "total": 22,
      "mass": "90598923000892233425052/9849732675807611094711841"
    },
    {
      "total": 23,
      "mass": "850842059486640105209184/108347059433883722041830251"
    },
    {
      "total": 24,
      "mass": "7976644307687250986336100/1191817653772720942460132761"
    },
    {
      "total": 25,
      "mass": "74661390719952669232105896/13109994191499930367061460371"
    },
    {
      "total": 26,
      "mass": "697796844036480716284682028/144209936106499234037676064081"
    },
    {
      "total": 27,
      "mass": "6512770544340486685323698928/1586309297171491574414436704891"
    },
    {
      "total": 28,
      "mass": "60708325431173822316767336436/17449402268886407318558803753801"
    },
    {
      "total": 29,
      "mass": "565215443669549380190592442680/191943424957750480504146841291811"
    },
    {
      "total": 30,
      "mass": "5256503626126809235772509716924/2111377674535255285545615254209921"
    },
    {
      "total": 31,
      "mass": "48834614333049066448467187047552/23225154419887808141001767796309131"
    },
    {
      "total": 32,
      "mass": "41204205843510149815894189071372/23225154419887808141001767796309131"
    },
    {
      "total": 33,
      "mass": "4202828996038035281221207285279944/2810243684806424785061213903353404851"
    },
    {
      "total": 34,
      "mass": "38937974522117091576020008672446540/30912680532870672635673352936887453361"
    },
    {
      "total": 35,
      "mass": "360454392719026790589442365996362256/340039485861577398992406882305761986971"
    },
    {
      "total": 36,
      "mass": "3334203132650997812952341885466350868/3740434344477351388916475705363381856681"
    },
    {
      "total": 37,
      "mass": "30818850577476790595397322292688972888/41144777789250865278081232758997200423491"
    },
    {
      "total": 38,
      "mass": "284668856649851407868012108545627091676/452592555681759518058893560348969204658401"
    },
    {
      "total": 39,
      "mass": "2627712522921705303397034848113480846240/4978518112499354698647829163838661251242411"
    },
    {
      "total": 40,
      "mass": "24240648023952731423837646473846860806564/54763699237492901685126120802225273763666521"
    },
    {
      "total": 41,
      "mass": "223486950074491036053917813832051545972712/602400691612421918536387328824478011400331731"
    },
    {
      "total": 42,
      "mass": "2059272611400667403639671284595332102177132/6626407607736641103900260617069258125403649041"
    },
    {
      "total": 43,
      "mass": "1724042186288930849558794563847254783218064/6626407607736641103900260617069258125403649041"
    },
    {
      "total": 44,
      "mass": "174559271361754248517827949589534546800828980/801795320536133573571931534665380233173841533961"
    },
    {
      "total": 45,
      "mass": "1605945296528139086364017136223717830567626616/8819748525897469309291246881319182564912256873571"
    },
    {
      "total": 46,
      "mass": "14767714357204409424608244535274622659350131708/97017233784872162402203715694511008214034825609281"
    },
    {
      "total": 47,
      "mass": "135737289410900103647463013600822063592324614848/1067189571633593786424240872639621090354383081702091"
    },
    {
      "total": 48,
      "mass": "1247086346462644702261066437457552709254482398916/11739085287969531650666649599035831993898213898723001"
    },
    {
      "total": 49,
      "mass": "11452833794044696245254691772569361615602389377800/129129938167664848157333145589394151932880352885953011"
    },
    {
      "total": 50,
      "mass": "105137014229330311531438070472186739631229934488204/1420429319844313329730664601483335671261683881745483121"
    }
  ]
}