pm gates: refuse a widening diff whose claim declares Clause-②: no (the mechanical half of the directional ruling) - #16604
Merged
Clause-②: no (the mechanical half of the directional ruling) - #16604