pm gates: refuse a widening diff whose claim declares Clause-②: no (the mechanical half of the directional ruling)
#32297
| Job | Run time |
|---|---|
| 2m 41s | |
| 2m 42s | |
| 24m 40s | |
| 5m 25s | |
| 7m 57s | |
| 4s | |
| 43m 29s |