面向 AI Agent 的技能编排系统（Skill Orchestration System）设计
Nexus 在技能注册表之上补一层控制平面：把一组技能声明式地编排成可校验、可恢复、可治理的执行图，并支持按任务描述自动路由技能、按节点派发独立子 Agent。
- 技能注册表回答：这个 Agent 能加载哪些指令？
- Nexus 回答：这些技能应该以什么顺序、在什么条件下、携带什么数据、由哪个 Agent、在什么约束下执行？
| 文档 | 内容 |
|---|---|
| 00 · 总览 | 问题、定位、设计原则、概念模型、端到端走读、非目标 |
| 01 · 编排 DSL | Flow/Node/Edge 语法、类型系统、表达式、绑定、控制流糖、内核 IR、完整示例 |
| 02 · 执行语义 | 状态机、调度、数据传递、失败与重试、检查点与恢复、确定性 |
| 03 · 技能路由 | 路由时机、两阶段契约、策略谱系、动态子图展开与封装、评估 |
| 04 · 多智能体 | 执行模式、结果信封、协作拓扑、聚合、隔离、收益与代价 |
| 05 · 治理与安全 | 预算、审批门、权限单调性、信任边界、审计、失败关闭策略 |
| 06 · 参考实现 | 组件架构、编译流水线、状态机、时序、存储接口、DSH 绑定 |
| 07 · 路线图与权衡 | 分期路线、方案对比、开放问题、风险登记 |
设计阶段（规范草案 nexus/v1alpha1），本仓库当前只包含设计文档，尚无实现代码。
- 图即上下文契约 —— 节点只见声明的输入，不见编排者的完整历史。
- Flow 也是 Skill —— 编排可递归组合，且无需改动已有技能发现/路由机制。
- 模型输出是数据 —— 自动路由与模型规划的子图必须过同一套静态校验器。
- 权限与预算单调不扩张 —— 子节点与子流程只能继承，不能自我提权。
- 一切决策可记录可重放 —— 路由、审批、预算、重试决策全部入日志。