concurrency-review

审计代码的并发安全性。范围：$ARGUMENTS（空则审计 git diff main..HEAD）。

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

本 Skill 是 新增的审计类 Skill。"代码 ↔ 约束"一致性审计，与 doc-sync-check（代码 ↔ 文档一致性）互补不替代。

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

1. 读 BUILD_STATUS.md §0 —— 命中 🚫 模块的文件跳过审计（不报问题）
2. 读 INDEX.md §0 AIWeave 采纳进度 —— 如 docs-spec/20_concurrency_safety 标 ⬜ 未启用 → 跳过本 Skill，提示"本工程未启用 20，跳过 concurrency-review"

第 1 步：读取约束源

读以下文件（按顺序）：

1. docs/architecture/concurrency_safety.md —— §2 共享状态注册表 + §3 锁策略 + §4 channel 清单 + §6 危险操作清单
2. docs/architecture/ai_dev_guide.md §10.1 —— grep 锚 rule-id 索引（R-CONC-*）
3. docs/BUILD_STATUS.md §11 —— 约束清单状态轨道（确认哪些 rule-id 启用）

第 2 步：扫描代码范围

按 $ARGUMENTS 确定扫描范围：

• 空：git diff main..HEAD --name-only 取新增/修改的 .go 文件
• 文件路径：直接以该路径为范围
• service 模块：service/{module}/**/*.go

第 3 步：10 项 grep 锚检查

grep 锚定位为"信号级"非"判定级"。所有命中标 🟡 待复核；最终判定由人工 reviewer 决定是否阻断合并。

检查 R-CONC-LOCK-IO：锁内做网络 IO

grep 模式：'\.Lock\(\)[\s\S]{0,500}?(http\.|Mysql|Redis|tlog\.)'
误报排除：
  - RLock 中读小对象
  - 同步只读类操作（如 Redis GET 单次 < 1ms 的情况）
  - 行末含 // aiweave:allow=R-CONC-LOCK-IO 注解

检查 R-CONC-LOCK-LOG：锁内打日志

grep 模式：'\.Lock\(\)[\s\S]{0,300}?(tlog\.|log\.)'
误报排除：
  - 异常路径的关键日志（不可避免）
  - 行末含 // aiweave:allow=R-CONC-LOCK-LOG 注解

检查 R-CONC-MAP-RACE：map 并发写

判定：文件含 `var .* map\[` 且同文件存在 `go func` 且未引用 sync.RWMutex / sync.Map
误报排除：
  - 局部 map 不跨 goroutine
  - main / init 中只读 map（启动后只读）
  - 行末含 // aiweave:allow=R-CONC-MAP-RACE 注解

检查 R-CONC-DOUBLE-CLOSE：关闭已关闭的 channel

判定：`close\([^)]+\)` 同一 channel 在文件内出现多次且无 sync.Once 保护
误报排除：
  - 单一所有者 close 模式
  - 行末含 // aiweave:allow=R-CONC-DOUBLE-CLOSE 注解

检查 R-CONC-SEND-CLOSED：向已关闭的 channel 发送

判定：`<-` channel 关闭后仍有 send 路径（静态分析判定，准确率较低 → 优先标 🟡）

检查 R-RESOURCE-DEFER-LOOP：defer 在 for 循环内

grep 模式：'for [^{]*\{[\s\S]{0,300}?defer '
误报排除：
  - 循环体内显式调用 Close 而非 defer
  - 循环次数 ≤ {Loop-defer-safe}（如 < 10，影响小）
  - 行末含 // aiweave:allow=R-RESOURCE-DEFER-LOOP 注解