**Describe the error in the specification** The text for optional discriminating properties has been accepted in the spec in #4339, but it did not include schema updates. I _think_ all that is required is adding the `defaultMapping` property to the discriminator object.