At least in the statefulspec.json file, {"format": "int32"} and {"format": "int64"} occur many times.
According to the JSON schema specification, these are not legal format types.
They make some JSON schema verifiers reject these specifications - because they aren't valid format specifiers.