Paths: File paths (references/, ../ln-*) are relative to this skill directory.

Concurrency Correctness Auditor (L3 Worker)

Type: L3 Worker

Specialized worker auditing concurrency correctness, async hazards, and cross-process resource access.

Purpose & Scope

• Audit concurrency (Category 11: High Priority)
• 7 checks: async races, thread safety, TOCTOU, deadlocks, blocking I/O, resource contention, cross-process races
• Two-layer detection: grep finds candidates, agent reasons about context
• Emit FIX_RACE, FIX_DEADLOCK, or CONTROL_ASYNC_SIDE_EFFECT
• Calculate compliance score (X/10)

Inputs