Move compilation to resources schema

Author: gnidan

schemas/info.schema.yaml

@@ -10,19 +10,17 @@ type: object
 $ref: "schema:ethdebug/format/info/resources"
 
 properties:
-  compilation:
-    title: Compilation
-    description: |
-      A reference to the compilation as an `{ "id": ... }` object.
-    $ref: "schema:ethdebug/format/materials/compilation"
-
   programs:
     type: array
     items:
       $ref: "schema:ethdebug/format/program"
     additionalItems:
       false
 
+  compilation:
+    $ref: "schema:ethdebug/format/materials/compilation"
+
+
 required:
   - compilation
   - programs

schemas/info/resources.schema.yaml

@@ -24,6 +24,10 @@ properties:
     additionalProperties:
       $ref: "schema:ethdebug/format/pointer/template"
 
+  compilation:
+    $ref: "schema:ethdebug/format/materials/compilation"
+
+
 required:
   - types
   - pointers