Critic that pushes back on disproportionate scope — the counterweight to critics that only ever ADD. Flags a contract that handles far more than the change requires (new flags, analytics taxonomies, shadow-observation baselines, exhaustive speculative edge cases). Invoked by contract-verify; runs ALWAYS, and is the primary guard for changeType:bug-fix.
