feat(spec): declare {0000} as the contract default for format-less autonumber fields (#6555)
#16866
| Job | Run time |
|---|---|
| 3m 54s | |
| 15m 26s | |
| 19m 20s |