format: correct schema examples and drop dead keywords

schemas/info.schema.yaml

@@ -14,7 +14,6 @@ properties:
     type: array
     items:
       $ref: "schema:ethdebug/format/program"
-    additionalItems: false
 
   compilation:
     $ref: "schema:ethdebug/format/materials/compilation"

schemas/info/resources.schema.yaml

@@ -63,12 +63,12 @@ examples:
               location: storage
               slot: contract_variable_slot__struct__Coordinate__storage
               offset: 0
-              length: 128
+              length: 16
             - name: member__y__struct__Coordinate__storage
               location: storage
               slot: contract_variable_slot__struct__Coordinate__storage
               offset:
                 $sum:
                   - .offset: member__x__struct__Coordinate__storage
                   - .length: member__x__struct__Coordinate__storage
-              length: 128
+              length: 16

schemas/pointer/collection/list.schema.yaml

@@ -38,6 +38,5 @@ examples:
       each: "index"
       is:
         location: memory
-        offset:
-          $read: "index"
+        offset: "index"
         length: 1

schemas/pointer/collection/scope.schema.yaml

@@ -16,10 +16,10 @@ properties:
   define:
     title: Mapping of variables to expression value
     type: object
-    patternProperties:
-      "^[a-zA-Z_\\-]+[a-zA-Z0-9$_\\-]*$":
-        $ref: "schema:ethdebug/format/pointer/expression"
-    additionalProperties: false
+    propertyNames:
+      $ref: "schema:ethdebug/format/pointer/identifier"
+    additionalProperties:
+      $ref: "schema:ethdebug/format/pointer/expression"
   in:
     $ref: "schema:ethdebug/format/pointer"
 

schemas/pointer/template.schema.yaml

@@ -16,7 +16,6 @@ properties:
     type: array
     items:
       $ref: "schema:ethdebug/format/pointer/identifier"
-    additionalItems: false
 
   for:
     $ref: "schema:ethdebug/format/pointer"

schemas/program.schema.yaml

@@ -50,7 +50,6 @@ properties:
       The full array of instructions for the bytecode.
     items:
       $ref: "schema:ethdebug/format/program/instruction"
-    additionalItems: false
 
 required:
   - contract

schemas/program/context/function/invoke.schema.yaml

@@ -314,27 +314,9 @@ examples:
   # is no physical call instruction and no code target to
   # point at. The invoke context still records the callee's
   # identity so the debugger can maintain a source-level call
-  # stack.
-  - invoke:
-      identifier: "transfer"
-      declaration:
-        source:
-          id: 0
-        range:
-          offset: 128
-          length: 95
-      jump: true
-
-  # -----------------------------------------------------------
-  # Inlined internal call: no target pointer
-  # -----------------------------------------------------------
-  # When the compiler inlines a function, the JUMP that would
-  # normally carry the invoke context has been elided — there
-  # is no physical call instruction and no code target to
-  # point at. The invoke context still records the callee's
-  # identity so the debugger can maintain a source-level call
-  # stack, and a `transform: ["inline"]` context (typically
-  # via `gather`) annotates the inlining.
+  # stack, and a `transform: ["inline"]` context annotates the
+  # inlining — composed flat alongside the invoke on the same
+  # context object (the two carry disjoint keys).
   - invoke:
       identifier: "transfer"
       declaration:

schemas/program/context/gather.schema.yaml

@@ -14,7 +14,6 @@ properties:
     items:
       $ref: "schema:ethdebug/format/program/context"
     minItems: 2
-    additionalItems: false
 required:
   - gather
 

schemas/program/context/pick.schema.yaml

@@ -15,7 +15,6 @@ properties:
     items:
       $ref: "schema:ethdebug/format/program/context"
     minItems: 2
-    additionalItems: false
 required:
   - pick
 

schemas/program/context/variables.schema.yaml

@@ -19,7 +19,6 @@ properties:
     items:
       $ref: "#/$defs/Variable"
     minItems: 1
-    additionalItems: false
 required:
   - variables
 

schemas/type/base.schema.yaml

@@ -66,11 +66,11 @@ $defs:
             bits: 256
       - kind: struct
         contains:
-          - member: x
+          - name: x
             type:
               kind: uint
               bits: 256
-          - member: y
+          - name: y
             type:
               kind: uint
               bits: 256

schemas/type/definition.schema.yaml

@@ -5,8 +5,7 @@ title: ethdebug/format/type/definition
 description: |
   Object containing name and location information for a type.
 
-  This schema does not require any particular field, but it **must** contain
-  at least one property.
+  This schema **must** specify at least one of `name` or `location`.
 
 type: object
 properties: