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：