worldvm 0.0.0-stage → 0.1.0

package/dist/ir-schema.json

@@ -0,0 +1,4213 @@
+{
+  "$schema": "https://json-schema.org/draft/2020-12/schema",
+  "$id": "urn:worldvm:world-ir:1",
+  "$comment": "Generated from the WorldVM world IR definition.",
+  "$ref": "#/$defs/WorldIR",
+  "$defs": {
+    "Span": {
+      "type": "object",
+      "properties": {
+        "src": {
+          "type": "string"
+        },
+        "from": {
+          "type": "number"
+        },
+        "to": {
+          "type": "number"
+        },
+        "line": {
+          "type": "number"
+        },
+        "col": {
+          "type": "number"
+        }
+      },
+      "required": ["src", "from", "to", "line", "col"]
+    },
+    "TypeRef": {
+      "anyOf": [
+        {
+          "type": "string"
+        },
+        {
+          "type": "array",
+          "items": {
+            "$ref": "#/$defs/TypeRef"
+          }
+        }
+      ]
+    },
+    "Expr": {
+      "anyOf": [
+        {
+          "type": "object",
+          "properties": {
+            "k": {
+              "const": "lit"
+            },
+            "v": {
+              "anyOf": [
+                {
+                  "type": "null"
+                },
+                {
+                  "anyOf": [
+                    {
+                      "type": "string"
+                    },
+                    {
+                      "type": "number"
+                    },
+                    {
+                      "type": "boolean"
+                    }
+                  ]
+                }
+              ]
+            },
+            "at": {
+              "$ref": "#/$defs/Span"
+            }
+          },
+          "required": ["k", "v", "at"]
+        },
+        {
+          "type": "object",
+          "properties": {
+            "k": {
+              "const": "kw"
+            },
+            "v": {
+              "type": "string"
+            },
+            "at": {
+              "$ref": "#/$defs/Span"
+            }
+          },
+          "required": ["k", "v", "at"]
+        },
+        {
+          "type": "object",
+          "properties": {
+            "k": {
+              "const": "var"
+            },
+            "name": {
+              "type": "string"
+            },
+            "at": {
+              "$ref": "#/$defs/Span"
+            }
+          },
+          "required": ["k", "name", "at"]
+        },
+        {
+          "type": "object",
+          "properties": {
+            "k": {
+              "const": "ref"
+            },
+            "kind": {
+              "anyOf": [
+                {
+                  "const": "evidence"
+                },
+                {
+                  "const": "calendar"
+                },
+                {
+                  "const": "decision"
+                },
+                {
+                  "const": "notice"
+                }
+              ]
+            },
+            "name": {
+              "type": "string"
+            },
+            "at": {
+              "$ref": "#/$defs/Span"
+            }
+          },
+          "required": ["k", "kind", "name", "at"]
+        },
+        {
+          "type": "object",
+          "properties": {
+            "k": {
+              "const": "read"
+            },
+            "role": {
+              "type": "string"
+            },
+            "field": {
+              "type": "string"
+            },
+            "of": {
+              "$ref": "#/$defs/Expr"
+            },
+            "meta": {
+              "type": "object",
+              "properties": {
+                "path": {
+                  "type": "string"
+                }
+              },
+              "required": ["path"]
+            },
+            "at": {
+              "$ref": "#/$defs/Span"
+            }
+          },
+          "required": ["k", "role", "field", "of", "meta", "at"]
+        },
+        {
+          "type": "object",
+          "properties": {
+            "k": {
+              "const": "attr"
+            },
+            "attr": {
+              "type": "string"
+            },
+            "of": {
+              "$ref": "#/$defs/Expr"
+            },
+            "meta": {
+              "type": "object",
+              "properties": {
+                "path": {
+                  "type": "string"
+                },
+                "via": {
+                  "type": "string"
+                }
+              },
+              "required": ["path"]
+            },
+            "at": {
+              "$ref": "#/$defs/Span"
+            }
+          },
+          "required": ["k", "attr", "of", "meta", "at"]
+        },
+        {
+          "type": "object",
+          "properties": {
+            "k": {
+              "const": "inst"
+            },
+            "field": {
+              "type": "string"
+            },
+            "of": {
+              "$ref": "#/$defs/Expr"
+            },
+            "at": {
+              "$ref": "#/$defs/Span"
+            }
+          },
+          "required": ["k", "field", "of", "at"]
+        },
+        {
+          "type": "object",
+          "properties": {
+            "k": {
+              "const": "call"
+            },
+            "fn": {
+              "type": "string"
+            },
+            "args": {
+              "type": "array",
+              "items": {
+                "$ref": "#/$defs/Expr"
+              }
+            },
+            "derive": {
+              "const": true
+            },
+            "at": {
+              "$ref": "#/$defs/Span"
+            }
+          },
+          "required": ["k", "fn", "args", "at"]
+        },
+        {
+          "type": "object",
+          "properties": {
+            "k": {
+              "const": "if"
+            },
+            "test": {
+              "$ref": "#/$defs/Expr"
+            },
+            "then": {
+              "$ref": "#/$defs/Expr"
+            },
+            "else": {
+              "$ref": "#/$defs/Expr"
+            },
+            "at": {
+              "$ref": "#/$defs/Span"
+            }
+          },
+          "required": ["k", "test", "then", "else", "at"]
+        },
+        {
+          "type": "object",
+          "properties": {
+            "k": {
+              "const": "fn"
+            },
+            "params": {
+              "type": "array",
+              "items": {
+                "type": "string"
+              }
+            },
+            "body": {
+              "$ref": "#/$defs/Expr"
+            },
+            "at": {
+              "$ref": "#/$defs/Span"
+            }
+          },
+          "required": ["k", "params", "body", "at"]
+        },
+        {
+          "type": "object",
+          "properties": {
+            "k": {
+              "const": "list"
+            },
+            "items": {
+              "type": "array",
+              "items": {
+                "$ref": "#/$defs/Expr"
+              }
+            },
+            "at": {
+              "$ref": "#/$defs/Span"
+            }
+          },
+          "required": ["k", "items", "at"]
+        }
+      ]
+    },
+    "FilePolicy": {
+      "type": "object",
+      "properties": {
+        "accept": {
+          "type": "array",
+          "items": {
+            "type": "string"
+          },
+          "minItems": 1
+        },
+        "maxBytes": {
+          "type": "integer",
+          "minimum": -9007199254740991,
+          "maximum": 9007199254740991
+        },
+        "at": {
+          "$ref": "#/$defs/Span"
+        }
+      },
+      "required": ["accept", "maxBytes", "at"]
+    },
+    "Seal": {
+      "type": "object",
+      "properties": {
+        "vault": {
+          "type": "string"
+        },
+        "at": {
+          "$ref": "#/$defs/Span"
+        }
+      },
+      "required": ["vault", "at"]
+    },
+    "Field": {
+      "type": "object",
+      "properties": {
+        "name": {
+          "type": "string"
+        },
+        "type": {
+          "$ref": "#/$defs/TypeRef"
+        },
+        "file": {
+          "$ref": "#/$defs/FilePolicy"
+        },
+        "sealedBy": {
+          "$ref": "#/$defs/Seal"
+        }
+      },
+      "required": ["name", "type"]
+    },
+    "Source": {
+      "type": "object",
+      "properties": {
+        "name": {
+          "type": "string"
+        },
+        "doc": {
+          "type": "string"
+        },
+        "kind": {
+          "anyOf": [
+            {
+              "const": "law"
+            },
+            {
+              "const": "regulation"
+            },
+            {
+              "const": "guidance"
+            },
+            {
+              "const": "framework"
+            },
+            {
+              "const": "contract"
+            },
+            {
+              "const": "policy"
+            }
+          ]
+        },
+        "jurisdiction": {
+          "type": "string"
+        },
+        "url": {
+          "type": "string"
+        },
+        "asOf": {
+          "type": "string"
+        },
+        "at": {
+          "$ref": "#/$defs/Span"
+        }
+      },
+      "required": ["name", "kind", "url", "asOf", "at"]
+    },
+    "Citation": {
+      "type": "object",
+      "properties": {
+        "source": {
+          "type": "string"
+        },
+        "clause": {
+          "type": "string"
+        },
+        "at": {
+          "$ref": "#/$defs/Span"
+        }
+      },
+      "required": ["source", "clause", "at"]
+    },
+    "SensitiveClass": {
+      "anyOf": [
+        {
+          "const": "pii"
+        },
+        {
+          "const": "financial"
+        },
+        {
+          "const": "health"
+        },
+        {
+          "const": "immigration"
+        }
+      ]
+    },
+    "AgentReadGrant": {
+      "type": "object",
+      "properties": {
+        "class": {
+          "$ref": "#/$defs/SensitiveClass"
+        },
+        "vault": {
+          "type": "string"
+        },
+        "at": {
+          "$ref": "#/$defs/Span"
+        }
+      },
+      "required": ["class", "vault", "at"]
+    },
+    "Agent": {
+      "type": "object",
+      "properties": {
+        "name": {
+          "type": "string"
+        },
+        "doc": {
+          "type": "string"
+        },
+        "of": {
+          "type": "string"
+        },
+        "reads": {
+          "type": "array",
+          "items": {
+            "$ref": "#/$defs/Expr"
+          },
+          "minItems": 1
+        },
+        "mayRead": {
+          "type": "array",
+          "items": {
+            "$ref": "#/$defs/AgentReadGrant"
+          }
+        },
+        "at": {
+          "$ref": "#/$defs/Span"
+        }
+      },
+      "required": ["name", "of", "reads", "mayRead", "at"]
+    },
+    "VaultKey": {
+      "type": "object",
+      "properties": {
+        "kind": {
+          "anyOf": [
+            {
+              "const": "occurrence"
+            },
+            {
+              "const": "subject"
+            }
+          ]
+        },
+        "target": {
+          "type": "string"
+        },
+        "at": {
+          "$ref": "#/$defs/Span"
+        }
+      },
+      "required": ["kind", "target", "at"]
+    },
+    "VaultErasure": {
+      "type": "object",
+      "properties": {
+        "kind": {
+          "anyOf": [
+            {
+              "const": "held-until-retained"
+            },
+            {
+              "const": "on-request"
+            }
+          ]
+        },
+        "at": {
+          "$ref": "#/$defs/Span"
+        }
+      },
+      "required": ["kind", "at"]
+    },
+    "VaultDisposal": {
+      "type": "object",
+      "properties": {
+        "name": {
+          "type": "string"
+        },
+        "by": {
+          "$ref": "#/$defs/Expr"
+        },
+        "byKind": {
+          "anyOf": [
+            {
+              "const": "individual"
+            },
+            {
+              "const": "group"
+            }
+          ]
+        },
+        "approvals": {
+          "type": "integer",
+          "minimum": 1,
+          "maximum": 9007199254740991
+        },
+        "at": {
+          "$ref": "#/$defs/Span"
+        }
+      },
+      "required": ["name", "by", "byKind", "approvals", "at"]
+    },
+    "Vault": {
+      "type": "object",
+      "properties": {
+        "name": {
+          "type": "string"
+        },
+        "doc": {
+          "type": "string"
+        },
+        "key": {
+          "$ref": "#/$defs/VaultKey"
+        },
+        "holds": {
+          "type": "array",
+          "items": {
+            "$ref": "#/$defs/SensitiveClass"
+          },
+          "minItems": 1
+        },
+        "retain": {
+          "$ref": "#/$defs/Expr"
+        },
+        "cites": {
+          "type": "array",
+          "items": {
+            "$ref": "#/$defs/Citation"
+          },
+          "minItems": 1
+        },
+        "erasure": {
+          "$ref": "#/$defs/VaultErasure"
+        },
+        "dispose": {
+          "$ref": "#/$defs/VaultDisposal"
+        },
+        "at": {
+          "$ref": "#/$defs/Span"
+        }
+      },
+      "required": ["name", "key", "holds", "retain", "cites", "erasure", "dispose", "at"]
+    },
+    "Library": {
+      "type": "object",
+      "properties": {
+        "name": {
+          "type": "string"
+        },
+        "doc": {
+          "type": "string"
+        },
+        "version": {
+          "type": "string"
+        },
+        "subject": {
+          "type": "string"
+        },
+        "digest": {
+          "type": "string"
+        },
+        "at": {
+          "$ref": "#/$defs/Span"
+        }
+      },
+      "required": ["name", "version", "subject", "digest", "at"]
+    },
+    "TypeAlias": {
+      "type": "object",
+      "properties": {
+        "name": {
+          "type": "string"
+        },
+        "type": {
+          "$ref": "#/$defs/TypeRef"
+        },
+        "at": {
+          "$ref": "#/$defs/Span"
+        }
+      },
+      "required": ["name", "type", "at"]
+    },
+    "Role": {
+      "type": "object",
+      "properties": {
+        "name": {
+          "type": "string"
+        },
+        "doc": {
+          "type": "string"
+        },
+        "fields": {
+          "type": "array",
+          "items": {
+            "$ref": "#/$defs/Field"
+          }
+        },
+        "at": {
+          "$ref": "#/$defs/Span"
+        }
+      },
+      "required": ["name", "fields", "at"]
+    },
+    "EntityField": {
+      "type": "object",
+      "properties": {
+        "name": {
+          "type": "string"
+        },
+        "type": {
+          "$ref": "#/$defs/TypeRef"
+        },
+        "attr": {
+          "type": "string"
+        },
+        "file": {
+          "$ref": "#/$defs/FilePolicy"
+        },
+        "sealedBy": {
+          "$ref": "#/$defs/Seal"
+        }
+      },
+      "required": ["name", "type", "attr"]
+    },
+    "Binding": {
+      "type": "object",
+      "properties": {
+        "role": {
+          "type": "string"
+        },
+        "field": {
+          "type": "string"
+        },
+        "path": {
+          "type": "array",
+          "items": {
+            "type": "string"
+          }
+        },
+        "attrs": {
+          "type": "array",
+          "items": {
+            "type": "string"
+          }
+        },
+        "at": {
+          "$ref": "#/$defs/Span"
+        }
+      },
+      "required": ["role", "field", "path", "attrs", "at"]
+    },
+    "Entity": {
+      "type": "object",
+      "properties": {
+        "name": {
+          "type": "string"
+        },
+        "doc": {
+          "type": "string"
+        },
+        "ns": {
+          "type": "string"
+        },
+        "nsDeclared": {
+          "type": "boolean"
+        },
+        "display": {
+          "type": "string"
+        },
+        "fields": {
+          "type": "array",
+          "items": {
+            "$ref": "#/$defs/EntityField"
+          }
+        },
+        "implements": {
+          "type": "array",
+          "items": {
+            "$ref": "#/$defs/Binding"
+          }
+        },
+        "at": {
+          "$ref": "#/$defs/Span"
+        }
+      },
+      "required": ["name", "ns", "nsDeclared", "fields", "implements", "at"]
+    },
+    "Holiday": {
+      "type": "object",
+      "properties": {
+        "name": {
+          "type": "string"
+        },
+        "label": {
+          "type": "string"
+        },
+        "month": {
+          "type": "number"
+        },
+        "day": {
+          "type": "number"
+        },
+        "weekday": {
+          "type": "string"
+        },
+        "nth": {
+          "type": "number"
+        },
+        "observed": {
+          "type": "boolean"
+        }
+      },
+      "required": ["name", "label", "month", "observed"]
+    },
+    "Calendar": {
+      "type": "object",
+      "properties": {
+        "name": {
+          "type": "string"
+        },
+        "doc": {
+          "type": "string"
+        },
+        "version": {
+          "type": "string"
+        },
+        "weekend": {
+          "type": "array",
+          "items": {
+            "type": "string"
+          }
+        },
+        "holidays": {
+          "type": "array",
+          "items": {
+            "$ref": "#/$defs/Holiday"
+          }
+        },
+        "at": {
+          "$ref": "#/$defs/Span"
+        }
+      },
+      "required": ["name", "version", "weekend", "holidays", "at"]
+    },
+    "Derive": {
+      "type": "object",
+      "properties": {
+        "name": {
+          "type": "string"
+        },
+        "doc": {
+          "type": "string"
+        },
+        "params": {
+          "type": "array",
+          "items": {
+            "$ref": "#/$defs/Field"
+          }
+        },
+        "returns": {
+          "$ref": "#/$defs/TypeRef"
+        },
+        "body": {
+          "$ref": "#/$defs/Expr"
+        },
+        "at": {
+          "$ref": "#/$defs/Span"
+        }
+      },
+      "required": ["name", "params", "returns", "body", "at"]
+    },
+    "Rule": {
+      "type": "object",
+      "properties": {
+        "name": {
+          "type": "string"
+        },
+        "when": {
+          "$ref": "#/$defs/Expr"
+        },
+        "requires": {
+          "type": "object",
+          "properties": {
+            "mode": {
+              "anyOf": [
+                {
+                  "const": "all"
+                },
+                {
+                  "const": "one-of"
+                }
+              ]
+            },
+            "fields": {
+              "type": "array",
+              "items": {
+                "type": "string"
+              }
+            }
+          },
+          "required": ["mode", "fields"]
+        },
+        "at": {
+          "$ref": "#/$defs/Span"
+        }
+      },
+      "required": ["name", "requires", "at"]
+    },
+    "AmendmentPolicy": {
+      "type": "object",
+      "properties": {
+        "at": {
+          "$ref": "#/$defs/Span"
+        }
+      },
+      "required": ["at"]
+    },
+    "AmendmentInput": {
+      "type": "object",
+      "properties": {
+        "previous": {
+          "type": "string"
+        },
+        "reason": {
+          "type": "string"
+        }
+      },
+      "required": ["previous", "reason"]
+    },
+    "SignaturePolicy": {
+      "type": "object",
+      "properties": {
+        "consent": {
+          "type": "string"
+        },
+        "intent": {
+          "type": "string"
+        }
+      },
+      "required": ["consent", "intent"]
+    },
+    "SignatureInput": {
+      "type": "object",
+      "properties": {
+        "consent": {
+          "type": "boolean"
+        },
+        "intent": {
+          "type": "boolean"
+        },
+        "method": {
+          "type": "string"
+        },
+        "device": {
+          "type": "string"
+        }
+      },
+      "required": ["consent", "intent", "method", "device"]
+    },
+    "Evidence": {
+      "type": "object",
+      "properties": {
+        "name": {
+          "type": "string"
+        },
+        "doc": {
+          "type": "string"
+        },
+        "of": {
+          "type": "string"
+        },
+        "label": {
+          "type": "string"
+        },
+        "fields": {
+          "type": "array",
+          "items": {
+            "$ref": "#/$defs/Field"
+          }
+        },
+        "sealedBy": {
+          "$ref": "#/$defs/Seal"
+        },
+        "expires": {
+          "$ref": "#/$defs/Expr"
+        },
+        "rules": {
+          "type": "array",
+          "items": {
+            "$ref": "#/$defs/Rule"
+          }
+        },
+        "amend": {
+          "$ref": "#/$defs/AmendmentPolicy"
+        },
+        "attest": {
+          "type": "object",
+          "properties": {
+            "signer": {
+              "type": "string"
+            },
+            "covers": {
+              "type": "string"
+            },
+            "method": {
+              "type": "string"
+            },
+            "audit": {
+              "$ref": "#/$defs/SignaturePolicy"
+            }
+          },
+          "required": ["signer", "covers", "method"]
+        },
+        "at": {
+          "$ref": "#/$defs/Span"
+        }
+      },
+      "required": ["name", "of", "fields", "rules", "at"]
+    },
+    "InteractionBinding": {
+      "type": "object",
+      "properties": {
+        "field": {
+          "type": "string"
+        },
+        "from": {
+          "$ref": "#/$defs/Expr"
+        },
+        "target": {
+          "$ref": "#/$defs/Expr"
+        }
+      },
+      "required": ["field"]
+    },
+    "Interaction": {
+      "type": "object",
+      "properties": {
+        "name": {
+          "type": "string"
+        },
+        "doc": {
+          "type": "string"
+        },
+        "actor": {
+          "type": "string"
+        },
+        "produces": {
+          "type": "string"
+        },
+        "binds": {
+          "type": "array",
+          "items": {
+            "$ref": "#/$defs/InteractionBinding"
+          }
+        },
+        "fixes": {
+          "type": "array",
+          "items": {
+            "type": "object",
+            "properties": {
+              "field": {
+                "type": "string"
+              },
+              "value": {
+                "anyOf": [
+                  {
+                    "type": "string"
+                  },
+                  {
+                    "type": "number"
+                  },
+                  {
+                    "type": "boolean"
+                  }
+                ]
+              }
+            },
+            "required": ["field", "value"]
+          }
+        },
+        "layout": {
+          "type": "string"
+        },
+        "at": {
+          "$ref": "#/$defs/Span"
+        }
+      },
+      "required": ["name", "actor", "produces", "binds", "at"]
+    },
+    "LayoutItem": {
+      "anyOf": [
+        {
+          "type": "object",
+          "properties": {
+            "kind": {
+              "const": "field"
+            },
+            "name": {
+              "type": "string"
+            },
+            "label": {
+              "type": "string"
+            },
+            "showWhen": {
+              "$ref": "#/$defs/Expr"
+            },
+            "options": {
+              "type": "array",
+              "items": {
+                "type": "object",
+                "properties": {
+                  "value": {
+                    "type": "string"
+                  },
+                  "label": {
+                    "type": "string"
+                  }
+                },
+                "required": ["value", "label"]
+              }
+            },
+            "at": {
+              "$ref": "#/$defs/Span"
+            }
+          },
+          "required": ["kind", "name", "at"]
+        },
+        {
+          "type": "object",
+          "properties": {
+            "kind": {
+              "const": "group"
+            },
+            "name": {
+              "type": "string"
+            },
+            "label": {
+              "type": "string"
+            },
+            "showWhen": {
+              "$ref": "#/$defs/Expr"
+            },
+            "items": {
+              "type": "array",
+              "items": {
+                "$ref": "#/$defs/LayoutItem"
+              }
+            },
+            "at": {
+              "$ref": "#/$defs/Span"
+            }
+          },
+          "required": ["kind", "name", "items", "at"]
+        },
+        {
+          "type": "object",
+          "properties": {
+            "kind": {
+              "const": "widget"
+            },
+            "name": {
+              "type": "string"
+            },
+            "at": {
+              "$ref": "#/$defs/Span"
+            }
+          },
+          "required": ["kind", "name", "at"]
+        },
+        {
+          "type": "object",
+          "properties": {
+            "kind": {
+              "const": "sign"
+            },
+            "at": {
+              "$ref": "#/$defs/Span"
+            }
+          },
+          "required": ["kind", "at"]
+        }
+      ]
+    },
+    "Layout": {
+      "type": "object",
+      "properties": {
+        "name": {
+          "type": "string"
+        },
+        "doc": {
+          "type": "string"
+        },
+        "steps": {
+          "type": "array",
+          "items": {
+            "type": "object",
+            "properties": {
+              "name": {
+                "type": "string"
+              },
+              "label": {
+                "type": "string"
+              },
+              "items": {
+                "type": "array",
+                "items": {
+                  "$ref": "#/$defs/LayoutItem"
+                }
+              },
+              "at": {
+                "$ref": "#/$defs/Span"
+              }
+            },
+            "required": ["name", "items", "at"]
+          }
+        },
+        "at": {
+          "$ref": "#/$defs/Span"
+        }
+      },
+      "required": ["name", "steps", "at"]
+    },
+    "Connector": {
+      "type": "object",
+      "properties": {
+        "name": {
+          "type": "string"
+        },
+        "doc": {
+          "type": "string"
+        },
+        "capabilities": {
+          "type": "array",
+          "items": {
+            "type": "string"
+          }
+        },
+        "signals": {
+          "type": "array",
+          "items": {
+            "type": "string"
+          }
+        },
+        "owns": {
+          "type": "array",
+          "items": {
+            "type": "string"
+          }
+        },
+        "at": {
+          "$ref": "#/$defs/Span"
+        }
+      },
+      "required": ["name", "capabilities", "signals", "owns", "at"]
+    },
+    "Machine": {
+      "type": "object",
+      "properties": {
+        "name": {
+          "type": "string"
+        },
+        "doc": {
+          "type": "string"
+        },
+        "signal": {
+          "type": "string"
+        },
+        "initial": {
+          "type": "string"
+        },
+        "final": {
+          "type": "array",
+          "items": {
+            "type": "string"
+          }
+        },
+        "states": {
+          "type": "array",
+          "items": {
+            "type": "object",
+            "properties": {
+              "name": {
+                "type": "string"
+              },
+              "label": {
+                "type": "string"
+              }
+            },
+            "required": ["name", "label"]
+          }
+        },
+        "transitions": {
+          "type": "array",
+          "items": {
+            "type": "object",
+            "properties": {
+              "from": {
+                "type": "string"
+              },
+              "to": {
+                "type": "string"
+              }
+            },
+            "required": ["from", "to"]
+          }
+        },
+        "at": {
+          "$ref": "#/$defs/Span"
+        }
+      },
+      "required": ["name", "signal", "initial", "final", "states", "transitions", "at"]
+    },
+    "InputHome": {
+      "type": "object",
+      "properties": {
+        "kind": {
+          "const": "input"
+        },
+        "path": {
+          "type": "array",
+          "items": {
+            "type": "string"
+          },
+          "minItems": 1
+        }
+      },
+      "required": ["kind", "path"]
+    },
+    "Home": {
+      "$ref": "#/$defs/InputHome"
+    },
+    "Milestone": {
+      "type": "object",
+      "properties": {
+        "name": {
+          "type": "string"
+        },
+        "label": {
+          "type": "string"
+        },
+        "when": {
+          "$ref": "#/$defs/Expr"
+        },
+        "at": {
+          "$ref": "#/$defs/Span"
+        }
+      },
+      "required": ["name", "when", "at"]
+    },
+    "DayOffset": {
+      "type": "integer",
+      "minimum": 0,
+      "maximum": 9007199254740991
+    },
+    "Escalation": {
+      "type": "object",
+      "properties": {
+        "afterDays": {
+          "$ref": "#/$defs/DayOffset"
+        },
+        "kind": {
+          "anyOf": [
+            {
+              "const": "notify"
+            },
+            {
+              "const": "reassign"
+            }
+          ]
+        },
+        "who": {
+          "$ref": "#/$defs/Expr"
+        },
+        "whoKind": {
+          "anyOf": [
+            {
+              "const": "entity"
+            },
+            {
+              "const": "group"
+            }
+          ]
+        },
+        "at": {
+          "$ref": "#/$defs/Span"
+        }
+      },
+      "required": ["afterDays", "kind", "who", "at"]
+    },
+    "Hold": {
+      "type": "object",
+      "properties": {
+        "name": {
+          "type": "string"
+        },
+        "label": {
+          "type": "string"
+        },
+        "while": {
+          "$ref": "#/$defs/Expr"
+        },
+        "pauses": {
+          "type": "array",
+          "items": {
+            "anyOf": [
+              {
+                "const": "dispatch"
+              },
+              {
+                "const": "remind"
+              },
+              {
+                "const": "escalate"
+              }
+            ]
+          },
+          "minItems": 1
+        },
+        "cites": {
+          "type": "array",
+          "items": {
+            "$ref": "#/$defs/Citation"
+          }
+        },
+        "at": {
+          "$ref": "#/$defs/Span"
+        }
+      },
+      "required": ["name", "while", "pauses", "at"]
+    },
+    "Accepts": {
+      "type": "object",
+      "properties": {
+        "kind": {
+          "const": "prior-cycle"
+        },
+        "from": {
+          "type": "string"
+        },
+        "with": {
+          "type": "string"
+        },
+        "within": {
+          "$ref": "#/$defs/Expr"
+        },
+        "confirm": {
+          "$ref": "#/$defs/Expr"
+        },
+        "label": {
+          "type": "string"
+        }
+      },
+      "required": ["kind"]
+    },
+    "Recurrence": {
+      "type": "object",
+      "properties": {
+        "every": {
+          "type": "object",
+          "properties": {
+            "n": {
+              "type": "integer",
+              "minimum": -9007199254740991,
+              "maximum": 9007199254740991,
+              "exclusiveMinimum": 0
+            },
+            "unit": {
+              "anyOf": [
+                {
+                  "const": "days"
+                },
+                {
+                  "const": "years"
+                }
+              ]
+            }
+          },
+          "required": ["n", "unit"]
+        },
+        "from": {
+          "$ref": "#/$defs/Expr"
+        },
+        "at": {
+          "$ref": "#/$defs/Span"
+        }
+      },
+      "required": ["every", "from", "at"]
+    },
+    "Effective": {
+      "anyOf": [
+        {
+          "type": "object",
+          "properties": {
+            "from": {
+              "type": "string",
+              "format": "date",
+              "pattern": "^\\d{4}-\\d{2}-\\d{2}$"
+            },
+            "until": {
+              "type": "string",
+              "format": "date",
+              "pattern": "^\\d{4}-\\d{2}-\\d{2}$"
+            },
+            "at": {
+              "$ref": "#/$defs/Span"
+            }
+          },
+          "required": ["from", "at"]
+        },
+        {
+          "type": "object",
+          "properties": {
+            "from": {
+              "type": "string",
+              "format": "date",
+              "pattern": "^\\d{4}-\\d{2}-\\d{2}$"
+            },
+            "until": {
+              "type": "string",
+              "format": "date",
+              "pattern": "^\\d{4}-\\d{2}-\\d{2}$"
+            },
+            "at": {
+              "$ref": "#/$defs/Span"
+            }
+          },
+          "required": ["until", "at"]
+        }
+      ]
+    },
+    "RenewalWindow": {
+      "type": "object",
+      "properties": {
+        "n": {
+          "type": "integer",
+          "minimum": 0,
+          "maximum": 9007199254740991
+        },
+        "unit": {
+          "anyOf": [
+            {
+              "const": "days"
+            },
+            {
+              "const": "years"
+            }
+          ]
+        },
+        "at": {
+          "$ref": "#/$defs/Span"
+        }
+      },
+      "required": ["n", "unit", "at"]
+    },
+    "Reuse": {
+      "type": "object",
+      "properties": {
+        "scope": {
+          "type": "array",
+          "items": {
+            "$ref": "#/$defs/Expr"
+          },
+          "minItems": 1
+        },
+        "within": {
+          "$ref": "#/$defs/ConfirmationWindow"
+        },
+        "confirm": {
+          "$ref": "#/$defs/Expr"
+        },
+        "confirmKind": {
+          "anyOf": [
+            {
+              "const": "entity"
+            },
+            {
+              "const": "group"
+            }
+          ]
+        },
+        "at": {
+          "$ref": "#/$defs/Span"
+        }
+      },
+      "required": ["scope", "within", "at"]
+    },
+    "Notice": {
+      "type": "object",
+      "properties": {
+        "name": {
+          "type": "string"
+        },
+        "doc": {
+          "type": "string"
+        },
+        "of": {
+          "type": "string"
+        },
+        "document": {
+          "type": "string"
+        },
+        "to": {
+          "$ref": "#/$defs/Expr"
+        },
+        "sealedBy": {
+          "$ref": "#/$defs/Seal"
+        },
+        "at": {
+          "$ref": "#/$defs/Span"
+        }
+      },
+      "required": ["name", "of", "document", "to", "at"]
+    },
+    "DocumentField": {
+      "type": "object",
+      "properties": {
+        "label": {
+          "type": "string"
+        },
+        "evidence": {
+          "type": "string"
+        },
+        "field": {
+          "type": "string"
+        },
+        "at": {
+          "$ref": "#/$defs/Span"
+        }
+      },
+      "required": ["label", "evidence", "field", "at"]
+    },
+    "Document": {
+      "type": "object",
+      "properties": {
+        "name": {
+          "type": "string"
+        },
+        "doc": {
+          "type": "string"
+        },
+        "of": {
+          "type": "string"
+        },
+        "resource": {
+          "type": "object",
+          "properties": {
+            "name": {
+              "type": "string"
+            },
+            "at": {
+              "$ref": "#/$defs/Span"
+            }
+          },
+          "required": ["name", "at"]
+        },
+        "sources": {
+          "type": "array",
+          "items": {
+            "type": "string"
+          },
+          "minItems": 1
+        },
+        "edition": {
+          "type": "string"
+        },
+        "effective": {
+          "$ref": "#/$defs/Effective"
+        },
+        "title": {
+          "type": "string"
+        },
+        "fields": {
+          "type": "array",
+          "items": {
+            "$ref": "#/$defs/DocumentField"
+          },
+          "minItems": 1
+        },
+        "sealedBy": {
+          "$ref": "#/$defs/Seal"
+        },
+        "at": {
+          "$ref": "#/$defs/Span"
+        }
+      },
+      "required": ["name", "of", "sources", "edition", "effective", "title", "fields", "at"]
+    },
+    "Requirement": {
+      "type": "object",
+      "properties": {
+        "discretionary": {
+          "type": "string"
+        },
+        "escalate": {
+          "type": "array",
+          "items": {
+            "$ref": "#/$defs/Escalation"
+          }
+        },
+        "name": {
+          "type": "string"
+        },
+        "label": {
+          "type": "string"
+        },
+        "appliesWhen": {
+          "$ref": "#/$defs/Expr"
+        },
+        "satisfiedBy": {
+          "$ref": "#/$defs/Expr"
+        },
+        "cites": {
+          "type": "array",
+          "items": {
+            "$ref": "#/$defs/Citation"
+          }
+        },
+        "accepts": {
+          "$ref": "#/$defs/Accepts"
+        },
+        "reuse": {
+          "$ref": "#/$defs/Reuse"
+        },
+        "cycle": {
+          "$ref": "#/$defs/Expr"
+        },
+        "recur": {
+          "$ref": "#/$defs/Recurrence"
+        },
+        "effective": {
+          "$ref": "#/$defs/Effective"
+        },
+        "due": {
+          "$ref": "#/$defs/Expr"
+        },
+        "remind": {
+          "$ref": "#/$defs/Expr"
+        },
+        "renewWithin": {
+          "$ref": "#/$defs/RenewalWindow"
+        },
+        "at": {
+          "$ref": "#/$defs/Span"
+        }
+      },
+      "required": ["name", "satisfiedBy", "at"]
+    },
+    "Via": {
+      "anyOf": [
+        {
+          "type": "object",
+          "properties": {
+            "kind": {
+              "const": "interaction"
+            },
+            "name": {
+              "type": "string"
+            }
+          },
+          "required": ["kind", "name"]
+        },
+        {
+          "type": "object",
+          "properties": {
+            "kind": {
+              "const": "connector"
+            },
+            "connector": {
+              "type": "string"
+            },
+            "capability": {
+              "type": "string"
+            }
+          },
+          "required": ["kind", "connector", "capability"]
+        }
+      ]
+    },
+    "Action": {
+      "type": "object",
+      "properties": {
+        "assigneeKind": {
+          "anyOf": [
+            {
+              "const": "entity"
+            },
+            {
+              "const": "group"
+            }
+          ]
+        },
+        "dispatch": {
+          "anyOf": [
+            {
+              "const": "auto"
+            },
+            {
+              "const": "claim"
+            },
+            {
+              "const": "manual"
+            }
+          ]
+        },
+        "onIneligible": {
+          "anyOf": [
+            {
+              "const": "withdraw"
+            },
+            {
+              "const": "keep"
+            },
+            {
+              "const": "review"
+            }
+          ]
+        },
+        "name": {
+          "type": "string"
+        },
+        "label": {
+          "type": "string"
+        },
+        "advances": {
+          "anyOf": [
+            {
+              "type": "string"
+            },
+            {
+              "type": "array",
+              "items": {
+                "type": "string"
+              },
+              "minItems": 1
+            }
+          ]
+        },
+        "needs": {
+          "type": "array",
+          "items": {
+            "type": "object",
+            "properties": {
+              "expr": {
+                "$ref": "#/$defs/Expr"
+              },
+              "text": {
+                "type": "string"
+              }
+            },
+            "required": ["expr", "text"]
+          }
+        },
+        "assignee": {
+          "$ref": "#/$defs/Expr"
+        },
+        "via": {
+          "$ref": "#/$defs/Via"
+        },
+        "idempotency": {
+          "type": "array",
+          "items": {
+            "$ref": "#/$defs/Expr"
+          }
+        },
+        "at": {
+          "$ref": "#/$defs/Span"
+        }
+      },
+      "required": ["name", "advances", "needs", "via", "at"]
+    },
+    "Slot": {
+      "type": "object",
+      "properties": {
+        "discretionary": {
+          "type": "string"
+        },
+        "mode": {
+          "anyOf": [
+            {
+              "const": "child"
+            },
+            {
+              "const": "attach"
+            }
+          ]
+        },
+        "name": {
+          "type": "string"
+        },
+        "component": {
+          "type": "string"
+        },
+        "bind": {
+          "type": "array",
+          "items": {
+            "type": "object",
+            "properties": {
+              "input": {
+                "type": "string"
+              },
+              "expr": {
+                "$ref": "#/$defs/Expr"
+              }
+            },
+            "required": ["input", "expr"]
+          }
+        },
+        "with": {
+          "type": "array",
+          "items": {
+            "type": "object",
+            "properties": {
+              "name": {
+                "type": "string"
+              },
+              "value": {
+                "$ref": "#/$defs/PolicyNumber"
+              },
+              "at": {
+                "$ref": "#/$defs/Span"
+              }
+            },
+            "required": ["name", "value", "at"]
+          },
+          "minItems": 1
+        },
+        "appliesWhen": {
+          "$ref": "#/$defs/Expr"
+        },
+        "at": {
+          "$ref": "#/$defs/Span"
+        }
+      },
+      "required": ["mode", "name", "component", "bind", "at"]
+    },
+    "Output": {
+      "type": "object",
+      "properties": {
+        "name": {
+          "type": "string"
+        },
+        "label": {
+          "type": "string"
+        },
+        "op": {
+          "anyOf": [
+            {
+              "const": "all-of"
+            },
+            {
+              "const": "any-of"
+            },
+            {
+              "const": "status-of"
+            }
+          ]
+        },
+        "paths": {
+          "type": "array",
+          "items": {
+            "type": "object",
+            "properties": {
+              "segments": {
+                "type": "array",
+                "items": {
+                  "type": "string"
+                }
+              },
+              "at": {
+                "$ref": "#/$defs/Span"
+              }
+            },
+            "required": ["segments", "at"]
+          }
+        },
+        "at": {
+          "$ref": "#/$defs/Span"
+        }
+      },
+      "required": ["name", "op", "paths", "at"]
+    },
+    "PolicyNumber": {
+      "type": "object",
+      "properties": {
+        "n": {
+          "type": "integer",
+          "minimum": 0,
+          "maximum": 9007199254740991
+        },
+        "unit": {
+          "anyOf": [
+            {
+              "const": "integer"
+            },
+            {
+              "const": "days"
+            },
+            {
+              "const": "years"
+            },
+            {
+              "const": "hours"
+            },
+            {
+              "const": "minutes"
+            }
+          ]
+        }
+      },
+      "required": ["n", "unit"]
+    },
+    "ParamBound": {
+      "type": "object",
+      "properties": {
+        "name": {
+          "type": "string"
+        },
+        "default": {
+          "$ref": "#/$defs/PolicyNumber"
+        },
+        "min": {
+          "$ref": "#/$defs/PolicyNumber"
+        },
+        "max": {
+          "$ref": "#/$defs/PolicyNumber"
+        },
+        "tighten": {
+          "anyOf": [
+            {
+              "const": "lower"
+            },
+            {
+              "const": "higher"
+            }
+          ]
+        },
+        "at": {
+          "$ref": "#/$defs/Span"
+        }
+      },
+      "required": ["name", "default", "min", "max", "tighten", "at"]
+    },
+    "AccountPolicy": {
+      "type": "object",
+      "properties": {
+        "name": {
+          "type": "string"
+        },
+        "doc": {
+          "type": "string"
+        },
+        "of": {
+          "type": "string"
+        },
+        "cites": {
+          "type": "array",
+          "items": {
+            "$ref": "#/$defs/Citation"
+          },
+          "minItems": 1
+        },
+        "when": {
+          "$ref": "#/$defs/Expr"
+        },
+        "require": {
+          "$ref": "#/$defs/Expr"
+        },
+        "params": {
+          "type": "array",
+          "items": {
+            "type": "object",
+            "properties": {
+              "name": {
+                "type": "string"
+              },
+              "value": {
+                "$ref": "#/$defs/PolicyNumber"
+              },
+              "at": {
+                "$ref": "#/$defs/Span"
+              }
+            },
+            "required": ["name", "value", "at"]
+          }
+        },
+        "assign": {
+          "type": "array",
+          "items": {
+            "type": "object",
+            "properties": {
+              "action": {
+                "type": "string"
+              },
+              "assignee": {
+                "$ref": "#/$defs/Expr"
+              },
+              "assigneeKind": {
+                "anyOf": [
+                  {
+                    "const": "entity"
+                  },
+                  {
+                    "const": "group"
+                  }
+                ]
+              },
+              "at": {
+                "$ref": "#/$defs/Span"
+              }
+            },
+            "required": ["action", "assignee", "assigneeKind", "at"]
+          }
+        },
+        "effective": {
+          "$ref": "#/$defs/Effective"
+        },
+        "at": {
+          "$ref": "#/$defs/Span"
+        }
+      },
+      "required": ["name", "doc", "of", "cites", "params", "assign", "at"]
+    },
+    "ResourceCall": {
+      "type": "object",
+      "properties": {
+        "connector": {
+          "type": "string"
+        },
+        "capability": {
+          "type": "string"
+        },
+        "at": {
+          "$ref": "#/$defs/Span"
+        }
+      },
+      "required": ["connector", "capability", "at"]
+    },
+    "Resource": {
+      "type": "object",
+      "properties": {
+        "name": {
+          "type": "string"
+        },
+        "acquire": {
+          "$ref": "#/$defs/ResourceCall"
+        },
+        "release": {
+          "$ref": "#/$defs/ResourceCall"
+        },
+        "releaseWhen": {
+          "$ref": "#/$defs/Expr"
+        },
+        "at": {
+          "$ref": "#/$defs/Span"
+        }
+      },
+      "required": ["name", "acquire", "release", "releaseWhen", "at"]
+    },
+    "Component": {
+      "type": "object",
+      "properties": {
+        "library": {
+          "type": "string"
+        },
+        "operations": {
+          "type": "array",
+          "items": {
+            "type": "string"
+          }
+        },
+        "milestones": {
+          "type": "array",
+          "items": {
+            "$ref": "#/$defs/Milestone"
+          }
+        },
+        "holds": {
+          "type": "array",
+          "items": {
+            "$ref": "#/$defs/Hold"
+          }
+        },
+        "resources": {
+          "type": "array",
+          "items": {
+            "$ref": "#/$defs/Resource"
+          },
+          "minItems": 1
+        },
+        "name": {
+          "type": "string"
+        },
+        "doc": {
+          "type": "string"
+        },
+        "key": {
+          "type": "array",
+          "items": {
+            "type": "string"
+          }
+        },
+        "home": {
+          "$ref": "#/$defs/Home"
+        },
+        "inputs": {
+          "type": "array",
+          "items": {
+            "$ref": "#/$defs/Field"
+          }
+        },
+        "params": {
+          "type": "array",
+          "items": {
+            "$ref": "#/$defs/Field"
+          }
+        },
+        "paramBounds": {
+          "type": "array",
+          "items": {
+            "$ref": "#/$defs/ParamBound"
+          },
+          "minItems": 1
+        },
+        "cycle": {
+          "$ref": "#/$defs/Expr"
+        },
+        "requirements": {
+          "type": "array",
+          "items": {
+            "$ref": "#/$defs/Requirement"
+          }
+        },
+        "actions": {
+          "type": "array",
+          "items": {
+            "$ref": "#/$defs/Action"
+          }
+        },
+        "slots": {
+          "type": "array",
+          "items": {
+            "$ref": "#/$defs/Slot"
+          }
+        },
+        "outputs": {
+          "type": "array",
+          "items": {
+            "$ref": "#/$defs/Output"
+          }
+        },
+        "machines": {
+          "type": "array",
+          "items": {
+            "type": "object",
+            "properties": {
+              "name": {
+                "type": "string"
+              },
+              "protocol": {
+                "type": "string"
+              },
+              "at": {
+                "$ref": "#/$defs/Span"
+              }
+            },
+            "required": ["name", "protocol", "at"]
+          }
+        },
+        "invariants": {
+          "type": "array",
+          "items": {
+            "type": "object",
+            "properties": {
+              "name": {
+                "type": "string"
+              },
+              "cites": {
+                "type": "array",
+                "items": {
+                  "$ref": "#/$defs/Citation"
+                }
+              },
+              "forbids": {
+                "type": "object",
+                "properties": {
+                  "action": {
+                    "type": "string"
+                  },
+                  "subject": {
+                    "$ref": "#/$defs/Expr"
+                  }
+                },
+                "required": ["action", "subject"]
+              },
+              "while": {
+                "$ref": "#/$defs/Expr"
+              },
+              "at": {
+                "$ref": "#/$defs/Span"
+              }
+            },
+            "required": ["name", "forbids", "while", "at"]
+          }
+        },
+        "retention": {
+          "type": "object",
+          "properties": {
+            "until": {
+              "$ref": "#/$defs/Expr"
+            },
+            "disposal": {
+              "type": "string"
+            },
+            "cites": {
+              "type": "array",
+              "items": {
+                "$ref": "#/$defs/Citation"
+              }
+            },
+            "at": {
+              "$ref": "#/$defs/Span"
+            }
+          },
+          "required": ["until", "disposal", "at"]
+        },
+        "at": {
+          "$ref": "#/$defs/Span"
+        }
+      },
+      "required": [
+        "name",
+        "key",
+        "home",
+        "inputs",
+        "params",
+        "requirements",
+        "actions",
+        "slots",
+        "outputs",
+        "machines",
+        "invariants",
+        "at"
+      ]
+    },
+    "Account": {
+      "type": "object",
+      "properties": {
+        "name": {
+          "type": "string"
+        },
+        "doc": {
+          "type": "string"
+        },
+        "requires": {
+          "type": "array",
+          "items": {
+            "type": "object",
+            "properties": {
+              "library": {
+                "type": "string"
+              },
+              "version": {
+                "type": "string"
+              }
+            },
+            "required": ["library", "version"]
+          }
+        },
+        "package": {
+          "type": "object",
+          "properties": {
+            "name": {
+              "type": "string"
+            },
+            "version": {
+              "type": "string"
+            },
+            "digest": {
+              "type": "string"
+            }
+          },
+          "required": ["name", "digest"]
+        },
+        "params": {
+          "type": "array",
+          "items": {
+            "type": "object",
+            "properties": {
+              "name": {
+                "type": "string"
+              },
+              "value": {
+                "$ref": "#/$defs/Expr"
+              }
+            },
+            "required": ["name", "value"]
+          }
+        },
+        "policies": {
+          "type": "array",
+          "items": {
+            "$ref": "#/$defs/AccountPolicy"
+          },
+          "minItems": 1
+        },
+        "upgrade": {
+          "anyOf": [
+            {
+              "const": "open-only"
+            },
+            {
+              "const": "review"
+            },
+            {
+              "const": "next-cycle"
+            }
+          ]
+        },
+        "forEach": {
+          "type": "array",
+          "items": {
+            "type": "object",
+            "properties": {
+              "role": {
+                "type": "string"
+              },
+              "component": {
+                "type": "string"
+              }
+            },
+            "required": ["role", "component"]
+          }
+        },
+        "at": {
+          "$ref": "#/$defs/Span"
+        }
+      },
+      "required": ["name", "requires", "package", "params", "upgrade", "forEach", "at"]
+    },
+    "ScenarioValue": {
+      "anyOf": [
+        {
+          "type": "object",
+          "properties": {
+            "k": {
+              "const": "literal"
+            },
+            "value": {
+              "anyOf": [
+                {
+                  "type": "string"
+                },
+                {
+                  "type": "number"
+                },
+                {
+                  "type": "boolean"
+                },
+                {
+                  "type": "null"
+                }
+              ]
+            },
+            "at": {
+              "$ref": "#/$defs/Span"
+            }
+          },
+          "required": ["k", "value", "at"]
+        },
+        {
+          "type": "object",
+          "properties": {
+            "k": {
+              "const": "entity"
+            },
+            "name": {
+              "type": "string"
+            },
+            "at": {
+              "$ref": "#/$defs/Span"
+            }
+          },
+          "required": ["k", "name", "at"]
+        },
+        {
+          "type": "object",
+          "properties": {
+            "k": {
+              "const": "instance"
+            },
+            "component": {
+              "type": "string"
+            },
+            "key": {
+              "type": "array",
+              "items": {
+                "$ref": "#/$defs/ScenarioValue"
+              }
+            },
+            "cycle": {
+              "type": "integer",
+              "minimum": -9007199254740991,
+              "maximum": 9007199254740991,
+              "exclusiveMinimum": 0
+            },
+            "at": {
+              "$ref": "#/$defs/Span"
+            }
+          },
+          "required": ["k", "component", "key", "at"]
+        }
+      ]
+    },
+    "ScenarioInstance": {
+      "type": "object",
+      "properties": {
+        "k": {
+          "const": "instance"
+        },
+        "component": {
+          "type": "string"
+        },
+        "key": {
+          "type": "array",
+          "items": {
+            "$ref": "#/$defs/ScenarioValue"
+          }
+        },
+        "cycle": {
+          "type": "integer",
+          "minimum": -9007199254740991,
+          "maximum": 9007199254740991,
+          "exclusiveMinimum": 0
+        },
+        "at": {
+          "$ref": "#/$defs/Span"
+        }
+      },
+      "required": ["k", "component", "key", "at"]
+    },
+    "ScenarioStatus": {
+      "anyOf": [
+        {
+          "const": "Unknown"
+        },
+        {
+          "const": "NotApplicable"
+        },
+        {
+          "const": "Open"
+        },
+        {
+          "const": "Overdue"
+        },
+        {
+          "const": "Satisfied"
+        },
+        {
+          "const": "Waived"
+        }
+      ]
+    },
+    "ScenarioExpect": {
+      "anyOf": [
+        {
+          "type": "object",
+          "properties": {
+            "kind": {
+              "const": "resource"
+            },
+            "target": {
+              "$ref": "#/$defs/ScenarioInstance"
+            },
+            "name": {
+              "type": "string"
+            },
+            "expected": {
+              "anyOf": [
+                {
+                  "const": "acquire"
+                },
+                {
+                  "const": "release"
+                },
+                {
+                  "const": "acquiring"
+                },
+                {
+                  "const": "acquired"
+                },
+                {
+                  "const": "releasing"
+                },
+                {
+                  "const": "released"
+                },
+                {
+                  "const": "failed"
+                },
+                {
+                  "const": "uncertain"
+                },
+                {
+                  "const": "timed-out"
+                },
+                {
+                  "const": "waiting"
+                },
+                {
+                  "const": "unknown"
+                },
+                {
+                  "const": "absent"
+                }
+              ]
+            },
+            "at": {
+              "$ref": "#/$defs/Span"
+            }
+          },
+          "required": ["kind", "target", "name", "expected", "at"]
+        },
+        {
+          "type": "object",
+          "properties": {
+            "kind": {
+              "const": "retention"
+            },
+            "target": {
+              "$ref": "#/$defs/ScenarioInstance"
+            },
+            "name": {
+              "const": "retention"
+            },
+            "field": {
+              "anyOf": [
+                {
+                  "const": "until"
+                },
+                {
+                  "const": "eligible"
+                }
+              ]
+            },
+            "expected": {
+              "anyOf": [
+                {
+                  "type": "string"
+                },
+                {
+                  "type": "boolean"
+                },
+                {
+                  "type": "null"
+                }
+              ]
+            },
+            "at": {
+              "$ref": "#/$defs/Span"
+            }
+          },
+          "required": ["kind", "target", "name", "field", "expected", "at"]
+        },
+        {
+          "type": "object",
+          "properties": {
+            "kind": {
+              "const": "property"
+            },
+            "name": {
+              "type": "string"
+            },
+            "binding": {
+              "type": "string"
+            },
+            "expected": {
+              "type": "boolean"
+            },
+            "at": {
+              "$ref": "#/$defs/Span"
+            }
+          },
+          "required": ["kind", "name", "binding", "expected", "at"]
+        },
+        {
+          "type": "object",
+          "properties": {
+            "kind": {
+              "const": "work"
+            },
+            "target": {
+              "$ref": "#/$defs/ScenarioInstance"
+            },
+            "name": {
+              "type": "string"
+            },
+            "expected": {
+              "anyOf": [
+                {
+                  "const": "eligible"
+                },
+                {
+                  "const": "waiting"
+                },
+                {
+                  "const": "dispatched"
+                },
+                {
+                  "const": "held"
+                },
+                {
+                  "const": "absent"
+                }
+              ]
+            },
+            "at": {
+              "$ref": "#/$defs/Span"
+            }
+          },
+          "required": ["kind", "target", "name", "expected", "at"]
+        },
+        {
+          "type": "object",
+          "properties": {
+            "kind": {
+              "const": "why"
+            },
+            "target": {
+              "$ref": "#/$defs/ScenarioInstance"
+            },
+            "name": {
+              "type": "string"
+            },
+            "expected": {
+              "type": "string"
+            },
+            "at": {
+              "$ref": "#/$defs/Span"
+            }
+          },
+          "required": ["kind", "target", "name", "expected", "at"]
+        },
+        {
+          "type": "object",
+          "properties": {
+            "kind": {
+              "const": "blocked"
+            },
+            "target": {
+              "$ref": "#/$defs/ScenarioInstance"
+            },
+            "name": {
+              "type": "string"
+            },
+            "expected": {
+              "type": "boolean"
+            },
+            "at": {
+              "$ref": "#/$defs/Span"
+            }
+          },
+          "required": ["kind", "target", "name", "expected", "at"]
+        },
+        {
+          "type": "object",
+          "properties": {
+            "kind": {
+              "const": "rejected"
+            },
+            "command": {
+              "type": "integer",
+              "minimum": -9007199254740991,
+              "maximum": 9007199254740991,
+              "exclusiveMinimum": 0
+            },
+            "expected": {
+              "anyOf": [
+                {
+                  "type": "string"
+                },
+                {
+                  "type": "boolean"
+                }
+              ]
+            },
+            "at": {
+              "$ref": "#/$defs/Span"
+            }
+          },
+          "required": ["kind", "command", "expected", "at"]
+        },
+        {
+          "type": "object",
+          "properties": {
+            "kind": {
+              "const": "status"
+            },
+            "target": {
+              "$ref": "#/$defs/ScenarioInstance"
+            },
+            "name": {
+              "type": "string"
+            },
+            "expected": {
+              "$ref": "#/$defs/ScenarioStatus"
+            },
+            "at": {
+              "$ref": "#/$defs/Span"
+            }
+          },
+          "required": ["kind", "target", "name", "expected", "at"]
+        },
+        {
+          "type": "object",
+          "properties": {
+            "kind": {
+              "const": "due"
+            },
+            "target": {
+              "$ref": "#/$defs/ScenarioInstance"
+            },
+            "name": {
+              "type": "string"
+            },
+            "expected": {
+              "anyOf": [
+                {
+                  "type": "string"
+                },
+                {
+                  "type": "null"
+                }
+              ]
+            },
+            "at": {
+              "$ref": "#/$defs/Span"
+            }
+          },
+          "required": ["kind", "target", "name", "expected", "at"]
+        }
+      ]
+    },
+    "ScenarioField": {
+      "type": "object",
+      "properties": {
+        "name": {
+          "type": "string"
+        },
+        "value": {
+          "$ref": "#/$defs/ScenarioValue"
+        },
+        "at": {
+          "$ref": "#/$defs/Span"
+        }
+      },
+      "required": ["name", "value", "at"]
+    },
+    "ScenarioFields": {
+      "type": "array",
+      "items": {
+        "$ref": "#/$defs/ScenarioField"
+      }
+    },
+    "ScenarioRecord": {
+      "anyOf": [
+        {
+          "type": "object",
+          "properties": {
+            "target": {
+              "$ref": "#/$defs/ScenarioInstance"
+            },
+            "by": {
+              "$ref": "#/$defs/ScenarioValue"
+            },
+            "date": {
+              "type": "string"
+            },
+            "at": {
+              "$ref": "#/$defs/Span"
+            },
+            "kind": {
+              "const": "evidence"
+            },
+            "evidence": {
+              "type": "string"
+            },
+            "requirement": {
+              "type": "string"
+            },
+            "requirementCycle": {
+              "type": "integer",
+              "minimum": -9007199254740991,
+              "maximum": 9007199254740991,
+              "exclusiveMinimum": 0
+            },
+            "status": {
+              "anyOf": [
+                {
+                  "const": "submitted"
+                },
+                {
+                  "const": "attested"
+                },
+                {
+                  "const": "superseded"
+                }
+              ]
+            },
+            "values": {
+              "$ref": "#/$defs/ScenarioFields"
+            }
+          },
+          "required": ["target", "by", "at", "kind", "evidence", "requirement", "status", "values"]
+        },
+        {
+          "type": "object",
+          "properties": {
+            "target": {
+              "$ref": "#/$defs/ScenarioInstance"
+            },
+            "by": {
+              "$ref": "#/$defs/ScenarioValue"
+            },
+            "date": {
+              "type": "string"
+            },
+            "at": {
+              "$ref": "#/$defs/Span"
+            },
+            "kind": {
+              "const": "signal"
+            },
+            "machine": {
+              "type": "string"
+            },
+            "state": {
+              "type": "string"
+            }
+          },
+          "required": ["target", "by", "at", "kind", "machine", "state"]
+        }
+      ]
+    },
+    "ScenarioCommand": {
+      "anyOf": [
+        {
+          "type": "object",
+          "properties": {
+            "kind": {
+              "const": "resource"
+            },
+            "target": {
+              "$ref": "#/$defs/ScenarioInstance"
+            },
+            "name": {
+              "type": "string"
+            },
+            "phase": {
+              "anyOf": [
+                {
+                  "const": "acquire"
+                },
+                {
+                  "const": "release"
+                }
+              ]
+            },
+            "handle": {
+              "type": "string"
+            },
+            "state": {
+              "type": "string"
+            },
+            "by": {
+              "$ref": "#/$defs/ScenarioValue"
+            },
+            "at": {
+              "$ref": "#/$defs/Span"
+            }
+          },
+          "required": ["kind", "target", "name", "phase", "handle", "by", "at"]
+        },
+        {
+          "type": "object",
+          "properties": {
+            "kind": {
+              "const": "decide"
+            },
+            "target": {
+              "$ref": "#/$defs/ScenarioInstance"
+            },
+            "decision": {
+              "type": "string"
+            },
+            "by": {
+              "$ref": "#/$defs/ScenarioValue"
+            },
+            "id": {
+              "type": "string"
+            },
+            "revoke": {
+              "type": "string"
+            },
+            "reason": {
+              "anyOf": [
+                {
+                  "type": "null"
+                },
+                {
+                  "anyOf": [
+                    {
+                      "type": "string"
+                    },
+                    {
+                      "type": "number"
+                    },
+                    {
+                      "type": "boolean"
+                    }
+                  ]
+                }
+              ]
+            },
+            "at": {
+              "$ref": "#/$defs/Span"
+            }
+          },
+          "required": ["kind", "target", "decision", "by", "at"]
+        },
+        {
+          "$ref": "#/$defs/ScenarioRecord"
+        },
+        {
+          "type": "object",
+          "properties": {
+            "kind": {
+              "const": "accept"
+            },
+            "target": {
+              "$ref": "#/$defs/ScenarioInstance"
+            },
+            "requirement": {
+              "type": "string"
+            },
+            "decision": {
+              "anyOf": [
+                {
+                  "const": "accepted"
+                },
+                {
+                  "const": "declined"
+                }
+              ]
+            },
+            "by": {
+              "$ref": "#/$defs/ScenarioValue"
+            },
+            "id": {
+              "type": "string"
+            },
+            "revoke": {
+              "type": "string"
+            },
+            "reason": {
+              "anyOf": [
+                {
+                  "type": "null"
+                },
+                {
+                  "anyOf": [
+                    {
+                      "type": "string"
+                    },
+                    {
+                      "type": "number"
+                    },
+                    {
+                      "type": "boolean"
+                    }
+                  ]
+                }
+              ]
+            },
+            "at": {
+              "$ref": "#/$defs/Span"
+            }
+          },
+          "required": ["kind", "target", "requirement", "decision", "by", "at"]
+        },
+        {
+          "type": "object",
+          "properties": {
+            "kind": {
+              "const": "set"
+            },
+            "entity": {
+              "type": "string"
+            },
+            "commandKind": {
+              "type": "string"
+            },
+            "subject": {
+              "type": "string"
+            },
+            "field": {
+              "type": "string"
+            },
+            "value": {
+              "$ref": "#/$defs/ScenarioValue"
+            },
+            "by": {
+              "$ref": "#/$defs/ScenarioValue"
+            },
+            "at": {
+              "$ref": "#/$defs/Span"
+            }
+          },
+          "required": ["kind", "entity", "field", "value", "by", "at"]
+        },
+        {
+          "type": "object",
+          "properties": {
+            "kind": {
+              "const": "perform"
+            },
+            "target": {
+              "$ref": "#/$defs/ScenarioInstance"
+            },
+            "action": {
+              "type": "string"
+            },
+            "by": {
+              "$ref": "#/$defs/ScenarioValue"
+            },
+            "unsigned": {
+              "type": "boolean"
+            },
+            "signature": {
+              "$ref": "#/$defs/SignatureInput"
+            },
+            "amend": {
+              "$ref": "#/$defs/AmendmentInput"
+            },
+            "values": {
+              "$ref": "#/$defs/ScenarioFields"
+            },
+            "at": {
+              "$ref": "#/$defs/Span"
+            }
+          },
+          "required": ["kind", "target", "action", "by", "unsigned", "values", "at"]
+        }
+      ]
+    },
+    "ScenarioActor": {
+      "type": "object",
+      "properties": {
+        "name": {
+          "type": "string"
+        },
+        "kind": {
+          "anyOf": [
+            {
+              "const": "human"
+            },
+            {
+              "const": "agent"
+            }
+          ]
+        },
+        "groups": {
+          "type": "array",
+          "items": {
+            "type": "string"
+          }
+        },
+        "at": {
+          "$ref": "#/$defs/Span"
+        }
+      },
+      "required": ["name", "kind", "groups", "at"]
+    },
+    "ScenarioEntity": {
+      "type": "object",
+      "properties": {
+        "name": {
+          "type": "string"
+        },
+        "entity": {
+          "type": "string"
+        },
+        "fields": {
+          "type": "array",
+          "items": {
+            "type": "object",
+            "properties": {
+              "name": {
+                "type": "string"
+              },
+              "value": {
+                "$ref": "#/$defs/ScenarioValue"
+              },
+              "at": {
+                "$ref": "#/$defs/Span"
+              }
+            },
+            "required": ["name", "value", "at"]
+          }
+        },
+        "at": {
+          "$ref": "#/$defs/Span"
+        }
+      },
+      "required": ["name", "entity", "fields", "at"]
+    },
+    "ScenarioFile": {
+      "type": "object",
+      "properties": {
+        "home": {
+          "type": "string"
+        },
+        "digest": {
+          "type": "string"
+        },
+        "mediaType": {
+          "type": "string"
+        },
+        "size": {
+          "type": "integer",
+          "minimum": -9007199254740991,
+          "maximum": 9007199254740991
+        },
+        "scan": {
+          "anyOf": [
+            {
+              "const": "pending"
+            },
+            {
+              "const": "clean"
+            },
+            {
+              "const": "rejected"
+            }
+          ]
+        },
+        "redacted": {
+          "type": "boolean"
+        },
+        "date": {
+          "type": "string"
+        },
+        "at": {
+          "$ref": "#/$defs/Span"
+        }
+      },
+      "required": ["home", "digest", "mediaType", "size", "scan", "redacted", "at"]
+    },
+    "Scenario": {
+      "type": "object",
+      "properties": {
+        "name": {
+          "type": "string"
+        },
+        "doc": {
+          "type": "string"
+        },
+        "world": {
+          "type": "string"
+        },
+        "given": {
+          "type": "array",
+          "items": {
+            "$ref": "#/$defs/ScenarioEntity"
+          }
+        },
+        "files": {
+          "type": "array",
+          "items": {
+            "$ref": "#/$defs/ScenarioFile"
+          }
+        },
+        "actors": {
+          "type": "array",
+          "items": {
+            "$ref": "#/$defs/ScenarioActor"
+          }
+        },
+        "records": {
+          "type": "array",
+          "items": {
+            "$ref": "#/$defs/ScenarioRecord"
+          }
+        },
+        "steps": {
+          "type": "array",
+          "items": {
+            "type": "object",
+            "properties": {
+              "kind": {
+                "const": "at"
+              },
+              "date": {
+                "type": "string"
+              },
+              "expects": {
+                "type": "array",
+                "items": {
+                  "$ref": "#/$defs/ScenarioExpect"
+                }
+              },
+              "commands": {
+                "type": "array",
+                "items": {
+                  "$ref": "#/$defs/ScenarioCommand"
+                }
+              },
+              "at": {
+                "$ref": "#/$defs/Span"
+              }
+            },
+            "required": ["kind", "date", "expects", "at"]
+          }
+        },
+        "at": {
+          "$ref": "#/$defs/Span"
+        }
+      },
+      "required": ["name", "world", "given", "steps", "at"]
+    },
+    "PropertyTarget": {
+      "type": "object",
+      "properties": {
+        "component": {
+          "type": "string"
+        },
+        "key": {
+          "type": "array",
+          "items": {
+            "$ref": "#/$defs/PropertyExpr"
+          }
+        },
+        "cycle": {
+          "type": "integer",
+          "minimum": -9007199254740991,
+          "maximum": 9007199254740991,
+          "exclusiveMinimum": 0
+        },
+        "attachedTo": {
+          "$ref": "#/$defs/PropertyExpr"
+        },
+        "at": {
+          "$ref": "#/$defs/Span"
+        }
+      },
+      "required": ["component", "key", "at"]
+    },
+    "PropertyStatus": {
+      "type": "object",
+      "properties": {
+        "k": {
+          "const": "status"
+        },
+        "target": {
+          "$ref": "#/$defs/PropertyTarget"
+        },
+        "name": {
+          "type": "string"
+        },
+        "at": {
+          "$ref": "#/$defs/Span"
+        }
+      },
+      "required": ["k", "target", "name", "at"]
+    },
+    "PropertyOperator": {
+      "anyOf": [
+        {
+          "const": "implies"
+        },
+        {
+          "const": "and"
+        },
+        {
+          "const": "or"
+        },
+        {
+          "const": "not"
+        },
+        {
+          "const": "="
+        },
+        {
+          "const": "!="
+        },
+        {
+          "const": "<"
+        },
+        {
+          "const": "<="
+        },
+        {
+          "const": ">"
+        },
+        {
+          "const": ">="
+        },
+        {
+          "const": "known?"
+        },
+        {
+          "const": "unknown?"
+        },
+        {
+          "const": "satisfied?"
+        },
+        {
+          "const": "not-applicable?"
+        }
+      ]
+    },
+    "PropertyExpr": {
+      "anyOf": [
+        {
+          "type": "object",
+          "properties": {
+            "k": {
+              "const": "observation"
+            },
+            "of": {
+              "$ref": "#/$defs/PropertyStatus"
+            },
+            "query": {
+              "const": "work"
+            },
+            "action": {
+              "type": "string"
+            },
+            "at": {
+              "$ref": "#/$defs/Span"
+            }
+          },
+          "required": ["k", "of", "query", "action", "at"]
+        },
+        {
+          "type": "object",
+          "properties": {
+            "k": {
+              "const": "observation"
+            },
+            "of": {
+              "$ref": "#/$defs/PropertyStatus"
+            },
+            "query": {
+              "const": "due"
+            },
+            "at": {
+              "$ref": "#/$defs/Span"
+            }
+          },
+          "required": ["k", "of", "query", "at"]
+        },
+        {
+          "type": "object",
+          "properties": {
+            "k": {
+              "const": "observation"
+            },
+            "of": {
+              "$ref": "#/$defs/PropertyStatus"
+            },
+            "query": {
+              "const": "occurrence-count"
+            },
+            "cycle": {
+              "$ref": "#/$defs/PropertyExpr"
+            },
+            "at": {
+              "$ref": "#/$defs/Span"
+            }
+          },
+          "required": ["k", "of", "query", "at"]
+        },
+        {
+          "type": "object",
+          "properties": {
+            "k": {
+              "const": "literal"
+            },
+            "value": {
+              "anyOf": [
+                {
+                  "type": "string"
+                },
+                {
+                  "type": "number"
+                },
+                {
+                  "type": "boolean"
+                },
+                {
+                  "type": "null"
+                }
+              ]
+            },
+            "at": {
+              "$ref": "#/$defs/Span"
+            }
+          },
+          "required": ["k", "value", "at"]
+        },
+        {
+          "type": "object",
+          "properties": {
+            "k": {
+              "const": "read"
+            },
+            "root": {
+              "type": "string"
+            },
+            "attrs": {
+              "type": "array",
+              "items": {
+                "type": "string"
+              }
+            },
+            "at": {
+              "$ref": "#/$defs/Span"
+            }
+          },
+          "required": ["k", "root", "attrs", "at"]
+        },
+        {
+          "type": "object",
+          "properties": {
+            "k": {
+              "const": "instance"
+            },
+            "target": {
+              "$ref": "#/$defs/PropertyTarget"
+            },
+            "at": {
+              "$ref": "#/$defs/Span"
+            }
+          },
+          "required": ["k", "target", "at"]
+        },
+        {
+          "$ref": "#/$defs/PropertyStatus"
+        },
+        {
+          "type": "object",
+          "properties": {
+            "k": {
+              "const": "attested"
+            },
+            "target": {
+              "$ref": "#/$defs/PropertyTarget"
+            },
+            "evidence": {
+              "type": "string"
+            },
+            "at": {
+              "$ref": "#/$defs/Span"
+            }
+          },
+          "required": ["k", "target", "evidence", "at"]
+        },
+        {
+          "type": "object",
+          "properties": {
+            "k": {
+              "const": "call"
+            },
+            "op": {
+              "$ref": "#/$defs/PropertyOperator"
+            },
+            "args": {
+              "type": "array",
+              "items": {
+                "$ref": "#/$defs/PropertyExpr"
+              }
+            },
+            "at": {
+              "$ref": "#/$defs/Span"
+            }
+          },
+          "required": ["k", "op", "args", "at"]
+        }
+      ]
+    },
+    "Property": {
+      "type": "object",
+      "properties": {
+        "name": {
+          "type": "string"
+        },
+        "doc": {
+          "type": "string"
+        },
+        "world": {
+          "type": "string"
+        },
+        "date": {
+          "type": "string"
+        },
+        "binding": {
+          "type": "object",
+          "properties": {
+            "name": {
+              "type": "string"
+            },
+            "entity": {
+              "type": "string"
+            },
+            "at": {
+              "$ref": "#/$defs/Span"
+            }
+          },
+          "required": ["name", "entity", "at"]
+        },
+        "given": {
+          "type": "array",
+          "items": {
+            "$ref": "#/$defs/ScenarioEntity"
+          }
+        },
+        "records": {
+          "type": "array",
+          "items": {
+            "$ref": "#/$defs/ScenarioRecord"
+          }
+        },
+        "predicate": {
+          "$ref": "#/$defs/PropertyExpr"
+        },
+        "at": {
+          "$ref": "#/$defs/Span"
+        }
+      },
+      "required": ["name", "world", "date", "binding", "predicate", "at"]
+    },
+    "Decision": {
+      "type": "object",
+      "properties": {
+        "name": {
+          "type": "string"
+        },
+        "doc": {
+          "type": "string"
+        },
+        "of": {
+          "type": "string"
+        },
+        "by": {
+          "$ref": "#/$defs/Expr"
+        },
+        "byKind": {
+          "anyOf": [
+            {
+              "const": "individual"
+            },
+            {
+              "const": "group"
+            }
+          ]
+        },
+        "applies": {
+          "type": "string"
+        },
+        "when": {
+          "$ref": "#/$defs/Expr"
+        },
+        "effect": {
+          "anyOf": [
+            {
+              "const": "approve"
+            },
+            {
+              "const": "reject"
+            },
+            {
+              "const": "waive"
+            },
+            {
+              "const": "defer"
+            },
+            {
+              "const": "accept"
+            },
+            {
+              "const": "add"
+            }
+          ]
+        },
+        "reason": {
+          "$ref": "#/$defs/TypeRef"
+        },
+        "until": {
+          "$ref": "#/$defs/Expr"
+        },
+        "expires": {
+          "$ref": "#/$defs/Expr"
+        },
+        "approvals": {
+          "$ref": "#/$defs/Expr"
+        },
+        "distinctFrom": {
+          "type": "array",
+          "items": {
+            "$ref": "#/$defs/Expr"
+          }
+        },
+        "cites": {
+          "type": "array",
+          "items": {
+            "$ref": "#/$defs/Citation"
+          }
+        },
+        "at": {
+          "$ref": "#/$defs/Span"
+        }
+      },
+      "required": ["name", "of", "by", "applies", "effect", "reason", "at"]
+    },
+    "ConfirmationWindow": {
+      "type": "object",
+      "properties": {
+        "n": {
+          "type": "integer",
+          "minimum": 1,
+          "maximum": 9007199254740991
+        },
+        "unit": {
+          "anyOf": [
+            {
+              "const": "days"
+            },
+            {
+              "const": "years"
+            },
+            {
+              "const": "hours"
+            },
+            {
+              "const": "minutes"
+            }
+          ]
+        },
+        "at": {
+          "$ref": "#/$defs/Span"
+        }
+      },
+      "required": ["n", "unit", "at"]
+    },
+    "Collect": {
+      "type": "object",
+      "properties": {
+        "name": {
+          "type": "string"
+        },
+        "doc": {
+          "type": "string"
+        },
+        "from": {
+          "type": "string"
+        },
+        "facts": {
+          "type": "array",
+          "items": {
+            "type": "string"
+          },
+          "minItems": 1
+        },
+        "layout": {
+          "type": "string"
+        },
+        "confirmAfter": {
+          "$ref": "#/$defs/ConfirmationWindow"
+        },
+        "at": {
+          "$ref": "#/$defs/Span"
+        }
+      },
+      "required": ["name", "from", "facts", "layout", "at"]
+    },
+    "Bundle": {
+      "type": "object",
+      "properties": {
+        "name": {
+          "type": "string"
+        },
+        "doc": {
+          "type": "string"
+        },
+        "role": {
+          "type": "string"
+        },
+        "label": {
+          "type": "string"
+        },
+        "at": {
+          "$ref": "#/$defs/Span"
+        }
+      },
+      "required": ["name", "role", "label", "at"]
+    },
+    "ContractOperation": {
+      "type": "object",
+      "properties": {
+        "name": {
+          "type": "string"
+        },
+        "kind": {
+          "anyOf": [
+            {
+              "const": "action"
+            },
+            {
+              "const": "decision"
+            }
+          ]
+        },
+        "input": {
+          "type": "array",
+          "items": {
+            "$ref": "#/$defs/Field"
+          }
+        },
+        "result": {
+          "type": "string"
+        },
+        "sealedBy": {
+          "$ref": "#/$defs/Seal"
+        },
+        "amendable": {
+          "type": "boolean"
+        },
+        "signature": {
+          "type": "object",
+          "properties": {
+            "method": {
+              "type": "string"
+            },
+            "audit": {
+              "$ref": "#/$defs/SignaturePolicy"
+            }
+          },
+          "required": ["method", "audit"]
+        }
+      },
+      "required": ["name", "kind", "input", "result"]
+    },
+    "ComponentContract": {
+      "type": "object",
+      "properties": {
+        "name": {
+          "type": "string"
+        },
+        "doc": {
+          "type": "string"
+        },
+        "library": {
+          "type": "string"
+        },
+        "component": {
+          "type": "string"
+        },
+        "key": {
+          "type": "array",
+          "items": {
+            "type": "string"
+          }
+        },
+        "home": {
+          "$ref": "#/$defs/Home"
+        },
+        "inputs": {
+          "type": "array",
+          "items": {
+            "$ref": "#/$defs/Field"
+          }
+        },
+        "params": {
+          "type": "array",
+          "items": {
+            "$ref": "#/$defs/Field"
+          }
+        },
+        "paramBounds": {
+          "type": "array",
+          "items": {
+            "$ref": "#/$defs/ParamBound"
+          }
+        },
+        "types": {
+          "type": "array",
+          "items": {
+            "$ref": "#/$defs/Field"
+          }
+        },
+        "roles": {
+          "type": "array",
+          "items": {
+            "type": "object",
+            "properties": {
+              "name": {
+                "type": "string"
+              },
+              "fields": {
+                "type": "array",
+                "items": {
+                  "$ref": "#/$defs/Field"
+                }
+              }
+            },
+            "required": ["name", "fields"]
+          }
+        },
+        "vaults": {
+          "type": "array",
+          "items": {
+            "$ref": "#/$defs/Vault"
+          },
+          "minItems": 1
+        },
+        "outputs": {
+          "type": "array",
+          "items": {
+            "type": "object",
+            "properties": {
+              "name": {
+                "type": "string"
+              },
+              "type": {
+                "const": "Status"
+              }
+            },
+            "required": ["name", "type"]
+          }
+        },
+        "operations": {
+          "type": "array",
+          "items": {
+            "$ref": "#/$defs/ContractOperation"
+          }
+        },
+        "capabilities": {
+          "type": "array",
+          "items": {
+            "type": "object",
+            "properties": {
+              "connector": {
+                "type": "string"
+              },
+              "capabilities": {
+                "type": "array",
+                "items": {
+                  "type": "string"
+                }
+              }
+            },
+            "required": ["connector", "capabilities"]
+          }
+        },
+        "digest": {
+          "type": "string"
+        },
+        "at": {
+          "$ref": "#/$defs/Span"
+        }
+      },
+      "required": [
+        "name",
+        "library",
+        "component",
+        "key",
+        "home",
+        "inputs",
+        "params",
+        "paramBounds",
+        "types",
+        "roles",
+        "outputs",
+        "operations",
+        "capabilities",
+        "digest",
+        "at"
+      ]
+    },
+    "ComponentImport": {
+      "type": "object",
+      "properties": {
+        "name": {
+          "type": "string"
+        },
+        "doc": {
+          "type": "string"
+        },
+        "library": {
+          "type": "string"
+        },
+        "from": {
+          "type": "string"
+        },
+        "version": {
+          "type": "string"
+        },
+        "contract": {
+          "type": "string"
+        },
+        "digest": {
+          "type": "string"
+        },
+        "at": {
+          "$ref": "#/$defs/Span"
+        }
+      },
+      "required": ["name", "library", "from", "version", "contract", "digest", "at"]
+    },
+    "WorldIR": {
+      "type": "object",
+      "properties": {
+        "format": {
+          "const": "worldvm/world-ir@1"
+        },
+        "sources": {
+          "type": "array",
+          "items": {
+            "type": "object",
+            "properties": {
+              "id": {
+                "type": "string"
+              },
+              "sha256": {
+                "type": "string"
+              }
+            },
+            "required": ["id", "sha256"]
+          }
+        },
+        "references": {
+          "type": "array",
+          "items": {
+            "$ref": "#/$defs/Source"
+          }
+        },
+        "scenarios": {
+          "type": "array",
+          "items": {
+            "$ref": "#/$defs/Scenario"
+          }
+        },
+        "properties": {
+          "type": "array",
+          "items": {
+            "$ref": "#/$defs/Property"
+          }
+        },
+        "decisions": {
+          "type": "array",
+          "items": {
+            "$ref": "#/$defs/Decision"
+          }
+        },
+        "collects": {
+          "type": "array",
+          "items": {
+            "$ref": "#/$defs/Collect"
+          }
+        },
+        "bundles": {
+          "type": "array",
+          "items": {
+            "$ref": "#/$defs/Bundle"
+          }
+        },
+        "documents": {
+          "type": "array",
+          "items": {
+            "$ref": "#/$defs/Document"
+          }
+        },
+        "notices": {
+          "type": "array",
+          "items": {
+            "$ref": "#/$defs/Notice"
+          }
+        },
+        "vaults": {
+          "type": "array",
+          "items": {
+            "$ref": "#/$defs/Vault"
+          },
+          "minItems": 1
+        },
+        "agents": {
+          "type": "array",
+          "items": {
+            "$ref": "#/$defs/Agent"
+          },
+          "minItems": 1
+        },
+        "libraries": {
+          "type": "array",
+          "items": {
+            "$ref": "#/$defs/Library"
+          }
+        },
+        "types": {
+          "type": "array",
+          "items": {
+            "$ref": "#/$defs/TypeAlias"
+          }
+        },
+        "roles": {
+          "type": "array",
+          "items": {
+            "$ref": "#/$defs/Role"
+          }
+        },
+        "entities": {
+          "type": "array",
+          "items": {
+            "$ref": "#/$defs/Entity"
+          }
+        },
+        "calendars": {
+          "type": "array",
+          "items": {
+            "$ref": "#/$defs/Calendar"
+          }
+        },
+        "derives": {
+          "type": "array",
+          "items": {
+            "$ref": "#/$defs/Derive"
+          }
+        },
+        "evidence": {
+          "type": "array",
+          "items": {
+            "$ref": "#/$defs/Evidence"
+          }
+        },
+        "interactions": {
+          "type": "array",
+          "items": {
+            "$ref": "#/$defs/Interaction"
+          }
+        },
+        "layouts": {
+          "type": "array",
+          "items": {
+            "$ref": "#/$defs/Layout"
+          }
+        },
+        "connectors": {
+          "type": "array",
+          "items": {
+            "$ref": "#/$defs/Connector"
+          }
+        },
+        "machines": {
+          "type": "array",
+          "items": {
+            "$ref": "#/$defs/Machine"
+          }
+        },
+        "componentContracts": {
+          "type": "array",
+          "items": {
+            "$ref": "#/$defs/ComponentContract"
+          },
+          "minItems": 1
+        },
+        "componentImports": {
+          "type": "array",
+          "items": {
+            "$ref": "#/$defs/ComponentImport"
+          },
+          "minItems": 1
+        },
+        "components": {
+          "type": "array",
+          "items": {
+            "$ref": "#/$defs/Component"
+          }
+        },
+        "accounts": {
+          "type": "array",
+          "items": {
+            "$ref": "#/$defs/Account"
+          }
+        }
+      },
+      "required": [
+        "format",
+        "sources",
+        "libraries",
+        "types",
+        "roles",
+        "entities",
+        "calendars",
+        "derives",
+        "evidence",
+        "interactions",
+        "layouts",
+        "connectors",
+        "machines",
+        "components",
+        "accounts"
+      ]
+    },
+    "Diagnostic": {
+      "type": "object",
+      "properties": {
+        "code": {
+          "type": "string"
+        },
+        "severity": {
+          "anyOf": [
+            {
+              "const": "error"
+            },
+            {
+              "const": "warning"
+            },
+            {
+              "const": "info"
+            }
+          ]
+        },
+        "message": {
+          "type": "string"
+        },
+        "help": {
+          "type": "string"
+        },
+        "at": {
+          "$ref": "#/$defs/Span"
+        }
+      },
+      "required": ["code", "severity", "message"]
+    },
+    "Compiled": {
+      "type": "object",
+      "properties": {
+        "ok": {
+          "type": "boolean"
+        },
+        "ir": {
+          "anyOf": [
+            {
+              "type": "null"
+            },
+            {
+              "$ref": "#/$defs/WorldIR"
+            }
+          ]
+        },
+        "diagnostics": {
+          "type": "array",
+          "items": {
+            "$ref": "#/$defs/Diagnostic"
+          }
+        }
+      },
+      "required": ["ok", "ir", "diagnostics"]
+    }
+  }
+}