Aira 交互白皮书：从开放意图到可验证设计

日期：2026-09-23 性质：交互理论与产品设计推导；不是功能完成声明、工业认证或当前实施计划。 对应：产品宪法 §6、§8.1、§9、§11；核心研究总览；已有工作台调研；GitHub UX1。

1. 要解决的问题

传统 CAD 把大量几何施工决定交给人。纯聊天又可能要求用户准确口述位置、尺寸、基准和后续编辑规则。两者都可能把复杂工业任务变成猜谜：AI 猜一个外形，用户不断纠错，而关键设计要求没有成为可持久、可检查的模型语义。

Aira 的目标是让人从用途、文字、草图、圈选、精确尺寸或现有模型中的任意一种方式起步，再以尽量低的沟通成本形成可编辑设计。这里需要区分四种结果：

• 表达：系统记录用户的目标、对象、要求、偏好与允许改动的范围。
• 实现：系统给出满足部分或全部要求的候选构造。
• 验证：声明在明确假设、检查器和预算下，哪些要求得到 pass、fail 或 unknown。
• 接受：人在真正的业务歧义与取舍上作出决定，系统按权限和事务规则记录。

这四种结果不能由一句“AI 已完成”代替。本白皮书讨论的是从开放输入到可验证设计的交互协议；核心能表达和计算什么，以现有契约及核心研究为准。

2. 理论依据各自能支撑什么

来源	原研究提供的依据	对 Aira 的推导与边界
Dorst 与 Cross：问题—方案共同演化 [1]	设计师在探索方案时会重新表述问题。	允许用户在看见候选后修订目标；不能要求每一步候选数量都减少。该论文没有证明某种 AI CAD UI 最优。
Sobek、Ward 与 Liker：集合式工程设计 [2]	在证据不足时保留多种方案，逐步排除，并在承诺前建立可行性。	候选要保留真实设计差异和适用条件；不能过早把第一张漂亮模型定为唯一答案。
Shannon：率失真 [3]	压缩须定义可容忍的失真和信源假设。	对话上下文可压缩，但对象引用、已确认要求、单位、来源和版本不能靠有损摘要作为唯一真相。这是工程类比，不是直接套用编码定理。
Javdani 等：决策型主动学习 [4]	收集信息可以瞄准足以决定动作的“决策区域”，无需消除所有假设差异。	只问会改变当前或未来关键设计决定的问题；识别用户意图的概率分布和提问收益仍需实测。
Horvitz：混合主动权交互 [5]	自动推断应考虑不确定性、时机、出错代价和人的直接干预。	聊天、画布和控件分担输入；高代价的歧义不能静默执行。
DreamSketch [6]、DynaVis [7]	粗草图可用于早期 3D 方案探索；自然语言与持久控件结合有利于重复修改。	支持“粗输入 → 候选 → 直接精调”的原型方向；研究场景和样本不足以证明 Aira 的工业任务效果。
NASA 系统工程手册 [8]	工程要求需分解、追溯、验证并管理证据。	工业任务要从目标通向子系统、零件、工程检查和交付物；几何预览不能代替物理与制造证据。

上述研究支持若干设计原则。下文的状态模型、停止条件和 UI 投影是 Aira 的综合推导，仍是待验证的产品假设。

3. 数学模型：收敛的是决策，不是词句

令 $O_t$ 为到时刻 $t$ 的观察：语言、画布选择、笔画、模型状态与用户选择；$C_t$ 为用户已确认的硬要求；$P_t$ 为 AI 提出的未确认解释；$W_t$ 为用户已表达但不作为硬约束的偏好；$H_t$ 为尚有依据的意图假设；$r_t$ 为模型修订版本。设计状态可写成

$$ S_t=(O_t,C_t,P_t,W_t,H_t,F_t,E_t,r_t), $$

其中 $E_t$ 是可追溯的检查证据，$F_t$ 是在当前表达域内满足已确认要求的候选设计集：

$$ F_t={m\in\mathcal M:\ \forall c\in C_t,\ c(m)=\mathrm{true}}. $$

如果目标、表达域和要求语义固定，且下一步只增加硬要求，则 $C_t\subseteq C_{t+1}$ 蕴含 $F_{t+1}\subseteq F_t$。这是对语义上可行集合的描述；实际检查仍须保留 pass/fail/unknown。这也只是集合包含关系。错误要求同样会缩小集合；用户修改目标时，集合还可能扩大。设计成功不能用候选数单调下降证明。

3.1 不可辨识性的下界

设两个意图 $\theta_1$、$\theta_2$ 在当前观察下完全相同，即 $O(\theta_1)=O(\theta_2)$，但其可接受的下一次提交动作集合没有交集。任何仅依赖 $O$ 的确定性策略都会对两者采取同一动作，因此至少对其中一个意图不正确。随机猜测也不能提供对两者都正确的保证。

所以，“任意含糊输入都立即生成唯一正确零件”在信息不足时不可能成为产品契约。正确的协议必须允许继续观察、展示分歧、向用户提问、保留候选或返回未知。

3.2 什么时候可以继续，什么时候必须澄清

对每种仍有依据的解释 $\theta\in H_t$，令 $A_t(\theta)$ 为在该解释下安全、可接受的下一步动作。若交集

$$ \bigcap_{\theta\in H_t} A_t(\theta)\ne\varnothing, $$

系统可选取交集中的低代价动作继续，而无需立即让用户消除所有歧义。若交集为空，或者错误动作的影响超过可接受范围，系统应先请求能区分结果的信息，或并列展示可撤销候选。这里的 $H_t$ 往往并不完备；交集判据给出推理结构，不能把模型列出的少量候选当作“已穷尽用户可能意图”的证明。

在有可信概率与损失估计时，可比较一次澄清 $q$ 的决策价值：

$$ \mathrm{VOI}(q)= \min_a\mathbb E[L(a,\Theta)\mid S_t] -\mathbb E_y!\left[\min_a\mathbb E[L(a,\Theta)\mid S_t,y]\right] -C(q). $$

$L$ 应覆盖错误对象、错误设计关系、破坏既有要求、返工与不可恢复影响；$C(q)$ 包含用户注意力和回答成本。最大化原始熵下降可能问到无关的细节。概率不可信时，先使用可解释的规则和最坏情形边界；任何期望损失公式都不能替代硬性几何、权限与事务检查。

3.3 信息量并不等于用户操作难度

若有 $N$ 个等可能、必须精确区分的意图，仅靠无噪声二元问答，在理想情形下需要约 $\log_2 N$ bit。连续尺寸若要限定到公差 $\delta$，还需要明确范围和精度。这个下界不说明应该显示多少按钮：看图选择、拖动、点选现有几何及系统根据约束推导，都可能比打字更省认知负担。不能用 token、字符数或对话轮数单独衡量 UX。

对上下文压缩，率失真提供的启发是先确定错误代价。省略闲聊可能几乎无损；丢失用户确认的“距外缘恒定”、单位或目标对象，则可能改变后续设计。权威语义应保存在模型与来源记录中，聊天摘要只作可重新生成的视图。[3]

4. 面向用户的协议

任意入口先转成同一个任务状态，再由当前需要决定什么决定界面响应：

状态	用户看到的内容	下一步
对象未唯一定位	画布高亮候选对象与作用域	点选、圈定或明确范围
可安全推进但目标仍宽	可撤销的概念或局部候选，标出假设	继续探索和修订要求
解释会改变重要结果	并列语义差异及“如果修改”的预览	在画布或对话中选定规则
要求明确且可执行	带单位的参数、几何预览与受影响对象	同一事务路径验证与提交
失败或证据不足	fail / unknown 的范围和原因	修订要求、补能力或补证据

推荐的 UI 投影是：画布负责空间指代和直接操作，聊天负责用途与取舍，任务卡负责已确认/候选/未知状态，候选预览负责比较未来行为，证据视图负责工程结论。 这是待检验的交互结构，不预设具体布局或始终可见的控件数量。所有写入沿同一原生能力、权限与 preview → validate → CAS commit 路径；聊天不能拥有第二份模型真相。已有工作台调研记录了现状与布局候选，本文不重复其视觉规范。

用户可以拒绝问题并继续探索。系统须随之保留开放决策，控制候选与工程结论的声明范围。Revision 的 draft/committed 状态与验证证书的适用范围应分别呈现：unknown 不可显示为通过，草稿或策略允许的提交也不能冒充工业验证完成。

4.1 实施约束：三个事实轴不能合并

对一条要求 $c$，分别记录来源/接受状态 $a(c)$、模型声明状态 $d(c,r)$ 和检查状态 $v(c,r,k)$，其中 $r$ 是修订，$k$ 是配置与检查上下文。三者构成积状态，不能压成一个“完成”布尔值：

$$ x(c)=(a(c),d(c,r),v(c,r,k)). $$

例如 AI 写入了一条通过检查的要求，只能得到“模型已声明、在检查域内通过”；缺少用户确认记录时，$a(c)$ 仍未知。反过来，用户确认了载荷要求，并不意味着模型已经实现或检查通过。来源是一个人的陈述时，不得冒充物理测量证据；测量证据也不能代替对业务取舍的接受。

据此，对前端状态转换施加以下不变量。这些是 Aira 的工程约定，不是上述论文直接证明的协议：

事件	允许的变化	禁止的推断
输入文字、圈选或粗画	新增观察与目标定位线索	自动产生硬要求、用户确认或已授权的完整改动范围
AI 提出解释或构造	新增可拒绝的候选及其假设	因为候选看起来合理而提升为用户已确认
获得检查结果	在证据绑定范围内更新 pass/fail/unknown	无检查项即全部通过；检查有效实体即产品适用
输入下一条指令	修改待执行输入	隐式提交上一候选或将旧候选默认为已接受
修改修订或配置	重新读回有效要求并核验引用与证据	旧对象下标、旧绿灯或旧检查摘要静默沿用
摘要、重开、撤销、恢复	从持久权威记录重新投影	从聊天措辞、当前作者或保存状态重建不存在的确认来源

用户界面可由这些事实推导“定位、探索、待决、执行、候选审阅、检查不足”等视图，但阶段不是单调进度条。对象定位与候选审阅也可能同时存在。显式参数编辑的授权可包含验证后提交；这与“输入下一句话就接受另一份候选”是不同事件，必须由入口的操作契约区分。

4.2 持久化与证据的边界

已执行的几何、设计关系及可检查要求继续由 AMIR/Revision 保存；任务记录只保存尚未落实的用户观察、候选解释、待决项、明确的接受/拒绝事件及它们指向模型语义的引用。后者必须成为带版本与来源的共享契约，才能承诺完整的跨会话恢复；不能用 UI localStorage、可裁剪的运行日志或任意 metadata 字段承担这个保证，也不能另存一份能独立修改几何的“聊天模型”。

一个检查结论的使用条件应包括声明身份与内容、修订/候选身份、有效配置和检查器接受域。前端只能显示原生检查器真实返回的范围；候选被拒绝、引用失效或来源不匹配时，旧结果不再适用于当前对象。当前只产生通过收据、失败通过诊断返回的能力，必须将“没有通过收据”投影为未知，而不是根据缺失收据反推具体失败。底层错误地返回 pass 时，UI 绑定正确也不能纠正它；必须修复检查器，不能用外观或额外提示掩盖。

因此可以证明的是条件性的协议安全：若所有写入口执行同一权限、引用、验证与 CAS 检查，且投影只依赖匹配的权威记录，则这类前端转换不会自行创造接受事件、过期检查的有效性或第二份模型状态。它不能证明检查器实现无缺陷、AI 穷尽意图、任务一定可解或用户体验最优。

4.3 决策价值如何落到控件

VOI 比较的是在给定动作集合、损失模型和观察分布下是否值得获取信息。应把画布点选、读模型、候选扰动预览、询问用户一并列为获取信息的手段，而不把每次不确定都变成聊天问题。一个单步 VOI 公式不自动给出长程最优策略；未来关系失效与返工需要进入损失或后续价值估计。

在尚无校准概率时，先落实可检查的规则：引用多解则定位；陈旧引用则重绑；尚有未处理候选则显式审阅；无匹配证据则未知。关于“保持中心半径或保持外缘间距”的分歧，需要真正的关系候选及参数扰动结果才能提供选择，不能用不同标签包装同一个模型。只有这类数据具备时，才有理由增加对应控件；不能先造一个“意图理解 92%”进度条，再补不存在的度量。

4.4 接受事件必须来自动作，不能从结果倒推

令 $E_u(c,r)$ 表示用户在修订 $r$ 上显式接受候选 $c$ 的事件，$K(c)$ 表示候选完成提交。自动执行、历史恢复也可能产生已提交模型，因此 $K(c)$ 不蕴含 $E_u(c,r)$。候选的显式接受事件必须由候选审阅入口产生，绑定候选身份与基准修订；用户发送指令的事先自动应用授权是另一类事件，记录真实来源而不伪造逐项接受。安装或显示已提交版本只同步当前修订，不生成接受事实。提交失败不产生成功接受记录；提交已经持久完成但显示重放失败时，也不能反称模型未提交。

确认一条要求的事件必须绑定其语义内容或足以唯一确定内容的修订与声明身份。只按 assertionId 搜索过去的确认，会把后来修改的同名要求误标为已确认。当前采取保守规则：仅使用同一修订中用户的对应要求决定；跨修订的确认继承需要另行证明内容与语义等价。候选被丢弃时，要求投影须与几何一起恢复到提交基线，不能保留被丢弃的要求。

任务契约存在 TypeScript 类型并不意味着已完成持久化。存储读写、并发版本比较、公共 Interface、工程包导出导入与重开恢复均接通后，才能声明跨会话任务连续。内存中的事件日志只保证当前会话的可观察性。契约输入校验还必须检查嵌套引用、事件种类对应字段、选项身份及有限数值；检查三个字段是数组不足以证明数据有效。

5. 两个尺度的示例

局部精确编辑：圆板孔阵列

用户圈选圆形钣金，粗画一圈孔，说“做一圈均匀的安装孔”。画布选择可解决“哪块板”，笔画可提供数量或位置的候选，无法观察到的尺寸应显示为建议值。设板直径 120 mm、孔直径 6 mm、外缘到孔边间距 12 mm，则孔中心半径为 60−3−12=45 mm。

若系统只保存当前坐标，板直径增至 140 mm 后，它无法知道应保持半径 45 mm，还是保持边距而把半径改为 55 mm。两种意图在原始形状上不可区分。界面可用一次板径扰动预览展示两种后续行为，让用户选定关系，而不强迫用户先说出“径向参数约束”。确认的关系与来源成为持久模型语义；若某解释仍未决定，就显示待决，不静默写为事实。

跨部件工业任务：安装支架

用户说“给这台电机做一个能装到型材上的支架”。系统先区分已知对象与待确认的载荷、安装界面、材料、制造方式和空间边界；提出几种结构候选，同时标明哪些依赖假设。确定装配关系后，要求连接到具体零件、孔、材料与验证条件。修改电机或型材时，用户能看到受影响的零件、工程图、BOM、DFM 或 CAE 结论。缺少载荷或材料证据时，强度或可制造性保持 unknown。宏观的“可飞行汽车”同理先进入探索与分解，不能从一句愿景跳到已验证的工业交付。

当前交互研发：指向对象、表达修改、持续保持约束

本节描述研究样机形成的交互假设，截图和情景结果不代表真实产品验收。独立样机及模拟执行已退役；产品只使用真实工作台入口，研发也在同一入口进行。研究实现边界说明哪些原则已有真实接线、哪些体验仍缺少原生能力。

这是可操作的整页工作台，复用 Aira 字体/底色 tokens、ThreeViewport、RenderPacketTransfer、现有拾取和 OrbitControls。左侧按需展开对象、保持项和历史；画布承担对象指代；底部固定“下一步做什么”；右侧只投影当前任务。窄屏保留画布、底部输入与可滚动的任务结果区。没有添加建模工具栏。

研究依据与推导责任

依据	本轮采用的交互机制	不作的外推
DirectGPT	直接选定对象、局部作用范围、修改反馈与撤销，减少重复描述对象。	文本/代码/矢量编辑收益不等于 CAD 理解或几何正确性。[10]
DynaVis	把反复调整的移动量保留为少量临时控件，任务完成后收起。	本样机控件为人工定义；没有实现动态控件生成，也没有套用该论文用户研究的收益。[7]
混合主动权、决策型主动学习	只澄清影响本轮结果的对象或授权歧义，保留其他已确定信息。	未实现已校准的 VOI 排序，不声称提问最优。[4][5]
Dynamic Grounding	将共同理解投影成可以改正的“本轮可改 / 希望改变 / 必须保持”。	该工作是概念探索，不是强约束保证或本产品用户实验。[11]

本轮主流程围绕一个修改任务。任务内部可以包含多个建模步骤，检查完成后整体应用。默认不生成 100 个实体候选，也不让用户逐个挑选。只有真实取舍出现时才展开候选集合；先比较已有元数据与硬要求，再按明确预算深化少数分支。已有 100 个昂贵实体的成本无法由 UI 收回；未检查项仍为 unknown，不能用视觉分组冒充语义等价或淘汰证据。未来行为透镜保留为可选澄清手段，例如区分“保持孔边距”与“保持孔心半径”，不作为每次修改的必经步骤。

从指代到一次可撤销的修改

1. 指向对象。 直接点击网格；默认不显示编号，悬停只显示当前对象名称，Shift 点击追加。窄屏小目标点按先以名称、结构路径和局部轮廓预览，明确确认后才替换对象 token；精确拾取落空时仅提议附近的可见目标，距离相近时只给出点位附近至多 3 个可切换预览，不静默吸附。精确命中时也可核对近邻，避免小目标误指后重进搜索。选中对象用投影范围轮廓和一条数量汇总表达，首个对象另有表面高亮；点击空白仅结束当前点位候选，已绑定对象由指令区明确移除。搜索支持名称前缀、编号、结构位置，并明确包含隐藏对象的开关。结构路径按完整层级段匹配，例如“工位 12”不会误命中工位 13 内编号含 12 的实例；匹配过多时先缩到下一层结构，跳到匹配区域仅以琥珀色轮廓查看，不自动选择或授权。搜索默认折叠、限当前显示区域，空输入不列举对象；超过 5 个匹配时要求补充定位线索。点击结果只预览，核对画布后明确用于指令，才替换对象 token。预览隐藏项会显式显示该项；隐藏状态不会移动其他对象。当前圈选按当前局部对象的投影中心判断，不做遮挡剔除；投影范围框不是精确几何轮廓，也不是几何保持证据；键盘可用搜索与结果按钮，或在当前局部用方向键逐个预览并明确绑定。
2. 表达修改。 用户也可以先写修改，再指向对象；缺少目标时原文停在待指向，选定后重新展示同一指令的对象、量和保持措辞，明确发送才进入检查。样机支持“向孔排末端移动 5 mm，安装接口不要动”和“向实例排首端移动 5 mm”等有端点的指令；原始输入与结构化解释分别保留。画布只在当前任务旁显示一条局部方向标记，窄屏任务卡显示朝向并可在发送前换向。此情景的首端→末端与模型 +X 绑定，反向为 −X；视角旋转不改变它。只说“沿轴向”“沿孔排方向”或“沿实例排方向”时先澄清朝向；“沿工位排列方向”涉及另一结构层级，保留待解析。正式实现仍须绑定真实用户基准、端点与方向符号。初始安装接口保持项属于情景预设，覆盖形状、位姿与既有关系，不是 AI 推断出来的用户确认。
3. 形成共同理解。 当前对象 token 负责下一次指令，已发送任务冻结自己的对象集合与基准版本。定位预览只提供观察，确认对象也不自动应用先前缺目标的指令。文字超出有限语法时，同时提示未解析的文字与未指向的对象，不用指向动作伪造理解。回答一个局部澄清问题后，移动量与保持项仍保留。修改保持项会取消旧任务，使其不能在旧理解下继续应用。
4. 检查后整体应用。 界面显示实际变化、首项沿参照的偏移与逐对象差异、保持项检查结果及撤销。多个对象原先数值可能不同，因此首项数字不冒充全部对象的变化。半透明网格仅展示当前页发生位移的对象原位置。
5. 继续沟通。 “再移动 2 mm”绑定上次任务对象及已确认的有符号方向；“换成另一排”先选择新的目标，把原对象回退与新对象修改组成同一撤销单元。最近一次只是局部撤回时，要求重新指定对象与量，避免无声绑定错任务。单件的复合示例还可“只保留刚才的孔位调整”，经同一回放检查流程撤回筋高变化。

保持项默认持续有效；可明确改为仅下一次完成的任务或解除。下一句不会自动清空旧要求。当前样机只保留会话内状态，刷新或切换研究场景会重置；跨会话持久化仍遵守 §4.2，不由本地 UI 存储冒充完成。

强约束保证的边界

区分四个集合：用户关注对象 $F$、明确允许改变的对象/属性 $A$、候选实际改变的对象/属性 $E$、求值必须访问的依赖闭包 $D$。通常 $F$ 不等于 $A$，$D$ 也可以严格大于 $E$；只读查询或重算了一个对象，不代表用户授权修改了它。隐藏、相机视角、隔离和圈选轮廓都不能证明 $E$ 的几何边界。依赖边只给出可能需要访问的线索，不能从 $D$ 推导 $E$ 的具体对象、属性或位移量；即使用户允许邻件进入候选可改范围，也必须等待受检候选差异。

对候选 $c$，自动应用条件为：

$$ \mathrm{apply}(c) \iff \mathrm{refsValid}(c) \land E(c)\subseteq A \land \bigwedge_{q\in Q_{\mathrm{applicable}}} \mathrm{boundPass}(q,c) \land \mathrm{CAS}(r_{\mathrm{base}},r_{\mathrm{head}}) \land \mathrm{budgetOK}(c) \land \mathrm{authorizationValid}(c). $$

其中适用保持项集合不能由 AI 为了通过而缩减。boundPass 要求证据覆盖目标实例、受保护属性、要求内容、候选/输入哈希、基准版本、检查配置与公差；无检查器、缺证据、超时和 unknown 都不能满足它。保持“接口不要动”的默认解释必须可见为“形状、位姿、既有关系”；形状与位姿检查无法自动替代设计关系检查。生产状态中要先取得完整实际差异与必要依赖影响证据，才能判断 $E\subseteq A$。

在引用、差异检测、依赖分析和检查器均可靠的前提下，上述合取条件保证本次已表达、可检查范围内的硬要求及授权边界。它不证明自然语言理解永远正确，也不覆盖未表达意图、未知工程载荷或检查器自身错误。无解与未在预算内找到解必须区分。

装配引用默认绑定具体 occurrence。候选修改共享定义而影响其他实例时，停下说明传播原因；只有用户明确表达共享定义要改的几何或关系、核对实际传播并授权，或改成当前实例位姿操作后才继续。单纯发现同源引用不能把“移动这个实例”解释成“移动全部同源实例”。相邻配合同理。AI 不能自行解除保持项、放宽公差、扩大范围或记录自己的猜测为用户确认。预算覆盖 AI 理解、依赖遍历、求值与检查，不只覆盖绘图。

取消与过期结果在应用前作废；若原生 CAS 已成功完成，后续“停止”必须报告已应用并提供撤销，不能谎称取消成功。任务使用一个原子修改单元和单调前进的版本；撤销恢复实际变化，持续保持项不随几何撤销而被悄悄删除。样机复验时发现并修复了停止按钮与发送按钮复用导致表单再次发送的问题，增加独立按钮身份并阻止默认提交行为。

对现有原生契约的接口设计（未替换生产契约）

现有承载点	需要补齐的语义	样机投影与正式接线边界
DesignTaskDocument / DesignTargetReference	同时保留 rawInput 与解释；任务对象引用包含 revision、semantic reference、occurrence path、definition identity 与选择证据。	当前 fixture ID、显示 primitive 与零哈希均为合成数据，不能作为原生语义引用或真实检查凭证。
selection/selection-resolver.ts	复用现有选择解析；区分当前实例与共享定义，保留候选歧义/陈旧状态。	样机由原 viewer 拾取映射到本地目录；未声称已走生产 resolver 的语义证明链。
DesignRequirementSpec / 原生声明与检查绑定	稳定对象或实例引用、protectedProperties、lifetime、内容身份、有效范围与对应 checker/evidence；保持项持续有效且可显式修改。	样机 Guard.referenceId 只绑定情景目录目标，演示属性与期限；正式持久化仍须覆盖存储、恢复与 Interface，不能仅扩展 TS 类型。
原生任务授权与权限	focusRefs、allowedChanges、actualEffects 分开；授权来源记录发送指令/扩大范围的真实事件、actor、基准 revision、scope 与 guard 内容身份。	当前样机只有邻接索引时只提供定位线索，不请求对未知差异的扩围许可。生产路径应先取得受检候选差异，再就实际越界的对象与属性请求必要授权，并在提交点复核；既有工程权限不能被几何范围标签替代。
candidate-execution/candidate-coordinator.ts	沿单一候选 owner 的 propose / preview / validate / CAS commit 路径，补齐实际影响与保持项检查绑定、预算、取消 token。	本轮是纯回放状态机，不调用或复制生产几何执行器；正式接入必须复用原生事务和撤销。

需要保存的任务快照可表述为 rawInput + interpretation + targetRefs + allowedChanges + guardSet + authorizationEvent + baseRevision + budget；检查回执绑定该快照及候选身份，不能只依据一句自然语言摘要。一次用户指令可以事先授权检查通过后的应用，因此无需虚构候选审阅事件；若后续解释改变了授权范围或硬要求，原授权不足，必须重新取得明确动作。

规模策略、实际测量与限制

• 即时路径： 点选、高亮、输入、面板操作本地完成。语义目录与显示网格分开；本轮固定 seed 23，每个局部页最多 16 个对象，首区显示 15 个、1 个初始隐藏。整个 1千/1万目录真实建立索引，而非只修改计数文案。查询用前缀倒排索引；组内保持稳定 ordinal，显示隐藏项不改变其他对象布局。
• 定位路径： 当前情景可搜索名称或结构，再跳到匹配的局部页点选；也可从画布直接指向。两级分页目录各最多显示 25 个页组/页，不列举 1 万个对象，但页序号没有与整体工件几何绑定，不能按已知方位寻找目标。导航保持原草稿与指令对象，进入局部后仍须点选并核对目标。向 AI 提供目标、保持项和必要依赖摘要，并允许按需查询完整图；本轮不调用 AI。装配目录有同源定义索引，依赖 fixture 为每实例一个相邻实例边加一个接口边；单件为每目标一个接口边。它们用于交互边界演示，不代表真实 CAD 求解图。
• 远处无名目标的空间证据： 迭代 20 为合成情景明确生成了每个局部视图的稳定目标引用集、220 mm 间距的平面位姿，以及由该局部 RenderPacket.bounds 平移而得的保守粗 bounds；总览严格从这份 authored 布局进入对应局部。它是重复单元的研究工件，不能冒充任意真实 CAD 的空间索引或全量几何预览。生产空间粗定位仍须从与修订绑定的稳定语义引用、真实工件局部 bounds、实例变换和可见状态建立层级空间代理，并提供区域到目标的按需查询；显示用投影帮助指向，不能证明几何保持或依赖检查。现有 exactArtifactBounds、语义引用快照与 RenderPacket 实例变换分别提供部分材料，没有已接线的全局离屏索引。缺引用、变换或版本一致性时位置应为 unknown。 多尺度三维导航与多尺度参考可视化提供研究方向，不证明本样机在 CAD 任务上的速度或正确率。
• 精确路径： 正式接入需异步计算完整必要依赖闭包，缓存按引用/版本/声明/检查配置失效，取消过期工作。全局约束受影响时按实际范围重算。现有拾取路径会遍历已加载网格；本轮用明确的局部分页限制已加载规模，没有增加新几何算法，也没有证明全量 1 万网格的拾取性能。

2026-09-24 数字标记版历史测量（后续已移除常驻编号）：Windows、i7-13700F、RTX 4070 Ti、约 95.8 GiB RAM；Codex 内置 Chromium 153，1440 × 900 CSS px、DPR 2。DEV 构建，共用 viewer，固定种子与数据。选中反馈每档 30 次；结果每档 5 次，不包含人工设置的 2.4 秒回放等待。**原“定位呈现”测法用数字前缀查询后取首个匹配，未核对是否命中预定目标；四档定位数值全部撤回，不作为规模目标的证据。**其余历史列仅反映当时样机。表内时间为 p50 / p95，单位 ms；5 个结果样本只能作小样本诊断。

场景	初始网格 / 三角形 / 依赖边	选中反馈 n=30	原定位呈现	结果呈现 n=5	会话长任务次数 / 最长	JS 堆快照 MiB
单件 1千目标	17 / 9,732 / 1,000	33.3 / 33.5	测法失效	35.3 / 42.1	1 / 141 ms	175.6
单件 1万目标	17 / 9,732 / 10,000	33.3 / 33.5	测法失效	31.1 / 45.2	1 / 92 ms	182.6
装配 1千实例	17 / 5,256 / 2,000	33.3 / 33.5	测法失效	28.2 / 39.4	1 / 93 ms	196.3
装配 1万实例	17 / 5,256 / 20,000	33.3 / 33.5	测法失效	35.3 / 43.4	1 / 102 ms	198.2

四档的真实 CAD 精确求值次数均为 0。历史选中样本达到即时反馈 p95 ≤100 ms 的样机目标；历史定位目标达成结论撤回。跨页可见目标随隐藏状态为 14–16 个；几何是 Three.js 合成显示网格，孔圈不是内核布尔孔。JS 堆是共享 renderer 的时点读数，既非独立任务增量，也非 GPU/进程总内存或峰值。

2026-09-25 修正测法后，单件 1 万目标在 Chromium 153、1440 × 900 CSS px、DPR 1、固定 seed 23 下重新量测：本地选中反馈 n=30，p50/p95 为 33.3/33.5 ms；以 target-* fixture ID 查询并核对精确命中后换区、呈现两帧，n=30，为 46.5/54.3 ms。索引建立总时长 570.3 ms、最长同步片段 14.3 ms；本会话长任务 1 次、最长 90 ms；显示 15 个目标、17 网格、9,732 三角形，精确 CAD 求值 0 次。未产生结果呈现样本，因此该指标为 null，不能记成 0 ms。新旧视口 DPR 与测量路径不同，数值不能作版本改善对照；fixture ID 定位也不是用户在无名称模型中的定位耗时。此样本在限定界面路径达到 p95 ≤200 ms，但不证明真实全量装配或 CAD 求值性能。

迭代 13 的结构路径修正后，在相同 Chromium 153、1440 × 900、DPR 1、seed 23 下，分别对 1 万语义目标的单件和 1 万实例的装配量测 30 次。单件选中反馈 p50/p95 35.4/36.6 ms，已知结构段查询、核对结果属于该段、换区并呈现两帧 35.4/46.5 ms；索引建立 507.6 ms、最长片段 9.1 ms，显示 15 项、17 网格、9,732 三角形、1 万条 fixture 依赖边，会话长任务 1 次 58 ms，JS 堆时点约 176.8 MiB。装配对应为选中 35.5/40.5 ms、结构定位 34.5/46.2 ms；索引建立 517.1 ms、最长片段 6.4 ms，显示 15 项、17 网格、5,256 三角形、2 万条 fixture 依赖边，会话长任务 0 次，JS 堆时点约 178.6 MiB。两场景精确 CAD 求值均为 0，结果呈现样本均为 null。这只覆盖已知结构段的本地目录定位与局部分页显示，不计人找出正确结构线索的时间，也不证明全量网格渲染、几何依赖求值或用户任务成功率；与上段不同操作样本不作性能改善宣称。

剖析发现同步建索引曾伴随约 260 ms 长任务，现改为每 128 个目标让出主线程并支持取消过期构建。四档索引总建立时间分别为 24.6 / 472.1 / 18.1 / 552.3 ms，最长同步片段为 1.5 / 6.6 / 1.3 / 5.9 ms。总时长包含主动让出与调度时间，不能与单个 CPU 片段混同。新会话的 viewer 初次装载仍出现表内长任务；没有把冷启动流畅性标成通过。研究设置内可重复测量，原始临时读数不另建治理目录。

实操验收与未完成的经验验证

浏览器执行了单件移动、上一对象续改、复合任务部分撤回、对象重新绑定、实际差异/撤销；装配执行了单实例修改、共享定义引用预览、相邻配合越界。早期“核对同源范围后扩大授权”的演示已撤回：它错误地把实例位姿指令变成了全部同源实例的位移；当前样机只允许只读核对引用，真实共享几何指令保留待解析。对象歧义、隐藏项显式显示、持续/仅本轮保持项、保持冲突、缺证据、预算耗尽、停止和并发版本变化分别演示。未知自由输入原样保留为待解析，不假装是通用自然语言理解器。核心输入使用键盘 Ctrl/⌘+Enter；搜索、结果与保持项均为原生可聚焦控件，圈选有搜索替代路径。窄屏验证见实际截图。

正式用户实验仍未进行；本轮没有付费或真实模型调用。保留与纯聊天及上一代关系比较样机的独立任务对照设计：新手和工程师分别完成未参与此样机设计的目标定位、允许范围判断、unknown 识别与一次误解纠正，报告正确率、操作数、时间、求值次数与同预算下的失败情况。当前两条情景只用于调试，不充当独立留出样本或 AI 成功率证据。

独立任务卡如下，尚未运行；实施研究时三种界面使用同一模型、相同时间与求值预算，并交叉平衡顺序，任务判据独立于任何候选操作序列。

留出任务	正确性判据	重点观察
风机维护盖：将指定一组通风槽轴向移 3 mm，密封面形状与位姿保持	只改变指明槽组；密封面检查覆盖完整保护内容	指代准确性、保持范围理解、纠正一次误选的操作数
输送线工位：移动第 7 工位的传感器实例 8 mm，同源实例保持	唯一 occurrence 被改变；若候选触及共享定义则拒绝该候选，不能靠扩大对象数量改变位姿指令的语义	实例/定义混淆、范围外变化的识别
安装座减重：保留载荷能力，但暂缺材料与载荷数据	将强度保持标为 unknown，阻止自动应用；不能把形状检查代替强度证据	未检查项识别、是否诱导用户误认工程通过

上述样机研究曾通过 Web 类型检查、构建及改动文件的 ESLint/Prettier 检查；构建报告过第三方 Node 模块浏览器外置、动态 URL 与大 chunk 提示。这些静态结果不证明真实几何或产品交互完成，当前验收状态仅见 ACTIVE_TASK.md。

6. 正确性保证与停止条件

在目标引用唯一、要求已表达、相应检查器适用且可靠、版本和权限有效的前提下，系统可以保证：一个标为“满足要求”的结果，其声明范围内的每项硬要求都有对应 pass 证据。原子提交与持久来源可保证历史不被失败候选污染。证明前提不包含用户未表达的偏好、错误的工程假设或现实世界全部物理行为。

完成状态必须与目标相称：

• 概念探索完成：用户获得可比较的方向；关键假设仍可开放。
• 可编辑设计完成：模型、关系和引用可读回，后续合法修改能保持已确认规则。
• 指定工业用途已验证：该用途要求、模型假设、误差与资源预算、检查结果和下游交付证据均明确；缺项仍显示 unknown。

这些状态不可互相冒充，也不能由一张正确渲染的图片代替。

7. 需要证伪的产品假设

本白皮书不声称上述 UI 已经提高任务成功率。至少需要在新手和工程师两组用户中，以独立任务对照当前工作台、纯聊天与混合交互：固定正确性标准及可比总预算，包含局部精确修改、中途改意图、跨部件工业修改与会话恢复。分别报告完成正确率、静默误解、澄清负担、返工、总时间、后续编辑规则保持率和 unknown 的识别。探索样本与留出任务分开；确定性脚本的通过率不充当 AI 自主成功率。若混合交互未改善这些指标，或者引入新的隐性误解，应修正交互假设。实施与验收跟踪在 UX1 issues，这里不维护平行任务清单。

参考来源

1. Dorst, K. & Cross, N. (2001), “Creativity in the design process: co-evolution of problem–solution.” Design Studies.

2. Sobek II, D. K., Ward, A. C. & Liker, J. K. (1999), “Toyota’s Principles of Set-Based Concurrent Engineering.” MIT Sloan Management Review.

3. Shannon, C. E. (1959), “Coding Theorems for a Discrete Source With a Fidelity Criterion.” 原文 PDF.

4. Javdani, S. et al. (2014), “Near Optimal Bayesian Active Learning for Decision Making.” PMLR.

5. Horvitz, E. (1999), “Principles of Mixed-Initiative User Interfaces.” 论文 PDF.

6. Habib, R. et al. (2017), “DreamSketch: Early Stage 3D Design Explorations with Sketching and Generative Design.” Autodesk Research.

7. Vaithilingam, P. et al. (2024), “DynaVis: Dynamically Synthesized UI Widgets for Visualization Editing.” arXiv.

8. NASA, Systems Engineering Handbook, 需求、追溯与验证相关附录.

9. Matejka, J. et al. (2018), “Dream Lens: Exploration and Visualization of Large-Scale Generative Design Datasets.” Autodesk Research.

10. Masson, D. et al., “DirectGPT: A Direct Manipulation Interface to Interact with Large Language Models.” arXiv.

11. Vaithilingam, P., Arawjo, I. & Glassman, E. (2024), “Imagining a Future of Designing with AI: Dynamic Grounding, Constructive Negotiation, and Sustainable Motivation.” arXiv.

模型标注修订：移除常驻数字与默认预选，接入 viewer 的对象探测，名称随悬停出现；多选保留无文字的投影范围框和数量汇总。实际浏览器核对了默认空选择、网格点选、空白取消和按投影中心圈选；类型检查通过。上方单件截图已更新，装配/窄屏截图保留为先前流程验收记录。

定位入口修订：取消默认的编号长列表，画布指向为主，索引查找为补充；预览与指令绑定分开。浏览器已核对宽泛查询不展开清单、单项预览不改变选中对象、确认后绑定。此改动尚无可用性实验；合成编号数据不能证明复杂真实工件的语义定位能力，任意描述解析仍未实现。改动文件 ESLint 通过；全项目类型检查受 exact-cad-plan-assertions.ts 的 ExactCadRequirementEdit 字段错误阻断，不能报告全量通过。

6. 交互能力分类与研发评分（2026-09-24）

评分维度、能力分值和迭代记录统一维护于 交互评分账本，本白皮书仅保留交互推导与已完成样机说明。

6.4 本轮可操作迭代：从一点表达一排

现有工作台增加“想改整排？预览同一排”：仅在选中一个对象且当前显示区域有同排成员时出现。点击后，用无编号的投影范围框预览成员，指令对象仍是原来的一个；“使用这 N 项”才替换指令范围，“仍只改这一处”撤销预览。预览不调用 AI、不生成几何候选、不求值 CAD；随后发送指令仍走原回放任务检查。选中对象、版本或所在显示区域变化后，旧预览不适用。打开对象面板不再把多选静默收缩为首项。

同排关系来自固定情景完整目录中的 rowGroup 元数据，不是屏幕水平位置，也不是 AI/几何识别结果。原隐藏成员属于该关系时会临时显露供核对，可以排除；同源实例不会因为共享定义而自动加入。范围预览不是几何保持证据。一般性的“同排、同轴、相邻配合、全部同类但排除某处”仍需要真实语义索引、消歧与范围检查；本轮只验证最小可操作交互，不声称已具备通用关系理解。

6.5 怎样让评分成为证据

下一次评价应让参与者分别完成可见局部修改、重复集合排除一项、内部对象定位、单实例/共享定义区分、持续保持冲突、纠正一次错误指代六类独立任务。任务文字不提示按钮或操作序列；对照纯聊天、编号列表基线与混合交互，采用相同模型、预算、正确性要求和模型数据，顺序交叉平衡。编号基线仅作受控评价材料，不恢复为产品入口。

记录：正确对象集合及额外/遗漏项、能否正确说明授权范围与未检查项、首次正确表达时间、一次纠错的操作数、模型调用与 token、精确求值数、取消后迟到应用次数。时间只在成功任务上单独统计，并同时报告失败/放弃率，避免“快速选错”拉低均值。分别覆盖 1千/1万个语义目标与实例，以及遮挡/命名缺失，不把只显示 16 项的表现当作全量 3D 性能。

尚未开展参与者实验或真实模型对照，因此本表不提供成功率、收益百分比或显著性。当前局部操作验收只支持 P 状态；新关系交互尚未重新做规模性能测量，§5 的旧基线不能当作它的成绩。

本轮验收：同排预览仍保留原单对象指令、取消后仍为单对象、确认后绑定 4 项、发送后 r2 显示实际修改 4 项与保持项 pass（情景回放）。发现并修复范围提示改变画布高度后的投影框错位，采用尺寸观察与重投影。本轮早期类型检查与 Web 构建通过，改动文件 ESLint/Prettier 通过；最终类型复查被同期修改的 WorkbenchDesignState.ts:420,452 参数类型错误阻断，故最终工作树不能标为全量通过。构建仍有既有浏览器外置模块、动态 URL 与大 chunk 提示。未进行新规模性能测量或用户实验；未提交推送。

后续范围例外交互与验证结果见 评分账本·迭代 01。范围预览已支持成员排除/恢复、零成员禁用确认与键盘复选框；通用关系识别仍未实现。

装配同源核对的下一轮操作与评分见评分账本·迭代 04：选中实例后按需显示共享定义引用，跳转查看另一处时保留原指令对象，并明确“查看”与“授权”的区别。该信息来自情景结构索引，不能替代候选的实际影响与约束检查；窄屏将入口放在输入区，避免隐藏在任务面板内。

无名称对象的局部指向见评分账本·迭代 05：定位面板按需暂显当前区域原隐藏项，再在画布上选中；视图显隐与指令对象明确分离。该情景使用 authored hidden 标志和显示网格，不能证明真实 CAD 的剖切、遮挡解除或跨区域粗定位能力。

对象 token 与动作短句的迭代见评分账本·迭代 06：已选对象不必在指令中重述；当“再移动”与当前选择的对象冲突，只澄清本次对象，再保留原移动量与保持项执行。此处为有限语法与固定情景回放，开放指代和真实几何影响仍待验证。

空闲画布与按任务出现的理解面板见评分账本·迭代 07：右侧只在草稿、澄清、检查或结果需要时出现；未解析文字不投射默认修改数值。账本内部暂评满分仅针对样机设计规则，用户可用性与真实模型性能仍待独立验证。

视图稳定性的修订见评分账本·迭代 08：理解卡改为按需覆盖而不缩放 3D 画布，提供收起/恢复；窄屏取景计入水平视角，避免初始壳体裁切。桌面与窄屏浏览器已做同一对象的屏幕位置和 canvas 尺寸对照，触摸拾取与真实模型性能仍未验收。

窄屏小目标的确认式指向见评分账本·迭代 09：精确点击或附近投影只产生对象预览，用户确认后才把稳定引用放入指令。已在窄视口用鼠标操作，真实触摸准确率与密集目标歧义仍待验证。

运行中视口比例变化与方向参照的修订见评分账本·迭代 10–12：共享 viewer 缩窄窗口时保留相对取景；泛称方向先询问一次可核对的端点，明确的情景朝向才允许回放。模型 X 仍是情景作者定义的单一方向，不是通用 CAD 基准求解。

大型结构定位的修订见评分账本·迭代 13：结构段精确匹配、逐层收窄、匹配区域的临时高亮与明确绑定分离。1 万目标／实例的本地路径量测见 §5；真实无名工件的粗定位与全量几何性能仍待验证。

指令先于对象的修订见评分账本·迭代 14：文字、指向、发送可分步完成；后补对象返回可核对的草稿，仍需明确发送。该轮 fixture 尚没有全局空间布局，因此当时没有把分页编号画成貌似真实的装配缩略图。

窄屏提交前的目标证据见评分账本·迭代 15：任务卡在草稿阶段显示当前实例范围和首项结构路径；目标不在当前页时提示并允许返回。浏览器发现初版遮住翻页按钮，已调整卡片内容和位置并复核。路径证明当前引用身份，不证明修改影响范围或 CAD 检查通过。

语言提出关系范围的实操见评分账本·迭代 16：一句“同一排，向孔排末端移动 5 mm”先展示局部关系展开的具体成员，允许排除例外，再以一次明确动作确认范围并进行情景检查。解释只覆盖固定语法和 authored 局部关系；该轮尚未加入空间粗定位。

原隐藏关系成员的语义修正见评分账本·迭代 17：从完整 authored 关系索引展开，而非从当前显示网格推断范围；预览临时显露原隐藏成员并允许排除。此举修正了“整排”表达与授权集合不一致的情景缺陷，不证明真实 CAD 的关系发现或几何检查。

大型装配的同源传播核对见评分账本·迭代 18：固定情景中，一个定义被 100 处实例引用时，先以实例数、工位跨度、隐藏数和本区显示数呈现传播范围，再由用户确认整体授权并进入检查。共享定义的编辑语义不能逐实例排除；仅改一处应选择实例位姿或另建定义。默认结果以聚合摘要呈现，逐项变化按需分页。这是针对大量受影响对象的交互推导和样机回放，不代表已实现真实 CAD 传播闭包与成本保证。

近邻纠错与空间证据边界见评分账本·迭代 19：密集局部点击只提出点位附近少量对象，临时轮廓与结构路径可逐个核对，确认前不进入指令；短屏核对卡不再遮盖模型。该轮仍没有远处对象的空间布局。

分页目录的历史操作与纠错见评分账本·迭代 20、90、93：后续源码核查发现所谓整体坐标只由目标序号生成，每页显示网格复用同一局部位置；先前“已知大致方位即可找对页”的推断已撤回。目录只供研发回放切页，已选对象、保持项与授权边界不随翻页改变。真实 CAD 空间导航仍需来源一致、随修订失效的整体几何、稳定引用与可辨地标，再经独立任务验证。

结构检索与空间定位的交接见评分账本·迭代 21：匹配集合跨多个局部时，显示哪些区域有命中并由用户进入局部点选；仅一个局部时直接进入。不能把检索返回的首项当成用户选择，也不能把命中高亮记作修改授权。命中位置必须与同一修订的目标引用及真实空间证据相符。

保持项的编辑和重新表达见评分账本·迭代 22：取消最后一个属性不得暗中解除整项要求；明确的“安装接口不要动”必须覆盖本轮任务中的形状、位姿和既有关系，同时尊重用户已设置的仅本轮期限。结果记录提交时实际适用的属性与期限；固定情景 pass 仍不等于真实几何保持证书。

发送前的保护内容核对见评分账本·迭代 23：窄屏输入区直接投影本轮对象、属性与期限，和提交任务共用一份保持项解释；原文要求比编辑器当前属性更宽时，编辑器提示补齐原因。不会因为模型仍可见就把视图状态当成保持证据。

另指保持对象与检查覆盖边界见评分账本·迭代 24：修改对象和保持对象沿同一定位入口分别绑定；当前回放只可比较普通目标的轴向偏移。形状或既有关系缺检查器时先显示 unknown 并停止自动应用，已知自身保持冲突也在模拟求值前停止。绿色局部轮廓是沟通提示，不是保持证书；真实 CAD 需把稳定引用、受保护属性与证据绑定到同一候选和修订。

保护状态的视觉一致性见评分账本·迭代 25：解除安装接口保持后，其显示网格回到中性壳体色；两项保持要求在窄屏提交区逐项列出对象和属性。多项时进入按需编辑器核对，画布不添加数字标签。颜色与摘要均是沟通线索，检查结果仍以任务证据为准。

保持项编辑的视角连续性见评分账本·迭代 26：在同一局部改保护属性或解除保护时保留用户相机，换局部才重新取景。保护集合不能借修改范围的确认界面直接授权；需要独立核对成员、隐藏对象和实例传播，再冻结到任务与检查证据。

独立保护集合的交互见评分账本·迭代 27：从一个已指向的保护锚点预览 authored 同排或同源成员，聚合呈现数量、跨区和隐藏范围；确认后冻结关系成员并逐项进行情景偏移检查，整个过程不扩张本轮可修改对象。1 万实例中已操作跨 100 个工位的保护预览与单实例修改回放。真实 CAD 接口仍须让关系索引、成员引用、检查证据和模型修订绑定，成员变化时停止应用；合成关系与偏移检查不能证明几何或配合保持。

保护集合内明确例外的操作见评分账本·迭代 28：用户可在保持预览中将本轮修改对象排除，也可按需逐项修订当前局部成员；确认冻结具体例外引用，之后更换指向不会改变保护。1 万实例情景中，100 处同源集合保护 99 项、排除当前修改实例，结果仅对 99 项报告情景偏移检查。例外不是 pass，也不会自动授权其他实例修改；真实 CAD 仍需关系、依赖、属性检查与修订一致的证据。

远处保持例外的集合内检索见评分账本·迭代 29：已知工位或结构名称时，在当前保护关系中搜索并先跳转核对，再明确排除或恢复；100 个同源成员无需逐页寻找。检索结果和空间跳转不改变指令对象，也不自动成为例外。无可信命名或空间定位证据时仍需保留未定位状态；这一操作不能外推真实装配约束检查或用户任务效率。

修改与保护其他成员的一句式表达见评分账本·迭代 30：当前引用明确时，“移动当前孔组，同一排其他孔轴向偏移不变”先生成关系保护预览，默认将当前修改对象列为例外，确认后沿用同一任务进行情景检查。宽泛的“其他孔不要动”覆盖形状、位姿和既有关系；fixture 无对应证据时标为 unknown，即使确认了保护成员也不能自动应用。1 万实例样机可聚合核对 100 个同源成员，实际 CAD 还需版本一致的定义/实例引用、依赖闭包和属性检查。能力账本的 29/30 为限定场景下的设计估计，尚无用户实验与真实求值。

更易读的精确保护措辞见评分账本·迭代 31：用户可以说“其他孔沿孔排方向的位置不变”，界面以可见的孔排首端→末端参照解释这一个方向的保持要求；同源实例采用实例排方向。它与“其他孔不要动”具有不同保护范围，后者不会被自动缩成单方向检查。账本在严格限定的已知方向与可检查任务上暂评 30/30，但这只是设计评分；对自然表达的理解、真实 CAD 约束和整体最优仍无独立验证。

持续例外的续改语义见评分账本·迭代 32：对同一锚点重复提出“保护其他成员”时，预览保留先前明确排除的远处成员，并指出沿用数量；旧关系引用失效或语义改变时停止投影，不靠新句子悄悄重置例外。用户仍可在预览中明确恢复保护。此处是固定关系索引与情景回放，真实 CAD 还需把冻结的成员和例外同模型修订、检查证据绑定。

宽保护后的明确收窄见评分账本·迭代 33：自然语言的新草稿不会自动解除持续的“其他孔不要动”。当用户改为只保护沿排方向位置时，输入区列明将解除的形状、位姿和既有关系，只有点击该操作才更新保持项；原文保留，关系范围仍要核对并再次发送。宽保护缺检查证据时维持 unknown 和未应用状态。该操作是固定情景回放的可纠正语义，并未验证真实 CAD 强约束或用户理解率。

从单对象保持转换为“保护其他成员”的知情确认见评分账本·迭代 34：当前对象已有独立保持时，新句子的关系预览会明确指出原保护属性和当前对象成为例外的后果；取消保留旧设置，只有点击写明“替换”的确认按钮才改变保持范围并继续任务。短屏保留该警示与操作。此处仍是有限语法和情景回放，真实用户是否准确理解转换须独立评价。

撤销范围的界面说明见评分账本·迭代 35：撤销按钮和完成后的提示明确区分工件变化与持续保持要求。撤销几何修改后，已明确确认的关系保护继续有效，用户可在保持项面板修改；这与当前样机事务状态一致，但尚未验证真实 CAD 持久化、并发撤销或用户对该边界的理解。

实体遮挡的局部指向见评分账本·迭代 36：单件 fixture 的盖板实际挡住孔组，普通拾取不会越过前方表面。用户按需查看点击位置沿深度的已载入显示网格对象，预览时盖板临时半透明，明确确认后才把后方孔组加入指令。该路径只解决有显示网格且点位可定位的局部遮挡；深度命中不是 CAD 内部结构、修改授权或保持检查的证据。大模型相交成本、未载入部件及装配实例歧义仍须单独解决。

多层遮挡后的局部渐进剖开见评分账本·迭代 37：当前四层深度候选均不可绑定时，用户可在点位附近逐步剖开已载入显示网格，然后直接点选显露的对象。剖开只改变视图与对应拾取，结束后恢复完整显示；不会生成大量候选、改变工件、扩大修改权限或产生保持检查证据。桌面与 390×600 浏览器视口均已指向五层盖板后的孔组；物理触摸命中率、真实大型网格与 CAD 内部结构仍需验证。

小目标放大与规模量测见评分账本·迭代 38：沿用 Three.js 已有的指针/双指中心缩放锚点，深层孔组放大后仍留在操作位置附近，无需新增模型标注或独立放大镜。10,000 实例目录的 UI 测量低于既定定位目标，但当时只显示 17 网格、5,256 三角形；这些数字不代表全量大型 CAD 网格拾取、实际触摸或约束求值性能。

高面数视区的拾取剖析见评分账本·迭代 39：2,009,828 三角形的单点深度射线查询在原遍历路径 p95 为 167.6 ms；后台构建且保留面索引的显示 BVH 就绪后，同点位 p95 为 0.3 ms。样机可切换 50 万与 200 万面的诊断负载并直接操作；这只证明固定视区的暖态射线查询，索引冷态、GPU、真实 CAD 检查和用户任务效率尚待验证。

冷态交互与索引成本见评分账本·迭代 40：同一 200 万面诊断局部重复加载 10 次，显示拾取索引就绪耗时 p50/p95 为 870.8/930.4 ms，返回树缓冲区约 24.7 MB；显示包生成、worker 临时副本与 GPU 资源未计入。冷态深度点击改为提示后异步沿用原点位，视角或场景变化会取消；待建网格确定在已命中的前方表面之后时，普通可见对象仍可立即点选。包围盒只用于保守地判断是否需要等待。该路径避免指定合成负载的冷态同步射线阻塞，但不提供真实 CAD 网格或人类任务效率的规模保证。

直接点击不可绑定盖板进入局部查看见评分账本·迭代 41：该情景中的盖板不是修改对象，普通点击可沿同一点位打开局部剖切；用户拖深度后仍须直接点显露的目标，才形成指令引用。这减少固定五层盖板路径中的模式准备操作，也保留主动深度模式供可绑定前表面后的查看。是否穿透必须由对象语义决定，不能把真实 CAD 中可编辑的盖板一律视为障碍；样机的三步路径与 25/30 评分均是限定场景的工程观察和设计估计。

主界面的对象名称与回到对象操作见评分账本·迭代 42：样机自动生成的编号名称在指令 token、当前位置和悬停提示中折叠为对象类别，精确引用与结构路径仍可核对。点击或键盘激活当前位置，可在转动视角或跨局部后回到原对象并居中，原指令对象和保持项不变。此规则不修改用户自定义名称；真实 CAD 还需可信空间索引与独立任务证据来判断是否更易辨认。

空白点选与对象引用的关系见评分账本·迭代 43：对象已绑定后，画布空白点击只结束局部核对，不能默认为“撤销本轮指向”；替换靠点击另一个可绑定对象，清除靠明确的“清除对象”操作。清除保留原修改文字和持续保持要求，以便重新绑定。该规则减少局部误点丢失引用的路径，但是否符合用户对空白点击的预期仍需独立任务检验。

结构搜索后的视觉核对见评分账本·迭代 44：候选预览使用可信空间点切到目标局部并居中，原指令对象、修改文字和持续保持项仍保留；明确采用候选后才替换引用。固定 fixture 的跨区浏览器路径已可操作，真实 CAD 的空间索引、遮挡判断及用户辨认效率仍未验证。

预览与正式指向的视觉状态见评分账本·迭代 45：新候选采用橙色虚线局部轮廓与模型上方的“仅预览”标识，已绑定的修改对象继续用青色；点击“用于指令”后候选才获得青色当前状态。若搜索结果已在多选集合中，则维持青色与完整集合，不因返回预览而缩成单选。颜色之外，原始草稿、精确对象引用和授权状态仍须在任务语义中核对，不能靠高亮颜色决定是否可应用。

窄屏搜索后的采用动作见评分账本·迭代 46：线索与少量结果可以滚动，当前候选的路径、采用及继续查找固定在面板底部。预览不会自动绑定；继续找保留查询，采用才改变指令引用。390×600 浏览器视口已实际操作该转换，触屏效率和误选仍需独立验证。

候选预览的临时核对状态见评分账本·迭代 47：已点中一个搜索结果后，暂收起只用于定位的控件，让模型与精确候选信息、采用或继续找同屏；返回查找仍保留原线索与筛选，键盘焦点随状态切换。此布局减少固定窄屏样机的遮挡，但多候选任务的效率和真实触屏准确率仍需独立评估。

少量相似候选的逐个视觉核对见评分账本·迭代 48：已缩到 2–5 项时可在模型上切换预览，不需要每项先返回搜索结果；采用之前仍只有一个橙色临时指向，左右方向键和面板内控件均可操作。较大命中集仍须按结构或空间缩小，不生成并列修改结果。三候选固定情景的动作减少不等于真实任务效率或选对率已提升。

大范围检索的有效收窄见评分账本·迭代 49、93：匹配只占部分局部页时，可用亮暗分布浏览页目录；若全部局部都有匹配，明确请求补充已有名称或结构线索，不再建议凭无几何依据的格子寻找方位。超过 1,000 项的宽泛检索不展开清单或建立整张匹配页图。纯数字结构分组不列为默认取舍，用户知道编号时仍可直接检索。这不解决没有可区分线索的重复对象辨认问题。

当前局部检索的信息增益见评分账本·迭代 50：同一局部的线索只命中部分对象时，可临时在画布查看这些位置，明确点击后才成为指令引用；若本区所有对象都命中，则直接指出线索没有缩小范围并返回手动指向。局部位置提示不替代用户指向，也不是几何保持或修改授权证据。窄屏中搜索输入、判断和下一步动作必须同时可见；真实触屏辨认率仍需独立验证。

隐藏对象的搜索与预览边界见评分账本·迭代 51：当前局部勾选包含隐藏时，应在该局部完整对象索引中查找，而不能先用可见集合排除它；找到后的显示只随临时预览存在，明确采用后才成为指令引用。浏览器已核对隐藏候选预览、取消恢复和窄屏线索与结果同屏。真实模型的隐藏状态、拓扑可见性与修改授权仍须分别验证。

跨局部继续查找见评分账本·迭代 52：查找线索、搜索范围与隐藏选项应在从匹配总览返回画布后仍可编辑，减少重复特征定位时重输已知信息。修改对象与保持对象的线索分开保存；候选预览和采用状态不随查找条件恢复。该状态只用于定位，不能证明 AI 已理解对象或任务授权。

一万目标宽泛搜索输入的固定浏览器测量见评分账本·迭代 53：单件与装配在已有目录索引下各 30 次输入至第二帧回调 p95 均为 12.6 ms，均无需逐项展开或调用模型。预算友好维度据此暂上调一分至 5，检索能力总分为 23/30。只显示当前局部的少量网格，指标不包含人工辨认、全量 CAD 几何或精确约束检查，不能外推真实大型工件端到端表现。

任务理解卡的视图避让见评分账本·迭代 54：右上卡片出现时，viewer 用现有投影 inset 给模型留出指向区域；收起后恢复原视图。单件末端孔位和装配实例仍可直接点击，草稿与保持项不因视图变化而改写。固定桌面视口验证了避让后的指向路径；尚无真实用户关于视图移动是否易追踪的对照数据，也未证明原布局在该固定孔位会误选，因此不调整方案分。

续改指代冲突的空间核对见评分账本·迭代 55：上一任务对象与当前指向冲突时，先在画布逐个查看两处位置，再明确选择哪处用于本次任务。预览跨局部跳转但不改当前引用或任务版本；澄清中另指对象会更新当前候选，并保留已确定的修改量和保持项。固定情景证明该路径可操作，尚无用户辨认率、真实 AI 指代理解或 CAD 几何检查证据。

多对象续改须让预览范围等于待授权范围，见评分账本·迭代 56。候选是一组时，当前局部突出整组成员并汇总本区/全集数量；跨区域可按需继续查看，引用失效阻断采用。四孔与跨两个局部的 9+1 项情景已验证整组预览，不把单点预览或首项数值当作全组检查证据。真实依赖传播及用户辨认仍待验证。

局部数值编辑不得改变待澄清的对象指代，见评分账本·迭代 57。当“再移动”同时可能指上一任务和当前选择时，在卡片把 2 mm 改成 3 mm 仍保留“再移动”指代措辞、两个对象候选、位置预览与保持项；只有明确选对象后才执行。固定情景验证上一对象从 5→8 mm，尚不能外推任意自然语言或真实 CAD 模型的语义保证。

窄屏对象澄清的决策与空间核对见评分账本·迭代 58：先让两种对象及各自的查看/采用动作同屏；查看时临时收起决策面板，让出模型，返回后才可明确采用。390×844 与 390×600 的情景回放已验证按钮可触达和预览不改版本；真实触屏误选率、读屏体验与复杂工件遮挡仍需独立评估。

窄屏澄清中的局部数值编辑见评分账本·迭代 59：在决定“上次对象还是当前指向”之前，用户可直接修改移动量，原文与结构化任务同步，候选和保持要求不被重置。短屏浏览器验证了 2→3 mm、101 mm 拒绝、明确采用后 5→8 mm；0 mm 复合任务仍留有可编辑控件。这里是固定情景的交互语义，尚无真实模型检查或用户误选数据。

完成态的窄屏反馈见评分账本·迭代 60：应用后即显示关键偏移、保持通过的回放级别和撤销；方向、实际受影响集合与逐项检查在详情中按需展开。单件的 390×600/390×844 及装配的 390×844 回放已核对可见性，不能据此推断真实 CAD 的保持证明或用户对“通过”证据的理解。

阻断态的窄屏反馈见评分账本·迭代 61：缺少检查证据时直接显示 unknown 与未应用原因，装配共享定义越界时把原因和两种后续动作放在同一任务卡。390×600 情景回放验证了可见性与输入区避让；真实依赖影响、检查来源与选择行为仍待独立任务验证。

阻断后的重试边界见评分账本·迭代 62：指令、对象、修订和检查情景均未变化时，样机暂停再次发送同一未应用任务；改变任务或可用检查条件后开放重试，不把 unknown 当作通过证据。单件与 390×600 浏览器操作验证了这条本地 UI 路径。真实 CAD 的重试判定必须随检查器与证据状态更新，并以版本一致的依赖和授权为准；当前情景回放不能声称实际求值节约。

阻断原因与后续动作的绑定见评分账本·迭代 63：同一个装配任务同时含有保持冲突和同源传播时，实际先发生的保持冲突决定界面下一步；同源范围动作不得仅凭开发情景标签出现。该轮曾演示的 10 实例聚合授权路径已在迭代 76 撤回，因为引用同一共享定义不意味着所有实例位姿都应改变。真实 CAD 还须把原因绑定检查器、证据版本、依赖闭包与授权来源，不能把回放视为强约束证明。

保持要求的来源见评分账本·迭代 64：样机开场的安装接口保持项是示例情景预置，用户在面板设置的要求与明确指令提出的要求分别标记；任务结果沿用当时的来源。输入区以短标签提示预置，详细来源按需展开，不在模型上增加数字。来源解释“为什么有此要求”，检查证据解释“是否仍被满足”，两者不能混用；生产实现还需不可混淆的原始来源、修改事件及检查版本。

短可视高度下的任务优先级见评分账本·迭代 65：在 390×350 浏览器视口中，输入和阻断原因优先可见；搜索时保留查询词与候选，候选预览时暂让输入区为模型腾出空间，确认采用后恢复。该布局只处理固定浏览器可视高度，未验证真实软键盘与复杂工件触屏表现，也不改变保持检查的证据要求。

整组结果摘要必须反映实际受影响集合，见评分账本·迭代 66：若一组对象的原始偏移不同，完成卡显示实际变化的成员数和共同增量，不用首项的绝对值变化代表整组；具体前后值按需展开。固定四孔回放已核对 5→7 mm 与另外三项 0→2 mm 并存的情形。真实 CAD 仍须从受检差异中分别汇总几何、位姿和关系影响。

执行中的纠正要使旧候选失效，见评分账本·迭代 67：用户改写已提交的指令或替换目标时，样机取消旧检查并投影新草稿；旧计时结果即使稍后返回也不能应用。无语义的首尾空白编辑可继续原检查。浏览器已复现修复前旧 5 mm 意图越过新 2 mm 原文被应用的反例，并核对修复后的版本与结果。生产环境仍需在原子提交点绑定授权、模型版本和检查证据，而不能只靠前端取消标记。

保持要求与保持证据分开表达，见评分账本·迭代 68：安装接口的形状、位姿和关系在样机中只由情景设定为通过，完成卡明确说明未做 CAD 检查；另指对象的轴向位置保持则可以用数值前后值核对，混合任务分别列出。这样保留回放主流程，同时不把脚本给定的 pass 冒充真实强约束证明。生产自动应用仍以逐项可检查、版本一致的证据为条件。

完成反馈读取本次任务保存的保持记录，见评分账本·迭代 69：应用结果按保持项保存基准修订、属性、引用、核对成员及证据方法，完成卡只显示与任务要求匹配的记录。同排关系的明确例外不会被算进受保护成员；缺失记录不能由 UI 推断成通过。样机中的接口结论仍是脚本情景，实际 CAD 自动应用需要检查器和模型依赖证据。

完成态的界面克制见评分账本·迭代 70：桌面与窄屏默认只呈现实际变化、保持证据级别和撤销，逐项检查与来源按需展开；下一项任务不继承上次展开状态。窄屏结果卡依据输入区实际高度避让，展开内容在页头与输入区之间滚动。固定浏览器视口验证了无遮挡，仍须用独立用户任务判断是否更容易理解与纠正。

无名称目标的键盘局部指向见评分账本·迭代 71：进入目标局部后，用户可按需用方向键逐个预览当前画布对象；回车才把引用放入指令，Escape 退出保留原目标。画布只突出一个候选，不铺设常驻编号或长列表。方向由当前屏幕投影决定，不能替代稳定 CAD 引用、隐藏对象定位与真实任务可用性测量。

已应用任务的重发边界见评分账本·迭代 72：原文与对象均未变化时，发送与快捷键不会再次修改工件；明确点击一次“同方向再移动”才产生新的增量任务与授权记录。对象替换则重新显示待发送理解，避免把旧对象的结果套给新目标。生产实现不能只靠文字判重，还须绑定任务身份、授权与模型修订；开放措辞与真实使用者误操作仍待验证。

限定语法内的同义改写重发见评分账本·迭代 73：同一对象集合、结构化移动增量、范围和保持要求不变时，更换“mm/毫米”或补充主语不会把已应用任务变成新任务；明确续改、改变对象或改变数值仍可继续。该判定只覆盖样机可解析语法，不能替代生产任务身份与事务幂等，也不能推断任意自然语言的语义等价。

完成结果的版本边界见评分账本·迭代 74：外部版本前进后，旧结果保留为标注修订的历史记录，保持证据不再暗示适用于当前版本，旧修改不能直接撤销，隐式续改不能继承过期对象或方向。用户仍可明确提出新任务，或选择“在当前版本再次移动并重新检查”产生新的授权与原子修改。固定情景中的版本模拟不代表真实协同编辑；生产实现需要在提交点核验当前模型、对象引用、权限与检查证据，并为跨版本撤销另行定义安全语义。

版本变化时的未完成任务见评分账本·迭代 75：等待回答的局部澄清、运行中的检查和旧版本的阻断判断都应立即失效；原文、对象和持续保持项保留，用户可在新版本上重新发送并核对。未确认的范围与保护预览同时撤回，不能继续当作授权依据。固定情景取消了过期回放计时；真实 CAD 仍须把取消传播到实际求值任务，并在提交点验证模型版本与证据。

实例位姿与共享定义的语义分界见评分账本·迭代 76：同源索引只说明引用分布，不说明哪些几何将实际变化。面对共享定义情景提示，原位姿指令可明确按当前实例重新检查；若用户要改共享几何，则须另写几何或关系要求。样机没有共享几何回放，因此保留待解析，不能借“授权全部引用”把同一位姿增量施加到所有实例。生产路径还须通过候选差异和检查证据确定实际传播。

相邻依赖的证据边界见评分账本·迭代 78–80：迭代 77 曾把邻接索引误解为两实例同量位移，迭代 78 撤回该结果；迭代 80 又移除了“先许可提出候选”的空白步骤。只有邻接线索时，界面仅展示原目标与邻接实例路径，5 mm 只属于原目标指令，邻件是否变化仍为 unknown，任务未应用。迭代 79 曾核对旧许可的失效规则，现仅保留为历史记录。真实扩围决策必须基于受检差异与完整依赖影响，并绑定保持证据、版本和资源预算；固定一跳索引不能提供这些证明。

有定义的局部联动如何形成实际决策，见评分账本·迭代 81：装配 fixture 仅为实例 00007→00008 明确写入 1:1 轴向位置关系。单实例 +5 mm 指令先产生两处 0→5 mm 数值候选；只有邻件超出允许范围、且保持项没有先阻断时，界面才要求用户核对并允许邻件这一属性的变化。授权不把邻件改成原指令目标；重检后结果记录目标与实际影响的区别、情景保持证据及原子撤销。其他只有邻接索引的目标仍是 unknown。这验证了交互状态与授权时机，不证明真实 CAD 的配合求解、完整依赖闭包或几何关系保持；实际产品须使用同一候选快照绑定影响、检查、版本和授权。

候选影响的视觉语义见评分账本·迭代 82：青色实线继续表示已指向的指令目标，橙色虚线只表示待授权的邻件候选，差异卡逐行对应。邻件不会因显示轮廓而成为指令目标；身份、数值与授权状态仍以文字明确表达，颜色仅作辅助。

短高屏幕上的候选决策见评分账本·迭代 83：完整对象路径与关键数值用分行结构展示，情景证据与授权属性保留在卡内。高度不足时卡片在视口内滚动，授权与保留范围两个动作保持可见且互不覆盖；不缩小文字换取表面上的同屏容纳。390×350 浏览器操作验证了可触达和回放状态，尚未验证实际触屏、软键盘或读屏效率。

已算出的候选直接进入决策见评分账本·迭代 84：当受影响集合与前后值已经可展示、且额外授权确实决定能否应用时，样机自动展开一次差异卡，不要求先许可计算或点击查看。退出不反复弹出，修改任务后才为新候选再次出现；用户可在阻断卡重新打开。该取舍减少了接受或拒绝候选的必经点击，但直接改写任务可能多一次退出，尚需独立用户任务比较。

短高视口的候选应保持空间核对能力，见评分账本·迭代 85：当完整差异卡覆盖模型时，允许暂时查看原目标和待授权邻件的轮廓，再返回同一份差异与授权决定。此切换不改变任务或许可。它只补足视觉对应关系；小画布的辨认效率和真实 CAD 候选证据仍待验证。

进入画布核对时，应将本次目标和受影响邻件一起纳入视野，再恢复用户原来的视角，见评分账本·迭代 86。固定装配情景中，矮屏两处轮廓由约 20 px 增至约 53–60 px，返回后恢复进入前的投影；这是界面可见性的核对，不代表用户识别准确率或真实 CAD 的依赖闭包。

聚焦边界应取自本次实际载入的显示网格，见评分账本·迭代 87。以明确的 primitive ID 在本区索引中取包围盒、合并后适配视角，避免用固定的零件外延猜测；缺失任一网格不做部分聚焦。真实 CAD 仍需把语义对象精确解析为完整显示 primitive 集合，此相机能力不替代依赖求值或保持检查。

拒绝扩围同样是用户决定，见评分账本·迭代 88：对已算出邻件位移的任务，用户不允许时保持未应用，保留原文并直接进入改写；界面持续显示当前任务已拒绝，重看候选不会自行解除拒绝。拒绝只绑定该任务与基准版本，新要求须重新检查；真实产品还需把决定记录在权威任务授权中，而不只靠样机的本地 UI 状态。

自动出现的候选不能同时把残留的键盘按键当作授权，见评分账本·迭代 89：初始焦点先落在候选解释区域，Enter 不改变任务；用户明确进入决策按钮后才接受其操作。此规则尤其适用于扩大允许修改范围、解除保持或其他会改变授权边界的决定。它只修复样机的焦点与授权入口，真实提交仍须核对授权事件和模型版本。

短高视口的分页控件须保持实际可点选面积，见评分账本·迭代 91、93：390×350 浏览器中，两级 5×5 目录改为可滚动视口面板，已操作到 10,000 实例情景中的具体局部，导航不改变任务对象。后续核查证明格子不对应工件方位，因此该验收不构成空间定位证据。

索引的键盘焦点规则见评分账本·迭代 92：面板打开期间 Tab 留在内部，Escape 返回入口，进入局部后焦点到对象指向入口；用户可连续完成区域导航与对象搜索。该规则保持“导航位置”与“授权修改对象”的边界，不提供真实空间语义或任务成功率证据。

**现行定位边界（迭代 93）：**前两轮的短屏和键盘验收只证明分页控件可操作，不能支持“位置索引”结论。样机格子按目标序号排列，局部网格复用同一显示位置；未使用的伪空间坐标已删除，入口改称“情景分页目录”并移入研究设置。宽泛检索优先要求补充线索；只有匹配确实缩小到部分页时才可看匹配页，最终仍须点选。真实工件地标定位仍未实现、未评分。仓库中的 NIST 单件 STEP 和两实例 STEP 是来源绑定核查材料，不能代表 10,000 实例的语义导航；其中两实例样本已在迭代 95 接入直播工作台作有限验证。

**已加载对象的来源读取（迭代 94）：**viewer 现在按当前 RenderPacket 预建 primitive 与三角面来源区间映射，指向和锁定高亮不再为每次命中扫描整包身份表；装配 LOD 复用 primitive 映射。包变更时同步替换索引。这只缩短已加载对象的拾取来源解析路径；未加载的远处目标没有来自同一模型修订的逐对象包围与语义地标，仍不能画成真实空间目录。评分账本·迭代 94 保留定位分数不变，等待大包耗时与真实用户定位任务验证。

**真实实例的结构定位（迭代 95）：**直播工作台把导入 STEP 的产品实例路径与当前修订的渲染包 occurrence 绑定；可从结构树或路径检索聚焦已载入实例，并在画布上另行点选要修改的实体。两处同源 occurrence 的样本已通过浏览器导入、聚焦、分别点选和同版本刷新核对。来源路径能证明实例身份，聚焦只改变视图；它们均不是范围授权或保持检查。搜索仍依赖可理解的结构线索，缺少真正大型装配的地标、视图外几何索引与独立找物实验，故评分账本·迭代 95不提高设计分。

判别性共同理解：从候选清单转向决策所需的线索（迭代 96）

指代表达研究把描述的判别性放在对话与视觉上下文中考察；交互式视觉指代将含糊指代作为可澄清问题；决策型主动学习关注进入同一决策区域，而非单纯消除所有假设的不确定性；混合主动权原则要求权衡打断成本，并在不确定时缩小自动行为。它们的研究对象均非 CAD，以下是 Aira 的独立推导，而非这些论文的 CAD 实验结果。

令 H 为与当前语言、点位和版本相符的实例引用集合，d(h) 为该引用在本轮修改、保持与授权下所导致的可允许决定。澄清的目的不是把 H 机械缩到一个编号，而是排除会改变 d 的歧义；但本轮若要局部修改不同 occurrence，路径不同通常就意味着 d 不同。来源绑定的名称、装配祖先、空间位置和用户点位可作判别线索，内部数组顺序不能。可见性、临时隔离和相机移动只改变核对能力，不改变 d，也不能自动把某项记作用户授权。

反例说明“命中数”不是充分指标：两个同名且同层级的实例没有用户可识别的区别，列出两个内部键也不能让新手知道该选哪一个；一百个实例若有可靠的装配区和功能名，则一条区分线索可能直接定位目标。因而澄清选择应优先缩小仍可能导向不同授权决定的集合。没有可信概率时，可把候选问题 q 的最差回答后剩余决定种类数作为保守目标，并计入用户回答成本；只有答案能从当前修订的来源数据或用户可见点位核对时，q 才可提出。这里是研究判据，不是已实现的概率模型或最优提问算法。若多个引用碰巧导向同一共享定义变化，是否可合并仍须检查该任务的实例/定义授权和审计对象；仅靠同源关系不能合并。

由此得到一条交互规则：候选只有在短、来源可信、彼此有可核对差别时才逐项展示；否则报告匹配规模并请求一个已有的区分线索，或让用户在模型上指向。不能只列前 12 项，暗示它们是全部或最可能答案。若没有可用线索，保留未解析状态；不为达到唯一结果而编造装配名、空间地标或模型推测。样机暂用 12 项作为呈现上限，并检查已提供的组件标签及祖先标签是否区分候选；这是保守展示门槛，不是从论文导出的最优阈值，更不是通用语义理解。即使两个标签不同，仍须看模型并明确绑定；“a/b”这样的源文件名只能帮助逐个核对，不能证明非专家知道哪一个是目标。

任务后果是指代的一部分（迭代 97）

进一步把决策区域的想法用于 CAD 指代时，不能把“同样会移动四项”误判为两个锚点可互换。对候选引用 h，本轮的决定至少依赖：明确要改的身份和属性 T(h)、关系展开后的范围 R(h)、持续保持及例外 G(h)、用户授权来源 A(h)、基准版本 V，以及尚待精确检查的实际影响 E(h)。即使两个锚点得到相同的 R，它们的身份记录、保持例外或实例/定义权限也可能不同；E 为 unknown 时更不能推出执行等价。只有这些对当前任务要求的决定都相同，才有资格减少澄清；要自动应用仍须独立满足引用、授权、约束、版本和预算检查。这个条件是 Aira 的工程推导，决策区域研究并未证明 CAD 几何或授权的等价性。

因此区分三种层次：定位提示可以把相同线索的结果汇总计数；任务预览可说明若采用某处作为锚点，已知的修改范围和保持冲突会如何变化；执行授权仍绑定明确引用与经核对的完整范围，不能从前两层自动升级。提问优先针对会改变任务决定的线索；若当前来源数据无法给出用户可核对的答案，保留未解析，不以候选排序或内部键代替。性能上，轻量任务预览只读现有索引和保持关系，不启动几何候选；精确影响留在发送后的异步检查。

可操作样机在单个对象的预览卡中投影“若用于当前指令”的已知后果：限定的“同一排”语法显示 authored 关系的成员数和发送后的范围核对；已知持续保持冲突或证据缺口在此先提示。预览不会绑定对象、确认范围或执行任务。它只检查固定回放目录里的已引用保持条件，不预测依赖闭包；其他成员保护、续改与自由语言仍由原有任务流程处理。真正大装配中需要由权威模型修订提供实例路径、关系成员及保护检查，不能使用样机的序号页或 synthetic 同排数据作依据。

最小充分的任务提示（迭代 98）

迭代 97 的常规预览把“只替换当前对象、仍待后续检查”也写成两行提示。这虽保守，却把不改变当下选择的说明加在每次找物动作上。结合混合主动权研究对打断成本的处理与决策区域研究只消除影响最终决定的歧义，可推得更窄的展示条件：当前模型修订的已知事实 f 只有在会改变下一步必经的核对、阻断或纠正动作时，才主动占用预览空间。对固定回放而言，同排关系需要额外范围核对，已引用保持项的已知冲突或证据缺口会阻断自动应用；普通单对象的无已知阻断情况不产生额外卡。这里没有可信的任务概率或阅读成本测量，所以只是保守的事件规则，不冒称最优信息策略。

这个规则不允许从“未显示提示”推断为安全：预览尚无几何候选、完整依赖闭包和全部硬约束证据。相反，未知事实保留在发送后的检查与结果状态中；不把每个未知都重复贴在每个对象上。样机中无阻断的普通单对象预览只显示对象身份与绑定动作；同排锚点显示实际 authored 成员数，仅在成员中确有隐藏项时写“含隐藏成员”；已知阻断先显示原因，再补充相关范围。提交前与范围核对处沿用同一隐藏项事实，不能以模板文字虚报。该约束提升了界面陈述的一致性，但能否减少阅读与误选仍需独立任务评价。

来源约束的范围切换（迭代 99）

指向一个面、知道它由哪个特征生成、知道它属于哪个实体、允许修改整个装配，是四个不同命题。若界面从当前选中项的邻近特征、第一条特征，或固定字符串补造上层引用，再把选择标为“已解析”，用户看到的范围会比实际证据更宽。界面应满足单调的证据规则：从当前精确引用 r 切到层级 s，必须存在当前修订可核对的映射 w(r,s)，并得到对该层级有定义的引用；否则仍停在原引用。即使有 w，范围切换也只表达用户给 AI 的目标线索，不能证明依赖后的实际修改都在授权内。

据此，直播工作台现在只对带明确生成特征 ID、且能在当前特征图中找到的实体开放“特征”；结构树直接选中的特征保持其原层级。产品实例的面命中保留实例级来源，不从其生成特征猜测用户要修改共享定义。当前 WorkbenchScopeReference 尚无独立、可执行的实体及装配引用，故不提供从面一键上推“实体/装配”；后续须先在权威任务契约中表达实例、定义、实体与装配的不同影响和权限，再增加相应控件。显示网格和结构搜索只提供位置，不自动提高范围层级。

另一反例是把歧义面命中的多个内部语义引用 ID 摆成按钮。用户无法从 ID 判断哪个几何体符合意图，点击按钮却会制造“已解析”状态。当前入口已撤掉；歧义继续阻断发送，用户需重新从可见模型或结构来源指向。若以后能从当前修订拿到可辨的名称、祖先和几何位置，可再提供局部澄清。该规则结合了混合主动权原则在不确定时缩小自动行为、决策区域研究只处理会改变决定的歧义；具体引用合法性和 CAD 授权边界是 Aira 自己必须承担的工程证明，不是论文的实验结果。

控件是当前任务的投影，不是模型参数清单（迭代 100）

DynaVis从自然语言编辑要求生成可持续调整的控件，研究对象是可视化编辑。对 Aira 可推得更严格的规则：控件出现至少要有本轮相关的量与可核对的对象/版本绑定；参数存在于模型中，只证明它可被查询，不证明用户下一步要改它。一个固定模型的全部可变参数不应因“当前特征没有相关参数”而自动顶替任务控件。CAD 的检查成本与跨特征影响仍须单独处理，不能从 DynaVis 推出每次拖动都可安全实时求值。

把工作台主层看作一次动作的注意力预算：用户此刻需要看见目标、希望改变、保持/阻断与当前结果；来源 ID 和完整哈希用于追溯，可按需展开。几何检查为 unknown、版本冲突或扩大授权等会改变决策的证据不能因此被隐藏。参数控件只有在选择已解析、参数确属当前特征且可改，并且当前没有待决候选时出现；仅一项可直接微调，多项默认折叠供主动展开。这是现阶段的保守呈现规则，阈值不是实验得出的最优值，也不是动态从语言合成控件。未来应将用户在指令中反复调整的量绑定到任务身份，结束任务后收起，而非重新展示整份参数表。

同一规则也适用于画布标注：悬停只给对象身份与来源特征，不重复列出每个相关参数的数值；锁定对象时仅在恰好一个可改参数的情形给出就地输入，多项留在底部的按需面板。悬停投影不再为每个指针事件重新遍历整份特征与参数表去生成这些无须显示的控件。这降低了已加载模型的单次悬停工作量，但未测真实万级模型的整条拾取延迟，不能据此宣称性能达标。

证据占位不等于当前决定（迭代 101）

上一轮移走了全模型参数表，工作台却仍默认展开空要求层级与四类下游工程输出的未知报告。正确保留 unknown 并不要求将每一项未知常驻在指令旁。把混合主动权的打断成本、决策区域的任务相关性与 CAD 的失败优先约束合起来，可得一条工作台前景规则：只有会改变当前允许动作、要求用户回答，或没有其他可见位置承载的失败证据，才默认占用前景。其余证据保留可发现的状态摘要，用户可随时展开。没有展开不表示已经通过；本轮候选的实际检查结果、提交阻断和澄清仍需直接可见。

这是一条展示规则，不改变原有检查、权限和事务。候选的失败检查已在候选卡显示时，自动打开另一份四项工程报告只会重复失败，并把三项与本任务无关的未知状态推到前景。空要求层级和空声明不再占位；要求失败、硬要求尚未验证、下游失效/待更新在折叠摘要上保留数量。若没有生成图纸，未提交的几何候选不能把不存在的图纸判为“待更新”；部件结构不能充当已生成 BOM；单个工艺断言或任意失败检查也不能推出完整 DFM 当前或失效。这些状态归因需要与输出、修订及检查证据绑定。

目前只在直播工作台的既有候选、空闲、失败情景中核对了信息层级；尚无独立用户任务证明更容易发现重要约束或更快完成修改。当前 DownstreamConsumerReport 的存储来源与完整性尚未形成统一的证据绑定契约，折叠只能减少噪声，不能补足工程输出验证。见评分账本·迭代 101。

不确定性必须按责任分解（迭代 102）

旧工作台把任一未知假设、对象歧义或待回答澄清都投影成“宏观探索目标”的长告警。这在逻辑上不成立：孔阵列规则的两种解释不会使产品变成宏观探索任务；局部承载假设缺少载荷谱，也不是对象引用不清。把不同原因合成一个 uncertain 位，会让人不知道下一步该指对象、回答规则、补工程证据，还是仅继续探索。

一项修改任务的未知状态至少分为四个相互独立的轴：

未确定的命题	谁有能力消除	本轮界面动作	自动应用边界
引用 R：究竟指哪个对象/实例	用户指向或来源绑定的结构线索	保留原文，局部重新指向	引用不唯一或过期时阻断
规则 I：哪种编辑关系符合意图	用户回答会改变决定的一处问题	展示少量可核对的规则差异	未回答的决策分歧阻断
要求 G：AI 提议是否成为用户必须保持的条件	用户采纳、修改或否定	显示来源与期限，允许采纳	采纳只改变约束身份，不产生检查通过证据
证据 V：当前候选是否满足该条件	对应检查器与绑定修订的证据	展示 pass/fail/unknown 与缺口	unknown 不当作通过；不能要求用户点击“确认”代替求值

这是 Aira 的责任划分推导。混合主动权原则支持控制打断与让用户引导自动服务；决策区域研究关心会改变决定的假设。两项研究都没有证明 CAD 的引用、要求和几何证据可以合并成一个置信度，亦未给出本表的工程保证。若 R、I、G、V 同时未知，应只问用户有能力回答且会改变当前决定的一项，其他缺口保留在任务状态；后续检查不能从用户的一次采纳中推断出来。

当前样机据此撤掉由未知假设/歧义驱动的“宏观探索”通用告警。工业任务的两项未验证假设在要求摘要计数，具体来源按需可查；对象歧义仍停在定位阻断；孔阵列关系澄清仍显示局部选择。AI 提议的硬要求标为“提议必须满足”；要求动作明确写成“采纳为必须满足”。采纳改变 provenance，并将原假设或偏好提升为硬要求，验证状态仍为 unknown。决策日志的各类事件由完整的类型映射显示，不再把其他决策误写为“已确认要求”。这只是工作台投影与固定情景核对；真正开放目标是否属于宏观探索，还需明确的目标类型与证据来源，不能靠文字关键词或一项未知假设猜测。

采纳要求之后还需要候选级证明（迭代 103）

前一轮区分 G（采纳）与 V（验证），但若两者仅在屏幕上分别显示，提交仍可能只依据候选事务的几何有效性。一个可用的反例是：用户已采纳“支架与电机总体包络不得超出预留空间”，候选拓扑检查通过，包络检查却没有在当前模型中声明、执行或绑定；此时把候选称为“已验证结果”并允许提交，会把局部几何健康误当作产品要求满足。

将提交资格写成分层条件：可提交(C) = 事务有效(C) ∧ ∀g∈G_active, 适用(g,C) ⇒ 证据(C,g)=pass。证据至少要绑定候选身份、基准修订、显示包、当前模型中的断言 ID 与操作，并保留失败和未知。用户点击“采纳要求”只改变 G_active；点击“接受候选”不能补造缺失的求值。这个形式是 Aira 对权限与验证的推导；它不从 DirectGPT 的对象交互、DynaVis 的持久控件或决策型主动学习的澄清策略直接推出 CAD 几何正确性。

当前工作台按保守近似实现这条条件：对所有有用户采纳事件的硬要求寻找当前候选的匹配通过证据；没有当前断言、操作不匹配或证据不通过时停在候选查看状态，阻止自动与手动提交。要求摘要仍可展开查看具体缺口，用户可以明确解除一项持续要求并留下决定事件；解除不是“本次验证通过”，也不应被当作消除检查成本的默认捷径。固定工业支架浏览器操作已覆盖缺证据阻断、查看原因、明确解除及恢复提交。该操作证明界面和这条事务入口的一致性，不证明真实包络检查可用。

保守近似的代价同样需要正视：现有契约尚未把每条要求的适用对象与实际受影响范围绑定，故所有已采纳硬要求都被视为适用，可能阻止与之无关的修改；assertionId 与操作相符也不能证明自然语言要求、目标对象、公差及工程工况与检查谓词语义等价。下一项研发应把要求编译为可供用户核对的“保护对象＋属性＋量词/阈值＋期限＋检查来源”，并按当前候选影响集合确定适用性。缺语义映射时维持 unknown，不能为了降低阻断数默许提交，也不能让用户逐项批准海量候选来掩盖检查缺口。评分账本·迭代 103仅将当前能力评为受限的设计估计。

检查通过之前，先确定它证明的命题（迭代 104）

迭代 103 的 assertionId + op 只能说明某个检查结果有同名同类来源，不能说明它证明了用户的要求。反例：assert.bounds 的 size 是单个目标实体的世界坐标轴向尺寸等于给定三元组（允许 validationDistance 偏差）。工业支架要求却是支架与电机整体不得超出机柜包络。前者不是后者的充分条件：检查对象漏了电机，等号也不是上界关系。用 assert.validSolid 证明“壁厚至少 3 mm”同样不成立。即使断言 ID 保持不变，候选把目标、数值或验证公差改宽，原先的认可也不能转移。

因此将一项持续硬要求的提交证据分为四个独立条件：用户明确采纳要求 G；用户看懂并单独认可某个目标＋精确谓词＋公差可以作为该要求的检查判据 B；候选保留与 B 相同的规范化检查定义及验证公差 D；当前候选的原生检查收据针对这个定义给出 pass。只有 G ∧ B ∧ D ∧ pass 才能将该要求计为通过。B 是用户决定，不能由 AI 自行写入；pass 是系统求值，不能由用户点击替代。绑定后只要检查声明或验证公差变化，状态回到未知，须在已提交修订中重新核对；要求本身保持有效。

当前交互只对可诚实解释的局部 assert.bounds 开放绑定：要求须指向同一部件实体或特征，说明等尺寸或等边界及偏差；产品和装配级包络、缺少明确目标、子形状、其他未解释检查均保持未知并阻断候选提交。即使用户主动绑定，任意自然语言与检查谓词的语义等价仍没有自动证明；这是明示且记录的授权边界，而不是“AI 理解正确”的证据。工业支架情景新增一项严格的部件尺寸要求来演示可绑定路径，原有整体上界要求仍不可绑定。界面只在按需展开的要求详情显示这一判据，不把所有数值铺在模型上。

实现保存要求层级、文字、目标与检查声明、validationDistance 的规范化快照，并用决定事件记录谁绑定了它；候选投影比较当前内容和快照，再读取候选、基准修订及显示包绑定的原生收据。未绑定、定义变化、结果缺失或 unknown 均不得提交。此轮尚未提供上界/整体包络检查器，也未证明要求适用范围，因此保守地对所有已采纳硬要求要求证据。固定情景的浏览器操作证明绑定与提交门槛接线，不证明真实工业包络求值、开放语言理解或大模型性能。评分账本·迭代 104记录其评分与后续缺口。

混合线索只能部分落地时，保留未证实语义（迭代 105）

用户描述往往同时包含结构、功能和相对位置。当前模型可能只索引其中一部分。令 q = q_known + q_unknown；结构路径匹配只能证明候选属于 q_known 的范围，不能推出它满足 q_unknown，更不能自动绑定唯一实例。指代表达研究启发保留对话与视觉上下文中的判别性，决策型主动学习启发只处理会改变本轮决定的歧义。CAD 的引用、授权与证据边界仍由 Aira 单独定义。

在 10,000 个情景实例中输入“工位 73 模组 724 出料端”，完整检索为零；前两项结构索引可把范围缩至 9 项、2 个局部页，而“出料端”没有名称或结构证据。界面分别说明已核对范围与未核对线索；用户可看局部模型继续指认，系统不把 9 项当成 9 个正确答案。若匹配只在 2–4 个局部页，直接给出少量局部入口，省去经过 25 格分页组。局部入口和相机切换不改变指令对象。匹配更多时仍维持按需分页，不能把数组序号伪装成工件方位。

这是一条信息守恒规则：部分成立的线索不会因剩余描述失败而丢失，未知部分也不会因结构范围收窄而变成已证实。它减少重新输入和无意义导航，但不能理解任意功能描述。真正的大型工件还需由同一 CAD 修订给出功能地标、实例位置、受影响关系与可验证要求；当前 10,000 项只是语义索引压力情景，画布一次载入约 15 项，不能据此声称真实万件装配定位或约束求值已达标。评分账本·迭代 105记录了复杂度、任务明确度和实际操作边界。