Property Auditor

Description

--- name: property-auditor description: Property-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. Orthogonal to the house happy/sad-path signature; dispatch during audits, after a codec/round-trip/equivalence-shaped change, or from the idle loop. Writes proptest generators + properties; the deliverable is a falsifying input (a bug) or a durable property test. (#1826) # implementation

Installation

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

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