update schema

w3c · Jan 9, 2025 · 021941b · 021941b
1 parent 8c39102
commit 021941b
Showing 1 changed file with 48 additions and 2 deletions.
diff --git a/proposals/initial-connection/tooling/schema-new.schema.json b/proposals/initial-connection/tooling/schema-new.schema.json
@@ -6,7 +6,21 @@
       "type": "object",
       "properties": {
         "scheme": {
-          "type": "string"
+          "type": "string",
+          "pattern": ".+:.*",
+          "$comment": "same as now but will be probably made binding-specific"
+        },
+        "@type": {
+          "$ref": "#/definitions/type_declaration"
+        },
+        "description": {
+          "$ref": "#/definitions/description"
+        },
+        "descriptions": {
+          "$ref": "#/definitions/descriptions"
+        },
+        "proxy": {
+          "$ref": "#/definitions/anyUri"
         }
       }
     },
@@ -30,7 +44,39 @@
       }
     },
     "singleSchemaDefinition": {
-      "type": "object"
+      "type": "object",
+      "$comment": "A JSON Schema definition"
+    },
+    "description": {
+      "type": "string"
+    },
+    "descriptions": {
+      "type": "object",
+      "additionalProperties": {
+        "type": "string"
+      }
+    },
+    "type_declaration": {
+      "oneOf": [
+        {
+          "type": "string",
+          "not": {
+            "const": "tm:ThingModel"
+          }
+        },
+        {
+          "type": "array",
+          "items": {
+            "type": "string",
+            "not": {
+              "const": "tm:ThingModel"
+            }
+          }
+        }
+      ]
+    },
+    "anyUri": {
+      "type": "string"
     }
   },
   "properties": {