format: tighten type and context validation constraints

schemas/pointer/region.schema.yaml

@@ -9,52 +9,67 @@ properties:
   location:
     $ref: "#/$defs/Location"
 
+required:
+  - location
+
 allOf:
   - if:
+      required:
+        - location
       properties:
         location:
           const: stack
-
     then:
       $ref: "schema:ethdebug/format/pointer/region/stack"
 
   - if:
+      required:
+        - location
       properties:
         location:
           const: memory
-
     then:
       $ref: "schema:ethdebug/format/pointer/region/memory"
 
   - if:
+      required:
+        - location
       properties:
         location:
           const: storage
     then:
       $ref: "schema:ethdebug/format/pointer/region/storage"
 
   - if:
+      required:
+        - location
       properties:
         location:
           const: calldata
     then:
       $ref: "schema:ethdebug/format/pointer/region/calldata"
 
   - if:
+      required:
+        - location
       properties:
         location:
           const: returndata
     then:
       $ref: "schema:ethdebug/format/pointer/region/returndata"
 
   - if:
+      required:
+        - location
       properties:
         location:
           const: transient
     then:
       $ref: "schema:ethdebug/format/pointer/region/transient"
 
   - if:
+      required:
+        - location
       properties:
         location:
           const: code

schemas/program/context/name.schema.yaml

@@ -25,6 +25,7 @@ type: object
 properties:
   name:
     type: string
+    minLength: 1
 required:
   - name
 

schemas/type/complex/function.schema.yaml

@@ -62,6 +62,10 @@ properties:
   definition:
     $ref: "schema:ethdebug/format/type/definition"
 
+required:
+  - kind
+  - contains
+
 oneOf:
   - type: object
     title: External function type
@@ -86,7 +90,9 @@ oneOf:
                 title: Contract type wrapper
                 properties:
                   type:
-                    $ref: "schema:ethdebug/format/type/elementary/contract"
+                    oneOf:
+                      - $ref: "schema:ethdebug/format/type/elementary/contract"
+                      - $ref: "schema:ethdebug/format/type/reference"
     required:
       - external
 
@@ -161,4 +167,6 @@ $defs:
         type: object
         properties:
           type:
-            $ref: "schema:ethdebug/format/type/complex/tuple"
+            oneOf:
+              - $ref: "schema:ethdebug/format/type/complex/tuple"
+              - $ref: "schema:ethdebug/format/type/reference"

schemas/type/elementary.schema.yaml

@@ -8,6 +8,10 @@ type: object
 properties:
   kind:
     $ref: "#/$defs/Kind"
+  contains:
+    not:
+      description: "Elementary types **must not** specify a `contains` field
+        (to make it easier to discriminate elementary vs. complex)"
 required:
   - kind
 

schemas/type/elementary/contract.schema.yaml

@@ -14,6 +14,10 @@ properties:
     type: boolean
     description: If this field is omitted, this type represents an address whose
       payability is not known.
+  library:
+    type: boolean
+  interface:
+    type: boolean
   definition:
     $ref: "schema:ethdebug/format/type/definition"