Recorded data and provenance for the associated calculation.
| created_utc | 2026-10-18T12:47:39.045319+00:00 |
|---|---|
| version | IMR-1 |
| status | all passed |
| checks_passed | 343 |
| script_sha256 | b98a64dff459c4ba640f0ee73fb8945755cb5fbc5fd1bcce654dea6ff508e0e5 |
| scope | Exact finite action and actual source integrals. Fourteen-label numeric control uses equal supplied sector units; uniform theorem permits every positive supplied sector scale. No empirical scale fit, source-free localization or physical particle identification. |
View complete data
{
"created_utc": "2026-10-18T12:47:39.045319+00:00",
"version": "IMR-1",
"status": "all passed",
"checks_passed": 343,
"checks": [
"f norm",
"h norm",
"source constants A",
"source constants B",
"source constants H",
"normalized correlation squared",
"actual dual metric inverse",
"source Gram positive minor 1",
"source Gram positive minor 2",
"source Gram positive minor 3",
"source Gram positive minor 4",
"source Gram positive minor 5",
"source Gram positive minor 6",
"fixed metric obstruction entry",
"fixed metric obstruction genuinely nonzero",
"fixed exception actual normalized overlap",
"fixed exception low branch",
"fixed exception c bounds",
"fixed exception high positivity determinant",
"fixed exception all target rows",
"fixed exception full orthogonality",
"full target rows (3, 1, [1, 4])",
"complete mode norms (3, 1, [1, 4])",
"kinetic symmetric (3, 1)",
"stiffness symmetric (3, 1)",
"small full kinetic positive 1 1",
"small full kinetic positive 1 2",
"small full kinetic positive 1 3",
"small full kinetic positive 1 4",
"small full kinetic positive 1 5",
"small complement kinetic positive 1 1",
"small complement energy positive 1 1",
"small complement kinetic positive 1 2",
"small complement energy positive 1 2",
"small full dressed zero 1",
"small zero is not dark 1",
"small kernel dimension 1",
"full characteristic factorization 1",
"full kinetic determinant 1",
"actual offdiagonal reciprocal probe",
"static cross response nonzero",
"complete pencil derivative norm 1",
"full target rows (3, 1/2, [1, 4])",
"complete mode norms (3, 1/2, [1, 4])",
"kinetic symmetric (3, 1/2)",
"stiffness symmetric (3, 1/2)",
"small full kinetic positive 1/2 1",
"small full kinetic positive 1/2 2",
"small full kinetic positive 1/2 3",
"small full kinetic positive 1/2 4",
"small full kinetic positive 1/2 5",
"small complement kinetic positive 1/2 1",
"small complement energy positive 1/2 1",
"small complement kinetic positive 1/2 2",
"small complement energy positive 1/2 2",
"small full dressed zero 1/2",
"small zero is not dark 1/2",
"small kernel dimension 1/2",
"full characteristic factorization 1/2",
"full kinetic determinant 1/2",
"fixed retained diagonal in derivative repair",
"complete pencil derivative norm 1/2",
"full target rows (3, 1, [4, 9])",
"complete mode norms (3, 1, [4, 9])",
"kinetic symmetric (3, 1)",
"stiffness symmetric (3, 1)",
"above response kinetic positive 1",
"above response kinetic positive 2",
"above response kinetic positive 3",
"above response kinetic positive 4",
"above response kinetic positive 5",
"above response complement positive 1",
"above response complement positive 2",
"above response exact full kernel",
"general full support identity",
"general full retained identity",
"fourteen ordinary labels",
"all ordinary count frequencies distinct",
"full target rows (15, 1, [0, 2140369/1040457277454400])",
"complete mode norms (15, 1, [0, 2140369/1040457277454400])",
"kinetic symmetric (15, 1)",
"stiffness symmetric (15, 1)",
"all labels dressed zero 1",
"all labels nonzero response 1",
"all labels exact trace bound 1",
"uniform kinetic bound 1",
"all labels complement gap identity 1",
"actual spatial full Gram 1 0,0",
"actual spatial full Gram 1 0,1",
"actual spatial full Gram 1 0,2",
"actual spatial full Gram 1 0,3",
"actual spatial full Gram 1 0,4",
"actual spatial full Gram 1 0,5",
"actual spatial full Gram 1 0,6",
"actual spatial full Gram 1 0,7",
"actual spatial full Gram 1 0,8",
"actual spatial full Gram 1 0,9",
"actual spatial full Gram 1 0,10",
"actual spatial full Gram 1 0,11",
"actual spatial full Gram 1 0,12",
"actual spatial full Gram 1 0,13",
"actual spatial full Gram 1 0,14",
"actual spatial full Gram 1 1,1",
"actual spatial full Gram 1 1,2",
"actual spatial full Gram 1 1,3",
"actual spatial full Gram 1 1,4",
"actual spatial full Gram 1 1,5",
"actual spatial full Gram 1 1,6",
"actual spatial full Gram 1 1,7",
"actual spatial full Gram 1 1,8",
"actual spatial full Gram 1 1,9",
"actual spatial full Gram 1 1,10",
"actual spatial full Gram 1 1,11",
"actual spatial full Gram 1 1,12",
"actual spatial full Gram 1 1,13",
"actual spatial full Gram 1 1,14",
"actual spatial full Gram 1 2,2",
"actual spatial full Gram 1 2,3",
"actual spatial full Gram 1 2,4",
"actual spatial full Gram 1 2,5",
"actual spatial full Gram 1 2,6",
"actual spatial full Gram 1 2,7",
"actual spatial full Gram 1 2,8",
"actual spatial full Gram 1 2,9",
"actual spatial full Gram 1 2,10",
"actual spatial full Gram 1 2,11",
"actual spatial full Gram 1 2,12",
"actual spatial full Gram 1 2,13",
"actual spatial full Gram 1 2,14",
"actual spatial full Gram 1 3,3",
"actual spatial full Gram 1 3,4",
"actual spatial full Gram 1 3,5",
"actual spatial full Gram 1 3,6",
"actual spatial full Gram 1 3,7",
"actual spatial full Gram 1 3,8",
"actual spatial full Gram 1 3,9",
"actual spatial full Gram 1 3,10",
"actual spatial full Gram 1 3,11",
"actual spatial full Gram 1 3,12",
"actual spatial full Gram 1 3,13",
"actual spatial full Gram 1 3,14",
"actual spatial full Gram 1 4,4",
"actual spatial full Gram 1 4,5",
"actual spatial full Gram 1 4,6",
"actual spatial full Gram 1 4,7",
"actual spatial full Gram 1 4,8",
"actual spatial full Gram 1 4,9",
"actual spatial full Gram 1 4,10",
"actual spatial full Gram 1 4,11",
"actual spatial full Gram 1 4,12",
"actual spatial full Gram 1 4,13",
"actual spatial full Gram 1 4,14",
"actual spatial full Gram 1 5,5",
"actual spatial full Gram 1 5,6",
"actual spatial full Gram 1 5,7",
"actual spatial full Gram 1 5,8",
"actual spatial full Gram 1 5,9",
"actual spatial full Gram 1 5,10",
"actual spatial full Gram 1 5,11",
"actual spatial full Gram 1 5,12",
"actual spatial full Gram 1 5,13",
"actual spatial full Gram 1 5,14",
"actual spatial full Gram 1 6,6",
"actual spatial full Gram 1 6,7",
"actual spatial full Gram 1 6,8",
"actual spatial full Gram 1 6,9",
"actual spatial full Gram 1 6,10",
"actual spatial full Gram 1 6,11",
"actual spatial full Gram 1 6,12",
"actual spatial full Gram 1 6,13",
"actual spatial full Gram 1 6,14",
"actual spatial full Gram 1 7,7",
"actual spatial full Gram 1 7,8",
"actual spatial full Gram 1 7,9",
"actual spatial full Gram 1 7,10",
"actual spatial full Gram 1 7,11",
"actual spatial full Gram 1 7,12",
"actual spatial full Gram 1 7,13",
"actual spatial full Gram 1 7,14",
"actual spatial full Gram 1 8,8",
"actual spatial full Gram 1 8,9",
"actual spatial full Gram 1 8,10",
"actual spatial full Gram 1 8,11",
"actual spatial full Gram 1 8,12",
"actual spatial full Gram 1 8,13",
"actual spatial full Gram 1 8,14",
"actual spatial full Gram 1 9,9",
"actual spatial full Gram 1 9,10",
"actual spatial full Gram 1 9,11",
"actual spatial full Gram 1 9,12",
"actual spatial full Gram 1 9,13",
"actual spatial full Gram 1 9,14",
"actual spatial full Gram 1 10,10",
"actual spatial full Gram 1 10,11",
"actual spatial full Gram 1 10,12",
"actual spatial full Gram 1 10,13",
"actual spatial full Gram 1 10,14",
"actual spatial full Gram 1 11,11",
"actual spatial full Gram 1 11,12",
"actual spatial full Gram 1 11,13",
"actual spatial full Gram 1 11,14",
"actual spatial full Gram 1 12,12",
"actual spatial full Gram 1 12,13",
"actual spatial full Gram 1 12,14",
"actual spatial full Gram 1 13,13",
"actual spatial full Gram 1 13,14",
"actual spatial full Gram 1 14,14",
"full target rows (15, 1/2, [0, 2140369/1040457277454400])",
"complete mode norms (15, 1/2, [0, 2140369/1040457277454400])",
"kinetic symmetric (15, 1/2)",
"stiffness symmetric (15, 1/2)",
"all labels dressed zero 1/2",
"all labels nonzero response 1/2",
"all labels exact trace bound 1/2",
"uniform kinetic bound 1/2",
"all labels complement gap identity 1/2",
"all labels retained diagonal fixed",
"actual spatial full Gram 1/2 0,0",
"actual spatial full Gram 1/2 0,1",
"actual spatial full Gram 1/2 0,2",
"actual spatial full Gram 1/2 0,3",
"actual spatial full Gram 1/2 0,4",
"actual spatial full Gram 1/2 0,5",
"actual spatial full Gram 1/2 0,6",
"actual spatial full Gram 1/2 0,7",
"actual spatial full Gram 1/2 0,8",
"actual spatial full Gram 1/2 0,9",
"actual spatial full Gram 1/2 0,10",
"actual spatial full Gram 1/2 0,11",
"actual spatial full Gram 1/2 0,12",
"actual spatial full Gram 1/2 0,13",
"actual spatial full Gram 1/2 0,14",
"actual spatial full Gram 1/2 1,1",
"actual spatial full Gram 1/2 1,2",
"actual spatial full Gram 1/2 1,3",
"actual spatial full Gram 1/2 1,4",
"actual spatial full Gram 1/2 1,5",
"actual spatial full Gram 1/2 1,6",
"actual spatial full Gram 1/2 1,7",
"actual spatial full Gram 1/2 1,8",
"actual spatial full Gram 1/2 1,9",
"actual spatial full Gram 1/2 1,10",
"actual spatial full Gram 1/2 1,11",
"actual spatial full Gram 1/2 1,12",
"actual spatial full Gram 1/2 1,13",
"actual spatial full Gram 1/2 1,14",
"actual spatial full Gram 1/2 2,2",
"actual spatial full Gram 1/2 2,3",
"actual spatial full Gram 1/2 2,4",
"actual spatial full Gram 1/2 2,5",
"actual spatial full Gram 1/2 2,6",
"actual spatial full Gram 1/2 2,7",
"actual spatial full Gram 1/2 2,8",
"actual spatial full Gram 1/2 2,9",
"actual spatial full Gram 1/2 2,10",
"actual spatial full Gram 1/2 2,11",
"actual spatial full Gram 1/2 2,12",
"actual spatial full Gram 1/2 2,13",
"actual spatial full Gram 1/2 2,14",
"actual spatial full Gram 1/2 3,3",
"actual spatial full Gram 1/2 3,4",
"actual spatial full Gram 1/2 3,5",
"actual spatial full Gram 1/2 3,6",
"actual spatial full Gram 1/2 3,7",
"actual spatial full Gram 1/2 3,8",
"actual spatial full Gram 1/2 3,9",
"actual spatial full Gram 1/2 3,10",
"actual spatial full Gram 1/2 3,11",
"actual spatial full Gram 1/2 3,12",
"actual spatial full Gram 1/2 3,13",
"actual spatial full Gram 1/2 3,14",
"actual spatial full Gram 1/2 4,4",
"actual spatial full Gram 1/2 4,5",
"actual spatial full Gram 1/2 4,6",
"actual spatial full Gram 1/2 4,7",
"actual spatial full Gram 1/2 4,8",
"actual spatial full Gram 1/2 4,9",
"actual spatial full Gram 1/2 4,10",
"actual spatial full Gram 1/2 4,11",
"actual spatial full Gram 1/2 4,12",
"actual spatial full Gram 1/2 4,13",
"actual spatial full Gram 1/2 4,14",
"actual spatial full Gram 1/2 5,5",
"actual spatial full Gram 1/2 5,6",
"actual spatial full Gram 1/2 5,7",
"actual spatial full Gram 1/2 5,8",
"actual spatial full Gram 1/2 5,9",
"actual spatial full Gram 1/2 5,10",
"actual spatial full Gram 1/2 5,11",
"actual spatial full Gram 1/2 5,12",
"actual spatial full Gram 1/2 5,13",
"actual spatial full Gram 1/2 5,14",
"actual spatial full Gram 1/2 6,6",
"actual spatial full Gram 1/2 6,7",
"actual spatial full Gram 1/2 6,8",
"actual spatial full Gram 1/2 6,9",
"actual spatial full Gram 1/2 6,10",
"actual spatial full Gram 1/2 6,11",
"actual spatial full Gram 1/2 6,12",
"actual spatial full Gram 1/2 6,13",
"actual spatial full Gram 1/2 6,14",
"actual spatial full Gram 1/2 7,7",
"actual spatial full Gram 1/2 7,8",
"actual spatial full Gram 1/2 7,9",
"actual spatial full Gram 1/2 7,10",
"actual spatial full Gram 1/2 7,11",
"actual spatial full Gram 1/2 7,12",
"actual spatial full Gram 1/2 7,13",
"actual spatial full Gram 1/2 7,14",
"actual spatial full Gram 1/2 8,8",
"actual spatial full Gram 1/2 8,9",
"actual spatial full Gram 1/2 8,10",
"actual spatial full Gram 1/2 8,11",
"actual spatial full Gram 1/2 8,12",
"actual spatial full Gram 1/2 8,13",
"actual spatial full Gram 1/2 8,14",
"actual spatial full Gram 1/2 9,9",
"actual spatial full Gram 1/2 9,10",
"actual spatial full Gram 1/2 9,11",
"actual spatial full Gram 1/2 9,12",
"actual spatial full Gram 1/2 9,13",
"actual spatial full Gram 1/2 9,14",
"actual spatial full Gram 1/2 10,10",
"actual spatial full Gram 1/2 10,11",
"actual spatial full Gram 1/2 10,12",
"actual spatial full Gram 1/2 10,13",
"actual spatial full Gram 1/2 10,14",
"actual spatial full Gram 1/2 11,11",
"actual spatial full Gram 1/2 11,12",
"actual spatial full Gram 1/2 11,13",
"actual spatial full Gram 1/2 11,14",
"actual spatial full Gram 1/2 12,12",
"actual spatial full Gram 1/2 12,13",
"actual spatial full Gram 1/2 12,14",
"actual spatial full Gram 1/2 13,13",
"actual spatial full Gram 1/2 13,14",
"actual spatial full Gram 1/2 14,14",
"conditional bottom count a",
"conditional bottom count b",
"complete charge energy -1",
"complete charge energy 1",
"continuum bound factorization",
"continuum resolvent norm bound"
],
"examples": [
{
"theta": "1",
"kinetic": [
[
"255/256",
"-7/1920",
"-1/288",
"0",
"0"
],
[
"-7/1920",
"99/100",
"-7/2160",
"0",
"0"
],
[
"-1/288",
"-7/2160",
"323/324",
"0",
"0"
],
[
"0",
"0",
"0",
"1",
"0"
],
[
"0",
"0",
"0",
"0",
"1"
]
],
"stiffness": [
[
"263/256",
"7/480",
"1/36",
"-1/2",
"0"
],
[
"7/480",
"401/100",
"7/432",
"-7/24",
"-sqrt(95)/24"
],
[
"1/36",
"7/432",
"1/36",
"-1/2",
"0"
],
[
"-1/2",
"-7/24",
"-1/2",
"9",
"0"
],
[
"0",
"-sqrt(95)/24",
"0",
"0",
"9"
]
],
"full_modes": [
[
"1",
"0",
"0"
],
[
"0",
"1",
"0"
],
[
"0",
"0",
"1"
],
[
"1/16",
"7/120",
"1/18"
],
[
"0",
"sqrt(95)/120",
"0"
]
],
"response_trace": "8809/518400",
"characteristic": "-z*(z - 4)*(z - 1)*(293538191*z**2 - 5316057803*z + 24068508156)/298598400",
"complement_characteristic": "(293538191*z**2 - 5316057803*z + 24068508156)/298598400"
},
{
"theta": "1/2",
"kinetic": [
[
"1",
"0",
"0",
"-1/34",
"0"
],
[
"0",
"1",
"0",
"-1/48",
"-sqrt(95)/336"
],
[
"0",
"0",
"1",
"-1/36",
"0"
],
[
"-1/34",
"-1/48",
"-1/36",
"1",
"0"
],
[
"0",
"-sqrt(95)/336",
"0",
"0",
"1"
]
],
"stiffness": [
[
"297/289",
"13/816",
"1/36",
"-1/2",
"0"
],
[
"13/816",
"789/196",
"7/432",
"-7/24",
"-sqrt(95)/24"
],
[
"1/36",
"7/432",
"1/36",
"-1/2",
"0"
],
[
"-1/2",
"-7/24",
"-1/2",
"9",
"0"
],
[
"0",
"-sqrt(95)/24",
"0",
"0",
"9"
]
],
"full_modes": [
[
"1",
"0",
"0"
],
[
"0",
"1",
"0"
],
[
"0",
"0",
"1"
],
[
"1/17",
"1/24",
"1/18"
],
[
"0",
"sqrt(95)/168",
"0"
]
],
"response_trace": "26723/2294082",
"characteristic": "-z*(z - 4)*(z - 1)*(42161438075*z**2 - 759761041448*z + 3422775355632)/42284519424",
"complement_characteristic": "(42161438075*z**2 - 759761041448*z + 3422775355632)/42284519424"
}
],
"fourteen_labels": [
{
"label": "W",
"d": 2,
"n": 76,
"count": 2926,
"frequency_symbolic": "mu_2*2926",
"count_control_frequency_over_max": "1463/32256120",
"count_control_squared": "2140369/1040457277454400"
},
{
"label": "Z",
"d": 2,
"n": 81,
"count": 3321,
"frequency_symbolic": "mu_2*3321",
"count_control_frequency_over_max": "1107/21504080",
"count_control_squared": "1225449/462425456646400"
},
{
"label": "H",
"d": 2,
"n": 95,
"count": 4560,
"frequency_symbolic": "mu_2*4560",
"count_control_frequency_over_max": "19/268801",
"count_control_squared": "361/72253977601"
},
{
"label": "down",
"d": 3,
"n": 1,
"count": 1,
"frequency_symbolic": "mu_3*1",
"count_control_frequency_over_max": "1/64512240",
"count_control_squared": "1/4161829109817600"
},
{
"label": "strange",
"d": 3,
"n": 4,
"count": 20,
"frequency_symbolic": "mu_3*20",
"count_control_frequency_over_max": "1/3225612",
"count_control_squared": "1/10404572774544"
},
{
"label": "up",
"d": 4,
"n": 3,
"count": 15,
"frequency_symbolic": "mu_4*15",
"count_control_frequency_over_max": "1/4300816",
"count_control_squared": "1/18497018265856"
},
{
"label": "charm",
"d": 4,
"n": 20,
"count": 8855,
"frequency_symbolic": "mu_4*8855",
"count_control_frequency_over_max": "77/560976",
"count_control_squared": "5929/314694072576"
},
{
"label": "top",
"d": 4,
"n": 72,
"count": 1215450,
"frequency_symbolic": "mu_4*1215450",
"count_control_frequency_over_max": "40515/2150408",
"count_control_squared": "1641465225/4624254566464"
},
{
"label": "nu1",
"d": 5,
"n": 10,
"count": 2002,
"frequency_symbolic": "mu_5*2002",
"count_control_frequency_over_max": "77/2481240",
"count_control_squared": "5929/6156551937600"
},
{
"label": "nu2",
"d": 5,
"n": 15,
"count": 11628,
"frequency_symbolic": "mu_5*11628",
"count_control_frequency_over_max": "969/5376020",
"count_control_squared": "938961/28901591040400"
},
{
"label": "nu3",
"d": 5,
"n": 22,
"count": 65780,
"frequency_symbolic": "mu_5*65780",
"count_control_frequency_over_max": "11/10788",
"count_control_squared": "121/116380944"
},
{
"label": "electron",
"d": 6,
"n": 13,
"count": 18564,
"frequency_symbolic": "mu_6*18564",
"count_control_frequency_over_max": "119/413540",
"count_control_squared": "14161/171015331600"
},
{
"label": "muon",
"d": 6,
"n": 35,
"count": 3838380,
"frequency_symbolic": "mu_6*3838380",
"count_control_frequency_over_max": "4921/82708",
"count_control_squared": "24216241/6840613264"
},
{
"label": "tau",
"d": 10,
"n": 23,
"count": 64512240,
"frequency_symbolic": "mu_10*64512240",
"count_control_frequency_over_max": "1",
"count_control_squared": "1"
}
],
"simultaneous_controls": [
{
"theta": "1",
"response_trace_exact": "1173468859151037347708790051973525514397096194116628335808497494692739228085848282983652663279064464345034587598145247549789207055513215148372610350663622369872698775303666468373729939779215741469909194516867136661973273341905436867716715875222851195965599629133790757875709013141376459225406993354410396605341301036056103849/76150367839151522857124685477384999043885066325878789989996012861849108391891648796338307904048756126899645313067240412493709279565649980288764048365106472641510773134683666103533954345217733386616729855324218900232371050209219927355266723563674538187395433567563794261444174771231321496100287237347246385697374571690000000000",
"response_trace_decimal": "0.0154098908836487",
"trace_bound": "5/192",
"kinetic_margin": "187/192",
"full_dimension": 21,
"targets": 15,
"complement_modes": 6,
"complement_squared_gap": 4
},
{
"theta": "1/2",
"response_trace_exact": "15409572537595141445741138065520377160303486101225108481070186261464425795076253390724929811019670648959778845224234721243706244245864192096435032639899939377214186121145139306718665971895763426806187707757453722806162055858202403312077681165477407981272505805089419082866172006997501733560250085586600441679354571943726079311396916069454248208401/1030855307008308369822460989065816296002286900431604461925396639016480165036805171413180722135159133197336212193161465890115544681783619131795028695344647407093385046151902727472025845056191342940826483886837663983839770497014688098351855141151389590004608669786423516059122591812664602319234757279584878675682673438986278263158291810980628878214144",
"response_trace_decimal": "0.0149483370098913",
"trace_bound": "15/784",
"kinetic_margin": "3121/3136",
"full_dimension": 21,
"targets": 15,
"complement_modes": 6,
"complement_squared_gap": 4
}
],
"above_response": {
"response_eigenvalue": 1,
"massive_squared_targets": [
4,
9
],
"complete_positive": true
},
"script_sha256": "b98a64dff459c4ba640f0ee73fb8945755cb5fbc5fd1bcce654dea6ff508e0e5",
"scope": "Exact finite action and actual source integrals. Fourteen-label numeric control uses equal supplied sector units; uniform theorem permits every positive supplied sector scale. No empirical scale fit, source-free localization or physical particle identification."
}