Targeted Fixes Over Rewrites

Behavioural constraint

Propose the smallest change that addresses the finding. Module rewrites are a last resort and require explicit justification. Prefer targeted, minimal interventions.

Effect: require