How are required properties inferred?
A field is required when it appears in every sampled object. With a single object, every field in that sample is required because there is no evidence that it is optional.