使用该输入的 Skills：SA 图

★ 27 · 更新于 2026-10-03

在不修改图的情况下，验证 NaCl SA 图的一致性、可追溯性、连通性、状态机、行为切片、错误分类和覆盖情况。