讨论后续约束、拓扑语义和运行时保留策略

[vilicvane]

迁移自 PLAN.md 的设计讨论，2026-09-06 按远端 main（25e0488）复核。仅用于讨论，不表示已承诺新增实现。

以下问题已有实现和明确语义，不再作为未决事项：

• 可组合的实体几何约束：验证 OndselSolver WASM 并支持可组合的几何约束 #21 已实现 Ondsel WASM 刚体求解；点、线、面按几何条件组合，居中与默认朝向是次级偏好，显式 offset 固定锚点位置。二维草图的独立进展由 实现 tuple 草图与二维可视化编辑、锁定上游派生 #23 跟踪。
• 具名拓扑引用及退休 ID：保留 expose 的拓扑身份并支持几何引用链式查询 #27 已实现 expose 保留拓扑来源和装配上下文。派生结果仅保留严格一对一的拓扑历史，退休 ID 不复用；已暴露引用仍指向其不可变源几何，不把旧 ID 猜测映射到结果上。需要结果拓扑时从结果选择再 expose。见 拓扑指南 与 Core 的暴露引用说明。
• Uniform scaling：现有 scaled(factor) 是围绕局部坐标零点的几何派生，锚点、center 和 origin 随几何缩放，保留拓扑 ID；不是实例 placement。Group 不提供该方法，导出单位换算另有 export scale。补齐文档审阅发现的缩放、参数与包说明缺口 #33 已补齐文档。

保留的讨论范围：

• 布尔结果是否需要进一步向作者公开操作数锚点及 provenance，以及具体用法。当前已有明确基线：布尔运算按主操作数的坐标系和拓扑 ID 继承规则生成结果，tooling 记录操作数角色；expose 可显式捕获源引用。这不等于已经确定额外的作者接口，不重开普通 union/cut/intersect 或源码上下文预览实现。
• 大模型的 runtime lineage 保留范围与 mesh 生成策略。已有按内容寻址且有容量限制的内核/网格缓存、每轮重新生成的源码追踪，以及 完成项目自身 node_modules 的解析、执行与语言服务接入 #6 / 评估使用浏览器原生 ESM 加载项目模块，避免 Babel/SystemJS #12 / 继续公开 API 与 Replicad 互操作边界审阅 #5 明确的 Worker 和原生资源所有权边界；不能再笼统表述为缓存或释放方案未实现。剩余讨论仅针对大模型需要保留多少关系信息、哪些 mesh 应提前生成，以实际规模与性能证据为依据。已有缓存设计见 R-024。

公开 API 审计 #5 已完成；关系浏览与组合工具分别由 #2、#8 跟踪，不在这里重复维护。