{
  "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"
    ]
  }
}