用途：Verify 是一个测试验证技能，属于后端质量维度分类法，覆盖 DIM-4（测试保真度）与 DIM-3（契约）。它用于找出测试声称验证的内容与实际执行内容之间的差距，即通过测试背后隐藏缺陷的空间。
主要能力：测试保真度关注测试是否执行真实生产行为，还是测试 mock 与测试专属接线构成的平行世界；契约关注 schema、类型与 API 边界在声明与使用间是否保持同步。
触发场景：在里程碑后评估测试套件健康、发现本应被现有测试捕获的 bug、代码评审中审查测试质量、调查测试通过但生产环境失败、API 变更后检查 schema/契约完整性。不适用于架构评审、错误处理或可观测性调查、死代码排查，这些应使用 axiom:critique、axiom:harden、axiom:distill。
使用方式：先加载维度定义，再运行 axiom:scan 执行确定性检查，识别如无 issue 引用的 describe.skip/it.skip、单文件超过 3 个 vi.mock() 或 jest.mock()、无类型守卫的 as 类型断言、代码引用但 schema 缺失的字段等。随后叠加定性评估，包括测试与生产分歧、mock 保真度、缺失集成测试、schema/契约漂移、覆盖率缺口。最后按指定格式输出发现，每条含维度、严重级别、证据（file:line）、解释与可选建议。
限制：需要提供文件路径、目录或 glob 范围；范围内无匹配文件时输出提示而不产生空发现；有源码但无测试文件按 DIM-4 报告；文件无法解析时记录并跳过。具体维度定义、发现格式、反模式目录与契约测试指南参见资料中列出的引用文件。