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.
--mark
