{
  "program_id": "rp-global-quantifier-proof-tension",
  "generated_at": "2026-09-10T13:30:06Z",
  "iterations": [
    {
      "sequence": 1,
      "id": "lm-002409",
      "title": "全域量詞與全域證明：從有限驗證到全域量詞壓縮機制",
      "topic": "全域量詞與全域證明：從有限驗證到全域量詞壓縮機制",
      "iteration_type": "foundation",
      "is_checkpoint": false,
      "canonical_url": "/p/lm-002409/",
      "raw_url": "/raw/lm-002409.md",
      "api_url": "/api/papers/lm-002409.json",
      "authorship": "collaborative",
      "month": "2026-08",
      "language": "zh-Hant"
    },
    {
      "sequence": 2,
      "id": "lm-002417",
      "title": "正證與證偽的量詞不對稱：證明張力、反例算子與策略型全域證明",
      "topic": "正證與證偽的量詞不對稱：證明張力、反例算子與策略型全域證明",
      "iteration_type": "applied",
      "is_checkpoint": false,
      "canonical_url": "/p/lm-002417/",
      "raw_url": "/raw/lm-002417.md",
      "api_url": "/api/papers/lm-002417.json",
      "authorship": "collaborative",
      "month": "2026-08",
      "language": "zh-Hant"
    },
    {
      "sequence": 3,
      "id": "lm-002407",
      "title": "P-NP 的量詞張力重構：GLC、GCC、USRT 與 USEG 作為全域證明接口",
      "topic": "P-NP 的量詞張力重構：GLC、GCC、USRT 與 USEG 作為全域證明接口",
      "iteration_type": "applied",
      "is_checkpoint": false,
      "canonical_url": "/p/lm-002407/",
      "raw_url": "/raw/lm-002407.md",
      "api_url": "/api/papers/lm-002407.json",
      "authorship": "collaborative",
      "month": "2026-08",
      "language": "zh-Hant"
    },
    {
      "sequence": 4,
      "id": "lm-002406",
      "title": "MCDM v0.2：數學猜想的量詞—證明不對稱與研究路由矩陣",
      "topic": "MCDM v0.2：數學猜想的量詞—證明不對稱與研究路由矩陣",
      "iteration_type": "synthesis",
      "is_checkpoint": true,
      "canonical_url": "/p/lm-002406/",
      "raw_url": "/raw/lm-002406.md",
      "api_url": "/api/papers/lm-002406.json",
      "authorship": "collaborative",
      "month": "2026-08",
      "language": "zh-Hant"
    }
  ]
}