nacl-sa-validate - 验证 NaCl SA 图质量
在不修改图的情况下,验证 NaCl SA 图的一致性、可追溯性、连通性、状态机、行为切片、错误分类和覆盖情况。
标签
更新于: 2026-10-03能力
典型输入
典型输出
该技能可以做什么
- 验证图一致性
- 检查节点连通性
- 审计需求覆盖
- 追踪表单领域映射
- 检查跨模块规则
- 验证功能请求
- 检测过期节点
- 验证决策溯源
- 验证屏幕状态机
- 检查行为切片
- 验证错误分类
- 报告覆盖发现
输入
- SA 图
- 验证级别
- 验证范围
- 模块标识符
- SA 模式
- 迁移规则
- 验证词汇
- Goal Codex 合约
输出
- 验证发现
- 覆盖报告
- 警告
- 状态词汇
- 图数据计数
- 逃生阀债务计数
要求
- 图读取工具
- 读取相关文件的权限
- 使用 goal 别名时的运行时目标证据
