用途
并发正确性审计器（Concurrency Correctness Auditor）是一个 L3 Worker 类型的专用技能，用于审计代码的并发正确性、异步隐患以及跨进程资源访问问题。它属于审计类别中的高优先级项（Category 11），专注于并发正确性这一单一维度，不涉及生命周期就绪性、层级归属或本地代码风格。
主要能力
该技能执行 7 项检查：
- 异步/事件循环竞态（CWE-362）：检测单线程异步代码中跨 await/yield 边界的共享状态损坏。
- 线程/Goroutine 安全（CWE-366）：检测多线程/goroutine 中未同步访问的共享可变状态。
- TOCTOU（CWE-367）：检测资源状态在检查与使用之间可能被改变的情况。
- 死锁可能性（CWE-833）：检测锁获取顺序不一致，或在阻塞操作期间持有锁。
- 异步上下文中的阻塞 I/O（CWE-400）：检测异步函数或事件循环处理器中的同步阻塞调用。
- 资源争用（CWE-362）：检测多个并发访问者竞争同一资源而缺乏协调。
- 跨进程与不可见副作用（CWE-362、CWE-421）：检测多个进程或进程与操作系统访问同一独占资源，包括对共享 OS 资源具有非显而易见副作用的操作。
检测采用两层方式：第一层用 grep/glob 扫描候选点，第二层读取候选点周围 20-50 行代码，应用检查特定的关键问题，将结果分类为已确认/误报/需上下文。
使用方式
该技能接收 contextStore，其中包含 tech_stack、best_practices、codebase_root、output_dir。工作流程为：解析上下文，逐项执行 7 项检查（每项均采用两层检测），收集已确认发现（含严重性、位置、工作量、建议），按评分规则计算分数，将报告写入 {output_dir}/ln-628--global.md（原子单次写入），并返回摘要。
工具策略：优先使用 hex-line MCP 进行文件读取、搜索和编辑；当数据流或调用路径分析能显著改善并发发现时，优先使用 hex-graph。若 MCP 不可用、不支持或未索引，则回退到内置的 Read/Grep/Glob/Bash，并在报告中说明回退情况。
适用场景
适用于对代码库进行并发正确性专项审计，尤其是涉及支付、认证、金融代码的场景（此类发现一律升级为 CRITICAL）。排除测试文件、单线程 CLI 工具和生成代码。
限制
该技能仅报告问题，不自动修复——并发修复需要谨慎的人工审查。每个发现必须使用 FIX_RACE、FIX_DEADLOCK 或 CONTROL_ASYNC_SIDE_EFFECT 动作。工作量估算：S = <1 小时，M = 1-4 小时，L = >4 小时。版本 4.0.0，最后更新于 2026-03-04。