{
  "work_doi": "10.5281/zenodo.20092475",
  "exact_release_doi": "10.5281/zenodo.20092476",
  "title": "Concrete-Domain Closure under AASC",
  "manuscript_date": "May 2026",
  "publisher_publication_date": "2026-05-09",
  "publisher_version": null,
  "sha256": "1f3760848912fddfcc68848df25c1090cf9ff6ae0f4ecea4fd0ad66888b56cd4",
  "bytes": 303868,
  "pages": 18,
  "pdf_url": "https://constraintsystemsinstitute.org/manuscripts/zenodo-20092475/sha256-1f3760848912fddfcc68848df25c1090cf9ff6ae0f4ecea4fd0ad66888b56cd4/manuscript.pdf",
  "canonical_work_url": "https://constraintsystemsinstitute.org/papers/concrete-domain-closure-under-aasc-20092475/",
  "publisher_url": "https://zenodo.org/records/20092476",
  "verification": "Publisher checksum and SHA256 byte identity checked; completion markers reviewed. No independent proof verification.",
  "conversion": "Repository reading summary; no full-text HTML conversion."
}