io-review

审计代码的 IO 铁律与聚合并行约束。范围：$ARGUMENTS（空则审计 git diff main..HEAD）。

公共步骤模板见 skills-spec/01_skill_authoring_guide.md §A-§E。本 Skill 不生成代码，故第 5 步测试同步不适用。

本 Skill 是审计类 Skill（审计类第 6 个）。"代码 ↔ IO 铁律"一致性审计。

第 0 步：🚫 模块 + 启用状态检查

1. 读 BUILD_STATUS.md §0 —— 命中 🚫 模块的文件跳过审计
2. 读 INDEX.md §0 AIWeave 采纳进度 —— 如 docs-spec/25_io_aggregation 标 ⬜ 未启用 → 跳过本 Skill，提示"本工程未启用 25，跳过 io-review"

第 1 步：读取约束源

读以下文件（按顺序）：

1. docs/architecture/io_contract.md —— §1 IO 往返预算 + §2 三条铁律 + §2.1/§2.2 豁免登记 + §3 聚合器模式 + §4 并行原语 + §5 聚合约束
2. docs/architecture/ai_dev_guide.md §10.7 —— grep 锚 rule-id 索引（R-IO-*）
3. docs/architecture/performance_contract.md §4 —— 单次延迟预算（避免与 25 双源真相）
4. docs/BUILD_STATUS.md §11 —— 约束清单状态轨道

第 2 步：扫描代码范围

按 $ARGUMENTS 确定扫描范围：

• 空 / 当前 PR：git diff main..HEAD --name-only 取新增/修改的 .go 文件
• loop-only：仅取含 for / range 的文件
• 文件路径：直接以该路径为范围

第 3 步：依赖链分析（铁律二的关键）

对每段"连续多次读"的代码，判定查询间是否存在真实数据依赖：

• 后一次查询的入参取自前一次查询的结果（外键 / 返回字段）→ 真实依赖，串行合法
• 后一次查询入参与前一次结果无关 → 伪串行，命中铁律二

依赖链是 io-review 区分"违规"与"必要串行"的核心，不可机械只看"连续 await"。

第 4 步：grep 锚检查

grep 锚定位为"信号级"非"判定级"。所有命中标 🟡 待复核；最终判定由人工 reviewer 决定。 已在 io_contract.md §2.1 / §2.2 豁免登记表登记的位置 → 跳过；命中但未登记 → 标记。

检查 R-IO-N-PLUS-1：循环内单条查询（铁律一 / N+1）

范围：所有路径
grep 模式：'for [^{]*\{[\s\S]{0,300}?\.(Find|First|Take|Get|Query|Load|HGet|MGet?|Call)\('
误报排除：
  - 调用的已是批量 API（FindByIDs / In(...) / Pluck / Scan / 批量 MGET）
  - 循环次数硬编码 ≤ {Loop-safe-N}（如 < 5）
  - io_contract.md §2.1 已登记豁免 / 行末 // aiweave:allow=R-IO-N-PLUS-1
判定：命中且未豁免 → 🔴 严重（违反铁律一）

检查 R-IO-SERIAL-ORCH：独立串行查询编排（铁律二）

范围：所有路径
信号：连续 ≥ 2 个 {读操作} 各自 if err != nil 串行展开
判定（结合第 3 步依赖链分析）：
  - 无真实依赖（伪串行）→ 🔴 严重（违反铁律二），建议改聚合器 / 扇出并行
  - 有真实依赖 → 跳过（合法），可提示"是否可预取合并"
误报排除：
  - io_contract.md §2.2 已登记依赖链豁免 / 行末 // aiweave:allow=R-IO-SERIAL-ORCH

检查 R-IO-LOOP-WRITE：循环内单条写

范围：所有路径
grep 模式：'for [^{]*\{[\s\S]{0,300}?\.(Create|Save|Insert|Update|HSet|Set|Exec)\('
误报排除：
  - 批量写 / pipeline（CreateInBatches / pipeline.Exec）
  - 循环次数硬编码 ≤ {Loop-safe-N}
  - 行末 // aiweave:allow=R-IO-LOOP-WRITE