Aira 研究文档
研究记录是某一日期的证据与决策输入，不是当前任务清单，也不静默修改规范。当前状态看 工作进度，实施顺序看 产品结构与工程定义实施方案。
长篇调查在各自主文档提供专题目录；分篇保留原日期、方法、来源和限制，共用同一调查结论。
架构与复用依据
Section titled “架构与复用依据”- AI 原生 CAD 核心研究总览：架构、推导、算法、选型、AI 接口、通用性与实测分篇，原始实验材料单列。
- 全仓潜在问题审计：契约缺口、状态面无界增长与缺失的验证网
- 把合法集合告诉模型：有限论域缺口
- AMIR 现状审计：规范声称 / 实现承担 / 落差
- 特征名与参数名的本地化：文档层码化设计
- 材料库来源与设计
- 标准件开源库整合基底设计
- 标准件库来源搜集
- AI CAD 执行成本与 Plan–Compile 路线
- 开源底座与自研实现重叠审计 （附只读复现探针）
- CAD 底座复用、版本兼容与证据体系
- Aira UI 与前沿网站设计
- Aira UI 开源复用审计
- 外部先例扫描
AI CAD 交互理论
Section titled “AI CAD 交互理论”- 从开放意图到可验证设计：交互白皮书：理论依据、数学边界、交互协议与待验证假设。
AI、评测与产品路线
Section titled “AI、评测与产品路线”- Jev 深度集成架构：开放候选、语义判断与工程证据：含约束策略推导与针对性实验。
- Laya 自部署研究与 Jev／Aira 适配评分
- AI 原生 CAD 的能力发现、工具调用与可编辑建模
- Aira Evals 开源复用审计
- ForgeCAD.io 产品评审
- janauto/forgecad 原型路线评审
- 本地开源源码与研究参考基线
- AI 原生 SDF、网格与 CAD 内核
- 草图约束求解器实验
Lane F / Lane R
Section titled “Lane F / Lane R”- Lane F 工业隐式产品轨
- Lane R：PV regular-isotopy
- Binary64 对角根健全性
- Exact root Phase 0
- 形式化证书 v0.1
- 形式化证明义务
- 形式化可信计算基
- 形式化验证 Phase 1
- 证书驱动定理账本
- 已发表定理合同审计
- R6 prior-art review
Lane R 的活动入口为总体计划与规范。已完成阶段计划由 Git 历史保存。