Recorded data and provenance for the associated calculation.
| created | 2026-10-14T00:16:07.835222+00:00 |
|---|---|
| all_passed | true |
| checks | 3844 |
| target_labels | 960 |
| depths | 1 through 10 |
| k | 0 through 95 |
| cutoff | one common product of scalar invariant cutoffs |
| source_sha256 | dd94432e12025f06bb4d5da82338f80a96f8f7c65effd65f85ab53f9ef2340fc |
| scope | Exact interior margins; smooth bump and variational identities proved in finite-band-repair.md. |
| executed_source_sha256 | dd94432e12025f06bb4d5da82338f80a96f8f7c65effd65f85ab53f9ef2340fc |
| provenance_assertions_counted_as_mathematics | 0 |
| mathematical_checks | 3844 |
View complete data
{
"created": "2026-10-14T00:16:07.835222+00:00",
"all_passed": true,
"checks": 3844,
"target_labels": 960,
"depths": "1 through 10",
"k": "0 through 95",
"cutoff": "one common product of scalar invariant cutoffs",
"source_sha256": "dd94432e12025f06bb4d5da82338f80a96f8f7c65effd65f85ab53f9ef2340fc",
"scope": "Exact interior margins; smooth bump and variational identities proved in finite-band-repair.md.",
"executed_source_sha256": "dd94432e12025f06bb4d5da82338f80a96f8f7c65effd65f85ab53f9ef2340fc",
"historical_provenance": {
"original_script": {
"sha256": "c8bf46ed294034857243967232d61a962ed7025f339793854d46bda2c97048b3"
},
"context": [
{
"sha256": "2fb5c59b27d15d987f0099921e687f22659817ad15f33f8fecd8f958aa865da2"
}
]
},
"provenance_assertions_counted_as_mathematics": 0,
"mathematical_checks": 3844,
"publication": {
"originalReportSHA256": "7eee1eb26b8731f563bc11957b371c4133c380d67b63b7ec555c7d5e636ab944",
"omittedPrivateSourceLocations": 2,
"archivedSourceSHA256": [
"2fb5c59b27d15d987f0099921e687f22659817ad15f33f8fecd8f958aa865da2",
"c8bf46ed294034857243967232d61a962ed7025f339793854d46bda2c97048b3"
]
}
}