How to conduct a review of a clodex pull request — orienting on what actually changed, building an adversarial panel, the proof technique that fits each claim shape, mutation discipline, calibrating severity, and posting or merging the result. Use when reviewing a clodex PR, auditing a change, adjudicating a finding…
The bar a clodex change must clear before its PR is opened. Use when preparing a change for a pull request, writing or strengthening the tests for a fix, proving a bug is real before fixing it, self-checking your own work, or writing the PR description. Derived from 100 merged and closed PRs. To review someone else's…
Instructions for bman654/clodex, covering claude.md, where everything lives, toolchain and commands, manual testing (after pnpm build; npm link once) and commit messages.