Technique · Code review

Logic and correctness review

Reads the change for wrong behaviour: off-by-one, inverted conditions, missed error paths, broken invariants, race conditions.

Sub-techniques

Logic bug review V1035.001

Look for conditions, loops and state transitions that do not match intent.
Error path review V1035.002

Check failures, retries and partial writes.
Type and contract consistency V1035.003

Check that values crossing module boundaries keep their meaning.