{
  "$schema": "https://json-schema.org/draft/2020-12/schema",
  "$id": "https://law.arxo.io/schema/law-expansion.schema.json",
  "title": "Arxo expansion answer 0.1",
  "description": "The editor-side wrapper around the answer of the generic expand operation on one open-document version. The result field keeps the command line’s machine envelope unchanged, without touching the compiled model.", "$comment": "SPEC §213; SPEC §219",
  "type": "object",
  "additionalProperties": false,
  "required": ["schema", "uri", "version", "result"],
  "properties": {
    "schema": { "const": "law.expansion/0.1" },
    "uri": { "type": "string", "pattern": "^file://" },
    "version": { "type": "integer" },
    "result": {
      "type": "object",
      "required": ["command", "ok", "input"],
      "properties": {
        "command": { "const": "expand" },
        "ok": { "const": true },
        "input": { "type": "string" }
      }
    }
  }
}