{
    "$schema": "http://json-schema.org/draft-04/schema#",
    "additionalProperties": false,
    "definitions": {
        "array-type": {
            "additionalProperties": false,
            "description": "Definition of array type",
            "patternProperties": {
                "^experimental_": {}
            },
            "properties": {
                "element_count": {
                    "$ref": "#/definitions/count",
                    "description": "Number of elements in array type"
                },
                "element_type": {
                    "$ref": "#/definitions/type",
                    "description": "Element type of array type"
                },
                "kind": {
                    "description": "Selection of base type as array type",
                    "enum": [
                        "array"
                    ],
                    "type": "string"
                },
                "type_shape_v2": {
                    "$ref": "#/definitions/typeshape",
                    "description": "Type shape of this declaration"
                }
            },
            "required": [
                "kind",
                "element_type",
                "element_count",
                "type_shape_v2"
            ],
            "type": "object"
        },
        "string-array-type": {
            "additionalProperties": false,
            "description": "Definition of string_array type",
            "patternProperties": {
                "^experimental_": {}
            },
            "properties": {
                "element_count": {
                    "$ref": "#/definitions/count",
                    "description": "Number of UTF8 octets in string_array type"
                },
                "kind": {
                    "description": "Selection of base type as string_array type",
                    "enum": [
                        "string_array"
                    ],
                    "type": "string"
                },
                "type_shape_v2": {
                    "$ref": "#/definitions/typeshape",
                    "description": "Type shape of this declaration"
                }
            },
            "required": [
                "kind",
                "element_count",
                "type_shape_v2"
            ],
            "type": "object"
        },
        "attribute": {
            "additionalProperties": false,
            "description": "Definition of an attribute list element",
            "patternProperties": {
                "^experimental_": {}
            },
            "properties": {
                "arguments": {
                    "$ref": "#/definitions/attribute-args-list",
                    "description": "Attribute arguments"
                },
                "location": {
                    "$ref": "#/definitions/location",
                    "description": "Source location of the declaration"
                },
                "name": {
                    "description": "Attribute name",
                    "type": "string"
                }
            },
            "required": [
                "name",
                "arguments"
            ],
            "type": "object"
        },
        "attribute-arg": {
            "additionalProperties": false,
            "description": "Definition of an attribute argument",
            "patternProperties": {
                "^experimental_": {}
            },
            "properties": {
                "location": {
                    "$ref": "#/definitions/location",
                    "description": "Source location of the attribute argument"
                },
                "name": {
                    "description": "Name of the attribute argument",
                    "type": "string"
                },
                "type": {
                    "$ref": "#/definitions/attribute-arg-type",
                    "description": "Attribute argument type"
                },
                "value": {
                    "$ref": "#/definitions/constant",
                    "description": "Value of the attribute argument"
                }
            },
            "required": [
                "name",
                "type",
                "value"
            ],
            "type": "object"
        },
        "attribute-arg-type": {
            "description": "Definition of an attribute argument type",
            "oneOf": [
                {
                    "$ref": "#/definitions/primitive-subtype"
                },
                {
                    "enum": [
                        "string"
                    ],
                    "type": "string"
                }
            ]
        },
        "attribute-args-list": {
            "additionalProperties": false,
            "description": "Definition of an attributes argument list",
            "items": {
                "$ref": "#/definitions/attribute-arg",
                "description": "List of arguments"
            },
            "patternProperties": {
                "^experimental_": {}
            },
            "type": "array"
        },
        "attributes-list": {
            "additionalProperties": false,
            "description": "Definition of an attribute list",
            "items": {
                "$ref": "#/definitions/attribute",
                "description": "List of attributes"
            },
            "patternProperties": {
                "^experimental_": {}
            },
            "type": "array"
        },
        "binary-operator-constant": {
            "additionalProperties": false,
            "description": "Definition of a constant value (using a binary operator)",
            "patternProperties": {
                "^experimental_": {}
            },
            "properties": {
                "expression": {
                    "description": "Expression used in source code to define the constant",
                    "type": "string"
                },
                "kind": {
                    "description": "Selection of constant value using a literal",
                    "enum": [
                        "binary_operator"
                    ],
                    "type": "string"
                },
                "value": {
                    "description": "Evaluated value of the constant",
                    "type": "string"
                }
            },
            "required": [
                "kind",
                "value",
                "expression"
            ],
            "type": "object"
        },
        "bits": {
            "additionalProperties": false,
            "description": "Definition of a bits declaration",
            "patternProperties": {
                "^experimental_": {}
            },
            "properties": {
                "deprecated": {
                    "description": "True if the element is deprecated in the target version",
                    "type": "boolean"
                },
                "location": {
                    "$ref": "#/definitions/location",
                    "description": "Source location of the declaration"
                },
                "mask": {
                    "description": "Mask of all members",
                    "type": "string"
                },
                "maybe_attributes": {
                    "$ref": "#/definitions/attributes-list",
                    "description": "Optional list of attributes of the bits declaration"
                },
                "members": {
                    "description": "List of bits members",
                    "items": {
                        "$ref": "#/definitions/bits-member"
                    },
                    "type": "array"
                },
                "name": {
                    "$ref": "#/definitions/compound-identifier",
                    "description": "Fully qualified name of the bits"
                },
                "naming_context": {
                    "$ref": "#/definitions/naming-context",
                    "description": "Naming context of the bits"
                },
                "strict": {
                    "description": "Strictness of the bits",
                    "type": "boolean"
                },
                "type": {
                    "$ref": "#/definitions/type",
                    "description": "Type of the bits"
                }
            },
            "required": [
                "deprecated",
                "location",
                "mask",
                "members",
                "name",
                "strict",
                "type"
            ],
            "type": "object"
        },
        "bits-member": {
            "additionalProperties": false,
            "description": "Definition of an bits member",
            "patternProperties": {
                "^experimental_": {}
            },
            "properties": {
                "deprecated": {
                    "description": "True if the element is deprecated in the target version",
                    "type": "boolean"
                },
                "location": {
                    "$ref": "#/definitions/location",
                    "description": "Source location of the declaration"
                },
                "maybe_attributes": {
                    "$ref": "#/definitions/attributes-list",
                    "description": "Optional list of attributes of the bits member"
                },
                "name": {
                    "$ref": "#/definitions/identifier",
                    "description": "Name of the bits member"
                },
                "value": {
                    "$ref": "#/definitions/constant",
                    "description": "Value of the bits member"
                }
            },
            "required": [
                "deprecated",
                "location",
                "name",
                "value"
            ],
            "type": "object"
        },
        "compose": {
            "additionalProperties": false,
            "description": "Compose member of a protocol declaration",
            "patternProperties": {
                "^experimental_": {}
            },
            "properties": {
                "deprecated": {
                    "description": "True if the element is deprecated in the target version",
                    "type": "boolean"
                },
                "location": {
                    "$ref": "#/definitions/location",
                    "description": "Source location of the compose declaration"
                },
                "maybe_attributes": {
                    "$ref": "#/definitions/attributes-list",
                    "description": "Optional list of attributes of the compose declaration"
                },
                "name": {
                    "$ref": "#/definitions/compound-identifier",
                    "description": "Name of the composed protocol"
                }
            },
            "required": [
                "deprecated",
                "location",
                "name"
            ],
            "type": "object"
        },
        "compound-identifier": {
            "description": "Definition of compound identifier",
            "pattern": "([_A-Za-z][_A-Za-z0-9]*-)*[_A-Za-z][_A-Za-z0-9]*/[_A-Za-z][_A-Za-z0-9]*",
            "type": "string"
        },
        "const": {
            "additionalProperties": false,
            "description": "Definition of a constant declaration",
            "patternProperties": {
                "^experimental_": {}
            },
            "properties": {
                "deprecated": {
                    "description": "True if the element is deprecated in the target version",
                    "type": "boolean"
                },
                "location": {
                    "$ref": "#/definitions/location",
                    "description": "Source location of the declaration"
                },
                "maybe_attributes": {
                    "$ref": "#/definitions/attributes-list",
                    "description": "Optional list of attributes of the constant declaration"
                },
                "name": {
                    "$ref": "#/definitions/compound-identifier",
                    "description": "Fully qualified name of the constant"
                },
                "type": {
                    "$ref": "#/definitions/type",
                    "description": "Type of the constant"
                },
                "value": {
                    "$ref": "#/definitions/constant",
                    "description": "Value of the constant"
                }
            },
            "required": [
                "deprecated",
                "location",
                "name",
                "type",
                "value"
            ],
            "type": "object"
        },
        "constant": {
            "description": "Definition of a constant value",
            "oneOf": [
                {
                    "$ref": "#/definitions/identifier-constant",
                    "description": "Selection of a constant value (using an identifier)"
                },
                {
                    "$ref": "#/definitions/literal-constant",
                    "description": "Selection of a constant value (using a literal)"
                },
                {
                    "$ref": "#/definitions/binary-operator-constant",
                    "description": "Selection of a constant value (using a binary operator)"
                }
            ]
        },
        "count": {
            "description": "Definition of count",
            "maximum": 4294967295,
            "minimum": 0,
            "type": "integer"
        },
        "declarations-map": {
            "additionalProperties": false,
            "description": "Definition of declarations of a library",
            "patternProperties": {
                ".*": {
                    "enum": [
                        "alias",
                        "bits",
                        "const",
                        "enum",
                        "experimental_resource",
                        "new_type",
                        "overlay",
                        "protocol",
                        "service",
                        "struct",
                        "table",
                        "union"
                    ],
                    "type": "string"
                }
            },
            "type": "object"
        },
        "enum": {
            "additionalProperties": false,
            "description": "Definition of an enum declaration",
            "patternProperties": {
                "^experimental_": {}
            },
            "properties": {
                "deprecated": {
                    "description": "True if the element is deprecated in the target version",
                    "type": "boolean"
                },
                "location": {
                    "$ref": "#/definitions/location",
                    "description": "Source location of the declaration"
                },
                "maybe_attributes": {
                    "$ref": "#/definitions/attributes-list",
                    "description": "Optional list of attributes of the enum declaration"
                },
                "maybe_unknown_value": {
                    "description": "Unknown member value (present for flexible enums only)",
                    "type": "integer"
                },
                "members": {
                    "description": "List of enum members",
                    "items": {
                        "$ref": "#/definitions/enum-member"
                    },
                    "type": "array"
                },
                "name": {
                    "$ref": "#/definitions/compound-identifier",
                    "description": "Fully qualified name of the enum"
                },
                "naming_context": {
                    "$ref": "#/definitions/naming-context",
                    "description": "Naming context of the table"
                },
                "strict": {
                    "description": "Strictness of the enum",
                    "type": "boolean"
                },
                "type": {
                    "$ref": "#/definitions/integer-type",
                    "description": "Type of the enum"
                }
            },
            "required": [
                "deprecated",
                "location",
                "members",
                "name",
                "strict",
                "type"
            ],
            "type": "object"
        },
        "enum-member": {
            "additionalProperties": false,
            "description": "Definition of an enum member",
            "patternProperties": {
                "^experimental_": {}
            },
            "properties": {
                "deprecated": {
                    "description": "True if the element is deprecated in the target version",
                    "type": "boolean"
                },
                "location": {
                    "$ref": "#/definitions/location",
                    "description": "Source location of the declaration"
                },
                "maybe_attributes": {
                    "$ref": "#/definitions/attributes-list",
                    "description": "Optional list of attributes of the enum member"
                },
                "name": {
                    "$ref": "#/definitions/identifier",
                    "description": "Name of the enum member"
                },
                "value": {
                    "$ref": "#/definitions/constant",
                    "description": "Value of the enum member"
                }
            },
            "required": [
                "deprecated",
                "location",
                "name",
                "value"
            ],
            "type": "object"
        },
        "experimental-pointer-type": {
            "additionalProperties": false,
            "description": "Definition of an experimental pointer type",
            "patternProperties": {
                "^experimental_": {}
            },
            "properties": {
                "kind": {
                    "description": "Selection of base type as experimental pointer type",
                    "enum": [
                        "experimental_pointer"
                    ],
                    "type": "string"
                },
                "pointee_type": {
                    "$ref": "#/definitions/type",
                    "description": "Type of what is being pointed to"
                },
                "type_shape_v2": {
                    "$ref": "#/definitions/typeshape",
                    "description": "Type shape of this declaration"
                }
            },
            "required": [
                "kind",
                "pointee_type",
                "type_shape_v2"
            ],
            "type": "object"
        },
        "external-declarations-map": {
            "additionalProperties": false,
            "description": "Definition of declarations of an external library",
            "patternProperties": {
                ".*": {
                    "oneOf": [
                        {
                            "additionalProperties": false,
                            "patternProperties": {
                                "^experimental_": {}
                            },
                            "properties": {
                                "kind": {
                                    "enum": [
                                        "struct",
                                        "table",
                                        "union"
                                    ],
                                    "type": "string"
                                },
                                "resource": {
                                    "type": "boolean"
                                }
                            },
                            "required": [
                                "kind",
                                "resource"
                            ],
                            "type": "object"
                        },
                        {
                            "additionalProperties": false,
                            "patternProperties": {
                                "^experimental_": {}
                            },
                            "properties": {
                                "kind": {
                                    "enum": [
                                        "alias",
                                        "bits",
                                        "const",
                                        "enum",
                                        "experimental_resource",
                                        "new_type",
                                        "protocol",
                                        "service"
                                    ],
                                    "type": "string"
                                }
                            },
                            "required": [
                                "kind"
                            ],
                            "type": "object"
                        }
                    ]
                }
            },
            "type": "object"
        },
        "fieldshape": {
            "additionalProperties": false,
            "description": "Definition of a field shape",
            "patternProperties": {
                "^experimental_": {}
            },
            "properties": {
                "offset": {
                    "$ref": "#/definitions/count",
                    "description": "Offset in bytes at which a member starts"
                },
                "padding": {
                    "$ref": "#/definitions/count",
                    "description": "Padding in bytes which follows a member"
                }
            },
            "required": [
                "offset",
                "padding"
            ],
            "type": "object"
        },
        "handle-subtype": {
            "description": "Definition of handle sub-type",
            "enum": [
                "handle",
                "bti",
                "channel",
                "clock",
                "debuglog",
                "event",
                "eventpair",
                "exception",
                "fifo",
                "guest",
                "interrupt",
                "iob",
                "iommu",
                "job",
                "msi",
                "pager",
                "pcidevice",
                "pmt",
                "port",
                "process",
                "profile",
                "resource",
                "socket",
                "stream",
                "suspendtoken",
                "thread",
                "timer",
                "vcpu",
                "vmar",
                "vmo"
            ],
            "type": "string"
        },
        "handle-type": {
            "additionalProperties": false,
            "description": "Definition of a handle type",
            "patternProperties": {
                "^experimental_": {}
            },
            "properties": {
                "kind": {
                    "description": "Selection of base type as handle type",
                    "enum": [
                        "handle"
                    ],
                    "type": "string"
                },
                "nullable": {
                    "description": "Flag indicating nullability of handle type",
                    "type": "boolean"
                },
                "obj_type": {
                    "description": "Numeric representation of handle sub-type",
                    "type": "integer"
                },
                "rights": {
                    "description": "Rights that must be present on a handle",
                    "type": "integer"
                },
                "subtype": {
                    "$ref": "#/definitions/handle-subtype",
                    "description": "Sub-type of handle type"
                },
                "resource_identifier": {
                    "description": "Qualified name of handle's resource type",
                    "type": "string"
                },
                "type_shape_v2": {
                    "$ref": "#/definitions/typeshape",
                    "description": "Type shape of this declaration"
                }
            },
            "required": [
                "kind",
                "nullable",
                "obj_type",
                "rights",
                "subtype",
                "type_shape_v2"
            ],
            "type": "object"
        },
        "identifier": {
            "description": "Definition of identifier",
            "pattern": "^[A-Za-z]([_A-Za-z0-9]*[A-Za-z0-9])?$",
            "type": "string"
        },
        "identifier-constant": {
            "additionalProperties": false,
            "description": "Definition of a constant value (using an identifier)",
            "patternProperties": {
                "^experimental_": {}
            },
            "properties": {
                "expression": {
                    "description": "Expression used in source code to define the constant",
                    "type": "string"
                },
                "identifier": {
                    "$ref": "#/definitions/compound-identifier",
                    "description": "Identifier used as constant value"
                },
                "kind": {
                    "description": "Selection of constant value using an identifier",
                    "enum": [
                        "identifier"
                    ],
                    "type": "string"
                },
                "value": {
                    "description": "Evaluated value of the constant",
                    "type": "string"
                }
            },
            "required": [
                "kind",
                "identifier",
                "value",
                "expression"
            ],
            "type": "object"
        },
        "identifier-type": {
            "additionalProperties": false,
            "description": "Definition of an identifier type",
            "patternProperties": {
                "^experimental_": {}
            },
            "properties": {
                "identifier": {
                    "$ref": "#/definitions/compound-identifier",
                    "description": "Identifier type name"
                },
                "kind": {
                    "description": "Selection of base type as identifier type",
                    "enum": [
                        "identifier"
                    ],
                    "type": "string"
                },
                "nullable": {
                    "description": "Flag indicating nullability of identifier type",
                    "type": "boolean"
                },
                "protocol_transport": {
                    "description": "Transport used by the request protocol",
                    "type": "string"
                },
                "type_shape_v2": {
                    "$ref": "#/definitions/typeshape",
                    "description": "Type shape of this declaration"
                }
            },
            "required": [
                "kind",
                "identifier",
                "nullable",
                "type_shape_v2"
            ],
            "type": "object"
        },
        "implementation-locations": {
            "description": "List of locations that are allowed to implement an endpoint kind",
            "type": "array",
            "items": {
                "type": "string",
                "enum": [
                    "external",
                    "platform"
                ]
            }
        },
        "integer-type": {
            "description": "Definition of integer primitive sub-type",
            "enum": [
                "int8",
                "int16",
                "int32",
                "int64",
                "uint8",
                "uint16",
                "uint32",
                "uint64",
                "uchar",
                "usize64",
                "uintptr64"
            ],
            "type": "string"
        },
        "protocol": {
            "additionalProperties": false,
            "description": "Definition of a protocol declaration",
            "patternProperties": {
                "^experimental_": {}
            },
            "properties": {
                "composed_protocols": {
                    "description": "List of composed protocols",
                    "items": {
                        "$ref": "#/definitions/compose"
                    },
                    "type": "array"
                },
                "deprecated": {
                    "description": "True if the element is deprecated in the target version",
                    "type": "boolean"
                },
                "location": {
                    "$ref": "#/definitions/location",
                    "description": "Source location of the declaration"
                },
                "maybe_attributes": {
                    "$ref": "#/definitions/attributes-list",
                    "description": "Optional list of attributes of the protocol declaration"
                },
                "methods": {
                    "description": "List of methods and events",
                    "items": {
                        "$ref": "#/definitions/protocol-method"
                    },
                    "type": "array"
                },
                "name": {
                    "$ref": "#/definitions/compound-identifier",
                    "description": "Name of the protocol"
                },
                "openness": {
                    "description": "Which kinds of unknown interactions the protocol supports",
                    "enum": [
                        "open",
                        "ajar",
                        "closed"
                    ],
                    "type": "string"
                },
                "implementation_locations": {
                    "description": "Where endpoints for this protocol may be implemented",
                    "type": "object",
                    "properties": {
                        "client": {
                            "$ref": "#/definitions/implementation-locations"
                        },
                        "server": {
                            "$ref": "#/definitions/implementation-locations"
                        }
                    },
                    "required": [
                        "client",
                        "server"
                    ]
                }
            },
            "required": [
                "deprecated",
                "location",
                "methods",
                "name"
            ],
            "type": "object"
        },
        "protocol-method": {
            "additionalProperties": false,
            "description": "Definition of a method or event",
            "patternProperties": {
                "^experimental_": {}
            },
            "properties": {
                "deprecated": {
                    "description": "True if the element is deprecated in the target version",
                    "type": "boolean"
                },
                "has_request": {
                    "description": "Flag indicating that protocol method has a request component. If has_request is true, the method is client-initiated. It may or may not have a payload, which is provided separately in `maybe_request_payload`. For example, `Foo()` is a method where has_request would be true but `maybe_request_payload` would be absent.",
                    "type": "boolean"
                },
                "has_response": {
                    "description": "Flag indicating that protocol method has a response component. If has_response is true, the method is either a two-way method or a server initiated event, depending on whether it `has_request`. It may or may not have a payload, which is provided separately in `maybe_response_payload`. For example `Foo() -> ()` and `-> Bar()` are methods where `has_response` would be true but `maybe_response_payload` would be absent.",
                    "type": "boolean"
                },
                "is_composed": {
                    "description": "Flag indicating whether method was composed into this protocol",
                    "type": "boolean"
                },
                "has_error": {
                    "description": "Flag indicating whether method uses the error syntax. If true, `maybe_response_payload` will be a result union, and the response will be further broken down in `maybe_response_success_type` and `maybe_response_err_type`.",
                    "type": "boolean"
                },
                "location": {
                    "$ref": "#/definitions/location",
                    "description": "Source location of the declaration"
                },
                "maybe_attributes": {
                    "$ref": "#/definitions/attributes-list",
                    "description": "Optional list of attributes of the method or event"
                },
                "maybe_request_payload": {
                    "$ref": "#/definitions/identifier-type",
                    "description": "Optional request type"
                },
                "maybe_response_payload": {
                    "$ref": "#/definitions/identifier-type",
                    "description": "Optional response type. This is the wire form of the response, so if error syntax is used, this is the result union."
                },
                "maybe_response_success_type": {
                    "$ref": "#/definitions/type",
                    "description": "Type of the success variant of the result union (only present if `has_error` is true or `strict` is false)"
                },
                "maybe_response_err_type": {
                    "$ref": "#/definitions/type",
                    "description": "Type of the error variant of the result union (only present if `has_error` is true)"
                },
                "name": {
                    "$ref": "#/definitions/identifier",
                    "description": "Name of the protocol method"
                },
                "ordinal": {
                    "$ref": "#/definitions/ordinal",
                    "description": "Ordinal number of the protocol method"
                },
                "strict": {
                    "description": "Flag indicating that the method does not support unknown interactions. If false (i.e. the method is flexible), `maybe_response_payload` will be a result union, and the response will be further broken down in `maybe_response_success_type`.",
                    "type": "boolean"
                }
            },
            "required": [
                "deprecated",
                "has_request",
                "has_response",
                "is_composed",
                "has_error",
                "location",
                "name",
                "ordinal"
            ],
            "type": "object"
        },
        "protocol-method-parameter": {
            "additionalProperties": false,
            "description": "Definition of parameter or return of a method or event",
            "patternProperties": {
                "^experimental_": {}
            },
            "properties": {
                "field_shape_v2": {
                    "$ref": "#/definitions/fieldshape",
                    "description": "Field shape"
                },
                "location": {
                    "$ref": "#/definitions/location",
                    "description": "Source location of the declaration"
                },
                "maybe_attributes": {
                    "$ref": "#/definitions/attributes-list",
                    "description": "Optional list of attributes of the method or event parameter"
                },
                "name": {
                    "$ref": "#/definitions/identifier",
                    "description": "Name of the parameter or return"
                },
                "type": {
                    "$ref": "#/definitions/type",
                    "description": "Type of the parameter or return"
                }
            },
            "required": [
                "field_shape_v2",
                "location",
                "name",
                "type"
            ],
            "type": "object"
        },
        "internal-subtype": {
            "description": "Definition of internal sub-type",
            "enum": [
                "framework_error"
            ],
            "type": "string"
        },
        "internal-type": {
            "additionalProperties": false,
            "description": "Definition of internal type",
            "patternProperties": {
                "^experimental_": {}
            },
            "properties": {
                "kind": {
                    "description": "Selection of type as internal type",
                    "enum": [
                        "internal"
                    ],
                    "type": "string"
                },
                "subtype": {
                    "$ref": "#/definitions/internal-subtype",
                    "description": "Sub-type of the internal type"
                },
                "type_shape_v2": {
                    "$ref": "#/definitions/typeshape",
                    "description": "Type shape of this declaration"
                }
            },
            "required": [
                "kind",
                "subtype",
                "type_shape_v2"
            ],
            "type": "object"
        },
        "library": {
            "additionalProperties": false,
            "description": "Definition of library",
            "patternProperties": {
                "^experimental_": {}
            },
            "properties": {
                "declarations": {
                    "$ref": "#/definitions/external-declarations-map",
                    "description": "Declarations of library"
                },
                "name": {
                    "$ref": "#/definitions/library-identifier",
                    "description": "Name of library"
                }
            },
            "required": [
                "name",
                "declarations"
            ],
            "type": "object"
        },
        "library-identifier": {
            "description": "Definition of library identifier",
            "pattern": "^[a-z][a-z0-9]*(\\.[a-z][a-z0-9]*)*$",
            "type": "string"
        },
        "platform-identifier": {
            "description": "Definition of platform identifier",
            "pattern": "^[a-z][a-z0-9]*$",
            "type": "string"
        },
        "version-identifier": {
            "description": "Definition of a version identifier",
            "pattern": "^([1-9][0-9]*|NEXT|HEAD|LEGACY)$",
            "type": "string"
        },
        "literal-constant": {
            "additionalProperties": false,
            "description": "Definition of a constant value (using a literal)",
            "patternProperties": {
                "^experimental_": {}
            },
            "properties": {
                "expression": {
                    "description": "Expression used in source code to define the constant",
                    "type": "string"
                },
                "kind": {
                    "description": "Selection of constant value using a literal",
                    "enum": [
                        "literal"
                    ],
                    "type": "string"
                },
                "literal": {
                    "$ref": "#/definitions/literal-value",
                    "description": "Literal used as constant value"
                },
                "value": {
                    "description": "Evaluated value of the constant",
                    "type": "string"
                }
            },
            "required": [
                "kind",
                "literal",
                "value",
                "expression"
            ],
            "type": "object"
        },
        "literal-value": {
            "additionalProperties": false,
            "description": "Definition of a literal constant value",
            "patternProperties": {
                "^experimental_": {}
            },
            "properties": {
                "expression": {
                    "description": "Original in source constant value, may be a const expression.",
                    "type": "string"
                },
                "kind": {
                    "description": "Selection of string literal type",
                    "enum": [
                        "string",
                        "numeric",
                        "bool"
                    ],
                    "type": "string"
                },
                "value": {
                    "description": "Resolved constant value",
                    "type": "string"
                }
            },
            "required": [
                "kind",
                "value",
                "expression"
            ],
            "type": "object"
        },
        "location": {
            "additionalProperties": false,
            "patternProperties": {
                "^experimental_": {}
            },
            "properties": {
                "column": {
                    "description": "One-based column number, counting in bytes",
                    "maximum": 4294967295,
                    "minimum": 1,
                    "type": "integer"
                },
                "filename": {
                    "description": "Path to the file",
                    "type": "string"
                },
                "length": {
                    "description": "Length of the location, counting in bytes",
                    "maximum": 4294967295,
                    "minimum": 0,
                    "type": "integer"
                },
                "line": {
                    "description": "One-based line number in the file",
                    "maximum": 4294967295,
                    "minimum": 1,
                    "type": "integer"
                }
            },
            "required": [
                "filename",
                "line",
                "column",
                "length"
            ],
            "type": "object"
        },
        "naming-context": {
            "description": "A naming context is a list of names, from least specific to most specific, which identifies the use of a layout. For example, in `type Outer = struct { inner struct {}; };`, the context for the innermost struct is [\"Outer\", \"inner\"]. Naming contexts are only specified for anonymous layouts.",
            "items": {
                "type": "string"
            },
            "type": "array"
        },
        "ordinal": {
            "description": "Definition of ordinal",
            "maximum": 9223372036854775807,
            "minimum": 1,
            "type": "integer"
        },
        "partial-type-ctor": {
            "additionalProperties": false,
            "description": "Description of a type in terms of its composition of other type arguments",
            "patternProperties": {
                "^experimental_": {}
            },
            "properties": {
                "name": {
                    "description": "Fully qualified name of the type",
                    "type": "string"
                },
                "args": {
                    "description": "Type's list of defining arguments",
                    "items": {
                        "$ref": "#/definitions/partial-type-ctor"
                    },
                    "type": "array"
                },
                "nullable": {
                    "description": "Flag indicating nullability of the type",
                    "type": "boolean"
                },
                "maybe_size": {
                    "$ref": "#/definitions/constant",
                    "description": "Optional number of maximum elements"
                },
                "handle_rights": {
                    "$ref": "#/definitions/constant",
                    "description": "Optional handle rights"
                },
                "maybe_handle_subtype": {
                    "$ref": "#/definitions/handle-subtype",
                    "description": "Optional handle subtype"
                }
            },
            "required": [
                "name",
                "args",
                "nullable"
            ],
            "type": "object"
        },
        "primitive-subtype": {
            "description": "Definition of primitive sub-type",
            "oneOf": [
                {
                    "description": "Selection of non-integer primitive sub-type",
                    "enum": [
                        "bool",
                        "float32",
                        "float64"
                    ],
                    "type": "string"
                },
                {
                    "$ref": "#/definitions/integer-type",
                    "description": "Selection of integer primitive sub-type"
                }
            ]
        },
        "primitive-type": {
            "additionalProperties": false,
            "description": "Definition of primitive type",
            "patternProperties": {
                "^experimental_": {}
            },
            "properties": {
                "kind": {
                    "description": "Selection of base type as primitive type",
                    "enum": [
                        "primitive"
                    ],
                    "type": "string"
                },
                "subtype": {
                    "$ref": "#/definitions/primitive-subtype",
                    "description": "Sub-type of the primitive type"
                },
                "type_shape_v2": {
                    "$ref": "#/definitions/typeshape",
                    "description": "Type shape of this declaration"
                }
            },
            "required": [
                "kind",
                "subtype",
                "type_shape_v2"
            ],
            "type": "object"
        },
        "request-type": {
            "additionalProperties": false,
            "description": "Definition of a request type",
            "patternProperties": {
                "^experimental_": {}
            },
            "properties": {
                "kind": {
                    "description": "Selection of base type as request type",
                    "enum": [
                        "request"
                    ],
                    "type": "string"
                },
                "nullable": {
                    "description": "Flag indicating nullability of request type",
                    "type": "boolean"
                },
                "subtype": {
                    "$ref": "#/definitions/compound-identifier",
                    "description": "Protocol name of request type"
                },
                "protocol_transport": {
                    "description": "Transport used by the request protocol",
                    "type": "string"
                },
                "type_shape_v2": {
                    "$ref": "#/definitions/typeshape",
                    "description": "Type shape of this declaration"
                }
            },
            "required": [
                "kind",
                "subtype",
                "nullable",
                "protocol_transport",
                "type_shape_v2"
            ],
            "type": "object"
        },
        "resource": {
            "additionalProperties": false,
            "description": "Definition of a resource declaration",
            "patternProperties": {
                "^experimental_": {}
            },
            "properties": {
                "deprecated": {
                    "description": "True if the element is deprecated in the target version",
                    "type": "boolean"
                },
                "location": {
                    "$ref": "#/definitions/location",
                    "description": "Source location of the declaration"
                },
                "maybe_attributes": {
                    "$ref": "#/definitions/attributes-list",
                    "description": "Optional list of attributes of the resource declaration"
                },
                "name": {
                    "$ref": "#/definitions/compound-identifier",
                    "description": "Fully qualified name of the resource"
                },
                "properties": {
                    "description": "List of properties",
                    "items": {
                        "$ref": "#/definitions/resource-property"
                    },
                    "type": "array"
                },
                "type": {
                    "$ref": "#/definitions/type",
                    "description": "Type of the resource"
                }
            },
            "required": [
                "deprecated",
                "location",
                "name",
                "type"
            ],
            "type": "object"
        },
        "resource-property": {
            "additionalProperties": false,
            "description": "Definition of a resource property",
            "patternProperties": {
                "^experimental_": {}
            },
            "properties": {
                "deprecated": {
                    "description": "True if the element is deprecated in the target version",
                    "type": "boolean"
                },
                "location": {
                    "$ref": "#/definitions/location",
                    "description": "Source location of the declaration"
                },
                "name": {
                    "$ref": "#/definitions/identifier",
                    "description": "Name of the property"
                },
                "type": {
                    "$ref": "#/definitions/type",
                    "description": "Type of the resource property"
                }
            },
            "required": [
                "deprecated",
                "location",
                "name",
                "type"
            ],
            "type": "object"
        },
        "service": {
            "additionalProperties": false,
            "description": "Definition of a service declaration",
            "patternProperties": {
                "^experimental_": {}
            },
            "properties": {
                "deprecated": {
                    "description": "True if the element is deprecated in the target version",
                    "type": "boolean"
                },
                "location": {
                    "$ref": "#/definitions/location",
                    "description": "Source location of the declaration"
                },
                "maybe_attributes": {
                    "$ref": "#/definitions/attributes-list",
                    "description": "Optional list of attributes of the service declaration"
                },
                "members": {
                    "description": "List of service members",
                    "items": {
                        "$ref": "#/definitions/service-member"
                    },
                    "type": "array"
                },
                "name": {
                    "$ref": "#/definitions/compound-identifier",
                    "description": "Name of service"
                }
            },
            "required": [
                "deprecated",
                "location",
                "members",
                "name"
            ],
            "type": "object"
        },
        "service-member": {
            "additionalProperties": false,
            "description": "Definition of a service member",
            "patternProperties": {
                "^experimental_": {}
            },
            "properties": {
                "deprecated": {
                    "description": "True if the element is deprecated in the target version",
                    "type": "boolean"
                },
                "location": {
                    "$ref": "#/definitions/location",
                    "description": "Source location of the declaration"
                },
                "maybe_attributes": {
                    "$ref": "#/definitions/attributes-list",
                    "description": "Optional list of service member attributes"
                },
                "name": {
                    "$ref": "#/definitions/identifier",
                    "description": "Name of the service member"
                },
                "type": {
                    "$ref": "#/definitions/type",
                    "description": "Type of the service member"
                }
            },
            "required": [
                "deprecated",
                "location",
                "name",
                "type"
            ],
            "type": "object"
        },
        "string-type": {
            "additionalProperties": false,
            "description": "Definition of string type",
            "patternProperties": {
                "^experimental_": {}
            },
            "properties": {
                "kind": {
                    "description": "Selection of base type as string type",
                    "enum": [
                        "string"
                    ],
                    "type": "string"
                },
                "maybe_element_count": {
                    "$ref": "#/definitions/count",
                    "description": "Optional size of string, in bytes"
                },
                "nullable": {
                    "description": "Flag indicating nullability of string type",
                    "type": "boolean"
                },
                "type_shape_v2": {
                    "$ref": "#/definitions/typeshape",
                    "description": "Type shape of this declaration"
                }
            },
            "required": [
                "kind",
                "nullable",
                "type_shape_v2"
            ],
            "type": "object"
        },
        "struct": {
            "additionalProperties": false,
            "description": "Definition of a struct declaration",
            "patternProperties": {
                "^experimental_": {}
            },
            "properties": {
                "deprecated": {
                    "description": "True if the element is deprecated in the target version",
                    "type": "boolean"
                },
                "is_empty_success_struct": {
                    "description": "True if this is an empty success struct generated by the compiler, i.e. the `maybe_response_success_type` for a method like `strict Foo() -> () error uint32` or `flexible Foo() -> ()`",
                    "type": "boolean"
                },
                "location": {
                    "$ref": "#/definitions/location",
                    "description": "Source location of the declaration"
                },
                "max_handles": {
                    "$ref": "#/definitions/count",
                    "description": "Maximum number of handles present in the struct"
                },
                "maybe_attributes": {
                    "$ref": "#/definitions/attributes-list",
                    "description": "Optional list of attributes of the struct declaration"
                },
                "members": {
                    "description": "List of struct members",
                    "items": {
                        "$ref": "#/definitions/struct-member"
                    },
                    "type": "array"
                },
                "name": {
                    "$ref": "#/definitions/compound-identifier",
                    "description": "Name of struct"
                },
                "naming_context": {
                    "$ref": "#/definitions/naming-context",
                    "description": "Naming context of the struct"
                },
                "resource": {
                    "description": "True if the struct is a resource type (declared to contain handles)",
                    "type": "boolean"
                },
                "type_shape_v2": {
                    "$ref": "#/definitions/typeshape",
                    "description": "Type shape of this declaration"
                }
            },
            "required": [
                "deprecated",
                "is_empty_success_struct",
                "location",
                "members",
                "name",
                "resource",
                "type_shape_v2"
            ],
            "type": "object"
        },
        "struct-member": {
            "additionalProperties": false,
            "description": "Definition of a struct member",
            "patternProperties": {
                "^experimental_": {}
            },
            "properties": {
                "deprecated": {
                    "description": "True if the element is deprecated in the target version",
                    "type": "boolean"
                },
                "field_shape_v2": {
                    "$ref": "#/definitions/fieldshape",
                    "description": "Field shape"
                },
                "location": {
                    "$ref": "#/definitions/location",
                    "description": "Source location of the declaration"
                },
                "maybe_attributes": {
                    "$ref": "#/definitions/attributes-list",
                    "description": "Optional list of struct member attributes"
                },
                "maybe_default_value": {
                    "$ref": "#/definitions/constant",
                    "description": "Optional default value for struct member"
                },
                "name": {
                    "$ref": "#/definitions/identifier",
                    "description": "Name of struct member"
                },
                "type": {
                    "$ref": "#/definitions/type",
                    "description": "Type of the struct member"
                }
            },
            "required": [
                "deprecated",
                "field_shape_v2",
                "location",
                "name",
                "type"
            ],
            "type": "object"
        },
        "table": {
            "additionalProperties": false,
            "description": "Definition of a table",
            "patternProperties": {
                "^experimental_": {}
            },
            "properties": {
                "deprecated": {
                    "description": "True if the element is deprecated in the target version",
                    "type": "boolean"
                },
                "location": {
                    "$ref": "#/definitions/location",
                    "description": "Source location of the declaration"
                },
                "max_handles": {
                    "$ref": "#/definitions/count",
                    "description": "Maximum number of handles present in the table"
                },
                "maybe_attributes": {
                    "$ref": "#/definitions/attributes-list",
                    "description": "Optional list of table attributes"
                },
                "members": {
                    "description": "List of table members, sorted by ordinal",
                    "items": {
                        "$ref": "#/definitions/table-member"
                    },
                    "type": "array"
                },
                "name": {
                    "$ref": "#/definitions/compound-identifier",
                    "description": "Name of table"
                },
                "naming_context": {
                    "$ref": "#/definitions/naming-context",
                    "description": "Naming context of the table"
                },
                "resource": {
                    "description": "True if the table is a resource type (may contain handles)",
                    "type": "boolean"
                },
                "strict": {
                    "description": "Strictness of table",
                    "type": "boolean"
                },
                "type_shape_v2": {
                    "$ref": "#/definitions/typeshape",
                    "description": "Type shape of this declaration"
                }
            },
            "required": [
                "deprecated",
                "location",
                "members",
                "name",
                "resource",
                "strict",
                "type_shape_v2"
            ],
            "type": "object"
        },
        "table-member": {
            "additionalProperties": false,
            "description": "Definition of a table member",
            "patternProperties": {
                "^experimental_": {}
            },
            "properties": {
                "deprecated": {
                    "description": "True if the element is deprecated in the target version",
                    "type": "boolean"
                },
                "location": {
                    "$ref": "#/definitions/location",
                    "description": "Source location of the declaration"
                },
                "maybe_attributes": {
                    "$ref": "#/definitions/attributes-list",
                    "description": "Optional list of table member attributes"
                },
                "name": {
                    "$ref": "#/definitions/identifier",
                    "description": "Name of table member"
                },
                "ordinal": {
                    "$ref": "#/definitions/ordinal",
                    "description": "Ordinal value of table member"
                },
                "type": {
                    "$ref": "#/definitions/type",
                    "description": "Type of table member"
                }
            },
            "required": [
                "deprecated",
                "location",
                "ordinal",
                "type"
            ],
            "type": "object"
        },
        "type": {
            "description": "Definition of type",
            "oneOf": [
                {
                    "$ref": "#/definitions/array-type",
                    "description": "Selection of array type"
                },
                {
                    "$ref": "#/definitions/string-array-type",
                    "description": "Selection of array type"
                },
                {
                    "$ref": "#/definitions/vector-type",
                    "description": "Selection of vector type"
                },
                {
                    "$ref": "#/definitions/string-type",
                    "description": "Selection of string type"
                },
                {
                    "$ref": "#/definitions/handle-type",
                    "description": "Selection of handle type"
                },
                {
                    "$ref": "#/definitions/request-type",
                    "description": "Selection of request type"
                },
                {
                    "$ref": "#/definitions/primitive-type",
                    "description": "Selection of primitive type"
                },
                {
                    "$ref": "#/definitions/identifier-type",
                    "description": "Selection of identifier type"
                },
                {
                    "$ref": "#/definitions/internal-type",
                    "description": "Selection of internal type"
                },
                {
                    "$ref": "#/definitions/experimental-pointer-type",
                    "description": "Selection of an experimental pointer type"
                }
            ]
        },
        "alias": {
            "additionalProperties": false,
            "description": "Definition of an alias",
            "patternProperties": {
                "^experimental_": {}
            },
            "properties": {
                "deprecated": {
                    "description": "True if the element is deprecated in the target version",
                    "type": "boolean"
                },
                "experimental_maybe_from_alias": {
                    "$ref": "#/definitions/partial-type-ctor",
                    "description": "If provided, an alias for the corresponding type used in the definition"
                },
                "location": {
                    "$ref": "#/definitions/location",
                    "description": "Source location of the declaration"
                },
                "maybe_attributes": {
                    "$ref": "#/definitions/attributes-list",
                    "description": "Optional list of alias attributes"
                },
                "name": {
                    "$ref": "#/definitions/compound-identifier",
                    "description": "Name of an alias"
                },
                "partial_type_ctor": {
                    "$ref": "#/definitions/partial-type-ctor",
                    "description": "(Deprecated) Type constructor being aliased, possibly partial"
                },
                "type": {
                    "$ref": "#/definitions/type",
                    "description": "The type that the alias refers to"
                }
            },
            "required": [
                "deprecated",
                "location",
                "name",
                "partial_type_ctor",
                "type"
            ],
            "type": "object"
        },
        "new-type": {
            "additionalProperties": false,
            "description": "Definition of a new-type",
            "patternProperties": {
                "^experimental_": {}
            },
            "properties": {
                "deprecated": {
                    "description": "True if the element is deprecated in the target version",
                    "type": "boolean"
                },
                "experimental_maybe_from_alias": {
                    "$ref": "#/definitions/partial-type-ctor",
                    "description": "If provided, an alias for the corresponding type used in the definition"
                },
                "location": {
                    "$ref": "#/definitions/location",
                    "description": "Source location of the declaration"
                },
                "maybe_attributes": {
                    "$ref": "#/definitions/attributes-list",
                    "description": "Optional list of new-type alias attributes"
                },
                "name": {
                    "$ref": "#/definitions/compound-identifier",
                    "description": "Name of a new-type"
                },
                "type": {
                    "$ref": "#/definitions/type",
                    "description": "Type corresponding to the new-type"
                }
            },
            "required": [
                "deprecated",
                "location",
                "name",
                "type"
            ],
            "type": "object"
        },
        "typeshape": {
            "additionalProperties": false,
            "description": "Definition of a type shape",
            "patternProperties": {
                "^experimental_": {}
            },
            "properties": {
                "alignment": {
                    "$ref": "#/definitions/count",
                    "description": "Alignment of this declaration"
                },
                "depth": {
                    "$ref": "#/definitions/count",
                    "description": "Maximum depth of this declaration"
                },
                "has_flexible_envelope": {
                    "description": "Flag indicating if this declaration contains flexible envelopes (in unions or tables)",
                    "type": "boolean"
                },
                "has_padding": {
                    "description": "Flag indicating if there could be padding bytes in this declaration",
                    "type": "boolean"
                },
                "inline_size": {
                    "$ref": "#/definitions/count",
                    "description": "Size of bytes in the inline portion of this declaration"
                },
                "max_handles": {
                    "$ref": "#/definitions/count",
                    "description": "Maximum number of handles this declaration can hold"
                },
                "max_out_of_line": {
                    "$ref": "#/definitions/count",
                    "description": "Maximum number of bytes in the out-of-line portion of this declaration"
                }
            },
            "required": [
                "inline_size",
                "alignment",
                "depth",
                "max_handles",
                "max_out_of_line",
                "has_padding",
                "has_flexible_envelope"
            ],
            "type": "object"
        },
        "union": {
            "additionalProperties": false,
            "description": "Definition of an extensible union",
            "patternProperties": {
                "^experimental_": {}
            },
            "properties": {
                "deprecated": {
                    "description": "True if the element is deprecated in the target version",
                    "type": "boolean"
                },
                "is_result": {
                    "description": "True if this is a result union, i.e. the response type generated for a method that is flexible or uses error syntax",
                    "type": "boolean"
                },
                "location": {
                    "$ref": "#/definitions/location",
                    "description": "Source location of the declaration"
                },
                "max_handles": {
                    "$ref": "#/definitions/count",
                    "description": "Maximum number of handles present in the extensible union"
                },
                "maybe_attributes": {
                    "$ref": "#/definitions/attributes-list",
                    "description": "Optional list of extensible union attributes"
                },
                "members": {
                    "description": "List of extensible union members, sorted by ordinal",
                    "items": {
                        "$ref": "#/definitions/union-member"
                    },
                    "type": "array"
                },
                "name": {
                    "$ref": "#/definitions/compound-identifier",
                    "description": "Name of extensible union"
                },
                "naming_context": {
                    "$ref": "#/definitions/naming-context",
                    "description": "Naming context of the union"
                },
                "resource": {
                    "description": "True if the union is a resource type (may contain handles)",
                    "type": "boolean"
                },
                "strict": {
                    "description": "Strictness of extensible union",
                    "type": "boolean"
                },
                "type_shape_v2": {
                    "$ref": "#/definitions/typeshape",
                    "description": "Type shape of this declaration"
                }
            },
            "required": [
                "deprecated",
                "is_result",
                "location",
                "members",
                "name",
                "resource",
                "strict",
                "type_shape_v2"
            ],
            "type": "object"
        },
        "union-member": {
            "additionalProperties": false,
            "description": "Definition of an extensible union member",
            "patternProperties": {
                "^experimental_": {}
            },
            "properties": {
                "deprecated": {
                    "description": "True if the element is deprecated in the target version",
                    "type": "boolean"
                },
                "location": {
                    "$ref": "#/definitions/location",
                    "description": "Source location of the declaration"
                },
                "maybe_attributes": {
                    "$ref": "#/definitions/attributes-list",
                    "description": "Optional list of extensible union member attributes"
                },
                "name": {
                    "$ref": "#/definitions/identifier",
                    "description": "Name of extensible union member"
                },
                "ordinal": {
                    "$ref": "#/definitions/ordinal",
                    "description": "Ordinal value of extensible union member"
                },
                "type": {
                    "$ref": "#/definitions/type",
                    "description": "Type of extensible union member"
                }
            },
            "required": [
                "deprecated",
                "location",
                "ordinal",
                "type"
            ],
            "type": "object"
        },
        "overlay": {
            "additionalProperties": false,
            "description": "Definition of an overlay",
            "patternProperties": {
                "^experimental_": {}
            },
            "properties": {
                "deprecated": {
                    "description": "True if the element is deprecated in the target version",
                    "type": "boolean"
                },
                "location": {
                    "$ref": "#/definitions/location",
                    "description": "Source location of the declaration"
                },
                "max_handles": {
                    "$ref": "#/definitions/count",
                    "description": "Maximum number of handles present in the overlay"
                },
                "maybe_attributes": {
                    "$ref": "#/definitions/attributes-list",
                    "description": "Optional list of overlay attributes"
                },
                "members": {
                    "description": "List of overlay members, sorted by ordinal",
                    "items": {
                        "$ref": "#/definitions/overlay-member"
                    },
                    "type": "array"
                },
                "name": {
                    "$ref": "#/definitions/compound-identifier",
                    "description": "Name of overlay"
                },
                "naming_context": {
                    "$ref": "#/definitions/naming-context",
                    "description": "Naming context of the overlay"
                },
                "resource": {
                    "description": "True if the overlay is a resource type (may contain handles)",
                    "type": "boolean"
                },
                "strict": {
                    "description": "Strictness of overlay",
                    "type": "boolean"
                },
                "type_shape_v2": {
                    "$ref": "#/definitions/typeshape",
                    "description": "Type shape of this declaration"
                }
            },
            "required": [
                "deprecated",
                "location",
                "members",
                "name",
                "resource",
                "strict",
                "type_shape_v2"
            ],
            "type": "object"
        },
        "overlay-member": {
            "additionalProperties": false,
            "description": "Definition of an overlay member",
            "patternProperties": {
                "^experimental_": {}
            },
            "properties": {
                "deprecated": {
                    "description": "True if the element is deprecated in the target version",
                    "type": "boolean"
                },
                "location": {
                    "$ref": "#/definitions/location",
                    "description": "Source location of the declaration"
                },
                "maybe_attributes": {
                    "$ref": "#/definitions/attributes-list",
                    "description": "Optional list of overlay member attributes"
                },
                "name": {
                    "$ref": "#/definitions/identifier",
                    "description": "Name of overlay member"
                },
                "ordinal": {
                    "$ref": "#/definitions/ordinal",
                    "description": "Ordinal value of overlay member"
                },
                "type": {
                    "$ref": "#/definitions/type",
                    "description": "Type of overlay member"
                }
            },
            "required": [
                "deprecated",
                "location",
                "ordinal",
                "type"
            ],
            "type": "object"
        },
        "vector-type": {
            "additionalProperties": false,
            "description": "Definition of vector type",
            "patternProperties": {
                "^experimental_": {}
            },
            "properties": {
                "element_type": {
                    "$ref": "#/definitions/type",
                    "description": "Element type of vector type"
                },
                "kind": {
                    "description": "Selection of base type as vector type",
                    "enum": [
                        "vector"
                    ],
                    "type": "string"
                },
                "maybe_element_count": {
                    "$ref": "#/definitions/count",
                    "description": "Optional number of maximum elements in vector type"
                },
                "nullable": {
                    "description": "Flag indicating nullability of vector type",
                    "type": "boolean"
                },
                "type_shape_v2": {
                    "$ref": "#/definitions/typeshape",
                    "description": "Type shape of this declaration"
                }
            },
            "required": [
                "kind",
                "element_type",
                "nullable",
                "type_shape_v2"
            ],
            "type": "object"
        }
    },
    "description": "See https://fuchsia.dev/fuchsia-src/development/languages/fidl/reference/json-ir.md",
    "patternProperties": {
        "^experimental_": {}
    },
    "properties": {
        "available": {
            "description": "Platforms and versions that were available when compiling the library.",
            "type": "object",
            "patternProperties": {
                "^[a-z][a-z0-9]*$": {
                    "description": "Set of versions selected for this platform",
                    "items": {
                        "$ref": "#/definitions/version-identifier"
                    },
                    "type": "array"
                }
            }
        },
        "bits_declarations": {
            "description": "List of bits declarations, sorted by fully qualified name",
            "items": {
                "$ref": "#/definitions/bits"
            },
            "type": "array"
        },
        "const_declarations": {
            "description": "List of constants, sorted by fully qualified name",
            "items": {
                "$ref": "#/definitions/const"
            },
            "type": "array"
        },
        "declaration_order": {
            "description": "List of declarations in declaration order",
            "items": {
                "$ref": "#/definitions/compound-identifier"
            },
            "type": "array"
        },
        "declarations": {
            "$ref": "#/definitions/declarations-map",
            "description": "List of declarations and their types"
        },
        "enum_declarations": {
            "description": "List of enumerations, sorted by fully qualified name",
            "items": {
                "$ref": "#/definitions/enum"
            },
            "type": "array"
        },
        "experiments": {
            "description": "List of active experiments given to fidlc via the --experimental flag",
            "items": {
                "type": "string"
            },
            "type": "array"
        },
        "experimental_resource_declarations": {
            "description": "List of resources, sorted by fully qualified name",
            "items": {
                "$ref": "#/definitions/resource"
            },
            "type": "array"
        },
        "external_struct_declarations": {
            "description": "List of external structs that are used to form method payloads, sorted by fully qualified name",
            "items": {
                "$ref": "#/definitions/struct"
            },
            "type": "array"
        },
        "protocol_declarations": {
            "description": "List of protocols, sorted by fully qualified name",
            "items": {
                "$ref": "#/definitions/protocol"
            },
            "type": "array"
        },
        "library_dependencies": {
            "description": "List of dependencies on other libraries, sorted by library name",
            "items": {
                "$ref": "#/definitions/library"
            },
            "type": "array"
        },
        "maybe_attributes": {
            "$ref": "#/definitions/attributes-list",
            "description": "Optional list of attributes of the library"
        },
        "name": {
            "$ref": "#/definitions/library-identifier",
            "description": "Name of the library"
        },
        "platform": {
            "$ref": "#/definitions/platform-identifier",
            "description": "Platform the library is versioned under"
        },
        "service_declarations": {
            "description": "List of services, sorted by fully qualified name",
            "items": {
                "$ref": "#/definitions/service"
            },
            "type": "array"
        },
        "struct_declarations": {
            "description": "List of structures, sorted by fully qualified name",
            "items": {
                "$ref": "#/definitions/struct"
            },
            "type": "array"
        },
        "table_declarations": {
            "description": "List of tables, sorted by fully qualified name",
            "items": {
                "$ref": "#/definitions/table"
            },
            "type": "array"
        },
        "alias_declarations": {
            "description": "List of aliases, sorted by fully qualified name",
            "items": {
                "$ref": "#/definitions/alias"
            },
            "type": "array"
        },
        "new_type_declarations": {
            "description": "List of new-types, sorted by fully qualified name",
            "items": {
                "$ref": "#/definitions/new-type"
            },
            "type": "array"
        },
        "union_declarations": {
            "description": "List of unions, sorted by fully qualified name",
            "items": {
                "$ref": "#/definitions/union"
            },
            "type": "array"
        },
        "overlay_declarations": {
            "description": "List of overlays, sorted by fully qualified name",
            "items": {
                "$ref": "#/definitions/overlay"
            },
            "type": [
                "array",
                "null"
            ]
        }
    },
    "required": [
        "name",
        "platform",
        "available",
        "bits_declarations",
        "const_declarations",
        "enum_declarations",
        "experimental_resource_declarations",
        "protocol_declarations",
        "service_declarations",
        "struct_declarations",
        "table_declarations",
        "union_declarations",
        "alias_declarations",
        "declaration_order",
        "declarations",
        "library_dependencies"
    ],
    "type": "object"
}