Aira 实施方案与里程碑计划（Plans）

本文档索引 Aira 的实施方案与技术依据；开发进度统一在 GitHub 管理。文档结构遵循 AGENTS.md“实现优先，记录最小化”原则：任何阶段只保留一个当前产品目标；实施计划定义做法，GitHub milestones/issues 用英文记录状态、依赖和验收，其他文档只引用。

核心执行依据（当前生效）

| 当前工作状态 (ACTIVE_TASK.md) | 当前目标、执行约束与 GitHub issue 指针（50 行以内），不复制进展清单。 | | 里程碑技术路线图 (ROADMAP.md) | R1–R7 结果里程碑导航与依赖解释；实际状态以 GitHub 为准。 | | AI 原生关系内核实施方案 | 当前产品改造的源码位置、单一权威模型、编译/求解/封存恢复、工业行为与验收依赖；理论与选型只引用独立研究文档。 | | 正式上线推进计划 (AIRA-PRODUCTION-LAUNCH-PLAN.md) | 首发上线承诺、Gate 准入矩阵、生产预算、SLO 与回滚触发条件。 | | 核心建模基线与维护边界 (AIRA-CAD-FOUNDATION-CORRECTION-PLAN.md) | 已验收几何内核基线与维护边界；按产品宪法 §0 和开发约定区分成熟通用算法复用与 AI CAD 架构自主创新。 |

技术架构依据

长期架构演进计划与研究总览保留技术推导。历史 M4–M32 与 Waves 5–9 的完成清单已退役；源码历史通过 Git 查阅，不能作为当前验收。

专属系统方案

产品结构与工程定义方案 (AIRA-PRODUCT-STRUCTURE-PLAN.md)：当前 AI 原生关系内核的实施方案；保留零件复用、多实例装配、空间求解和关联工程交付的历史依据。
有界步进架构方案 (AIRA-BOUNDED-STEP-ARCHITECTURE-PLAN.md)：轻量单管线复合计划协议、紧凑决策签名、上下文滑动窗口与推理 Token 降耗优化。
Lane R 证明携带曲面研究 (AIRA-LANE-R-PROOF-CARRYING-ISOTOPY-PLAN.md)：隐式曲面网格的可检查拓扑保证研究、Lean 4 形式化验证与窄接受域维护准则。