@openuji/speculator 0.3.1 → 0.4.0

package/schema/spec-ast.schema.json

@@ -0,0 +1,1440 @@
+{
+    "$schema": "http://json-schema.org/draft-07/schema#",
+    "$id": "https://speculator.dev/schema/spec-ast.schema.json",
+    "title": "Speculator AST Schema",
+    "version": "1.0.0",
+    "x-schema-version": "1.0.0",
+    "description": "AST-first schema for Speculator workspace. A workspace contains one or more specification documents. Semantic marker nodes are introduced during parse and may be refined during resolve. Global indexing aggregates definitions across documents.",
+    "type": "object",
+    "definitions": {
+        "SourcePos": {
+            "type": "object",
+            "description": "Source position for bidirectional AST-to-source mapping",
+            "properties": {
+                "file": {
+                    "type": "string",
+                    "description": "Canonical file path (preserves include origins)"
+                },
+                "line": {
+                    "type": "integer",
+                    "minimum": 1,
+                    "description": "1-indexed line number"
+                },
+                "column": {
+                    "type": "integer",
+                    "minimum": 1,
+                    "description": "1-indexed column number"
+                },
+                "offset": {
+                    "type": "integer",
+                    "minimum": 0,
+                    "description": "0-indexed byte offset from file start"
+                },
+                "endLine": {
+                    "type": "integer",
+                    "minimum": 1
+                },
+                "endColumn": {
+                    "type": "integer",
+                    "minimum": 1
+                },
+                "endOffset": {
+                    "type": "integer",
+                    "minimum": 0
+                }
+            },
+            "required": [
+                "file",
+                "line",
+                "column"
+            ]
+        },
+        "BaseNode": {
+            "type": "object",
+            "properties": {
+                "sourcePos": {
+                    "$ref": "#/definitions/SourcePos"
+                }
+            }
+        },
+        "InlineText": {
+            "allOf": [
+                {
+                    "$ref": "#/definitions/BaseNode"
+                },
+                {
+                    "type": "object",
+                    "properties": {
+                        "type": {
+                            "const": "text"
+                        },
+                        "value": {
+                            "type": "string"
+                        }
+                    },
+                    "required": [
+                        "type",
+                        "value"
+                    ]
+                }
+            ]
+        },
+        "InlineEmphasis": {
+            "allOf": [
+                {
+                    "$ref": "#/definitions/BaseNode"
+                },
+                {
+                    "type": "object",
+                    "properties": {
+                        "type": {
+                            "const": "emphasis"
+                        },
+                        "children": {
+                            "type": "array",
+                            "items": {
+                                "$ref": "#/definitions/Inline"
+                            }
+                        }
+                    },
+                    "required": [
+                        "type",
+                        "children"
+                    ]
+                }
+            ]
+        },
+        "InlineStrong": {
+            "allOf": [
+                {
+                    "$ref": "#/definitions/BaseNode"
+                },
+                {
+                    "type": "object",
+                    "properties": {
+                        "type": {
+                            "const": "strong"
+                        },
+                        "children": {
+                            "type": "array",
+                            "items": {
+                                "$ref": "#/definitions/Inline"
+                            }
+                        }
+                    },
+                    "required": [
+                        "type",
+                        "children"
+                    ]
+                }
+            ]
+        },
+        "InlineCode": {
+            "allOf": [
+                {
+                    "$ref": "#/definitions/BaseNode"
+                },
+                {
+                    "type": "object",
+                    "properties": {
+                        "type": {
+                            "const": "inlineCode"
+                        },
+                        "value": {
+                            "type": "string"
+                        }
+                    },
+                    "required": [
+                        "type",
+                        "value"
+                    ]
+                }
+            ]
+        },
+        "InlineLink": {
+            "allOf": [
+                {
+                    "$ref": "#/definitions/BaseNode"
+                },
+                {
+                    "type": "object",
+                    "properties": {
+                        "type": {
+                            "const": "link"
+                        },
+                        "url": {
+                            "type": "string"
+                        },
+                        "title": {
+                            "type": [
+                                "string",
+                                "null"
+                            ]
+                        },
+                        "children": {
+                            "type": "array",
+                            "items": {
+                                "$ref": "#/definitions/Inline"
+                            }
+                        }
+                    },
+                    "required": [
+                        "type",
+                        "url",
+                        "children"
+                    ]
+                }
+            ]
+        },
+        "InlineImage": {
+            "allOf": [
+                {
+                    "$ref": "#/definitions/BaseNode"
+                },
+                {
+                    "type": "object",
+                    "properties": {
+                        "type": {
+                            "const": "image"
+                        },
+                        "url": {
+                            "type": "string"
+                        },
+                        "alt": {
+                            "type": [
+                                "string",
+                                "null"
+                            ]
+                        },
+                        "title": {
+                            "type": [
+                                "string",
+                                "null"
+                            ]
+                        }
+                    },
+                    "required": [
+                        "type",
+                        "url"
+                    ]
+                }
+            ]
+        },
+        "InlineDefinition": {
+            "allOf": [
+                {
+                    "$ref": "#/definitions/BaseNode"
+                },
+                {
+                    "type": "object",
+                    "description": "Inline definition marker (dfn). The term and children are parse-level requirements. The canonical id may be author-specified or assigned/refined during resolve. Indexed during the indexing phase.",
+                    "properties": {
+                        "type": {
+                            "const": "definition"
+                        },
+                        "explicitId": {
+                            "type": "string",
+                            "description": "Author-specified definition identifier, if provided."
+                        },
+                        "id": {
+                            "type": "string",
+                            "description": "Canonical unique identifier for this definition. May be assigned/refined during resolve."
+                        },
+                        "term": {
+                            "type": "string",
+                            "description": "The term being defined (normalized)"
+                        },
+                        "linkTexts": {
+                            "type": "array",
+                            "items": {
+                                "type": "string"
+                            },
+                            "description": "Alternative link texts from data-lt attribute. Parse fills from data-lt or [term]."
+                        },
+                        "forContexts": {
+                            "type": "array",
+                            "items": {
+                                "type": [
+                                    "string",
+                                    "null"
+                                ]
+                            },
+                            "description": "For-contexts from data-dfn-for attribute (e.g., owning interface). Parse fills from data-dfn-for or [null]."
+                        },
+                        "dfnType": {
+                            "type": "string",
+                            "description": "Definition type from data-dfn-type (e.g., dfn, attribute, method). Defaults to 'dfn'."
+                        },
+                        "children": {
+                            "type": "array",
+                            "items": {
+                                "$ref": "#/definitions/Inline"
+                            }
+                        }
+                    },
+                    "required": [
+                        "type",
+                        "term",
+                        "children"
+                    ]
+                }
+            ]
+        },
+        "InlineReference": {
+            "allOf": [
+                {
+                    "$ref": "#/definitions/BaseNode"
+                },
+                {
+                    "type": "object",
+                    "description": "Cross-reference marker. Parse requires targetTerm and children. Resolve may bind targetId after global dfn collection. Indexed during the indexing phase.",
+                    "properties": {
+                        "type": {
+                            "const": "reference"
+                        },
+                        "targetTerm": {
+                            "type": "string",
+                            "description": "Primary reference term used to resolve a target definition."
+                        },
+                        "candidateTerms": {
+                            "type": "array",
+                            "items": {
+                                "type": "string"
+                            },
+                            "description": "Alternative term candidates from data-lt. Parse fills from data-lt or [targetTerm]."
+                        },
+                        "forContexts": {
+                            "type": "array",
+                            "items": {
+                                "type": [
+                                    "string",
+                                    "null"
+                                ]
+                            },
+                            "description": "For-contexts from data-xref-for (e.g., owning interface). Parse fills from data-xref-for or [null]."
+                        },
+                        "preferredType": {
+                            "type": [
+                                "string",
+                                "null"
+                            ],
+                            "description": "Preferred definition type from data-link-type."
+                        },
+                        "xrefSpec": {
+                            "type": [
+                                "string",
+                                "null"
+                            ],
+                            "description": "Explicit spec to search from data-xref-spec. Restricts external search."
+                        },
+                        "allowExternal": {
+                            "type": "boolean",
+                            "description": "Whether external lookup is allowed. False if data-allow-external='no'.",
+                            "default": true
+                        },
+                        "targetId": {
+                            "type": "string",
+                            "description": "Resolved ID of the referenced definition. Filled during resolve phase."
+                        },
+                        "children": {
+                            "type": "array",
+                            "items": {
+                                "$ref": "#/definitions/Inline"
+                            }
+                        }
+                    },
+                    "required": [
+                        "type",
+                        "targetTerm",
+                        "children"
+                    ]
+                }
+            ]
+        },
+        "InlineRequirement": {
+            "allOf": [
+                {
+                    "$ref": "#/definitions/BaseNode"
+                },
+                {
+                    "type": "object",
+                    "description": "RFC 2119 requirement keyword. Indexed during the indexing phase.",
+                    "properties": {
+                        "type": {
+                            "const": "requirement"
+                        },
+                        "keyword": {
+                            "type": "string",
+                            "enum": [
+                                "MUST",
+                                "MUST NOT",
+                                "REQUIRED",
+                                "SHALL",
+                                "SHALL NOT",
+                                "SHOULD",
+                                "SHOULD NOT",
+                                "RECOMMENDED",
+                                "MAY",
+                                "OPTIONAL"
+                            ]
+                        },
+                        "id": {
+                            "type": "string",
+                            "description": "Optional requirement identifier"
+                        }
+                    },
+                    "required": [
+                        "type",
+                        "keyword"
+                    ]
+                }
+            ]
+        },
+        "InlineIssue": {
+            "allOf": [
+                {
+                    "$ref": "#/definitions/BaseNode"
+                },
+                {
+                    "type": "object",
+                    "description": "Open issue or TODO marker. Indexed during the indexing phase.",
+                    "properties": {
+                        "type": {
+                            "const": "issue"
+                        },
+                        "id": {
+                            "type": "string"
+                        },
+                        "status": {
+                            "type": "string",
+                            "enum": [
+                                "open",
+                                "closed",
+                                "wontfix"
+                            ],
+                            "default": "open"
+                        },
+                        "children": {
+                            "type": "array",
+                            "items": {
+                                "$ref": "#/definitions/Inline"
+                            }
+                        }
+                    },
+                    "required": [
+                        "type",
+                        "children"
+                    ]
+                }
+            ]
+        },
+        "InlineCite": {
+            "allOf": [
+                {
+                    "$ref": "#/definitions/BaseNode"
+                },
+                {
+                    "type": "object",
+                    "description": "Citation marker. The key is parse-level; resolve may link to a bibliography entry and validate presence/ambiguity. Indexed during the indexing phase.",
+                    "properties": {
+                        "type": {
+                            "const": "cite"
+                        },
+                        "key": {
+                            "type": "string",
+                            "description": "Citation key (e.g., RFC2119, WHATWG-URL, etc.)"
+                        },
+                        "kind": {
+                            "type": "string",
+                            "enum": [
+                                "normative",
+                                "informative"
+                            ],
+                            "description": "Final citation kind. Determined by forcing or section context."
+                        },
+                        "expanded": {
+                            "type": "boolean",
+                            "description": "True for [[[FOO]]] form - displays full title."
+                        },
+                        "forcedNormative": {
+                            "type": "boolean",
+                            "description": "True if [[!FOO]] or data-cite starts with !."
+                        },
+                        "forcedInformative": {
+                            "type": "boolean",
+                            "description": "True if [[?FOO]] form."
+                        },
+                        "specId": {
+                            "type": [
+                                "string",
+                                "null"
+                            ],
+                            "description": "Spec shortname from data-cite (e.g., 'html', 'dom')."
+                        },
+                        "path": {
+                            "type": [
+                                "string",
+                                "null"
+                            ],
+                            "description": "Path component from data-cite (e.g., '/section-2')."
+                        },
+                        "fragment": {
+                            "type": [
+                                "string",
+                                "null"
+                            ],
+                            "description": "Fragment identifier from data-cite (e.g., 'the-a-element')."
+                        },
+                        "children": {
+                            "type": "array",
+                            "items": {
+                                "$ref": "#/definitions/Inline"
+                            },
+                            "description": "Optional inline content that represents the cite text."
+                        }
+                    },
+                    "required": [
+                        "type",
+                        "key"
+                    ]
+                }
+            ]
+        },
+        "Inline": {
+            "oneOf": [
+                {
+                    "$ref": "#/definitions/InlineText"
+                },
+                {
+                    "$ref": "#/definitions/InlineEmphasis"
+                },
+                {
+                    "$ref": "#/definitions/InlineStrong"
+                },
+                {
+                    "$ref": "#/definitions/InlineCode"
+                },
+                {
+                    "$ref": "#/definitions/InlineLink"
+                },
+                {
+                    "$ref": "#/definitions/InlineImage"
+                },
+                {
+                    "$ref": "#/definitions/InlineDefinition"
+                },
+                {
+                    "$ref": "#/definitions/InlineReference"
+                },
+                {
+                    "$ref": "#/definitions/InlineRequirement"
+                },
+                {
+                    "$ref": "#/definitions/InlineIssue"
+                },
+                {
+                    "$ref": "#/definitions/InlineCite"
+                }
+            ]
+        },
+        "BlockParagraph": {
+            "allOf": [
+                {
+                    "$ref": "#/definitions/BaseNode"
+                },
+                {
+                    "type": "object",
+                    "properties": {
+                        "type": {
+                            "const": "paragraph"
+                        },
+                        "id": {
+                            "type": "string"
+                        },
+                        "children": {
+                            "type": "array",
+                            "items": {
+                                "$ref": "#/definitions/Inline"
+                            }
+                        }
+                    },
+                    "required": [
+                        "type",
+                        "children"
+                    ]
+                }
+            ]
+        },
+        "BlockHeading": {
+            "allOf": [
+                {
+                    "$ref": "#/definitions/BaseNode"
+                },
+                {
+                    "type": "object",
+                    "properties": {
+                        "type": {
+                            "const": "heading"
+                        },
+                        "depth": {
+                            "type": "integer",
+                            "minimum": 1,
+                            "maximum": 6
+                        },
+                        "id": {
+                            "type": "string",
+                            "description": "Optional explicit heading ID"
+                        },
+                        "children": {
+                            "type": "array",
+                            "items": {
+                                "$ref": "#/definitions/Inline"
+                            }
+                        }
+                    },
+                    "required": [
+                        "type",
+                        "depth",
+                        "children"
+                    ]
+                }
+            ]
+        },
+        "BlockCodeBlock": {
+            "allOf": [
+                {
+                    "$ref": "#/definitions/BaseNode"
+                },
+                {
+                    "type": "object",
+                    "properties": {
+                        "type": {
+                            "const": "codeBlock"
+                        },
+                        "id": {
+                            "type": "string"
+                        },
+                        "lang": {
+                            "type": [
+                                "string",
+                                "null"
+                            ]
+                        },
+                        "meta": {
+                            "type": [
+                                "string",
+                                "null"
+                            ]
+                        },
+                        "value": {
+                            "type": "string"
+                        }
+                    },
+                    "required": [
+                        "type",
+                        "value"
+                    ]
+                }
+            ]
+        },
+        "BlockExample": {
+            "allOf": [
+                {
+                    "$ref": "#/definitions/BaseNode"
+                },
+                {
+                    "type": "object",
+                    "description": "Example block. Indexed during the indexing phase.",
+                    "properties": {
+                        "type": {
+                            "const": "example"
+                        },
+                        "id": {
+                            "type": "string"
+                        },
+                        "title": {
+                            "type": [
+                                "string",
+                                "null"
+                            ]
+                        },
+                        "children": {
+                            "type": "array",
+                            "items": {
+                                "$ref": "#/definitions/Block"
+                            }
+                        }
+                    },
+                    "required": [
+                        "type",
+                        "children"
+                    ]
+                }
+            ]
+        },
+        "BlockQuote": {
+            "allOf": [
+                {
+                    "$ref": "#/definitions/BaseNode"
+                },
+                {
+                    "type": "object",
+                    "properties": {
+                        "type": {
+                            "const": "blockquote"
+                        },
+                        "id": {
+                            "type": "string"
+                        },
+                        "children": {
+                            "type": "array",
+                            "items": {
+                                "$ref": "#/definitions/Block"
+                            }
+                        }
+                    },
+                    "required": [
+                        "type",
+                        "children"
+                    ]
+                }
+            ]
+        },
+        "ListItem": {
+            "allOf": [
+                {
+                    "$ref": "#/definitions/BaseNode"
+                },
+                {
+                    "type": "object",
+                    "properties": {
+                        "type": {
+                            "const": "listItem"
+                        },
+                        "checked": {
+                            "type": [
+                                "boolean",
+                                "null"
+                            ],
+                            "description": "For task lists: true/false/null"
+                        },
+                        "children": {
+                            "type": "array",
+                            "items": {
+                                "$ref": "#/definitions/Block"
+                            }
+                        }
+                    },
+                    "required": [
+                        "type",
+                        "children"
+                    ]
+                }
+            ]
+        },
+        "BlockList": {
+            "allOf": [
+                {
+                    "$ref": "#/definitions/BaseNode"
+                },
+                {
+                    "type": "object",
+                    "properties": {
+                        "type": {
+                            "const": "list"
+                        },
+                        "ordered": {
+                            "type": "boolean"
+                        },
+                        "id": {
+                            "type": "string"
+                        },
+                        "start": {
+                            "type": [
+                                "integer",
+                                "null"
+                            ],
+                            "description": "Starting number for ordered lists"
+                        },
+                        "children": {
+                            "type": "array",
+                            "items": {
+                                "$ref": "#/definitions/ListItem"
+                            }
+                        }
+                    },
+                    "required": [
+                        "type",
+                        "ordered",
+                        "children"
+                    ]
+                }
+            ]
+        },
+        "TableCell": {
+            "allOf": [
+                {
+                    "$ref": "#/definitions/BaseNode"
+                },
+                {
+                    "type": "object",
+                    "properties": {
+                        "type": {
+                            "const": "tableCell"
+                        },
+                        "header": {
+                            "type": "boolean",
+                            "default": false
+                        },
+                        "align": {
+                            "type": [
+                                "string",
+                                "null"
+                            ],
+                            "enum": [
+                                "left",
+                                "center",
+                                "right",
+                                null
+                            ]
+                        },
+                        "children": {
+                            "type": "array",
+                            "items": {
+                                "$ref": "#/definitions/Inline"
+                            }
+                        }
+                    },
+                    "required": [
+                        "type",
+                        "children"
+                    ]
+                }
+            ]
+        },
+        "TableRow": {
+            "allOf": [
+                {
+                    "$ref": "#/definitions/BaseNode"
+                },
+                {
+                    "type": "object",
+                    "properties": {
+                        "type": {
+                            "const": "tableRow"
+                        },
+                        "children": {
+                            "type": "array",
+                            "items": {
+                                "$ref": "#/definitions/TableCell"
+                            }
+                        }
+                    },
+                    "required": [
+                        "type",
+                        "children"
+                    ]
+                }
+            ]
+        },
+        "BlockTable": {
+            "allOf": [
+                {
+                    "$ref": "#/definitions/BaseNode"
+                },
+                {
+                    "type": "object",
+                    "properties": {
+                        "type": {
+                            "const": "table"
+                        },
+                        "children": {
+                            "type": "array",
+                            "items": {
+                                "$ref": "#/definitions/TableRow"
+                            }
+                        },
+                        "id": {
+                            "type": "string"
+                        }
+                    },
+                    "required": [
+                        "type",
+                        "children"
+                    ]
+                }
+            ]
+        },
+        "BlockThematicBreak": {
+            "allOf": [
+                {
+                    "$ref": "#/definitions/BaseNode"
+                },
+                {
+                    "type": "object",
+                    "properties": {
+                        "type": {
+                            "const": "thematicBreak"
+                        },
+                        "id": {
+                            "type": "string"
+                        }
+                    },
+                    "required": [
+                        "type"
+                    ]
+                }
+            ]
+        },
+        "BlockHtml": {
+            "allOf": [
+                {
+                    "$ref": "#/definitions/BaseNode"
+                },
+                {
+                    "type": "object",
+                    "properties": {
+                        "type": {
+                            "const": "html"
+                        },
+                        "id": {
+                            "type": "string"
+                        },
+                        "value": {
+                            "type": "string"
+                        }
+                    },
+                    "required": [
+                        "type",
+                        "value"
+                    ]
+                }
+            ]
+        },
+        "BlockNote": {
+            "allOf": [
+                {
+                    "$ref": "#/definitions/BaseNode"
+                },
+                {
+                    "type": "object",
+                    "description": "Note or aside block. Content is informative (non-normative). Used for <aside>, <div class='note'>, etc.",
+                    "properties": {
+                        "type": {
+                            "const": "note"
+                        },
+                        "id": {
+                            "type": "string"
+                        },
+                        "noteType": {
+                            "type": "string",
+                            "enum": [
+                                "note",
+                                "warning",
+                                "example",
+                                "issue"
+                            ],
+                            "description": "Type of note, derived from class or element semantics."
+                        },
+                        "informative": {
+                            "type": "boolean",
+                            "const": true,
+                            "description": "Always true - marks content scope as informative for citation classification."
+                        },
+                        "children": {
+                            "type": "array",
+                            "items": {
+                                "$ref": "#/definitions/Block"
+                            }
+                        }
+                    },
+                    "required": [
+                        "type",
+                        "informative",
+                        "children"
+                    ]
+                }
+            ]
+        },
+        "Block": {
+            "oneOf": [
+                {
+                    "$ref": "#/definitions/BlockParagraph"
+                },
+                {
+                    "$ref": "#/definitions/BlockHeading"
+                },
+                {
+                    "$ref": "#/definitions/BlockCodeBlock"
+                },
+                {
+                    "$ref": "#/definitions/BlockExample"
+                },
+                {
+                    "$ref": "#/definitions/BlockQuote"
+                },
+                {
+                    "$ref": "#/definitions/BlockList"
+                },
+                {
+                    "$ref": "#/definitions/BlockTable"
+                },
+                {
+                    "$ref": "#/definitions/BlockThematicBreak"
+                },
+                {
+                    "$ref": "#/definitions/BlockHtml"
+                },
+                {
+                    "$ref": "#/definitions/BlockNote"
+                }
+            ]
+        },
+        "Section": {
+            "allOf": [
+                {
+                    "$ref": "#/definitions/BaseNode"
+                },
+                {
+                    "type": "object",
+                    "description": "A section groups related content. Supports in-place authoring without includes.",
+                    "properties": {
+                        "type": {
+                            "const": "section"
+                        },
+                        "id": {
+                            "type": "string",
+                            "description": "Optional explicit section identifier"
+                        },
+                        "heading": {
+                            "$ref": "#/definitions/BlockHeading",
+                            "description": "Optional section heading"
+                        },
+                        "children": {
+                            "type": "array",
+                            "items": {
+                                "oneOf": [
+                                    {
+                                        "$ref": "#/definitions/Section"
+                                    },
+                                    {
+                                        "$ref": "#/definitions/Block"
+                                    }
+                                ]
+                            }
+                        }
+                    },
+                    "required": [
+                        "type",
+                        "children"
+                    ]
+                }
+            ]
+        },
+        "IndexDefinitionEntry": {
+            "type": "object",
+            "description": "Entry in the definitions index, extracted from InlineDefinition nodes",
+            "properties": {
+                "id": {
+                    "type": "string"
+                },
+                "term": {
+                    "type": "string"
+                },
+                "linkTexts": {
+                    "type": "array",
+                    "items": {
+                        "type": "string"
+                    },
+                    "description": "Alternative link texts (aliases)"
+                },
+                "forContexts": {
+                    "type": "array",
+                    "items": {
+                        "type": [
+                            "string",
+                            "null"
+                        ]
+                    },
+                    "description": "Contexts this definition applies to"
+                },
+                "dfnType": {
+                    "type": "string",
+                    "description": "Type of definition (e.g. 'interface', 'dfn')"
+                },
+                "sourcePos": {
+                    "$ref": "#/definitions/SourcePos"
+                }
+            },
+            "required": [
+                "id",
+                "term",
+                "sourcePos"
+            ]
+        },
+        "IndexReferenceEntry": {
+            "type": "object",
+            "description": "Entry in the references index, extracted from InlineReference nodes",
+            "properties": {
+                "targetId": {
+                    "type": "string"
+                },
+                "targetTerm": {
+                    "type": "string"
+                },
+                "sourcePos": {
+                    "$ref": "#/definitions/SourcePos"
+                }
+            },
+            "required": [
+                "targetTerm",
+                "sourcePos"
+            ]
+        },
+        "IndexRequirementEntry": {
+            "type": "object",
+            "description": "Entry in the requirements index, extracted from InlineRequirement nodes",
+            "properties": {
+                "id": {
+                    "type": "string"
+                },
+                "keyword": {
+                    "type": "string"
+                },
+                "sourcePos": {
+                    "$ref": "#/definitions/SourcePos"
+                }
+            },
+            "required": [
+                "keyword",
+                "sourcePos"
+            ]
+        },
+        "IndexIssueEntry": {
+            "type": "object",
+            "description": "Entry in the issues index, extracted from InlineIssue nodes",
+            "properties": {
+                "id": {
+                    "type": "string"
+                },
+                "status": {
+                    "type": "string"
+                },
+                "sourcePos": {
+                    "$ref": "#/definitions/SourcePos"
+                }
+            },
+            "required": [
+                "sourcePos"
+            ]
+        },
+        "IndexExampleEntry": {
+            "type": "object",
+            "description": "Entry in the examples index, extracted from BlockExample nodes",
+            "properties": {
+                "id": {
+                    "type": "string"
+                },
+                "title": {
+                    "type": [
+                        "string",
+                        "null"
+                    ]
+                },
+                "sourcePos": {
+                    "$ref": "#/definitions/SourcePos"
+                }
+            },
+            "required": [
+                "sourcePos"
+            ]
+        },
+        "IndexCiteEntry": {
+            "type": "object",
+            "description": "Entry in the citations index, extracted from InlineCite nodes",
+            "properties": {
+                "key": {
+                    "type": "string"
+                },
+                "kind": {
+                    "type": "string",
+                    "enum": [
+                        "normative",
+                        "informative"
+                    ]
+                },
+                "sourcePos": {
+                    "$ref": "#/definitions/SourcePos"
+                }
+            },
+            "required": [
+                "key",
+                "sourcePos"
+            ]
+        },
+        "IndexBiblioEntry": {
+            "type": "object",
+            "description": "Entry in the bibliography index, merged from config and/or authored biblio sources during resolve/index phases",
+            "properties": {
+                "key": {
+                    "type": "string"
+                },
+                "title": {
+                    "type": "string"
+                },
+                "url": {
+                    "type": "string"
+                },
+                "status": {
+                    "type": "string",
+                    "description": "Optional status or classification for the reference (e.g., 'standard', 'draft')"
+                },
+                "sourcePos": {
+                    "$ref": "#/definitions/SourcePos"
+                }
+            },
+            "required": [
+                "key"
+            ]
+        },
+        "Indexes": {
+            "type": "object",
+            "description": "Indexes extracted from AST marker nodes during indexing. Not computed fields.",
+            "properties": {
+                "definitions": {
+                    "type": "array",
+                    "items": {
+                        "$ref": "#/definitions/IndexDefinitionEntry"
+                    }
+                },
+                "references": {
+                    "type": "array",
+                    "items": {
+                        "$ref": "#/definitions/IndexReferenceEntry"
+                    }
+                },
+                "requirements": {
+                    "type": "array",
+                    "items": {
+                        "$ref": "#/definitions/IndexRequirementEntry"
+                    }
+                },
+                "issues": {
+                    "type": "array",
+                    "items": {
+                        "$ref": "#/definitions/IndexIssueEntry"
+                    }
+                },
+                "examples": {
+                    "type": "array",
+                    "items": {
+                        "$ref": "#/definitions/IndexExampleEntry"
+                    }
+                },
+                "citations": {
+                    "type": "array",
+                    "items": {
+                        "$ref": "#/definitions/IndexCiteEntry"
+                    }
+                },
+                "bibliography": {
+                    "type": "array",
+                    "items": {
+                        "$ref": "#/definitions/IndexBiblioEntry"
+                    }
+                }
+            }
+        },
+        "TocEntry": {
+            "type": "object",
+            "description": "Table of contents entry",
+            "x-computed": true,
+            "properties": {
+                "id": {
+                    "type": "string"
+                },
+                "depth": {
+                    "type": "integer"
+                },
+                "text": {
+                    "type": "string"
+                },
+                "number": {
+                    "type": "string",
+                    "description": "Hierarchical number like '1.2.3'"
+                },
+                "children": {
+                    "type": "array",
+                    "items": {
+                        "$ref": "#/definitions/TocEntry"
+                    }
+                }
+            },
+            "required": [
+                "depth",
+                "text"
+            ]
+        },
+        "ComputedFields": {
+            "type": "object",
+            "description": "Optional computed fields. Marked x-computed for semantic/full AST distinction.",
+            "x-computed": true,
+            "properties": {
+                "toc": {
+                    "type": "array",
+                    "description": "Table of contents derived from headings",
+                    "x-computed": true,
+                    "items": {
+                        "$ref": "#/definitions/TocEntry"
+                    }
+                },
+                "headingNumbers": {
+                    "type": "object",
+                    "description": "Map of heading ID to hierarchical number string",
+                    "x-computed": true,
+                    "additionalProperties": {
+                        "type": "string"
+                    }
+                },
+                "wordCount": {
+                    "type": "integer",
+                    "description": "Total word count",
+                    "x-computed": true
+                },
+                "readingTime": {
+                    "type": "integer",
+                    "description": "Estimated reading time in minutes",
+                    "x-computed": true
+                }
+            }
+        },
+        "DocumentMetadata": {
+            "type": "object",
+            "description": "Document-level metadata from frontmatter or config",
+            "properties": {
+                "title": {
+                    "type": "string"
+                },
+                "subtitle": {
+                    "type": "string"
+                },
+                "shortName": {
+                    "type": "string"
+                },
+                "status": {
+                    "type": "string"
+                },
+                "version": {
+                    "type": "string"
+                },
+                "editors": {
+                    "type": "array",
+                    "items": {
+                        "type": "object",
+                        "properties": {
+                            "name": {
+                                "type": "string"
+                            },
+                            "url": {
+                                "type": "string"
+                            },
+                            "company": {
+                                "type": "string"
+                            }
+                        }
+                    }
+                },
+                "authors": {
+                    "type": "array",
+                    "items": {
+                        "type": "object",
+                        "properties": {
+                            "name": {
+                                "type": "string"
+                            },
+                            "url": {
+                                "type": "string"
+                            },
+                            "company": {
+                                "type": "string"
+                            }
+                        }
+                    }
+                },
+                "publishDate": {
+                    "type": "string",
+                    "pattern": "^\\d{4}-\\d{2}-\\d{2}$",
+                    "description": "ISO 8601 date format (YYYY-MM-DD)"
+                },
+                "abstract": {
+                    "type": "string"
+                }
+            }
+        },
+        "Document": {
+            "type": "object",
+            "description": "A single specification document",
+            "properties": {
+                "type": {
+                    "const": "document"
+                },
+                "metadata": {
+                    "$ref": "#/definitions/DocumentMetadata"
+                },
+                "children": {
+                    "type": "array",
+                    "items": {
+                        "oneOf": [
+                            {
+                                "$ref": "#/definitions/Section"
+                            },
+                            {
+                                "$ref": "#/definitions/Block"
+                            }
+                        ]
+                    }
+                },
+                "indexes": {
+                    "$ref": "#/definitions/Indexes",
+                    "description": "Indexes extracted from marker nodes during indexing"
+                },
+                "computed": {
+                    "$ref": "#/definitions/ComputedFields",
+                    "description": "Optional computed fields (x-computed: true)"
+                },
+                "sourcePos": {
+                    "$ref": "#/definitions/SourcePos"
+                }
+            },
+            "required": [
+                "type",
+                "children"
+            ]
+        }
+    },
+    "properties": {
+        "schemaVersion": {
+            "type": "string",
+            "const": "1.1.0",
+            "description": "Schema version for this AST format"
+        },
+        "type": {
+            "const": "workspace"
+        },
+        "documents": {
+            "type": "array",
+            "items": {
+                "$ref": "#/definitions/Document"
+            },
+            "description": "Collection of documents in the workspace"
+        },
+        "globalIndex": {
+            "$ref": "#/definitions/Indexes",
+            "description": "Aggregated global index across all documents"
+        }
+    },
+    "required": [
+        "type",
+        "documents"
+    ]
+}