Recorded data and provenance for the associated calculation.
| created_utc | 2026-10-13T23:48:56.975990+00:00 |
|---|---|
| script_name | entropy-difference-spectrum-checks.py |
| script_sha256 | 5fd873824378fafa877964ccfe3541832c1e06c85684d9b009bfcdf66cfbcc3a |
| checks_passed | 5998 |
| scope | Exact finite spectral algebra plus rigorous parameter enclosure and an analytic tail bound. Not a nonlinear stability, PDE existence, lifetime, mass-family or observed-particle theorem. |
View complete data
{
"created_utc": "2026-10-13T23:48:56.975990+00:00",
"script_name": "entropy-difference-spectrum-checks.py",
"script_sha256": "5fd873824378fafa877964ccfe3541832c1e06c85684d9b009bfcdf66cfbcc3a",
"checks_passed": 5998,
"check_groups": {
"parameter_enclosure": 4,
"finite_interval_signs": 5940,
"classification_controls": 3,
"analytic_tail": 2,
"multiplicity_totals": 12,
"zero_blocks": 4,
"spectral_identities": 3,
"mehler_covariance": 6,
"finite_filter_certificate": 14,
"finite_filter_recurrence": 10
},
"parameter": {
"published_m_interval": [
"5087601680833816823/2500000000000000000",
"101752033616676336461/50000000000000000000"
],
"independently_derived_m_interval": [
"1785868609825308076571902011229415257817887354588509088160592139363347284951847952428730082167235634925359191776410550678999882314297950025923253936836399523260022992670272385060595822555029485368265813719012343058948076589730048353123417131050198950712413058774920711525742352425686156190704641706822493939120915423636982811485647134752457063949846560357056036142093048105432552156889485642534570387272937388814827119163847391322578549891929721034886511128655981208027659488606403083302468616149853010295833391694778242954662693299/877559173192101506977006147718936430550385729190039071575697527742931413540443981515048532466530530055802219417528709203623519072083764342578989804166504479210827088837766672823339292573959369173175586810653200680443923655309832042720527047200872724695635115243722761390020505808410103563302200971795829242984876648706707701367601546431210398051861940791946918886260093259868180182127812974916900659621333160218528243123047414980919861363505701015261570244359631268969287758877055552271238466009685355673561776449748302913229450394",
"3571737219650616153143804022458830515635774709177018186646780278720542059464540479530713478545291160335631788133778701099646039938594887879860694544673068956236206183808135124295327765339565591017394018215662450510626722283785059666505115235491373393691900093110594037278189991178788019460572606610303949265689981986042349333690908714439691822595522404386551370055465669392154919837195807195004341527274764956693528842864439810527023782590491788760263796890837828937572116432244028730161460631564794937455792544206110454342386706223/1755118346384203013954012295437872861100771458380078112174981704760726737994821127109303255757197177961991714970332816358443933490960834925828159190085470167195498318117616661031308704466612432819419962151871529992206002097265752553529209539021172661197343231532806653918133916903707923019023593318131950665031792516637895007381872970503201567166731797308404657590177729450315309449978704935135428061157232376481939516382179790039614967100516319757172084512879724389076778040027303414586306336531897439229394587180861105988561285538"
],
"method": "96-term exact rational atanh series per logarithm, with positive geometric remainder bound."
},
"spectrum": {
"finite_pairs": 5940,
"negative": [
{
"k": 3,
"l": 0,
"affine_half": [
"9/16",
"-21/16"
],
"lambda_plus_interval": [
"-6711584872495648593/20000000000000000000",
"-134231697449912971851/400000000000000000000"
]
},
{
"k": 4,
"l": 0,
"affine_half": [
"5/64",
"-89/64"
],
"lambda_plus_interval": [
"-39412398319166183177/16000000000000000000",
"-788247966383323663539/320000000000000000000"
]
},
{
"k": 5,
"l": 0,
"affine_half": [
"-265/768",
"-803/768"
],
"lambda_plus_interval": [
"-4474285927227948610811/1280000000000000000000",
"-671142889084192291619/192000000000000000000"
]
},
{
"k": 6,
"l": 0,
"affine_half": [
"-5803/9216",
"-3833/9216"
],
"lambda_plus_interval": [
"-260705683692524260161061/76800000000000000000000",
"-39105852553878639023869/11520000000000000000000"
]
},
{
"k": 7,
"l": 0,
"affine_half": [
"-88417/110592",
"42421/110592"
],
"lambda_plus_interval": [
"-2291853185428557213624079/921600000000000000000000",
"-343777977814283582039191/138240000000000000000000"
]
},
{
"k": 8,
"l": 0,
"affine_half": [
"-1186915/1327104",
"1695967/1327104"
],
"lambda_plus_interval": [
"-2398177665342492926040521/2211840000000000000000000",
"-359726649801373938894209/331776000000000000000000"
]
},
{
"k": 2,
"l": 1,
"affine_half": [
"-1/4",
"1/4"
],
"lambda_plus_interval": [
"-51752033616676336461/100000000000000000000",
"-2587601680833816823/5000000000000000000"
]
},
{
"k": 3,
"l": 1,
"affine_half": [
"-25/48",
"37/48"
],
"lambda_plus_interval": [
"-9250677872225445487/16000000000000000000",
"-1387601680833816823/2400000000000000000"
]
}
],
"zero": [
{
"k": 0,
"l": 0,
"affine_half": [
"0",
"0"
],
"lambda_plus_interval": [
"0",
"0"
]
},
{
"k": 1,
"l": 0,
"affine_half": [
"0",
"0"
],
"lambda_plus_interval": [
"0",
"0"
]
},
{
"k": 0,
"l": 1,
"affine_half": [
"0",
"0"
],
"lambda_plus_interval": [
"0",
"0"
]
},
{
"k": 1,
"l": 1,
"affine_half": [
"0",
"0"
],
"lambda_plus_interval": [
"0",
"0"
]
}
],
"minimum_positive_half": {
"lower": "48193736605288024579/1920000000000000000000",
"k": 4,
"l": 1
},
"exact_classification_transcript_sha256": "5701eab9e1e0924a12a6769e3f90e02ad2aef7a53ca384cd6bfb14fd537805b3",
"transcript_format": "UTF-8 rows k,l:a:b:lower_G:upper_G:sign followed by newline; l outer then k inner.",
"tail": {
"weighted_degree_at_least": 215,
"positive_beta_sum_upper": "16065500134851189384703/75000000000000000000",
"strict_half_gap_at_215": "59499865148810615297/75000000000000000000"
}
},
"depths": {
"2": {
"negative": 95,
"zero_Lplus": 27,
"modes": [
{
"k": 3,
"l": 0,
"multiplicity": 4
},
{
"k": 4,
"l": 0,
"multiplicity": 5
},
{
"k": 5,
"l": 0,
"multiplicity": 6
},
{
"k": 6,
"l": 0,
"multiplicity": 7
},
{
"k": 7,
"l": 0,
"multiplicity": 8
},
{
"k": 8,
"l": 0,
"multiplicity": 9
},
{
"k": 2,
"l": 1,
"multiplicity": 24
},
{
"k": 3,
"l": 1,
"multiplicity": 32
}
],
"real_dynamical_kernel": 28,
"algebraic_zero_multiplicity": 54
},
"3": {
"negative": 267,
"zero_Lplus": 32,
"modes": [
{
"k": 3,
"l": 0,
"multiplicity": 10
},
{
"k": 4,
"l": 0,
"multiplicity": 15
},
{
"k": 5,
"l": 0,
"multiplicity": 21
},
{
"k": 6,
"l": 0,
"multiplicity": 28
},
{
"k": 7,
"l": 0,
"multiplicity": 36
},
{
"k": 8,
"l": 0,
"multiplicity": 45
},
{
"k": 2,
"l": 1,
"multiplicity": 42
},
{
"k": 3,
"l": 1,
"multiplicity": 70
}
],
"real_dynamical_kernel": 33,
"algebraic_zero_multiplicity": 64
},
"4": {
"negative": 660,
"zero_Lplus": 35,
"modes": [
{
"k": 3,
"l": 0,
"multiplicity": 20
},
{
"k": 4,
"l": 0,
"multiplicity": 35
},
{
"k": 5,
"l": 0,
"multiplicity": 56
},
{
"k": 6,
"l": 0,
"multiplicity": 84
},
{
"k": 7,
"l": 0,
"multiplicity": 120
},
{
"k": 8,
"l": 0,
"multiplicity": 165
},
{
"k": 2,
"l": 1,
"multiplicity": 60
},
{
"k": 3,
"l": 1,
"multiplicity": 120
}
],
"real_dynamical_kernel": 36,
"algebraic_zero_multiplicity": 70
},
"5": {
"negative": 1516,
"zero_Lplus": 36,
"modes": [
{
"k": 3,
"l": 0,
"multiplicity": 35
},
{
"k": 4,
"l": 0,
"multiplicity": 70
},
{
"k": 5,
"l": 0,
"multiplicity": 126
},
{
"k": 6,
"l": 0,
"multiplicity": 210
},
{
"k": 7,
"l": 0,
"multiplicity": 330
},
{
"k": 8,
"l": 0,
"multiplicity": 495
},
{
"k": 2,
"l": 1,
"multiplicity": 75
},
{
"k": 3,
"l": 1,
"multiplicity": 175
}
],
"real_dynamical_kernel": 37,
"algebraic_zero_multiplicity": 72
},
"6": {
"negative": 3283,
"zero_Lplus": 35,
"modes": [
{
"k": 3,
"l": 0,
"multiplicity": 56
},
{
"k": 4,
"l": 0,
"multiplicity": 126
},
{
"k": 5,
"l": 0,
"multiplicity": 252
},
{
"k": 6,
"l": 0,
"multiplicity": 462
},
{
"k": 7,
"l": 0,
"multiplicity": 792
},
{
"k": 8,
"l": 0,
"multiplicity": 1287
},
{
"k": 2,
"l": 1,
"multiplicity": 84
},
{
"k": 3,
"l": 1,
"multiplicity": 224
}
],
"real_dynamical_kernel": 36,
"algebraic_zero_multiplicity": 70
},
"10": {
"negative": 43692,
"zero_Lplus": 11,
"modes": [
{
"k": 3,
"l": 0,
"multiplicity": 220
},
{
"k": 4,
"l": 0,
"multiplicity": 715
},
{
"k": 5,
"l": 0,
"multiplicity": 2002
},
{
"k": 6,
"l": 0,
"multiplicity": 5005
},
{
"k": 7,
"l": 0,
"multiplicity": 11440
},
{
"k": 8,
"l": 0,
"multiplicity": 24310
},
{
"k": 2,
"l": 1,
"multiplicity": 0
},
{
"k": 3,
"l": 1,
"multiplicity": 0
}
],
"real_dynamical_kernel": 12,
"algebraic_zero_multiplicity": 22
}
},
"spectral_identities": {
"cubic_lambda_plus_affine": [
"9/8",
"-21/8"
],
"mixed_relation": "lambda_plus(2,1)=-lambda_plus(2,0)/3",
"rate_relation": "-lambda_minus(2,1)*lambda_plus(2,1)=lambda_minus(2,0)*lambda_plus(2,0)"
},
"finite_filter_certificate": {
"family_t": [
"1/16",
"1/8",
"1/4",
"1/2",
"1",
"2",
"3",
"4",
"8",
"16"
],
"degree_K": 11,
"polynomial_Q_coefficients": [
"-128/5267025",
"392/351135",
"-107459/5267025",
"4203859/21068100",
"-49658389/42136200",
"188238743/42136200",
"-19666922/1755675",
"197451683/10534050",
"-96785293/4681800",
"67471063/4681800",
"-23/4",
"1"
],
"positive_C": "128/1755675",
"M": "3960/17",
"weights": {
"2": "49021895131/47403225",
"3": "49008316423/63204300",
"4": "8186707463/14045400",
"5": "18194609257/42136200",
"6": "594130922/1755675",
"7": "2387636317/10534050",
"8": "958481293/4681800",
"9": "578800937/4681800",
"10": "7431/68",
"11": "1303/17"
},
"identity": "M G(K,1)+sum_i weights[i] G(i,0)=-alpha*C when F(1)=F(4)=alpha",
"scope": "Arbitrary real coefficients on this ten-filter family, alpha>0, with both widths present. No equal-well condition. The accompanying analytical argument treats any finite positive filter list."
},
"historical_source_artifacts": {
"spectrum_original_checker": {
"sha256": "4c0d757cffdd16f6eb1e633c460abd9ce9f403ec342a2c248f3e95edf0760052",
"bytes": 2855
},
"finite_filter_original_certificate": {
"sha256": "5506d073ee3def0ad83a415809720c27bc81dc9b90612c91efd91e873c800b59",
"bytes": 1898
},
"independent_cubic_original_checker": {
"sha256": "a1c08886339e8e2f4595c48a13c70e295fb0f8b1fc384f6b0189f278029d06ce",
"bytes": 816
}
},
"scope": "Exact finite spectral algebra plus rigorous parameter enclosure and an analytic tail bound. Not a nonlinear stability, PDE existence, lifetime, mass-family or observed-particle theorem."
}