Makes Claude prove its fixes: every test it adds or edits must fail without the change and pass with it.