Recorded data and provenance for the associated calculation.
| created | 2026-10-14T00:16:09.719169+00:00 |
|---|---|
| checks | 103 |
| all_passed | true |
| source_sha256 | 8f495d8f563c592254c7fc61b0b23ab4879c2b91d10dbe09c9741d5ca9aaad4b |
| scope | Independent off-shell nonlinear density Euler identity, principal-symbol identity and positivity, all six maintained depth spectral multiplicities through degree 14. Historical provenance checks are excluded. Not a rerun of author checks. |
| executed_source_sha256 | 8f495d8f563c592254c7fc61b0b23ab4879c2b91d10dbe09c9741d5ca9aaad4b |
| provenance_assertions_counted_as_mathematics | 0 |
| mathematical_checks | 103 |
View complete data
{
"created": "2026-10-14T00:16:09.719169+00:00",
"checks": 103,
"all_passed": true,
"source_sha256": "8f495d8f563c592254c7fc61b0b23ab4879c2b91d10dbe09c9741d5ca9aaad4b",
"scope": "Independent off-shell nonlinear density Euler identity, principal-symbol identity and positivity, all six maintained depth spectral multiplicities through degree 14. Historical provenance checks are excluded. Not a rerun of author checks.",
"executed_source_sha256": "8f495d8f563c592254c7fc61b0b23ab4879c2b91d10dbe09c9741d5ca9aaad4b",
"historical_provenance": {
"original_script": {
"sha256": "d53c6b4edc2b7b3587beaafac281d4a065350fbcc1e18de8bb65df837e4d3537"
},
"context": [
{
"sha256": "2c94c641e22416522301f6230c41550a4dca1f669dc40bad6decee6dda599bf9"
},
{
"sha256": "3329e66b682f6e7325e2d4f06f2b077ebd89de6fb68d040f40887a1e22647ede"
},
{
"sha256": "62bb056b7034b2dc7a19c352e43bf5ad2b51fe4199dfc3ece60fdf62baff485e"
},
{
"sha256": "c8bf46ed294034857243967232d61a962ed7025f339793854d46bda2c97048b3"
},
{
"sha256": "21bd06852aa22679ff2a0dcafe302723c490ffe90301339b8ce2a8f98ea617c3"
},
{
"sha256": "7f036be368f726b88cea36b169d84d2386854c825effec998f92b76278960bb3"
},
{
"sha256": "745959c3be05d8f58a4d7f19e2e51c94d4c1b8091b19a15d4a532499cb3677d3"
},
{
"sha256": "62072d27c9b85fc188aeabf51d0f8bad05696fbf4b8e8a542d5e2af5f8c61131"
}
]
},
"provenance_assertions_counted_as_mathematics": 0,
"mathematical_checks": 103,
"publication": {
"originalReportSHA256": "56c0486fffc3e684cdbe0045f497fe66eec624c4d73f6a9f0d05a424b01da98b",
"omittedPrivateSourceLocations": 9,
"archivedSourceSHA256": [
"21bd06852aa22679ff2a0dcafe302723c490ffe90301339b8ce2a8f98ea617c3",
"2c94c641e22416522301f6230c41550a4dca1f669dc40bad6decee6dda599bf9",
"3329e66b682f6e7325e2d4f06f2b077ebd89de6fb68d040f40887a1e22647ede",
"62072d27c9b85fc188aeabf51d0f8bad05696fbf4b8e8a542d5e2af5f8c61131",
"62bb056b7034b2dc7a19c352e43bf5ad2b51fe4199dfc3ece60fdf62baff485e",
"745959c3be05d8f58a4d7f19e2e51c94d4c1b8091b19a15d4a532499cb3677d3",
"7f036be368f726b88cea36b169d84d2386854c825effec998f92b76278960bb3",
"c8bf46ed294034857243967232d61a962ed7025f339793854d46bda2c97048b3",
"d53c6b4edc2b7b3587beaafac281d4a065350fbcc1e18de8bb65df837e4d3537"
]
}
}