pm gates: refuse a widening diff whose claim declares Clause-②: no (the mechanical half of the directional ruling)
#8427
| Job | Run time |
|---|---|
| 19s | |
| 19s |