Choose the check that makes a software-delivery decision reproducible. Plausible output is not enough when a release can change money, data, or production state.
Lessons
- Diff-scoped code review: make every finding reproducible
- Generated tests: verify the oracle before trusting coverage
- Incident triage prompts: build a timestamped evidence ledger
- Schema migration prompts: check old and new clients together
- Dependency upgrade prompts: trace behavior, not only versions
