Recorded data and provenance for the associated calculation.
| created | 2026-10-14T00:16:07.593048+00:00 |
|---|---|
| all_passed | true |
| checks | 2308 |
| exact_spectral_blocks_through_degree_8 | 1235 |
| pair_counterexample_ahat | -437/3048 |
| source_sha256 | cdf54a2aea4b0e1feed953bc50ffc24440e872db0522375b6ff37732984af7d8 |
| structural_assertions | 1 |
| scope | Finite block positivity complements analytic full-spectrum proof; independent radial differential check and pair-domain counterexample. |
| executed_source_sha256 | cdf54a2aea4b0e1feed953bc50ffc24440e872db0522375b6ff37732984af7d8 |
| provenance_assertions_counted_as_mathematics | 0 |
| mathematical_checks | 2308 |
View complete data
{
"created": "2026-10-14T00:16:07.593048+00:00",
"all_passed": true,
"checks": 2308,
"exact_spectral_blocks_through_degree_8": 1235,
"pair_counterexample_ahat": "-437/3048",
"source_sha256": "cdf54a2aea4b0e1feed953bc50ffc24440e872db0522375b6ff37732984af7d8",
"recomputed_trace_matrices": [
{
"d": 2,
"k": 75,
"matrix": [
[
"35153041/2",
"-35153041/2"
],
[
"-35153041/2",
"37620259789005/2140369"
]
]
},
{
"d": 2,
"k": 80,
"matrix": [
[
"22606088",
"-22606088"
],
[
"-22606088",
"3989177204448965/176464656"
]
]
},
{
"d": 2,
"k": 94,
"matrix": [
[
"42467328",
"-42467328"
],
[
"-42467328",
"14128781229174917/332697600"
]
]
},
{
"d": 3,
"k": 0,
"matrix": [
[
"32/9",
"-32/9"
],
[
"-32/9",
"2255/63"
]
]
},
{
"d": 3,
"k": 3,
"matrix": [
[
"1250/9",
"-1250/9"
],
[
"-1250/9",
"95759/630"
]
]
},
{
"d": 4,
"k": 2,
"matrix": [
[
"32",
"-32"
],
[
"-32",
"13447/288"
]
]
},
{
"d": 4,
"k": 19,
"matrix": [
[
"194481/8",
"-194481/8"
],
[
"-194481/8",
"6434992847/264600"
]
]
},
{
"d": 4,
"k": 71,
"matrix": [
[
"28398241/8",
"-28398241/8"
],
[
"-28398241/8",
"6129051763505/1726596"
]
]
},
{
"d": 5,
"k": 9,
"matrix": [
[
"29282/25",
"-29282/25"
],
[
"-29282/25",
"3574404/3025"
]
]
},
{
"d": 5,
"k": 14,
"matrix": [
[
"131072/25",
"-131072/25"
],
[
"-131072/25",
"75638669/14400"
]
]
},
{
"d": 5,
"k": 21,
"matrix": [
[
"559682/25",
"-559682/25"
],
[
"-559682/25",
"35839848468/1600225"
]
]
},
{
"d": 6,
"k": 12,
"matrix": [
[
"19208/9",
"-19208/9"
],
[
"-19208/9",
"1278451903/596232"
]
]
},
{
"d": 6,
"k": 34,
"matrix": [
[
"93312",
"-93312"
],
[
"-93312",
"888940911893/9525600"
]
]
},
{
"d": 10,
"k": 22,
"matrix": [
[
"165888/25"
]
]
}
],
"structural_assertions": 1,
"scope": "Finite block positivity complements analytic full-spectrum proof; independent radial differential check and pair-domain counterexample.",
"executed_source_sha256": "cdf54a2aea4b0e1feed953bc50ffc24440e872db0522375b6ff37732984af7d8",
"historical_provenance": {
"original_script": {
"sha256": "62bb056b7034b2dc7a19c352e43bf5ad2b51fe4199dfc3ece60fdf62baff485e"
},
"context": [
{
"sha256": "c3c5b99621f5a9b58e4f81c331fb3ea28fc71c643e9d50fa01bb8782c498dd2f"
},
{
"sha256": "968c369e2d47548064fe3fc30f17679cfce6260c7dd1d84aa52cdc421d56eb0a"
},
{
"sha256": "b65ab9f85a74f938ee2056784f5d922e04da11812d002d4eccd5e10105cb5dd5"
}
]
},
"provenance_assertions_counted_as_mathematics": 0,
"mathematical_checks": 2308,
"publication": {
"originalReportSHA256": "2807713ea2aa42ec605aad8587ff5f3fc66b09270b088e780814fe1116f3138c",
"omittedPrivateSourceLocations": 4,
"archivedSourceSHA256": [
"62bb056b7034b2dc7a19c352e43bf5ad2b51fe4199dfc3ece60fdf62baff485e",
"968c369e2d47548064fe3fc30f17679cfce6260c7dd1d84aa52cdc421d56eb0a",
"b65ab9f85a74f938ee2056784f5d922e04da11812d002d4eccd5e10105cb5dd5",
"c3c5b99621f5a9b58e4f81c331fb3ea28fc71c643e9d50fa01bb8782c498dd2f"
]
}
}