{
  "status": "passed",
  "source_sha256": {
    "DeltaTrace.lean": "67b1a1660daec61405c51e055fa72ad30d09df31338afa4e71a0f91f52efd429",
    "DeltaRetention.lean": "ea54410984e608efdc8f40a0b4602e3aa1f5adfbab02f7e971a44678934c1c68"
  },
  "receipt_date": "2026-09-08",
  "declaration_counts": {
    "DeltaTrace": 7,
    "DeltaHierarchyGrammar": 63,
    "TraceRealization.DeltaRetention": 32
  },
  "allowed_axioms": [
    "propext",
    "Classical.choice",
    "Quot.sound"
  ],
  "scope": [
    "Polynomial classification covers finite DeltaKernel.DTerm expressions, not all definable delta programs.",
    "Hierarchy selection assumes restriction to two contributing inputs, append compatibility, a uniform scale realization and least-J selection.",
    "Spatial retention constructs a winding encoding of unary delta act counts in the complement of a fixed debit trace.",
    "Actual geometric concatenation implements delta append up to free deformation.",
    "The 4D obstruction concerns the identical source-loop encoding, not every possible record mechanism.",
    "No Verdict premise has been removed."
  ],
  "method": "Hash comparison with existing successful integration receipt; not a fresh build of the geometry."
}