[候选工作单元（WorkCell）G1] 遗留启动图迁移与跨仓验收

[TablewareBox]

冻结设计（commit 8841d27）：候选工作单元（WorkCell）组合定义、启动与分层动作设计
变更审阅：PR #188

父地图：#181

Outcome

把遗留启动 JSON/GraphML 收敛为候选工作单元（WorkCell）的永久兼容作者输入，在不丢失旧数据的同时维持单一规范编译、发布、候选启用解析器（Activation Resolver）与运行权威；以 Uni-Lab-OS、uni-lab-fe、Uni-Lab-SZLab 和 Core 的真实跨仓证据完成最终验收。

已接受决策

1. G1-01=B′：维护者选择 B“尽量原样保留旧节点对象”。旧节点、uuid、非空 data 与未知字段进入版本化无损兼容保留层；只有已知且校验通过的字段进入规范语义。兼容内容不自动获得定义、启用或运行权威，也不下发驱动。旧 uuid 只有通过独立、显式的 Backend 实例接管映射才可使用，且不进入 content_digest。
2. G1-02=B′：维护者选择 B“永久兼容”。永久支持 .json/.graphml 经 -g/--graph 启动，但 B′ 明确为“多格式输入、单一权威”：格式适配器（Adapter）之后统一进入与 .py 相同的规范编译、链接、校验、发布和候选启用链。禁止 trusted-exec、eval、任意作者代码 import/exec、解析失败回退，以及第二套设备实例化/执行路径。
3. G1-03=A：空 data 从语义层删除；测试 seed 输出到独立测试夹具；一次性 bootstrap 只写迁移报告并推迟到 v2+；真实物料（Material）、库位占用（SiteOccupancy）、设备遥测投影（DeviceTelemetryProjection）、任务物料预留（TaskMaterialReservation）、作业执行占用（JobExecutionClaim）等运行事实拒绝迁入。无法分类的非空 data 无损保存，但仍阻止发布与启用，直到完成分类。
4. G1-04=A：冻结最小本地仿真夹具与 Uni-Lab-SZLab@cc2bfe4757c33f4833f04d8bfce566347bc2cf74:deployment/graphs/szlab-local-debug.json 真实复杂度夹具；固定来源 commit/摘要、workcell.py、规范 JSON、兼容 sidecar、迁移报告与预期摘要；默认测试不连接真实硬件。
5. G1-05=A：要求语义固定点。content_digest 覆盖规范定义语义，legacy_payload_digest 覆盖兼容保留载荷，原文件另存字节摘要；JSON → 规范图 → Python → 规范图以及 Python ↔ 规范 JSON/画布均须固定，workspace/clean wheel/cache archive 的语义摘要一致。
6. G1-06=A：使用真实 compiler、SQLite、SSE、设备注册表（Device Registry）和本地仿真器覆盖三种 -g 输入、快照复用、敏感配置（Secret）、目录漂移与前端折叠/展开，不以 route mock 替代集成证据。
7. G1-07=A：覆盖工作流支持动作（Workflow-backed Action）的成功、容量方案 B 内部作业交错、派发前/执行中取消、部分物理成功后断电、execution_unknown、同身份投递重放（DeliveryReplay）和物理结算（PhysicalSettlement）；禁止整次调用盲目物理重放（Blind Physical Replay）。
8. G1-08=A：按拥有仓建立交付子问题，Core [候选工作单元（WorkCell）G1] 遗留启动图迁移与跨仓验收 #187 只拥有跨仓黄金测试、submodule pin 和最终接受门。

交付子问题

• Uni-Lab-OS #22 — 永久兼容输入、无损保留与统一启用链；
• uni-lab-fe #24 — 双向固定点与折叠执行证据验收；
• Uni-Lab-SZLab #8 — SZLab 真实复杂度夹具迁移与仿真验收。

以上已作为 GitHub native sub-issue 挂接到本票。

Acceptance gates

• 三个交付子问题均提供合并 commit、精确测试命令/结果、文件体量审查与 Feishu OKF revision；
• 旧图迁移保留稳定成员、连接、库位（Site）、资产、位姿和未知载荷，无法分类的非空 data 阻止发布/启用；
• .py/.json/.graphml 共用单一运行权威，且语义/兼容双摘要分别达到固定点；
• 运行时物料（Material）、库位占用（SiteOccupancy）、遥测、预留和占用事实不被启动重置；
• 最小仿真与 SZLab 真实复杂度夹具通过真实 OS/前端/设备链路；
• Core 更新并验证三个 submodule pin，回滚包可用；
• 冻结设计、GitHub、Feishu、实现和测试证据一致后才进入 stage:accepted 并关闭。

当前状态

G1 的 8 项协议决策已全部冻结，未决数 0。交付子问题已建立，但实现与跨仓验收尚未完成；本票进入 stage:implementation，不能因协议冻结而关闭。

Agent report

agent_report:
  stage: implementation
  reporter: Codex
  execution_mode: agent
  agent_product: Codex
  agent_name: WorkCell G1 convergence
  input_refs:
    - https://github.com/Uni-Lab-OS/Uni-Lab-Core/issues/181
    - https://github.com/Uni-Lab-OS/Uni-Lab-Core/pull/188
  result: protocol-frozen-delivery-split
  human_reviewer: 昌珺涵

[github-actions]

GitHub → Feishu OKF synchronization

Feishu snapshot: Uni-Lab-Core #187
Knowledge stage: implementation
Issue updated: 2026-08-04T18:40:47Z

[TablewareBox]

G1 批量 Grill：遗留迁移与跨仓验收全部 8 项

当前剩余决策：8 项。本批一次确认后剩 0 项。以下均为候选设计（Candidate Design），在维护者确认前不改写本票正文为已接受决策（Accepted Decision）。

当前证据

• Uni-Lab-OS/Uni-Lab-OS@c550da665906abaf9568365aaa1d990f4d092aa8:unilabos/resources/graphio.py：当前 read_node_link_json() 直接产生 NetworkX 图与资源树集合（ResourceTreeSet）；canonicalize_nodes_data() 会把未知根字段搬进 config，不适合作为新失败关闭迁移合同。
• Uni-Lab-OS/Uni-Lab-OS@c550da665906abaf9568365aaa1d990f4d092aa8:docs/user_guide/launch.md：当前 -g/--graph 文档声明 GraphML 与 node-link JSON；文档引用的 tests/experiments 在当前检出中不存在，因此不能继续充当隐含夹具目录。
• Uni-Lab-OS/Uni-Lab-SZLab@cc2bfe4757c33f4833f04d8bfce566347bc2cf74:deployment/graphs/szlab-local-debug.json：129 个节点、11 个非空 data，使用本地 OPC UA 仿真端点，可作为真实复杂度迁移夹具。
• D1–D5 已冻结；D2-06 的真实物料（Material）预置执行链已推迟到 v2+。

G1-01：遗留字段如何分类与保留身份？

• A（推荐）：建立版本化、逐字段迁移矩阵。id 固定为稳定 member_id；name/type/class/parent/children、连接和经目录校验的 config 进入定义；position/pose 按 D2 归一到毫米制物理 pose；可提升的启动值生成明确 InitParam/候选启用请求（Activation Request）绑定；旧 uuid 只进入迁移报告或经 Backend 校验的显式实例采用映射，不写入规范定义。未知字段、关系冲突或无法分类值失败关闭。
• B：尽量原样保留旧节点对象，包括 uuid 与未知字段。
• C：只迁移已知核心字段，未知字段告警后丢弃。

G1-02：JSON/GraphML 兼容窗口与 trusted-exec 如何处理？

• A（推荐）：v1 继续让 .json/.graphml 通过同一 -g/--graph 进入纯数据遗留适配器（Legacy Adapter）；适配器在驱动导入和硬件副作用前输出规范 JSON、迁移报告与稳定诊断，且与显式离线迁移命令复用同一实现。生产链路完全禁止 trusted-exec、eval、任意 Python 执行和“解析失败后回退”。记录使用清单与弃用诊断；只有全部生产文件迁移、回滚包与固定点验收完成后，才在未来版本化决策中移除兼容入口。
• B：永久保留旧解析器与新编译器两条生产路径。
• C：v1 立即删除 .json/.graphml 启动，只接受 .py。

G1-03：遗留 data 怎么分流？

• A（推荐）：采用封闭分类表：空 data 删除；测试 seed 输出到独立、明确测试环境的 fixture sidecar，不进入定义或候选启用快照（Activation Snapshot）；一次性 bootstrap 只写迁移报告并标记 v2+，v1 不执行；物料（Material）、库位占用（SiteOccupancy）、设备遥测投影（DeviceTelemetryProjection）、任务物料预留（TaskMaterialReservation）、作业执行占用（JobExecutionClaim）等运行时事实拒绝迁入。未被类级 allowlist 识别的非空 data 失败关闭。
• B：把全部 data 迁入成员私有 config。
• C：无条件删除全部 data，只记录总数。

G1-04：冻结哪两个迁移夹具？

• A（推荐）：新建一个最小仿真夹具，覆盖父子成员、一个库位（Site）、一条连接、pose 和一个显式工作流支持动作（Workflow-backed Action）；真实复杂度夹具固定 Uni-Lab-SZLab/deployment/graphs/szlab-local-debug.json，以本地 OPC UA 仿真运行。两个夹具都固定源 commit/digest、生成的 workcell.py、规范 JSON、迁移报告和期望摘要；默认验收不得连接真实硬件。
• B：只保留 SZLab 大夹具，用一个文件覆盖所有场景。
• C：只保留最小仿真夹具，真实 SZLab 以后人工验收。

G1-05：双向创作和制品一致性门是什么？

• A（推荐）：要求语义固定点，而非源码字节固定点：遗留 JSON → 规范 JSON → 生成 Python → 规范 JSON 的 definition_digest 必须一致；Python ↔ 规范 JSON/画布也必须固定点；workspace、clean wheel 与缓存 archive 对同一 Published 闭包产生相同摘要。完整语义 diff 必须覆盖成员、连接、库位（Site）、pose、layout_plane、配置绑定、公共动作和精确依赖；source map/格式化差异不进入语义摘要。
• B：只保证 Python → 规范 JSON 单向生成，不验反向固定点。
• C：要求 Python 源码逐字节往返一致。

G1-06：启动、重启、敏感配置与前端验收做到哪一层？

• A（推荐）：建立真实集成矩阵：-g 冷启动 Python；旧 JSON/GraphML 先经同一遗留适配器；完全相同摘要重启只复用同一脱敏候选启用快照（Activation Snapshot）；定义、参数或敏感配置（Secret）版本变化要求显式重新启用；多来源覆盖、Secret Provider 失败和目录漂移均在驱动构造前失败。设备注册表（Device Registry）与前端折叠/展开使用真实 compiler、SQLite、SSE 与本地仿真链路，不使用 route mock。
• B：只做 CLI 冷启动 smoke，前端与重启另票。
• C：只做组件测试，不做跨进程集成。

G1-07：工作流支持动作的执行故障覆盖到什么程度？

• A（推荐）：在仿真链路覆盖成功、容量方案 B 的内部作业交错、派发前取消、执行中取消、部分物理成功后断电、execution_unknown、同身份投递重放（DeliveryReplay）和物理结算（PhysicalSettlement）。必须证明整次候选工作单元动作不会被重新执行，完整作业执行占用（JobExecutionClaim）在证据不足时保持不确定，只有对应物理结算后释放。
• B：只覆盖成功、失败和普通取消。
• C：v1 只验证静态编译，故障执行推迟。

G1-08：跨仓交付和最终接受如何裁决？

• A（推荐）：协议确认后分别建立 Uni-Lab-OS、uni-lab-fe 与 Uni-Lab-SZLab 的 repository-local 交付子票；Core 只拥有跨仓黄金测试、子模块 pin 与接受门。每仓必须提供合并 commit、测试命令/结果和文件大小审查；Feishu OKF 协议/实现/测试页面记录 revision。只有实现合并、两个夹具通过、跨仓固定点一致、回滚包可用、Core pin 已验证后，[候选工作单元（WorkCell）G1] 遗留启动图迁移与跨仓验收 #187 才进入 stage:accepted 并关闭。
• B：全部实现工作继续放在 Core [候选工作单元（WorkCell）G1] 遗留启动图迁移与跨仓验收 #187，不拆拥有仓交付票。
• C：设计文档合并即视为接受，跨仓测试以后补。

建议答法

若均同意，回复“全部 A”；若有例外，回复例如“G1-04=B，其余 A”。确认后未决数从 8 → 0，再进入交付拆分，不把协议冻结误写成当前实现。