{
  "id": "lm-004145",
  "title": "證明之後呢？從形式解到計算後果的 Proof-to-Runtime Gap — What Comes After the Proof_ From Formal Resolution to Computational Consequence",
  "source_file": "content/papers/2026/2026-09/證明之後呢？從形式解到計算後果的 Proof-to-Runtime Gap — What Comes After the Proof_ From Formal Resolution to Computational Consequence.md",
  "legacy_slug": "Proof-to-Runtime-Gap-What-Comes-After-the-Proof_-From-Formal-Resolution-to-Computational-Consequence.md",
  "ext": "md",
  "language": "zh-Hant",
  "authorship": "collaborative",
  "created": "2026-09-10",
  "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-004145/",
  "raw_url": "/raw/lm-004145.md",
  "api_url": "/api/papers/lm-004145.json",
  "legacy_page_url": "/papers/Proof-to-Runtime-Gap-What-Comes-After-the-Proof_-From-Formal-Resolution-to-Computational-Consequence.md.html",
  "legacy_raw_url": "/papers/Proof-to-Runtime-Gap-What-Comes-After-the-Proof_-From-Formal-Resolution-to-Computational-Consequence.md",
  "hash": "sha256:503a9ff8f567d748a66cd437de3b609dffd3c1999959f48d66dc7784c43b13b8"
}