jamie8johnson/cqs
15 subagents
Subagent
adequacy-auditorMeta adversary - finds where the test suite's own assertions don't bite, via mutation testing. A green suite is consistent with a test that asserts nothing; this is the only auditor that turns the…auditorCode audit agent for a single category — findings appended to audit-findings.mdcode-reviewerReview current diff for risk, impact, and correctness before commit/PRexplorerCodebase exploration using cqs semantic search and call graph navigationimplementerImplementation agent with built-in cqs checkpoints — scout before, review afterinterleaving-auditorConcurrency adversary - finds an interleaving where two individually-correct operations, run concurrently, leave a shared invariant broken.investigatorPre-implementation investigation — scout + gather + brief before writing codelane-implementerImplementation lane with the full gate battery baked in - private target dir, all-targets clippy, targeted tests, provenance lint, commit-don't-push, residuals-to-issues reporting. Dispatch with opus…legacy-state-auditorVersion adversary - finds where current code mishandles persisted state that only a PAST version (or external mutation) could have written.property-auditorProperty-based testing lane (proptest) - lives in the null between hand-written examples by generating valid inputs and asserting an algebraic invariant over ALL of them.seam-auditorComposition adversary - finds two correct units whose join lies. Orthogonal to the house happy/sad-path signature; dispatch during audits, after multi-lane merges, or from the idle loop. Fable-seated…spec-fidelity-auditorOracle adversary - finds a green, mutation-killing test whose ASSERTION contradicts an authoritative external contract. Covers the adequacy/meta-null's own null: mutation testing proves a test BITES,…sweep-auditorCompleteness adversary - finds the member of a should-be-uniform set that diverged (the incomplete sweep: a change applied to N-1 of N sites).test-finderFind tests and coverage for a function before modificationunbiddable-auditorTrust-boundary auditor - crafts an input (the agent's query OR crafted INDEXED CONTENT) that crosses a trust boundary or manipulates the agent-consumer. Beside the correctness-null family on the…