qianchengjie Rules Review
rules-review 判断 caller 指定范围内的代码是否违反适用 Rule，不修改被审代码或 Rules。
判断边界
Caller 提供可定位的 code scope 及其被审状态。文件、符号、模块、行为、diff、staged/worktree 状态或 commit range 都可以定义范围。
- Code scope 是 finding 的唯一位置边界。范围无法确定时，返回 scope
cannot_verify。 - Reviewer 可以读取调用方、被调用方、类型、配置、测试、文档、契约、生成代码或运行时事实作为 evidence context。
- Evidence context 不改变 code scope；其中代码自身的问题不进入本次 findings。
- 对缺失行为的 finding，位置是 scope 内本应承担该义务的函数、分支、组件或接口。
发现 Rules
默认从当前 workspace 读取 Rules；caller 指定 Rule commit 时固定该来源。使用同级 rule-steward 的正式 reader 获取完整 active catalog；需要完整正文的 Rule 从 catalog 对应的同一 Rule source 获取正文。Catalog 与 Rule 正文必须来自同一 source。
先读取完整 active catalog，再判断其中每条 Rule：
- 只有正式 reader 明确确认不存在 Rule source，或明确返回合法空 catalog，才按无 active Rules 处理；目录缺失本身不能构成该确认。
- Reader 失败或无法形成完整 catalog 时，返回 discovery
cannot_verify。 - Catalog 已提供完整且具有约束力的 applicability 条件，并且证据确定该条件不成立时，可以直接判
not_applicable。 - 其余 Rule 从同一来源读取完整正文后再判断；标题、标签、摘要或既有印象不能替代正文。
逐条判断
每条 active Rule 的 applicability 取以下一种结果：
- 决定性证据表明激活条件不成立：
not_applicable。 - 激活条件成立：
applicable，继续判断 scope 内代码。 - 决定性事实缺失或冲突：
cannot_verify。
对 applicable Rule：
- 代码与具体规则语义矛盾：finding。
- Compliance 的决定性事实缺失或冲突：
cannot_verify。 - 必要事实完整且没有违反：pass。
继续判断全部 active Rules。Finding 与 cannot_verify 是可并存的事实集合，同一 Rule 也可能同时贡献两者。仅当判断依赖执行事实时，可以运行对应的 focused validation；静态证据足够时直接判断。
Finding
每个 finding 包含：
- 唯一 Rule 引用；
- 被违反的具体规则语义；
- Scope 内代码位置或缺失义务承载点；
- 必要证据：Rule 适用事实、相关代码与上下文事实，以及两者为何矛盾。
Scope 内任何已确认 violation 都作为 finding 返回。
Cannot verify
每项 cannot_verify 只写：
- 未决环节及对象：
scope、discovery、<RULE-ID> applicability或<RULE-ID> compliance； - 缺失或冲突的决定性事实，以及它阻止的结论。
cannot_verify 保留尚未确定的判断；它不表示不适用、通过或违反。
输出
最终回答先写实际 code scope，再按事实输出：
- 非空 findings 使用
## Findings； - 非空 unresolved judgments 使用
## Cannot verify； - 两组可以同时出现；
- 两组都为空时输出
Clean。
Clean 表示 scope 与完整 active catalog 均可确定，并且每条 active Rule 都已得到 not_applicable 或 applicable + pass。空 catalog 也满足逐条判断完成条件。