Searching protocol for "claim-investigation"
Evidence-based, deductive code reviews.
Systematic claim verification and decomposition.