Add unevaluatedProperties

Author: handrews

jsonschema-core.xml

@@ -1341,7 +1341,12 @@
                     <list>
                         <t>
                             "additionalProperties", whose behavior is defined in terms of
-                            "properties" and "patternProperties"; and
+                            "properties" and "patternProperties"
+                        </t>
+                        <t>
+                            "unevaluatedProperties", whose behavior is defined in terms of
+                            annotations from "properties", "patternProperties",
+                            "additionalProperties" and itself.
                         </t>
                         <t>
                             "additionalItems", whose behavior is defined in terms of "items".
@@ -1350,7 +1355,7 @@
                 </t>
             </section>
 
-            <section title="Keywords for Applying Subschemas in Place">
+            <section title="Keywords for Applying Subschemas in Place" anchor="in-place">
                 <t>
                     These keywords apply subschemas to the same location in the instance
                     as the parent schema is being applied.  They allow combining
@@ -1687,14 +1692,64 @@
                             an empty schema.
                         </t>
                         <t>
-                            Implementation MAY choose to implement or optimize this keyword
+                            Implementations MAY choose to implement or optimize this keyword
                             in another way that produces the same effect, such as by directly
                             checking the names in "properties" and the patterns in
                             "patternProperties" against the instance property set.
                             Implementations that do not support annotation collection MUST do so.
                         </t>
                     </section>
 
+                    <section title="unevaluatedProperties" anchor="unevaluatedProperties">
+                        <t>
+                            The value of "unevaluatedProperties" MUST be a valid JSON Schema.
+                        </t>
+                        <t>
+                            The behavior of this keyword depends on the annotation results of
+                            adjacent keywords that apply to the instance location being validated.
+                            Specifically, the annotations from "properties", "patternProperties",
+                            and "additionalProperties", which can come from those keywords when
+                            they are adjacent to the "unvevaluatedProperties" keyword.  Those
+                            three annotations, as well as "unevaluatedProperties", can also
+                            result from any and all adjacent
+                            <xref target="in-place">in-place applicator</xref> keywords.
+                            This includes but is not limited to the in-place applicators
+                            defined in this document.
+                        </t>
+                        <t>
+                            Validation with "unevaluatedProperties" applies only to the child
+                            values of instance names that do not appear in the "properties",
+                            "patternProperties", "additionalProperties", or
+                            "unevaluatedProperties" annotation results that apply to the
+                            instance location being validated.
+                        </t>
+                        <t>
+                            For all such properties, validation succeeds if the child instance
+                            validates against the "unevaluatedProperties" schema.
+                        </t>
+                        <t>
+                            This means that "properties", "patternProperties", "additionalProperties",
+                            and all in-place applicators MUST be evaluated before this keyword can
+                            be evaluated.  Authors of extension keywords MUST NOT define an in-place
+                            applicator that would need to be evaluated before this keyword.
+                        </t>
+                        <t>
+                            The annotation result of this keyword is the set of instance
+                            property names validated by this keyword's subschema.
+                            Annotation results for "unevaluatedProperties" keywords from
+                            multiple schemas applied to the same instance location are combined
+                            by taking the union of the sets.
+                        </t>
+                        <t>
+                            Omitting this keyword has the same assertion behavior as
+                            an empty schema.
+                        </t>
+                        <t>
+                            Implementations that do not collect annotations MUST raise an error
+                            upon encountering this keyword.
+                        </t>
+                    </section>
+
                     <section title="propertyNames">
                         <t>
                             The value of "propertyNames" MUST be a valid JSON Schema.