back to table · edit · history · where entries came from · files · download
104726 bytes, as of the version from 2026-09-27 17:26 (current). Recorded here, not run.
{
"table": "T342",
"status": "candidate_only_requires_independent_review",
"generated_at_utc": "2026-09-27T17:19:00.138351+00:00",
"generator_sha256": "4eeb22b31475f13c65e9e629199b248dfe6e54d206d9fcde3e07eb3876ed7941",
"candidate_sha256": "a15427211544603dd7c0ad373e7b15075f9a480aaee3221fe5d42e07c23547cb",
"entries_sha256": "a1e83115a794ce6b6317fc61852d38fb44ded795d7464789ea045914af4f9b5e",
"baseline_sha256": "bc814c8ee8837e74c3fd7ac5c723d583bc5e79e8312924291e7831ef8649155b",
"baseline_normalized_sha256": "76c682dd1b911d7f15305c46d5bab4992eb55fcc7bf3cd3cbf4897baad7d2f51",
"all_entries_checked": true,
"entries": 52,
"channel_matrices": 26,
"approximate_entries": 51,
"exact_entries": 1,
"entries_by_channel": {
"bsc": 4,
"z": 10,
"qsc": 32,
"bac": 6
},
"minimum_significant_digits": 100,
"minimum_arb_relative_accuracy_bits": 446,
"accuracy_measurement": "Conservative bit bound using MPFR exact_rational() on outward MPFI endpoints",
"endpoint_conversion": "exact_rational() preserves dyadic MPFR endpoints; QQ(MPFR) is forbidden",
"endpoint_api_reference": "https://doc.sagemath.org/html/en/reference/rings_numerical/sage/rings/real_mpfr.html#sage.rings.real_mpfr.RealNumber.exact_rational",
"resolved_critique_findings": [
"channel-exact-qsc-third",
"channel-endpoints-not-exact"
],
"supersedes_rejected_verification_sha256": "59245e29221bdef888a13a9fa27bd1e3560645c1d8a0d4e634f276ff7450a419",
"rejected_artifact_archive": "channel-rejected-20260927 (private, not an attachment)",
"guard_bits": 128,
"working_precision_bits": 461,
"matrix_precision_bits": 525,
"matrix_absolute_gap_target_nats": "1e-112",
"independent_checks": [
{
"method": "Rational transition matrices; MPFI primal/dual capacity enclosures",
"source": {
"url": "https://ocw.mit.edu/courses/6-441-information-theory-spring-2016/5d8f16adc3385c9ff2975b121bd620e4_MIT6_441S16_course_notes.pdf",
"location": "Sections 4.4-4.5; Corollaries 4.2-4.3",
"web_verified_on": "2026-09-27"
},
"controls": [
{
"control": "noiseless binary",
"passed": true,
"iterations": 1,
"input_prior": [
"1/2",
"1/2"
],
"gap_upper": "9.104419837890877372181354144852214156953700603760262322108787027839695294275046758955291614258334720900282718818159303531997959100616824536726275426748150258156?e-159",
"capacity_lower_nats": "38066521145872334444070668946035020257815074426777926209847336020288981293601077842606587568404533194468733094285117999774407376070967398194300848625229648873/54918381281044877719855206392651145738155482401146443275155707673484345467181248416980477125291636439818370491131846864296975903997733150500592226328920457216",
"capacity_upper_nats": "76133042291744668888141337892070040515630148853555852419694672040577962587202155685213175136809066388937466188570235999548814752141934796388601697250459297747/109836762562089755439710412785302291476310964802292886550311415346968690934362496833960954250583272879636740982263693728593951807995466301001184452657840914432",
"capacity_gap_nats": "1/109836762562089755439710412785302291476310964802292886550311415346968690934362496833960954250583272879636740982263693728593951807995466301001184452657840914432",
"endpoint_conversion": "MPFR exact_rational()",
"method": "MPFI mutual-information lower / information-radius upper bound"
},
{
"control": "identical rows with absent output",
"passed": true,
"iterations": 1,
"input_prior": [
"1/2",
"1/2"
],
"gap_upper": "0",
"capacity_lower_nats": "0",
"capacity_upper_nats": "0",
"capacity_gap_nats": "0",
"endpoint_conversion": "MPFR exact_rational()",
"method": "MPFI mutual-information lower / information-radius upper bound"
},
{
"control": "binary erasure half",
"passed": true,
"iterations": 1,
"input_prior": [
"1/2",
"1/2"
],
"gap_upper": "4.552209918945438686090677072426107078476850301880131161054393513919847647137523379477645807129167360450141359409079651765998979550308412268363137713374075129078?e-158",
"capacity_lower_nats": "38066521145872334444070668946035020257815074426777926209847336020288981293601077842606587568404533194468733094285117999774407376070967398194300848625229648871/109836762562089755439710412785302291476310964802292886550311415346968690934362496833960954250583272879636740982263693728593951807995466301001184452657840914432",
"capacity_upper_nats": "9516630286468083611017667236508755064453768606694481552461834005072245323400269460651646892101133298617183273571279499943601844017741849548575212156307412219/27459190640522438859927603196325572869077741200573221637577853836742172733590624208490238562645818219909185245565923432148487951998866575250296113164460228608",
"capacity_gap_nats": "5/109836762562089755439710412785302291476310964802292886550311415346968690934362496833960954250583272879636740982263693728593951807995466301001184452657840914432",
"endpoint_conversion": "MPFR exact_rational()",
"method": "MPFI mutual-information lower / information-radius upper bound"
},
{
"control": "Z half",
"passed": true,
"iterations": 371,
"input_prior": [
"2885889125712486270430593757334737339239238716098543457125119145818778450060830855328193329215203782285641698509/4809815209520810450717656262224562232065397860164239095208531909697964083434718092213655548692006303809402830848",
"1923926083808324180287062504889824892826159144065695638083412763879185633373887236885462219476802521523761132339/4809815209520810450717656262224562232065397860164239095208531909697964083434718092213655548692006303809402830848"
],
"gap_upper": "3.898278662116837206948901717755714887921078555189377276872356062164640890549712177274760446875743686123241893128636817232266302346934023823596477167954223873768?e-113",
"capacity_lower_nats": "98037461051841393393333256608663594056518794072288147999797724935223495375504935686083412586880003877321093648587261033683255627878598465070860486904917594739/439347050248359021758841651141209165905243859209171546201245661387874763737449987335843817002333091518546963929054774914375807231981865204004737810631363657728",
"capacity_upper_nats": "24509365262960348348333314152165898514129698518072036999949431233805873843876233921520853146720000969330273412151097001498931786612824474176063607135377638559/109836762562089755439710412785302291476310964802292886550311415346968690934362496833960954250583272879636740982263693728593951807995466301001184452657840914432",
"capacity_gap_nats": "17126972312471518572699431633393941636592959497/439347050248359021758841651141209165905243859209171546201245661387874763737449987335843817002333091518546963929054774914375807231981865204004737810631363657728",
"endpoint_conversion": "MPFR exact_rational()",
"method": "MPFI mutual-information lower / information-radius upper bound"
}
],
"all_rows": [
{
"params": {
"channel": "bsc",
"shape": "1/4",
"unit": "nats"
},
"stored_interval_contains_matrix_certificate": true,
"certificate_width_below_1e_minus_8_ulp": true,
"iterations": 1,
"input_prior": [
"1/2",
"1/2"
],
"gap_upper": "4.552209918945438686090677072426107078476850301880131161054393513919847647137523379477645807129167360450141359409079651765998979550308412268363137713374075129078?e-158",
"capacity_lower_nats": "7183985265965105740001074070302078384676889831744993878344824922611259307587221978144242796142721383391491074439254869595675134745721811141629025871576326759/54918381281044877719855206392651145738155482401146443275155707673484345467181248416980477125291636439818370491131846864296975903997733150500592226328920457216",
"capacity_upper_nats": "14367970531930211480002148140604156769353779663489987756689649845222518615174443956288485592285442766782982148878509739191350269491443622283258051743152653523/109836762562089755439710412785302291476310964802292886550311415346968690934362496833960954250583272879636740982263693728593951807995466301001184452657840914432",
"capacity_gap_nats": "5/109836762562089755439710412785302291476310964802292886550311415346968690934362496833960954250583272879636740982263693728593951807995466301001184452657840914432",
"endpoint_conversion": "MPFR exact_rational()",
"method": "MPFI mutual-information lower / information-radius upper bound"
},
{
"params": {
"channel": "bsc",
"shape": "1/4",
"unit": "bits"
},
"stored_interval_contains_matrix_certificate": true,
"certificate_width_below_1e_minus_8_ulp": true,
"iterations": 1,
"input_prior": [
"1/2",
"1/2"
],
"gap_upper": "4.552209918945438686090677072426107078476850301880131161054393513919847647137523379477645807129167360450141359409079651765998979550308412268363137713374075129078?e-158",
"capacity_lower_nats": "7183985265965105740001074070302078384676889831744993878344824922611259307587221978144242796142721383391491074439254869595675134745721811141629025871576326759/54918381281044877719855206392651145738155482401146443275155707673484345467181248416980477125291636439818370491131846864296975903997733150500592226328920457216",
"capacity_upper_nats": "14367970531930211480002148140604156769353779663489987756689649845222518615174443956288485592285442766782982148878509739191350269491443622283258051743152653523/109836762562089755439710412785302291476310964802292886550311415346968690934362496833960954250583272879636740982263693728593951807995466301001184452657840914432",
"capacity_gap_nats": "5/109836762562089755439710412785302291476310964802292886550311415346968690934362496833960954250583272879636740982263693728593951807995466301001184452657840914432",
"endpoint_conversion": "MPFR exact_rational()",
"method": "MPFI mutual-information lower / information-radius upper bound"
},
{
"params": {
"channel": "bsc",
"shape": "1/3",
"unit": "nats"
},
"stored_interval_contains_matrix_certificate": true,
"certificate_width_below_1e_minus_8_ulp": true,
"iterations": 1,
"input_prior": [
"1/2",
"1/2"
],
"gap_upper": "8.193977854101789634963218730366992741258330543384236089897908325055725764847542083059762452832501248810254446936343373178798163190555142083053647884073335232341?e-158",
"capacity_lower_nats": "6220386721341274322710915109884471146071676733198633797645357553229296042168126620019744255889098440601845864352065680927804558058720102418523163425949561217/109836762562089755439710412785302291476310964802292886550311415346968690934362496833960954250583272879636740982263693728593951807995466301001184452657840914432",
"capacity_upper_nats": "3110193360670637161355457554942235573035838366599316898822678776614648021084063310009872127944549220300922932176032840463902279029360051209261581712974780613/54918381281044877719855206392651145738155482401146443275155707673484345467181248416980477125291636439818370491131846864296975903997733150500592226328920457216",
"capacity_gap_nats": "9/109836762562089755439710412785302291476310964802292886550311415346968690934362496833960954250583272879636740982263693728593951807995466301001184452657840914432",
"endpoint_conversion": "MPFR exact_rational()",
"method": "MPFI mutual-information lower / information-radius upper bound"
},
{
"params": {
"channel": "bsc",
"shape": "1/3",
"unit": "bits"
},
"stored_interval_contains_matrix_certificate": true,
"certificate_width_below_1e_minus_8_ulp": true,
"iterations": 1,
"input_prior": [
"1/2",
"1/2"
],
"gap_upper": "8.193977854101789634963218730366992741258330543384236089897908325055725764847542083059762452832501248810254446936343373178798163190555142083053647884073335232341?e-158",
"capacity_lower_nats": "6220386721341274322710915109884471146071676733198633797645357553229296042168126620019744255889098440601845864352065680927804558058720102418523163425949561217/109836762562089755439710412785302291476310964802292886550311415346968690934362496833960954250583272879636740982263693728593951807995466301001184452657840914432",
"capacity_upper_nats": "3110193360670637161355457554942235573035838366599316898822678776614648021084063310009872127944549220300922932176032840463902279029360051209261581712974780613/54918381281044877719855206392651145738155482401146443275155707673484345467181248416980477125291636439818370491131846864296975903997733150500592226328920457216",
"capacity_gap_nats": "9/109836762562089755439710412785302291476310964802292886550311415346968690934362496833960954250583272879636740982263693728593951807995466301001184452657840914432",
"endpoint_conversion": "MPFR exact_rational()",
"method": "MPFI mutual-information lower / information-radius upper bound"
},
{
"params": {
"channel": "z",
"shape": "1/4",
"unit": "nats"
},
"stored_interval_contains_matrix_certificate": true,
"certificate_width_below_1e_minus_8_ulp": true,
"iterations": 368,
"input_prior": [
"344006643381181211080619085311348097961682745695627934006307231247347451876106731408901052694529623957737596295/601226901190101306339707032778070279008174732520529886901066488712245510429339761526706943586500787976175353856",
"257220257808920095259087947466722181046491986824901952894759257464898058553233030117805890891971164018437757561/601226901190101306339707032778070279008174732520529886901066488712245510429339761526706943586500787976175353856"
],
"gap_upper": "9.069659986125497133881499149370247477081754111608341095437821533858804770944549454737517583426821623765722715640879867325392960006483052140438067356634920038942?e-113",
"capacity_lower_nats": "42500404978279790993425339497372817203188534964050701442855897177238704575244106218662427698966482143699618372576357163395232152228282830447646124097577709145/109836762562089755439710412785302291476310964802292886550311415346968690934362496833960954250583272879636740982263693728593951807995466301001184452657840914432",
"capacity_upper_nats": "21250202489139895496712669748686408601594267482025350721427948588619352287622053109331213849483241071849809186293159492149690838585883577112977150930702717827/54918381281044877719855206392651145738155482401146443275155707673484345467181248416980477125291636439818370491131846864296975903997733150500592226328920457216",
"capacity_gap_nats": "9961820904149524943484323778308177763827726509/109836762562089755439710412785302291476310964802292886550311415346968690934362496833960954250583272879636740982263693728593951807995466301001184452657840914432",
"endpoint_conversion": "MPFR exact_rational()",
"method": "MPFI mutual-information lower / information-radius upper bound"
},
{
"params": {
"channel": "z",
"shape": "1/4",
"unit": "bits"
},
"stored_interval_contains_matrix_certificate": true,
"certificate_width_below_1e_minus_8_ulp": true,
"iterations": 368,
"input_prior": [
"344006643381181211080619085311348097961682745695627934006307231247347451876106731408901052694529623957737596295/601226901190101306339707032778070279008174732520529886901066488712245510429339761526706943586500787976175353856",
"257220257808920095259087947466722181046491986824901952894759257464898058553233030117805890891971164018437757561/601226901190101306339707032778070279008174732520529886901066488712245510429339761526706943586500787976175353856"
],
"gap_upper": "9.069659986125497133881499149370247477081754111608341095437821533858804770944549454737517583426821623765722715640879867325392960006483052140438067356634920038942?e-113",
"capacity_lower_nats": "42500404978279790993425339497372817203188534964050701442855897177238704575244106218662427698966482143699618372576357163395232152228282830447646124097577709145/109836762562089755439710412785302291476310964802292886550311415346968690934362496833960954250583272879636740982263693728593951807995466301001184452657840914432",
"capacity_upper_nats": "21250202489139895496712669748686408601594267482025350721427948588619352287622053109331213849483241071849809186293159492149690838585883577112977150930702717827/54918381281044877719855206392651145738155482401146443275155707673484345467181248416980477125291636439818370491131846864296975903997733150500592226328920457216",
"capacity_gap_nats": "9961820904149524943484323778308177763827726509/109836762562089755439710412785302291476310964802292886550311415346968690934362496833960954250583272879636740982263693728593951807995466301001184452657840914432",
"endpoint_conversion": "MPFR exact_rational()",
"method": "MPFI mutual-information lower / information-radius upper bound"
},
{
"params": {
"channel": "z",
"shape": "1/3",
"unit": "nats"
},
"stored_interval_contains_matrix_certificate": true,
"certificate_width_below_1e_minus_8_ulp": true,
"iterations": 369,
"input_prior": [
"701163502336252246976543109497147731401972381443928457696393142963006318788548606378220852698492791544450163685/1202453802380202612679414065556140558016349465041059773802132977424491020858679523053413887173001575952350707712",
"501290300043950365702870956058992826614377083597131316105739834461484702070130916675193034474508784407900544027/1202453802380202612679414065556140558016349465041059773802132977424491020858679523053413887173001575952350707712"
],
"gap_upper": "5.098916121710044188673469283135331776010356026497343649829163188789038211514004383517024486823604574478557918302092108949848458358097981291639424057082399350129?e-113",
"capacity_lower_nats": "71531864797031281281675681592251541119312648282288284334338231028715463197859925932359671463379175557088185746172841323778168107452362243950670128544326892103/219673525124179510879420825570604582952621929604585773100622830693937381868724993667921908501166545759273481964527387457187903615990932602002368905315681828864",
"capacity_upper_nats": "17882966199257820320418920398062885279828162070572071083584557757178865799464981483089917865844793889272046436546010573141463415225192592852924763954054073839/54918381281044877719855206392651145738155482401146443275155707673484345467181248416980477125291636439818370491131846864296975903997733150500592226328920457216",
"capacity_gap_nats": "11200968787685553448408127461028927271889403253/219673525124179510879420825570604582952621929604585773100622830693937381868724993667921908501166545759273481964527387457187903615990932602002368905315681828864",
"endpoint_conversion": "MPFR exact_rational()",
"method": "MPFI mutual-information lower / information-radius upper bound"
},
{
"params": {
"channel": "z",
"shape": "1/3",
"unit": "bits"
},
"stored_interval_contains_matrix_certificate": true,
"certificate_width_below_1e_minus_8_ulp": true,
"iterations": 369,
"input_prior": [
"701163502336252246976543109497147731401972381443928457696393142963006318788548606378220852698492791544450163685/1202453802380202612679414065556140558016349465041059773802132977424491020858679523053413887173001575952350707712",
"501290300043950365702870956058992826614377083597131316105739834461484702070130916675193034474508784407900544027/1202453802380202612679414065556140558016349465041059773802132977424491020858679523053413887173001575952350707712"
],
"gap_upper": "5.098916121710044188673469283135331776010356026497343649829163188789038211514004383517024486823604574478557918302092108949848458358097981291639424057082399350129?e-113",
"capacity_lower_nats": "71531864797031281281675681592251541119312648282288284334338231028715463197859925932359671463379175557088185746172841323778168107452362243950670128544326892103/219673525124179510879420825570604582952621929604585773100622830693937381868724993667921908501166545759273481964527387457187903615990932602002368905315681828864",
"capacity_upper_nats": "17882966199257820320418920398062885279828162070572071083584557757178865799464981483089917865844793889272046436546010573141463415225192592852924763954054073839/54918381281044877719855206392651145738155482401146443275155707673484345467181248416980477125291636439818370491131846864296975903997733150500592226328920457216",
"capacity_gap_nats": "11200968787685553448408127461028927271889403253/219673525124179510879420825570604582952621929604585773100622830693937381868724993667921908501166545759273481964527387457187903615990932602002368905315681828864",
"endpoint_conversion": "MPFR exact_rational()",
"method": "MPFI mutual-information lower / information-radius upper bound"
},
{
"params": {
"channel": "z",
"shape": "1/2",
"unit": "nats"
},
"stored_interval_contains_matrix_certificate": true,
"certificate_width_below_1e_minus_8_ulp": true,
"iterations": 371,
"input_prior": [
"2885889125712486270430593757334737339239238716098543457125119145818778450060830855328193329215203782285641698509/4809815209520810450717656262224562232065397860164239095208531909697964083434718092213655548692006303809402830848",
"1923926083808324180287062504889824892826159144065695638083412763879185633373887236885462219476802521523761132339/4809815209520810450717656262224562232065397860164239095208531909697964083434718092213655548692006303809402830848"
],
"gap_upper": "3.898278662116837206948901717755714887921078555189377276872356062164640890549712177274760446875743686123241893128636817232266302346934023823596477167954223873768?e-113",
"capacity_lower_nats": "98037461051841393393333256608663594056518794072288147999797724935223495375504935686083412586880003877321093648587261033683255627878598465070860486904917594739/439347050248359021758841651141209165905243859209171546201245661387874763737449987335843817002333091518546963929054774914375807231981865204004737810631363657728",
"capacity_upper_nats": "24509365262960348348333314152165898514129698518072036999949431233805873843876233921520853146720000969330273412151097001498931786612824474176063607135377638559/109836762562089755439710412785302291476310964802292886550311415346968690934362496833960954250583272879636740982263693728593951807995466301001184452657840914432",
"capacity_gap_nats": "17126972312471518572699431633393941636592959497/439347050248359021758841651141209165905243859209171546201245661387874763737449987335843817002333091518546963929054774914375807231981865204004737810631363657728",
"endpoint_conversion": "MPFR exact_rational()",
"method": "MPFI mutual-information lower / information-radius upper bound"
},
{
"params": {
"channel": "z",
"shape": "1/2",
"unit": "bits"
},
"stored_interval_contains_matrix_certificate": true,
"certificate_width_below_1e_minus_8_ulp": true,
"iterations": 371,
"input_prior": [
"2885889125712486270430593757334737339239238716098543457125119145818778450060830855328193329215203782285641698509/4809815209520810450717656262224562232065397860164239095208531909697964083434718092213655548692006303809402830848",
"1923926083808324180287062504889824892826159144065695638083412763879185633373887236885462219476802521523761132339/4809815209520810450717656262224562232065397860164239095208531909697964083434718092213655548692006303809402830848"
],
"gap_upper": "3.898278662116837206948901717755714887921078555189377276872356062164640890549712177274760446875743686123241893128636817232266302346934023823596477167954223873768?e-113",
"capacity_lower_nats": "98037461051841393393333256608663594056518794072288147999797724935223495375504935686083412586880003877321093648587261033683255627878598465070860486904917594739/439347050248359021758841651141209165905243859209171546201245661387874763737449987335843817002333091518546963929054774914375807231981865204004737810631363657728",
"capacity_upper_nats": "24509365262960348348333314152165898514129698518072036999949431233805873843876233921520853146720000969330273412151097001498931786612824474176063607135377638559/109836762562089755439710412785302291476310964802292886550311415346968690934362496833960954250583272879636740982263693728593951807995466301001184452657840914432",
"capacity_gap_nats": "17126972312471518572699431633393941636592959497/439347050248359021758841651141209165905243859209171546201245661387874763737449987335843817002333091518546963929054774914375807231981865204004737810631363657728",
"endpoint_conversion": "MPFR exact_rational()",
"method": "MPFI mutual-information lower / information-radius upper bound"
},
{
"params": {
"channel": "z",
"shape": "2/3",
"unit": "nats"
},
"stored_interval_contains_matrix_certificate": true,
"certificate_width_below_1e_minus_8_ulp": true,
"iterations": 368,
"input_prior": [
"368493907181029832917884955573655977456623223157744124229685912436537570908305015129271997682048870049913926557/601226901190101306339707032778070279008174732520529886901066488712245510429339761526706943586500787976175353856",
"232732994009071473421822077204414301551551509362785762671380576275707939521034746397434945904451917926261427299/601226901190101306339707032778070279008174732520529886901066488712245510429339761526706943586500787976175353856"
],
"gap_upper": "9.753717804802621488991490717676850419160558690339422569237354949951162603061303479979530091715867683105510410907969466586952882005316181990930301208353070146644?e-113",
"capacity_lower_nats": "60695943702359388915567329360226022001099766173319941974527468186215276538727897174208402972272646451546911568047220624416505617998825359430303957528763147163/439347050248359021758841651141209165905243859209171546201245661387874763737449987335843817002333091518546963929054774914375807231981865204004737810631363657728",
"capacity_upper_nats": "15173985925589847228891832340056505500274941543329985493631867046553819134681974293552100743068161612886727892022518323970363732989625325899863557813310662691/109836762562089755439710412785302291476310964802292886550311415346968690934362496833960954250583272879636740982263693728593951807995466301001184452657840914432",
"capacity_gap_nats": "42852671464949313959675944169150273724479503601/439347050248359021758841651141209165905243859209171546201245661387874763737449987335843817002333091518546963929054774914375807231981865204004737810631363657728",
"endpoint_conversion": "MPFR exact_rational()",
"method": "MPFI mutual-information lower / information-radius upper bound"
},
{
"params": {
"channel": "z",
"shape": "2/3",
"unit": "bits"
},
"stored_interval_contains_matrix_certificate": true,
"certificate_width_below_1e_minus_8_ulp": true,
"iterations": 368,
"input_prior": [
"368493907181029832917884955573655977456623223157744124229685912436537570908305015129271997682048870049913926557/601226901190101306339707032778070279008174732520529886901066488712245510429339761526706943586500787976175353856",
"232732994009071473421822077204414301551551509362785762671380576275707939521034746397434945904451917926261427299/601226901190101306339707032778070279008174732520529886901066488712245510429339761526706943586500787976175353856"
],
"gap_upper": "9.753717804802621488991490717676850419160558690339422569237354949951162603061303479979530091715867683105510410907969466586952882005316181990930301208353070146644?e-113",
"capacity_lower_nats": "60695943702359388915567329360226022001099766173319941974527468186215276538727897174208402972272646451546911568047220624416505617998825359430303957528763147163/439347050248359021758841651141209165905243859209171546201245661387874763737449987335843817002333091518546963929054774914375807231981865204004737810631363657728",
"capacity_upper_nats": "15173985925589847228891832340056505500274941543329985493631867046553819134681974293552100743068161612886727892022518323970363732989625325899863557813310662691/109836762562089755439710412785302291476310964802292886550311415346968690934362496833960954250583272879636740982263693728593951807995466301001184452657840914432",
"capacity_gap_nats": "42852671464949313959675944169150273724479503601/439347050248359021758841651141209165905243859209171546201245661387874763737449987335843817002333091518546963929054774914375807231981865204004737810631363657728",
"endpoint_conversion": "MPFR exact_rational()",
"method": "MPFI mutual-information lower / information-radius upper bound"
},
{
"params": {
"channel": "z",
"shape": "3/4",
"unit": "nats"
},
"stored_interval_contains_matrix_certificate": true,
"certificate_width_below_1e_minus_8_ulp": true,
"iterations": 366,
"input_prior": [
"92945854865960890997746228565514398256564115009799231632232010180780003820790157479835437391906040544020041453/150306725297525326584926758194517569752043683130132471725266622178061377607334940381676735896625196994043838464",
"57360870431564435587180529629003171495479568120333240093034611997281373786544782901841298504719156450023797011/150306725297525326584926758194517569752043683130132471725266622178061377607334940381676735896625196994043838464"
],
"gap_upper": "6.497131103528062011581502862926191479868464262063119567329672451509075955235767270982238471203004514329531623987613764073586371853124395052869648950863059346423?e-114",
"capacity_lower_nats": "44053088477476667306860883701174641822153210183765396820799861125789811725432897256840249776910423859876508540621799841832001784116627518449947083618668576267/439347050248359021758841651141209165905243859209171546201245661387874763737449987335843817002333091518546963929054774914375807231981865204004737810631363657728",
"capacity_upper_nats": "22026544238738333653430441850587320911076605091882698410399930562894905862716448628420124888455211929938254270312327168608706851939372045194423036945717034759/219673525124179510879420825570604582952621929604585773100622830693937381868724993667921908501166545759273481964527387457187903615990932602002368905315681828864",
"capacity_gap_nats": "2854495385411919762116571938898990272765493251/439347050248359021758841651141209165905243859209171546201245661387874763737449987335843817002333091518546963929054774914375807231981865204004737810631363657728",
"endpoint_conversion": "MPFR exact_rational()",
"method": "MPFI mutual-information lower / information-radius upper bound"
},
{
"params": {
"channel": "z",
"shape": "3/4",
"unit": "bits"
},
"stored_interval_contains_matrix_certificate": true,
"certificate_width_below_1e_minus_8_ulp": true,
"iterations": 366,
"input_prior": [
"92945854865960890997746228565514398256564115009799231632232010180780003820790157479835437391906040544020041453/150306725297525326584926758194517569752043683130132471725266622178061377607334940381676735896625196994043838464",
"57360870431564435587180529629003171495479568120333240093034611997281373786544782901841298504719156450023797011/150306725297525326584926758194517569752043683130132471725266622178061377607334940381676735896625196994043838464"
],
"gap_upper": "6.497131103528062011581502862926191479868464262063119567329672451509075955235767270982238471203004514329531623987613764073586371853124395052869648950863059346423?e-114",
"capacity_lower_nats": "44053088477476667306860883701174641822153210183765396820799861125789811725432897256840249776910423859876508540621799841832001784116627518449947083618668576267/439347050248359021758841651141209165905243859209171546201245661387874763737449987335843817002333091518546963929054774914375807231981865204004737810631363657728",
"capacity_upper_nats": "22026544238738333653430441850587320911076605091882698410399930562894905862716448628420124888455211929938254270312327168608706851939372045194423036945717034759/219673525124179510879420825570604582952621929604585773100622830693937381868724993667921908501166545759273481964527387457187903615990932602002368905315681828864",
"capacity_gap_nats": "2854495385411919762116571938898990272765493251/439347050248359021758841651141209165905243859209171546201245661387874763737449987335843817002333091518546963929054774914375807231981865204004737810631363657728",
"endpoint_conversion": "MPFR exact_rational()",
"method": "MPFI mutual-information lower / information-radius upper bound"
},
{
"params": {
"channel": "qsc",
"shape": "3,1/4",
"unit": "nats"
},
"stored_interval_contains_matrix_certificate": true,
"certificate_width_below_1e_minus_8_ulp": true,
"iterations": 1,
"input_prior": [
"1/3",
"1/3",
"1/3"
],
"gap_upper": "7.738756862207245766354151023124382033410645513196222973792468973663741000133789745111997872119584512765240310995435408002198265235524300856217334112735927719433?e-158",
"capacity_lower_nats": "79739369530965098388033580971497738342922663238545918267834144617801413968681097743548461953466910643143494392861418116151103716317059370053304524343122266047/219673525124179510879420825570604582952621929604585773100622830693937381868724993667921908501166545759273481964527387457187903615990932602002368905315681828864",
"capacity_upper_nats": "4983710595685318649252098810718608646432666452409119891739634038612588373042568608971778872091681915196468399553838632259443982269816210628331532771445141629/13729595320261219429963801598162786434538870600286610818788926918371086366795312104245119281322909109954592622782961716074243975999433287625148056582230114304",
"capacity_gap_nats": "17/219673525124179510879420825570604582952621929604585773100622830693937381868724993667921908501166545759273481964527387457187903615990932602002368905315681828864",
"endpoint_conversion": "MPFR exact_rational()",
"method": "MPFI mutual-information lower / information-radius upper bound"
},
{
"params": {
"channel": "qsc",
"shape": "3,1/4",
"unit": "bits"
},
"stored_interval_contains_matrix_certificate": true,
"certificate_width_below_1e_minus_8_ulp": true,
"iterations": 1,
"input_prior": [
"1/3",
"1/3",
"1/3"
],
"gap_upper": "7.738756862207245766354151023124382033410645513196222973792468973663741000133789745111997872119584512765240310995435408002198265235524300856217334112735927719433?e-158",
"capacity_lower_nats": "79739369530965098388033580971497738342922663238545918267834144617801413968681097743548461953466910643143494392861418116151103716317059370053304524343122266047/219673525124179510879420825570604582952621929604585773100622830693937381868724993667921908501166545759273481964527387457187903615990932602002368905315681828864",
"capacity_upper_nats": "4983710595685318649252098810718608646432666452409119891739634038612588373042568608971778872091681915196468399553838632259443982269816210628331532771445141629/13729595320261219429963801598162786434538870600286610818788926918371086366795312104245119281322909109954592622782961716074243975999433287625148056582230114304",
"capacity_gap_nats": "17/219673525124179510879420825570604582952621929604585773100622830693937381868724993667921908501166545759273481964527387457187903615990932602002368905315681828864",
"endpoint_conversion": "MPFR exact_rational()",
"method": "MPFI mutual-information lower / information-radius upper bound"
},
{
"params": {
"channel": "qsc",
"shape": "3,1/3",
"unit": "nats"
},
"stored_interval_contains_matrix_certificate": true,
"certificate_width_below_1e_minus_8_ulp": true,
"iterations": 1,
"input_prior": [
"1/3",
"1/3",
"1/3"
],
"gap_upper": "1.456707174062540379549016663176354265112592096601641971537405924454351247084007481432846658281333555344045235010905488565119673456098691925876204068279704041305?e-157",
"capacity_lower_nats": "25377680763914889629380445964023346838543382951185284139898224013525987529067385228404391712269688796312488729523411999849604917380644932129533899083486432575/109836762562089755439710412785302291476310964802292886550311415346968690934362496833960954250583272879636740982263693728593951807995466301001184452657840914432",
"capacity_upper_nats": "25377680763914889629380445964023346838543382951185284139898224013525987529067385228404391712269688796312488729523411999849604917380644932129533899083486432591/109836762562089755439710412785302291476310964802292886550311415346968690934362496833960954250583272879636740982263693728593951807995466301001184452657840914432",
"capacity_gap_nats": "1/6864797660130609714981900799081393217269435300143305409394463459185543183397656052122559640661454554977296311391480858037121987999716643812574028291115057152",
"endpoint_conversion": "MPFR exact_rational()",
"method": "MPFI mutual-information lower / information-radius upper bound"
},
{
"params": {
"channel": "qsc",
"shape": "3,1/3",
"unit": "bits"
},
"exact_proof": "Row permutations and equal column sums give uniform optimal output; exact rational prime-log coefficients cancel except log(2)",
"exact_value": "1/3",
"iterations": 1,
"input_prior": [
"1/3",
"1/3",
"1/3"
],
"gap_upper": "1.456707174062540379549016663176354265112592096601641971537405924454351247084007481432846658281333555344045235010905488565119673456098691925876204068279704041305?e-157",
"capacity_lower_nats": "25377680763914889629380445964023346838543382951185284139898224013525987529067385228404391712269688796312488729523411999849604917380644932129533899083486432575/109836762562089755439710412785302291476310964802292886550311415346968690934362496833960954250583272879636740982263693728593951807995466301001184452657840914432",
"capacity_upper_nats": "25377680763914889629380445964023346838543382951185284139898224013525987529067385228404391712269688796312488729523411999849604917380644932129533899083486432591/109836762562089755439710412785302291476310964802292886550311415346968690934362496833960954250583272879636740982263693728593951807995466301001184452657840914432",
"capacity_gap_nats": "1/6864797660130609714981900799081393217269435300143305409394463459185543183397656052122559640661454554977296311391480858037121987999716643812574028291115057152",
"endpoint_conversion": "MPFR exact_rational()",
"method": "MPFI mutual-information lower / information-radius upper bound"
},
{
"params": {
"channel": "qsc",
"shape": "3,1/2",
"unit": "nats"
},
"stored_interval_contains_matrix_certificate": true,
"certificate_width_below_1e_minus_8_ulp": true,
"iterations": 1,
"input_prior": [
"1/3",
"1/3",
"1/3"
],
"gap_upper": "7.340438494299519881321216779287097664043921111781711497200209541195754331009256449407703863995782368725852942047140938472673354524872314782735559562815696145639?e-158",
"capacity_lower_nats": "103495258569858727871668925954035236371200235878304132356860071256539163557849055906919225603931935320870376006554245103951966410105637818339900577852698481055/1757388200993436087035366604564836663620975436836686184804982645551499054949799949343375268009332366074187855716219099657503228927927460816018951242525454630912",
"capacity_upper_nats": "3234226830308085245989653936063601136600007371197004136151877226766848861182782997091225800122872978777199250204820159498498950315801181823121893057896827537/54918381281044877719855206392651145738155482401146443275155707673484345467181248416980477125291636439818370491131846864296975903997733150500592226328920457216",
"capacity_gap_nats": "129/1757388200993436087035366604564836663620975436836686184804982645551499054949799949343375268009332366074187855716219099657503228927927460816018951242525454630912",
"endpoint_conversion": "MPFR exact_rational()",
"method": "MPFI mutual-information lower / information-radius upper bound"
},
{
"params": {
"channel": "qsc",
"shape": "3,1/2",
"unit": "bits"
},
"stored_interval_contains_matrix_certificate": true,
"certificate_width_below_1e_minus_8_ulp": true,
"iterations": 1,
"input_prior": [
"1/3",
"1/3",
"1/3"
],
"gap_upper": "7.340438494299519881321216779287097664043921111781711497200209541195754331009256449407703863995782368725852942047140938472673354524872314782735559562815696145639?e-158",
"capacity_lower_nats": "103495258569858727871668925954035236371200235878304132356860071256539163557849055906919225603931935320870376006554245103951966410105637818339900577852698481055/1757388200993436087035366604564836663620975436836686184804982645551499054949799949343375268009332366074187855716219099657503228927927460816018951242525454630912",
"capacity_upper_nats": "3234226830308085245989653936063601136600007371197004136151877226766848861182782997091225800122872978777199250204820159498498950315801181823121893057896827537/54918381281044877719855206392651145738155482401146443275155707673484345467181248416980477125291636439818370491131846864296975903997733150500592226328920457216",
"capacity_gap_nats": "129/1757388200993436087035366604564836663620975436836686184804982645551499054949799949343375268009332366074187855716219099657503228927927460816018951242525454630912",
"endpoint_conversion": "MPFR exact_rational()",
"method": "MPFI mutual-information lower / information-radius upper bound"
},
{
"params": {
"channel": "qsc",
"shape": "3,1",
"unit": "nats"
},
"stored_interval_contains_matrix_certificate": true,
"certificate_width_below_1e_minus_8_ulp": true,
"iterations": 1,
"input_prior": [
"1/3",
"1/3",
"1/3"
],
"gap_upper": "5.007430910839982554699744779668717786324535332068144277159832865311832411851275717425410387842084096495155495349987616942598877505339253495199451484711482641986?e-158",
"capacity_lower_nats": "89069949612977009872099953636324445062030178338343868964302180947645358031933287673578078337300558304046263189389516637542810553405139523681089269482046607881/219673525124179510879420825570604582952621929604585773100622830693937381868724993667921908501166545759273481964527387457187903615990932602002368905315681828864",
"capacity_upper_nats": "22267487403244252468024988409081111265507544584585967241075545236911339507983321918394519584325139576011565797347379159385702638351284880920272317370511651973/54918381281044877719855206392651145738155482401146443275155707673484345467181248416980477125291636439818370491131846864296975903997733150500592226328920457216",
"capacity_gap_nats": "11/219673525124179510879420825570604582952621929604585773100622830693937381868724993667921908501166545759273481964527387457187903615990932602002368905315681828864",
"endpoint_conversion": "MPFR exact_rational()",
"method": "MPFI mutual-information lower / information-radius upper bound"
},
{
"params": {
"channel": "qsc",
"shape": "3,1",
"unit": "bits"
},
"stored_interval_contains_matrix_certificate": true,
"certificate_width_below_1e_minus_8_ulp": true,
"iterations": 1,
"input_prior": [
"1/3",
"1/3",
"1/3"
],
"gap_upper": "5.007430910839982554699744779668717786324535332068144277159832865311832411851275717425410387842084096495155495349987616942598877505339253495199451484711482641986?e-158",
"capacity_lower_nats": "89069949612977009872099953636324445062030178338343868964302180947645358031933287673578078337300558304046263189389516637542810553405139523681089269482046607881/219673525124179510879420825570604582952621929604585773100622830693937381868724993667921908501166545759273481964527387457187903615990932602002368905315681828864",
"capacity_upper_nats": "22267487403244252468024988409081111265507544584585967241075545236911339507983321918394519584325139576011565797347379159385702638351284880920272317370511651973/54918381281044877719855206392651145738155482401146443275155707673484345467181248416980477125291636439818370491131846864296975903997733150500592226328920457216",
"capacity_gap_nats": "11/219673525124179510879420825570604582952621929604585773100622830693937381868724993667921908501166545759273481964527387457187903615990932602002368905315681828864",
"endpoint_conversion": "MPFR exact_rational()",
"method": "MPFI mutual-information lower / information-radius upper bound"
},
{
"params": {
"channel": "qsc",
"shape": "4,1/4",
"unit": "nats"
},
"stored_interval_contains_matrix_certificate": true,
"certificate_width_below_1e_minus_8_ulp": true,
"iterations": 1,
"input_prior": [
"1/4",
"1/4",
"1/4",
"1/4"
],
"gap_upper": "1.456707174062540379549016663176354265112592096601641971537405924454351247084007481432846658281333555344045235010905488565119673456098691925876204068279704041305?e-157",
"capacity_lower_nats": "15083502137279146728023914338779032880830654752840973362730720314300080200396099940250276788182418192620074722908124289790027503605563069778643291498935325209/27459190640522438859927603196325572869077741200573221637577853836742172733590624208490238562645818219909185245565923432148487951998866575250296113164460228608",
"capacity_upper_nats": "15083502137279146728023914338779032880830654752840973362730720314300080200396099940250276788182418192620074722908124289790027503605563069778643291498935325213/27459190640522438859927603196325572869077741200573221637577853836742172733590624208490238562645818219909185245565923432148487951998866575250296113164460228608",
"capacity_gap_nats": "1/6864797660130609714981900799081393217269435300143305409394463459185543183397656052122559640661454554977296311391480858037121987999716643812574028291115057152",
"endpoint_conversion": "MPFR exact_rational()",
"method": "MPFI mutual-information lower / information-radius upper bound"
},
{
"params": {
"channel": "qsc",
"shape": "4,1/4",
"unit": "bits"
},
"stored_interval_contains_matrix_certificate": true,
"certificate_width_below_1e_minus_8_ulp": true,
"iterations": 1,
"input_prior": [
"1/4",
"1/4",
"1/4",
"1/4"
],
"gap_upper": "1.456707174062540379549016663176354265112592096601641971537405924454351247084007481432846658281333555344045235010905488565119673456098691925876204068279704041305?e-157",
"capacity_lower_nats": "15083502137279146728023914338779032880830654752840973362730720314300080200396099940250276788182418192620074722908124289790027503605563069778643291498935325209/27459190640522438859927603196325572869077741200573221637577853836742172733590624208490238562645818219909185245565923432148487951998866575250296113164460228608",
"capacity_upper_nats": "15083502137279146728023914338779032880830654752840973362730720314300080200396099940250276788182418192620074722908124289790027503605563069778643291498935325213/27459190640522438859927603196325572869077741200573221637577853836742172733590624208490238562645818219909185245565923432148487951998866575250296113164460228608",
"capacity_gap_nats": "1/6864797660130609714981900799081393217269435300143305409394463459185543183397656052122559640661454554977296311391480858037121987999716643812574028291115057152",
"endpoint_conversion": "MPFR exact_rational()",
"method": "MPFI mutual-information lower / information-radius upper bound"
},
{
"params": {
"channel": "qsc",
"shape": "4,1/3",
"unit": "nats"
},
"stored_interval_contains_matrix_certificate": true,
"certificate_width_below_1e_minus_8_ulp": true,
"iterations": 1,
"input_prior": [
"1/4",
"1/4",
"1/4",
"1/4"
],
"gap_upper": "1.911928165957084248158084370418964972960277126789655087642845275846336011797759819380611238994250291389059370951813453741719571411129533152712517839617111554213?e-157",
"capacity_lower_nats": "42130756647008218602788481431877090646153412912511890583391442089007044761647349131232181290878382982552446125167303574369879300585820046064076083345914658395/109836762562089755439710412785302291476310964802292886550311415346968690934362496833960954250583272879636740982263693728593951807995466301001184452657840914432",
"capacity_upper_nats": "2633172290438013662674280089492318165384588307031993161461965130562940297602959320702011330679898936409527882822956473398117456286613752879004755209119666151/6864797660130609714981900799081393217269435300143305409394463459185543183397656052122559640661454554977296311391480858037121987999716643812574028291115057152",
"capacity_gap_nats": "21/109836762562089755439710412785302291476310964802292886550311415346968690934362496833960954250583272879636740982263693728593951807995466301001184452657840914432",
"endpoint_conversion": "MPFR exact_rational()",
"method": "MPFI mutual-information lower / information-radius upper bound"
},
{
"params": {
"channel": "qsc",
"shape": "4,1/3",
"unit": "bits"
},
"stored_interval_contains_matrix_certificate": true,
"certificate_width_below_1e_minus_8_ulp": true,
"iterations": 1,
"input_prior": [
"1/4",
"1/4",
"1/4",
"1/4"
],
"gap_upper": "1.911928165957084248158084370418964972960277126789655087642845275846336011797759819380611238994250291389059370951813453741719571411129533152712517839617111554213?e-157",
"capacity_lower_nats": "42130756647008218602788481431877090646153412912511890583391442089007044761647349131232181290878382982552446125167303574369879300585820046064076083345914658395/109836762562089755439710412785302291476310964802292886550311415346968690934362496833960954250583272879636740982263693728593951807995466301001184452657840914432",
"capacity_upper_nats": "2633172290438013662674280089492318165384588307031993161461965130562940297602959320702011330679898936409527882822956473398117456286613752879004755209119666151/6864797660130609714981900799081393217269435300143305409394463459185543183397656052122559640661454554977296311391480858037121987999716643812574028291115057152",
"capacity_gap_nats": "21/109836762562089755439710412785302291476310964802292886550311415346968690934362496833960954250583272879636740982263693728593951807995466301001184452657840914432",
"endpoint_conversion": "MPFR exact_rational()",
"method": "MPFI mutual-information lower / information-radius upper bound"
},
{
"params": {
"channel": "qsc",
"shape": "4,1/2",
"unit": "nats"
},
"stored_interval_contains_matrix_certificate": true,
"certificate_width_below_1e_minus_8_ulp": true,
"iterations": 1,
"input_prior": [
"1/4",
"1/4",
"1/4",
"1/4"
],
"gap_upper": "1.593273471630903540131736975349137477466897605658045906369037729871946676498133182817176032495208576157549475793177878118099642842607944293927098199680926295178?e-157",
"capacity_lower_nats": "31598067485256163952091361073907817984615059684383917937543581566755283571235511848424135968158787236914334593875477680777409475439365034548057062509435993785/219673525124179510879420825570604582952621929604585773100622830693937381868724993667921908501166545759273481964527387457187903615990932602002368905315681828864",
"capacity_upper_nats": "7899516871314040988022840268476954496153764921095979484385895391688820892808877962106033992039696809228583648468869420194352368859841258637014265627358998455/54918381281044877719855206392651145738155482401146443275155707673484345467181248416980477125291636439818370491131846864296975903997733150500592226328920457216",
"capacity_gap_nats": "35/219673525124179510879420825570604582952621929604585773100622830693937381868724993667921908501166545759273481964527387457187903615990932602002368905315681828864",
"endpoint_conversion": "MPFR exact_rational()",
"method": "MPFI mutual-information lower / information-radius upper bound"
},
{
"params": {
"channel": "qsc",
"shape": "4,1/2",
"unit": "bits"
},
"stored_interval_contains_matrix_certificate": true,
"certificate_width_below_1e_minus_8_ulp": true,
"iterations": 1,
"input_prior": [
"1/4",
"1/4",
"1/4",
"1/4"
],
"gap_upper": "1.593273471630903540131736975349137477466897605658045906369037729871946676498133182817176032495208576157549475793177878118099642842607944293927098199680926295178?e-157",
"capacity_lower_nats": "31598067485256163952091361073907817984615059684383917937543581566755283571235511848424135968158787236914334593875477680777409475439365034548057062509435993785/219673525124179510879420825570604582952621929604585773100622830693937381868724993667921908501166545759273481964527387457187903615990932602002368905315681828864",
"capacity_upper_nats": "7899516871314040988022840268476954496153764921095979484385895391688820892808877962106033992039696809228583648468869420194352368859841258637014265627358998455/54918381281044877719855206392651145738155482401146443275155707673484345467181248416980477125291636439818370491131846864296975903997733150500592226328920457216",
"capacity_gap_nats": "35/219673525124179510879420825570604582952621929604585773100622830693937381868724993667921908501166545759273481964527387457187903615990932602002368905315681828864",
"endpoint_conversion": "MPFR exact_rational()",
"method": "MPFI mutual-information lower / information-radius upper bound"
},
{
"params": {
"channel": "qsc",
"shape": "4,1",
"unit": "nats"
},
"stored_interval_contains_matrix_certificate": true,
"certificate_width_below_1e_minus_8_ulp": true,
"iterations": 1,
"input_prior": [
"1/4",
"1/4",
"1/4",
"1/4"
],
"gap_upper": "1.456707174062540379549016663176354265112592096601641971537405924454351247084007481432846658281333555344045235010905488565119673456098691925876204068279704041305?e-157",
"capacity_lower_nats": "7899516871314040988022840268476954496153764921095979484385895391688820892808877962106033992039696809228583648468869420194352368859841258637014265627358998449/27459190640522438859927603196325572869077741200573221637577853836742172733590624208490238562645818219909185245565923432148487951998866575250296113164460228608",
"capacity_upper_nats": "7899516871314040988022840268476954496153764921095979484385895391688820892808877962106033992039696809228583648468869420194352368859841258637014265627358998453/27459190640522438859927603196325572869077741200573221637577853836742172733590624208490238562645818219909185245565923432148487951998866575250296113164460228608",
"capacity_gap_nats": "1/6864797660130609714981900799081393217269435300143305409394463459185543183397656052122559640661454554977296311391480858037121987999716643812574028291115057152",
"endpoint_conversion": "MPFR exact_rational()",
"method": "MPFI mutual-information lower / information-radius upper bound"
},
{
"params": {
"channel": "qsc",
"shape": "4,1",
"unit": "bits"
},
"stored_interval_contains_matrix_certificate": true,
"certificate_width_below_1e_minus_8_ulp": true,
"iterations": 1,
"input_prior": [
"1/4",
"1/4",
"1/4",
"1/4"
],
"gap_upper": "1.456707174062540379549016663176354265112592096601641971537405924454351247084007481432846658281333555344045235010905488565119673456098691925876204068279704041305?e-157",
"capacity_lower_nats": "7899516871314040988022840268476954496153764921095979484385895391688820892808877962106033992039696809228583648468869420194352368859841258637014265627358998449/27459190640522438859927603196325572869077741200573221637577853836742172733590624208490238562645818219909185245565923432148487951998866575250296113164460228608",
"capacity_upper_nats": "7899516871314040988022840268476954496153764921095979484385895391688820892808877962106033992039696809228583648468869420194352368859841258637014265627358998453/27459190640522438859927603196325572869077741200573221637577853836742172733590624208490238562645818219909185245565923432148487951998866575250296113164460228608",
"capacity_gap_nats": "1/6864797660130609714981900799081393217269435300143305409394463459185543183397656052122559640661454554977296311391480858037121987999716643812574028291115057152",
"endpoint_conversion": "MPFR exact_rational()",
"method": "MPFI mutual-information lower / information-radius upper bound"
},
{
"params": {
"channel": "qsc",
"shape": "8,1/4",
"unit": "nats"
},
"stored_interval_contains_matrix_certificate": true,
"certificate_width_below_1e_minus_8_ulp": true,
"iterations": 1,
"input_prior": [
"1/8",
"1/8",
"1/8",
"1/8",
"1/8",
"1/8",
"1/8",
"1/8"
],
"gap_upper": "3.641767935156350948872541657940885662781480241504104928843514811135878117710018703582116645703333888360113087527263721412799183640246729814690510170699260103263?e-157",
"capacity_lower_nats": "7075058585198891639167152960816132230116015844546220711216078720361221536799149211358256874688727069296235323165247138956726332073002864690215235913309158593/6864797660130609714981900799081393217269435300143305409394463459185543183397656052122559640661454554977296311391480858037121987999716643812574028291115057152",
"capacity_upper_nats": "14150117170397783278334305921632264460232031689092441422432157440722443073598298422716513749377454138592470646330494277913452664146005729380430471826618317191/13729595320261219429963801598162786434538870600286610818788926918371086366795312104245119281322909109954592622782961716074243975999433287625148056582230114304",
"capacity_gap_nats": "5/13729595320261219429963801598162786434538870600286610818788926918371086366795312104245119281322909109954592622782961716074243975999433287625148056582230114304",
"endpoint_conversion": "MPFR exact_rational()",
"method": "MPFI mutual-information lower / information-radius upper bound"
},
{
"params": {
"channel": "qsc",
"shape": "8,1/4",
"unit": "bits"
},
"stored_interval_contains_matrix_certificate": true,
"certificate_width_below_1e_minus_8_ulp": true,
"iterations": 1,
"input_prior": [
"1/8",
"1/8",
"1/8",
"1/8",
"1/8",
"1/8",
"1/8",
"1/8"
],
"gap_upper": "3.641767935156350948872541657940885662781480241504104928843514811135878117710018703582116645703333888360113087527263721412799183640246729814690510170699260103263?e-157",
"capacity_lower_nats": "7075058585198891639167152960816132230116015844546220711216078720361221536799149211358256874688727069296235323165247138956726332073002864690215235913309158593/6864797660130609714981900799081393217269435300143305409394463459185543183397656052122559640661454554977296311391480858037121987999716643812574028291115057152",
"capacity_upper_nats": "14150117170397783278334305921632264460232031689092441422432157440722443073598298422716513749377454138592470646330494277913452664146005729380430471826618317191/13729595320261219429963801598162786434538870600286610818788926918371086366795312104245119281322909109954592622782961716074243975999433287625148056582230114304",
"capacity_gap_nats": "5/13729595320261219429963801598162786434538870600286610818788926918371086366795312104245119281322909109954592622782961716074243975999433287625148056582230114304",
"endpoint_conversion": "MPFR exact_rational()",
"method": "MPFI mutual-information lower / information-radius upper bound"
},
{
"params": {
"channel": "qsc",
"shape": "8,1/3",
"unit": "nats"
},
"stored_interval_contains_matrix_certificate": true,
"certificate_width_below_1e_minus_8_ulp": true,
"iterations": 1,
"input_prior": [
"1/8",
"1/8",
"1/8",
"1/8",
"1/8",
"1/8",
"1/8",
"1/8"
],
"gap_upper": "3.186546943261807080263473950698274954933795211316091812738075459743893352996266365634352064990417152315098951586355756236199285685215888587854196399361852590355?e-157",
"capacity_lower_nats": "87242314301847568059513088825109722685654875963160790348205722433586688948849280730469126701661974637252579100992500993383622781532899855173036329085368541353/109836762562089755439710412785302291476310964802292886550311415346968690934362496833960954250583272879636740982263693728593951807995466301001184452657840914432",
"capacity_upper_nats": "21810578575461892014878272206277430671413718990790197587051430608396672237212320182617281675415493659313144775248125248345905695383224963793259082271342135347/27459190640522438859927603196325572869077741200573221637577853836742172733590624208490238562645818219909185245565923432148487951998866575250296113164460228608",
"capacity_gap_nats": "35/109836762562089755439710412785302291476310964802292886550311415346968690934362496833960954250583272879636740982263693728593951807995466301001184452657840914432",
"endpoint_conversion": "MPFR exact_rational()",
"method": "MPFI mutual-information lower / information-radius upper bound"
},
{
"params": {
"channel": "qsc",
"shape": "8,1/3",
"unit": "bits"
},
"stored_interval_contains_matrix_certificate": true,
"certificate_width_below_1e_minus_8_ulp": true,
"iterations": 1,
"input_prior": [
"1/8",
"1/8",
"1/8",
"1/8",
"1/8",
"1/8",
"1/8",
"1/8"
],
"gap_upper": "3.186546943261807080263473950698274954933795211316091812738075459743893352996266365634352064990417152315098951586355756236199285685215888587854196399361852590355?e-157",
"capacity_lower_nats": "87242314301847568059513088825109722685654875963160790348205722433586688948849280730469126701661974637252579100992500993383622781532899855173036329085368541353/109836762562089755439710412785302291476310964802292886550311415346968690934362496833960954250583272879636740982263693728593951807995466301001184452657840914432",
"capacity_upper_nats": "21810578575461892014878272206277430671413718990790197587051430608396672237212320182617281675415493659313144775248125248345905695383224963793259082271342135347/27459190640522438859927603196325572869077741200573221637577853836742172733590624208490238562645818219909185245565923432148487951998866575250296113164460228608",
"capacity_gap_nats": "35/109836762562089755439710412785302291476310964802292886550311415346968690934362496833960954250583272879636740982263693728593951807995466301001184452657840914432",
"endpoint_conversion": "MPFR exact_rational()",
"method": "MPFI mutual-information lower / information-radius upper bound"
},
{
"params": {
"channel": "qsc",
"shape": "8,1/2",
"unit": "nats"
},
"stored_interval_contains_matrix_certificate": true,
"certificate_width_below_1e_minus_8_ulp": true,
"iterations": 1,
"input_prior": [
"1/8",
"1/8",
"1/8",
"1/8",
"1/8",
"1/8",
"1/8",
"1/8"
],
"gap_upper": "3.641767935156350948872541657940885662781480241504104928843514811135878117710018703582116645703333888360113087527263721412799183640246729814690510170699260103263?e-157",
"capacity_lower_nats": "22699924539507385858530961340383918396872324995693691203072937639979063386409787740230449265925123953019316833195208484567456291534667416371584025619334586229/54918381281044877719855206392651145738155482401146443275155707673484345467181248416980477125291636439818370491131846864296975903997733150500592226328920457216",
"capacity_upper_nats": "22699924539507385858530961340383918396872324995693691203072937639979063386409787740230449265925123953019316833195208484567456291534667416371584025619334586249/54918381281044877719855206392651145738155482401146443275155707673484345467181248416980477125291636439818370491131846864296975903997733150500592226328920457216",
"capacity_gap_nats": "5/13729595320261219429963801598162786434538870600286610818788926918371086366795312104245119281322909109954592622782961716074243975999433287625148056582230114304",
"endpoint_conversion": "MPFR exact_rational()",
"method": "MPFI mutual-information lower / information-radius upper bound"
},
{
"params": {
"channel": "qsc",
"shape": "8,1/2",
"unit": "bits"
},
"stored_interval_contains_matrix_certificate": true,
"certificate_width_below_1e_minus_8_ulp": true,
"iterations": 1,
"input_prior": [
"1/8",
"1/8",
"1/8",
"1/8",
"1/8",
"1/8",
"1/8",
"1/8"
],
"gap_upper": "3.641767935156350948872541657940885662781480241504104928843514811135878117710018703582116645703333888360113087527263721412799183640246729814690510170699260103263?e-157",
"capacity_lower_nats": "22699924539507385858530961340383918396872324995693691203072937639979063386409787740230449265925123953019316833195208484567456291534667416371584025619334586229/54918381281044877719855206392651145738155482401146443275155707673484345467181248416980477125291636439818370491131846864296975903997733150500592226328920457216",
"capacity_upper_nats": "22699924539507385858530961340383918396872324995693691203072937639979063386409787740230449265925123953019316833195208484567456291534667416371584025619334586249/54918381281044877719855206392651145738155482401146443275155707673484345467181248416980477125291636439818370491131846864296975903997733150500592226328920457216",
"capacity_gap_nats": "5/13729595320261219429963801598162786434538870600286610818788926918371086366795312104245119281322909109954592622782961716074243975999433287625148056582230114304",
"endpoint_conversion": "MPFR exact_rational()",
"method": "MPFI mutual-information lower / information-radius upper bound"
},
{
"params": {
"channel": "qsc",
"shape": "8,1",
"unit": "nats"
},
"stored_interval_contains_matrix_certificate": true,
"certificate_width_below_1e_minus_8_ulp": true,
"iterations": 1,
"input_prior": [
"1/8",
"1/8",
"1/8",
"1/8",
"1/8",
"1/8",
"1/8",
"1/8"
],
"gap_upper": "3.459679538398533401428914575043841379642406229428899682401339070579084211824517768403010813418167193942107433150900535342159224458234393323955984662164297098100?e-157",
"capacity_lower_nats": "7333327933142437272991253734732816535929575564609456196298539259669145479218497637854310963445714711569900572105298969360505206998367434548867202613439523589/54918381281044877719855206392651145738155482401146443275155707673484345467181248416980477125291636439818370491131846864296975903997733150500592226328920457216",
"capacity_upper_nats": "916665991642804659123906716841602066991196945576182024537317407458643184902312204731788870430714338946237571513162371170063150874795929318608400326679940451/6864797660130609714981900799081393217269435300143305409394463459185543183397656052122559640661454554977296311391480858037121987999716643812574028291115057152",
"capacity_gap_nats": "19/54918381281044877719855206392651145738155482401146443275155707673484345467181248416980477125291636439818370491131846864296975903997733150500592226328920457216",
"endpoint_conversion": "MPFR exact_rational()",
"method": "MPFI mutual-information lower / information-radius upper bound"
},
{
"params": {
"channel": "qsc",
"shape": "8,1",
"unit": "bits"
},
"stored_interval_contains_matrix_certificate": true,
"certificate_width_below_1e_minus_8_ulp": true,
"iterations": 1,
"input_prior": [
"1/8",
"1/8",
"1/8",
"1/8",
"1/8",
"1/8",
"1/8",
"1/8"
],
"gap_upper": "3.459679538398533401428914575043841379642406229428899682401339070579084211824517768403010813418167193942107433150900535342159224458234393323955984662164297098100?e-157",
"capacity_lower_nats": "7333327933142437272991253734732816535929575564609456196298539259669145479218497637854310963445714711569900572105298969360505206998367434548867202613439523589/54918381281044877719855206392651145738155482401146443275155707673484345467181248416980477125291636439818370491131846864296975903997733150500592226328920457216",
"capacity_upper_nats": "916665991642804659123906716841602066991196945576182024537317407458643184902312204731788870430714338946237571513162371170063150874795929318608400326679940451/6864797660130609714981900799081393217269435300143305409394463459185543183397656052122559640661454554977296311391480858037121987999716643812574028291115057152",
"capacity_gap_nats": "19/54918381281044877719855206392651145738155482401146443275155707673484345467181248416980477125291636439818370491131846864296975903997733150500592226328920457216",
"endpoint_conversion": "MPFR exact_rational()",
"method": "MPFI mutual-information lower / information-radius upper bound"
},
{
"params": {
"channel": "qsc",
"shape": "16,1/4",
"unit": "nats"
},
"stored_interval_contains_matrix_certificate": true,
"certificate_width_below_1e_minus_8_ulp": true,
"iterations": 1,
"input_prior": [
"1/16",
"1/16",
"1/16",
"1/16",
"1/16",
"1/16",
"1/16",
"1/16",
"1/16",
"1/16",
"1/16",
"1/16",
"1/16",
"1/16",
"1/16",
"1/16"
],
"gap_upper": "9.832773424922147561955862476440391289509996652061083307877489990066870917817050499671714943399001498572305336323612047814557795828666170499664377460888002278809?e-157",
"capacity_lower_nats": "5262694708468546973663260489224366177132356801943114463452422859675493631919330462763770517851977253486060306920348354496191520809148189675954591607496028055/3432398830065304857490950399540696608634717650071652704697231729592771591698828026061279820330727277488648155695740429018560993999858321906287014145557528576",
"capacity_upper_nats": "42101557667748375789306083913794929417058854415544915707619382877403949055354643702110164142815818027888482455362786835969532166473185517407636732859968224467/27459190640522438859927603196325572869077741200573221637577853836742172733590624208490238562645818219909185245565923432148487951998866575250296113164460228608",
"capacity_gap_nats": "27/27459190640522438859927603196325572869077741200573221637577853836742172733590624208490238562645818219909185245565923432148487951998866575250296113164460228608",
"endpoint_conversion": "MPFR exact_rational()",
"method": "MPFI mutual-information lower / information-radius upper bound"
},
{
"params": {
"channel": "qsc",
"shape": "16,1/4",
"unit": "bits"
},
"stored_interval_contains_matrix_certificate": true,
"certificate_width_below_1e_minus_8_ulp": true,
"iterations": 1,
"input_prior": [
"1/16",
"1/16",
"1/16",
"1/16",
"1/16",
"1/16",
"1/16",
"1/16",
"1/16",
"1/16",
"1/16",
"1/16",
"1/16",
"1/16",
"1/16",
"1/16"
],
"gap_upper": "9.832773424922147561955862476440391289509996652061083307877489990066870917817050499671714943399001498572305336323612047814557795828666170499664377460888002278809?e-157",
"capacity_lower_nats": "5262694708468546973663260489224366177132356801943114463452422859675493631919330462763770517851977253486060306920348354496191520809148189675954591607496028055/3432398830065304857490950399540696608634717650071652704697231729592771591698828026061279820330727277488648155695740429018560993999858321906287014145557528576",
"capacity_upper_nats": "42101557667748375789306083913794929417058854415544915707619382877403949055354643702110164142815818027888482455362786835969532166473185517407636732859968224467/27459190640522438859927603196325572869077741200573221637577853836742172733590624208490238562645818219909185245565923432148487951998866575250296113164460228608",
"capacity_gap_nats": "27/27459190640522438859927603196325572869077741200573221637577853836742172733590624208490238562645818219909185245565923432148487951998866575250296113164460228608",
"endpoint_conversion": "MPFR exact_rational()",
"method": "MPFI mutual-information lower / information-radius upper bound"
},
{
"params": {
"channel": "qsc",
"shape": "16,1/3",
"unit": "nats"
},
"stored_interval_contains_matrix_certificate": true,
"certificate_width_below_1e_minus_8_ulp": true,
"iterations": 1,
"input_prior": [
"1/16",
"1/16",
"1/16",
"1/16",
"1/16",
"1/16",
"1/16",
"1/16",
"1/16",
"1/16",
"1/16",
"1/16",
"1/16",
"1/16",
"1/16",
"1/16"
],
"gap_upper": "8.193977854101789634963218730366992741258330543384236089897908325055725764847542083059762452832501248810254446936343373178798163190555142083053647884073335232341?e-157",
"capacity_lower_nats": "4233490352552531073047890434497349327988032662850906712802120658286740737394525377219045742428660557646634684558708744405042531284953642786238749138680747577/3432398830065304857490950399540696608634717650071652704697231729592771591698828026061279820330727277488648155695740429018560993999858321906287014145557528576",
"capacity_upper_nats": "67735845640840497168766246951957589247808522605614507404833930532587851798312406035504731878858568922346154952939339910480680500559258284579819986218891961277/54918381281044877719855206392651145738155482401146443275155707673484345467181248416980477125291636439818370491131846864296975903997733150500592226328920457216",
"capacity_gap_nats": "45/54918381281044877719855206392651145738155482401146443275155707673484345467181248416980477125291636439818370491131846864296975903997733150500592226328920457216",
"endpoint_conversion": "MPFR exact_rational()",
"method": "MPFI mutual-information lower / information-radius upper bound"
},
{
"params": {
"channel": "qsc",
"shape": "16,1/3",
"unit": "bits"
},
"stored_interval_contains_matrix_certificate": true,
"certificate_width_below_1e_minus_8_ulp": true,
"iterations": 1,
"input_prior": [
"1/16",
"1/16",
"1/16",
"1/16",
"1/16",
"1/16",
"1/16",
"1/16",
"1/16",
"1/16",
"1/16",
"1/16",
"1/16",
"1/16",
"1/16",
"1/16"
],
"gap_upper": "8.193977854101789634963218730366992741258330543384236089897908325055725764847542083059762452832501248810254446936343373178798163190555142083053647884073335232341?e-157",
"capacity_lower_nats": "4233490352552531073047890434497349327988032662850906712802120658286740737394525377219045742428660557646634684558708744405042531284953642786238749138680747577/3432398830065304857490950399540696608634717650071652704697231729592771591698828026061279820330727277488648155695740429018560993999858321906287014145557528576",
"capacity_upper_nats": "67735845640840497168766246951957589247808522605614507404833930532587851798312406035504731878858568922346154952939339910480680500559258284579819986218891961277/54918381281044877719855206392651145738155482401146443275155707673484345467181248416980477125291636439818370491131846864296975903997733150500592226328920457216",
"capacity_gap_nats": "45/54918381281044877719855206392651145738155482401146443275155707673484345467181248416980477125291636439818370491131846864296975903997733150500592226328920457216",
"endpoint_conversion": "MPFR exact_rational()",
"method": "MPFI mutual-information lower / information-radius upper bound"
},
{
"params": {
"channel": "qsc",
"shape": "16,1/2",
"unit": "nats"
},
"stored_interval_contains_matrix_certificate": true,
"certificate_width_below_1e_minus_8_ulp": true,
"iterations": 1,
"input_prior": [
"1/16",
"1/16",
"1/16",
"1/16",
"1/16",
"1/16",
"1/16",
"1/16",
"1/16",
"1/16",
"1/16",
"1/16",
"1/16",
"1/16",
"1/16",
"1/16"
],
"gap_upper": "8.740243044375242277294099979058125590675552579609851829224435546726107482504044888597079949688001332064271410065432931390718040736592151555257224409678224247830?e-157",
"capacity_lower_nats": "1244959271920196510781568146139703128919887959948621763882683550110197928920028041385387758555132180042648387178665112667611133380887382898887072931907228051/1716199415032652428745475199770348304317358825035826352348615864796385795849414013030639910165363638744324077847870214509280496999929160953143507072778764288",
"capacity_upper_nats": "2489918543840393021563136292279406257839775919897243527765367100220395857840056082770775517110264360085296774357330225335222266761774765797774145863814456105/3432398830065304857490950399540696608634717650071652704697231729592771591698828026061279820330727277488648155695740429018560993999858321906287014145557528576",
"capacity_gap_nats": "3/3432398830065304857490950399540696608634717650071652704697231729592771591698828026061279820330727277488648155695740429018560993999858321906287014145557528576",
"endpoint_conversion": "MPFR exact_rational()",
"method": "MPFI mutual-information lower / information-radius upper bound"
},
{
"params": {
"channel": "qsc",
"shape": "16,1/2",
"unit": "bits"
},
"stored_interval_contains_matrix_certificate": true,
"certificate_width_below_1e_minus_8_ulp": true,
"iterations": 1,
"input_prior": [
"1/16",
"1/16",
"1/16",
"1/16",
"1/16",
"1/16",
"1/16",
"1/16",
"1/16",
"1/16",
"1/16",
"1/16",
"1/16",
"1/16",
"1/16",
"1/16"
],
"gap_upper": "8.740243044375242277294099979058125590675552579609851829224435546726107482504044888597079949688001332064271410065432931390718040736592151555257224409678224247830?e-157",
"capacity_lower_nats": "1244959271920196510781568146139703128919887959948621763882683550110197928920028041385387758555132180042648387178665112667611133380887382898887072931907228051/1716199415032652428745475199770348304317358825035826352348615864796385795849414013030639910165363638744324077847870214509280496999929160953143507072778764288",
"capacity_upper_nats": "2489918543840393021563136292279406257839775919897243527765367100220395857840056082770775517110264360085296774357330225335222266761774765797774145863814456105/3432398830065304857490950399540696608634717650071652704697231729592771591698828026061279820330727277488648155695740429018560993999858321906287014145557528576",
"capacity_gap_nats": "3/3432398830065304857490950399540696608634717650071652704697231729592771591698828026061279820330727277488648155695740429018560993999858321906287014145557528576",
"endpoint_conversion": "MPFR exact_rational()",
"method": "MPFI mutual-information lower / information-radius upper bound"
},
{
"params": {
"channel": "qsc",
"shape": "16,1",
"unit": "nats"
},
"stored_interval_contains_matrix_certificate": true,
"certificate_width_below_1e_minus_8_ulp": true,
"iterations": 1,
"input_prior": [
"1/16",
"1/16",
"1/16",
"1/16",
"1/16",
"1/16",
"1/16",
"1/16",
"1/16",
"1/16",
"1/16",
"1/16",
"1/16",
"1/16",
"1/16",
"1/16"
],
"gap_upper": "7.647712663828336992632337481675859891841108507158620350571381103385344047191039277522444955977001165556237483807253814966878285644518132610850071358468446216851?e-157",
"capacity_lower_nats": "1772175555573953900939511730435479867621340291577970234398537583237352431839819481725820705359696566896015295432165605589148892117428854570085485195801648771/27459190640522438859927603196325572869077741200573221637577853836742172733590624208490238562645818219909185245565923432148487951998866575250296113164460228608",
"capacity_upper_nats": "221521944446744237617438966304434983452667536447246279299817197904669053979977435215727588169962070862001911929020700698643611514678606821260685649475206099/3432398830065304857490950399540696608634717650071652704697231729592771591698828026061279820330727277488648155695740429018560993999858321906287014145557528576",
"capacity_gap_nats": "21/27459190640522438859927603196325572869077741200573221637577853836742172733590624208490238562645818219909185245565923432148487951998866575250296113164460228608",
"endpoint_conversion": "MPFR exact_rational()",
"method": "MPFI mutual-information lower / information-radius upper bound"
},
{
"params": {
"channel": "qsc",
"shape": "16,1",
"unit": "bits"
},
"stored_interval_contains_matrix_certificate": true,
"certificate_width_below_1e_minus_8_ulp": true,
"iterations": 1,
"input_prior": [
"1/16",
"1/16",
"1/16",
"1/16",
"1/16",
"1/16",
"1/16",
"1/16",
"1/16",
"1/16",
"1/16",
"1/16",
"1/16",
"1/16",
"1/16",
"1/16"
],
"gap_upper": "7.647712663828336992632337481675859891841108507158620350571381103385344047191039277522444955977001165556237483807253814966878285644518132610850071358468446216851?e-157",
"capacity_lower_nats": "1772175555573953900939511730435479867621340291577970234398537583237352431839819481725820705359696566896015295432165605589148892117428854570085485195801648771/27459190640522438859927603196325572869077741200573221637577853836742172733590624208490238562645818219909185245565923432148487951998866575250296113164460228608",
"capacity_upper_nats": "221521944446744237617438966304434983452667536447246279299817197904669053979977435215727588169962070862001911929020700698643611514678606821260685649475206099/3432398830065304857490950399540696608634717650071652704697231729592771591698828026061279820330727277488648155695740429018560993999858321906287014145557528576",
"capacity_gap_nats": "21/27459190640522438859927603196325572869077741200573221637577853836742172733590624208490238562645818219909185245565923432148487951998866575250296113164460228608",
"endpoint_conversion": "MPFR exact_rational()",
"method": "MPFI mutual-information lower / information-radius upper bound"
},
{
"params": {
"channel": "bac",
"shape": "1/4,1/3",
"unit": "nats"
},
"stored_interval_contains_matrix_certificate": true,
"certificate_width_below_1e_minus_8_ulp": true,
"iterations": 366,
"input_prior": [
"76135851104859707544227166698805022649739116880922185913649993491864894514684581584902426610598816263336181719/150306725297525326584926758194517569752043683130132471725266622178061377607334940381676735896625196994043838464",
"74170874192665619040699591495712547102304566249210285811616628686196483092650358796774309286026380730707656745/150306725297525326584926758194517569752043683130132471725266622178061377607334940381676735896625196994043838464"
],
"gap_upper": "4.909691325939737614658972998377396804057915843199482366825345822173326604899675214840007427444684219821550648742376622028061154341241407990748954761973468953846?e-114",
"capacity_lower_nats": "19828000510585991251631686227552711400525849031816488677801848529013365457436210464700887580950863511405203047962951160666675582162040668051469362690012461043/219673525124179510879420825570604582952621929604585773100622830693937381868724993667921908501166545759273481964527387457187903615990932602002368905315681828864",
"capacity_upper_nats": "9914000255292995625815843113776355700262924515908244338900924264506682728718105232350443790475431755702601523982014844933758185664426014014287212567578104571/109836762562089755439710412785302291476310964802292886550311415346968690934362496833960954250583272879636740982263693728593951807995466301001184452657840914432",
"capacity_gap_nats": "1078529200840789166811359977105062445143748099/219673525124179510879420825570604582952621929604585773100622830693937381868724993667921908501166545759273481964527387457187903615990932602002368905315681828864",
"endpoint_conversion": "MPFR exact_rational()",
"method": "MPFI mutual-information lower / information-radius upper bound"
},
{
"params": {
"channel": "bac",
"shape": "1/4,1/3",
"unit": "bits"
},
"stored_interval_contains_matrix_certificate": true,
"certificate_width_below_1e_minus_8_ulp": true,
"iterations": 366,
"input_prior": [
"76135851104859707544227166698805022649739116880922185913649993491864894514684581584902426610598816263336181719/150306725297525326584926758194517569752043683130132471725266622178061377607334940381676735896625196994043838464",
"74170874192665619040699591495712547102304566249210285811616628686196483092650358796774309286026380730707656745/150306725297525326584926758194517569752043683130132471725266622178061377607334940381676735896625196994043838464"
],
"gap_upper": "4.909691325939737614658972998377396804057915843199482366825345822173326604899675214840007427444684219821550648742376622028061154341241407990748954761973468953846?e-114",
"capacity_lower_nats": "19828000510585991251631686227552711400525849031816488677801848529013365457436210464700887580950863511405203047962951160666675582162040668051469362690012461043/219673525124179510879420825570604582952621929604585773100622830693937381868724993667921908501166545759273481964527387457187903615990932602002368905315681828864",
"capacity_upper_nats": "9914000255292995625815843113776355700262924515908244338900924264506682728718105232350443790475431755702601523982014844933758185664426014014287212567578104571/109836762562089755439710412785302291476310964802292886550311415346968690934362496833960954250583272879636740982263693728593951807995466301001184452657840914432",
"capacity_gap_nats": "1078529200840789166811359977105062445143748099/219673525124179510879420825570604582952621929604585773100622830693937381868724993667921908501166545759273481964527387457187903615990932602002368905315681828864",
"endpoint_conversion": "MPFR exact_rational()",
"method": "MPFI mutual-information lower / information-radius upper bound"
},
{
"params": {
"channel": "bac",
"shape": "1/4,1/2",
"unit": "nats"
},
"stored_interval_contains_matrix_certificate": true,
"certificate_width_below_1e_minus_8_ulp": true,
"iterations": 365,
"input_prior": [
"38450557634250664940330100933481238773778616614685050906463554510666864039085682423219630113090166672894935421/75153362648762663292463379097258784876021841565066235862633311089030688803667470190838367948312598497021919232",
"36702805014511998352133278163777546102243224950381184956169756578363824764581787767618737835222431824126983811/75153362648762663292463379097258784876021841565066235862633311089030688803667470190838367948312598497021919232"
],
"gap_upper": "4.042659353306349696095157336931852476362599983494447443197408486267228356179215880820964166203984588668384448759908447451454969719480507730737832948050897047817?e-113",
"capacity_lower_nats": "59470264533673066054781503793447590791839973347599258034133017969244773610896993268486045418198653707010305288366982250510386703317816217638244721273297041475/1757388200993436087035366604564836663620975436836686184804982645551499054949799949343375268009332366074187855716219099657503228927927460816018951242525454630912",
"capacity_upper_nats": "1858445766677283314211921993545237212244999167112476813566656811538899175340531039640188919318707928344072040263688358405992188738105757198116584418608138407/54918381281044877719855206392651145738155482401146443275155707673484345467181248416980477125291636439818370491131846864296975903997733150500592226328920457216",
"capacity_gap_nats": "71045218481363336301568012701485980122163387549/1757388200993436087035366604564836663620975436836686184804982645551499054949799949343375268009332366074187855716219099657503228927927460816018951242525454630912",
"endpoint_conversion": "MPFR exact_rational()",
"method": "MPFI mutual-information lower / information-radius upper bound"
},
{
"params": {
"channel": "bac",
"shape": "1/4,1/2",
"unit": "bits"
},
"stored_interval_contains_matrix_certificate": true,
"certificate_width_below_1e_minus_8_ulp": true,
"iterations": 365,
"input_prior": [
"38450557634250664940330100933481238773778616614685050906463554510666864039085682423219630113090166672894935421/75153362648762663292463379097258784876021841565066235862633311089030688803667470190838367948312598497021919232",
"36702805014511998352133278163777546102243224950381184956169756578363824764581787767618737835222431824126983811/75153362648762663292463379097258784876021841565066235862633311089030688803667470190838367948312598497021919232"
],
"gap_upper": "4.042659353306349696095157336931852476362599983494447443197408486267228356179215880820964166203984588668384448759908447451454969719480507730737832948050897047817?e-113",
"capacity_lower_nats": "59470264533673066054781503793447590791839973347599258034133017969244773610896993268486045418198653707010305288366982250510386703317816217638244721273297041475/1757388200993436087035366604564836663620975436836686184804982645551499054949799949343375268009332366074187855716219099657503228927927460816018951242525454630912",
"capacity_upper_nats": "1858445766677283314211921993545237212244999167112476813566656811538899175340531039640188919318707928344072040263688358405992188738105757198116584418608138407/54918381281044877719855206392651145738155482401146443275155707673484345467181248416980477125291636439818370491131846864296975903997733150500592226328920457216",
"capacity_gap_nats": "71045218481363336301568012701485980122163387549/1757388200993436087035366604564836663620975436836686184804982645551499054949799949343375268009332366074187855716219099657503228927927460816018951242525454630912",
"endpoint_conversion": "MPFR exact_rational()",
"method": "MPFI mutual-information lower / information-radius upper bound"
},
{
"params": {
"channel": "bac",
"shape": "1/3,1/2",
"unit": "nats"
},
"stored_interval_contains_matrix_certificate": true,
"certificate_width_below_1e_minus_8_ulp": true,
"iterations": 366,
"input_prior": [
"75882174494187058772196338278464374917603342595645885611443788150361847793777194659317690398467369845823614969/150306725297525326584926758194517569752043683130132471725266622178061377607334940381676735896625196994043838464",
"74424550803338267812730419916053194834440340534486586113822834027699529813557745722359045498157827148220223495/150306725297525326584926758194517569752043683130132471725266622178061377607334940381676735896625196994043838464"
],
"gap_upper": "3.724635629194470849117653961771244887007355814381106204186171763822388429189449372181894259346953976581607621439098297817335854317741181030104225337148504767017?e-114",
"capacity_lower_nats": "50486021736224697537905483304279077591437325720166571584168936874863675507111152715459582575310042930955802412818767386668381492269130310164429211805504243237/3514776401986872174070733209129673327241950873673372369609965291102998109899599898686750536018664732148375711432438199315006457855854921632037902485050909261824",
"capacity_upper_nats": "1577688179257021798059546353258721174732416428755205362005279277339489859597223522358111955478438841592368825400995582752621054509696747897758967173274972531/109836762562089755439710412785302291476310964802292886550311415346968690934362496833960954250583272879636740982263693728593951807995466301001184452657840914432",
"capacity_gap_nats": "13091261415492252041165622563857737739294877755/3514776401986872174070733209129673327241950873673372369609965291102998109899599898686750536018664732148375711432438199315006457855854921632037902485050909261824",
"endpoint_conversion": "MPFR exact_rational()",
"method": "MPFI mutual-information lower / information-radius upper bound"
},
{
"params": {
"channel": "bac",
"shape": "1/3,1/2",
"unit": "bits"
},
"stored_interval_contains_matrix_certificate": true,
"certificate_width_below_1e_minus_8_ulp": true,
"iterations": 366,
"input_prior": [
"75882174494187058772196338278464374917603342595645885611443788150361847793777194659317690398467369845823614969/150306725297525326584926758194517569752043683130132471725266622178061377607334940381676735896625196994043838464",
"74424550803338267812730419916053194834440340534486586113822834027699529813557745722359045498157827148220223495/150306725297525326584926758194517569752043683130132471725266622178061377607334940381676735896625196994043838464"
],
"gap_upper": "3.724635629194470849117653961771244887007355814381106204186171763822388429189449372181894259346953976581607621439098297817335854317741181030104225337148504767017?e-114",
"capacity_lower_nats": "50486021736224697537905483304279077591437325720166571584168936874863675507111152715459582575310042930955802412818767386668381492269130310164429211805504243237/3514776401986872174070733209129673327241950873673372369609965291102998109899599898686750536018664732148375711432438199315006457855854921632037902485050909261824",
"capacity_upper_nats": "1577688179257021798059546353258721174732416428755205362005279277339489859597223522358111955478438841592368825400995582752621054509696747897758967173274972531/109836762562089755439710412785302291476310964802292886550311415346968690934362496833960954250583272879636740982263693728593951807995466301001184452657840914432",
"capacity_gap_nats": "13091261415492252041165622563857737739294877755/3514776401986872174070733209129673327241950873673372369609965291102998109899599898686750536018664732148375711432438199315006457855854921632037902485050909261824",
"endpoint_conversion": "MPFR exact_rational()",
"method": "MPFI mutual-information lower / information-radius upper bound"
}
],
"scope": "All 52 rows, with additional exact structural matrix controls; not Blahut-Arimoto"
}
],
"attachment_sha256": {
"channel_check.py": "eacca1cd856b64cc2f8330b3fbb6f822d94efea360160e845deb630e3d6ef754",
"channel_prepare.py": "95e1ccad9743703d69851e62a086aa3210fabca13494c0cf68ea3b67cf477014"
},
"environment": {
"python": "3.12.3",
"numberdb": "0.1.10",
"sage": "10.9"
},
"parameter_order_preserved": true,
"definition_preserved": true,
"schema_validation": "Requires the coordinator full-repository guard; precision snapshot lacks validator",
"changed_sections": [
"Numbers",
"Comments",
"Formulas/formula-bac",
"Data properties",
"Links (four issue bookkeeping links removed)",
"Programs/program-sage"
],
"historical_cause": {
"mechanism": "Concurrent overwrite of shared /tmp/create_numberdb_draft.py",
"w2_session": "01a0bb86-04be-7173-8618-69df83052544",
"w4_session": "01a0bb87-f41d-7732-ae45-316a9a539125",
"w2_helper_created": "2026-09-19T21:23:02.741Z",
"w4_helper_overwritten": "2026-09-19T21:23:03.112Z",
"sole_live_revision": "2536, 2026-09-19T21:23:06Z (coordinator-confirmed)",
"result": "KL worker created channel draft; channel worker stopped on title conflict",
"no_historical_capacity_generator_or_numerical_check_found": true
},
"limitations": "Candidate only: no website writes, attachment uploads, leases, review requests or publication. Human review of selection and prose, an artifact-bound technical critique, and a fresh live baseline guard remain required before application. Coverage is a curated 26-channel selection, not all rational probabilities; no binary-erasure family or decimal grid is added. Certificates cover every selected row, not every possible extension of value(). Both rigorous computations depend on the installed Sage/Arb and MPFI libraries; this is not a formal proof-assistant verification. No Blahut-Arimoto run is claimed. The historical shared-file collision is reconstructed from timestamped session events; the live revision/attachment inventory was supplied by the coordinator.",
"numerical_elapsed_seconds": 0.7800168810645118
}