I'm not sure how it can be added to Avro without breaking existing apps.
If ResolvingGrammarDecoder.encode were changed to correct the deficiencies
I mentioned, existing schemas that don't pass the stricter rules would
cause errors in the builder, and errors when applying default values from a
reader schema during deserialization.