feat(spec): declare {0000} as the contract default for format-less autonumber fields (#6555)

feat(spec): declare {0000} as the contract default for format-less autonumber fields (#6555) #5595