{
  "id": "lm-005450",
  "title": "全域運算軌跡與計算正確性的跨表示不變結構：有型別歷程、保真轉換、條件性證書與命題域再適配",
  "source_file": "content/papers/2026/2026-11/全域運算軌跡與計算正確性的跨表示不變結構：有型別歷程、保真轉換、條件性證書與命題域再適配.md",
  "legacy_slug": "paper-5211.md",
  "ext": "md",
  "language": "zh-Hant",
  "authorship": "collaborative",
  "created": "2026-11-06",
  "year": 2026,
  "month": "2026-11",
  "date_confidence": "explicit",
  "date_basis": "git-first-add (publication/upload date; not the author's in-text writing date)",
  "canonical_url": "/p/lm-005450/",
  "raw_url": "/raw/lm-005450.md",
  "api_url": "/api/papers/lm-005450.json",
  "legacy_page_url": "/papers/paper-5211.md.html",
  "legacy_raw_url": "/papers/paper-5211.md",
  "hash": "sha256:b7fbc4454e1a0206ef8f67289931e420a857ca1a4275f263a3aaab9412cee8ae",
  "research_world": {
    "publication_version": "1.0",
    "ontology_mapping_level": 0,
    "mapping_status": "unmapped",
    "source_artifact": "sha256:b7fbc4454e1a0206ef8f67289931e420a857ca1a4275f263a3aaab9412cee8ae",
    "registered_by": "commit:ua:000053"
  }
}