Recorded data and provenance for the associated calculation.
| checks | 30484 |
|---|---|
| all_passed | true |
| target_labels | 960 |
| scope | Exact finite algebra accompanies all-degree analytic proofs; no numerical PDE simulation or uniqueness test. |
| executed_code_sha256 | 5a5f515b9b2bf407bbc88ea263a38dc813fadacc845198d0e55c044f2e1d7f1f |
| created_utc | 20261014T002941.583379Z |
View complete data
{
"checks": 30484,
"all_passed": true,
"target_labels": 960,
"maintained": [
{
"d": 2,
"k": 75,
"count": 2926,
"filtered_width": "1/77",
"physical_width": "2/153"
},
{
"d": 2,
"k": 80,
"count": 3321,
"filtered_width": "1/82",
"physical_width": "2/163"
},
{
"d": 2,
"k": 94,
"count": 4560,
"filtered_width": "1/96",
"physical_width": "2/191"
},
{
"d": 3,
"k": 0,
"count": 1,
"filtered_width": "1/2",
"physical_width": "2/3"
},
{
"d": 3,
"k": 3,
"count": 20,
"filtered_width": "1/5",
"physical_width": "2/9"
},
{
"d": 4,
"k": 2,
"count": 15,
"filtered_width": "1/4",
"physical_width": "2/7"
},
{
"d": 4,
"k": 19,
"count": 8855,
"filtered_width": "1/21",
"physical_width": "2/41"
},
{
"d": 4,
"k": 71,
"count": 1215450,
"filtered_width": "1/73",
"physical_width": "2/145"
},
{
"d": 5,
"k": 9,
"count": 2002,
"filtered_width": "1/11",
"physical_width": "2/21"
},
{
"d": 5,
"k": 14,
"count": 11628,
"filtered_width": "1/16",
"physical_width": "2/31"
},
{
"d": 5,
"k": 21,
"count": 65780,
"filtered_width": "1/23",
"physical_width": "2/45"
},
{
"d": 6,
"k": 12,
"count": 18564,
"filtered_width": "1/14",
"physical_width": "2/27"
},
{
"d": 6,
"k": 34,
"count": 3838380,
"filtered_width": "1/36",
"physical_width": "2/71"
},
{
"d": 10,
"k": 22,
"count": 64512240,
"filtered_width": "1/24",
"physical_width": "2/47"
}
],
"disturbance_degrees_checked": [
0,
12
],
"scope": "Exact finite algebra accompanies all-degree analytic proofs; no numerical PDE simulation or uniqueness test.",
"executed_code_sha256": "5a5f515b9b2bf407bbc88ea263a38dc813fadacc845198d0e55c044f2e1d7f1f",
"provenance": {
"adapted_from_code_sha256": "53e74959f503b9e207189271559a01aa09fb9cb1df69d8dbecf25f2bcaf8a4c2",
"scope": "Standalone rational algebra from the Gaussian-smoothed count action; no database or private working directory required."
},
"created_utc": "20261014T002941.583379Z"
}