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