Aira 产品说明：首发支持范围、本地数据与已知限制

更新：2026-09-15。本文是上线计划 G4 要求的产品说明，也承担 M3 方案里 P1「仍开放的缺口如实列出」与 P4「备份与恢复路径有对应文字」两项。范围以首发承诺列为准，限制以 docs/benchmarks/ 下可复算的结果表为准，两者都不由本文另立。历史 Technical Preview 文案不是当前产品的验收项，也不能用来解释本文。

Aira 是浏览器里的精确工业 CAD：建模与求值在本地进行，项目存在本地，AI 通过同一套公共入口使用产品，不走另一条捷径。AI 交互统一采用单管线紧凑接口（1.5 KB TypeScript 签名）与复合计划（Composite Plan）协议，无需在复杂/简单几何之间二元猜测，单轮直接规划并提交原子事务，局部校验失败精准微调修补。下面三件事分别回答：它承诺什么、你的数据在哪、怎么带走、它现在还做不到什么。

一、支持范围

首发承诺的是“AI 通用工业建模软件”，即 CAD。CAD 的职责是让设计意图可声明、可校验、可呈现、可交换，并在修改后保持一致。下表逐项列出承诺与不承诺；未列入的语义不因为实现顺手就进入承诺。

消费者	承诺	明确不在首发
配置	参数覆盖、产品根选择、装配定义完整替换、物料身份覆盖、按 ID 新增/替换/停用独立要求	跨配置引用、实例私有副本、多套优先级模型
工程观察与要求	产品实例最短距离与见证点、距离范围与类型化数值要求的声明/求值/提交阻断；几何公差的声明语义校验（ISO 1101 分类的基准要求、目标载体种类、同零件基准、三项上限）、图纸呈现、AP242 交换与修改后失效	在名义几何上求值几何公差、制造符合性判定、连续介质有限元 (FEA) 仿真与拓扑优化求解（内核算法原型未接线产品 Interface）
BOM	按显式物料号/版本归并，报告未分配项、实例与层级用量，绑定修订/配置/产品结果	由名称或几何相同推断可互换、归并冲突的自动裁决
工程尺寸	共享零件同体两面的 Face/Edge 线性尺寸，`range` 与 `nominal-deviations` 两种数值形式	跨实例尺寸、直径/半径/角度类型、修饰语义
图纸	正投影多视图、单平面剖视/区域/切割标识、参考尺寸、工程尺寸、基准与公差框的 SVG 交付，绑定产品结果哈希	自动完整布局、折转剖切、制图标准合规、从图纸标注反向驱动模型修改（图纸逆向驱动仍属内核算法原型，未接线产品事务回路）
STEP	AP214CD 结构与 AP242DIS 声明的导出、导入、显式对应更新，以及独立 OCP 回读（结构、几何量、尺寸 ± 偏差、基准、几何公差）	缩放/反射放置、未识别实体、修饰语义与歧义映射——这些按明确拒绝处理，不静默降级

两条贯穿全表的原则值得单独说：

显示一条公差注释，不等于完成了该公差的验收。 几何公差承诺的是声明、呈现、交换与失效，不是求值。
能保存几何，不等于能保存工程关系。 每种交换格式分别说明保留、转换与无法表达的信息，并由独立消费者核对。

二、你的项目在哪，以及怎么带走

项目存在浏览器本地（IndexedDB），按站点来源隔离。 这带来一个必须知道的风险：清理浏览器站点数据、换浏览器、换设备或使用无痕窗口，都会让本地项目不可见或消失。产品不承诺自动找回。 唯一可靠的保全方式是导出备份文件。

备份：「文件 → 保存副本…」写出一份 .aira 二进制容器包（Aira Binary Container，格式 aira.project 0.3.0），物理分块承载 JSON 元数据（project、head、revisions、patches、evidence、resources）与连续原生二进制块（STEP 模型、TTF 字体等外部资源），杜绝 Base64 膨胀并提供原生 Gzip 流式压缩，包含完整的修订历史、证据与外部资源；同时向前兼容导入历史 .aira.json（aira.project 0.2.0）文件。
恢复：「文件 → 打开项目…」经由纯内存快速巡检与隔离验证沙箱按序核对所有保留历史修订与证据见证，全部通过后原子 CAS 写入浏览器本地库；篡改、缺失资源、缺失证据或校验失败均在写库前拒绝，不损坏已有工程。
导入后的去向：导入的项目进入独立的数据库，地址栏随之改写。请保留改写后的地址——见下方已知限制。

这条路径的实测证据（零费用、可复跑，见 P4 重开与备份往返、数据安全与交换）：

六个负载样本（含 100 修订的历史、两次使用的装配、2 实体 54 面的拓扑件）重开后头修订与各段数量不变。
导出 → 删除该项目的数据库 → 导入：恢复后再导出与备份六段逐段相同，只有时间戳不同。恢复后带符号偏差尺寸、基准、由参数驱动的平面度与引用基准的垂直度全部保留。
备份把导入时的源 STEP 资源逐字节带着走；恢复后的项目自己导出的 STEP 经独立验证器回读，几何与源文件一致。
篡改内容、资源字节与哈希不符、旧契约样例四类输入全部被拒，且拒绝之后真实备份仍可恢复。

三、已知限制

按性质分组。每条都指向记录它的结果表或提交，不在此另作解释。

承诺范围内、但当前行为有边界的

超过 512 条边的实体在视口里没有可拾取边线。 求值、提交与导出照常，显示对象上标明 omitted（原因、边数、预算），但界面尚未提示这一省略（T1 梯结果）。
没有“最近项目”列表。 导入的项目只能通过改写后的地址或再次导入备份找回（数据安全与交换）。
导入产品（imported-product）的零件身份不被量测。 标准号声明在 set-product/update-product 上会被按库中零件实测校验，但导入路径的 Body 尚未到达头修订，因此不做该校验（4ed330f3）。
孔阵列要求会计入目标体的全部垂直圆柱壁，因此两种孔径共存的体无法为其中一族单独声明孔阵列要求（S5 待裁定）。
导出的 STEP 文件头时间戳固定为 1970-01-01T00:00:00。 这是为了让同一修订的导出逐字节可复现——导出发生的时刻记在文件之外的证据里，文件本身只描述内容（导出确定化）。

性能与响应

每次拾取会占用主线程 71–104 ms，且几乎与模型规模无关（23 面与 116 面同量级）；页面载入后的第一次拾取会产生超过 50 ms 的连续长任务，违反 RFC-0001 §25.3 的交互门槛，已记录去向（交互期间的主线程占用）。
追加式恢复（撤销/重做）偶发在回放阶段停滞：78 次中出现 1 次，提交已持久化、头已前进，但操作长时间无进展。根因仍未定位；回放路径的每一步现已加上时限并在超时错误中点名阶段，下次发生会自述卡在哪一步（8f457013）。
长会话的 WASM 内存按需阶跃且不回收：实测峰值 275 MB，对密封运行时 512 MB 上限为 53.7%，未触及；更大或更多的重建仍可能继续阶跃（长会话）。JS 堆的缓升尚未判定是泄漏还是未回收的垃圾。

AI 使用上仍开放的缺口

模型面对标准号可能凭记忆手写而不查库。 目标探测 R3L 两次未命中即停止；其余几何、身份、实例与 BOM 判据通过。这归模型行为，产品侧的应对是：声明标准号即声明“这个 Body 就是库里那个零件”，宿主按库中零件实测体积校验并在不符时拒绝（4ed330f3）。
测量环与探测环各自的完整结果、失败分类与去向见 docs/benchmarks/，本文不复述。

四、本文没有涵盖的

G4 还要求隐私政策、用户协议、模型数据处理说明、联系渠道与严重缺陷上报、24 小时内响应负责人，以及冻结的支持设备/内存/浏览器矩阵。这些都还不存在，也不由本文代替。 目前唯一冻结的设备是基准参考设备，它用于让性能数字可比较，不是支持矩阵：它只说明“这些数字是在哪台机器上测的”，不承诺其他设备可用。