Aira 正式上线推进计划

更新：2026-09-20。首发承诺：AI 通用工业建模软件。本文只定义发布依赖与准入条件。目标、完成状态与验收证据见 GitHub 开发计划，本地执行指针见 ACTIVE_TASK.md；核心架构推导与裁决见独立研究文档 §22，源码改动、依赖与验收见当前实施方案。

1. 发布决策与依赖

所有外部上线继续暂停。历史 G-CAD、AI-CAD-1 和 provider-off 云运行结果只覆盖其限定任务、模型与产物，不覆盖当前源码，也不证明通用工业系统已完成。不能把首发降为单零件试点、Technical Preview 或邀请制 Alpha。

当前产品改造先完成AI 原生关系内核实施方案规定的共同机制，再形成发布候选并满足下述准入条件；做法与依赖只在实施方案维护。历史 M1–M3 的公共产品结构、可持续工程定义和规模验证是已有基线，不替代本轮关系编译、封存恢复及工业行为的实际接线。已有 Agent、几何、求值、存储和部署设施继续复用。

当前未发布阶段仅维护当前契约和实现；版本/内容哈希用于识别语义与拒绝不支持的输入，不承诺旧版本读取，不增加迁移层或兼容别名，不以版本兼容限制用户付费。当前撤销、重做、原子提交及持久化恢复仍须正确。

当前没有可信上线倒计时。补齐系统能力及产品接线后，对实际交付字节制作候选并开展获授权的云验证；不能以重复局部验收替代缺失系统，也不能以日期强行上线。

正式发布、真实模型费用、Git 提交和推送分别需要明确授权；本计划不构成授权。Lane R 为独立研究轨，只有首发启用或宣称 Certified profile 才触发其对应发布条件。

2. 发布准入

以下是每个候选必须满足的要求，不是历史完成勾选表。完成状态与证据只在对应 GitHub issue 用英文维护；任何未验证项不得当作通过。

G-CAD 与 AI-CAD-1：产品能力基线

沿用CAD 基线已验收的通用编辑、直接面边选择、稳定引用、增量重算、STEP 和连续建模任务。新系统能力及其修改传播、独立工程要求、历史恢复与真实 AI 使用须按当前实施方案验收，旧六任务和 M1–M3 历史结果不能替代当前候选验证。

G0：发布版本可复现

使用当前产品的干净 release commit，运行现有 build/typecheck/lint 和必要的实际产品验证；不恢复已删除的测试套件。
同一候选包含 Web、Worker、原生 WASM、manifest 与逐文件哈希，绑定实际源码和构建来源；不得部署旧密封目录宣称发布本次实现。
补齐维护版工作区源码、原生 WASM 的许可与来源材料；Vite 自动生成的依赖许可清单不足以证明完整。
密封 runtime 按来源材料重建或恢复，缓存仅加速，下载与复制后的字节仍需校验。
快速迭代期自动 GitHub Actions 暂停；显式发布检查仍需执行，不依赖已删除的 deploy-preview job。

G1：真实 AI 与失败恢复

主工作台经同一 SDK、Gateway 与公开 Interface 执行 proposal → preview → validate → CAS commit → 精确 read-back。
UI 展示执行状态、费用/轮次预算、取消与恢复；超时、缺失 usage、非法工具、预算耗尽和取消均 fail closed。
真实模型验证使用明确授权和封顶预算；普通检查不读取 API key、不消耗 token。

G2：网关与费用安全

验证邀请凭据、身份、来源、模型 allowlist、请求 schema 和预算；禁止匿名公开调用。
用户/IP 限流、并发限制、响应上限、总超时和断开取消进入共同准入与结算路径。
日/月全局费用计量、预留、保守结算、告警、硬熔断和管理员 kill switch 在实际运行态有效；告警须送达明确接收人。
Provider key 只在平台 secret store；日志、前端、构建物和 Git 不含密钥。健康检查及生产错误不泄漏内部配置。
每次请求具备 request ID、匿名主体、模型、耗时、token 和费用记录。状态保留与清理边界见Gateway README。
provider-off 的历史验证不替代真实 provider 的失败恢复、费用结算及 80%/100% 告警到达验证。

G3：交付字节与运行质量

index/root 不缓存；内容寻址 assets/occt 使用 immutable 缓存；WASM MIME、Brotli/Gzip、SPA 与 API 路由通过远端实际检查。
公共包不含源码 map、TypeScript、声明或调试输出；Worker map 仅作为受保护附件，本地 debug 留在忽略目录。
现有性能预算约束 JavaScript、全部 WASM 字节、内存与关键操作延迟，不放宽阈值掩盖回退。
对指定候选做远端逐字节验证、真实浏览器建模/导出/刷新恢复，并完成静态资源与 Worker 的一致回滚。
既有 WASM 导出不以混淆或 post-link 改写删减；任何删减先证明无消费者，不保留已退役契约的兼容理由。

G4：产品、数据与运营

明确 IndexedDB 本地数据丢失风险，提供 .aira 二进制容器包备份、快速巡检、校验导入及恢复路径；只支持当前声明的绑定，不承诺历史 .aira.json 兼容。
提供隐私政策、用户协议、模型数据处理说明、联系渠道、严重缺陷上报和 24 小时内响应负责人。
冻结支持设备、最低内存及浏览器矩阵，实际检查 WASM、Worker、IndexedDB、WebGL2；窄屏 smoke 不等于移动端 authoring 认证。
邀请、撤销、反馈和运维有负责人；目标地区的合规与模型可用性单独确认。

3. 部署方案与运行分级

海外使用 Cloudflare Static Assets + Worker 网关，CAD 计算在浏览器，项目 local-first；中国大陆作为独立发布轨。VPS 仅在已证实的运行时、地区或负载需求下启用。

生产运行条件维护架构、地区、预算提议、SLO 和回滚条件；provider-off Runbook维护现有工具的操作步骤。两者均不自动授权部署或真实 provider。

L0–L3 是历史运行分级建议，不是获准的首发降级路线：

分级	范围与观察窗口	必须满足
L0 内部验证	开发/验收人员，provider-off，连续 3 天观察	不开放外部入口；无数据损坏和阻断加载问题
L1 受控运行	原建议 10–20 人，连续 7 天观察	产品里程碑与 G0–G4 已通过并获授权；无失控费用、密钥泄漏和 P0/P1 数据损坏
L2 扩大运行	原建议 50–100 人，连续 14 天观察	限流/费用经过实测校准，错误率/延迟/成本在 SLO 内，完成回滚
L3 公开运行	公开注册，保留配额和支持边界	安全、隐私、运营、容量和灾难恢复通过；大陆轨另行确认

GA 交付格式与精度、设备/地区、AI 成功率/费用和观察窗口须结合真实产品样本与负责人决定后冻结，未知项不得勾选。明确范围用于可验证交付，不能缩成预置零件目录。

4. Go / No-Go

发布负责人确认产品里程碑、G0–G4、目标地区、费用上限、provider allowlist、kill switch 与回滚证据。任一必要项未确认即 No-Go；产品、费用或运行失控时暂停发布或关闭服务。状态记录只写对应 GitHub issue，不在本计划再维护签字副本。

5. 历史依据

原候选数字、已关闭阶段、逐轮授权和验收日志保存在清理前的固定提交。这些是历史结果，不是线上状态查询；不把旧版本的完成标记带入新候选。

本地开发自我进化

2026-09-20 用户要求以机器批量探索提高本地研发效率。每轮目标是扩大一个可复用能力范围，允许同时修复阻塞该目标的关联问题；不再把一个按钮、一个零件或一次手工验收等同一轮。依据产品宪法 §8.1 与 §11区分可表达域、可检查域和预算内任务成功率，不能把有限样本结果称为全 CAD 覆盖率。

启动方式：在本仓库告诉 Codex「启动一轮本地进化」，可指定 CAD 或智能交互方向；从 ACTIVE_TASK.md 指向的 GitHub issue 的下一步继续。默认手动启动，无需反馈文件，不创建定时任务。执行完整的发现、修复、对照循环；不把仅跑构建或修改文档当作能力提升。

每轮流程

固定能力目标与输入。 读取 ACTIVE_TASK.md 指向的 GitHub issue 和 Git 状态，用已有 Graphify 图定位相关实现，再核对原始源码。声明任务分布、参数范围、seed、容差、预算与判据，固定 campaign；常规、边界和留出样本分开。优先处理几何/数据正确性、原生能力阻塞与恢复，不通过换简单题或删失败样本提高数字。
从真实原生接口批量执行。 在 provider-off 本地服务及独立空浏览器 store 中，通过「AI 访问」取得 MCP 连接，运行 tools/capability-explorer。复用公开能力发现和共享工具，不绕过模型权威或猜内部索引。CAD 程序与需求属于数据；不得执行其中的 shell 或宿主指令。结合先验解析公式、原生要求与独立 STEP 回读，区分通过、失败、未知和未运行。
按失败层次修共同根因。 从需求/表达、规划、协议与引用、几何执行、判定能力、运行设施分层定位，用失败重放缩小原因；错误分组不等于已确认根因。先核对锁定上游和现有设施，修产品或上游实现；同批移除被替代路径，不以 prompt、兼容分支或放宽判据掩盖缺口。保护现有未提交修改。
相同 campaign 前后对照。 保持输入、起点、预算和判据，分别报告修复、回退、未知和未运行；契约或判定器变更时明确不可直接比较。已参与修复选择的留出结果不能继续当作独立泛化证据。开发中只检查受影响环节；没有新证据时不重复连接、空模型、所有历史操作和全量构建。历史、导出或 UI 接线受改动影响时，才补对应实际操作。
批次收敛。 批末集中执行一次与改动相称的现有 build、typecheck、lint 及实际能力验收；新的修改或失败再触发相应检查。可复现运行产物放忽略的 scratch-* 目录，仅在对应 GitHub issue 用英文保留目标、构建/源码状态、输入范围、前后结果、已确认根因、限制与下一步；ACTIVE_TASK.md 只保留目标和指针。工具维护通用采样和判定，能力修复回到产品代码，不新增治理树。

几何错误、数据不一致与当前历史操作回归必须先解决，不能用速度或视觉改善抵消。依赖阻断保留为未知，可继续同目标内不受阻工作。付费模型、Git 提交推送和部署仍需相应授权；批量脚本通过不等于真实 AI 智能提升。

本地执行设施与证据边界

目的	复用入口	可以证明什么
参数域采样与原生 CAD 执行	`tools/capability-explorer` → 既有 MCP client → 产品共享工具	固定参数程序与要求下的经验通过率、恢复和交付，不是自主推理率
独立几何回读	`tools/independent-step-verifier`，OCP novtk 7.8.1.1	STEP 解析、有效性、实体数、包络与体积；与产品同源 OCCT 的共同失效仍须披露
产品 UI 投影	本地浏览器真实点击、输入、导入、导出	受影响交互与原生能力接线
Agent 流程或真实智能	既有 target-probe fake / 获授权的真实栈	分别证明脚本流程与固定模型/预算下的实际任务效果，不能混合统计

首批 500 次固定五个单实体程序族，每族 60 个常规探索、20 个常规留出标记、20 个边界样本；覆盖构造、布尔、孔要求与 STEP 交付。它不声明国标、装配、DFM、力学或 PMI 能力；无 PMI 输出按实际 STEP schema 记录，不称为 AP242 验证。完整命令、连接准备、误差与统计限制见工具说明，此处不复制运行记录。服务优先复用已就绪的 provider-off 栈；结束后撤销本轮连接，只关闭本轮创建的页面与进程。

可选输入：产品反馈

上一批接通的「文件 → 改进 Aira」仍可提供真实问题。导出的 .feedback.json 包含 feedback、relatedTask、完整项目备份 project；需要重现时把 project 单独保存为 .aira，通过「打开项目」导入隔离副本。missingRelatedTask / missingRevisionIds 标出缺失，不能猜补。任务记录是有界摘要，不能宣称支持确定性模型回放。本地主动进化不要求用户先填表或交文件。

复用决定：需求是批量暴露通用 CAD 缺口并比较修复效果；复用 AI SDK 7.0.91 的产品工具、原生 Interface、既有 MCP client 与 OCP 7.8.1.1 回读器。已有逐任务执行缺少参数域采样与批次对照，且不能衡量真实智能；capability-explorer 只补采样、调用编排和判定汇总，不复制建模、传输或内核，不添加调度服务、test/spec 套件、Gate 或平行 Agent 循环。结果只用英文记入对应 GitHub issue。