Merge 3bfbc00bc0 into 6739742fb6

2026-01-20 23:16:47 -05:00 · 2026-01-20 23:16:47 -05:00 · 333d6a9a3c
commit 333d6a9a3c
parent 6739742fb6 3bfbc00bc0
8 changed files with 757 additions and 370 deletions
--- a/docs/src/assets/schemas/node-types.schema.json
+++ b/docs/src/assets/schemas/node-types.schema.json
@ -41,6 +41,12 @@
          "items": {
            "$ref": "#/definitions/NodeType"
          }
+        },
+        "symbol_ids": {
+          "type": "array",
+          "items": {
+            "type": "integer"
+          }
        }
      },
      "oneOf": [
@ -105,4 +111,4 @@
      }
    }
  }
-}
+}