Recorded data and provenance for the associated calculation.
| status | passed |
|---|---|
| exact_arithmetic | fractions.Fraction; no floating acceptance decisions |
| sector_uniqueness_requires_fixed_electron_and_shared_lepton_units | true |
| inequality_count | 40 |
| scope | Conditional sector uniqueness and unique integer indices at the original per-particle log errors; no probability or physical selection law. |
View complete data
{
"status": "passed",
"exact_arithmetic": "fractions.Fraction; no floating acceptance decisions",
"sector_uniqueness_tolerances": {
"W_relative_error": "1/200",
"up_relative_error": "1"
},
"sector_uniqueness_requires_fixed_electron_and_shared_lepton_units": true,
"sector_factors_fourth": {
"2": "8352100",
"3": "7168",
"4": "256/39375",
"6": "1/118764389051433216",
"10": "1/118764389051433216"
},
"electron_counts": {
"d6_n13": 18564,
"d10_n7": 8008,
"d10_n8": 19448
},
"W_gap_certificates": [
{
"depth": 3,
"lower_index": 45,
"upper_index": 46,
"lower_count": 16215,
"upper_count": 17296,
"lower_prediction_ratio_fourth": "8446676245889679158412601123694421900304167/10430342993601002374662400000000000000000000",
"upper_prediction_ratio_fourth": "104279953652959001955711124983881751855607/99471502243051551577209472656250000000000"
},
{
"depth": 4,
"lower_index": 58,
"upper_index": 59,
"lower_count": 521855,
"upper_count": 557845,
"lower_prediction_ratio_fourth": "184935953945056593323026292059629336901363896823/234682717356022553429904000000000000000000000000",
"upper_prediction_ratio_fourth": "241477202304731231465675685150881961829152044743/234682717356022553429904000000000000000000000000"
}
],
"unique_nearest_indices": [
{
"particle": "W",
"depth": 2,
"index": 76,
"count": 2926,
"target_eighth_power": "679950343526009499150211581346726523884462336/390625",
"lower_neighbor_product_fourth": "40148389195098563828259400190235743187528503486779924019125991883821443392459510299361/25600000000000000000000000000000000000000000000",
"upper_neighbor_product_fourth": "309307201470582897956160259852699777747799289178639719196085716099716282271155823780133216241/160000000000000000000000000000000000000000000000000000",
"strict_lower_boundary": true,
"strict_upper_boundary": true
},
{
"particle": "Z",
"depth": 2,
"index": 81,
"count": 3321,
"target_eighth_power": "4780810443086674164377504747302273744896",
"lower_neighbor_product_fourth": "4347173525720235897240481282948520355201303232691766155075812508204195238581446411971201/1000000000000000000000000000000000000000000000000",
"upper_neighbor_product_fourth": "13542994344261030913784297578939561211509719762012786894937189407337791241357612413257876424561/2560000000000000000000000000000000000000000000000000000",
"strict_lower_boundary": true,
"strict_upper_boundary": true
},
{
"particle": "H",
"depth": 2,
"index": 95,
"count": 4560,
"target_eighth_power": "60371870388706903012802560000000000000000",
"lower_neighbor_product_fourth": "5573097699738914623063326389875906939404254540108599606434411725621055222925385478801/100000000000000000000000000000000000000000000",
"upper_neighbor_product_fourth": "62843849075064906443742669370234107019379897831668795124269745063181160007820434961/953674316406250000000000000000000000000000",
"strict_lower_boundary": true,
"strict_upper_boundary": true
},
{
"particle": "down",
"depth": 3,
"index": 1,
"count": 1,
"target_eighth_power": "23811286661761/100000000",
"lower_neighbor_product_fourth": null,
"upper_neighbor_product_fourth": "5831712526164420341416974409851487620488061661477624268689/95367431640625000000000000000000000000000000000000",
"strict_lower_boundary": false,
"strict_upper_boundary": true
},
{
"particle": "strange",
"depth": 3,
"index": 4,
"count": 20,
"target_eighth_power": "1495315559180183521/256",
"lower_neighbor_product_fourth": "5831712526164420341416974409851487620488061661477624268689/15258789062500000000000000000000000000000000",
"upper_neighbor_product_fourth": "14001941775320773239742155558053421776791836049207775869122289/244140625000000000000000000000000000000000000",
"strict_lower_boundary": true,
"strict_upper_boundary": true
},
{
"particle": "bottom",
"depth": 3,
"index": 17,
"count": 969,
"target_eighth_power": "93735244522051626136380824641",
"lower_neighbor_product_fourth": "34783391098343839658467245420658857987896851819589170289197508653615709816769/372529029846191406250000000000000000000000000000",
"upper_neighbor_product_fourth": "54273851023422462951007649459006513713206326863671175647543833589730162701969/152587890625000000000000000000000000000000000000",
"strict_lower_boundary": true,
"strict_upper_boundary": true
},
{
"particle": "up",
"depth": 4,
"index": 3,
"count": 15,
"target_eighth_power": "72301961339136/152587890625",
"lower_neighbor_product_fourth": "2428868190822332503713858563036854485834261416692055089/390625000000000000000000000000000000000000000000000000",
"upper_neighbor_product_fourth": "5831712526164420341416974409851487620488061661477624268689/390625000000000000000000000000000000000000000000000000",
"strict_lower_boundary": true,
"strict_upper_boundary": true
},
{
"particle": "charm",
"depth": 4,
"index": 20,
"count": 8855,
"target_eighth_power": "6896476000695673271705281",
"lower_neighbor_product_fourth": "109460013287949614617367677582773827828321215271742564304336601927065904634085249/31640625000000000000000000000000000000000000000000000000",
"upper_neighbor_product_fourth": "235045768360533667667826277134468050071018770596141150984797991266734062957674129/15258789062500000000000000000000000000000000000000000000",
"strict_lower_boundary": true,
"strict_upper_boundary": true
},
{
"particle": "top",
"depth": 4,
"index": 72,
"count": 1215450,
"target_eighth_power": "786542859650260904271721427294880100000000",
"lower_neighbor_product_fourth": "1147107326017360147682409454785611288595581692874989022702907877566438882568216716546403028049/1525878906250000000000000000000000000000000000000000",
"upper_neighbor_product_fourth": "72627324143224319306377000868861944908334979422910316020292398967549502289558073374541489/62500000000000000000000000000000000000000000000",
"strict_lower_boundary": true,
"strict_upper_boundary": true
},
{
"particle": "electron",
"depth": 6,
"index": 13,
"count": 18564,
"target_eighth_power": "119014541350294292681979069588805869805878809417910699361/25600000000000000000000000000000000000000000000000000000000",
"lower_neighbor_product_fourth": "119014541350294292681979069588805869805878809417910699361/129600000000000000000000000000000000000000000000000000000000",
"upper_neighbor_product_fourth": "15510094043311702516608194327882769758971932322151540251424881/731161600000000000000000000000000000000000000000000000000000000",
"strict_lower_boundary": true,
"strict_upper_boundary": true
},
{
"particle": "muon",
"depth": 6,
"index": 35,
"count": 3838380,
"target_eighth_power": "3976229089564252929254951185765153147812108504812162106507508784001/256000000000000000000000000000000000000000000000000",
"lower_neighbor_product_fourth": "7099742987833349955982931585311556579282650416834293422746286204789520495226721/875781160960000000000000000000000000000000000000000000000000000",
"upper_neighbor_product_fourth": "8355758785940422659295412219675789017505340076853015333841302978897226249109685281/285727024783360000000000000000000000000000000000000000000000000000",
"strict_lower_boundary": true,
"strict_upper_boundary": true
},
{
"particle": "tau",
"depth": 10,
"index": 23,
"count": 64512240,
"target_eighth_power": "993945466319776908495504023424116674916001/10000000000000000",
"lower_neighbor_product_fourth": "10099192953098409019315755025858001858677811764346428655760589742445361284495796638709681/457163239653376000000000000000000000000000000000000000000000000",
"upper_neighbor_product_fourth": "2923212214082179275247644759325824845368987221000713694978962229044615563995838807521/6975757441000000000000000000000000000000000000000000000000",
"strict_lower_boundary": true,
"strict_upper_boundary": true
}
],
"strict_rational_inequalities": [
{
"name": "electron-first-rung-d2",
"left": "1",
"right": "8352100",
"positive_difference": "8352099",
"passed": true
},
{
"name": "electron-first-rung-d3",
"left": "1",
"right": "7168",
"positive_difference": "7167",
"passed": true
},
{
"name": "electron-d4-lower",
"left": "256/39375",
"right": "1",
"positive_difference": "39119/39375",
"passed": true
},
{
"name": "electron-d4-upper",
"left": "1",
"right": "256/63",
"positive_difference": "193/63",
"passed": true
},
{
"name": "electron-d10-lower",
"left": "8008",
"right": "18564",
"positive_difference": "10556",
"passed": true
},
{
"name": "electron-d10-upper",
"left": "18564",
"right": "19448",
"positive_difference": "884",
"passed": true
},
{
"name": "W-d3-below-half-percent-window",
"left": "8446676245889679158412601123694421900304167/10430342993601002374662400000000000000000000",
"right": "1568239201/1600000000",
"positive_difference": "1776619230635810889612189389269578099695833/10430342993601002374662400000000000000000000",
"passed": true
},
{
"name": "W-d3-above-half-percent-window",
"left": "1632240801/1600000000",
"right": "104279953652959001955711124983881751855607/99471502243051551577209472656250000000000",
"positive_difference": "11216203367156604746151492452464263281803/397886008972206206308837890625000000000000",
"passed": true
},
{
"name": "W-d3-simple-lower-certificate",
"left": "8446676245889679158412601123694421900304167/10430342993601002374662400000000000000000000",
"right": "81/100",
"positive_difference": "1901578927132765063942876305578099695833/10430342993601002374662400000000000000000000",
"passed": true
},
{
"name": "W-d3-simple-upper-certificate",
"left": "26/25",
"right": "104279953652959001955711124983881751855607/99471502243051551577209472656250000000000",
"positive_difference": "829591320185388315413273421381751855607/99471502243051551577209472656250000000000",
"passed": true
},
{
"name": "W-d4-below-half-percent-window",
"left": "184935953945056593323026292059629336901363896823/234682717356022553429904000000000000000000000000",
"right": "1568239201/1600000000",
"positive_difference": "45088194276766932757531494482060663098636103177/234682717356022553429904000000000000000000000000",
"passed": true
},
{
"name": "W-d4-above-half-percent-window",
"left": "1632240801/1600000000",
"right": "241477202304731231465675685150881961829152044743/234682717356022553429904000000000000000000000000",
"positive_difference": "2065510705949447225368308705191961829152044743/234682717356022553429904000000000000000000000000",
"passed": true
},
{
"name": "W-d4-simple-lower-certificate",
"left": "184935953945056593323026292059629336901363896823/234682717356022553429904000000000000000000000000",
"right": "4/5",
"positive_difference": "2810219939761449420896907940370663098636103177/234682717356022553429904000000000000000000000000",
"passed": true
},
{
"name": "W-d4-simple-upper-certificate",
"left": "41/40",
"right": "241477202304731231465675685150881961829152044743/234682717356022553429904000000000000000000000000",
"positive_difference": "927417014808114200024085150881961829152044743/234682717356022553429904000000000000000000000000",
"passed": true
},
{
"name": "up-d3-first-rung-exceeds-double-target",
"left": "16",
"right": "76365650171817566614673601367/3401222400000000000000000000",
"positive_difference": "21946091771817566614673601367/3401222400000000000000000000",
"passed": true
},
{
"name": "W-original-log-error-implies-outer-window",
"left": "49977821103358339433245256993285195167441/49953151871270709760000000000000000000000",
"right": "1632240801/1600000000",
"positive_difference": "981911785915130683317816606714804832559/49953151871270709760000000000000000000000",
"passed": true
},
{
"name": "up-original-log-error-implies-outer-window",
"left": "1558482656567705441115787783/1511654400000000000000000000",
"right": "16",
"positive_difference": "22627987743432294558884212217/1511654400000000000000000000",
"passed": true
},
{
"name": "W-above-lower-log-midpoint",
"left": "40148389195098563828259400190235743187528503486779924019125991883821443392459510299361/25600000000000000000000000000000000000000000000",
"right": "679950343526009499150211581346726523884462336/390625",
"positive_difference": "4412836518221994708048866004903326281763620165316075980874008116178556607540489700639/25600000000000000000000000000000000000000000000",
"passed": true
},
{
"name": "W-below-upper-log-midpoint",
"left": "679950343526009499150211581346726523884462336/390625",
"right": "309307201470582897956160259852699777747799289178639719196085716099716282271155823780133216241/160000000000000000000000000000000000000000000000000000",
"positive_difference": "30799540762329407104233596133080593564723516353039719196085716099716282271155823780133216241/160000000000000000000000000000000000000000000000000000",
"passed": true
},
{
"name": "Z-above-lower-log-midpoint",
"left": "4347173525720235897240481282948520355201303232691766155075812508204195238581446411971201/1000000000000000000000000000000000000000000000000",
"right": "4780810443086674164377504747302273744896",
"positive_difference": "433636917366438267137023464353753389694696767308233844924187491795804761418553588028799/1000000000000000000000000000000000000000000000000",
"passed": true
},
{
"name": "Z-below-upper-log-midpoint",
"left": "4780810443086674164377504747302273744896",
"right": "13542994344261030913784297578939561211509719762012786894937189407337791241357612413257876424561/2560000000000000000000000000000000000000000000000000000",
"positive_difference": "1304119609959145052977885425845740424575959762012786894937189407337791241357612413257876424561/2560000000000000000000000000000000000000000000000000000",
"passed": true
},
{
"name": "H-above-lower-log-midpoint",
"left": "5573097699738914623063326389875906939404254540108599606434411725621055222925385478801/100000000000000000000000000000000000000000000",
"right": "60371870388706903012802560000000000000000",
"positive_difference": "464089339131775678216929610124093060595745459891400393565588274378944777074614521199/100000000000000000000000000000000000000000000",
"passed": true
},
{
"name": "H-below-upper-log-midpoint",
"left": "60371870388706903012802560000000000000000",
"right": "62843849075064906443742669370234107019379897831668795124269745063181160007820434961/953674316406250000000000000000000000000000",
"positive_difference": "5268746851948124243117669370234107019379897831668795124269745063181160007820434961/953674316406250000000000000000000000000000",
"passed": true
},
{
"name": "down-below-upper-log-midpoint",
"left": "23811286661761/100000000",
"right": "5831712526164420341416974409851487620488061661477624268689/95367431640625000000000000000000000000000000000000",
"positive_difference": "5809004313634512161180158003601487620488061661477624268689/95367431640625000000000000000000000000000000000000",
"passed": true
},
{
"name": "strange-above-lower-log-midpoint",
"left": "5831712526164420341416974409851487620488061661477624268689/15258789062500000000000000000000000000000000",
"right": "1495315559180183521/256",
"positive_difference": "83296040205885016287401537553039137379511938338522375731311/15258789062500000000000000000000000000000000",
"passed": true
},
{
"name": "strange-below-upper-log-midpoint",
"left": "1495315559180183521/256",
"right": "14001941775320773239742155558053421776791836049207775869122289/244140625000000000000000000000000000000000000",
"positive_difference": "12575897731607982253681059366647171776791836049207775869122289/244140625000000000000000000000000000000000000",
"passed": true
},
{
"name": "bottom-above-lower-log-midpoint",
"left": "34783391098343839658467245420658857987896851819589170289197508653615709816769/372529029846191406250000000000000000000000000000",
"right": "93735244522051626136380824641",
"positive_difference": "135708605851580091292199412515489889605589586660829710802491346384290183231/372529029846191406250000000000000000000000000000",
"passed": true
},
{
"name": "bottom-below-upper-log-midpoint",
"left": "93735244522051626136380824641",
"right": "54273851023422462951007649459006513713206326863671175647543833589730162701969/152587890625000000000000000000000000000000000000",
"positive_difference": "39970987784584019021506180855338300822581326863671175647543833589730162701969/152587890625000000000000000000000000000000000000",
"passed": true
},
{
"name": "up-above-lower-log-midpoint",
"left": "2428868190822332503713858563036854485834261416692055089/390625000000000000000000000000000000000000000000000000",
"right": "72301961339136/152587890625",
"positive_difference": "182664152837365827496286141436963145514165738583307944911/390625000000000000000000000000000000000000000000000000",
"passed": true
},
{
"name": "up-below-upper-log-midpoint",
"left": "72301961339136/152587890625",
"right": "5831712526164420341416974409851487620488061661477624268689/390625000000000000000000000000000000000000000000000000",
"positive_difference": "5646619505136232181416974409851487620488061661477624268689/390625000000000000000000000000000000000000000000000000",
"passed": true
},
{
"name": "charm-above-lower-log-midpoint",
"left": "109460013287949614617367677582773827828321215271742564304336601927065904634085249/31640625000000000000000000000000000000000000000000000000",
"right": "6896476000695673271705281",
"positive_difference": "108748797671561922495182229057851172171678784728257435695663398072934095365914751/31640625000000000000000000000000000000000000000000000000",
"passed": true
},
{
"name": "charm-below-upper-log-midpoint",
"left": "6896476000695673271705281",
"right": "235045768360533667667826277134468050071018770596141150984797991266734062957674129/15258789062500000000000000000000000000000000000000000000",
"positive_difference": "129813895791324785958456144688178987571018770596141150984797991266734062957674129/15258789062500000000000000000000000000000000000000000000",
"passed": true
},
{
"name": "top-above-lower-log-midpoint",
"left": "1147107326017360147682409454785611288595581692874989022702907877566438882568216716546403028049/1525878906250000000000000000000000000000000000000000",
"right": "786542859650260904271721427294880100000000",
"positive_difference": "53061832384527218454860789499789254617308932125010977297092122433561117431783283453596971951/1525878906250000000000000000000000000000000000000000",
"passed": true
},
{
"name": "top-below-upper-log-midpoint",
"left": "786542859650260904271721427294880100000000",
"right": "72627324143224319306377000868861944908334979422910316020292398967549502289558073374541489/62500000000000000000000000000000000000000000000",
"positive_difference": "23468395415083012789394411662931938658334979422910316020292398967549502289558073374541489/62500000000000000000000000000000000000000000000",
"passed": true
},
{
"name": "electron-above-lower-log-midpoint",
"left": "119014541350294292681979069588805869805878809417910699361/129600000000000000000000000000000000000000000000000000000000",
"right": "119014541350294292681979069588805869805878809417910699361/25600000000000000000000000000000000000000000000000000000000",
"positive_difference": "1547189037553825804865727904654476307476424522432839091693/414720000000000000000000000000000000000000000000000000000000",
"passed": true
},
{
"name": "electron-below-upper-log-midpoint",
"left": "119014541350294292681979069588805869805878809417910699361/25600000000000000000000000000000000000000000000000000000000",
"right": "15510094043311702516608194327882769758971932322151540251424881/731161600000000000000000000000000000000000000000000000000000000",
"positive_difference": "18923312074696792536434672064620133299134730697447801198399/1142440000000000000000000000000000000000000000000000000000000",
"passed": true
},
{
"name": "muon-above-lower-log-midpoint",
"left": "7099742987833349955982931585311556579282650416834293422746286204789520495226721/875781160960000000000000000000000000000000000000000000000000000",
"right": "3976229089564252929254951185765153147812108504812162106507508784001/256000000000000000000000000000000000000000000000000",
"positive_difference": "6503016888344404930337310201006937364870032670235570156803968536654985964933279/875781160960000000000000000000000000000000000000000000000000000",
"passed": true
},
{
"name": "muon-below-upper-log-midpoint",
"left": "3976229089564252929254951185765153147812108504812162106507508784001/256000000000000000000000000000000000000000000000000",
"right": "8355758785940422659295412219675789017505340076853015333841302978897226249109685281/285727024783360000000000000000000000000000000000000000000000000000",
"positive_difference": "3917805240556663808278408648444902561608557873278163474358424751318372248879125281/285727024783360000000000000000000000000000000000000000000000000000",
"passed": true
},
{
"name": "tau-above-lower-log-midpoint",
"left": "10099192953098409019315755025858001858677811764346428655760589742445361284495796638709681/457163239653376000000000000000000000000000000000000000000000000",
"right": "993945466319776908495504023424116674916001/10000000000000000",
"positive_difference": "35340339989055064405420424339267946804048660903369178281839410257554638715504203361290319/457163239653376000000000000000000000000000000000000000000000000",
"passed": true
},
{
"name": "tau-below-upper-log-midpoint",
"left": "993945466319776908495504023424116674916001/10000000000000000",
"right": "2923212214082179275247644759325824845368987221000713694978962229044615563995838807521/6975757441000000000000000000000000000000000000000000000000",
"positive_difference": "2229859965819339409757895928681202825979240018429369594978962229044615563995838807521/6975757441000000000000000000000000000000000000000000000000",
"passed": true
}
],
"inequality_count": 40,
"sources": {
"uniqueness-theorem-check.py": "c8aeb1b095fbc1e865e38aba156744254e0a467b6958ff9d3b3afaadd80c1507",
"sector-inputs.json": "8c7224bbb44c801e4a302aa17bf3b388400089037fe315d0c6dc3e195e77c6ec"
},
"scope": "Conditional sector uniqueness and unique integer indices at the original per-particle log errors; no probability or physical selection law."
}