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

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