{
  "work_doi": "10.5281/zenodo.19183407",
  "exact_release_doi": "10.5281/zenodo.22875348",
  "title": "Closure by Exhaustion for Same-Scope Operators under Admissibility",
  "publisher_publication_date": "2026-09-21",
  "publisher_version": null,
  "sha256": "cd4c09a3cb4eae70dc1082ffc0fcb66e1914fab6e5f49cecd164fd9ec2f42051",
  "bytes": 504855,
  "pages": 30,
  "pdf_url": "https://constraintsystemsinstitute.org/manuscripts/zenodo-19183407/sha256-cd4c09a3cb4eae70dc1082ffc0fcb66e1914fab6e5f49cecd164fd9ec2f42051/manuscript.pdf",
  "canonical_work_url": "https://constraintsystemsinstitute.org/papers/closure-by-exhaustion-for-same-scope-operators-under-admissibility-mathematics-10-5281/",
  "publisher_url": "https://zenodo.org/records/22875348",
  "verification": "Publisher checksum and SHA256 checked; searchable original PDF, no independent proof audit.",
  "conversion": "No complete manuscript HTML conversion. Repository descriptions are attributed reading aids or publisher metadata."
}