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