Module subgraph_spec 

SubgraphSpec — Builder 阶段的强类型 Subgraph 描述。

设计理念

Builder 阶段：
  SubgraphSpec<Outer, Inner, M, Lens>  (强类型)

编译阶段：
  CompiledSubgraph<Outer>  (类型擦除 Inner/Lens/M)

Engine 执行：
  match node.kind {
      NodeKind::Subgraph(spec) => self.execute_subgraph(spec).await,
  }

与 CompiledSubgraph 的区别

• SubgraphSpec：Builder 阶段，强类型，包含 Graph + Lens
• CompiledSubgraph：编译后，类型擦除，可存入 NodeKind
• SubgraphSpec 实现 StateProjector trait，可转换为 CompiledSubgraph

状态投影

通过 StateLens 从外层 State 投影出内层 State：

WorkflowState
    ↓ StateLens
&mut AgentState
    ↓
Agent Graph 操作
    ↓ 借用结束
WorkflowState 继续

Structs

SubgraphSpec

Subgraph Builder 描述 — 强类型，包含 Graph + Lens。