@astrale-os/kernel-dsl 1.0.0-beta.2 → 1.0.0-beta.20

package/dist/v1/schema/.spec/schemas/domain-schema.schema.json

@@ -0,0 +1,2519 @@
+{
+    "$schema": "https://json-schema.org/draft/2020-12/schema",
+    "$id": "https://schemas.astrale.ai/dsl/v1/domain-schema",
+    "title": "V1 DomainSchema",
+    "$comment": "Generated from the structure the Kernel enforces; value schemas are in the dialect https://schemas.astrale.ai/dsl/v1/value-schema. Each check JSON Schema cannot state is named under x-astrale-rules, with its stage and the positions it constrains.",
+    "x-astrale-rules": {
+        "length-in-utf16-code-units": {
+            "code": "STRUCTURE_MAXIMUM",
+            "stage": "structure",
+            "statement": "A maxLength counts UTF-16 code units, where JSON Schema counts code points: a string within the bound in code points and beyond it in code units is refused.",
+            "positions": [
+                "#/$defs/core-slug",
+                "#/$defs/description",
+                "#/$defs/domain-name",
+                "#/$defs/icon",
+                "#/$defs/origin"
+            ]
+        },
+        "portable-json": {
+            "code": "DV_JSON_VALUE",
+            "stage": "structure",
+            "statement": "The document is portable JSON: as text, UTF-8 that parses, within 16,777,216 bytes, with no byte-order mark and no repeated member name; as a value, null, booleans, finite numbers other than negative zero, strings, arrays and plain objects, with no string or member name that holds U+0000 or a lone surrogate or exceeds 1,048,576 bytes of UTF-8, at most 64 nested arrays and objects, and at most 100,000 members and items in all.",
+            "positions": [
+                "#/$defs/portable-json"
+            ]
+        },
+        "unique-tuple-set": {
+            "code": "STRUCTURE_DUPLICATE_ITEM",
+            "stage": "structure",
+            "statement": "A unique tuple is a set of fields: two tuples naming the same fields in another order are one tuple, repeated.",
+            "positions": [
+                "#/$defs/edge-class/properties/unique",
+                "#/$defs/node-class/properties/unique"
+            ]
+        },
+        "value-blob": {
+            "code": "DV_VALUE_SCHEMA",
+            "valueCode": "VS_VALUE_KIND",
+            "stage": "rule",
+            "statement": "A blob is declared only by the whole schema of a Property, exactly as values.blob writes it.",
+            "positions": [
+                "#/$defs/value-schema/allOf/2/anyOf/1/properties/x-astrale-value-kind"
+            ]
+        },
+        "value-path": {
+            "code": "DV_VALUE_SCHEMA",
+            "valueCode": "VS_PATH_EXTENSION",
+            "stage": "rule",
+            "statement": "x-astrale-path annotates only a direct Property of a callable input object, beside exactly the $ref of the graph NodePath schema.",
+            "positions": [
+                "#/$defs/value-location/anyOf/1/properties/x-astrale-path"
+            ]
+        },
+        "value-recursion": {
+            "code": "DV_VALUE_SCHEMA",
+            "valueCode": "VS_RECURSION_PRODUCTIVE",
+            "stage": "rule",
+            "statement": "Every reference cycle of a value schema crosses a keyword that steps into the value: to a member, a member name or an item.",
+            "positions": [
+                "#/$defs/value-location/anyOf/1/properties/$ref"
+            ]
+        },
+        "value-reference-form": {
+            "code": "DV_VALUE_SCHEMA",
+            "valueCode": "VS_REFERENCE_FORM",
+            "stage": "rule",
+            "statement": "A $ref is a JSON Pointer fragment into its own value schema, or the id of the graph NodePath schema beside x-astrale-path.",
+            "positions": [
+                "#/$defs/value-location/anyOf/1/properties/$ref"
+            ]
+        },
+        "value-reference-resolution": {
+            "code": "DV_VALUE_SCHEMA",
+            "valueCode": "VS_REFERENCE_RESOLUTION",
+            "stage": "context",
+            "statement": "A $ref resolves to a location of its own value schema, and x-astrale-path accepts Node Classes of the Domain or of a direct dependency.",
+            "positions": [
+                "#/$defs/path-annotation/properties/accepts/items",
+                "#/$defs/value-location/anyOf/1/properties/$ref"
+            ]
+        },
+        "value-regexp": {
+            "code": "DV_VALUE_SCHEMA",
+            "valueCode": "VS_REGEX_PORTABLE",
+            "stage": "rule",
+            "statement": "Every pattern, fullMatch and patternProperties name is an RFC 9485 I-Regexp within the regular-expression limits.",
+            "positions": [
+                "#/$defs/value-location/anyOf/1/properties/fullMatch",
+                "#/$defs/value-location/anyOf/1/properties/pattern",
+                "#/$defs/value-location/anyOf/1/properties/patternProperties"
+            ]
+        }
+    },
+    "type": "object",
+    "properties": {
+        "format": {
+            "type": "string",
+            "const": "astrale.dsl"
+        },
+        "version": {
+            "type": "string",
+            "const": "v1"
+        },
+        "origin": {
+            "$ref": "#/$defs/origin"
+        },
+        "name": {
+            "$ref": "#/$defs/domain-name"
+        },
+        "entrypoint": {
+            "$ref": "#/$defs/view-ref"
+        },
+        "dependencies": {
+            "type": "object",
+            "propertyNames": {
+                "$ref": "#/$defs/dependency-alias"
+            },
+            "additionalProperties": {
+                "$ref": "#/$defs/dependency"
+            }
+        },
+        "classes": {
+            "type": "object",
+            "propertyNames": {
+                "$ref": "#/$defs/name"
+            },
+            "additionalProperties": {
+                "$ref": "#/$defs/class-definition"
+            }
+        },
+        "functions": {
+            "type": "object",
+            "propertyNames": {
+                "$ref": "#/$defs/name"
+            },
+            "additionalProperties": {
+                "$ref": "#/$defs/function-definition"
+            }
+        },
+        "policies": {
+            "type": "object",
+            "propertyNames": {
+                "$ref": "#/$defs/name"
+            },
+            "additionalProperties": {
+                "$ref": "#/$defs/policy-definition"
+            }
+        },
+        "views": {
+            "type": "object",
+            "propertyNames": {
+                "$ref": "#/$defs/name"
+            },
+            "additionalProperties": {
+                "$ref": "#/$defs/view-definition"
+            }
+        },
+        "core": {
+            "$ref": "#/$defs/core"
+        }
+    },
+    "required": [
+        "format",
+        "version",
+        "origin",
+        "name",
+        "dependencies",
+        "classes",
+        "functions",
+        "policies",
+        "views",
+        "core"
+    ],
+    "additionalProperties": false,
+    "allOf": [
+        {
+            "$ref": "#/$defs/portable-json"
+        }
+    ],
+    "$defs": {
+        "auto": {
+            "type": "object",
+            "properties": {
+                "on": {
+                    "minItems": 1,
+                    "type": "array",
+                    "items": {
+                        "type": "string",
+                        "enum": [
+                            "create",
+                            "update"
+                        ]
+                    },
+                    "uniqueItems": true
+                },
+                "set": {
+                    "type": "string",
+                    "const": "instant"
+                }
+            },
+            "required": [
+                "on",
+                "set"
+            ],
+            "additionalProperties": false
+        },
+        "binary-input": {
+            "type": "object",
+            "properties": {
+                "mode": {
+                    "type": "string",
+                    "const": "binary"
+                },
+                "metadata": {
+                    "$ref": "#/$defs/value-schema"
+                },
+                "maximumBytes": {
+                    "type": "integer",
+                    "minimum": 1,
+                    "maximum": 9007199254740991
+                }
+            },
+            "required": [
+                "mode",
+                "metadata",
+                "maximumBytes"
+            ],
+            "additionalProperties": false
+        },
+        "callable-admission": {
+            "type": "object",
+            "properties": {
+                "maxAge": {
+                    "type": "number"
+                }
+            },
+            "required": [
+                "maxAge"
+            ],
+            "additionalProperties": false
+        },
+        "callable-execution": {
+            "type": "object",
+            "properties": {
+                "durable": {
+                    "type": "boolean"
+                }
+            },
+            "required": [
+                "durable"
+            ],
+            "additionalProperties": false
+        },
+        "callable-output": {
+            "oneOf": [
+                {
+                    "type": "object",
+                    "properties": {
+                        "mode": {
+                            "type": "string",
+                            "const": "value"
+                        },
+                        "schema": {
+                            "$ref": "#/$defs/value-schema"
+                        }
+                    },
+                    "required": [
+                        "mode",
+                        "schema"
+                    ],
+                    "additionalProperties": false
+                },
+                {
+                    "type": "object",
+                    "properties": {
+                        "mode": {
+                            "type": "string",
+                            "const": "stream"
+                        },
+                        "item": {
+                            "$ref": "#/$defs/value-schema"
+                        }
+                    },
+                    "required": [
+                        "mode",
+                        "item"
+                    ],
+                    "additionalProperties": false
+                },
+                {
+                    "type": "object",
+                    "properties": {
+                        "mode": {
+                            "type": "string",
+                            "const": "binary"
+                        }
+                    },
+                    "required": [
+                        "mode"
+                    ],
+                    "additionalProperties": false
+                }
+            ]
+        },
+        "callable-policy": {
+            "anyOf": [
+                {
+                    "type": "boolean",
+                    "const": true
+                },
+                {
+                    "$ref": "#/$defs/policy-check-expr"
+                }
+            ]
+        },
+        "class-definition": {
+            "oneOf": [
+                {
+                    "$ref": "#/$defs/node-class"
+                },
+                {
+                    "$ref": "#/$defs/edge-class"
+                }
+            ]
+        },
+        "class-ref": {
+            "type": "object",
+            "properties": {
+                "origin": {
+                    "$ref": "#/$defs/origin"
+                },
+                "kind": {
+                    "type": "string",
+                    "const": "class"
+                },
+                "name": {
+                    "$ref": "#/$defs/name"
+                }
+            },
+            "required": [
+                "origin",
+                "kind",
+                "name"
+            ],
+            "additionalProperties": false
+        },
+        "class-rule-check-expr": {
+            "anyOf": [
+                {
+                    "type": "object",
+                    "properties": {
+                        "sameNode": {
+                            "type": "object",
+                            "properties": {
+                                "left": {
+                                    "$ref": "#/$defs/class-rule-object"
+                                },
+                                "right": {
+                                    "$ref": "#/$defs/class-rule-object"
+                                }
+                            },
+                            "required": [
+                                "left",
+                                "right"
+                            ],
+                            "additionalProperties": false
+                        }
+                    },
+                    "required": [
+                        "sameNode"
+                    ],
+                    "additionalProperties": false
+                },
+                {
+                    "type": "object",
+                    "properties": {
+                        "check": {
+                            "$ref": "#/$defs/policy-ref"
+                        },
+                        "object": {
+                            "$ref": "#/$defs/class-rule-object"
+                        }
+                    },
+                    "required": [
+                        "check",
+                        "object"
+                    ],
+                    "additionalProperties": false
+                },
+                {
+                    "type": "object",
+                    "properties": {
+                        "allOf": {
+                            "minItems": 1,
+                            "type": "array",
+                            "items": {
+                                "$ref": "#/$defs/class-rule-check-expr"
+                            }
+                        }
+                    },
+                    "required": [
+                        "allOf"
+                    ],
+                    "additionalProperties": false
+                },
+                {
+                    "type": "object",
+                    "properties": {
+                        "anyOf": {
+                            "minItems": 1,
+                            "type": "array",
+                            "items": {
+                                "$ref": "#/$defs/class-rule-check-expr"
+                            }
+                        }
+                    },
+                    "required": [
+                        "anyOf"
+                    ],
+                    "additionalProperties": false
+                }
+            ]
+        },
+        "class-rule-object": {
+            "oneOf": [
+                {
+                    "type": "object",
+                    "properties": {
+                        "kind": {
+                            "type": "string",
+                            "const": "self"
+                        }
+                    },
+                    "required": [
+                        "kind"
+                    ],
+                    "additionalProperties": false
+                },
+                {
+                    "type": "object",
+                    "properties": {
+                        "kind": {
+                            "type": "string",
+                            "const": "ref"
+                        },
+                        "ref": {
+                            "$ref": "#/$defs/projected-member-ref"
+                        }
+                    },
+                    "required": [
+                        "kind",
+                        "ref"
+                    ],
+                    "additionalProperties": false
+                }
+            ]
+        },
+        "core": {
+            "type": "object",
+            "properties": {
+                "nodes": {
+                    "type": "object",
+                    "propertyNames": {
+                        "$ref": "#/$defs/core-slug"
+                    },
+                    "additionalProperties": {
+                        "$ref": "#/$defs/core-definition"
+                    }
+                },
+                "edges": {
+                    "type": "array",
+                    "items": {
+                        "$ref": "#/$defs/core-edge"
+                    }
+                }
+            },
+            "required": [
+                "nodes",
+                "edges"
+            ],
+            "additionalProperties": false
+        },
+        "core-definition": {
+            "type": "object",
+            "properties": {
+                "ref": {
+                    "$ref": "#/$defs/core-ref"
+                },
+                "class": {
+                    "$ref": "#/$defs/class-ref"
+                },
+                "properties": {
+                    "$ref": "#/$defs/property-values"
+                }
+            },
+            "required": [
+                "ref",
+                "class",
+                "properties"
+            ],
+            "additionalProperties": false
+        },
+        "core-edge": {
+            "type": "object",
+            "properties": {
+                "class": {
+                    "$ref": "#/$defs/class-ref"
+                },
+                "source": {
+                    "$ref": "#/$defs/core-endpoint"
+                },
+                "target": {
+                    "$ref": "#/$defs/core-endpoint"
+                },
+                "properties": {
+                    "$ref": "#/$defs/property-values"
+                }
+            },
+            "required": [
+                "class",
+                "source",
+                "target",
+                "properties"
+            ],
+            "additionalProperties": false
+        },
+        "core-endpoint": {
+            "oneOf": [
+                {
+                    "$ref": "#/$defs/method-address"
+                },
+                {
+                    "$ref": "#/$defs/class-ref"
+                },
+                {
+                    "$ref": "#/$defs/function-ref"
+                },
+                {
+                    "$ref": "#/$defs/policy-ref"
+                },
+                {
+                    "$ref": "#/$defs/view-ref"
+                },
+                {
+                    "$ref": "#/$defs/core-ref"
+                },
+                {
+                    "$ref": "#/$defs/domain-endpoint"
+                }
+            ]
+        },
+        "core-ref": {
+            "type": "object",
+            "properties": {
+                "origin": {
+                    "$ref": "#/$defs/origin"
+                },
+                "kind": {
+                    "type": "string",
+                    "const": "core"
+                },
+                "name": {
+                    "$ref": "#/$defs/core-slug"
+                }
+            },
+            "required": [
+                "origin",
+                "kind",
+                "name"
+            ],
+            "additionalProperties": false
+        },
+        "core-slug": {
+            "type": "string",
+            "minLength": 1,
+            "maxLength": 100,
+            "pattern": "^(?=.{1,100}$)[a-z][a-z0-9-]*(?:\\.[a-z][a-z0-9-]*)*$"
+        },
+        "create-policy": {
+            "anyOf": [
+                {
+                    "type": "boolean",
+                    "const": true
+                },
+                {
+                    "$ref": "#/$defs/create-rule-check-expr"
+                }
+            ]
+        },
+        "create-rule-check-expr": {
+            "anyOf": [
+                {
+                    "type": "object",
+                    "properties": {
+                        "sameNode": {
+                            "type": "object",
+                            "properties": {
+                                "left": {
+                                    "type": "object",
+                                    "properties": {
+                                        "kind": {
+                                            "type": "string",
+                                            "const": "ref"
+                                        },
+                                        "ref": {
+                                            "$ref": "#/$defs/projected-member-ref"
+                                        }
+                                    },
+                                    "required": [
+                                        "kind",
+                                        "ref"
+                                    ],
+                                    "additionalProperties": false
+                                },
+                                "right": {
+                                    "type": "object",
+                                    "properties": {
+                                        "kind": {
+                                            "type": "string",
+                                            "const": "ref"
+                                        },
+                                        "ref": {
+                                            "$ref": "#/$defs/projected-member-ref"
+                                        }
+                                    },
+                                    "required": [
+                                        "kind",
+                                        "ref"
+                                    ],
+                                    "additionalProperties": false
+                                }
+                            },
+                            "required": [
+                                "left",
+                                "right"
+                            ],
+                            "additionalProperties": false
+                        }
+                    },
+                    "required": [
+                        "sameNode"
+                    ],
+                    "additionalProperties": false
+                },
+                {
+                    "type": "object",
+                    "properties": {
+                        "check": {
+                            "$ref": "#/$defs/policy-ref"
+                        },
+                        "object": {
+                            "type": "object",
+                            "properties": {
+                                "kind": {
+                                    "type": "string",
+                                    "const": "ref"
+                                },
+                                "ref": {
+                                    "$ref": "#/$defs/projected-member-ref"
+                                }
+                            },
+                            "required": [
+                                "kind",
+                                "ref"
+                            ],
+                            "additionalProperties": false
+                        }
+                    },
+                    "required": [
+                        "check",
+                        "object"
+                    ],
+                    "additionalProperties": false
+                },
+                {
+                    "type": "object",
+                    "properties": {
+                        "allOf": {
+                            "minItems": 1,
+                            "type": "array",
+                            "items": {
+                                "$ref": "#/$defs/create-rule-check-expr"
+                            }
+                        }
+                    },
+                    "required": [
+                        "allOf"
+                    ],
+                    "additionalProperties": false
+                },
+                {
+                    "type": "object",
+                    "properties": {
+                        "anyOf": {
+                            "minItems": 1,
+                            "type": "array",
+                            "items": {
+                                "$ref": "#/$defs/create-rule-check-expr"
+                            }
+                        }
+                    },
+                    "required": [
+                        "anyOf"
+                    ],
+                    "additionalProperties": false
+                }
+            ]
+        },
+        "dependency": {
+            "type": "object",
+            "properties": {
+                "origin": {
+                    "$ref": "#/$defs/origin"
+                },
+                "revision": {
+                    "$ref": "#/$defs/revision"
+                }
+            },
+            "required": [
+                "origin",
+                "revision"
+            ],
+            "additionalProperties": false
+        },
+        "dependency-alias": {
+            "type": "string",
+            "pattern": "^[a-z][A-Za-z0-9]*$",
+            "not": {
+                "enum": [
+                    "prototype",
+                    "constructor"
+                ]
+            }
+        },
+        "description": {
+            "type": "string",
+            "minLength": 1,
+            "maxLength": 1000
+        },
+        "directed-endpoints": {
+            "type": "object",
+            "properties": {
+                "source": {
+                    "$ref": "#/$defs/directed-source-endpoint"
+                },
+                "target": {
+                    "$ref": "#/$defs/directed-target-endpoint"
+                }
+            },
+            "required": [
+                "source",
+                "target"
+            ],
+            "additionalProperties": false
+        },
+        "directed-source-endpoint": {
+            "type": "object",
+            "properties": {
+                "role": {
+                    "$ref": "#/$defs/name"
+                },
+                "accepts": {
+                    "minItems": 1,
+                    "type": "array",
+                    "items": {
+                        "$ref": "#/$defs/class-ref"
+                    },
+                    "uniqueItems": true
+                },
+                "onDelete": {
+                    "$ref": "#/$defs/edge-lifetime"
+                },
+                "outgoing": {
+                    "$ref": "#/$defs/edge-count"
+                }
+            },
+            "required": [
+                "role",
+                "accepts",
+                "outgoing"
+            ],
+            "additionalProperties": false
+        },
+        "directed-target-endpoint": {
+            "type": "object",
+            "properties": {
+                "role": {
+                    "$ref": "#/$defs/name"
+                },
+                "accepts": {
+                    "minItems": 1,
+                    "type": "array",
+                    "items": {
+                        "$ref": "#/$defs/class-ref"
+                    },
+                    "uniqueItems": true
+                },
+                "onDelete": {
+                    "$ref": "#/$defs/edge-lifetime"
+                },
+                "incoming": {
+                    "$ref": "#/$defs/edge-count"
+                }
+            },
+            "required": [
+                "role",
+                "accepts",
+                "incoming"
+            ],
+            "additionalProperties": false
+        },
+        "domain-endpoint": {
+            "type": "object",
+            "properties": {
+                "kind": {
+                    "type": "string",
+                    "const": "domain"
+                }
+            },
+            "required": [
+                "kind"
+            ],
+            "additionalProperties": false
+        },
+        "domain-name": {
+            "type": "string",
+            "minLength": 1,
+            "maxLength": 100,
+            "description": "The display name of the Domain: one trimmed line of text.",
+            "pattern": "^(?:[^\\u0000-\\u001f\\u007f-\\u009f\\u0020\\u00a0\\u1680\\u2000-\\u200a\\u2028\\u2029\\u202f\\u205f\\u3000\\ufeff](?:[^\\u0000-\\u001f\\u007f-\\u009f\\u2028\\u2029]*[^\\u0000-\\u001f\\u007f-\\u009f\\u0020\\u00a0\\u1680\\u2000-\\u200a\\u2028\\u2029\\u202f\\u205f\\u3000\\ufeff])?)?$"
+        },
+        "edge-class": {
+            "type": "object",
+            "properties": {
+                "ref": {
+                    "$ref": "#/$defs/class-ref"
+                },
+                "kind": {
+                    "type": "string",
+                    "const": "edge"
+                },
+                "abstract": {
+                    "type": "boolean"
+                },
+                "inheritance": {
+                    "type": "string",
+                    "enum": [
+                        "open",
+                        "final"
+                    ]
+                },
+                "description": {
+                    "$ref": "#/$defs/description"
+                },
+                "extends": {
+                    "type": "array",
+                    "items": {
+                        "$ref": "#/$defs/class-ref"
+                    },
+                    "uniqueItems": true
+                },
+                "properties": {
+                    "$ref": "#/$defs/edge-property-record"
+                },
+                "constraints": {
+                    "$ref": "#/$defs/edge-constraints"
+                },
+                "unique": {
+                    "minItems": 1,
+                    "type": "array",
+                    "items": {
+                        "minItems": 1,
+                        "type": "array",
+                        "items": {
+                            "$ref": "#/$defs/edge-unique-field"
+                        },
+                        "uniqueItems": true
+                    },
+                    "uniqueItems": true
+                },
+                "orientation": {
+                    "type": "string",
+                    "enum": [
+                        "directed",
+                        "undirected"
+                    ]
+                },
+                "endpoints": {
+                    "anyOf": [
+                        {
+                            "$ref": "#/$defs/directed-endpoints"
+                        },
+                        {
+                            "$ref": "#/$defs/undirected-endpoints"
+                        }
+                    ]
+                },
+                "policies": {
+                    "type": "object",
+                    "properties": {
+                        "read": {
+                            "$ref": "#/$defs/observation-policy"
+                        },
+                        "traverse": {
+                            "$ref": "#/$defs/observation-policy"
+                        },
+                        "create": {
+                            "$ref": "#/$defs/write-policy"
+                        },
+                        "update": {
+                            "$ref": "#/$defs/write-policy"
+                        },
+                        "delete": {
+                            "$ref": "#/$defs/write-policy"
+                        }
+                    },
+                    "additionalProperties": false
+                }
+            },
+            "required": [
+                "ref",
+                "kind",
+                "abstract",
+                "extends",
+                "properties",
+                "constraints",
+                "orientation",
+                "endpoints",
+                "policies"
+            ],
+            "additionalProperties": false,
+            "if": {
+                "properties": {
+                    "orientation": {
+                        "const": "undirected"
+                    }
+                },
+                "required": [
+                    "orientation"
+                ]
+            },
+            "then": {
+                "properties": {
+                    "endpoints": {
+                        "type": "array"
+                    },
+                    "unique": false,
+                    "constraints": {
+                        "type": "object",
+                        "properties": {
+                            "acyclic": false
+                        }
+                    }
+                }
+            },
+            "else": {
+                "properties": {
+                    "endpoints": {
+                        "type": "object"
+                    }
+                }
+            }
+        },
+        "edge-constraints": {
+            "type": "object",
+            "properties": {
+                "noSelf": {
+                    "type": "boolean",
+                    "const": true
+                },
+                "acyclic": {
+                    "type": "boolean",
+                    "const": true
+                }
+            },
+            "additionalProperties": false
+        },
+        "edge-count": {
+            "type": "string",
+            "enum": [
+                "1",
+                "0..*",
+                "1..*",
+                "0..1"
+            ]
+        },
+        "edge-lifetime": {
+            "type": "string",
+            "enum": [
+                "restrict",
+                "detach"
+            ]
+        },
+        "edge-property-definition": {
+            "type": "object",
+            "properties": {
+                "schema": {
+                    "not": {
+                        "type": "object",
+                        "required": [
+                            "x-astrale-value-kind"
+                        ],
+                        "properties": {
+                            "x-astrale-value-kind": {
+                                "const": "blob"
+                            }
+                        }
+                    },
+                    "$ref": "#/$defs/value-schema"
+                },
+                "required": {
+                    "type": "boolean"
+                },
+                "auto": {
+                    "$ref": "#/$defs/auto"
+                },
+                "immutable": {
+                    "type": "string",
+                    "enum": [
+                        "create",
+                        "once"
+                    ]
+                },
+                "description": {
+                    "$ref": "#/$defs/description"
+                }
+            },
+            "required": [
+                "schema",
+                "required"
+            ],
+            "additionalProperties": false
+        },
+        "edge-property-record": {
+            "type": "object",
+            "propertyNames": {
+                "$ref": "#/$defs/name"
+            },
+            "additionalProperties": {
+                "$ref": "#/$defs/edge-property-definition"
+            }
+        },
+        "edge-unique-field": {
+            "anyOf": [
+                {
+                    "type": "string",
+                    "const": "source"
+                },
+                {
+                    "type": "string",
+                    "const": "target"
+                },
+                {
+                    "type": "string",
+                    "const": "slug"
+                },
+                {
+                    "type": "object",
+                    "properties": {
+                        "property": {
+                            "$ref": "#/$defs/property-key"
+                        }
+                    },
+                    "required": [
+                        "property"
+                    ],
+                    "additionalProperties": false
+                }
+            ]
+        },
+        "function-definition": {
+            "type": "object",
+            "properties": {
+                "ref": {
+                    "$ref": "#/$defs/function-ref"
+                },
+                "description": {
+                    "$ref": "#/$defs/description"
+                },
+                "input": {
+                    "anyOf": [
+                        {
+                            "$ref": "#/$defs/binary-input"
+                        },
+                        {
+                            "not": {
+                                "type": "object",
+                                "required": [
+                                    "mode"
+                                ],
+                                "properties": {
+                                    "mode": {
+                                        "const": "binary"
+                                    }
+                                }
+                            },
+                            "$ref": "#/$defs/value-schema"
+                        }
+                    ]
+                },
+                "output": {
+                    "$ref": "#/$defs/callable-output"
+                },
+                "execution": {
+                    "$ref": "#/$defs/callable-execution"
+                },
+                "admission": {
+                    "$ref": "#/$defs/callable-admission"
+                },
+                "auth": {
+                    "type": "string",
+                    "enum": [
+                        "anonymous",
+                        "authenticated",
+                        "authorized"
+                    ]
+                },
+                "policy": {
+                    "$ref": "#/$defs/callable-policy"
+                }
+            },
+            "required": [
+                "ref",
+                "input",
+                "output",
+                "auth"
+            ],
+            "additionalProperties": false,
+            "if": {
+                "properties": {
+                    "auth": {
+                        "enum": [
+                            "anonymous",
+                            "authenticated"
+                        ]
+                    }
+                },
+                "required": [
+                    "auth"
+                ]
+            },
+            "then": {
+                "properties": {
+                    "policy": false
+                }
+            }
+        },
+        "function-ref": {
+            "type": "object",
+            "properties": {
+                "origin": {
+                    "$ref": "#/$defs/origin"
+                },
+                "kind": {
+                    "type": "string",
+                    "const": "function"
+                },
+                "name": {
+                    "$ref": "#/$defs/name"
+                }
+            },
+            "required": [
+                "origin",
+                "kind",
+                "name"
+            ],
+            "additionalProperties": false
+        },
+        "icon": {
+            "type": "string",
+            "minLength": 1,
+            "maxLength": 8000
+        },
+        "incident-endpoint": {
+            "type": "object",
+            "properties": {
+                "role": {
+                    "$ref": "#/$defs/name"
+                },
+                "accepts": {
+                    "minItems": 1,
+                    "type": "array",
+                    "items": {
+                        "$ref": "#/$defs/class-ref"
+                    },
+                    "uniqueItems": true
+                },
+                "onDelete": {
+                    "$ref": "#/$defs/edge-lifetime"
+                },
+                "incident": {
+                    "$ref": "#/$defs/edge-count"
+                }
+            },
+            "required": [
+                "role",
+                "accepts",
+                "incident"
+            ],
+            "additionalProperties": false
+        },
+        "json-value": {
+            "anyOf": [
+                {
+                    "type": "null"
+                },
+                {
+                    "type": "boolean"
+                },
+                {
+                    "type": "number"
+                },
+                {
+                    "type": "string"
+                },
+                {
+                    "type": "array",
+                    "items": {
+                        "$ref": "#/$defs/json-value"
+                    }
+                },
+                {
+                    "type": "object",
+                    "propertyNames": {
+                        "not": {
+                            "const": "__proto__"
+                        }
+                    },
+                    "additionalProperties": {
+                        "$ref": "#/$defs/json-value"
+                    }
+                }
+            ]
+        },
+        "media-type": {
+            "type": "string",
+            "pattern": "^[a-z0-9][a-z0-9!#$&^_.+-]{0,126}\\/[a-z0-9][a-z0-9!#$&^_.+-]{0,126}$"
+        },
+        "method-address": {
+            "type": "object",
+            "properties": {
+                "kind": {
+                    "type": "string",
+                    "const": "method"
+                },
+                "owner": {
+                    "$ref": "#/$defs/class-ref"
+                },
+                "name": {
+                    "$ref": "#/$defs/name"
+                }
+            },
+            "required": [
+                "kind",
+                "owner",
+                "name"
+            ],
+            "additionalProperties": false
+        },
+        "method-definition": {
+            "type": "object",
+            "properties": {
+                "description": {
+                    "$ref": "#/$defs/description"
+                },
+                "input": {
+                    "$ref": "#/$defs/value-schema"
+                },
+                "output": {
+                    "$ref": "#/$defs/callable-output"
+                },
+                "execution": {
+                    "$ref": "#/$defs/callable-execution"
+                },
+                "admission": {
+                    "$ref": "#/$defs/callable-admission"
+                },
+                "auth": {
+                    "type": "string",
+                    "enum": [
+                        "anonymous",
+                        "authenticated",
+                        "authorized"
+                    ]
+                },
+                "policy": {
+                    "$ref": "#/$defs/callable-policy"
+                },
+                "static": {
+                    "type": "boolean"
+                },
+                "abstract": {
+                    "type": "boolean"
+                }
+            },
+            "required": [
+                "input",
+                "output",
+                "auth",
+                "static",
+                "abstract"
+            ],
+            "additionalProperties": false,
+            "if": {
+                "properties": {
+                    "auth": {
+                        "enum": [
+                            "anonymous",
+                            "authenticated"
+                        ]
+                    }
+                },
+                "required": [
+                    "auth"
+                ]
+            },
+            "then": {
+                "properties": {
+                    "policy": false
+                }
+            }
+        },
+        "method-record": {
+            "type": "object",
+            "propertyNames": {
+                "$ref": "#/$defs/name"
+            },
+            "additionalProperties": {
+                "$ref": "#/$defs/method-definition"
+            }
+        },
+        "name": {
+            "type": "string",
+            "pattern": "^[A-Za-z][A-Za-z0-9_]*$"
+        },
+        "node-class": {
+            "type": "object",
+            "properties": {
+                "ref": {
+                    "$ref": "#/$defs/class-ref"
+                },
+                "kind": {
+                    "type": "string",
+                    "const": "node"
+                },
+                "abstract": {
+                    "type": "boolean"
+                },
+                "inheritance": {
+                    "type": "string",
+                    "enum": [
+                        "open",
+                        "final"
+                    ]
+                },
+                "description": {
+                    "$ref": "#/$defs/description"
+                },
+                "extends": {
+                    "type": "array",
+                    "items": {
+                        "$ref": "#/$defs/class-ref"
+                    },
+                    "uniqueItems": true
+                },
+                "properties": {
+                    "$ref": "#/$defs/node-property-record"
+                },
+                "methods": {
+                    "$ref": "#/$defs/method-record"
+                },
+                "data": {
+                    "type": "object",
+                    "properties": {
+                        "mediaType": {
+                            "$ref": "#/$defs/media-type"
+                        }
+                    },
+                    "required": [
+                        "mediaType"
+                    ],
+                    "additionalProperties": false
+                },
+                "icon": {
+                    "$ref": "#/$defs/icon"
+                },
+                "policies": {
+                    "type": "object",
+                    "properties": {
+                        "read": {
+                            "$ref": "#/$defs/observation-policy"
+                        },
+                        "traverse": {
+                            "$ref": "#/$defs/observation-policy"
+                        },
+                        "create": {
+                            "$ref": "#/$defs/create-policy"
+                        },
+                        "update": {
+                            "$ref": "#/$defs/write-policy"
+                        },
+                        "delete": {
+                            "$ref": "#/$defs/write-policy"
+                        }
+                    },
+                    "additionalProperties": false
+                },
+                "unique": {
+                    "minItems": 1,
+                    "type": "array",
+                    "items": {
+                        "minItems": 1,
+                        "type": "array",
+                        "items": {
+                            "$ref": "#/$defs/property-key"
+                        },
+                        "uniqueItems": true
+                    },
+                    "uniqueItems": true
+                }
+            },
+            "required": [
+                "ref",
+                "kind",
+                "abstract",
+                "extends",
+                "properties",
+                "methods",
+                "policies"
+            ],
+            "additionalProperties": false
+        },
+        "node-property-definition": {
+            "type": "object",
+            "properties": {
+                "schema": {
+                    "$ref": "#/$defs/value-schema"
+                },
+                "required": {
+                    "type": "boolean"
+                },
+                "auto": {
+                    "$ref": "#/$defs/auto"
+                },
+                "immutable": {
+                    "type": "string",
+                    "enum": [
+                        "create",
+                        "once"
+                    ]
+                },
+                "description": {
+                    "$ref": "#/$defs/description"
+                },
+                "state": {
+                    "$ref": "#/$defs/state-topology"
+                }
+            },
+            "required": [
+                "schema",
+                "required"
+            ],
+            "additionalProperties": false,
+            "allOf": [
+                {
+                    "if": {
+                        "anyOf": [
+                            {
+                                "required": [
+                                    "auto"
+                                ]
+                            },
+                            {
+                                "required": [
+                                    "state"
+                                ]
+                            }
+                        ]
+                    },
+                    "then": {
+                        "properties": {
+                            "schema": {
+                                "not": {
+                                    "type": "object",
+                                    "required": [
+                                        "x-astrale-value-kind"
+                                    ],
+                                    "properties": {
+                                        "x-astrale-value-kind": {
+                                            "const": "blob"
+                                        }
+                                    }
+                                }
+                            }
+                        }
+                    }
+                }
+            ]
+        },
+        "node-property-record": {
+            "type": "object",
+            "propertyNames": {
+                "$ref": "#/$defs/name"
+            },
+            "additionalProperties": {
+                "$ref": "#/$defs/node-property-definition"
+            }
+        },
+        "observation-policy": {
+            "anyOf": [
+                {
+                    "type": "boolean",
+                    "const": false
+                },
+                {
+                    "$ref": "#/$defs/policy-ref"
+                },
+                {
+                    "$ref": "#/$defs/class-rule-check-expr"
+                }
+            ]
+        },
+        "origin": {
+            "type": "string",
+            "minLength": 3,
+            "maxLength": 253,
+            "pattern": "^(?:[a-z0-9](?:[a-z0-9-]{0,61}[a-z0-9])?\\.)+[a-z0-9](?:[a-z0-9-]{0,61}[a-z0-9])?$"
+        },
+        "path-annotation": {
+            "type": "object",
+            "properties": {
+                "target": {
+                    "type": "string",
+                    "const": "node"
+                },
+                "cardinality": {
+                    "type": "string",
+                    "const": "one"
+                },
+                "accepts": {
+                    "type": "array",
+                    "minItems": 1,
+                    "uniqueItems": true,
+                    "items": {
+                        "$ref": "#/$defs/class-ref"
+                    }
+                }
+            },
+            "required": [
+                "target",
+                "cardinality",
+                "accepts"
+            ],
+            "additionalProperties": false
+        },
+        "policy-check-expr": {
+            "anyOf": [
+                {
+                    "type": "object",
+                    "properties": {
+                        "sameNode": {
+                            "type": "object",
+                            "properties": {
+                                "left": {
+                                    "$ref": "#/$defs/policy-check-object"
+                                },
+                                "right": {
+                                    "$ref": "#/$defs/policy-check-object"
+                                }
+                            },
+                            "required": [
+                                "left",
+                                "right"
+                            ],
+                            "additionalProperties": false
+                        }
+                    },
+                    "required": [
+                        "sameNode"
+                    ],
+                    "additionalProperties": false
+                },
+                {
+                    "type": "object",
+                    "properties": {
+                        "check": {
+                            "$ref": "#/$defs/policy-ref"
+                        },
+                        "object": {
+                            "$ref": "#/$defs/policy-check-object"
+                        }
+                    },
+                    "required": [
+                        "check",
+                        "object"
+                    ],
+                    "additionalProperties": false
+                },
+                {
+                    "type": "object",
+                    "properties": {
+                        "allOf": {
+                            "minItems": 1,
+                            "type": "array",
+                            "items": {
+                                "$ref": "#/$defs/policy-check-expr"
+                            }
+                        }
+                    },
+                    "required": [
+                        "allOf"
+                    ],
+                    "additionalProperties": false
+                },
+                {
+                    "type": "object",
+                    "properties": {
+                        "anyOf": {
+                            "minItems": 1,
+                            "type": "array",
+                            "items": {
+                                "$ref": "#/$defs/policy-check-expr"
+                            }
+                        }
+                    },
+                    "required": [
+                        "anyOf"
+                    ],
+                    "additionalProperties": false
+                }
+            ]
+        },
+        "policy-check-object": {
+            "oneOf": [
+                {
+                    "type": "object",
+                    "properties": {
+                        "kind": {
+                            "type": "string",
+                            "const": "self"
+                        }
+                    },
+                    "required": [
+                        "kind"
+                    ],
+                    "additionalProperties": false
+                },
+                {
+                    "type": "object",
+                    "properties": {
+                        "kind": {
+                            "type": "string",
+                            "const": "input"
+                        },
+                        "field": {
+                            "$ref": "#/$defs/name"
+                        }
+                    },
+                    "required": [
+                        "kind",
+                        "field"
+                    ],
+                    "additionalProperties": false
+                },
+                {
+                    "type": "object",
+                    "properties": {
+                        "kind": {
+                            "type": "string",
+                            "const": "ref"
+                        },
+                        "ref": {
+                            "$ref": "#/$defs/projected-member-ref"
+                        }
+                    },
+                    "required": [
+                        "kind",
+                        "ref"
+                    ],
+                    "additionalProperties": false
+                }
+            ]
+        },
+        "policy-definition": {
+            "type": "object",
+            "properties": {
+                "ref": {
+                    "$ref": "#/$defs/policy-ref"
+                },
+                "expression": {
+                    "anyOf": [
+                        {
+                            "type": "object",
+                            "properties": {
+                                "match": {
+                                    "$ref": "#/$defs/policy-pattern-expr"
+                                }
+                            },
+                            "required": [
+                                "match"
+                            ],
+                            "additionalProperties": false
+                        },
+                        {
+                            "type": "object",
+                            "properties": {
+                                "allOf": {
+                                    "minItems": 1,
+                                    "type": "array",
+                                    "items": {
+                                        "$ref": "#/$defs/policy-ref"
+                                    }
+                                }
+                            },
+                            "required": [
+                                "allOf"
+                            ],
+                            "additionalProperties": false
+                        },
+                        {
+                            "type": "object",
+                            "properties": {
+                                "anyOf": {
+                                    "minItems": 1,
+                                    "type": "array",
+                                    "items": {
+                                        "$ref": "#/$defs/policy-ref"
+                                    }
+                                }
+                            },
+                            "required": [
+                                "anyOf"
+                            ],
+                            "additionalProperties": false
+                        }
+                    ]
+                },
+                "description": {
+                    "$ref": "#/$defs/description"
+                }
+            },
+            "required": [
+                "ref",
+                "expression"
+            ],
+            "additionalProperties": false
+        },
+        "policy-pattern-expr": {
+            "anyOf": [
+                {
+                    "type": "object",
+                    "properties": {
+                        "sameNode": {
+                            "type": "object",
+                            "properties": {
+                                "left": {
+                                    "$ref": "#/$defs/policy-pattern-node"
+                                },
+                                "right": {
+                                    "$ref": "#/$defs/policy-pattern-node"
+                                }
+                            },
+                            "required": [
+                                "left",
+                                "right"
+                            ],
+                            "additionalProperties": false
+                        }
+                    },
+                    "required": [
+                        "sameNode"
+                    ],
+                    "additionalProperties": false
+                },
+                {
+                    "type": "object",
+                    "properties": {
+                        "source": {
+                            "$ref": "#/$defs/policy-pattern-node"
+                        },
+                        "class": {
+                            "$ref": "#/$defs/class-ref"
+                        },
+                        "target": {
+                            "$ref": "#/$defs/policy-pattern-node"
+                        },
+                        "repeat": {
+                            "$ref": "#/$defs/policy-repeat"
+                        }
+                    },
+                    "required": [
+                        "source",
+                        "class",
+                        "target"
+                    ],
+                    "additionalProperties": false
+                },
+                {
+                    "type": "object",
+                    "properties": {
+                        "exists": {
+                            "type": "object",
+                            "properties": {
+                                "nodes": {
+                                    "minItems": 1,
+                                    "maxItems": 4,
+                                    "type": "array",
+                                    "items": {
+                                        "$ref": "#/$defs/policy-variable"
+                                    }
+                                },
+                                "where": {
+                                    "$ref": "#/$defs/policy-pattern-expr"
+                                }
+                            },
+                            "required": [
+                                "nodes",
+                                "where"
+                            ],
+                            "additionalProperties": false
+                        }
+                    },
+                    "required": [
+                        "exists"
+                    ],
+                    "additionalProperties": false
+                },
+                {
+                    "type": "object",
+                    "properties": {
+                        "allOf": {
+                            "minItems": 1,
+                            "type": "array",
+                            "items": {
+                                "$ref": "#/$defs/policy-pattern-expr"
+                            }
+                        }
+                    },
+                    "required": [
+                        "allOf"
+                    ],
+                    "additionalProperties": false
+                },
+                {
+                    "type": "object",
+                    "properties": {
+                        "anyOf": {
+                            "minItems": 1,
+                            "type": "array",
+                            "items": {
+                                "$ref": "#/$defs/policy-pattern-expr"
+                            }
+                        }
+                    },
+                    "required": [
+                        "anyOf"
+                    ],
+                    "additionalProperties": false
+                }
+            ]
+        },
+        "policy-pattern-node": {
+            "oneOf": [
+                {
+                    "type": "object",
+                    "properties": {
+                        "kind": {
+                            "type": "string",
+                            "const": "subject"
+                        }
+                    },
+                    "required": [
+                        "kind"
+                    ],
+                    "additionalProperties": false
+                },
+                {
+                    "type": "object",
+                    "properties": {
+                        "kind": {
+                            "type": "string",
+                            "const": "object"
+                        }
+                    },
+                    "required": [
+                        "kind"
+                    ],
+                    "additionalProperties": false
+                },
+                {
+                    "type": "object",
+                    "properties": {
+                        "kind": {
+                            "type": "string",
+                            "const": "source"
+                        }
+                    },
+                    "required": [
+                        "kind"
+                    ],
+                    "additionalProperties": false
+                },
+                {
+                    "type": "object",
+                    "properties": {
+                        "kind": {
+                            "type": "string",
+                            "const": "target"
+                        }
+                    },
+                    "required": [
+                        "kind"
+                    ],
+                    "additionalProperties": false
+                },
+                {
+                    "$ref": "#/$defs/policy-pattern-variable"
+                },
+                {
+                    "type": "object",
+                    "properties": {
+                        "kind": {
+                            "type": "string",
+                            "const": "ref"
+                        },
+                        "ref": {
+                            "$ref": "#/$defs/projected-member-ref"
+                        }
+                    },
+                    "required": [
+                        "kind",
+                        "ref"
+                    ],
+                    "additionalProperties": false
+                }
+            ]
+        },
+        "policy-pattern-variable": {
+            "type": "object",
+            "properties": {
+                "kind": {
+                    "type": "string",
+                    "const": "variable"
+                },
+                "id": {
+                    "type": "integer",
+                    "minimum": 0,
+                    "maximum": 9007199254740991
+                }
+            },
+            "required": [
+                "kind",
+                "id"
+            ],
+            "additionalProperties": false
+        },
+        "policy-ref": {
+            "type": "object",
+            "properties": {
+                "origin": {
+                    "$ref": "#/$defs/origin"
+                },
+                "kind": {
+                    "type": "string",
+                    "const": "policy"
+                },
+                "name": {
+                    "$ref": "#/$defs/name"
+                }
+            },
+            "required": [
+                "origin",
+                "kind",
+                "name"
+            ],
+            "additionalProperties": false
+        },
+        "policy-repeat": {
+            "type": "object",
+            "properties": {
+                "min": {
+                    "type": "integer",
+                    "minimum": 0,
+                    "maximum": 3
+                },
+                "max": {
+                    "type": "integer",
+                    "minimum": 0,
+                    "maximum": 3
+                }
+            },
+            "required": [
+                "min",
+                "max"
+            ],
+            "additionalProperties": false
+        },
+        "policy-variable": {
+            "anyOf": [
+                {
+                    "type": "object",
+                    "properties": {
+                        "variable": {
+                            "$ref": "#/$defs/policy-pattern-variable"
+                        },
+                        "class": {
+                            "$ref": "#/$defs/class-ref"
+                        }
+                    },
+                    "required": [
+                        "variable",
+                        "class"
+                    ],
+                    "additionalProperties": false
+                },
+                {
+                    "type": "object",
+                    "properties": {
+                        "variable": {
+                            "$ref": "#/$defs/policy-pattern-variable"
+                        },
+                        "selector": {
+                            "$ref": "#/$defs/policy-variable-selector"
+                        }
+                    },
+                    "required": [
+                        "variable",
+                        "selector"
+                    ],
+                    "additionalProperties": false
+                }
+            ]
+        },
+        "policy-variable-selector": {
+            "oneOf": [
+                {
+                    "type": "object",
+                    "properties": {
+                        "kind": {
+                            "type": "string",
+                            "const": "any"
+                        }
+                    },
+                    "required": [
+                        "kind"
+                    ],
+                    "additionalProperties": false
+                },
+                {
+                    "type": "object",
+                    "properties": {
+                        "kind": {
+                            "type": "string",
+                            "const": "satisfies"
+                        },
+                        "class": {
+                            "$ref": "#/$defs/class-ref"
+                        }
+                    },
+                    "required": [
+                        "kind",
+                        "class"
+                    ],
+                    "additionalProperties": false
+                }
+            ]
+        },
+        "portable-json": {
+            "anyOf": [
+                {
+                    "type": "null"
+                },
+                {
+                    "type": "boolean"
+                },
+                {
+                    "type": "number"
+                },
+                {
+                    "$ref": "#/$defs/portable-string"
+                },
+                {
+                    "type": "array",
+                    "items": {
+                        "$ref": "#/$defs/portable-json"
+                    }
+                },
+                {
+                    "type": "object",
+                    "propertyNames": {
+                        "$ref": "#/$defs/portable-string"
+                    },
+                    "additionalProperties": {
+                        "$ref": "#/$defs/portable-json"
+                    }
+                }
+            ]
+        },
+        "portable-string": {
+            "type": "string",
+            "not": {
+                "pattern": "\u0000"
+            }
+        },
+        "projected-member-ref": {
+            "oneOf": [
+                {
+                    "$ref": "#/$defs/method-address"
+                },
+                {
+                    "$ref": "#/$defs/class-ref"
+                },
+                {
+                    "$ref": "#/$defs/function-ref"
+                },
+                {
+                    "$ref": "#/$defs/policy-ref"
+                },
+                {
+                    "$ref": "#/$defs/view-ref"
+                },
+                {
+                    "$ref": "#/$defs/core-ref"
+                }
+            ]
+        },
+        "property-key": {
+            "type": "string",
+            "pattern": "^(?:([a-z0-9]([a-z0-9-]{0,61}[a-z0-9])?\\.)+[a-z0-9]([a-z0-9-]{0,61}[a-z0-9])?:class\\.[A-Za-z][A-Za-z0-9_]*\\.property\\.[A-Za-z][A-Za-z0-9_]*)$"
+        },
+        "property-values": {
+            "type": "object",
+            "propertyNames": {
+                "$ref": "#/$defs/property-key"
+            },
+            "additionalProperties": {
+                "$ref": "#/$defs/json-value"
+            }
+        },
+        "revision": {
+            "type": "string",
+            "pattern": "^sha256:[0-9a-f]{64}$"
+        },
+        "state-topology": {
+            "type": "object",
+            "properties": {
+                "initial": {
+                    "type": "string",
+                    "minLength": 1
+                },
+                "transitions": {
+                    "type": "object",
+                    "propertyNames": {
+                        "type": "string",
+                        "minLength": 1
+                    },
+                    "additionalProperties": {
+                        "type": "object",
+                        "propertyNames": {
+                            "type": "string",
+                            "minLength": 1
+                        },
+                        "additionalProperties": {
+                            "type": "string",
+                            "minLength": 1
+                        }
+                    }
+                }
+            },
+            "required": [
+                "initial",
+                "transitions"
+            ],
+            "additionalProperties": false
+        },
+        "undirected-endpoints": {
+            "type": "array",
+            "prefixItems": [
+                {
+                    "$ref": "#/$defs/incident-endpoint"
+                },
+                {
+                    "$ref": "#/$defs/incident-endpoint"
+                }
+            ],
+            "minItems": 2,
+            "maxItems": 2
+        },
+        "value-location": {
+            "anyOf": [
+                {
+                    "type": "boolean"
+                },
+                {
+                    "type": "object",
+                    "propertyNames": {
+                        "enum": [
+                            "$comment",
+                            "$defs",
+                            "$id",
+                            "$ref",
+                            "$schema",
+                            "additionalProperties",
+                            "allOf",
+                            "anyOf",
+                            "const",
+                            "contains",
+                            "contentEncoding",
+                            "contentMediaType",
+                            "contentSchema",
+                            "default",
+                            "dependentRequired",
+                            "dependentSchemas",
+                            "deprecated",
+                            "description",
+                            "else",
+                            "enum",
+                            "examples",
+                            "exclusiveMaximum",
+                            "exclusiveMinimum",
+                            "format",
+                            "fullMatch",
+                            "if",
+                            "items",
+                            "maxContains",
+                            "maxItems",
+                            "maxLength",
+                            "maxProperties",
+                            "maximum",
+                            "minContains",
+                            "minItems",
+                            "minLength",
+                            "minProperties",
+                            "minimum",
+                            "multipleOf",
+                            "not",
+                            "oneOf",
+                            "pattern",
+                            "patternProperties",
+                            "prefixItems",
+                            "properties",
+                            "propertyNames",
+                            "readOnly",
+                            "required",
+                            "then",
+                            "title",
+                            "type",
+                            "unevaluatedItems",
+                            "unevaluatedProperties",
+                            "uniqueItems",
+                            "writeOnly",
+                            "x-astrale-path",
+                            "x-astrale-value-kind"
+                        ]
+                    },
+                    "properties": {
+                        "$id": false,
+                        "$ref": {
+                            "type": "string"
+                        },
+                        "enum": {
+                            "type": "array",
+                            "uniqueItems": true
+                        },
+                        "fullMatch": {
+                            "type": "string"
+                        },
+                        "pattern": {
+                            "type": "string"
+                        },
+                        "x-astrale-path": {
+                            "$ref": "#/$defs/path-annotation"
+                        },
+                        "additionalProperties": {
+                            "$ref": "#/$defs/value-subschema"
+                        },
+                        "contains": {
+                            "$ref": "#/$defs/value-subschema"
+                        },
+                        "contentSchema": {
+                            "$ref": "#/$defs/value-subschema"
+                        },
+                        "else": {
+                            "$ref": "#/$defs/value-subschema"
+                        },
+                        "if": {
+                            "$ref": "#/$defs/value-subschema"
+                        },
+                        "items": {
+                            "$ref": "#/$defs/value-subschema"
+                        },
+                        "not": {
+                            "$ref": "#/$defs/value-subschema"
+                        },
+                        "propertyNames": {
+                            "$ref": "#/$defs/value-subschema"
+                        },
+                        "then": {
+                            "$ref": "#/$defs/value-subschema"
+                        },
+                        "unevaluatedItems": {
+                            "$ref": "#/$defs/value-subschema"
+                        },
+                        "unevaluatedProperties": {
+                            "$ref": "#/$defs/value-subschema"
+                        },
+                        "allOf": {
+                            "type": "array",
+                            "items": {
+                                "$ref": "#/$defs/value-subschema"
+                            }
+                        },
+                        "anyOf": {
+                            "type": "array",
+                            "items": {
+                                "$ref": "#/$defs/value-subschema"
+                            }
+                        },
+                        "oneOf": {
+                            "type": "array",
+                            "items": {
+                                "$ref": "#/$defs/value-subschema"
+                            }
+                        },
+                        "prefixItems": {
+                            "type": "array",
+                            "items": {
+                                "$ref": "#/$defs/value-subschema"
+                            }
+                        },
+                        "$defs": {
+                            "type": "object",
+                            "additionalProperties": {
+                                "$ref": "#/$defs/value-subschema"
+                            }
+                        },
+                        "dependentSchemas": {
+                            "type": "object",
+                            "additionalProperties": {
+                                "$ref": "#/$defs/value-subschema"
+                            }
+                        },
+                        "patternProperties": {
+                            "type": "object",
+                            "additionalProperties": {
+                                "$ref": "#/$defs/value-subschema"
+                            }
+                        },
+                        "properties": {
+                            "type": "object",
+                            "additionalProperties": {
+                                "$ref": "#/$defs/value-subschema"
+                            }
+                        }
+                    },
+                    "if": {
+                        "required": [
+                            "x-astrale-value-kind"
+                        ],
+                        "properties": {
+                            "x-astrale-value-kind": {
+                                "const": "instant"
+                            }
+                        }
+                    },
+                    "then": {
+                        "required": [
+                            "type"
+                        ],
+                        "properties": {
+                            "type": {
+                                "const": "string"
+                            }
+                        }
+                    }
+                }
+            ]
+        },
+        "value-schema": {
+            "anyOf": [
+                {
+                    "type": "boolean"
+                },
+                {
+                    "type": "object",
+                    "propertyNames": {
+                        "not": {
+                            "const": "__proto__"
+                        }
+                    },
+                    "additionalProperties": {
+                        "$ref": "#/$defs/json-value"
+                    }
+                }
+            ],
+            "description": "A value schema of the dialect https://schemas.astrale.ai/dsl/v1/value-schema. The structure admits any boolean or object; the language admits its keywords.",
+            "allOf": [
+                {
+                    "$ref": "https://schemas.astrale.ai/dsl/v1/value-schema"
+                },
+                {
+                    "$ref": "#/$defs/value-location"
+                },
+                {
+                    "anyOf": [
+                        {
+                            "type": "boolean"
+                        },
+                        {
+                            "type": "object",
+                            "properties": {
+                                "$schema": {
+                                    "const": "https://schemas.astrale.ai/dsl/v1/value-schema"
+                                },
+                                "x-astrale-value-kind": {
+                                    "enum": [
+                                        "instant",
+                                        "blob"
+                                    ]
+                                }
+                            }
+                        }
+                    ]
+                }
+            ]
+        },
+        "value-subschema": {
+            "allOf": [
+                {
+                    "$ref": "#/$defs/value-location"
+                },
+                {
+                    "anyOf": [
+                        {
+                            "type": "boolean"
+                        },
+                        {
+                            "type": "object",
+                            "properties": {
+                                "$schema": false,
+                                "x-astrale-value-kind": {
+                                    "const": "instant"
+                                }
+                            }
+                        }
+                    ]
+                }
+            ]
+        },
+        "view-definition": {
+            "type": "object",
+            "properties": {
+                "ref": {
+                    "$ref": "#/$defs/view-ref"
+                },
+                "description": {
+                    "$ref": "#/$defs/description"
+                },
+                "target": {
+                    "$ref": "#/$defs/view-target"
+                }
+            },
+            "required": [
+                "ref",
+                "target"
+            ],
+            "additionalProperties": false
+        },
+        "view-ref": {
+            "type": "object",
+            "properties": {
+                "origin": {
+                    "$ref": "#/$defs/origin"
+                },
+                "kind": {
+                    "type": "string",
+                    "const": "view"
+                },
+                "name": {
+                    "$ref": "#/$defs/name"
+                }
+            },
+            "required": [
+                "origin",
+                "kind",
+                "name"
+            ],
+            "additionalProperties": false
+        },
+        "view-target": {
+            "type": "object",
+            "properties": {
+                "kind": {
+                    "type": "string",
+                    "const": "domain"
+                }
+            },
+            "required": [
+                "kind"
+            ],
+            "additionalProperties": false,
+            "description": "Every View targets its owning Domain."
+        },
+        "write-policy": {
+            "anyOf": [
+                {
+                    "type": "boolean",
+                    "const": true
+                },
+                {
+                    "$ref": "#/$defs/policy-ref"
+                },
+                {
+                    "$ref": "#/$defs/class-rule-check-expr"
+                }
+            ]
+        }
+    }
+}