{
  "program_id": "rp-on-rdss",
  "generated_at": "2026-09-10T13:30:06Z",
  "iterations": [
    {
      "sequence": 1,
      "id": "lm-002652",
      "title": "RDSS 01–09 全公式算子化轉譯矩陣",
      "topic": "v0.1｜將 RDSS 01–09 全部公式改寫為 operatorized form，含 Dom/Cod、admissibility、certificate obligation",
      "iteration_type": "foundation",
      "is_checkpoint": false,
      "canonical_url": "/p/lm-002652/",
      "raw_url": "/raw/lm-002652.md",
      "api_url": "/api/papers/lm-002652.json",
      "authorship": "collaborative",
      "month": "2026-08",
      "language": "en"
    },
    {
      "sequence": 2,
      "id": "lm-002651",
      "title": "Operator-Native RDSS 原語代數與型別系統",
      "topic": "v0.1｜12 個 operator primitives、partiality、restriction-like 公理、Bridge、條件結合律、Meta safety",
      "iteration_type": "applied",
      "is_checkpoint": false,
      "canonical_url": "/p/lm-002651/",
      "raw_url": "/raw/lm-002651.md",
      "api_url": "/api/papers/lm-002651.json",
      "authorship": "collaborative",
      "month": "2026-08",
      "language": "en"
    },
    {
      "sequence": 3,
      "id": "lm-002650",
      "title": "Operator-Native RDSS Deep Formal Backbone",
      "topic": "v0.2｜operator word、partial composition、rewriting、normal form、wiring、meta-evolution",
      "iteration_type": "applied",
      "is_checkpoint": false,
      "canonical_url": "/p/lm-002650/",
      "raw_url": "/raw/lm-002650.md",
      "api_url": "/api/papers/lm-002650.json",
      "authorship": "collaborative",
      "month": "2026-08",
      "language": "en"
    },
    {
      "sequence": 4,
      "id": "lm-002638",
      "title": "ON-RDSS Certified Paracomposition and Critical Pairs",
      "topic": "v0.3｜certified paracomposition 與 semantic critical pairs，normalization checker 驗證",
      "iteration_type": "applied",
      "is_checkpoint": false,
      "canonical_url": "/p/lm-002638/",
      "raw_url": "/raw/lm-002638.md",
      "api_url": "/api/papers/lm-002638.json",
      "authorship": "collaborative",
      "month": "2026-08",
      "language": "en"
    },
    {
      "sequence": 5,
      "id": "lm-002639",
      "title": "ON-RDSS Critical-Pair Calculus and Primitive Minimality",
      "topic": "v0.4｜critical-pair calculus 與 12→6 primitive 化約候選，primitive-elimination checker 驗證",
      "iteration_type": "applied",
      "is_checkpoint": false,
      "canonical_url": "/p/lm-002639/",
      "raw_url": "/raw/lm-002639.md",
      "api_url": "/api/papers/lm-002639.json",
      "authorship": "collaborative",
      "month": "2026-08",
      "language": "en"
    },
    {
      "sequence": 6,
      "id": "lm-002648",
      "title": "ON-RDSS Typed Effect Universal Operator",
      "topic": "v0.5｜單一 typed operator schema：Op[σ⇒τ!χ@d]，typing judgment 與可執行性判定分離",
      "iteration_type": "applied",
      "is_checkpoint": false,
      "canonical_url": "/p/lm-002648/",
      "raw_url": "/raw/lm-002648.md",
      "api_url": "/api/papers/lm-002648.json",
      "authorship": "collaborative",
      "month": "2026-08",
      "language": "en"
    },
    {
      "sequence": 7,
      "id": "lm-002647",
      "title": "ON-RDSS Type-and-Effect Calculus",
      "topic": "v0.6｜第一代型別—效果演算，sequential effect trace，subject-reduction checker 驗證",
      "iteration_type": "applied",
      "is_checkpoint": false,
      "canonical_url": "/p/lm-002647/",
      "raw_url": "/raw/lm-002647.md",
      "api_url": "/api/papers/lm-002647.json",
      "authorship": "collaborative",
      "month": "2026-08",
      "language": "en"
    },
    {
      "sequence": 8,
      "id": "lm-002646",
      "title": "ON-RDSS Type/Effect Safety Proof Skeleton",
      "topic": "v0.7｜五分量 type safety 候選定理與 structural preservation proof skeleton，窮舉 checker 驗證 0 preservation failures（324 well-typed words）",
      "iteration_type": "applied",
      "is_checkpoint": false,
      "canonical_url": "/p/lm-002646/",
      "raw_url": "/raw/lm-002646.md",
      "api_url": "/api/papers/lm-002646.json",
      "authorship": "collaborative",
      "month": "2026-08",
      "language": "en"
    },
    {
      "sequence": 9,
      "id": "lm-002649",
      "title": "ON-RDSS Wiring Subject Reduction and Effect Pomset",
      "topic": "v0.8｜typed wiring graph、effect pomset，關鍵反例：naive macro contraction 產生 false causality",
      "iteration_type": "applied",
      "is_checkpoint": false,
      "canonical_url": "/p/lm-002649/",
      "raw_url": "/raw/lm-002649.md",
      "api_url": "/api/papers/lm-002649.json",
      "authorship": "collaborative",
      "month": "2026-08",
      "language": "en"
    },
    {
      "sequence": 10,
      "id": "lm-002637",
      "title": "ON-RDSS Certified Effect Event Structures",
      "topic": "v0.9｜certified effect event structures，conflict erasure 與 OR/AND cause 分離驗證",
      "iteration_type": "applied",
      "is_checkpoint": false,
      "canonical_url": "/p/lm-002637/",
      "raw_url": "/raw/lm-002637.md",
      "api_url": "/api/papers/lm-002637.json",
      "authorship": "collaborative",
      "month": "2026-08",
      "language": "en"
    },
    {
      "sequence": 11,
      "id": "lm-002640",
      "title": "ON-RDSS Dynamic CEES, Branch Quotient, and Folding",
      "topic": "v0.10｜General CEES、version-relative fold/quotient，no-silent-retroactivity 治理原則",
      "iteration_type": "applied",
      "is_checkpoint": false,
      "canonical_url": "/p/lm-002640/",
      "raw_url": "/raw/lm-002640.md",
      "api_url": "/api/papers/lm-002640.json",
      "authorship": "collaborative",
      "month": "2026-08",
      "language": "en"
    },
    {
      "sequence": 12,
      "id": "lm-002642",
      "title": "ON-RDSS HP/HHP Branch Quotient Checker",
      "topic": "v0.11｜finite prime-event-structure checker，greatest-fixed-point Plain HP 建立",
      "iteration_type": "applied",
      "is_checkpoint": false,
      "canonical_url": "/p/lm-002642/",
      "raw_url": "/raw/lm-002642.md",
      "api_url": "/api/papers/lm-002642.json",
      "authorship": "collaborative",
      "month": "2026-08",
      "language": "en"
    },
    {
      "sequence": 13,
      "id": "lm-002643",
      "title": "ON-RDSS History-Decorated CEES and Causal Realization",
      "topic": "v0.12｜history-decorated configuration Ĉ=(C,π,≤π,v)，same-event-set≠same-causal-history 反例",
      "iteration_type": "applied",
      "is_checkpoint": false,
      "canonical_url": "/p/lm-002643/",
      "raw_url": "/raw/lm-002643.md",
      "api_url": "/api/papers/lm-002643.json",
      "authorship": "collaborative",
      "month": "2026-08",
      "language": "en"
    },
    {
      "sequence": 14,
      "id": "lm-002641",
      "title": "ON-RDSS Explicit Backward HHP Regression",
      "topic": "v0.13｜explicit backward HHP，經典 HP≠HHP counterexample 成功翻譯（HP=true, HHP=false），永久保留 regression fixture",
      "iteration_type": "applied",
      "is_checkpoint": false,
      "canonical_url": "/p/lm-002641/",
      "raw_url": "/raw/lm-002641.md",
      "api_url": "/api/papers/lm-002641.json",
      "authorship": "collaborative",
      "month": "2026-08",
      "language": "en"
    },
    {
      "sequence": 15,
      "id": "lm-002636",
      "title": "ON-RDSS Bounded Backtracking and Cause-Sensitive Verification",
      "topic": "v0.14｜Runtime-approximation RBHHP_k 階層，明確不宣稱等於文獻 LitHHP_k",
      "iteration_type": "applied",
      "is_checkpoint": false,
      "canonical_url": "/p/lm-002636/",
      "raw_url": "/raw/lm-002636.md",
      "api_url": "/api/papers/lm-002636.json",
      "authorship": "collaborative",
      "month": "2026-08",
      "language": "en"
    },
    {
      "sequence": 16,
      "id": "lm-002644",
      "title": "ON-RDSS Literature-Bounded HHP and Cause-Sensitive Verification Lattice",
      "topic": "v0.15｜LitHHP_n 與 RBHHP_k 正式分離，CauseSensitive CBHHP 實作，Verification Grade 五軸多元序",
      "iteration_type": "applied",
      "is_checkpoint": false,
      "canonical_url": "/p/lm-002644/",
      "raw_url": "/raw/lm-002644.md",
      "api_url": "/api/papers/lm-002644.json",
      "authorship": "collaborative",
      "month": "2026-08",
      "language": "en"
    },
    {
      "sequence": 17,
      "id": "lm-002645",
      "title": "Operator-Native RDSS 研究交接文件",
      "topic": "v1.0｜全系列收束：12 條核心結果 R1–R12、已驗證 vs 未證明明確分界、外部數學接口對照、下一階段優先順序 A–G、重啟用開場 prompt",
      "iteration_type": "synthesis",
      "is_checkpoint": true,
      "canonical_url": "/p/lm-002645/",
      "raw_url": "/raw/lm-002645.md",
      "api_url": "/api/papers/lm-002645.json",
      "authorship": "collaborative",
      "month": "2026-08",
      "language": "en"
    }
  ]
}