feat: complete production naming and reference lifecycle gates

docs/freecad-full-parity-plan.zh-CN.md

@@ -389,17 +389,17 @@ PartDesign Mirrored 已形成 experimental whole-shape 垂直切片：Facade 验
 
 运行时命名证据必须来自 native provider 的 `MappedNameRef`/`StringHasher` 或逐阶段 builder capture。`NativeStageNamingEvidence` 对缺失证据写出 `final-shape-only`，对只有原始表而没有可重建回调的 FCStd 资源写出 `opaque-preserved`；两者都不能仅凭最终 Shape 生成新 FreeCAD token。跨阶段 ElementMap2 映射保存 `sourceStageId`、来源集合和 `ambiguous` 候选，校验失败直接阻断写回。
 
-`FreeCADPrivateNamingABI v1` 已定义为版本化 Embind/JSON 合同，并接入 direct provider 与真实 Worker：请求携带 operation、输入 STEP、最终 STEP/BRep、阶段 DAG 和原生 history，响应必须同时提供 `MappedNameRef`、StringHasher 与 ElementMap2，且逐项通过 stage/result 绑定、大小上限、schema、StringID 和引用闭包校验。生产运行时声明 `freecad-private-v1-optional-worker`，mock 明确为 `not-exposed`；未导出三项回调、版本/锁定提交不符、证据不闭合或 operation 未声明时均 fail-closed 到 `final-shape-only`，禁止合成 token。当前仓库随附的 `native/occt-history` 仍是 OCCT-only artifact，没有链接 FreeCAD 私有实现，因此这里只完成 ABI 与传输边界，不把浏览器实时私有命名提升为 exact。
+`FreeCADPrivateNamingABI v1` 已定义为版本化 Embind/JSON 合同，并接入 direct provider 与真实 Worker：请求携带 operation、输入 STEP、最终 STEP/BRep、阶段 DAG 和原生 history，响应必须同时提供 `MappedNameRef`、StringHasher 与 ElementMap2，且逐项通过 stage/result 绑定、大小上限、schema、StringID 和引用闭包校验。生产运行时声明 `freecad-private-v1-optional-worker`，mock 明确为 `not-exposed`；未导出三项回调、版本/锁定提交不符、证据不闭合或 operation 未声明时均 fail-closed 到 `final-shape-only`，禁止合成 token。当前仓库随附的 `native/occt-history` 已链接锁定的 FreeCAD 1.1.1 私有命名实现，但该完成只关闭生产 ABI/builder 覆盖，不把系统整体提升为 exact。
 
-ABI 输入现同时携带文档 `objectId`、FCStd 原生正整数 object tag、上一阶段命名证据、明确的 result object/tag 和阶段 DAG；object tag 会从 `Document.xml` 的 `Object.id` 导入，按稳定值写回 FCStd，并通过 SQLite schema v7、OPFS 重开和 checkpoint 往返。`build:freecad-naming-worker` 是独立的 fail-closed 构建入口，只接受锁定提交、Emscripten 3.1.69、wasm Qt/Python、FreeCADBase/FreeCADApp/Part 静态库及三回调 bridge 的哈希清单；普通 `build:occt-history` 继续是 OCCT-only。`check:occt-history-artifact` 会实际实例化 WASM 并探测三回调，当前结果为 unavailable，因此 `EX-TSN-02=in_progress` 与 `systemExact=false` 保持不变。
+ABI 输入现同时携带文档 `objectId`、FCStd 原生正整数 object tag、上一阶段命名证据、明确的 result object/tag 和阶段 DAG；object tag 会从 `Document.xml` 的 `Object.id` 导入，按稳定值写回 FCStd，并通过 SQLite schema v7、OPFS 重开和 checkpoint 往返。命名 ABI 只接收能解析到传输输入 `inputId/role` 的历史来源：Hole、Pattern、Mirrored 等 builder 的内部 tool/copy 记录会被明确排除，C++ bridge 继续拒绝未知来源，禁止把内部形体冒充为外部 Base。`build:occt-history` 现在是生产 fail-closed 构建入口，只接受锁定提交、Emscripten 3.1.69、wasm Qt/Python、FreeCADBase/FreeCADApp/Part 静态库及三回调 bridge 的哈希清单，并发布 JS/WASM/DATA；OCCT-only 构建只允许写入不发布的候选目录。`check:occt-history-artifact` 会实际实例化 WASM 并探测三回调，Node 与 Chrome 生产矩阵还会逐项执行 19 类 builder。因此 `EX-TSN-02=completed`，而 `systemExact=false` 继续成立。
 
 Qt 前置条件已按独立、可离线复现的链路落地：`build:qt6-wasm-core` 使用 Emscripten 3.1.69 构建 QtBase 6.8.2 静态 wasm `Qt6Core`，下载使用 USTC 国内镜像，但必须先通过 Qt 发布包官方 SHA-256；离线模式缺包时直接失败，不允许回退联网。`build:freecad-naming-source-probe` 进一步锁定 FreeCAD 提交及 `IndexedName.cpp`、`MappedName.cpp`、`StringHasher.cpp`、`MappedElement.cpp`、`ElementNamingUtils.cpp`、`ElementMap.cpp`、`Base/Handle.cpp` 七个原始编译单元的内容哈希，并验证它们能与 wasm Qt6Core 一起生成和执行 wasm32 探针。运行时覆盖名称解析、StringHasher 去重/SHA-1 阈值/索引引用、ElementMap 编码/双向查找/历史/保存恢复以及 MappedElement 稳定排序；真实 ElementMap 保存体和 StringHasher 表还会经过 Web 侧 ElementMap2 parser、引用闭包及严格 `FreeCADPrivateNamingABI` 校验。探针只导出隔离的 `freecadNamingCandidate*` 名称，持久化流、Python 包装、类型系统、日志和 Application/Document 生命周期仍由适配头提供；FreeCADApp/Part/Python 静态库、真实文档集成、OCCT builder 上下文和生产 bridge 均未链接。因此它证明的是锁定私有源码子集与 ABI 数据可交叉编译/运行，不构成生产命名实现。
 
-`check:freecad-private-naming-boundary` 同时读取 ABI 合同、兼容性矩阵和 exact 计划，固定校验 `shippedWorkerImplementation=not-linked`、`freecadNamingBuild.status=contract-only`、`EX-TSN-02=in_progress` 与 `systemExact=false`；该检查已进入默认 `verify`、真实 wasm lane 和离线 smoke。只有生产 OCCT Worker 实际链接锁定的 FreeCAD 私有静态库/bridge，且制品探针取得三项回调和完整命名证据后，才能在后续批次修改这些状态。
+`check:freecad-private-naming-boundary` 同时读取 ABI 合同、兼容性矩阵、exact 计划及 Node/Chrome 生产报告，固定校验 `shippedWorkerImplementation=freecad-linked`、`freecadNamingBuild.status=production-linked`、`EX-TSN-02=completed` 与 `systemExact=false`。检查还要求三项回调、19 类 builder、链式 StringHasher、缺历史 fail-closed 及 JS/WASM/DATA/harness 哈希同时成立；该检查已进入默认 `verify`、真实 wasm lane和离线 smoke。
 
 生产 SDK 前置已有完整候选闭包。七个锁定命名编译单元仍保留 `libFreeCADPrivateNamingProbe.a` 作为源码先决条件；实际 bridge 则链接真实 FreeCADBase/FreeCADApp/Part、QtCore、CPython 及 21 个传递依赖，并初始化真实 `App::Application`。`check:freecad-naming-sdk-readiness` 解析所有静态 `ar` 成员并拒绝宿主 ELF；`generate:freecad-naming-sdk-manifest` 还锁定 C++20、pthread、兼容头、host adapter 和预加载的 Python wasm stdlib。完整 `check:freecad-naming-sdk` 对库、源码和运行时文件逐项复算 SHA-256。
 
-隔离 bridge 的 Node 烟测已用真实 `ElementMap/MappedName/StringHasher` 生成首阶段和链式证据，并验证 `$#id:index` 与 StringHasher 闭包。独立 pthread OCCT 候选模块进一步在 Node 和真实 Chrome 中执行 OCCT cut history，再从同一 wasm 调用三项 FreeCAD 私有命名回调；Chrome 执行与报告检查分开，检查器会拒绝与当前 JS/WASM/DATA 哈希不一致的旧报告。该候选强制写入 `.cache/candidates` 且 `OCCT_HISTORY_PUBLISH=0`，没有替换仓库随附生产 Worker。因此候选 SDK/Worker 验证完成不等于生产链接完成，`shippedWorkerImplementation=not-linked`、`EX-TSN-02=in_progress` 与 `systemExact=false` 仍保持不变。
+隔离 bridge 的 Node 烟测已用真实 `ElementMap/MappedName/StringHasher` 生成首阶段和链式证据，并验证 `$#id:index` 与 StringHasher 闭包。独立 pthread OCCT 候选仍保留为不发布的前置门；生产 Worker 则在 Node 和真实 Chrome 中对同一共享矩阵执行 19 类 OCCT builder，再从同一 wasm 调用三项 FreeCAD 私有命名回调。Chrome 执行与报告检查分开，检查器会拒绝与当前 JS/WASM/DATA 或共享 harness 哈希不一致的旧报告。生产链接已完成；剩余 exact 阻断为同构来源唯一性、完整跨特征/FCStd 往返和完整文档/属性语义。
 
 Sketcher/PartDesign 的 Web 支持范围新增可执行参数合同：Sketcher 覆盖 FreeCAD 1.1.1 FCStd 表面的 9 类 geometry、19 类 constraint 和 10 类 InternalAlignment 语义；PartDesign 覆盖 Facade 已支持的 21 个 family、202 个属性槽和 72 个语义分区，并在对象创建及属性编辑时执行跨字段校验。`check:freecad-sketcher-partdesign-abi` 会从实现重算这些计数并拒绝陈旧报告；该“完整”限定于 supported Web Facade，不包含尚未实现的 FreeCAD PartDesign TypeId，也不表示 basic TypeScript solver 已求解全部圆锥曲线约束。
 
@@ -409,7 +409,7 @@ Sketcher/PartDesign 的 Web 支持范围新增可执行参数合同：Sketcher
 
 全功能对标不再沿用已经 `83/83 completed` 的 compatible 发布 WBS 作为完成判据。`config/freecad-web-exact-parity-plan.json` 建立 EX01..EX10、52 项 exact 任务，覆盖 34 模块、15 格式、6 入口，详细依赖和验收见 `docs/freecad-full-parity-execution-wbs.zh-CN.md` 第 20 节。优先顺序为原生 oracle -> kernel/history/naming -> document/property -> Sketcher/Part/PartDesign -> FCStd/formats -> GUI -> 生产/工程/平台工作台 -> 跨浏览器质量 -> exact 签名发布。
 
-`check:freecad-web-exact-parity-plan` 与旧 execution-plan gate 一起进入默认 verify。开放任务必须保留 `exactBlockedBy`，完成任务必须具有已登记的可执行 evidence 且不能继续带阻断项；34 模块和 21 个格式/入口必须逐项映射到任务。最终 `EX-REL-01` 只有在所有任务完成、34 模块均为 exact、八项零差异指标成立时才允许关闭。当前状态为 `1/52 completed`，系统仍为 `exact=false`。
+`check:freecad-web-exact-parity-plan` 与旧 execution-plan gate 一起进入默认 verify。开放任务必须保留 `exactBlockedBy`，完成任务必须具有已登记的可执行 evidence 且不能继续带阻断项；34 模块和 21 个格式/入口必须逐项映射到任务。最终 `EX-REL-01` 只有在所有任务完成、34 模块均为 exact、八项零差异指标成立时才允许关闭。计划建立时基线为 `1/52 completed`；截至第 23 节已推进为 `3/52 completed`，系统仍为 `exact=false`。
 
 `check:freecad-web-exact-promotion` 进一步阻止直接编辑 `claim.exact` 或能力矩阵来“提升”版本：在 `exact=false` 状态只输出 fail-closed；只有 `EX-REL-01` 完成并提交结构化 promotion report，报告同时满足 52/52、34/34、八项指标全零和八类证据，才允许 promotion gate 通过。
 
@@ -417,6 +417,14 @@ Sketcher/PartDesign 的 Web 支持范围新增可执行参数合同：Sketcher
 
 ### 22. 参数 mutation 与阶段命名证据闭合规则（2026-08-10）
 
-EX-ORA-02 的 mutation corpus 由 `config/freecad-parameter-mutation-plan.json` 定义为五项独立证据：nominal 参数、非法边界、两个以上显式参数快照、真实编辑-重算-恢复事务，以及无差异 FCStd 往返。`config/freecad-parameter-mutation-report.json` 必须由现有黄金证据生成，`check:freecad-parameter-mutations` 会逐字节重算并拒绝陈旧或手工提升的报告。当前只有 `1/35` family 完整，因此 EX-ORA-02 保持 `in_progress`。
+EX-ORA-02 的 mutation corpus 由 `config/freecad-parameter-mutation-plan.json` 定义为五项独立证据：nominal 参数、非法边界、两个以上显式参数快照、真实编辑-重算-恢复事务，以及无差异 FCStd 往返。`config/freecad-parameter-mutation-report.json` 必须由现有黄金证据生成，`check:freecad-parameter-mutations` 会逐字节重算并拒绝陈旧或手工提升的报告。该矩阵建立时只有 `1/35` family 完整，当前已为 `35/35`；EX-ORA-02 仍因逐 family 原生 Shape/history/ElementMap2/StringHasher 和未知语义差异的更大验收范围保持 `in_progress`。
 
 30 个复合模型的 219 个文档阶段已通过 FreeCAD 运行时 `getElementMappedName/getElementIndexedName/getElementHistory` 获得直接命名证据，并由两个门禁逐阶段验证。此处的 `native-evidence=219/219` 不等于内部 builder exact：219 个阶段都有 IndexedName，但只有 74 个阶段的全部子形有 MappedName，145 个阶段只有原生索引身份；当前识别出的 42 个操作阶段仍为 `internalBuilderEvidence=0`。没有内部 builder Shape/history 时，最终几何不能用于制造中间 Generated/Modified/Deleted；没有实际 StringHasher/MappedNameRef 时也不能制造私有 token；同构候选没有唯一原生来源时继续持久化为 ambiguous。
+
+### 23. EX-PD-02 Attachment 与跨文档引用闭合（2026-08-13）
+
+`EX-PD-02` 已按独立机器证据关闭。FreeCAD 1.1.1 原生 Attachment 注册表仍为 55 项，四类引擎实现并集为 50 项；新增全组合 oracle 将 Plane/Sketch/Line/Point 的所有模式及所有引用组合展开为 236 个可执行槽位。每项都通过初始重算、统一源几何平移和 FCStd 关闭重开，Placement 与支持引用无漂移。原有未实现模式反例仍要求 `Touched + Invalid`，不会因本批完整执行覆盖而被误判为实现。
+
+跨文档 corpus 同时覆盖 `PropertyXLink`、`PropertyXLinkSub`、`PropertyXLinkList`、`PropertyXLinkSubList` 和 SubShapeBinder。源关闭与源文件缺失时链接值清空、Binder 保留最后有效 Shape；恢复原文档 ID/路径后自动重连，后续参数编辑和再次 FCStd 往返继续传播。Web Chrome 以真实 OCCT Shape、OPFS、undo/redo 和最终 `0/0` ownership 回放同一生命周期，执行命令与静态报告检查分离。
+
+该完成不解除更大范围任务：`EX-PD-01` 仍需完整注册 PartDesign TypeId 与参数交叉积，`EX-DOC-04` 仍需全应用多文档/merge/conflict/crash recovery；生产 Worker 命名链接已由 `EX-TSN-02` 关闭，同构 provenance 已由 `EX-TSN-03` 关闭。系统维持 `exact=false`，当前 exact 计划计数为 `5 completed / 36 in_progress / 11 pending / 0 blocked`。