Recorded data and provenance for the associated calculation.
| created | 2026-10-14T00:16:06.015371+00:00 |
|---|---|
| all_passed | true |
| checks | 4607 |
| scope | Exact descriptor, matrix Hessian and low polynomial operator checks; full spectrum and compact-variation proofs in report. No nonlinear evolution theorem. |
| executed_source_sha256 | 51e317f347e746850da65769e292a9cf349a0d0c17d403f3ffc5272b7021ec47 |
| provenance_assertions_counted_as_mathematics | 0 |
| mathematical_checks | 4607 |
View complete data
{
"created": "2026-10-14T00:16:06.015371+00:00",
"all_passed": true,
"checks": 4607,
"common_constants": {
"b0": 1,
"eta": 1,
"Lambda_times_pi_squared": 1
},
"assignments": [
{
"d": 2,
"k": 75,
"n_assignment": 76,
"a_over_b0": "1/77",
"count": "2926",
"matrix_kernel_dimension": 16,
"density_kernel_dimension": 27,
"trace_hessian": [
[
"35153041/2",
"-35153041/2"
],
[
"-35153041/2",
"37620259789005/2140369"
]
]
},
{
"d": 2,
"k": 80,
"n_assignment": 81,
"a_over_b0": "1/82",
"count": "3321",
"matrix_kernel_dimension": 16,
"density_kernel_dimension": 27,
"trace_hessian": [
[
"22606088",
"-22606088"
],
[
"-22606088",
"3989177204448965/176464656"
]
]
},
{
"d": 2,
"k": 94,
"n_assignment": 95,
"a_over_b0": "1/96",
"count": "4560",
"matrix_kernel_dimension": 16,
"density_kernel_dimension": 27,
"trace_hessian": [
[
"42467328",
"-42467328"
],
[
"-42467328",
"14128781229174917/332697600"
]
]
},
{
"d": 3,
"k": 0,
"n_assignment": 1,
"a_over_b0": "1/2",
"count": "1",
"matrix_kernel_dimension": 21,
"density_kernel_dimension": 32,
"trace_hessian": [
[
"32/9",
"-32/9"
],
[
"-32/9",
"2255/63"
]
]
},
{
"d": 3,
"k": 3,
"n_assignment": 4,
"a_over_b0": "1/5",
"count": "20",
"matrix_kernel_dimension": 21,
"density_kernel_dimension": 32,
"trace_hessian": [
[
"1250/9",
"-1250/9"
],
[
"-1250/9",
"95759/630"
]
]
},
{
"d": 4,
"k": 2,
"n_assignment": 3,
"a_over_b0": "1/4",
"count": "15",
"matrix_kernel_dimension": 24,
"density_kernel_dimension": 35,
"trace_hessian": [
[
"32",
"-32"
],
[
"-32",
"13447/288"
]
]
},
{
"d": 4,
"k": 19,
"n_assignment": 20,
"a_over_b0": "1/21",
"count": "8855",
"matrix_kernel_dimension": 24,
"density_kernel_dimension": 35,
"trace_hessian": [
[
"194481/8",
"-194481/8"
],
[
"-194481/8",
"6434992847/264600"
]
]
},
{
"d": 4,
"k": 71,
"n_assignment": 72,
"a_over_b0": "1/73",
"count": "1215450",
"matrix_kernel_dimension": 24,
"density_kernel_dimension": 35,
"trace_hessian": [
[
"28398241/8",
"-28398241/8"
],
[
"-28398241/8",
"6129051763505/1726596"
]
]
},
{
"d": 5,
"k": 9,
"n_assignment": 10,
"a_over_b0": "1/11",
"count": "2002",
"matrix_kernel_dimension": 25,
"density_kernel_dimension": 36,
"trace_hessian": [
[
"29282/25",
"-29282/25"
],
[
"-29282/25",
"3574404/3025"
]
]
},
{
"d": 5,
"k": 14,
"n_assignment": 15,
"a_over_b0": "1/16",
"count": "11628",
"matrix_kernel_dimension": 25,
"density_kernel_dimension": 36,
"trace_hessian": [
[
"131072/25",
"-131072/25"
],
[
"-131072/25",
"75638669/14400"
]
]
},
{
"d": 5,
"k": 21,
"n_assignment": 22,
"a_over_b0": "1/23",
"count": "65780",
"matrix_kernel_dimension": 25,
"density_kernel_dimension": 36,
"trace_hessian": [
[
"559682/25",
"-559682/25"
],
[
"-559682/25",
"35839848468/1600225"
]
]
},
{
"d": 6,
"k": 12,
"n_assignment": 13,
"a_over_b0": "1/14",
"count": "18564",
"matrix_kernel_dimension": 24,
"density_kernel_dimension": 35,
"trace_hessian": [
[
"19208/9",
"-19208/9"
],
[
"-19208/9",
"1278451903/596232"
]
]
},
{
"d": 6,
"k": 34,
"n_assignment": 35,
"a_over_b0": "1/36",
"count": "3838380",
"matrix_kernel_dimension": 24,
"density_kernel_dimension": 35,
"trace_hessian": [
[
"93312",
"-93312"
],
[
"-93312",
"888940911893/9525600"
]
]
},
{
"d": 10,
"k": 22,
"n_assignment": 23,
"a_over_b0": "1/24",
"count": "64512240",
"matrix_kernel_dimension": 0,
"density_kernel_dimension": 11,
"trace_hessian": [
[
"165888/25"
]
]
}
],
"historical_database_sources": [
{
"snapshot_id": 1096,
"path": "content/notes/topics/contact-operators/shape-frequency-mobility.md",
"sha256": "ed6e6806f8a5b6647d711c540e0ffb45ee7e0504edcd55bbe67bfe7706d1f09f"
},
{
"snapshot_id": 1096,
"path": "content/notes/topics/contact-operators/flat-space-count-action.md",
"sha256": "8050a51e5b95601798189747d25c426143ad1273b7ccf482842c987b9da1b832"
}
],
"scope": "Exact descriptor, matrix Hessian and low polynomial operator checks; full spectrum and compact-variation proofs in report. No nonlinear evolution theorem.",
"executed_source_sha256": "51e317f347e746850da65769e292a9cf349a0d0c17d403f3ffc5272b7021ec47",
"historical_provenance": {
"original_script": {
"sha256": "3329e66b682f6e7325e2d4f06f2b077ebd89de6fb68d040f40887a1e22647ede"
},
"context": [
{
"sha256": "62072d27c9b85fc188aeabf51d0f8bad05696fbf4b8e8a542d5e2af5f8c61131"
},
{
"sha256": "b65ab9f85a74f938ee2056784f5d922e04da11812d002d4eccd5e10105cb5dd5"
}
]
},
"provenance_assertions_counted_as_mathematics": 0,
"mathematical_checks": 4607,
"publication": {
"originalReportSHA256": "0db811cc2b9339fd54a260def20274bc50796815fd959885c92d1cda0d6c7078",
"omittedPrivateSourceLocations": 3,
"archivedSourceSHA256": [
"3329e66b682f6e7325e2d4f06f2b077ebd89de6fb68d040f40887a1e22647ede",
"62072d27c9b85fc188aeabf51d0f8bad05696fbf4b8e8a542d5e2af5f8c61131",
"b65ab9f85a74f938ee2056784f5d922e04da11812d002d4eccd5e10105cb5dd5"
]
}
}