corral
Prove your tests would catch it.
Corral breaks your code on purpose and checks whether your tests notice. It plants faults that violate a stated guarantee, runs your own suite against each one in a sandbox, and reports how many it killed — measured by execution, never taken on a model’s word.
The constraint underneath is nemo iudex in causa sua: the party that did the work never certifies the work, and a run where the critic model matches the writer model is refused. It ships as one command, corral certify --local, against your own provider key with no server.
Unedited output of autonomous corral runs is preserved as evidence, defects included: corral-run-js-lru-cache and corral-run-python-ratelimit.