{
 "convention": "PRIMARY Beta-mixture (a,b,r)=(k_on,k_off,k_syn)/delta; P(n)=int_0^1 Pois(n;ru)Beta(u;a,b)du; float params are exact binary doubles, rational params given as p/q strings",
 "points": [
  {
   "a": 2,
   "b": 3,
   "exact_at_n5": {
    "A_P": "3168/343",
    "B_P": "-2093563/6860",
    "statement": "P(n) = A_P + B_P*exp(-r), exact rationals"
   },
   "r": "7/2",
   "r_is_rational": true,
   "tag": "exact_rational_a2_b3",
   "values": [
    {
     "P_50digits": "0.30846619366009705212556993513552889075432541087457",
     "n": 0,
     "rel_rad": 1.2858783322171612e-93
    },
    {
     "P_50digits": "0.20066137884464713862183878867971039054312345867995",
     "n": 2,
     "rel_rad": 3.4281021660676066e-93
    },
    {
     "P_50digits": "0.020389995658981433777083148738038818110664887171786",
     "n": 5,
     "rel_rad": 3.87392999645075e-93
    }
   ]
  },
  {
   "a": 1,
   "b": 4,
   "exact_at_n10": {
    "A_P": "-1064/27",
    "B_P": "119677669/151200",
    "statement": "P(n) = A_P + B_P*exp(-r), exact rationals"
   },
   "r": "3/1",
   "r_is_rational": true,
   "tag": "exact_rational_a1_b4",
   "values": [
    {
     "P_50digits": "0.60734431655344116829017553056298126715013321250027",
     "n": 0,
     "rel_rad": 1.4065090324979545e-93
    },
    {
     "P_50digits": "0.0029382143107599515969321586327392489452490241477162",
     "n": 5,
     "rel_rad": 2.47366591004648e-93
    },
    {
     "P_50digits": "0.0000019087935926251098905941039228391566051677321377290",
     "n": 10,
     "rel_rad": 4.053963606487441e-93
    }
   ]
  },
  {
   "a": 3,
   "b": 2,
   "exact_at_n7": {
    "A_P": "-387072/125",
    "B_P": "116208824117/10752000",
    "statement": "P(n) = A_P + B_P*exp(-r), exact rationals"
   },
   "r": "5/4",
   "r_is_rational": true,
   "tag": "exact_rational_a3_b2",
   "values": [
    {
     "P_50digits": "0.48766899268553016278076541630935802718924060405098",
     "n": 0,
     "rel_rad": 1.349456051377815e-93
    },
    {
     "P_50digits": "0.037044517548489081938554143550056895023512034832260",
     "n": 3,
     "rel_rad": 3.085723025826652e-93
    },
    {
     "P_50digits": "0.000036737597210550520377929228504591533515432749150048",
     "n": 7,
     "rel_rad": 4.33842643244504e-93
    }
   ]
  },
  {
   "a": 5,
   "b": 1,
   "exact_at_n12": {
    "A_P": "273/125",
    "B_P": "-9951901003/212625",
    "statement": "P(n) = A_P + B_P*exp(-r), exact rationals"
   },
   "r": "10/1",
   "r_is_rational": true,
   "tag": "exact_rational_a5_b1",
   "values": [
    {
     "P_50digits": "0.0011648967743076467127926806401685822681640417336884",
     "n": 0,
     "rel_rad": 1.4649652693197547e-93
    },
    {
     "P_50digits": "0.10507398295136765216066968132622087273311499424194",
     "n": 6,
     "rel_rad": 4.204007320530302e-93
    },
    {
     "P_50digits": "0.059058875770005663636170281456396353867141224112823",
     "n": 12,
     "rel_rad": 3.844080704794012e-93
    }
   ]
  },
  {
   "a": 4,
   "b": 6,
   "exact_at_n20": {
    "A_P": "-82190534291712/152587890625",
    "B_P": "16612216599400656452758505506278311/114933012480000000000000000",
    "statement": "P(n) = A_P + B_P*exp(-r), exact rationals"
   },
   "r": "25/2",
   "r_is_rational": true,
   "tag": "exact_rational_a4_b6",
   "values": [
    {
     "P_50digits": "0.026706547864632400060098646432671088214119913642203",
     "n": 0,
     "rel_rad": 1.0643700648000823e-93
    },
    {
     "P_50digits": "0.030387243603066939866017847102308393141612140612498",
     "n": 10,
     "rel_rad": 3.7859524693269016e-93
    },
    {
     "P_50digits": "0.000045827047950191194164097360594766671854553830497720",
     "n": 20,
     "rel_rad": 3.6362973282313743e-93
    }
   ]
  },
  {
   "a": 1.3,
   "b": 4.7,
   "r": "1000.0",
   "r_is_rational": false,
   "tag": "pilot_corner_A",
   "values": [
    {
     "P_50digits": "0.00097428967356951629509016841748388582565825548508339",
     "n": 0,
     "rel_rad": 1.2788776661518215e-93
    },
    {
     "P_50digits": "0.0029325548477050975046833808745553164607321547222611",
     "n": 100,
     "rel_rad": 6.412212226796848e-93
    },
    {
     "P_50digits": "0.000000025886998687295608295777558080018103687561412328993",
     "n": 1000,
     "rel_rad": 1.1456192443216257e-92
    }
   ]
  },
  {
   "a": 0.05,
   "b": 0.05,
   "r": "2000.0",
   "r_is_rational": false,
   "tag": "pilot_corner_B_flint_native_nan_region",
   "values": [
    {
     "P_50digits": "0.33414243981393594446065888243900760066393748680658",
     "n": 0,
     "rel_rad": 1.3665280916145917e-93
    },
    {
     "P_50digits": "0.000046875551642367493192489737782314199991041764789143",
     "n": 1000,
     "rel_rad": 9.582058899261752e-93
    },
    {
     "P_50digits": "0.0037180980254091034378563870861851560321742083789424",
     "n": 2000,
     "rel_rad": 9.938663421560652e-93
    }
   ]
  },
  {
   "a": 12.9,
   "b": 0.3,
   "r": "10000.0",
   "r_is_rational": false,
   "tag": "ksyn1e4_displaced_support",
   "values": [
    {
     "P_50digits": "6.6823061024973749179578528736094959288849158229375e-44",
     "n": 0,
     "rel_rad": 1.6194720179367877e-93
    },
    {
     "P_50digits": "0.000000000000013220478645054297624292207759411373000753734745106",
     "n": 1500,
     "rel_rad": 9.722521578341144e-93
    },
    {
     "P_50digits": "0.000000000056438126357476059477344638872449505174449991717072",
     "n": 3000,
     "rel_rad": 1.0832996109941393e-92
    }
   ]
  },
  {
   "a": 0.426,
   "b": 9.45,
   "r": "10000.0",
   "r_is_rational": false,
   "tag": "ksyn1e4_median_shape",
   "values": [
    {
     "P_50digits": "0.050786324640528296860572571335783391327657767421641",
     "n": 0,
     "rel_rad": 1.5655261756002216e-93
    },
    {
     "P_50digits": "0.00019014937809739932601447045932065441401273303507691",
     "n": 1000,
     "rel_rad": 9.331145488198097e-93
    },
    {
     "P_50digits": "0.000047241965249220179021423699761211925505433133778466",
     "n": 2000,
     "rel_rad": 9.768597552528045e-93
    }
   ]
  },
  {
   "a": 999.0,
   "b": 999.0,
   "r": "1000.0",
   "r_is_rational": false,
   "tag": "edge_a999_b999_r1000",
   "values": [
    {
     "P_50digits": "1.6767679116029183144447892969724076686352128457676e-191",
     "n": 0,
     "rel_rad": 1.5998224848312915e-93
    },
    {
     "P_50digits": "1.0125310023130634122901712679743116414194854688330e-29",
     "n": 250,
     "rel_rad": 6.062579539975715e-93
    },
    {
     "P_50digits": "0.0000083032569722635756117438594138555683098265591584135",
     "n": 600,
     "rel_rad": 9.730955589153234e-93
    }
   ]
  },
  {
   "a": 999.0,
   "b": 999.0,
   "r": "50.0",
   "r_is_rational": false,
   "tag": "edge_a999_b999_r50",
   "values": [
    {
     "P_50digits": "0.000000000016237722250907796763397313023958710309368181426439",
     "n": 0,
     "rel_rad": 1.3991863448177795e-93
    },
    {
     "P_50digits": "0.0000041454189115680871676006745887007945412737776829256",
     "n": 50,
     "rel_rad": 5.421475075921715e-93
    },
    {
     "P_50digits": "7.0046654216411314735637100342428219836746782353063e-104",
     "n": 200,
     "rel_rad": 6.2271312627801e-93
    }
   ]
  },
  {
   "a": 0.001,
   "b": 10.0,
   "r": "500.0",
   "r_is_rational": false,
   "tag": "edge_a0.001",
   "values": [
    {
     "P_50digits": "0.99602725204841461126217622868741589577167587738077",
     "n": 0,
     "rel_rad": 1.1082639216048724e-93
    },
    {
     "P_50digits": "0.0000000011253419838259841936795371331124369320836330824103",
     "n": 300,
     "rel_rad": 7.573644308985189e-93
    },
    {
     "P_50digits": "5.0699068513120834174969547239987342255435746696600e-111",
     "n": 1000,
     "rel_rad": 1.0029092045897898e-92
    }
   ]
  },
  {
   "a": 0.001,
   "b": 0.5,
   "r": "3000.0",
   "r_is_rational": false,
   "tag": "edge_a0.001_r3000",
   "values": [
    {
     "P_50digits": "0.99008226209039500444739386093177307067241803724331",
     "n": 0,
     "rel_rad": 1.0141586491922595e-93
    },
    {
     "P_50digits": "0.0000012218216683359024654407884478908539543423511477994",
     "n": 1000,
     "rel_rad": 1.0315951519472065e-92
    },
    {
     "P_50digits": "0.00000086512904044322751519059199330934824813013747825291",
     "n": 2000,
     "rel_rad": 1.0123518112554472e-92
    }
   ]
  },
  {
   "a": 0.03,
   "b": 0.3,
   "r": "2.0",
   "r_is_rational": false,
   "tag": "benign_small",
   "values": [
    {
     "P_50digits": "0.90396486424986886952025739592569231606461409040536",
     "n": 0,
     "rel_rad": 1.4384757099866553e-93
    },
    {
     "P_50digits": "0.026841836246510293560002755655498717858947419027569",
     "n": 2,
     "rel_rad": 3.1480585410639558e-93
    },
    {
     "P_50digits": "0.0021403196140743304245795799202893731115242447864073",
     "n": 5,
     "rel_rad": 3.654813842523515e-93
    }
   ]
  },
  {
   "a": 0.03,
   "b": 999.0,
   "r": "331.44540173399844",
   "r_is_rational": false,
   "tag": "illcond_pochhammer_a0.03_b999",
   "values": [
    {
     "P_50digits": "0.99144067819880190618651974681730439184806717790829",
     "n": 0,
     "rel_rad": 1.0396169170645284e-93
    },
    {
     "P_50digits": "0.00016006673285193040739392583343584533350949016720387",
     "n": 3,
     "rel_rad": 3.225150118439489e-93
    },
    {
     "P_50digits": "0.0000000029094443983164357785508101436011094550565713947472",
     "n": 10,
     "rel_rad": 5.439342464784029e-93
    }
   ]
  },
  {
   "a": 0.426,
   "b": 9.45,
   "r": "36.7",
   "r_is_rational": false,
   "tag": "fibro_median_benign",
   "values": [
    {
     "P_50digits": "0.50635629786719940612103061484612553677665375612284",
     "n": 0,
     "rel_rad": 1.8947460863028027e-93
    },
    {
     "P_50digits": "0.0060832656507985990670864404684101496725659695386433",
     "n": 10,
     "rel_rad": 6.491071082186217e-93
    },
    {
     "P_50digits": "0.000000000000066170363196151601733331125882994851510897721182010",
     "n": 60,
     "rel_rad": 5.838745488724333e-93
    }
   ]
  },
  {
   "a": 5.474780195107223,
   "b": 78.47072307993137,
   "r": "1448.0590959805015",
   "r_is_rational": false,
   "tag": "random_00",
   "values": [
    {
     "P_50digits": "0.00000010250051935330252584438132495509360434740699616934",
     "n": 0,
     "rel_rad": 1.0908002377116776e-93
    },
    {
     "P_50digits": "0.000000000063639060044472697804308106837637877653654242443941",
     "n": 498,
     "rel_rad": 1.1234407838124562e-92
    },
    {
     "P_50digits": "7.0917220545631898136147081663613350838927900612640e-31",
     "n": 996,
     "rel_rad": 1.1254756513561638e-92
    }
   ]
  },
  {
   "a": 20.348307938343325,
   "b": 0.015077197941421308,
   "r": "2.731303333602903",
   "r_is_rational": false,
   "tag": "random_01",
   "values": [
    {
     "P_50digits": "0.065275378396764884495203380520810783426636433543927",
     "n": 0,
     "rel_rad": 1.8615419875261663e-93
    },
    {
     "P_50digits": "1.1476186682337608564711611654121915344581813287678e-576",
     "n": 344,
     "rel_rad": 1.059185956611131e-92
    },
    {
     "P_50digits": "2.1228201716308516636083817788184914855469724861799e-1359",
     "n": 689,
     "rel_rad": 1.1074131655777028e-92
    }
   ]
  },
  {
   "a": 0.01062458339226909,
   "b": 0.011285075432893244,
   "r": "5.5823337907491135",
   "r_is_rational": false,
   "tag": "random_02",
   "values": [
    {
     "P_50digits": "0.50581404838957869745864682201530412729225227585824",
     "n": 0,
     "rel_rad": 1.4581027137490027e-93
    },
    {
     "P_50digits": "5.1489988989548308980779645596796909405511342494016e-568",
     "n": 397,
     "rel_rad": 9.473224644752314e-93
    },
    {
     "P_50digits": "3.6931379316427565635064675430286772304478652247807e-1372",
     "n": 795,
     "rel_rad": 9.835585642062361e-93
    }
   ]
  },
  {
   "a": 30.543727842393242,
   "b": 44.5204756837367,
   "r": "21.257386790640183",
   "r_is_rational": false,
   "tag": "random_03",
   "values": [
    {
     "P_50digits": "0.00034839095734786182257397107710348706183042844522138",
     "n": 0,
     "rel_rad": 1.45324773738558e-93
    },
    {
     "P_50digits": "3.3796487368882286701195594207857184296753910546439e-242",
     "n": 283,
     "rel_rad": 6.458785856189774e-93
    },
    {
     "P_50digits": "7.9961938542257093988995872961105484828026484671087e-622",
     "n": 567,
     "rel_rad": 1.1854087169068374e-92
    }
   ]
  },
  {
   "a": 2.724260552335737,
   "b": 0.29560437168661796,
   "r": "2.0510106939389328",
   "r_is_rational": false,
   "tag": "random_04",
   "values": [
    {
     "P_50digits": "0.16661639897387007573429979017299986911079536369384",
     "n": 0,
     "rel_rad": 1.674980229373464e-93
    },
    {
     "P_50digits": "4.6199011008390700060405040045018833829645943179758e-1238",
     "n": 606,
     "rel_rad": 1.0826751938017243e-92
    },
    {
     "P_50digits": "7.2686012077311716370096808907080042403545126754271e-2840",
     "n": 1213,
     "rel_rad": 1.0551643188415272e-92
    }
   ]
  },
  {
   "a": 18.362708711911914,
   "b": 0.03282566397978034,
   "r": "217.38614225131758",
   "r_is_rational": false,
   "tag": "random_05",
   "values": [
    {
     "P_50digits": "4.8764225028099147509599646054600013362534880847592e-30",
     "n": 0,
     "rel_rad": 1.3777098266484435e-93
    },
    {
     "P_50digits": "1.8200673013396456151395829728403080524917087959941e-41",
     "n": 443,
     "rel_rad": 1.3272562832241252e-92
    },
    {
     "P_50digits": "1.5881384297908933067646852300350049041096515526575e-253",
     "n": 887,
     "rel_rad": 1.4079354732530791e-92
    }
   ]
  },
  {
   "a": 52.45625986788528,
   "b": 0.06383623232268117,
   "r": "143.38001999594357",
   "r_is_rational": false,
   "tag": "random_06",
   "values": [
    {
     "P_50digits": "9.2939199966168673057620122977414950816692172698852e-48",
     "n": 0,
     "rel_rad": 1.4534631995556301e-93
    },
    {
     "P_50digits": "1.1852446978110652650247024857915833768096849707594e-115",
     "n": 494,
     "rel_rad": 1.2864134793090804e-92
    },
    {
     "P_50digits": "6.1732861279280538457599947536465148518789318378943e-465",
     "n": 989,
     "rel_rad": 1.2461669220077125e-92
    }
   ]
  },
  {
   "a": 23.963841823939603,
   "b": 4.311650120808221,
   "r": "2.278340363839661",
   "r_is_rational": false,
   "tag": "random_07",
   "values": [
    {
     "P_50digits": "0.14674560068554130131252297375587663801688268427519",
     "n": 0,
     "rel_rad": 1.4165516761910995e-93
    },
    {
     "P_50digits": "3.4829668730409345769084129046691130323444104332452e-1417",
     "n": 688,
     "rel_rad": 1.1261398250742567e-92
    },
    {
     "P_50digits": "5.0112546700503563747264515937125926075003544724433e-3243",
     "n": 1377,
     "rel_rad": 1.2163676081966365e-92
    }
   ]
  },
  {
   "a": 2.102518579875472,
   "b": 0.09623613287290292,
   "r": "102.68673028422478",
   "r_is_rational": false,
   "tag": "random_08",
   "values": [
    {
     "P_50digits": "0.0000066844060683682056689874786258285104992711938082984",
     "n": 0,
     "rel_rad": 1.0914406629818166e-93
    },
    {
     "P_50digits": "8.9956846177871726002118317050469420075686095153397e-146",
     "n": 458,
     "rel_rad": 1.0009856073303143e-92
    },
    {
     "P_50digits": "3.7908285822290560830305139803353315861286198790104e-521",
     "n": 917,
     "rel_rad": 1.1036746388231557e-92
    }
   ]
  }
 ],
 "provenance": {
  "date": "2026-07-08",
  "digits": 50,
  "evaluator": "telegraph_evaluate.py",
  "evaluator_sha256": "8f87f985521c627b7d0a30eebbb169bdc909bdef66a0d0cc65f016837946e1e2",
  "generator_script": "make_reference_values.py",
  "generator_sha256": "2f85f133ee4e8561f4ca6105707fdcab904518f9910f7472aa6577adb3f29d2f",
  "method": "certified arb ball midpoints (all-positive Kummer series, adversarially-verified tail bound); rel ball radius < 1e-55 asserted per value",
  "prec_bits": 280,
  "seed_random_points": 271828,
  "versions": {
   "mpmath": "1.3.0",
   "numpy": "2.4.1",
   "python": "3.12.3",
   "python-flint": "0.8.0",
   "sympy": "1.14.0"
  }
 }
}