{
  "id": "lm-003590",
  "title": "CSM Paper 07 — Closure Calculus, Composition Rules, and Proof-Carrying Operators",
  "source_file": "content/papers/2026/2026-09/CSM Paper 07 — Closure Calculus, Composition Rules, and Proof-Carrying Operators.md",
  "legacy_slug": "CSM-Paper-07-Closure-Calculus-Composition-Rules-and-Proof-Carrying-Operators.md",
  "ext": "md",
  "language": "en",
  "authorship": "collaborative",
  "created": "2026-09-04",
  "year": 2026,
  "month": "2026-09",
  "date_confidence": "explicit",
  "date_basis": "git-first-add (publication/upload date; not the author's in-text writing date)",
  "canonical_url": "/p/lm-003590/",
  "raw_url": "/raw/lm-003590.md",
  "api_url": "/api/papers/lm-003590.json",
  "legacy_page_url": "/papers/CSM-Paper-07-Closure-Calculus-Composition-Rules-and-Proof-Carrying-Operators.md.html",
  "legacy_raw_url": "/papers/CSM-Paper-07-Closure-Calculus-Composition-Rules-and-Proof-Carrying-Operators.md",
  "hash": "sha256:42fa87c9cffd8d8826c58c05b193f7b10b7e3368941eb20d30eeee595008fbdb"
}