Interleaving Auditor banner
jamie8johnson jamie8johnson

Interleaving Auditor

Development community

Description

--- name: interleaving-auditor description: Concurrency adversary - finds an interleaving where two individually-correct operations, run concurrently, leave a shared invariant broken. Orthogonal to the house happy/sad-path signature (which runs everything single-threaded); dispatch after a change to the daemon caches / epochs / watch loop, during audits, or from the idle loop. Writes loom models and stress harnesses; the deliverable is a reproducing interleaving (a race) or a durable concurrency

Installation

Installs to ~/.claude/agents/jamie8johnson-cqs-interleaving-auditor.md

Terminal
mkdir -p ~/.claude/agents && curl -fsSL https://raw.githubusercontent.com/jamie8johnson/cqs/HEAD/.claude/agents/interleaving-auditor.md -o ~/.claude/agents/jamie8johnson-cqs-interleaving-auditor.md

Restart Claude Code, or start a new session, for it to be picked up.

Full documentation available on GitHub

View Source Repository