[候选工作单元（WorkCell）D1] 定义身份、AST 与双向创作

[TablewareBox]

独立设计文档（审阅中）：候选工作单元（WorkCell）组合定义、启动与分层动作设计
变更审阅：PR #188

父地图：#181

Outcome

冻结候选工作单元定义（WorkCell Definition）的身份、受限 Python AST、规范定义图、双向创作和发布生命周期，使人和 AI 可以稳定生成、修改、校验并发布同一语义定义。

已接受决策（Accepted Decisions）

• D1-01：候选工作单元定义（WorkCell Definition）是一等、可版本化定义，拥有稳定身份、revision、digest、公共合同与嵌套依赖。
• D1-02：v1 结构固定；候选启用（Activation）不能通过参数改变成员 class、alias、父子关系、库位（Site）、导出或动作（Action）合同。
• D1-03：保留 @workcell 函数语法；Python 定义文件通过现有 -g/--graph 直接作为启动输入，不新增 --workcell；每个 .py 启动文件恰好一个顶层根定义。
• D1-04：Python 与规范 JSON/结构化画布允许双向语义创作；同一草稿同一时刻只有一种可写模式。
• D1-05：不承诺源码字节无损；发布前必须满足 graph -> Python -> graph 规范 digest 固定点。
• D1-06=A：v1 使用失败关闭 AST allowlist；禁止动态控制流、任意调用、I/O、环境读取和未知 AST 节点。
• D1-07=A：定义身份为包目录（PackageCatalog）fqid、发布权威分配的单调 revision 与摘要；id= 是稳定 member_id，变量名只属于 source map。
• D1-08=A：规范 JSON 自身采用现有字段优先的 NetworkX node-link 形态；顶层使用 directed/multigraph/graph/nodes/links，节点复用 id/name/type/class/parent/children/pose/config/data，连接复用 id/source/target/type/port，仅新增必要的可选 config_bindings。nodes/links 按 id 规范排序，children/config.sites 保留业务顺序；精确依赖与资产闭包进入摘要，source map 与 ui_layout 留在 sidecar。定义排除运行实例 UUID、真实物料（Material）状态和库位占用（SiteOccupancy）。读取形式固定为 nx.node_link_graph(document, edges="links", key="id")。
• D1-09=A：单一 draft_revision/可写模式，保存使用 CAS；切换先校验并展示完整语义 diff，冲突显式 rebase，无效草稿不替换最后有效候选图。
• D1-10=A：v1 从 workspace/已安装 package 的显式 .py 启动；依赖和资产只经显式 Package Source 产生的包目录（PackageCatalog）固定，workspace、wheel 与缓存 archive 必须摘要一致。
• D1-11=A：草稿（Draft）可变、候选定义（Candidate）与已发布定义（Published Definition）不可变；只有已发布定义可进入目录、嵌套和启用，发布重编译精确闭包并原子失败关闭。

本票设计状态

D1-01～D1-11 已全部冻结；后续只在实现发现已接受合同不可实现或与当前跨仓权威冲突时重开版本化决策。本票保持协议定义状态，等待拆分 repository-local 交付票和验收实现。

不包含

• 物理位姿的具体合同；
• 现场启动值、敏感配置提供者（Secret Provider）和候选启用快照（Activation Snapshot）；
• 设备注册表（Device Registry）公开/私有投影；
• 工作流支持动作（Workflow-backed Action）的运行语义。

Acceptance gates

• AST 扫描不 import/exec 作者源码、驱动或资源工厂；
• workspace、clean wheel 与缓存 archive 产生相同规范 digest；
• 稳定 member_id 不依赖局部变量名或 nodes 数组位置，children 与 config.sites 的业务顺序可稳定往返；
• 规范文档可由 nx.node_link_graph(document, edges="links", key="id") 初始化且不丢失并行连接；
• 双向生成固定点、完整 diff、CAS 冲突和 invalid-draft 保留均有测试；
• 非法引用、循环、动态 Python、目录漂移和运行时权威字段全部失败关闭。

关联

• [Wayfinder] 领域设备包仓库架构：根单包、Workspace 自动发现与 Package Catalog #147
• [Wayfinder] WorkCell 组合定义、注册编译与分层 Action 暴露 #181

[github-actions]

GitHub → Feishu OKF synchronization

Feishu snapshot: Uni-Lab-Core #182
Knowledge stage: protocol-definition
Issue updated: 2026-08-04T14:41:10Z

[TablewareBox]

对齐已接受的 D3-05 与 D3-07：删除旧的 --workcell file:... 表述，统一为现有 -g/--graph 直接接收 .py 启动文件，且每个文件恰好一个顶层 @workcell 根定义。该同步只修复跨子议题冲突，不减少 D1 尚待冻结的 6 项设计决策。

[TablewareBox]

D1 剩余 6 项批量 Grill

当前整个 Wayfinder 未冻结决策共 36 项：D1 6、D2 7、D4 7、D5 8、G1 8。本轮一次提出 D1 全部 6 项；若全部确认，剩余 30 项。

以下均为候选设计（Candidate Design），尚未接受。

D1-06：v1 受限 Python AST 词汇

A（推荐）：使用失败关闭的 AST allowlist。允许显式 import、恰好一个顶层 @workcell、仅关键字公开参数及已接受类型注解、常量/封闭容器、已登记定义作者句柄调用、对先前局部句柄/公开参数的引用、候选工作单元（WorkCell）组合 DSL 调用和唯一 return cell。禁止 if/for/while/match/try/with、推导式、lambda、任意属性/函数调用、*args/**kwargs、动态 import/eval、文件/网络/环境读取和全局可变状态；未知 AST 节点一律失败。

B：在隔离子进程执行 Python，再检查构建结果。表达力高，但安全性与确定性依赖沙箱。

C：把作者包当 trusted code 普通 import/exec。最灵活，但无法满足 AI 生成、静态审计与 clean-wheel 固定点。

D1-07：定义身份、revision、digest 与稳定 member_id

A（推荐）：复用包目录（PackageCatalog）身份：definition_fqid = <class_namespace>.<@workcell.id>；发布权威分配单调正整数 revision，装饰器 version 保留为作者语义版本元数据。精确发布身份是 {definition_fqid, revision, content_digest}。内容摘要覆盖规范语义图及固定依赖/资产闭包；公共合同摘要只覆盖公开参数、端口、导出和动作（Action）表面。每个成员的 id= 是定义局部稳定 member_id，Python 变量名只属于 source map，重命名不改身份。

B：直接用 version 作为唯一 revision，不再分发布序号。简单，但同版本修订、CAS 和审计语义容易混在一起。

C：成员身份从变量名/数组位置或随机 UUID 生成。实现容易，但双向编辑和 diff 不稳定。

D1-08：规范 JSON、引用闭包、source map 与诊断

A（推荐）：建立封闭、版本化的规范定义图（Canonical Definition Graph）Schema；实体以稳定 ID map 保存，关系数组按稳定语义键排序；引用使用 exact fqid/revision/digest 并递归冻结闭包。规范 UTF-8 JSON 是 content_digest 输入。source map 作为与 digest 绑定但不参与语义摘要的 sidecar，以 JSON Pointer 映射 file/span/symbol；诊断统一为 code/path/source_span/message/hint。注释、编辑器选择态和 ui_layout 不进入物理语义摘要。

B：保留作者数组顺序并把 source map 一起计入内容摘要。更接近文本，但移动代码就会改变语义身份。

C：只要求 JSON Schema 合法，不定义规范排序和闭包摘要。无法稳定 round-trip 或缓存。

D1-09：Python/JSON/画布切换、dirty、CAS 与冲突

A（推荐）：同一草稿只有一个 draft_revision 和一个当前可写模式；每次保存携带 base revision/digest 做 CAS。切换模式必须先编译/校验、生成目标表示、展示完整语义 diff，并由用户接受替换。CAS 冲突不自动 merge、不强制覆盖，AI/UI 必须显式 rebase。无效源码可作为不可发布草稿保留，但不得替换最后一个有效候选图。

B：Python 与图同时可写，由系统自动三方合并。体验灵活，但 AST 与图编辑很难形成可靠通用 merge。

C：最后写入覆盖。实现最小，但会静默丢失人或 AI 的修改。

D1-10：显式文件、包目录（PackageCatalog）引用与 clean-wheel parity

A（推荐）：v1 启动根继续是 workspace/已安装 package 内的显式 .py 文件；编译器只通过显式 Package Source 产生的包目录（PackageCatalog）解析作者句柄、依赖和资产，并固定全部 digest。workspace、installed wheel、cached archive 必须产出相同规范定义图和摘要；source map 只保存包相对路径。D3-11 已冻结的未来 catalog: 启动引用仍延期，启用时只允许 exact revision/digest。

B：v1 同时支持显式文件和 catalog: 根引用。入口更完整，但扩大首版发现、离线缓存与冲突面。

C：只支持 workspace 源码，不要求 clean wheel。开发快，但生产不可复现。

D1-11：Draft → Candidate → Published 原子发布

A（推荐）：草稿（Draft）可变；候选定义（Candidate）是绑定某个 draft_revision、完整诊断和规范摘要的不可变编译结果；已发布定义（Published Definition）是唯一可进入包目录（PackageCatalog）、启用和嵌套引用的不可变 revision。发布以 CAS 锁定草稿，重新编译精确依赖闭包，验证 graph -> Python -> graph digest 固定点，并原子提交定义、公共合同、source map 与目录更新；任一步失败都保留旧 Published 和可诊断草稿，不产生部分发布。

B：允许 Candidate 在开发模式直接启用。调试方便，但会形成第二条运行合同。

C：直接原地覆盖 Published。简单，但既有实例和引用无法复现。

回答格式

可回复“D1 全部 A”，或按编号给出偏离项，例如：D1-06 A，D1-07 B，其余 A。

[TablewareBox]

D1 五项已接受；D1-08 依据现有启动 JSON 修订

维护者确认 D1-06、D1-07、D1-09、D1-10、D1-11 全部选择 A，已写入本票、父地图与独立设计文档。当前整个 Wayfinder 尚余 31 项：D1 1、D2 7、D4 7、D5 8、G1 8。

现状证据

我核对了当前 Uni-Lab OS 解析链和 SZLab / pTLC / OS 启动文件，原 D1-08 的“所有关系数组统一排序”需要修正：

1. 遗留启动 JSON 没有封闭 envelope 或 schema_version；根结构只是 nodes 与 links|edges。解析器宽松补默认值，并把未知根字段搬进 config，所以它不是可直接签名的封闭定义合同（graphio.py@9d4db2e L49-L84、L258-L291）。
2. 缺失 uuid 时当前模型会随机生成；同一文件重复解析并不天然得到同一身份（resource_tracker.py@9d4db2e L250-L277）。
3. 当前父子列表按 nodes 遍历顺序 append；旧文件数组顺序可能意外影响成员/库位顺序，不能一律视为无语义后重排（graphio.py@9d4db2e L113-L140）。
4. SZLab 的同一 config 同时包含初始化值、尺寸、sites、layout_note 与 occupied_by；data 又含 status、sample_id。OS 旧夹具的 data 还包含液体、位置、速度和遥测状态。它混合了定义、启用、初始物料/库位事实和运行状态，不能整体进入候选工作单元定义（WorkCell Definition）摘要（SZLab graph@cc2bfe4、OS workshop fixture@9d4db2e）。
5. 位置同时存在旧 position 与 pose.position/position3d/rotation 形态，当前转换还会从 config.size_* 补尺寸；新合同必须把物理位姿和 ui_layout 拆开（resource_tracker.py@9d4db2e L266-L315）。

D1-08：规范 JSON、顺序、引用闭包、source map 与诊断

A（修订后推荐）：建立全新、封闭、版本化的候选规范定义图（Canonical Definition Graph），不把遗留启动 JSON 原样升级为新 IR。

• 顶层显式 schema_version；身份实体用稳定 ID map。
• 每个集合字段必须在 Schema 中声明语义：无序关系按稳定语义键规范排序；有业务顺序的库位（Site）/端口等必须带显式 sort_order 或语义 ordinal，并按该值编码；裸数组下标本身不构成稳定身份。
• 物理候选局部位姿（LocalPose）进入语义摘要；ui_layout、注释、选择态不进入。
• exact fqid/revision/digest 引用递归冻结依赖与资产闭包；确定性 UTF-8 编码作为 content_digest 输入。
• source map 是绑定 content_digest、拥有自身摘要但不进入物理语义摘要的 sidecar；JSON Pointer 映射到包相对 file/span/symbol。诊断固定为 code/path/source_span/message/hint。
• 规范 JSON 是编辑/发布表示；已冻结的 D3-06 不变：v1 的 -g *.json 仍进入遗留兼容解析器，新候选工作单元直接启动使用 -g *.py。
• D1 只冻结“遗留导入 Adapter 必须进入同一规范图并对歧义失败”的 seam；逐字段把 config/data/position/children 分到定义、启用、bootstrap/test seed 或运行权威的规则留给 G1。

B：新建规范 Schema，但所有数组都保留作者顺序并用数组位置表达身份/顺序。迁移直观，但拖动、重排和生成器风格会造成无意义摘要变化，稳定 diff 较差。

C：继续把当前 nodes/links/config/data 启动 JSON 当新规范 IR，只补 schema_version。改造最少，但保留随机身份、宽松字段、层次混合和位置歧义，不满足发布固定点。

本轮唯一确认项

是否确认 D1-08=A（修订版）？确认后 D1 全部冻结，整个 Wayfinder 剩余 30 项。

[TablewareBox]

D1-08 根据 NetworkX 读图初始化要求再次修订

维护者新增要求：候选规范定义图（Canonical Definition Graph）必须能由 NetworkX 直接读取，用于候选装配拓扑（Assembly Topology）的初始化与分析。以下仍是候选设计（Candidate Design），尚未接受。

推荐结论

采用 NetworkX node-link 外形，但不让数组位置承担身份或业务顺序：

• assembly_graph 固定包含 directed、multigraph、graph、nodes、edges；使用新规范字段 edges，不沿用遗留输入的 links。
• nodes[*].id 是稳定 member_id；edges[*].key 是稳定边身份。规范编码时节点按 id、边按 key 排序，数组下标本身无语义。
• 有业务顺序的成员/库位（Site）显式使用 sort_order 或合同定义的 ordinal。
• 定义包含关系（Definition Containment）和候选局部位姿（LocalPose）放在成员节点的 placement 中；NetworkX edges 只保存真实内部连接。这样不会让最短路径、连通性等物理图算法误把“父子包含”或初始化引用当成管路/通信连接。
• 初始化成员引用保存在 init_bindings 的 member_ref 中，不复制进连接边。
• v1 使用 multigraph: true，允许同一成员对之间存在多个不同端口/关系的连接；调用方若需要遗留简单图，必须经校验后的投影 Adapter 降低，不能由解析器静默覆盖边。
• content_digest 计算 payload 的确定性 UTF-8 JSON；manifest.content_digest 自身不参与其摘要。source map 继续是绑定内容摘要的独立 sidecar。
• 实际启动仍由已接受的候选启用解析器（Activation Resolver）prepare_activation(...) 统一校验、固定引用闭包并生成候选启用快照（Activation Snapshot）；直接 nx.node_link_graph() 只提供读图能力，不绕过发布/启用校验。

完整候选例子

示例中的 plc、robot、pump 仅用于展示通用结构，不构成特例合同。

{
  "schema_version": "unilab.workcell-definition/v1",
  "manifest": {
    "definition_fqid": "community.szlab_poly_studio.szlab_poly_station",
    "revision": 12,
    "author_version": "1.0.0",
    "content_digest": "sha256:<digest-of-payload>",
    "public_contract_digest": "sha256:<digest-of-public-contract>"
  },
  "payload": {
    "public_contract": {
      "init_param_schema": {
        "type": "object",
        "additionalProperties": false,
        "properties": {
          "auto_connect": {
            "type": "boolean",
            "default": true
          },
          "pump_timeout_s": {
            "type": "number",
            "minimum": 0.1,
            "maximum": 30.0,
            "default": 5.0,
            "x-unit": "s"
          }
        },
        "required": []
      }
    },
    "assembly_graph": {
      "directed": false,
      "multigraph": true,
      "graph": {
        "root_member_id": "szlab_poly_station"
      },
      "nodes": [
        {
          "id": "plc",
          "member_kind": "device",
          "definition_ref": {
            "fqid": "community.szlab_poly_studio.devices.plc",
            "revision": 7,
            "content_digest": "sha256:<plc-definition>"
          },
          "placement": {
            "parent_member_id": "szlab_poly_station",
            "sort_order": 10,
            "local_pose": {
              "position_mm": [0.0, 0.0, 0.0],
              "rotation_deg_xyz": [0.0, 0.0, 0.0]
            }
          },
          "init_bindings": {
            "auto_connect": {
              "kind": "public_param",
              "name": "auto_connect"
            },
            "csv_path": {
              "kind": "asset_ref",
              "path": "assets/szlab_plc_0730.csv",
              "digest": "sha256:<plc-csv>"
            },
            "url": {
              "kind": "literal",
              "value": "opc.tcp://127.0.0.1:4840"
            }
          }
        },
        {
          "id": "pump",
          "member_kind": "device",
          "definition_ref": {
            "fqid": "community.szlab_poly_studio.devices.pump_station",
            "revision": 4,
            "content_digest": "sha256:<pump-definition>"
          },
          "placement": {
            "parent_member_id": "szlab_poly_station",
            "sort_order": 20,
            "local_pose": {
              "position_mm": [700.0, 350.0, 0.0],
              "rotation_deg_xyz": [0.0, 0.0, 0.0]
            }
          },
          "init_bindings": {
            "plc_device": {
              "kind": "member_ref",
              "member_id": "plc"
            },
            "timeout_s": {
              "kind": "public_param",
              "name": "pump_timeout_s"
            }
          }
        },
        {
          "id": "reactor",
          "member_kind": "fixed_resource",
          "definition_ref": {
            "fqid": "community.szlab_poly_studio.resources.reactor_500ml",
            "revision": 2,
            "content_digest": "sha256:<reactor-definition>"
          },
          "placement": {
            "parent_member_id": "szlab_poly_station",
            "sort_order": 30,
            "local_pose": {
              "position_mm": [900.0, 350.0, 0.0],
              "rotation_deg_xyz": [0.0, 0.0, 0.0]
            }
          },
          "init_bindings": {}
        },
        {
          "id": "robot",
          "member_kind": "device",
          "definition_ref": {
            "fqid": "community.szlab_poly_studio.devices.mixer_robot",
            "revision": 3,
            "content_digest": "sha256:<robot-definition>"
          },
          "placement": {
            "parent_member_id": "szlab_poly_station",
            "sort_order": 40,
            "local_pose": {
              "position_mm": [1200.0, 350.0, 0.0],
              "rotation_deg_xyz": [0.0, 0.0, 90.0]
            }
          },
          "init_bindings": {
            "auto_connect": {
              "kind": "public_param",
              "name": "auto_connect"
            },
            "plc_device": {
              "kind": "member_ref",
              "member_id": "plc"
            }
          }
        },
        {
          "id": "szlab_poly_station",
          "member_kind": "workcell_root",
          "display_name": "SZLab 聚合物工作站",
          "init_bindings": {}
        }
      ],
      "edges": [
        {
          "source": "pump",
          "target": "reactor",
          "key": "fluid:pump.out:reactor.in",
          "relation": "fluid",
          "source_port": "out",
          "target_port": "in"
        }
      ]
    },
    "dependency_closure": {
      "community.szlab_poly_studio.devices.mixer_robot": {
        "revision": 3,
        "content_digest": "sha256:<robot-definition>"
      },
      "community.szlab_poly_studio.devices.plc": {
        "revision": 7,
        "content_digest": "sha256:<plc-definition>"
      },
      "community.szlab_poly_studio.devices.pump_station": {
        "revision": 4,
        "content_digest": "sha256:<pump-definition>"
      },
      "community.szlab_poly_studio.resources.reactor_500ml": {
        "revision": 2,
        "content_digest": "sha256:<reactor-definition>"
      }
    },
    "asset_closure": {
      "assets/szlab_plc_0730.csv": {
        "digest": "sha256:<plc-csv>",
        "media_type": "text/csv"
      }
    }
  }
}

NetworkX 读取形式：

import networkx as nx

assembly_graph = nx.node_link_graph(
    document["payload"]["assembly_graph"],
    edges="edges",
)
assert isinstance(assembly_graph, nx.MultiGraph)
assert assembly_graph.graph["root_member_id"] == "szlab_poly_station"

当前 OS 遗留实现使用 links 并显式传 edges="links"；新规范选择 NetworkX 当前默认的 edges，遗留 .json 仍由 D3-06 的 Adapter 解析，二者不混用。

本轮唯一确认项

当前整个 Wayfinder 仍剩 31 项。是否确认 D1-08=A（NetworkX node-link 修订版）？确认后 D1 全部冻结，剩余 30 项。

[TablewareBox]

D1-08 再修订：现有启动 JSON 与 Backend 字段优先

维护者要求：所有字段尽可能与当前启动 JSON 及 Backend 保持相同。该要求成立，上一版候选中的 manifest/payload/assembly_graph/member_kind/placement/init_bindings 新字段过多，本评论明确取代上一版 JSON 示例；以下仍是候选设计（Candidate Design），尚未接受。

字段复用原则

1. 整份规范 JSON 自身就是 NetworkX node-link 文档：顶层继续使用当前启动 JSON 的 nodes、links，只补 NetworkX 的 directed、multigraph、graph；读取时显式使用 edges="links"。
2. 节点继续复用 id/name/type/class/parent/children/pose/config/data：
   • id 是定义局部稳定 member_id；
   • parent/children 使用成员 id，两者必须严格互为逆关系；children 顺序有语义；
   • pose 复用当前 OS 归一化字段和 Backend ResourceTemplate.pose，具体物理单位/2D-3D字段由 D2 冻结；
   • config 只存定义期固定 JSON 值；
   • data 为结构兼容保留，但候选工作单元定义（WorkCell Definition）中必须是空对象，运行状态不得进入摘要。
3. 唯一必须新增的节点字段是可选 config_bindings，用于表达 Python 中不能降低为固定 JSON 的公共参数引用和成员引用；候选启用解析器（Activation Resolver）解析后，交给 OS/Backend 的仍是普通 config。
4. class 继续是当前启动 JSON 使用的 fqid。graph.dependencies[class] 补充已接受的 exact revision/content digest；不新增每节点 definition_ref。
5. 定义期不写 Backend 运行实例字段 uuid/resource_template_uuid/parent_uuid/relative_position：
   • uuid/parent_uuid 在候选启用快照（Activation Snapshot）中从实例 namespace + member_id 确定性生成；
   • class 经固定目录解析为该部署的 resource_template_uuid；Backend 当前模板 UUID 是数据库身份，不能污染 workspace/clean-wheel 可复现摘要；
   • pose 在启用投影时映射为 Backend relative_position。
6. config.sites 保持当前结构；Backend 当前正从 label/content_type/position/size 生成库位（Site），数组位置映射为持久 sort_order。定义中禁止 occupied_by/occupied_material_uuid，它们属于库位占用（SiteOccupancy）运行事实。
7. 连接继续使用当前 links[*].id/source/target/type/port；NetworkX 读取时 key="id"，因此不新增 key/source_port/target_port。

修订后的完整候选 JSON

示例中的设备类别只是说明字段形态，不构成 plc(...) 特例合同。

{
  "directed": false,
  "multigraph": true,
  "graph": {
    "schema_version": "unilab.workcell-definition/v1",
    "id": "szlab_poly_station",
    "name": "szlab_poly_station",
    "display_name": "SZLab 聚合物工作站",
    "definition_fqid": "community.szlab_poly_studio.szlab_poly_station",
    "version": "1.0.0",
    "revision": 12,
    "content_digest": "sha256:<canonical-content-without-this-field>",
    "public_contract_digest": "sha256:<public-contract>",
    "init_param_schema": {
      "config": {
        "properties": {
          "pump_timeout_s": {
            "type": "number",
            "title": "Pump timeout",
            "minimum": 0.1,
            "maximum": 30.0,
            "default": 5.0,
            "unit": "s"
          }
        }
      }
    },
    "dependencies": {
      "community.szlab_poly_studio.devices.plc": {
        "revision": 7,
        "content_digest": "sha256:<plc-definition>"
      },
      "community.szlab_poly_studio.devices.pump_station": {
        "revision": 4,
        "content_digest": "sha256:<pump-definition>"
      },
      "community.szlab_poly_studio.resources.reactor_500ml": {
        "revision": 2,
        "content_digest": "sha256:<reactor-definition>"
      }
    },
    "assets": {
      "assets/szlab_plc_0730.csv": {
        "content_digest": "sha256:<plc-csv>",
        "media_type": "text/csv"
      }
    }
  },
  "nodes": [
    {
      "id": "plc",
      "name": "PLC",
      "type": "device",
      "class": "community.szlab_poly_studio.devices.plc",
      "parent": "szlab_poly_station",
      "children": [],
      "pose": {
        "position": {"x": 0.0, "y": 0.0, "z": 0.0},
        "rotation": {"x": 0.0, "y": 0.0, "z": 0.0}
      },
      "config": {
        "url": "opc.tcp://127.0.0.1:4840",
        "csv_path": "assets/szlab_plc_0730.csv"
      },
      "data": {}
    },
    {
      "id": "pump",
      "name": "泵站",
      "type": "device",
      "class": "community.szlab_poly_studio.devices.pump_station",
      "parent": "szlab_poly_station",
      "children": [],
      "pose": {
        "position": {"x": 700.0, "y": 350.0, "z": 0.0},
        "rotation": {"x": 0.0, "y": 0.0, "z": 0.0}
      },
      "config": {},
      "config_bindings": {
        "plc_device": {"type": "member", "value": "plc"},
        "timeout_s": {"type": "init_param", "value": "pump_timeout_s"}
      },
      "data": {}
    },
    {
      "id": "reactor",
      "name": "反应容器",
      "type": "container",
      "class": "community.szlab_poly_studio.resources.reactor_500ml",
      "parent": "szlab_poly_station",
      "children": [],
      "pose": {
        "position": {"x": 900.0, "y": 350.0, "z": 0.0},
        "rotation": {"x": 0.0, "y": 0.0, "z": 0.0}
      },
      "config": {
        "size_x": 100.0,
        "size_y": 100.0,
        "size_z": 200.0,
        "sites": [
          {
            "label": "R1",
            "content_type": ["szlab_sample_vial_250ml"],
            "position": {"x": 7.0, "y": 7.0, "z": 20.0},
            "size": {"width": 86.0, "height": 86.0, "depth": 136.0}
          }
        ]
      },
      "data": {}
    },
    {
      "id": "szlab_poly_station",
      "name": "SZLab 聚合物工作站",
      "type": "workcell",
      "class": "community.szlab_poly_studio.szlab_poly_station",
      "parent": null,
      "children": ["plc", "pump", "reactor"],
      "pose": {
        "position": {"x": 0.0, "y": 0.0, "z": 0.0},
        "rotation": {"x": 0.0, "y": 0.0, "z": 0.0}
      },
      "config": {},
      "data": {}
    }
  ],
  "links": [
    {
      "id": "fluid:pump.out:reactor.in",
      "source": "pump",
      "target": "reactor",
      "type": "fluid",
      "port": {
        "pump": "out",
        "reactor": "in"
      }
    }
  ]
}

assembly_graph = nx.node_link_graph(
    document,
    edges="links",
    key="id",
)

规范编码规则：nodes 按 id 排序、links 按 id 排序；children 与 config.sites 的数组顺序有业务语义，不重排。content_digest 计算时只排除 graph.content_digest 自身；source map 和 ui_layout 仍为独立 sidecar。

本轮唯一确认项

当前整个 Wayfinder 仍剩 31 项。是否确认 D1-08=A（现有字段优先的 NetworkX node-link 修订版）？确认后 D1 全部冻结，剩余 30 项。

[TablewareBox]

D1-08 已接受；D1 全部冻结

维护者确认 D1-08=A，采用“现有启动 JSON/Backend 字段优先的 NetworkX node-link 修订版”。该项现在是已接受决策（Accepted Decision）：

• 整份规范 JSON 可直接由 nx.node_link_graph(document, edges="links", key="id") 初始化；
• 节点、连接、库位（Site）尽量复用当前启动 JSON 与 Backend 字段；
• config_bindings 是唯一必要的新节点字段；
• nodes/links 规范排序，children/config.sites 保留业务顺序；
• 运行实例 UUID、真实物料（Material）状态和库位占用（SiteOccupancy）不得进入定义摘要；
• 精确依赖/资产闭包、source map、诊断和双向固定点继续失败关闭。

独立设计文档已经同步：提交 74927db。D1-01～D1-11 至此全部冻结；整个 Wayfinder 剩余 30 项：D2 7、D4 7、D5 8、G1 8。下一批转入 #183，一次提出 D2 全部 7 项。