用途：把工作流设计成显式工程契约，而非装饰性图。先明确目标、状态与终止条件，再决定是否用图；仅在需要条件分支、并行、有界迭代、持久恢复、审批门或独立可观测阶段时使用图，否则优先线性流程或单个有界智能体循环。
主要能力：提供四种工作模式——design（新建图）、transform（把线性流程或隐式循环转为显式图）、review（审查结构、状态、并发、恢复、终止与副作用缺陷）、evolve（依据失败、追踪或评估结果修订）。核心内容包括：先定义状态字段（含义、类型、初始来源、写入者、合并策略、持久化与敏感度），再定义节点契约（读写、确定性工作与模型判断、工具权限、超时重试、幂等与副作用、成功失败取消结果），以及边与路由（条件穷尽、互斥或优先级、默认路由、守卫依赖显式状态）。
使用方式：按需加载资源——字段与不变量读 references/graph-model.md，可复用拓扑读 references/graph-patterns.md，审查或终审读 references/review-checklist.md；生成机器可读产物可复制 assets/graph-spec.json 并调整；校验 Graph Spec 运行 python3 scripts/validate_graph_spec.py --strict path/to/graph.json。
适用场景：需要分支、并行汇合、有界循环、人工审批、持久恢复、独立可观测或不同权限边界的流程设计。
限制：校验器只检查结构契约与引用完整性，不解释任意守卫语言，也不证明运行时行为；路由边界、恢复、续跑与副作用语义仍需执行测试。并发分支不得写同一 replace 或 reject-conflict 字段；循环必须有可测边界与耗尽路径；重试不得重复不安全副作用。资料未提供具体框架映射、价格或平台信息。