> ## Documentation Index
> Fetch the complete documentation index at: https://kast.michne.com/llms.txt
> Use this file to discover all available pages before exploring further.

# Query symbols

> Inputs and response fields for query_symbols.

This callable is not an HTTP endpoint. Its schemas describe the hosted tool. Direct MCP and tool RPC wrap the same semantic document differently. See the [MCP contract](/reference/mcp-catalog) or [tool RPC contract](/reference/rpc-catalog).


## OpenAPI

````yaml /reference/callables.openapi.json post /callables/query_symbols
openapi: 3.1.0
info:
  title: Kast callable reference
  version: '2'
  description: Public compiler-grounded Kast callables for connected agents.
servers: []
security: []
paths:
  /callables/query_symbols:
    post:
      summary: query symbols
      description: >-
        Run, resume, and read one compositional compiler-grounded Kotlin symbol
        query. For exact name search, use
        {"request":{"type":"RUN","source":{"type":"SEARCH_DECLARATIONS","declarationName":"Order"}}};
        source is directly inside request. For one-hop references, add
        "steps":[{"type":"WALK","relation":"REFERENCES","maximumDepth":1}]
        inside RUN. To keep the result, set request.retention to RETAIN; then
        page its returned reference with request.type READ_RESULT and
        request.result. Resume execution with request.type RESUME and its exact
        continuation. Apply structured predicates, relation expansion, bounded
        walk, set composition, and retained binding projection and joins. Join
        preserves both named output cells and occurrence evidence; anti-join
        requires complete right coverage. Choose symbol, occurrence, traversal
        record, or binding row output. Retained results preserve qualification
        and omissions; execution continuation and result presentation cursor
        remain distinct.
      operationId: query_symbols
      requestBody:
        required: true
        content:
          application/json:
            schema:
              $ref: '#/components/schemas/query_symbolsRequest'
            examples:
              runByName:
                summary: Find declarations by exact name.
                value:
                  request:
                    type: RUN
                    source:
                      type: SEARCH_DECLARATIONS
                      declarationName: Order
            x-kast-invalidExamples:
              mixedAction:
                summary: Query actions cannot mix run and resume fields.
                value:
                  request:
                    type: RESUME
                    continuation: token
                    source:
                      type: ALL_DECLARATIONS
      responses:
        '200':
          description: >-
            Invocation envelope: completed contains a semantic document;
            rejected contains a boundary diagnostic. A completed invocation may
            still contain a qualified or rejected semantic outcome.
          content:
            application/json:
              schema:
                $ref: '#/components/schemas/query_symbolsResponse'
components:
  schemas:
    query_symbolsRequest:
      type: object
      properties:
        request:
          $ref: '#/components/schemas/query_symbolsRequest_Action'
          description: 'Exactly one closed query action: run, resume, or read_result.'
      required:
        - request
      additionalProperties: false
    query_symbolsResponse:
      anyOf:
        - type: object
          additionalProperties: false
          properties:
            status:
              type: string
              const: completed
              description: Process outcome.
            document:
              anyOf:
                - anyOf:
                    - oneOf:
                        - type: object
                          additionalProperties: false
                          properties:
                            operation:
                              $ref: >-
                                #/components/schemas/query_symbolsResponse_queryRunOperation
                            status:
                              type: string
                              const: complete
                              description: Canonical operation outcome.
                            items:
                              type: array
                              items:
                                $ref: >-
                                  #/components/schemas/query_symbolsResponse_queryResultItem
                              maxItems: 1000
                            coverage:
                              type: object
                              additionalProperties: false
                              properties:
                                exhaustive:
                                  type: boolean
                              required:
                                - exhaustive
                            execution_budget:
                              anyOf:
                                - $ref: >-
                                    #/components/schemas/query_symbolsResponse_executionBudget
                                - type: 'null'
                            reference_acquisitions:
                              type: object
                              additionalProperties: false
                              properties:
                                references:
                                  type: array
                                  items:
                                    type: object
                                    additionalProperties: false
                                    properties:
                                      previous:
                                        type: string
                                        minLength: 1
                                        maxLength: 1048576
                                        pattern: '[\s\S]*\S[\s\S]*'
                                      current:
                                        type: string
                                        minLength: 1
                                        maxLength: 1048576
                                        pattern: '[\s\S]*\S[\s\S]*'
                                    required:
                                      - previous
                                      - current
                              required:
                                - references
                            failures:
                              type: array
                              items:
                                $ref: >-
                                  #/components/schemas/query_symbolsResponse_queryItemFailure
                              maxItems: 1000
                            omissions:
                              type: array
                              items:
                                type: object
                                additionalProperties: false
                                properties:
                                  subject:
                                    $ref: >-
                                      #/components/schemas/query_symbolsResponse_ExactSymbolRef
                                  relation:
                                    type: string
                                    description: One canonical Kast semantic relation.
                                    enum:
                                      - references
                                      - callers
                                      - callees
                                      - implementations
                                      - inheritors
                                      - overrides
                                      - type-uses
                                  evidence:
                                    type: object
                                    additionalProperties: false
                                    properties:
                                      provider:
                                        type: string
                                        description: Native provider and contract version.
                                        enum:
                                          - INTELLIJ_REFERENCES_V1
                                          - INTELLIJ_DEFINITIONS_V1
                                          - INTELLIJ_CALLEES_V1
                                          - INTELLIJ_REFERENCES_V2
                                          - INTELLIJ_DEFINITIONS_V2
                                          - INTELLIJ_CALLEES_V2
                                      reason:
                                        type: string
                                        description: Retained finite limitation.
                                        enum:
                                          - RESULT_LIMIT_REACHED
                                          - BYTE_LIMIT_REACHED
                                          - WORK_LIMIT_REACHED
                                          - TIME_LIMIT_REACHED
                                          - DUMB_MODE_TRANSITION
                                          - UNRESOLVED_TARGET
                                          - UNSUPPORTED_ITEM
                                          - PROVIDER_FAILURE
                                          - PROVIDER_INCOMPLETE
                                          - PROVIDER_STALLED
                                      measurement:
                                        anyOf:
                                          - type: object
                                            additionalProperties: false
                                            properties:
                                              type:
                                                type: string
                                                const: observed_on_page
                                                description: >-
                                                  Only omitted inputs consumed on this
                                                  page are counted.
                                              items:
                                                type: integer
                                                minimum: 0
                                                description: >-
                                                  Observed omitted input count; never an
                                                  estimate of all missing facts.
                                            required:
                                              - type
                                              - items
                                            title: observed_on_page
                                          - type: object
                                            additionalProperties: false
                                            properties:
                                              type:
                                                type: string
                                                const: unmeasured_on_page
                                                description: >-
                                                  This page did not measure the missing
                                                  population.
                                            required:
                                              - type
                                            title: unmeasured_on_page
                                      samples:
                                        items:
                                          type: object
                                          additionalProperties: false
                                          properties:
                                            file:
                                              type: string
                                              minLength: 1
                                              maxLength: 4096
                                              description: Workspace-relative file path.
                                            range:
                                              type: object
                                              additionalProperties: false
                                              properties:
                                                startInclusive:
                                                  type: integer
                                                  minimum: 0
                                                  description: Observed occurrence start.
                                                endExclusive:
                                                  type: integer
                                                  minimum: 0
                                                  description: Observed occurrence end.
                                              required:
                                                - startInclusive
                                                - endExclusive
                                          required:
                                            - file
                                            - range
                                        type: array
                                        maxItems: 3
                                      remediation:
                                        type: string
                                        description: Closed suggested next action.
                                        enum:
                                          - INCREASE_READ_LIMIT
                                          - WAIT_FOR_INDEXING
                                          - RESOLVE_SOURCE_ERRORS
                                          - USE_SUPPORTED_DECLARATIONS
                                          - RETRY_PROVIDER
                                          - REPAIR_PROVIDER
                                    required:
                                      - provider
                                      - reason
                                      - measurement
                                      - samples
                                      - remediation
                                required:
                                  - subject
                                  - relation
                                  - evidence
                              maxItems: 1000
                            walk_observations:
                              type: array
                              items:
                                type: object
                                additionalProperties: false
                                properties:
                                  subject:
                                    $ref: >-
                                      #/components/schemas/query_symbolsResponse_ExactSymbolRef
                                  relation:
                                    type: string
                                    description: One canonical Kast semantic relation.
                                    enum:
                                      - references
                                      - callers
                                      - callees
                                      - implementations
                                      - inheritors
                                      - overrides
                                      - type-uses
                                  maximum_depth:
                                    type: integer
                                    minimum: 1
                                    description: Requested traversal depth bound.
                                  expanded_frontier:
                                    type: integer
                                    minimum: 0
                                    description: Nodes expanded on this page.
                                  progress:
                                    type: object
                                    additionalProperties: false
                                    properties:
                                      checkpointSequence:
                                        type: integer
                                      totalReads:
                                        type: integer
                                      totalEdges:
                                        type: integer
                                      maximumDepthReached:
                                        type: integer
                                    required: []
                                  strategy:
                                    anyOf:
                                      - type: object
                                        additionalProperties: false
                                        properties:
                                          type:
                                            type: string
                                            const: bounded_fan_out
                                          maximumEdgesPerNode:
                                            type: integer
                                            minimum: 1
                                            maximum: 1000
                                        required:
                                          - type
                                          - maximumEdgesPerNode
                                        title: bounded_fan_out
                                      - type: object
                                        additionalProperties: false
                                        properties:
                                          type:
                                            type: string
                                            const: breadth_first
                                        required:
                                          - type
                                        title: breadth_first
                                  partial_expansions:
                                    type: array
                                    items:
                                      type: object
                                      additionalProperties: false
                                      properties:
                                        subject:
                                          $ref: >-
                                            #/components/schemas/query_symbolsResponse_ExactSymbolRef
                                        depth:
                                          type: integer
                                          minimum: 0
                                          description: Partially expanded subject depth.
                                        limitations:
                                          type: array
                                          items:
                                            type: string
                                            description: Every relation coverage limitation.
                                            enum:
                                              - result-limit-reached
                                              - byte-limit-reached
                                              - work-limit-reached
                                              - time-limit-reached
                                              - dumb-mode-transition
                                              - unresolved-target
                                              - unsupported-item
                                              - provider-failure
                                              - provider-incomplete
                                              - provider-stalled
                                          maxItems: 1000
                                        remainder:
                                          type: string
                                          description: Disposition of unenumerated neighbors.
                                          enum:
                                            - continuation_retained
                                            - not_explored
                                        scope:
                                          type: string
                                          const: page
                                          description: >-
                                            Only qualified node reads performed on
                                            this page.
                                      required:
                                        - subject
                                        - depth
                                        - limitations
                                        - remainder
                                        - scope
                                    maxItems: 1000
                                  coverage:
                                    anyOf:
                                      - type: object
                                        additionalProperties: false
                                        properties:
                                          kind:
                                            type: string
                                            const: complete
                                            description: Traversal coverage state.
                                        required:
                                          - kind
                                        title: complete
                                      - type: object
                                        additionalProperties: false
                                        properties:
                                          kind:
                                            type: string
                                            const: resumable
                                            description: Traversal coverage state.
                                          limitations:
                                            type: array
                                            items:
                                              type: string
                                              description: Every traversal limitation.
                                              enum:
                                                - record-limit-reached
                                                - byte-limit-reached
                                                - work-limit-reached
                                                - time-limit-reached
                                                - depth-limit-reached
                                                - frontier-limit-reached
                                                - one-hop-incomplete
                                                - no-progress
                                            maxItems: 1000
                                          relation_limitations:
                                            type: array
                                            items:
                                              type: string
                                              description: Every relation coverage limitation.
                                              enum:
                                                - result-limit-reached
                                                - byte-limit-reached
                                                - work-limit-reached
                                                - time-limit-reached
                                                - dumb-mode-transition
                                                - unresolved-target
                                                - unsupported-item
                                                - provider-failure
                                                - provider-incomplete
                                                - provider-stalled
                                            maxItems: 1000
                                        required:
                                          - kind
                                          - limitations
                                          - relation_limitations
                                        title: resumable
                                      - type: object
                                        additionalProperties: false
                                        properties:
                                          kind:
                                            type: string
                                            const: terminal_incomplete
                                            description: Traversal coverage state.
                                          limitations:
                                            type: array
                                            items:
                                              type: string
                                              description: Every traversal limitation.
                                              enum:
                                                - record-limit-reached
                                                - byte-limit-reached
                                                - work-limit-reached
                                                - time-limit-reached
                                                - depth-limit-reached
                                                - frontier-limit-reached
                                                - one-hop-incomplete
                                                - no-progress
                                            maxItems: 1000
                                          relation_limitations:
                                            type: array
                                            items:
                                              type: string
                                              description: Every relation coverage limitation.
                                              enum:
                                                - result-limit-reached
                                                - byte-limit-reached
                                                - work-limit-reached
                                                - time-limit-reached
                                                - dumb-mode-transition
                                                - unresolved-target
                                                - unsupported-item
                                                - provider-failure
                                                - provider-incomplete
                                                - provider-stalled
                                            maxItems: 1000
                                        required:
                                          - kind
                                          - limitations
                                          - relation_limitations
                                        title: terminal_incomplete
                                required:
                                  - subject
                                  - relation
                                  - maximum_depth
                                  - expanded_frontier
                                  - progress
                                  - strategy
                                  - partial_expansions
                                  - coverage
                              maxItems: 1000
                            retention:
                              anyOf:
                                - type: object
                                  additionalProperties: false
                                  properties:
                                    kind:
                                      type: string
                                      const: capacity_exceeded
                                  required:
                                    - kind
                                  title: capacity_exceeded
                                - type: object
                                  additionalProperties: false
                                  properties:
                                    kind:
                                      type: string
                                      const: not_requested
                                  required:
                                    - kind
                                  title: not_requested
                                - type: object
                                  additionalProperties: false
                                  properties:
                                    kind:
                                      type: string
                                      const: retained
                                    reference:
                                      type: string
                                  required:
                                    - kind
                                    - reference
                                  title: retained
                            next_cursor:
                              type: integer
                          required:
                            - operation
                            - status
                            - items
                            - coverage
                            - failures
                            - omissions
                            - walk_observations
                            - retention
                          title: complete
                        - type: object
                          additionalProperties: false
                          properties:
                            operation:
                              $ref: >-
                                #/components/schemas/query_symbolsResponse_queryRunOperation
                            status:
                              type: string
                              const: complete
                              description: Canonical operation outcome.
                            items:
                              type: array
                              items:
                                $ref: >-
                                  #/components/schemas/query_symbolsResponse_queryResultItem
                              maxItems: 1000
                            coverage:
                              type: object
                              additionalProperties: false
                              properties:
                                exhaustive:
                                  type: boolean
                              required:
                                - exhaustive
                            execution_budget:
                              anyOf:
                                - $ref: >-
                                    #/components/schemas/query_symbolsResponse_executionBudget
                                - type: 'null'
                            reference_acquisitions:
                              type: object
                              additionalProperties: false
                              properties:
                                references:
                                  type: array
                                  items:
                                    type: object
                                    additionalProperties: false
                                    properties:
                                      previous:
                                        type: string
                                        minLength: 1
                                        maxLength: 1048576
                                        pattern: '[\s\S]*\S[\s\S]*'
                                      current:
                                        type: string
                                        minLength: 1
                                        maxLength: 1048576
                                        pattern: '[\s\S]*\S[\s\S]*'
                                    required:
                                      - previous
                                      - current
                              required:
                                - references
                            failures:
                              type: array
                              items:
                                $ref: >-
                                  #/components/schemas/query_symbolsResponse_queryItemFailure
                              maxItems: 1000
                            omissions:
                              type: array
                              items:
                                type: object
                                additionalProperties: false
                                properties:
                                  subject:
                                    $ref: >-
                                      #/components/schemas/query_symbolsResponse_ExactSymbolRef
                                  relation:
                                    type: string
                                    description: One canonical Kast semantic relation.
                                    enum:
                                      - references
                                      - callers
                                      - callees
                                      - implementations
                                      - inheritors
                                      - overrides
                                      - type-uses
                                  evidence:
                                    type: object
                                    additionalProperties: false
                                    properties:
                                      provider:
                                        type: string
                                        description: Native provider and contract version.
                                        enum:
                                          - INTELLIJ_REFERENCES_V1
                                          - INTELLIJ_DEFINITIONS_V1
                                          - INTELLIJ_CALLEES_V1
                                          - INTELLIJ_REFERENCES_V2
                                          - INTELLIJ_DEFINITIONS_V2
                                          - INTELLIJ_CALLEES_V2
                                      reason:
                                        type: string
                                        description: Retained finite limitation.
                                        enum:
                                          - RESULT_LIMIT_REACHED
                                          - BYTE_LIMIT_REACHED
                                          - WORK_LIMIT_REACHED
                                          - TIME_LIMIT_REACHED
                                          - DUMB_MODE_TRANSITION
                                          - UNRESOLVED_TARGET
                                          - UNSUPPORTED_ITEM
                                          - PROVIDER_FAILURE
                                          - PROVIDER_INCOMPLETE
                                          - PROVIDER_STALLED
                                      measurement:
                                        anyOf:
                                          - type: object
                                            additionalProperties: false
                                            properties:
                                              type:
                                                type: string
                                                const: observed_on_page
                                                description: >-
                                                  Only omitted inputs consumed on this
                                                  page are counted.
                                              items:
                                                type: integer
                                                minimum: 0
                                                description: >-
                                                  Observed omitted input count; never an
                                                  estimate of all missing facts.
                                            required:
                                              - type
                                              - items
                                            title: observed_on_page
                                          - type: object
                                            additionalProperties: false
                                            properties:
                                              type:
                                                type: string
                                                const: unmeasured_on_page
                                                description: >-
                                                  This page did not measure the missing
                                                  population.
                                            required:
                                              - type
                                            title: unmeasured_on_page
                                      samples:
                                        items:
                                          type: object
                                          additionalProperties: false
                                          properties:
                                            file:
                                              type: string
                                              minLength: 1
                                              maxLength: 4096
                                              description: Workspace-relative file path.
                                            range:
                                              type: object
                                              additionalProperties: false
                                              properties:
                                                startInclusive:
                                                  type: integer
                                                  minimum: 0
                                                  description: Observed occurrence start.
                                                endExclusive:
                                                  type: integer
                                                  minimum: 0
                                                  description: Observed occurrence end.
                                              required:
                                                - startInclusive
                                                - endExclusive
                                          required:
                                            - file
                                            - range
                                        type: array
                                        maxItems: 3
                                      remediation:
                                        type: string
                                        description: Closed suggested next action.
                                        enum:
                                          - INCREASE_READ_LIMIT
                                          - WAIT_FOR_INDEXING
                                          - RESOLVE_SOURCE_ERRORS
                                          - USE_SUPPORTED_DECLARATIONS
                                          - RETRY_PROVIDER
                                          - REPAIR_PROVIDER
                                    required:
                                      - provider
                                      - reason
                                      - measurement
                                      - samples
                                      - remediation
                                required:
                                  - subject
                                  - relation
                                  - evidence
                              maxItems: 1000
                            walk_observations:
                              type: array
                              items:
                                type: object
                                additionalProperties: false
                                properties:
                                  subject:
                                    $ref: >-
                                      #/components/schemas/query_symbolsResponse_ExactSymbolRef
                                  relation:
                                    type: string
                                    description: One canonical Kast semantic relation.
                                    enum:
                                      - references
                                      - callers
                                      - callees
                                      - implementations
                                      - inheritors
                                      - overrides
                                      - type-uses
                                  maximum_depth:
                                    type: integer
                                    minimum: 1
                                    description: Requested traversal depth bound.
                                  expanded_frontier:
                                    type: integer
                                    minimum: 0
                                    description: Nodes expanded on this page.
                                  progress:
                                    type: object
                                    additionalProperties: false
                                    properties:
                                      checkpointSequence:
                                        type: integer
                                      totalReads:
                                        type: integer
                                      totalEdges:
                                        type: integer
                                      maximumDepthReached:
                                        type: integer
                                    required: []
                                  strategy:
                                    anyOf:
                                      - type: object
                                        additionalProperties: false
                                        properties:
                                          type:
                                            type: string
                                            const: bounded_fan_out
                                          maximumEdgesPerNode:
                                            type: integer
                                            minimum: 1
                                            maximum: 1000
                                        required:
                                          - type
                                          - maximumEdgesPerNode
                                        title: bounded_fan_out
                                      - type: object
                                        additionalProperties: false
                                        properties:
                                          type:
                                            type: string
                                            const: breadth_first
                                        required:
                                          - type
                                        title: breadth_first
                                  partial_expansions:
                                    type: array
                                    items:
                                      type: object
                                      additionalProperties: false
                                      properties:
                                        subject:
                                          $ref: >-
                                            #/components/schemas/query_symbolsResponse_ExactSymbolRef
                                        depth:
                                          type: integer
                                          minimum: 0
                                          description: Partially expanded subject depth.
                                        limitations:
                                          type: array
                                          items:
                                            type: string
                                            description: Every relation coverage limitation.
                                            enum:
                                              - result-limit-reached
                                              - byte-limit-reached
                                              - work-limit-reached
                                              - time-limit-reached
                                              - dumb-mode-transition
                                              - unresolved-target
                                              - unsupported-item
                                              - provider-failure
                                              - provider-incomplete
                                              - provider-stalled
                                          maxItems: 1000
                                        remainder:
                                          type: string
                                          description: Disposition of unenumerated neighbors.
                                          enum:
                                            - continuation_retained
                                            - not_explored
                                        scope:
                                          type: string
                                          const: page
                                          description: >-
                                            Only qualified node reads performed on
                                            this page.
                                      required:
                                        - subject
                                        - depth
                                        - limitations
                                        - remainder
                                        - scope
                                    maxItems: 1000
                                  coverage:
                                    anyOf:
                                      - type: object
                                        additionalProperties: false
                                        properties:
                                          kind:
                                            type: string
                                            const: complete
                                            description: Traversal coverage state.
                                        required:
                                          - kind
                                        title: complete
                                      - type: object
                                        additionalProperties: false
                                        properties:
                                          kind:
                                            type: string
                                            const: resumable
                                            description: Traversal coverage state.
                                          limitations:
                                            type: array
                                            items:
                                              type: string
                                              description: Every traversal limitation.
                                              enum:
                                                - record-limit-reached
                                                - byte-limit-reached
                                                - work-limit-reached
                                                - time-limit-reached
                                                - depth-limit-reached
                                                - frontier-limit-reached
                                                - one-hop-incomplete
                                                - no-progress
                                            maxItems: 1000
                                          relation_limitations:
                                            type: array
                                            items:
                                              type: string
                                              description: Every relation coverage limitation.
                                              enum:
                                                - result-limit-reached
                                                - byte-limit-reached
                                                - work-limit-reached
                                                - time-limit-reached
                                                - dumb-mode-transition
                                                - unresolved-target
                                                - unsupported-item
                                                - provider-failure
                                                - provider-incomplete
                                                - provider-stalled
                                            maxItems: 1000
                                        required:
                                          - kind
                                          - limitations
                                          - relation_limitations
                                        title: resumable
                                      - type: object
                                        additionalProperties: false
                                        properties:
                                          kind:
                                            type: string
                                            const: terminal_incomplete
                                            description: Traversal coverage state.
                                          limitations:
                                            type: array
                                            items:
                                              type: string
                                              description: Every traversal limitation.
                                              enum:
                                                - record-limit-reached
                                                - byte-limit-reached
                                                - work-limit-reached
                                                - time-limit-reached
                                                - depth-limit-reached
                                                - frontier-limit-reached
                                                - one-hop-incomplete
                                                - no-progress
                                            maxItems: 1000
                                          relation_limitations:
                                            type: array
                                            items:
                                              type: string
                                              description: Every relation coverage limitation.
                                              enum:
                                                - result-limit-reached
                                                - byte-limit-reached
                                                - work-limit-reached
                                                - time-limit-reached
                                                - dumb-mode-transition
                                                - unresolved-target
                                                - unsupported-item
                                                - provider-failure
                                                - provider-incomplete
                                                - provider-stalled
                                            maxItems: 1000
                                        required:
                                          - kind
                                          - limitations
                                          - relation_limitations
                                        title: terminal_incomplete
                                required:
                                  - subject
                                  - relation
                                  - maximum_depth
                                  - expanded_frontier
                                  - progress
                                  - strategy
                                  - partial_expansions
                                  - coverage
                              maxItems: 1000
                            retention:
                              anyOf:
                                - type: object
                                  additionalProperties: false
                                  properties:
                                    kind:
                                      type: string
                                      const: capacity_exceeded
                                  required:
                                    - kind
                                  title: capacity_exceeded
                                - type: object
                                  additionalProperties: false
                                  properties:
                                    kind:
                                      type: string
                                      const: not_requested
                                  required:
                                    - kind
                                  title: not_requested
                                - type: object
                                  additionalProperties: false
                                  properties:
                                    kind:
                                      type: string
                                      const: retained
                                    reference:
                                      type: string
                                  required:
                                    - kind
                                    - reference
                                  title: retained
                            next_cursor:
                              type: integer
                            live:
                              $ref: >-
                                #/components/schemas/query_symbolsResponse_liveReadEvidence
                          required:
                            - operation
                            - status
                            - items
                            - coverage
                            - failures
                            - omissions
                            - walk_observations
                            - retention
                            - live
                          title: complete · live
                    - oneOf:
                        - type: object
                          additionalProperties: false
                          properties:
                            operation:
                              $ref: >-
                                #/components/schemas/query_symbolsResponse_queryRunOperation
                            status:
                              type: string
                              const: qualified
                              description: Canonical operation outcome.
                            continuation:
                              anyOf:
                                - $ref: >-
                                    #/components/schemas/query_symbolsResponse_ContinuationRef
                                - type: 'null'
                            terminal_reason:
                              $ref: >-
                                #/components/schemas/query_symbolsResponse_queryTerminalReason
                            items:
                              type: array
                              items:
                                $ref: >-
                                  #/components/schemas/query_symbolsResponse_queryResultItem
                              maxItems: 1000
                            coverage:
                              type: object
                              additionalProperties: false
                              properties:
                                exhaustive:
                                  type: boolean
                              required:
                                - exhaustive
                            execution_budget:
                              anyOf:
                                - $ref: >-
                                    #/components/schemas/query_symbolsResponse_executionBudget
                                - type: 'null'
                            reference_acquisitions:
                              type: object
                              additionalProperties: false
                              properties:
                                references:
                                  type: array
                                  items:
                                    type: object
                                    additionalProperties: false
                                    properties:
                                      previous:
                                        type: string
                                        minLength: 1
                                        maxLength: 1048576
                                        pattern: '[\s\S]*\S[\s\S]*'
                                      current:
                                        type: string
                                        minLength: 1
                                        maxLength: 1048576
                                        pattern: '[\s\S]*\S[\s\S]*'
                                    required:
                                      - previous
                                      - current
                              required:
                                - references
                            failures:
                              type: array
                              items:
                                $ref: >-
                                  #/components/schemas/query_symbolsResponse_queryItemFailure
                              maxItems: 1000
                            omissions:
                              type: array
                              items:
                                type: object
                                additionalProperties: false
                                properties:
                                  subject:
                                    $ref: >-
                                      #/components/schemas/query_symbolsResponse_ExactSymbolRef
                                  relation:
                                    type: string
                                    description: One canonical Kast semantic relation.
                                    enum:
                                      - references
                                      - callers
                                      - callees
                                      - implementations
                                      - inheritors
                                      - overrides
                                      - type-uses
                                  evidence:
                                    type: object
                                    additionalProperties: false
                                    properties:
                                      provider:
                                        type: string
                                        description: Native provider and contract version.
                                        enum:
                                          - INTELLIJ_REFERENCES_V1
                                          - INTELLIJ_DEFINITIONS_V1
                                          - INTELLIJ_CALLEES_V1
                                          - INTELLIJ_REFERENCES_V2
                                          - INTELLIJ_DEFINITIONS_V2
                                          - INTELLIJ_CALLEES_V2
                                      reason:
                                        type: string
                                        description: Retained finite limitation.
                                        enum:
                                          - RESULT_LIMIT_REACHED
                                          - BYTE_LIMIT_REACHED
                                          - WORK_LIMIT_REACHED
                                          - TIME_LIMIT_REACHED
                                          - DUMB_MODE_TRANSITION
                                          - UNRESOLVED_TARGET
                                          - UNSUPPORTED_ITEM
                                          - PROVIDER_FAILURE
                                          - PROVIDER_INCOMPLETE
                                          - PROVIDER_STALLED
                                      measurement:
                                        anyOf:
                                          - type: object
                                            additionalProperties: false
                                            properties:
                                              type:
                                                type: string
                                                const: observed_on_page
                                                description: >-
                                                  Only omitted inputs consumed on this
                                                  page are counted.
                                              items:
                                                type: integer
                                                minimum: 0
                                                description: >-
                                                  Observed omitted input count; never an
                                                  estimate of all missing facts.
                                            required:
                                              - type
                                              - items
                                            title: observed_on_page
                                          - type: object
                                            additionalProperties: false
                                            properties:
                                              type:
                                                type: string
                                                const: unmeasured_on_page
                                                description: >-
                                                  This page did not measure the missing
                                                  population.
                                            required:
                                              - type
                                            title: unmeasured_on_page
                                      samples:
                                        items:
                                          type: object
                                          additionalProperties: false
                                          properties:
                                            file:
                                              type: string
                                              minLength: 1
                                              maxLength: 4096
                                              description: Workspace-relative file path.
                                            range:
                                              type: object
                                              additionalProperties: false
                                              properties:
                                                startInclusive:
                                                  type: integer
                                                  minimum: 0
                                                  description: Observed occurrence start.
                                                endExclusive:
                                                  type: integer
                                                  minimum: 0
                                                  description: Observed occurrence end.
                                              required:
                                                - startInclusive
                                                - endExclusive
                                          required:
                                            - file
                                            - range
                                        type: array
                                        maxItems: 3
                                      remediation:
                                        type: string
                                        description: Closed suggested next action.
                                        enum:
                                          - INCREASE_READ_LIMIT
                                          - WAIT_FOR_INDEXING
                                          - RESOLVE_SOURCE_ERRORS
                                          - USE_SUPPORTED_DECLARATIONS
                                          - RETRY_PROVIDER
                                          - REPAIR_PROVIDER
                                    required:
                                      - provider
                                      - reason
                                      - measurement
                                      - samples
                                      - remediation
                                required:
                                  - subject
                                  - relation
                                  - evidence
                              maxItems: 1000
                            walk_observations:
                              type: array
                              items:
                                type: object
                                additionalProperties: false
                                properties:
                                  subject:
                                    $ref: >-
                                      #/components/schemas/query_symbolsResponse_ExactSymbolRef
                                  relation:
                                    type: string
                                    description: One canonical Kast semantic relation.
                                    enum:
                                      - references
                                      - callers
                                      - callees
                                      - implementations
                                      - inheritors
                                      - overrides
                                      - type-uses
                                  maximum_depth:
                                    type: integer
                                    minimum: 1
                                    description: Requested traversal depth bound.
                                  expanded_frontier:
                                    type: integer
                                    minimum: 0
                                    description: Nodes expanded on this page.
                                  progress:
                                    type: object
                                    additionalProperties: false
                                    properties:
                                      checkpointSequence:
                                        type: integer
                                      totalReads:
                                        type: integer
                                      totalEdges:
                                        type: integer
                                      maximumDepthReached:
                                        type: integer
                                    required: []
                                  strategy:
                                    anyOf:
                                      - type: object
                                        additionalProperties: false
                                        properties:
                                          type:
                                            type: string
                                            const: bounded_fan_out
                                          maximumEdgesPerNode:
                                            type: integer
                                            minimum: 1
                                            maximum: 1000
                                        required:
                                          - type
                                          - maximumEdgesPerNode
                                        title: bounded_fan_out
                                      - type: object
                                        additionalProperties: false
                                        properties:
                                          type:
                                            type: string
                                            const: breadth_first
                                        required:
                                          - type
                                        title: breadth_first
                                  partial_expansions:
                                    type: array
                                    items:
                                      type: object
                                      additionalProperties: false
                                      properties:
                                        subject:
                                          $ref: >-
                                            #/components/schemas/query_symbolsResponse_ExactSymbolRef
                                        depth:
                                          type: integer
                                          minimum: 0
                                          description: Partially expanded subject depth.
                                        limitations:
                                          type: array
                                          items:
                                            type: string
                                            description: Every relation coverage limitation.
                                            enum:
                                              - result-limit-reached
                                              - byte-limit-reached
                                              - work-limit-reached
                                              - time-limit-reached
                                              - dumb-mode-transition
                                              - unresolved-target
                                              - unsupported-item
                                              - provider-failure
                                              - provider-incomplete
                                              - provider-stalled
                                          maxItems: 1000
                                        remainder:
                                          type: string
                                          description: Disposition of unenumerated neighbors.
                                          enum:
                                            - continuation_retained
                                            - not_explored
                                        scope:
                                          type: string
                                          const: page
                                          description: >-
                                            Only qualified node reads performed on
                                            this page.
                                      required:
                                        - subject
                                        - depth
                                        - limitations
                                        - remainder
                                        - scope
                                    maxItems: 1000
                                  coverage:
                                    anyOf:
                                      - type: object
                                        additionalProperties: false
                                        properties:
                                          kind:
                                            type: string
                                            const: complete
                                            description: Traversal coverage state.
                                        required:
                                          - kind
                                        title: complete
                                      - type: object
                                        additionalProperties: false
                                        properties:
                                          kind:
                                            type: string
                                            const: resumable
                                            description: Traversal coverage state.
                                          limitations:
                                            type: array
                                            items:
                                              type: string
                                              description: Every traversal limitation.
                                              enum:
                                                - record-limit-reached
                                                - byte-limit-reached
                                                - work-limit-reached
                                                - time-limit-reached
                                                - depth-limit-reached
                                                - frontier-limit-reached
                                                - one-hop-incomplete
                                                - no-progress
                                            maxItems: 1000
                                          relation_limitations:
                                            type: array
                                            items:
                                              type: string
                                              description: Every relation coverage limitation.
                                              enum:
                                                - result-limit-reached
                                                - byte-limit-reached
                                                - work-limit-reached
                                                - time-limit-reached
                                                - dumb-mode-transition
                                                - unresolved-target
                                                - unsupported-item
                                                - provider-failure
                                                - provider-incomplete
                                                - provider-stalled
                                            maxItems: 1000
                                        required:
                                          - kind
                                          - limitations
                                          - relation_limitations
                                        title: resumable
                                      - type: object
                                        additionalProperties: false
                                        properties:
                                          kind:
                                            type: string
                                            const: terminal_incomplete
                                            description: Traversal coverage state.
                                          limitations:
                                            type: array
                                            items:
                                              type: string
                                              description: Every traversal limitation.
                                              enum:
                                                - record-limit-reached
                                                - byte-limit-reached
                                                - work-limit-reached
                                                - time-limit-reached
                                                - depth-limit-reached
                                                - frontier-limit-reached
                                                - one-hop-incomplete
                                                - no-progress
                                            maxItems: 1000
                                          relation_limitations:
                                            type: array
                                            items:
                                              type: string
                                              description: Every relation coverage limitation.
                                              enum:
                                                - result-limit-reached
                                                - byte-limit-reached
                                                - work-limit-reached
                                                - time-limit-reached
                                                - dumb-mode-transition
                                                - unresolved-target
                                                - unsupported-item
                                                - provider-failure
                                                - provider-incomplete
                                                - provider-stalled
                                            maxItems: 1000
                                        required:
                                          - kind
                                          - limitations
                                          - relation_limitations
                                        title: terminal_incomplete
                                required:
                                  - subject
                                  - relation
                                  - maximum_depth
                                  - expanded_frontier
                                  - progress
                                  - strategy
                                  - partial_expansions
                                  - coverage
                              maxItems: 1000
                            retention:
                              anyOf:
                                - type: object
                                  additionalProperties: false
                                  properties:
                                    kind:
                                      type: string
                                      const: capacity_exceeded
                                  required:
                                    - kind
                                  title: capacity_exceeded
                                - type: object
                                  additionalProperties: false
                                  properties:
                                    kind:
                                      type: string
                                      const: not_requested
                                  required:
                                    - kind
                                  title: not_requested
                                - type: object
                                  additionalProperties: false
                                  properties:
                                    kind:
                                      type: string
                                      const: retained
                                    reference:
                                      type: string
                                  required:
                                    - kind
                                    - reference
                                  title: retained
                            next_cursor:
                              type: integer
                            qualification:
                              $ref: >-
                                #/components/schemas/query_symbolsResponse_queryQualification
                          required:
                            - operation
                            - status
                            - continuation
                            - terminal_reason
                            - items
                            - coverage
                            - failures
                            - omissions
                            - walk_observations
                            - retention
                            - qualification
                          title: qualified
                        - type: object
                          additionalProperties: false
                          properties:
                            operation:
                              $ref: >-
                                #/components/schemas/query_symbolsResponse_queryRunOperation
                            status:
                              type: string
                              const: qualified
                              description: Canonical operation outcome.
                            continuation:
                              anyOf:
                                - $ref: >-
                                    #/components/schemas/query_symbolsResponse_ContinuationRef
                                - type: 'null'
                            terminal_reason:
                              $ref: >-
                                #/components/schemas/query_symbolsResponse_queryTerminalReason
                            items:
                              type: array
                              items:
                                $ref: >-
                                  #/components/schemas/query_symbolsResponse_queryResultItem
                              maxItems: 1000
                            coverage:
                              type: object
                              additionalProperties: false
                              properties:
                                exhaustive:
                                  type: boolean
                              required:
                                - exhaustive
                            execution_budget:
                              anyOf:
                                - $ref: >-
                                    #/components/schemas/query_symbolsResponse_executionBudget
                                - type: 'null'
                            reference_acquisitions:
                              type: object
                              additionalProperties: false
                              properties:
                                references:
                                  type: array
                                  items:
                                    type: object
                                    additionalProperties: false
                                    properties:
                                      previous:
                                        type: string
                                        minLength: 1
                                        maxLength: 1048576
                                        pattern: '[\s\S]*\S[\s\S]*'
                                      current:
                                        type: string
                                        minLength: 1
                                        maxLength: 1048576
                                        pattern: '[\s\S]*\S[\s\S]*'
                                    required:
                                      - previous
                                      - current
                              required:
                                - references
                            failures:
                              type: array
                              items:
                                $ref: >-
                                  #/components/schemas/query_symbolsResponse_queryItemFailure
                              maxItems: 1000
                            omissions:
                              type: array
                              items:
                                type: object
                                additionalProperties: false
                                properties:
                                  subject:
                                    $ref: >-
                                      #/components/schemas/query_symbolsResponse_ExactSymbolRef
                                  relation:
                                    type: string
                                    description: One canonical Kast semantic relation.
                                    enum:
                                      - references
                                      - callers
                                      - callees
                                      - implementations
                                      - inheritors
                                      - overrides
                                      - type-uses
                                  evidence:
                                    type: object
                                    additionalProperties: false
                                    properties:
                                      provider:
                                        type: string
                                        description: Native provider and contract version.
                                        enum:
                                          - INTELLIJ_REFERENCES_V1
                                          - INTELLIJ_DEFINITIONS_V1
                                          - INTELLIJ_CALLEES_V1
                                          - INTELLIJ_REFERENCES_V2
                                          - INTELLIJ_DEFINITIONS_V2
                                          - INTELLIJ_CALLEES_V2
                                      reason:
                                        type: string
                                        description: Retained finite limitation.
                                        enum:
                                          - RESULT_LIMIT_REACHED
                                          - BYTE_LIMIT_REACHED
                                          - WORK_LIMIT_REACHED
                                          - TIME_LIMIT_REACHED
                                          - DUMB_MODE_TRANSITION
                                          - UNRESOLVED_TARGET
                                          - UNSUPPORTED_ITEM
                                          - PROVIDER_FAILURE
                                          - PROVIDER_INCOMPLETE
                                          - PROVIDER_STALLED
                                      measurement:
                                        anyOf:
                                          - type: object
                                            additionalProperties: false
                                            properties:
                                              type:
                                                type: string
                                                const: observed_on_page
                                                description: >-
                                                  Only omitted inputs consumed on this
                                                  page are counted.
                                              items:
                                                type: integer
                                                minimum: 0
                                                description: >-
                                                  Observed omitted input count; never an
                                                  estimate of all missing facts.
                                            required:
                                              - type
                                              - items
                                            title: observed_on_page
                                          - type: object
                                            additionalProperties: false
                                            properties:
                                              type:
                                                type: string
                                                const: unmeasured_on_page
                                                description: >-
                                                  This page did not measure the missing
                                                  population.
                                            required:
                                              - type
                                            title: unmeasured_on_page
                                      samples:
                                        items:
                                          type: object
                                          additionalProperties: false
                                          properties:
                                            file:
                                              type: string
                                              minLength: 1
                                              maxLength: 4096
                                              description: Workspace-relative file path.
                                            range:
                                              type: object
                                              additionalProperties: false
                                              properties:
                                                startInclusive:
                                                  type: integer
                                                  minimum: 0
                                                  description: Observed occurrence start.
                                                endExclusive:
                                                  type: integer
                                                  minimum: 0
                                                  description: Observed occurrence end.
                                              required:
                                                - startInclusive
                                                - endExclusive
                                          required:
                                            - file
                                            - range
                                        type: array
                                        maxItems: 3
                                      remediation:
                                        type: string
                                        description: Closed suggested next action.
                                        enum:
                                          - INCREASE_READ_LIMIT
                                          - WAIT_FOR_INDEXING
                                          - RESOLVE_SOURCE_ERRORS
                                          - USE_SUPPORTED_DECLARATIONS
                                          - RETRY_PROVIDER
                                          - REPAIR_PROVIDER
                                    required:
                                      - provider
                                      - reason
                                      - measurement
                                      - samples
                                      - remediation
                                required:
                                  - subject
                                  - relation
                                  - evidence
                              maxItems: 1000
                            walk_observations:
                              type: array
                              items:
                                type: object
                                additionalProperties: false
                                properties:
                                  subject:
                                    $ref: >-
                                      #/components/schemas/query_symbolsResponse_ExactSymbolRef
                                  relation:
                                    type: string
                                    description: One canonical Kast semantic relation.
                                    enum:
                                      - references
                                      - callers
                                      - callees
                                      - implementations
                                      - inheritors
                                      - overrides
                                      - type-uses
                                  maximum_depth:
                                    type: integer
                                    minimum: 1
                                    description: Requested traversal depth bound.
                                  expanded_frontier:
                                    type: integer
                                    minimum: 0
                                    description: Nodes expanded on this page.
                                  progress:
                                    type: object
                                    additionalProperties: false
                                    properties:
                                      checkpointSequence:
                                        type: integer
                                      totalReads:
                                        type: integer
                                      totalEdges:
                                        type: integer
                                      maximumDepthReached:
                                        type: integer
                                    required: []
                                  strategy:
                                    anyOf:
                                      - type: object
                                        additionalProperties: false
                                        properties:
                                          type:
                                            type: string
                                            const: bounded_fan_out
                                          maximumEdgesPerNode:
                                            type: integer
                                            minimum: 1
                                            maximum: 1000
                                        required:
                                          - type
                                          - maximumEdgesPerNode
                                        title: bounded_fan_out
                                      - type: object
                                        additionalProperties: false
                                        properties:
                                          type:
                                            type: string
                                            const: breadth_first
                                        required:
                                          - type
                                        title: breadth_first
                                  partial_expansions:
                                    type: array
                                    items:
                                      type: object
                                      additionalProperties: false
                                      properties:
                                        subject:
                                          $ref: >-
                                            #/components/schemas/query_symbolsResponse_ExactSymbolRef
                                        depth:
                                          type: integer
                                          minimum: 0
                                          description: Partially expanded subject depth.
                                        limitations:
                                          type: array
                                          items:
                                            type: string
                                            description: Every relation coverage limitation.
                                            enum:
                                              - result-limit-reached
                                              - byte-limit-reached
                                              - work-limit-reached
                                              - time-limit-reached
                                              - dumb-mode-transition
                                              - unresolved-target
                                              - unsupported-item
                                              - provider-failure
                                              - provider-incomplete
                                              - provider-stalled
                                          maxItems: 1000
                                        remainder:
                                          type: string
                                          description: Disposition of unenumerated neighbors.
                                          enum:
                                            - continuation_retained
                                            - not_explored
                                        scope:
                                          type: string
                                          const: page
                                          description: >-
                                            Only qualified node reads performed on
                                            this page.
                                      required:
                                        - subject
                                        - depth
                                        - limitations
                                        - remainder
                                        - scope
                                    maxItems: 1000
                                  coverage:
                                    anyOf:
                                      - type: object
                                        additionalProperties: false
                                        properties:
                                          kind:
                                            type: string
                                            const: complete
                                            description: Traversal coverage state.
                                        required:
                                          - kind
                                        title: complete
                                      - type: object
                                        additionalProperties: false
                                        properties:
                                          kind:
                                            type: string
                                            const: resumable
                                            description: Traversal coverage state.
                                          limitations:
                                            type: array
                                            items:
                                              type: string
                                              description: Every traversal limitation.
                                              enum:
                                                - record-limit-reached
                                                - byte-limit-reached
                                                - work-limit-reached
                                                - time-limit-reached
                                                - depth-limit-reached
                                                - frontier-limit-reached
                                                - one-hop-incomplete
                                                - no-progress
                                            maxItems: 1000
                                          relation_limitations:
                                            type: array
                                            items:
                                              type: string
                                              description: Every relation coverage limitation.
                                              enum:
                                                - result-limit-reached
                                                - byte-limit-reached
                                                - work-limit-reached
                                                - time-limit-reached
                                                - dumb-mode-transition
                                                - unresolved-target
                                                - unsupported-item
                                                - provider-failure
                                                - provider-incomplete
                                                - provider-stalled
                                            maxItems: 1000
                                        required:
                                          - kind
                                          - limitations
                                          - relation_limitations
                                        title: resumable
                                      - type: object
                                        additionalProperties: false
                                        properties:
                                          kind:
                                            type: string
                                            const: terminal_incomplete
                                            description: Traversal coverage state.
                                          limitations:
                                            type: array
                                            items:
                                              type: string
                                              description: Every traversal limitation.
                                              enum:
                                                - record-limit-reached
                                                - byte-limit-reached
                                                - work-limit-reached
                                                - time-limit-reached
                                                - depth-limit-reached
                                                - frontier-limit-reached
                                                - one-hop-incomplete
                                                - no-progress
                                            maxItems: 1000
                                          relation_limitations:
                                            type: array
                                            items:
                                              type: string
                                              description: Every relation coverage limitation.
                                              enum:
                                                - result-limit-reached
                                                - byte-limit-reached
                                                - work-limit-reached
                                                - time-limit-reached
                                                - dumb-mode-transition
                                                - unresolved-target
                                                - unsupported-item
                                                - provider-failure
                                                - provider-incomplete
                                                - provider-stalled
                                            maxItems: 1000
                                        required:
                                          - kind
                                          - limitations
                                          - relation_limitations
                                        title: terminal_incomplete
                                required:
                                  - subject
                                  - relation
                                  - maximum_depth
                                  - expanded_frontier
                                  - progress
                                  - strategy
                                  - partial_expansions
                                  - coverage
                              maxItems: 1000
                            retention:
                              anyOf:
                                - type: object
                                  additionalProperties: false
                                  properties:
                                    kind:
                                      type: string
                                      const: capacity_exceeded
                                  required:
                                    - kind
                                  title: capacity_exceeded
                                - type: object
                                  additionalProperties: false
                                  properties:
                                    kind:
                                      type: string
                                      const: not_requested
                                  required:
                                    - kind
                                  title: not_requested
                                - type: object
                                  additionalProperties: false
                                  properties:
                                    kind:
                                      type: string
                                      const: retained
                                    reference:
                                      type: string
                                  required:
                                    - kind
                                    - reference
                                  title: retained
                            next_cursor:
                              type: integer
                            qualification:
                              $ref: >-
                                #/components/schemas/query_symbolsResponse_queryQualification
                            live:
                              $ref: >-
                                #/components/schemas/query_symbolsResponse_liveReadEvidence
                          required:
                            - operation
                            - status
                            - continuation
                            - terminal_reason
                            - items
                            - coverage
                            - failures
                            - omissions
                            - walk_observations
                            - retention
                            - qualification
                            - live
                          title: qualified · live
                    - type: object
                      additionalProperties: false
                      properties:
                        operation:
                          $ref: >-
                            #/components/schemas/query_symbolsResponse_queryRunOperation
                        status:
                          type: string
                          const: rejected
                          description: Canonical operation outcome.
                        rejection:
                          $ref: >-
                            #/components/schemas/query_symbolsResponse_queryRejection
                        next_action:
                          $ref: >-
                            #/components/schemas/query_symbolsResponse_readRecoveryAction
                      required:
                        - operation
                        - status
                        - rejection
                        - next_action
                      title: rejected
                    - type: object
                      additionalProperties: false
                      properties:
                        operation:
                          $ref: >-
                            #/components/schemas/query_symbolsResponse_queryRunOperation
                        status:
                          type: string
                          const: rejected
                          description: Canonical operation outcome.
                        rejection:
                          $ref: >-
                            #/components/schemas/query_symbolsResponse_queryRejection
                        next_action:
                          $ref: >-
                            #/components/schemas/query_symbolsResponse_readRecoveryAction
                        execution_budget:
                          $ref: >-
                            #/components/schemas/query_symbolsResponse_executionBudget
                      required:
                        - operation
                        - status
                        - rejection
                        - next_action
                        - execution_budget
                      title: rejected
                - $ref: '#/components/schemas/query_symbolsResponse_transportRejected'
                - $ref: >-
                    #/components/schemas/query_symbolsResponse_hostedReadRejection
          required:
            - status
            - document
          title: completed
        - type: object
          additionalProperties: false
          properties:
            status:
              type: string
              const: rejected
              description: Process outcome.
            diagnostic:
              anyOf:
                - type: object
                  additionalProperties: false
                  properties:
                    status:
                      type: string
                      const: rejected
                      description: Boundary outcome.
                    boundary:
                      type: string
                      minLength: 1
                      maxLength: 1048576
                      description: Rejected process boundary.
                    reason:
                      type: string
                      minLength: 1
                      maxLength: 1048576
                      description: Closed boundary rejection reason.
                  required:
                    - status
                    - boundary
                    - reason
                  title: rejected
                - type: object
                  additionalProperties: false
                  properties:
                    status:
                      type: string
                      const: rejected
                      description: Boundary outcome.
                    boundary:
                      type: string
                      minLength: 1
                      maxLength: 1048576
                      description: Rejected process boundary.
                    reason:
                      type: string
                      minLength: 1
                      maxLength: 1048576
                      description: Closed boundary rejection reason.
                    diagnostic:
                      type: string
                      minLength: 1
                      maxLength: 1048576
                      description: Usage diagnostic.
                  required:
                    - status
                    - boundary
                    - reason
                    - diagnostic
                  title: rejected
                - type: object
                  additionalProperties: false
                  properties:
                    status:
                      type: string
                      const: rejected
                      description: Boundary outcome.
                    boundary:
                      type: string
                      const: runtime
                      description: Rejected process boundary.
                    reason:
                      type: string
                      minLength: 1
                      maxLength: 1048576
                      description: Closed boundary rejection reason.
                    details:
                      anyOf:
                        - type: object
                          additionalProperties: false
                          properties:
                            type:
                              type: string
                              const: malformed-document
                              description: Closed failure variant.
                          required:
                            - type
                          title: malformed-document
                        - type: object
                          additionalProperties: false
                          properties:
                            type:
                              type: string
                              const: non-canonical-document
                              description: Closed failure variant.
                          required:
                            - type
                          title: non-canonical-document
                        - type: object
                          additionalProperties: false
                          properties:
                            type:
                              type: string
                              const: unsupported-schema
                              description: Closed failure variant.
                          required:
                            - type
                          title: unsupported-schema
                        - type: object
                          additionalProperties: false
                          properties:
                            type:
                              type: string
                              const: unsupported-host-kind
                              description: Closed failure variant.
                          required:
                            - type
                          title: unsupported-host-kind
                        - type: object
                          additionalProperties: false
                          properties:
                            type:
                              type: string
                              const: unsupported-framing
                              description: Closed failure variant.
                          required:
                            - type
                          title: unsupported-framing
                        - type: object
                          additionalProperties: false
                          properties:
                            type:
                              type: string
                              const: invalid-canonical-root
                              description: Closed failure variant.
                            failure:
                              $ref: >-
                                #/components/schemas/query_symbolsResponse_finiteFailureEvidence
                          required:
                            - type
                            - failure
                          title: invalid-canonical-root
                        - type: object
                          additionalProperties: false
                          properties:
                            type:
                              type: string
                              const: invalid-socket-path
                              description: Closed failure variant.
                            failure:
                              $ref: >-
                                #/components/schemas/query_symbolsResponse_finiteFailureEvidence
                          required:
                            - type
                            - failure
                          title: invalid-socket-path
                        - type: object
                          additionalProperties: false
                          properties:
                            type:
                              type: string
                              const: invalid-process-id
                              description: Closed failure variant.
                            failure:
                              $ref: >-
                                #/components/schemas/query_symbolsResponse_finiteFailureEvidence
                          required:
                            - type
                            - failure
                          title: invalid-process-id
                        - type: object
                          additionalProperties: false
                          properties:
                            type:
                              type: string
                              const: invalid-runtime-epoch
                              description: Closed failure variant.
                            failure:
                              $ref: >-
                                #/components/schemas/query_symbolsResponse_finiteFailureEvidence
                          required:
                            - type
                            - failure
                          title: invalid-runtime-epoch
                        - type: object
                          additionalProperties: false
                          properties:
                            type:
                              type: string
                              const: compatibility-rejected
                              description: Descriptor failure variant.
                            failure:
                              anyOf:
                                - type: object
                                  additionalProperties: false
                                  properties:
                                    type:
                                      type: string
                                      const: malformed
                                      description: Compatibility failure.
                                    field:
                                      type: string
                                      minLength: 1
                                      maxLength: 1048576
                                      description: Rejected compatibility field.
                                    syntax:
                                      type: string
                                      minLength: 1
                                      maxLength: 1048576
                                      description: Closed syntax failure.
                                  required:
                                    - type
                                    - field
                                    - syntax
                                  title: malformed
                                - type: object
                                  additionalProperties: false
                                  properties:
                                    type:
                                      type: string
                                      const: mismatch
                                      description: Compatibility failure.
                                    field:
                                      type: string
                                      minLength: 1
                                      maxLength: 1048576
                                      description: Mismatched compatibility field.
                                    expected:
                                      type: string
                                      minLength: 1
                                      maxLength: 1048576
                                      description: Expected identity.
                                    observed:
                                      type: string
                                      minLength: 1
                                      maxLength: 1048576
                                      description: Observed identity.
                                  required:
                                    - type
                                    - field
                                    - expected
                                    - observed
                                  title: mismatch
                                - type: object
                                  additionalProperties: false
                                  properties:
                                    type:
                                      type: string
                                      const: capability-set-mismatch
                                      description: Compatibility failure.
                                    field:
                                      type: string
                                      minLength: 1
                                      maxLength: 1048576
                                      description: Mismatched capability field.
                                    expected:
                                      type: array
                                      items:
                                        type: string
                                        minLength: 1
                                        maxLength: 1048576
                                        description: Expected operation.
                                    observed:
                                      type: array
                                      items:
                                        type: string
                                        minLength: 1
                                        maxLength: 1048576
                                        description: Observed operation.
                                  required:
                                    - type
                                    - field
                                    - expected
                                    - observed
                                  title: capability-set-mismatch
                                - type: object
                                  additionalProperties: false
                                  properties:
                                    type:
                                      type: string
                                      const: unknown-capability
                                      description: Closed failure variant.
                                    operationId:
                                      $ref: >-
                                        #/components/schemas/query_symbolsResponse_finiteFailureEvidence
                                  required:
                                    - type
                                    - operationId
                                  title: unknown-capability
                                - type: object
                                  additionalProperties: false
                                  properties:
                                    type:
                                      type: string
                                      const: unsupported-capability
                                      description: Closed failure variant.
                                    operationId:
                                      $ref: >-
                                        #/components/schemas/query_symbolsResponse_finiteFailureEvidence
                                  required:
                                    - type
                                    - operationId
                                  title: unsupported-capability
                                - type: object
                                  additionalProperties: false
                                  properties:
                                    type:
                                      type: string
                                      const: duplicate-capability
                                      description: Closed failure variant.
                                    operationId:
                                      $ref: >-
                                        #/components/schemas/query_symbolsResponse_finiteFailureEvidence
                                  required:
                                    - type
                                    - operationId
                                  title: duplicate-capability
                          required:
                            - type
                            - failure
                          title: compatibility-rejected
                        - type: object
                          additionalProperties: false
                          properties:
                            type:
                              type: string
                              const: hosted-capabilities-rejected
                              description: Descriptor failure variant.
                            failure:
                              anyOf:
                                - type: object
                                  additionalProperties: false
                                  properties:
                                    type:
                                      type: string
                                      const: malformed-operation-id
                                      description: Closed failure variant.
                                    failure:
                                      $ref: >-
                                        #/components/schemas/query_symbolsResponse_finiteFailureEvidence
                                  required:
                                    - type
                                    - failure
                                  title: malformed-operation-id
                                - type: object
                                  additionalProperties: false
                                  properties:
                                    type:
                                      type: string
                                      const: unknown-operation
                                      description: Closed failure variant.
                                    operationId:
                                      $ref: >-
                                        #/components/schemas/query_symbolsResponse_finiteFailureEvidence
                                  required:
                                    - type
                                    - operationId
                                  title: unknown-operation
                                - type: object
                                  additionalProperties: false
                                  properties:
                                    type:
                                      type: string
                                      const: unsupported-intent
                                      description: Closed failure variant.
                                    operationId:
                                      $ref: >-
                                        #/components/schemas/query_symbolsResponse_finiteFailureEvidence
                                  required:
                                    - type
                                    - operationId
                                  title: unsupported-intent
                                - type: object
                                  additionalProperties: false
                                  properties:
                                    type:
                                      type: string
                                      const: duplicate-operation
                                      description: Closed failure variant.
                                    operationId:
                                      $ref: >-
                                        #/components/schemas/query_symbolsResponse_finiteFailureEvidence
                                  required:
                                    - type
                                    - operationId
                                  title: duplicate-operation
                                - type: object
                                  additionalProperties: false
                                  properties:
                                    type:
                                      type: string
                                      const: duplicate-intent
                                      description: Hosted-capability failure.
                                    operationId:
                                      type: string
                                      minLength: 1
                                      maxLength: 1048576
                                      description: Canonical operation identity.
                                    intent:
                                      type: string
                                      minLength: 1
                                      maxLength: 1048576
                                      description: Duplicate hosted intent.
                                  required:
                                    - type
                                    - operationId
                                    - intent
                                  title: duplicate-intent
                                - type: object
                                  additionalProperties: false
                                  properties:
                                    type:
                                      type: string
                                      const: canonical-projection-mismatch
                                      description: Closed failure variant.
                                  required:
                                    - type
                                  title: canonical-projection-mismatch
                          required:
                            - type
                            - failure
                          title: hosted-capabilities-rejected
                  required:
                    - status
                    - boundary
                    - reason
                    - details
                  title: rejected
                - type: object
                  additionalProperties: false
                  properties:
                    status:
                      type: string
                      const: rejected
                      description: Boundary outcome.
                    boundary:
                      type: string
                      const: runtime
                      description: Rejected process boundary.
                    reason:
                      type: string
                      minLength: 1
                      maxLength: 1048576
                      description: Closed boundary rejection reason.
                    bootstrap:
                      anyOf:
                        - type: object
                          additionalProperties: false
                          properties:
                            state:
                              type: string
                              const: unavailable
                              description: Bootstrap state.
                          required:
                            - state
                        - type: object
                          additionalProperties: false
                          properties:
                            state:
                              type: string
                              const: invalid
                              description: Bootstrap state.
                          required:
                            - state
                        - type: object
                          additionalProperties: false
                          properties:
                            state:
                              type: string
                              const: starting
                              description: Bootstrap state.
                            attemptId:
                              type: string
                              minLength: 1
                              maxLength: 1048576
                              pattern: >-
                                ^[0-9a-f]{8}-[0-9a-f]{4}-[1-5][0-9a-f]{3}-[89ab][0-9a-f]{3}-[0-9a-f]{12}$
                              description: Bootstrap attempt identity.
                            phase:
                              type: string
                              minLength: 1
                              maxLength: 1048576
                              description: Current bootstrap phase.
                            completedPhases:
                              type: integer
                              minimum: 0
                              maximum: 7
                              description: Completed bootstrap phases.
                            totalPhases:
                              type: integer
                              minimum: 1
                              maximum: 7
                              description: Total bootstrap phases.
                            gradleJvm:
                              $ref: >-
                                #/components/schemas/query_symbolsResponse_gradleJvmObservation
                          required:
                            - state
                            - attemptId
                            - phase
                            - completedPhases
                            - totalPhases
                            - gradleJvm
                        - type: object
                          additionalProperties: false
                          properties:
                            state:
                              type: string
                              const: ready
                              description: Bootstrap state.
                            attemptId:
                              type: string
                              minLength: 1
                              maxLength: 1048576
                              pattern: >-
                                ^[0-9a-f]{8}-[0-9a-f]{4}-[1-5][0-9a-f]{3}-[89ab][0-9a-f]{3}-[0-9a-f]{12}$
                              description: Bootstrap attempt identity.
                            gradleJvm:
                              $ref: >-
                                #/components/schemas/query_symbolsResponse_gradleJvmObservation
                            phase:
                              type: string
                              const: ready
                              description: Completed bootstrap phase.
                            completedPhases:
                              type: integer
                              minimum: 7
                              maximum: 7
                              description: Completed bootstrap phases.
                            totalPhases:
                              type: integer
                              minimum: 7
                              maximum: 7
                              description: Total bootstrap phases.
                          required:
                            - state
                            - attemptId
                            - gradleJvm
                            - phase
                            - completedPhases
                            - totalPhases
                        - type: object
                          additionalProperties: false
                          properties:
                            state:
                              type: string
                              const: rejected
                              description: Bootstrap state.
                            attemptId:
                              type: string
                              minLength: 1
                              maxLength: 1048576
                              pattern: >-
                                ^[0-9a-f]{8}-[0-9a-f]{4}-[1-5][0-9a-f]{3}-[89ab][0-9a-f]{3}-[0-9a-f]{12}$
                              description: Bootstrap attempt identity.
                            phase:
                              type: string
                              minLength: 1
                              maxLength: 1048576
                              description: Rejected bootstrap phase.
                            completedPhases:
                              type: integer
                              minimum: 0
                              maximum: 7
                              description: Completed bootstrap phases.
                            totalPhases:
                              type: integer
                              minimum: 1
                              maximum: 7
                              description: Total bootstrap phases.
                            cause:
                              type: string
                              minLength: 1
                              maxLength: 1048576
                              description: Closed bootstrap rejection reason.
                            correctiveAction:
                              type: string
                              minLength: 1
                              maxLength: 1048576
                              description: Bounded corrective action.
                            gradleJvm:
                              $ref: >-
                                #/components/schemas/query_symbolsResponse_gradleJvmObservation
                          required:
                            - state
                            - attemptId
                            - phase
                            - completedPhases
                            - totalPhases
                            - cause
                            - correctiveAction
                            - gradleJvm
                  required:
                    - status
                    - boundary
                    - reason
                    - bootstrap
                  title: rejected
          required:
            - status
            - diagnostic
          title: rejected
    query_symbolsRequest_Action:
      anyOf:
        - $ref: '#/components/schemas/query_symbolsRequest_RunAction'
        - $ref: '#/components/schemas/query_symbolsRequest_ResumeAction'
        - $ref: '#/components/schemas/query_symbolsRequest_ReadResultAction'
      title: Action
    query_symbolsResponse_queryRunOperation:
      type: string
      const: query.run
      description: Canonical operation identity.
      title: queryRunOperation
    query_symbolsResponse_queryResultItem:
      anyOf:
        - type: object
          additionalProperties: false
          properties:
            type:
              type: string
              const: exact-symbol
              description: Exact-symbol result.
            ref:
              $ref: '#/components/schemas/query_symbolsResponse_ExactSymbolRef'
            kind:
              type: string
              description: Compiler symbol kind.
              enum:
                - classlike
                - constructor
                - function
                - property
                - type-alias
            name:
              anyOf:
                - type: string
                  minLength: 1
                  maxLength: 1048576
                  description: Projected declaration name.
                - type: 'null'
            location:
              anyOf:
                - type: object
                  additionalProperties: false
                  properties:
                    file:
                      type: string
                      minLength: 1
                      maxLength: 1048576
                      description: Workspace-relative source file.
                    range:
                      $ref: '#/components/schemas/query_symbolsResponse_sourceRange'
                  required:
                    - file
                    - range
                - type: 'null'
            signature:
              anyOf:
                - anyOf:
                    - $ref: >-
                        #/components/schemas/query_symbolsResponse_compilerFunctionSignature
                    - type: object
                      additionalProperties: false
                      properties:
                        type:
                          type: string
                          const: property
                          description: Signature variant.
                        qualifiedIdentity:
                          $ref: >-
                            #/components/schemas/query_symbolsResponse_compilerQualifiedIdentity
                        receiver:
                          $ref: >-
                            #/components/schemas/query_symbolsResponse_compilerReceiver
                        contextReceivers:
                          type: array
                          items:
                            type: string
                            minLength: 1
                            maxLength: 1048576
                            description: Compiler type.
                          maxItems: 1000
                        returnType:
                          type: string
                          minLength: 1
                          maxLength: 1048576
                          description: Canonical compiler return type.
                      required:
                        - type
                        - qualifiedIdentity
                        - receiver
                        - contextReceivers
                        - returnType
                      title: property
                    - type: object
                      additionalProperties: false
                      properties:
                        type:
                          type: string
                          const: type-alias
                          description: Signature variant.
                        qualifiedIdentity:
                          $ref: >-
                            #/components/schemas/query_symbolsResponse_compilerQualifiedIdentity
                      required:
                        - type
                        - qualifiedIdentity
                      title: type-alias
                    - type: object
                      additionalProperties: false
                      properties:
                        type:
                          type: string
                          const: class-like
                          description: Signature variant.
                        qualifiedIdentity:
                          $ref: >-
                            #/components/schemas/query_symbolsResponse_compilerQualifiedIdentity
                      required:
                        - type
                        - qualifiedIdentity
                      title: class-like
                - type: 'null'
            connections:
              type: array
              items:
                $ref: '#/components/schemas/query_symbolsResponse_relationFact'
              maxItems: 1000
            source:
              type: object
              additionalProperties: false
              properties:
                text:
                  type: string
                  maxLength: 1048576
                  description: Exact normalized source text; empty files remain valid.
                startLine:
                  type: integer
                  minimum: 1
                  description: One-based first source line.
                endLine:
                  type: integer
                  minimum: 1
                  description: One-based last source line.
              required:
                - text
                - startLine
                - endLine
            row_id:
              type: string
              minLength: 1
              maxLength: 1048576
              pattern: >-
                ^result-row:v1:[0-9a-f]{8}-[0-9a-f]{4}-[0-9a-f]{4}-[0-9a-f]{4}-[0-9a-f]{12}$
              description: Opaque row identity scoped to one retained result.
          required:
            - type
            - ref
            - kind
            - name
            - location
            - signature
            - connections
          title: exact-symbol
        - type: object
          additionalProperties: false
          properties:
            type:
              type: string
              const: occurrence
              description: Exact relation occurrence.
            ref:
              $ref: '#/components/schemas/query_symbolsResponse_ExactSymbolRef'
            relation:
              $ref: '#/components/schemas/query_symbolsResponse_relationFact'
            row_id:
              type: string
              minLength: 1
              maxLength: 1048576
              pattern: ^result-row:v1:[0-9a-f]{8}-[0-9a-f]{4}-[0-9a-f]{4}-[0-9a-f]{12}$
              description: Opaque row identity scoped to one retained result.
          required:
            - type
            - ref
            - relation
          title: occurrence
        - type: object
          additionalProperties: false
          properties:
            type:
              type: string
              const: traversal_record
              description: Exact traversal edge.
            ref:
              $ref: '#/components/schemas/query_symbolsResponse_ExactSymbolRef'
            record:
              type: object
              additionalProperties: false
              properties:
                depth:
                  type: integer
                  minimum: 0
                  description: Breadth-first hop depth.
                relation:
                  $ref: '#/components/schemas/query_symbolsResponse_relationFact'
              required:
                - depth
                - relation
            row_id:
              type: string
              minLength: 1
              maxLength: 1048576
              pattern: >-
                ^result-row:v1:[0-9a-f]{8}-[0-9a-f]{4}-[0-9a-f]{4}-[0-9a-f]{4}-[0-9a-f]{12}$
              description: Opaque row identity scoped to one retained result.
          required:
            - type
            - ref
            - record
          title: traversal_record
        - type: object
          additionalProperties: false
          properties:
            type:
              type: string
              const: binding_row
            left:
              anyOf:
                - type: object
                  additionalProperties: false
                  properties:
                    type:
                      type: string
                      const: occurrence
                    name:
                      type: string
                      minLength: 0
                      maxLength: 64
                      pattern: ^[A-Za-z][A-Za-z0-9_]{0,63}$
                    symbol:
                      type: object
                      additionalProperties: false
                      properties:
                        ref:
                          type: string
                          minLength: 0
                          pattern: '^exact:v[2345]:'
                        kind:
                          type: string
                          enum:
                            - classlike
                            - constructor
                            - function
                            - property
                            - type-alias
                        name:
                          anyOf:
                            - type: string
                            - type: 'null'
                        location:
                          anyOf:
                            - type: object
                              additionalProperties: false
                              properties:
                                file:
                                  type: string
                                range:
                                  type: object
                                  additionalProperties: false
                                  properties:
                                    startInclusive:
                                      type: integer
                                    endExclusive:
                                      type: integer
                                  required:
                                    - startInclusive
                                    - endExclusive
                              required:
                                - file
                                - range
                            - type: 'null'
                        signature:
                          anyOf:
                            - anyOf:
                                - type: object
                                  additionalProperties: false
                                  properties:
                                    type:
                                      type: string
                                      const: class-like
                                    qualifiedIdentity:
                                      type: string
                                  required:
                                    - type
                                    - qualifiedIdentity
                                  title: class-like
                                - type: object
                                  additionalProperties: false
                                  properties:
                                    type:
                                      type: string
                                      const: function
                                    qualifiedIdentity:
                                      type: string
                                    receiver:
                                      anyOf:
                                        - type: object
                                          additionalProperties: false
                                          properties:
                                            type:
                                              type: string
                                              const: absent
                                          required:
                                            - type
                                          title: absent
                                        - type: object
                                          additionalProperties: false
                                          properties:
                                            type:
                                              type: string
                                              const: present
                                            compilerType:
                                              type: string
                                          required:
                                            - type
                                            - compilerType
                                          title: present
                                    contextReceivers:
                                      type: array
                                      items:
                                        type: string
                                    valueParameters:
                                      type: array
                                      items:
                                        type: string
                                    typeParameterCount:
                                      type: integer
                                  required:
                                    - type
                                    - qualifiedIdentity
                                    - receiver
                                    - contextReceivers
                                    - valueParameters
                                    - typeParameterCount
                                  title: function
                                - type: object
                                  additionalProperties: false
                                  properties:
                                    type:
                                      type: string
                                      const: property
                                    qualifiedIdentity:
                                      type: string
                                    receiver:
                                      anyOf:
                                        - type: object
                                          additionalProperties: false
                                          properties:
                                            type:
                                              type: string
                                              const: absent
                                          required:
                                            - type
                                          title: absent
                                        - type: object
                                          additionalProperties: false
                                          properties:
                                            type:
                                              type: string
                                              const: present
                                            compilerType:
                                              type: string
                                          required:
                                            - type
                                            - compilerType
                                          title: present
                                    contextReceivers:
                                      type: array
                                      items:
                                        type: string
                                    returnType:
                                      type: string
                                  required:
                                    - type
                                    - qualifiedIdentity
                                    - receiver
                                    - contextReceivers
                                    - returnType
                                  title: property
                                - type: object
                                  additionalProperties: false
                                  properties:
                                    type:
                                      type: string
                                      const: type-alias
                                    qualifiedIdentity:
                                      type: string
                                  required:
                                    - type
                                    - qualifiedIdentity
                                  title: type-alias
                            - type: 'null'
                        connections:
                          type: array
                          items:
                            type: object
                            additionalProperties: false
                            properties:
                              meaning:
                                type: string
                              source:
                                type: object
                                additionalProperties: false
                                properties:
                                  selector:
                                    type: string
                                  kind:
                                    type: string
                                  name:
                                    type: string
                                  qualifiedIdentity:
                                    anyOf:
                                      - type: string
                                      - type: 'null'
                                  file:
                                    type: string
                                  range:
                                    type: object
                                    additionalProperties: false
                                    properties:
                                      startInclusive:
                                        type: integer
                                      endExclusive:
                                        type: integer
                                    required:
                                      - startInclusive
                                      - endExclusive
                                  compilerEvidence:
                                    type: object
                                    additionalProperties: false
                                    properties:
                                      identity:
                                        type: string
                                      signature:
                                        anyOf:
                                          - type: object
                                            additionalProperties: false
                                            properties:
                                              type:
                                                type: string
                                                const: class-like
                                              qualifiedIdentity:
                                                type: string
                                            required:
                                              - type
                                              - qualifiedIdentity
                                            title: class-like
                                          - type: object
                                            additionalProperties: false
                                            properties:
                                              type:
                                                type: string
                                                const: function
                                              qualifiedIdentity:
                                                type: string
                                              receiver:
                                                anyOf:
                                                  - type: object
                                                    additionalProperties: false
                                                    properties:
                                                      type:
                                                        type: string
                                                        const: absent
                                                    required:
                                                      - type
                                                    title: absent
                                                  - type: object
                                                    additionalProperties: false
                                                    properties:
                                                      type:
                                                        type: string
                                                        const: present
                                                      compilerType:
                                                        type: string
                                                    required:
                                                      - type
                                                      - compilerType
                                                    title: present
                                              contextReceivers:
                                                type: array
                                                items:
                                                  type: string
                                              valueParameters:
                                                type: array
                                                items:
                                                  type: string
                                              typeParameterCount:
                                                type: integer
                                            required:
                                              - type
                                              - qualifiedIdentity
                                              - receiver
                                              - contextReceivers
                                              - valueParameters
                                              - typeParameterCount
                                            title: function
                                          - type: object
                                            additionalProperties: false
                                            properties:
                                              type:
                                                type: string
                                                const: property
                                              qualifiedIdentity:
                                                type: string
                                              receiver:
                                                anyOf:
                                                  - type: object
                                                    additionalProperties: false
                                                    properties:
                                                      type:
                                                        type: string
                                                        const: absent
                                                    required:
                                                      - type
                                                    title: absent
                                                  - type: object
                                                    additionalProperties: false
                                                    properties:
                                                      type:
                                                        type: string
                                                        const: present
                                                      compilerType:
                                                        type: string
                                                    required:
                                                      - type
                                                      - compilerType
                                                    title: present
                                              contextReceivers:
                                                type: array
                                                items:
                                                  type: string
                                              returnType:
                                                type: string
                                            required:
                                              - type
                                              - qualifiedIdentity
                                              - receiver
                                              - contextReceivers
                                              - returnType
                                            title: property
                                          - type: object
                                            additionalProperties: false
                                            properties:
                                              type:
                                                type: string
                                                const: type-alias
                                              qualifiedIdentity:
                                                type: string
                                            required:
                                              - type
                                              - qualifiedIdentity
                                            title: type-alias
                                    required:
                                      - identity
                                      - signature
                                required:
                                  - selector
                                  - kind
                                  - name
                                  - qualifiedIdentity
                                  - file
                                  - range
                                  - compilerEvidence
                              target:
                                type: object
                                additionalProperties: false
                                properties:
                                  selector:
                                    type: string
                                  kind:
                                    type: string
                                  name:
                                    type: string
                                  qualifiedIdentity:
                                    anyOf:
                                      - type: string
                                      - type: 'null'
                                  file:
                                    type: string
                                  range:
                                    type: object
                                    additionalProperties: false
                                    properties:
                                      startInclusive:
                                        type: integer
                                      endExclusive:
                                        type: integer
                                    required:
                                      - startInclusive
                                      - endExclusive
                                  compilerEvidence:
                                    type: object
                                    additionalProperties: false
                                    properties:
                                      identity:
                                        type: string
                                      signature:
                                        anyOf:
                                          - type: object
                                            additionalProperties: false
                                            properties:
                                              type:
                                                type: string
                                                const: class-like
                                              qualifiedIdentity:
                                                type: string
                                            required:
                                              - type
                                              - qualifiedIdentity
                                            title: class-like
                                          - type: object
                                            additionalProperties: false
                                            properties:
                                              type:
                                                type: string
                                                const: function
                                              qualifiedIdentity:
                                                type: string
                                              receiver:
                                                anyOf:
                                                  - type: object
                                                    additionalProperties: false
                                                    properties:
                                                      type:
                                                        type: string
                                                        const: absent
                                                    required:
                                                      - type
                                                    title: absent
                                                  - type: object
                                                    additionalProperties: false
                                                    properties:
                                                      type:
                                                        type: string
                                                        const: present
                                                      compilerType:
                                                        type: string
                                                    required:
                                                      - type
                                                      - compilerType
                                                    title: present
                                              contextReceivers:
                                                type: array
                                                items:
                                                  type: string
                                              valueParameters:
                                                type: array
                                                items:
                                                  type: string
                                              typeParameterCount:
                                                type: integer
                                            required:
                                              - type
                                              - qualifiedIdentity
                                              - receiver
                                              - contextReceivers
                                              - valueParameters
                                              - typeParameterCount
                                            title: function
                                          - type: object
                                            additionalProperties: false
                                            properties:
                                              type:
                                                type: string
                                                const: property
                                              qualifiedIdentity:
                                                type: string
                                              receiver:
                                                anyOf:
                                                  - type: object
                                                    additionalProperties: false
                                                    properties:
                                                      type:
                                                        type: string
                                                        const: absent
                                                    required:
                                                      - type
                                                    title: absent
                                                  - type: object
                                                    additionalProperties: false
                                                    properties:
                                                      type:
                                                        type: string
                                                        const: present
                                                      compilerType:
                                                        type: string
                                                    required:
                                                      - type
                                                      - compilerType
                                                    title: present
                                              contextReceivers:
                                                type: array
                                                items:
                                                  type: string
                                              returnType:
                                                type: string
                                            required:
                                              - type
                                              - qualifiedIdentity
                                              - receiver
                                              - contextReceivers
                                              - returnType
                                            title: property
                                          - type: object
                                            additionalProperties: false
                                            properties:
                                              type:
                                                type: string
                                                const: type-alias
                                              qualifiedIdentity:
                                                type: string
                                            required:
                                              - type
                                              - qualifiedIdentity
                                            title: type-alias
                                    required:
                                      - identity
                                      - signature
                                required:
                                  - selector
                                  - kind
                                  - name
                                  - qualifiedIdentity
                                  - file
                                  - range
                                  - compilerEvidence
                              occurrence:
                                type: object
                                additionalProperties: false
                                properties:
                                  candidateSelector:
                                    type: string
                                  file:
                                    type: string
                                  range:
                                    type: object
                                    additionalProperties: false
                                    properties:
                                      startInclusive:
                                        type: integer
                                      endExclusive:
                                        type: integer
                                    required:
                                      - startInclusive
                                      - endExclusive
                                required:
                                  - candidateSelector
                                  - file
                                  - range
                              provenance:
                                type: string
                              coverage:
                                type: string
                            required:
                              - meaning
                              - source
                              - target
                              - occurrence
                              - provenance
                              - coverage
                        source:
                          anyOf:
                            - type: object
                              additionalProperties: false
                              properties:
                                text:
                                  type: string
                                startLine:
                                  type: integer
                                endLine:
                                  type: integer
                              required:
                                - text
                                - startLine
                                - endLine
                            - type: 'null'
                        row_id:
                          anyOf:
                            - type: string
                              minLength: 0
                              pattern: >-
                                ^result-row:v1:[0-9a-f]{8}-[0-9a-f]{4}-[0-9a-f]{4}-[0-9a-f]{12}$
                            - type: 'null'
                      required:
                        - ref
                        - kind
                        - name
                        - location
                        - signature
                        - connections
                    relation:
                      type: object
                      additionalProperties: false
                      properties:
                        meaning:
                          type: string
                        source:
                          type: object
                          additionalProperties: false
                          properties:
                            selector:
                              type: string
                            kind:
                              type: string
                            name:
                              type: string
                            qualifiedIdentity:
                              anyOf:
                                - type: string
                                - type: 'null'
                            file:
                              type: string
                            range:
                              type: object
                              additionalProperties: false
                              properties:
                                startInclusive:
                                  type: integer
                                endExclusive:
                                  type: integer
                              required:
                                - startInclusive
                                - endExclusive
                            compilerEvidence:
                              type: object
                              additionalProperties: false
                              properties:
                                identity:
                                  type: string
                                signature:
                                  anyOf:
                                    - type: object
                                      additionalProperties: false
                                      properties:
                                        type:
                                          type: string
                                          const: class-like
                                        qualifiedIdentity:
                                          type: string
                                      required:
                                        - type
                                        - qualifiedIdentity
                                      title: class-like
                                    - type: object
                                      additionalProperties: false
                                      properties:
                                        type:
                                          type: string
                                          const: function
                                        qualifiedIdentity:
                                          type: string
                                        receiver:
                                          anyOf:
                                            - type: object
                                              additionalProperties: false
                                              properties:
                                                type:
                                                  type: string
                                                  const: absent
                                              required:
                                                - type
                                              title: absent
                                            - type: object
                                              additionalProperties: false
                                              properties:
                                                type:
                                                  type: string
                                                  const: present
                                                compilerType:
                                                  type: string
                                              required:
                                                - type
                                                - compilerType
                                              title: present
                                        contextReceivers:
                                          type: array
                                          items:
                                            type: string
                                        valueParameters:
                                          type: array
                                          items:
                                            type: string
                                        typeParameterCount:
                                          type: integer
                                      required:
                                        - type
                                        - qualifiedIdentity
                                        - receiver
                                        - contextReceivers
                                        - valueParameters
                                        - typeParameterCount
                                      title: function
                                    - type: object
                                      additionalProperties: false
                                      properties:
                                        type:
                                          type: string
                                          const: property
                                        qualifiedIdentity:
                                          type: string
                                        receiver:
                                          anyOf:
                                            - type: object
                                              additionalProperties: false
                                              properties:
                                                type:
                                                  type: string
                                                  const: absent
                                              required:
                                                - type
                                              title: absent
                                            - type: object
                                              additionalProperties: false
                                              properties:
                                                type:
                                                  type: string
                                                  const: present
                                                compilerType:
                                                  type: string
                                              required:
                                                - type
                                                - compilerType
                                              title: present
                                        contextReceivers:
                                          type: array
                                          items:
                                            type: string
                                        returnType:
                                          type: string
                                      required:
                                        - type
                                        - qualifiedIdentity
                                        - receiver
                                        - contextReceivers
                                        - returnType
                                      title: property
                                    - type: object
                                      additionalProperties: false
                                      properties:
                                        type:
                                          type: string
                                          const: type-alias
                                        qualifiedIdentity:
                                          type: string
                                      required:
                                        - type
                                        - qualifiedIdentity
                                      title: type-alias
                              required:
                                - identity
                                - signature
                          required:
                            - selector
                            - kind
                            - name
                            - qualifiedIdentity
                            - file
                            - range
                            - compilerEvidence
                        target:
                          type: object
                          additionalProperties: false
                          properties:
                            selector:
                              type: string
                            kind:
                              type: string
                            name:
                              type: string
                            qualifiedIdentity:
                              anyOf:
                                - type: string
                                - type: 'null'
                            file:
                              type: string
                            range:
                              type: object
                              additionalProperties: false
                              properties:
                                startInclusive:
                                  type: integer
                                endExclusive:
                                  type: integer
                              required:
                                - startInclusive
                                - endExclusive
                            compilerEvidence:
                              type: object
                              additionalProperties: false
                              properties:
                                identity:
                                  type: string
                                signature:
                                  anyOf:
                                    - type: object
                                      additionalProperties: false
                                      properties:
                                        type:
                                          type: string
                                          const: class-like
                                        qualifiedIdentity:
                                          type: string
                                      required:
                                        - type
                                        - qualifiedIdentity
                                      title: class-like
                                    - type: object
                                      additionalProperties: false
                                      properties:
                                        type:
                                          type: string
                                          const: function
                                        qualifiedIdentity:
                                          type: string
                                        receiver:
                                          anyOf:
                                            - type: object
                                              additionalProperties: false
                                              properties:
                                                type:
                                                  type: string
                                                  const: absent
                                              required:
                                                - type
                                              title: absent
                                            - type: object
                                              additionalProperties: false
                                              properties:
                                                type:
                                                  type: string
                                                  const: present
                                                compilerType:
                                                  type: string
                                              required:
                                                - type
                                                - compilerType
                                              title: present
                                        contextReceivers:
                                          type: array
                                          items:
                                            type: string
                                        valueParameters:
                                          type: array
                                          items:
                                            type: string
                                        typeParameterCount:
                                          type: integer
                                      required:
                                        - type
                                        - qualifiedIdentity
                                        - receiver
                                        - contextReceivers
                                        - valueParameters
                                        - typeParameterCount
                                      title: function
                                    - type: object
                                      additionalProperties: false
                                      properties:
                                        type:
                                          type: string
                                          const: property
                                        qualifiedIdentity:
                                          type: string
                                        receiver:
                                          anyOf:
                                            - type: object
                                              additionalProperties: false
                                              properties:
                                                type:
                                                  type: string
                                                  const: absent
                                              required:
                                                - type
                                              title: absent
                                            - type: object
                                              additionalProperties: false
                                              properties:
                                                type:
                                                  type: string
                                                  const: present
                                                compilerType:
                                                  type: string
                                              required:
                                                - type
                                                - compilerType
                                              title: present
                                        contextReceivers:
                                          type: array
                                          items:
                                            type: string
                                        returnType:
                                          type: string
                                      required:
                                        - type
                                        - qualifiedIdentity
                                        - receiver
                                        - contextReceivers
                                        - returnType
                                      title: property
                                    - type: object
                                      additionalProperties: false
                                      properties:
                                        type:
                                          type: string
                                          const: type-alias
                                        qualifiedIdentity:
                                          type: string
                                      required:
                                        - type
                                        - qualifiedIdentity
                                      title: type-alias
                              required:
                                - identity
                                - signature
                          required:
                            - selector
                            - kind
                            - name
                            - qualifiedIdentity
                            - file
                            - range
                            - compilerEvidence
                        occurrence:
                          type: object
                          additionalProperties: false
                          properties:
                            candidateSelector:
                              type: string
                            file:
                              type: string
                            range:
                              type: object
                              additionalProperties: false
                              properties:
                                startInclusive:
                                  type: integer
                                endExclusive:
                                  type: integer
                              required:
                                - startInclusive
                                - endExclusive
                          required:
                            - candidateSelector
                            - file
                            - range
                        provenance:
                          type: string
                        coverage:
                          type: string
                      required:
                        - meaning
                        - source
                        - target
                        - occurrence
                        - provenance
                        - coverage
                  required:
                    - type
                    - name
                    - symbol
                    - relation
                  title: occurrence
                - type: object
                  additionalProperties: false
                  properties:
                    type:
                      type: string
                      const: symbol
                    name:
                      type: string
                      minLength: 0
                      maxLength: 64
                      pattern: ^[A-Za-z][A-Za-z0-9_]{0,63}$
                    symbol:
                      type: object
                      additionalProperties: false
                      properties:
                        ref:
                          type: string
                          minLength: 0
                          pattern: '^exact:v[2345]:'
                        kind:
                          type: string
                          enum:
                            - classlike
                            - constructor
                            - function
                            - property
                            - type-alias
                        name:
                          anyOf:
                            - type: string
                            - type: 'null'
                        location:
                          anyOf:
                            - type: object
                              additionalProperties: false
                              properties:
                                file:
                                  type: string
                                range:
                                  type: object
                                  additionalProperties: false
                                  properties:
                                    startInclusive:
                                      type: integer
                                    endExclusive:
                                      type: integer
                                  required:
                                    - startInclusive
                                    - endExclusive
                              required:
                                - file
                                - range
                            - type: 'null'
                        signature:
                          anyOf:
                            - anyOf:
                                - type: object
                                  additionalProperties: false
                                  properties:
                                    type:
                                      type: string
                                      const: class-like
                                    qualifiedIdentity:
                                      type: string
                                  required:
                                    - type
                                    - qualifiedIdentity
                                  title: class-like
                                - type: object
                                  additionalProperties: false
                                  properties:
                                    type:
                                      type: string
                                      const: function
                                    qualifiedIdentity:
                                      type: string
                                    receiver:
                                      anyOf:
                                        - type: object
                                          additionalProperties: false
                                          properties:
                                            type:
                                              type: string
                                              const: absent
                                          required:
                                            - type
                                          title: absent
                                        - type: object
                                          additionalProperties: false
                                          properties:
                                            type:
                                              type: string
                                              const: present
                                            compilerType:
                                              type: string
                                          required:
                                            - type
                                            - compilerType
                                          title: present
                                    contextReceivers:
                                      type: array
                                      items:
                                        type: string
                                    valueParameters:
                                      type: array
                                      items:
                                        type: string
                                    typeParameterCount:
                                      type: integer
                                  required:
                                    - type
                                    - qualifiedIdentity
                                    - receiver
                                    - contextReceivers
                                    - valueParameters
                                    - typeParameterCount
                                  title: function
                                - type: object
                                  additionalProperties: false
                                  properties:
                                    type:
                                      type: string
                                      const: property
                                    qualifiedIdentity:
                                      type: string
                                    receiver:
                                      anyOf:
                                        - type: object
                                          additionalProperties: false
                                          properties:
                                            type:
                                              type: string
                                              const: absent
                                          required:
                                            - type
                                          title: absent
                                        - type: object
                                          additionalProperties: false
                                          properties:
                                            type:
                                              type: string
                                              const: present
                                            compilerType:
                                              type: string
                                          required:
                                            - type
                                            - compilerType
                                          title: present
                                    contextReceivers:
                                      type: array
                                      items:
                                        type: string
                                    returnType:
                                      type: string
                                  required:
                                    - type
                                    - qualifiedIdentity
                                    - receiver
                                    - contextReceivers
                                    - returnType
                                  title: property
                                - type: object
                                  additionalProperties: false
                                  properties:
                                    type:
                                      type: string
                                      const: type-alias
                                    qualifiedIdentity:
                                      type: string
                                  required:
                                    - type
                                    - qualifiedIdentity
                                  title: type-alias
                            - type: 'null'
                        connections:
                          type: array
                          items:
                            type: object
                            additionalProperties: false
                            properties:
                              meaning:
                                type: string
                              source:
                                type: object
                                additionalProperties: false
                                properties:
                                  selector:
                                    type: string
                                  kind:
                                    type: string
                                  name:
                                    type: string
                                  qualifiedIdentity:
                                    anyOf:
                                      - type: string
                                      - type: 'null'
                                  file:
                                    type: string
                                  range:
                                    type: object
                                    additionalProperties: false
                                    properties:
                                      startInclusive:
                                        type: integer
                                      endExclusive:
                                        type: integer
                                    required:
                                      - startInclusive
                                      - endExclusive
                                  compilerEvidence:
                                    type: object
                                    additionalProperties: false
                                    properties:
                                      identity:
                                        type: string
                                      signature:
                                        anyOf:
                                          - type: object
                                            additionalProperties: false
                                            properties:
                                              type:
                                                type: string
                                                const: class-like
                                              qualifiedIdentity:
                                                type: string
                                            required:
                                              - type
                                              - qualifiedIdentity
                                            title: class-like
                                          - type: object
                                            additionalProperties: false
                                            properties:
                                              type:
                                                type: string
                                                const: function
                                              qualifiedIdentity:
                                                type: string
                                              receiver:
                                                anyOf:
                                                  - type: object
                                                    additionalProperties: false
                                                    properties:
                                                      type:
                                                        type: string
                                                        const: absent
                                                    required:
                                                      - type
                                                    title: absent
                                                  - type: object
                                                    additionalProperties: false
                                                    properties:
                                                      type:
                                                        type: string
                                                        const: present
                                                      compilerType:
                                                        type: string
                                                    required:
                                                      - type
                                                      - compilerType
                                                    title: present
                                              contextReceivers:
                                                type: array
                                                items:
                                                  type: string
                                              valueParameters:
                                                type: array
                                                items:
                                                  type: string
                                              typeParameterCount:
                                                type: integer
                                            required:
                                              - type
                                              - qualifiedIdentity
                                              - receiver
                                              - contextReceivers
                                              - valueParameters
                                              - typeParameterCount
                                            title: function
                                          - type: object
                                            additionalProperties: false
                                            properties:
                                              type:
                                                type: string
                                                const: property
                                              qualifiedIdentity:
                                                type: string
                                              receiver:
                                                anyOf:
                                                  - type: object
                                                    additionalProperties: false
                                                    properties:
                                                      type:
                                                        type: string
                                                        const: absent
                                                    required:
                                                      - type
                                                    title: absent
                                                  - type: object
                                                    additionalProperties: false
                                                    properties:
                                                      type:
                                                        type: string
                                                        const: present
                                                      compilerType:
                                                        type: string
                                                    required:
                                                      - type
                                                      - compilerType
                                                    title: present
                                              contextReceivers:
                                                type: array
                                                items:
                                                  type: string
                                              returnType:
                                                type: string
                                            required:
                                              - type
                                              - qualifiedIdentity
                                              - receiver
                                              - contextReceivers
                                              - returnType
                                            title: property
                                          - type: object
                                            additionalProperties: false
                                            properties:
                                              type:
                                                type: string
                                                const: type-alias
                                              qualifiedIdentity:
                                                type: string
                                            required:
                                              - type
                                              - qualifiedIdentity
                                            title: type-alias
                                    required:
                                      - identity
                                      - signature
                                required:
                                  - selector
                                  - kind
                                  - name
                                  - qualifiedIdentity
                                  - file
                                  - range
                                  - compilerEvidence
                              target:
                                type: object
                                additionalProperties: false
                                properties:
                                  selector:
                                    type: string
                                  kind:
                                    type: string
                                  name:
                                    type: string
                                  qualifiedIdentity:
                                    anyOf:
                                      - type: string
                                      - type: 'null'
                                  file:
                                    type: string
                                  range:
                                    type: object
                                    additionalProperties: false
                                    properties:
                                      startInclusive:
                                        type: integer
                                      endExclusive:
                                        type: integer
                                    required:
                                      - startInclusive
                                      - endExclusive
                                  compilerEvidence:
                                    type: object
                                    additionalProperties: false
                                    properties:
                                      identity:
                                        type: string
                                      signature:
                                        anyOf:
                                          - type: object
                                            additionalProperties: false
                                            properties:
                                              type:
                                                type: string
                                                const: class-like
                                              qualifiedIdentity:
                                                type: string
                                            required:
                                              - type
                                              - qualifiedIdentity
                                            title: class-like
                                          - type: object
                                            additionalProperties: false
                                            properties:
                                              type:
                                                type: string
                                                const: function
                                              qualifiedIdentity:
                                                type: string
                                              receiver:
                                                anyOf:
                                                  - type: object
                                                    additionalProperties: false
                                                    properties:
                                                      type:
                                                        type: string
                                                        const: absent
                                                    required:
                                                      - type
                                                    title: absent
                                                  - type: object
                                                    additionalProperties: false
                                                    properties:
                                                      type:
                                                        type: string
                                                        const: present
                                                      compilerType:
                                                        type: string
                                                    required:
                                                      - type
                                                      - compilerType
                                                    title: present
                                              contextReceivers:
                                                type: array
                                                items:
                                                  type: string
                                              valueParameters:
                                                type: array
                                                items:
                                                  type: string
                                              typeParameterCount:
                                                type: integer
                                            required:
                                              - type
                                              - qualifiedIdentity
                                              - receiver
                                              - contextReceivers
                                              - valueParameters
                                              - typeParameterCount
                                            title: function
                                          - type: object
                                            additionalProperties: false
                                            properties:
                                              type:
                                                type: string
                                                const: property
                                              qualifiedIdentity:
                                                type: string
                                              receiver:
                                                anyOf:
                                                  - type: object
                                                    additionalProperties: false
                                                    properties:
                                                      type:
                                                        type: string
                                                        const: absent
                                                    required:
                                                      - type
                                                    title: absent
                                                  - type: object
                                                    additionalProperties: false
                                                    properties:
                                                      type:
                                                        type: string
                                                        const: present
                                                      compilerType:
                                                        type: string
                                                    required:
                                                      - type
                                                      - compilerType
                                                    title: present
                                              contextReceivers:
                                                type: array
                                                items:
                                                  type: string
                                              returnType:
                                                type: string
                                            required:
                                              - type
                                              - qualifiedIdentity
                                              - receiver
                                              - contextReceivers
                                              - returnType
                                            title: property
                                          - type: object
                                            additionalProperties: false
                                            properties:
                                              type:
                                                type: string
                                                const: type-alias
                                              qualifiedIdentity:
                                                type: string
                                            required:
                                              - type
                                              - qualifiedIdentity
                                            title: type-alias
                                    required:
                                      - identity
                                      - signature
                                required:
                                  - selector
                                  - kind
                                  - name
                                  - qualifiedIdentity
                                  - file
                                  - range
                                  - compilerEvidence
                              occurrence:
                                type: object
                                additionalProperties: false
                                properties:
                                  candidateSelector:
                                    type: string
                                  file:
                                    type: string
                                  range:
                                    type: object
                                    additionalProperties: false
                                    properties:
                                      startInclusive:
                                        type: integer
                                      endExclusive:
                                        type: integer
                                    required:
                                      - startInclusive
                                      - endExclusive
                                required:
                                  - candidateSelector
                                  - file
                                  - range
                              provenance:
                                type: string
                              coverage:
                                type: string
                            required:
                              - meaning
                              - source
                              - target
                              - occurrence
                              - provenance
                              - coverage
                        source:
                          anyOf:
                            - type: object
                              additionalProperties: false
                              properties:
                                text:
                                  type: string
                                startLine:
                                  type: integer
                                endLine:
                                  type: integer
                              required:
                                - text
                                - startLine
                                - endLine
                            - type: 'null'
                        row_id:
                          anyOf:
                            - type: string
                              minLength: 0
                              pattern: >-
                                ^result-row:v1:[0-9a-f]{8}-[0-9a-f]{4}-[0-9a-f]{4}-[0-9a-f]{12}$
                            - type: 'null'
                      required:
                        - ref
                        - kind
                        - name
                        - location
                        - signature
                        - connections
                  required:
                    - type
                    - name
                    - symbol
                  title: symbol
            right:
              anyOf:
                - type: object
                  additionalProperties: false
                  properties:
                    type:
                      type: string
                      const: occurrence
                    name:
                      type: string
                      minLength: 0
                      maxLength: 64
                      pattern: ^[A-Za-z][A-Za-z0-9_]{0,63}$
                    symbol:
                      type: object
                      additionalProperties: false
                      properties:
                        ref:
                          type: string
                          minLength: 0
                          pattern: '^exact:v[2345]:'
                        kind:
                          type: string
                          enum:
                            - classlike
                            - constructor
                            - function
                            - property
                            - type-alias
                        name:
                          anyOf:
                            - type: string
                            - type: 'null'
                        location:
                          anyOf:
                            - type: object
                              additionalProperties: false
                              properties:
                                file:
                                  type: string
                                range:
                                  type: object
                                  additionalProperties: false
                                  properties:
                                    startInclusive:
                                      type: integer
                                    endExclusive:
                                      type: integer
                                  required:
                                    - startInclusive
                                    - endExclusive
                              required:
                                - file
                                - range
                            - type: 'null'
                        signature:
                          anyOf:
                            - anyOf:
                                - type: object
                                  additionalProperties: false
                                  properties:
                                    type:
                                      type: string
                                      const: class-like
                                    qualifiedIdentity:
                                      type: string
                                  required:
                                    - type
                                    - qualifiedIdentity
                                  title: class-like
                                - type: object
                                  additionalProperties: false
                                  properties:
                                    type:
                                      type: string
                                      const: function
                                    qualifiedIdentity:
                                      type: string
                                    receiver:
                                      anyOf:
                                        - type: object
                                          additionalProperties: false
                                          properties:
                                            type:
                                              type: string
                                              const: absent
                                          required:
                                            - type
                                          title: absent
                                        - type: object
                                          additionalProperties: false
                                          properties:
                                            type:
                                              type: string
                                              const: present
                                            compilerType:
                                              type: string
                                          required:
                                            - type
                                            - compilerType
                                          title: present
                                    contextReceivers:
                                      type: array
                                      items:
                                        type: string
                                    valueParameters:
                                      type: array
                                      items:
                                        type: string
                                    typeParameterCount:
                                      type: integer
                                  required:
                                    - type
                                    - qualifiedIdentity
                                    - receiver
                                    - contextReceivers
                                    - valueParameters
                                    - typeParameterCount
                                  title: function
                                - type: object
                                  additionalProperties: false
                                  properties:
                                    type:
                                      type: string
                                      const: property
                                    qualifiedIdentity:
                                      type: string
                                    receiver:
                                      anyOf:
                                        - type: object
                                          additionalProperties: false
                                          properties:
                                            type:
                                              type: string
                                              const: absent
                                          required:
                                            - type
                                          title: absent
                                        - type: object
                                          additionalProperties: false
                                          properties:
                                            type:
                                              type: string
                                              const: present
                                            compilerType:
                                              type: string
                                          required:
                                            - type
                                            - compilerType
                                          title: present
                                    contextReceivers:
                                      type: array
                                      items:
                                        type: string
                                    returnType:
                                      type: string
                                  required:
                                    - type
                                    - qualifiedIdentity
                                    - receiver
                                    - contextReceivers
                                    - returnType
                                  title: property
                                - type: object
                                  additionalProperties: false
                                  properties:
                                    type:
                                      type: string
                                      const: type-alias
                                    qualifiedIdentity:
                                      type: string
                                  required:
                                    - type
                                    - qualifiedIdentity
                                  title: type-alias
                            - type: 'null'
                        connections:
                          type: array
                          items:
                            type: object
                            additionalProperties: false
                            properties:
                              meaning:
                                type: string
                              source:
                                type: object
                                additionalProperties: false
                                properties:
                                  selector:
                                    type: string
                                  kind:
                                    type: string
                                  name:
                                    type: string
                                  qualifiedIdentity:
                                    anyOf:
                                      - type: string
                                      - type: 'null'
                                  file:
                                    type: string
                                  range:
                                    type: object
                                    additionalProperties: false
                                    properties:
                                      startInclusive:
                                        type: integer
                                      endExclusive:
                                        type: integer
                                    required:
                                      - startInclusive
                                      - endExclusive
                                  compilerEvidence:
                                    type: object
                                    additionalProperties: false
                                    properties:
                                      identity:
                                        type: string
                                      signature:
                                        anyOf:
                                          - type: object
                                            additionalProperties: false
                                            properties:
                                              type:
                                                type: string
                                                const: class-like
                                              qualifiedIdentity:
                                                type: string
                                            required:
                                              - type
                                              - qualifiedIdentity
                                            title: class-like
                                          - type: object
                                            additionalProperties: false
                                            properties:
                                              type:
                                                type: string
                                                const: function
                                              qualifiedIdentity:
                                                type: string
                                              receiver:
                                                anyOf:
                                                  - type: object
                                                    additionalProperties: false
                                                    properties:
                                                      type:
                                                        type: string
                                                        const: absent
                                                    required:
                                                      - type
                                                    title: absent
                                                  - type: object
                                                    additionalProperties: false
                                                    properties:
                                                      type:
                                                        type: string
                                                        const: present
                                                      compilerType:
                                                        type: string
                                                    required:
                                                      - type
                                                      - compilerType
                                                    title: present
                                              contextReceivers:
                                                type: array
                                                items:
                                                  type: string
                                              valueParameters:
                                                type: array
                                                items:
                                                  type: string
                                              typeParameterCount:
                                                type: integer
                                            required:
                                              - type
                                              - qualifiedIdentity
                                              - receiver
                                              - contextReceivers
                                              - valueParameters
                                              - typeParameterCount
                                            title: function
                                          - type: object
                                            additionalProperties: false
                                            properties:
                                              type:
                                                type: string
                                                const: property
                                              qualifiedIdentity:
                                                type: string
                                              receiver:
                                                anyOf:
                                                  - type: object
                                                    additionalProperties: false
                                                    properties:
                                                      type:
                                                        type: string
                                                        const: absent
                                                    required:
                                                      - type
                                                    title: absent
                                                  - type: object
                                                    additionalProperties: false
                                                    properties:
                                                      type:
                                                        type: string
                                                        const: present
                                                      compilerType:
                                                        type: string
                                                    required:
                                                      - type
                                                      - compilerType
                                                    title: present
                                              contextReceivers:
                                                type: array
                                                items:
                                                  type: string
                                              returnType:
                                                type: string
                                            required:
                                              - type
                                              - qualifiedIdentity
                                              - receiver
                                              - contextReceivers
                                              - returnType
                                            title: property
                                          - type: object
                                            additionalProperties: false
                                            properties:
                                              type:
                                                type: string
                                                const: type-alias
                                              qualifiedIdentity:
                                                type: string
                                            required:
                                              - type
                                              - qualifiedIdentity
                                            title: type-alias
                                    required:
                                      - identity
                                      - signature
                                required:
                                  - selector
                                  - kind
                                  - name
                                  - qualifiedIdentity
                                  - file
                                  - range
                                  - compilerEvidence
                              target:
                                type: object
                                additionalProperties: false
                                properties:
                                  selector:
                                    type: string
                                  kind:
                                    type: string
                                  name:
                                    type: string
                                  qualifiedIdentity:
                                    anyOf:
                                      - type: string
                                      - type: 'null'
                                  file:
                                    type: string
                                  range:
                                    type: object
                                    additionalProperties: false
                                    properties:
                                      startInclusive:
                                        type: integer
                                      endExclusive:
                                        type: integer
                                    required:
                                      - startInclusive
                                      - endExclusive
                                  compilerEvidence:
                                    type: object
                                    additionalProperties: false
                                    properties:
                                      identity:
                                        type: string
                                      signature:
                                        anyOf:
                                          - type: object
                                            additionalProperties: false
                                            properties:
                                              type:
                                                type: string
                                                const: class-like
                                              qualifiedIdentity:
                                                type: string
                                            required:
                                              - type
                                              - qualifiedIdentity
                                            title: class-like
                                          - type: object
                                            additionalProperties: false
                                            properties:
                                              type:
                                                type: string
                                                const: function
                                              qualifiedIdentity:
                                                type: string
                                              receiver:
                                                anyOf:
                                                  - type: object
                                                    additionalProperties: false
                                                    properties:
                                                      type:
                                                        type: string
                                                        const: absent
                                                    required:
                                                      - type
                                                    title: absent
                                                  - type: object
                                                    additionalProperties: false
                                                    properties:
                                                      type:
                                                        type: string
                                                        const: present
                                                      compilerType:
                                                        type: string
                                                    required:
                                                      - type
                                                      - compilerType
                                                    title: present
                                              contextReceivers:
                                                type: array
                                                items:
                                                  type: string
                                              valueParameters:
                                                type: array
                                                items:
                                                  type: string
                                              typeParameterCount:
                                                type: integer
                                            required:
                                              - type
                                              - qualifiedIdentity
                                              - receiver
                                              - contextReceivers
                                              - valueParameters
                                              - typeParameterCount
                                            title: function
                                          - type: object
                                            additionalProperties: false
                                            properties:
                                              type:
                                                type: string
                                                const: property
                                              qualifiedIdentity:
                                                type: string
                                              receiver:
                                                anyOf:
                                                  - type: object
                                                    additionalProperties: false
                                                    properties:
                                                      type:
                                                        type: string
                                                        const: absent
                                                    required:
                                                      - type
                                                    title: absent
                                                  - type: object
                                                    additionalProperties: false
                                                    properties:
                                                      type:
                                                        type: string
                                                        const: present
                                                      compilerType:
                                                        type: string
                                                    required:
                                                      - type
                                                      - compilerType
                                                    title: present
                                              contextReceivers:
                                                type: array
                                                items:
                                                  type: string
                                              returnType:
                                                type: string
                                            required:
                                              - type
                                              - qualifiedIdentity
                                              - receiver
                                              - contextReceivers
                                              - returnType
                                            title: property
                                          - type: object
                                            additionalProperties: false
                                            properties:
                                              type:
                                                type: string
                                                const: type-alias
                                              qualifiedIdentity:
                                                type: string
                                            required:
                                              - type
                                              - qualifiedIdentity
                                            title: type-alias
                                    required:
                                      - identity
                                      - signature
                                required:
                                  - selector
                                  - kind
                                  - name
                                  - qualifiedIdentity
                                  - file
                                  - range
                                  - compilerEvidence
                              occurrence:
                                type: object
                                additionalProperties: false
                                properties:
                                  candidateSelector:
                                    type: string
                                  file:
                                    type: string
                                  range:
                                    type: object
                                    additionalProperties: false
                                    properties:
                                      startInclusive:
                                        type: integer
                                      endExclusive:
                                        type: integer
                                    required:
                                      - startInclusive
                                      - endExclusive
                                required:
                                  - candidateSelector
                                  - file
                                  - range
                              provenance:
                                type: string
                              coverage:
                                type: string
                            required:
                              - meaning
                              - source
                              - target
                              - occurrence
                              - provenance
                              - coverage
                        source:
                          anyOf:
                            - type: object
                              additionalProperties: false
                              properties:
                                text:
                                  type: string
                                startLine:
                                  type: integer
                                endLine:
                                  type: integer
                              required:
                                - text
                                - startLine
                                - endLine
                            - type: 'null'
                        row_id:
                          anyOf:
                            - type: string
                              minLength: 0
                              pattern: >-
                                ^result-row:v1:[0-9a-f]{8}-[0-9a-f]{4}-[0-9a-f]{4}-[0-9a-f]{12}$
                            - type: 'null'
                      required:
                        - ref
                        - kind
                        - name
                        - location
                        - signature
                        - connections
                    relation:
                      type: object
                      additionalProperties: false
                      properties:
                        meaning:
                          type: string
                        source:
                          type: object
                          additionalProperties: false
                          properties:
                            selector:
                              type: string
                            kind:
                              type: string
                            name:
                              type: string
                            qualifiedIdentity:
                              anyOf:
                                - type: string
                                - type: 'null'
                            file:
                              type: string
                            range:
                              type: object
                              additionalProperties: false
                              properties:
                                startInclusive:
                                  type: integer
                                endExclusive:
                                  type: integer
                              required:
                                - startInclusive
                                - endExclusive
                            compilerEvidence:
                              type: object
                              additionalProperties: false
                              properties:
                                identity:
                                  type: string
                                signature:
                                  anyOf:
                                    - type: object
                                      additionalProperties: false
                                      properties:
                                        type:
                                          type: string
                                          const: class-like
                                        qualifiedIdentity:
                                          type: string
                                      required:
                                        - type
                                        - qualifiedIdentity
                                      title: class-like
                                    - type: object
                                      additionalProperties: false
                                      properties:
                                        type:
                                          type: string
                                          const: function
                                        qualifiedIdentity:
                                          type: string
                                        receiver:
                                          anyOf:
                                            - type: object
                                              additionalProperties: false
                                              properties:
                                                type:
                                                  type: string
                                                  const: absent
                                              required:
                                                - type
                                              title: absent
                                            - type: object
                                              additionalProperties: false
                                              properties:
                                                type:
                                                  type: string
                                                  const: present
                                                compilerType:
                                                  type: string
                                              required:
                                                - type
                                                - compilerType
                                              title: present
                                        contextReceivers:
                                          type: array
                                          items:
                                            type: string
                                        valueParameters:
                                          type: array
                                          items:
                                            type: string
                                        typeParameterCount:
                                          type: integer
                                      required:
                                        - type
                                        - qualifiedIdentity
                                        - receiver
                                        - contextReceivers
                                        - valueParameters
                                        - typeParameterCount
                                      title: function
                                    - type: object
                                      additionalProperties: false
                                      properties:
                                        type:
                                          type: string
                                          const: property
                                        qualifiedIdentity:
                                          type: string
                                        receiver:
                                          anyOf:
                                            - type: object
                                              additionalProperties: false
                                              properties:
                                                type:
                                                  type: string
                                                  const: absent
                                              required:
                                                - type
                                              title: absent
                                            - type: object
                                              additionalProperties: false
                                              properties:
                                                type:
                                                  type: string
                                                  const: present
                                                compilerType:
                                                  type: string
                                              required:
                                                - type
                                                - compilerType
                                              title: present
                                        contextReceivers:
                                          type: array
                                          items:
                                            type: string
                                        returnType:
                                          type: string
                                      required:
                                        - type
                                        - qualifiedIdentity
                                        - receiver
                                        - contextReceivers
                                        - returnType
                                      title: property
                                    - type: object
                                      additionalProperties: false
                                      properties:
                                        type:
                                          type: string
                                          const: type-alias
                                        qualifiedIdentity:
                                          type: string
                                      required:
                                        - type
                                        - qualifiedIdentity
                                      title: type-alias
                              required:
                                - identity
                                - signature
                          required:
                            - selector
                            - kind
                            - name
                            - qualifiedIdentity
                            - file
                            - range
                            - compilerEvidence
                        target:
                          type: object
                          additionalProperties: false
                          properties:
                            selector:
                              type: string
                            kind:
                              type: string
                            name:
                              type: string
                            qualifiedIdentity:
                              anyOf:
                                - type: string
                                - type: 'null'
                            file:
                              type: string
                            range:
                              type: object
                              additionalProperties: false
                              properties:
                                startInclusive:
                                  type: integer
                                endExclusive:
                                  type: integer
                              required:
                                - startInclusive
                                - endExclusive
                            compilerEvidence:
                              type: object
                              additionalProperties: false
                              properties:
                                identity:
                                  type: string
                                signature:
                                  anyOf:
                                    - type: object
                                      additionalProperties: false
                                      properties:
                                        type:
                                          type: string
                                          const: class-like
                                        qualifiedIdentity:
                                          type: string
                                      required:
                                        - type
                                        - qualifiedIdentity
                                      title: class-like
                                    - type: object
                                      additionalProperties: false
                                      properties:
                                        type:
                                          type: string
                                          const: function
                                        qualifiedIdentity:
                                          type: string
                                        receiver:
                                          anyOf:
                                            - type: object
                                              additionalProperties: false
                                              properties:
                                                type:
                                                  type: string
                                                  const: absent
                                              required:
                                                - type
                                              title: absent
                                            - type: object
                                              additionalProperties: false
                                              properties:
                                                type:
                                                  type: string
                                                  const: present
                                                compilerType:
                                                  type: string
                                              required:
                                                - type
                                                - compilerType
                                              title: present
                                        contextReceivers:
                                          type: array
                                          items:
                                            type: string
                                        valueParameters:
                                          type: array
                                          items:
                                            type: string
                                        typeParameterCount:
                                          type: integer
                                      required:
                                        - type
                                        - qualifiedIdentity
                                        - receiver
                                        - contextReceivers
                                        - valueParameters
                                        - typeParameterCount
                                      title: function
                                    - type: object
                                      additionalProperties: false
                                      properties:
                                        type:
                                          type: string
                                          const: property
                                        qualifiedIdentity:
                                          type: string
                                        receiver:
                                          anyOf:
                                            - type: object
                                              additionalProperties: false
                                              properties:
                                                type:
                                                  type: string
                                                  const: absent
                                              required:
                                                - type
                                              title: absent
                                            - type: object
                                              additionalProperties: false
                                              properties:
                                                type:
                                                  type: string
                                                  const: present
                                                compilerType:
                                                  type: string
                                              required:
                                                - type
                                                - compilerType
                                              title: present
                                        contextReceivers:
                                          type: array
                                          items:
                                            type: string
                                        returnType:
                                          type: string
                                      required:
                                        - type
                                        - qualifiedIdentity
                                        - receiver
                                        - contextReceivers
                                        - returnType
                                      title: property
                                    - type: object
                                      additionalProperties: false
                                      properties:
                                        type:
                                          type: string
                                          const: type-alias
                                        qualifiedIdentity:
                                          type: string
                                      required:
                                        - type
                                        - qualifiedIdentity
                                      title: type-alias
                              required:
                                - identity
                                - signature
                          required:
                            - selector
                            - kind
                            - name
                            - qualifiedIdentity
                            - file
                            - range
                            - compilerEvidence
                        occurrence:
                          type: object
                          additionalProperties: false
                          properties:
                            candidateSelector:
                              type: string
                            file:
                              type: string
                            range:
                              type: object
                              additionalProperties: false
                              properties:
                                startInclusive:
                                  type: integer
                                endExclusive:
                                  type: integer
                              required:
                                - startInclusive
                                - endExclusive
                          required:
                            - candidateSelector
                            - file
                            - range
                        provenance:
                          type: string
                        coverage:
                          type: string
                      required:
                        - meaning
                        - source
                        - target
                        - occurrence
                        - provenance
                        - coverage
                  required:
                    - type
                    - name
                    - symbol
                    - relation
                  title: occurrence
                - type: object
                  additionalProperties: false
                  properties:
                    type:
                      type: string
                      const: symbol
                    name:
                      type: string
                      minLength: 0
                      maxLength: 64
                      pattern: ^[A-Za-z][A-Za-z0-9_]{0,63}$
                    symbol:
                      type: object
                      additionalProperties: false
                      properties:
                        ref:
                          type: string
                          minLength: 0
                          pattern: '^exact:v[2345]:'
                        kind:
                          type: string
                          enum:
                            - classlike
                            - constructor
                            - function
                            - property
                            - type-alias
                        name:
                          anyOf:
                            - type: string
                            - type: 'null'
                        location:
                          anyOf:
                            - type: object
                              additionalProperties: false
                              properties:
                                file:
                                  type: string
                                range:
                                  type: object
                                  additionalProperties: false
                                  properties:
                                    startInclusive:
                                      type: integer
                                    endExclusive:
                                      type: integer
                                  required:
                                    - startInclusive
                                    - endExclusive
                              required:
                                - file
                                - range
                            - type: 'null'
                        signature:
                          anyOf:
                            - anyOf:
                                - type: object
                                  additionalProperties: false
                                  properties:
                                    type:
                                      type: string
                                      const: class-like
                                    qualifiedIdentity:
                                      type: string
                                  required:
                                    - type
                                    - qualifiedIdentity
                                  title: class-like
                                - type: object
                                  additionalProperties: false
                                  properties:
                                    type:
                                      type: string
                                      const: function
                                    qualifiedIdentity:
                                      type: string
                                    receiver:
                                      anyOf:
                                        - type: object
                                          additionalProperties: false
                                          properties:
                                            type:
                                              type: string
                                              const: absent
                                          required:
                                            - type
                                          title: absent
                                        - type: object
                                          additionalProperties: false
                                          properties:
                                            type:
                                              type: string
                                              const: present
                                            compilerType:
                                              type: string
                                          required:
                                            - type
                                            - compilerType
                                          title: present
                                    contextReceivers:
                                      type: array
                                      items:
                                        type: string
                                    valueParameters:
                                      type: array
                                      items:
                                        type: string
                                    typeParameterCount:
                                      type: integer
                                  required:
                                    - type
                                    - qualifiedIdentity
                                    - receiver
                                    - contextReceivers
                                    - valueParameters
                                    - typeParameterCount
                                  title: function
                                - type: object
                                  additionalProperties: false
                                  properties:
                                    type:
                                      type: string
                                      const: property
                                    qualifiedIdentity:
                                      type: string
                                    receiver:
                                      anyOf:
                                        - type: object
                                          additionalProperties: false
                                          properties:
                                            type:
                                              type: string
                                              const: absent
                                          required:
                                            - type
                                          title: absent
                                        - type: object
                                          additionalProperties: false
                                          properties:
                                            type:
                                              type: string
                                              const: present
                                            compilerType:
                                              type: string
                                          required:
                                            - type
                                            - compilerType
                                          title: present
                                    contextReceivers:
                                      type: array
                                      items:
                                        type: string
                                    returnType:
                                      type: string
                                  required:
                                    - type
                                    - qualifiedIdentity
                                    - receiver
                                    - contextReceivers
                                    - returnType
                                  title: property
                                - type: object
                                  additionalProperties: false
                                  properties:
                                    type:
                                      type: string
                                      const: type-alias
                                    qualifiedIdentity:
                                      type: string
                                  required:
                                    - type
                                    - qualifiedIdentity
                                  title: type-alias
                            - type: 'null'
                        connections:
                          type: array
                          items:
                            type: object
                            additionalProperties: false
                            properties:
                              meaning:
                                type: string
                              source:
                                type: object
                                additionalProperties: false
                                properties:
                                  selector:
                                    type: string
                                  kind:
                                    type: string
                                  name:
                                    type: string
                                  qualifiedIdentity:
                                    anyOf:
                                      - type: string
                                      - type: 'null'
                                  file:
                                    type: string
                                  range:
                                    type: object
                                    additionalProperties: false
                                    properties:
                                      startInclusive:
                                        type: integer
                                      endExclusive:
                                        type: integer
                                    required:
                                      - startInclusive
                                      - endExclusive
                                  compilerEvidence:
                                    type: object
                                    additionalProperties: false
                                    properties:
                                      identity:
                                        type: string
                                      signature:
                                        anyOf:
                                          - type: object
                                            additionalProperties: false
                                            properties:
                                              type:
                                                type: string
                                                const: class-like
                                              qualifiedIdentity:
                                                type: string
                                            required:
                                              - type
                                              - qualifiedIdentity
                                            title: class-like
                                          - type: object
                                            additionalProperties: false
                                            properties:
                                              type:
                                                type: string
                                                const: function
                                              qualifiedIdentity:
                                                type: string
                                              receiver:
                                                anyOf:
                                                  - type: object
                                                    additionalProperties: false
                                                    properties:
                                                      type:
                                                        type: string
                                                        const: absent
                                                    required:
                                                      - type
                                                    title: absent
                                                  - type: object
                                                    additionalProperties: false
                                                    properties:
                                                      type:
                                                        type: string
                                                        const: present
                                                      compilerType:
                                                        type: string
                                                    required:
                                                      - type
                                                      - compilerType
                                                    title: present
                                              contextReceivers:
                                                type: array
                                                items:
                                                  type: string
                                              valueParameters:
                                                type: array
                                                items:
                                                  type: string
                                              typeParameterCount:
                                                type: integer
                                            required:
                                              - type
                                              - qualifiedIdentity
                                              - receiver
                                              - contextReceivers
                                              - valueParameters
                                              - typeParameterCount
                                            title: function
                                          - type: object
                                            additionalProperties: false
                                            properties:
                                              type:
                                                type: string
                                                const: property
                                              qualifiedIdentity:
                                                type: string
                                              receiver:
                                                anyOf:
                                                  - type: object
                                                    additionalProperties: false
                                                    properties:
                                                      type:
                                                        type: string
                                                        const: absent
                                                    required:
                                                      - type
                                                    title: absent
                                                  - type: object
                                                    additionalProperties: false
                                                    properties:
                                                      type:
                                                        type: string
                                                        const: present
                                                      compilerType:
                                                        type: string
                                                    required:
                                                      - type
                                                      - compilerType
                                                    title: present
                                              contextReceivers:
                                                type: array
                                                items:
                                                  type: string
                                              returnType:
                                                type: string
                                            required:
                                              - type
                                              - qualifiedIdentity
                                              - receiver
                                              - contextReceivers
                                              - returnType
                                            title: property
                                          - type: object
                                            additionalProperties: false
                                            properties:
                                              type:
                                                type: string
                                                const: type-alias
                                              qualifiedIdentity:
                                                type: string
                                            required:
                                              - type
                                              - qualifiedIdentity
                                            title: type-alias
                                    required:
                                      - identity
                                      - signature
                                required:
                                  - selector
                                  - kind
                                  - name
                                  - qualifiedIdentity
                                  - file
                                  - range
                                  - compilerEvidence
                              target:
                                type: object
                                additionalProperties: false
                                properties:
                                  selector:
                                    type: string
                                  kind:
                                    type: string
                                  name:
                                    type: string
                                  qualifiedIdentity:
                                    anyOf:
                                      - type: string
                                      - type: 'null'
                                  file:
                                    type: string
                                  range:
                                    type: object
                                    additionalProperties: false
                                    properties:
                                      startInclusive:
                                        type: integer
                                      endExclusive:
                                        type: integer
                                    required:
                                      - startInclusive
                                      - endExclusive
                                  compilerEvidence:
                                    type: object
                                    additionalProperties: false
                                    properties:
                                      identity:
                                        type: string
                                      signature:
                                        anyOf:
                                          - type: object
                                            additionalProperties: false
                                            properties:
                                              type:
                                                type: string
                                                const: class-like
                                              qualifiedIdentity:
                                                type: string
                                            required:
                                              - type
                                              - qualifiedIdentity
                                            title: class-like
                                          - type: object
                                            additionalProperties: false
                                            properties:
                                              type:
                                                type: string
                                                const: function
                                              qualifiedIdentity:
                                                type: string
                                              receiver:
                                                anyOf:
                                                  - type: object
                                                    additionalProperties: false
                                                    properties:
                                                      type:
                                                        type: string
                                                        const: absent
                                                    required:
                                                      - type
                                                    title: absent
                                                  - type: object
                                                    additionalProperties: false
                                                    properties:
                                                      type:
                                                        type: string
                                                        const: present
                                                      compilerType:
                                                        type: string
                                                    required:
                                                      - type
                                                      - compilerType
                                                    title: present
                                              contextReceivers:
                                                type: array
                                                items:
                                                  type: string
                                              valueParameters:
                                                type: array
                                                items:
                                                  type: string
                                              typeParameterCount:
                                                type: integer
                                            required:
                                              - type
                                              - qualifiedIdentity
                                              - receiver
                                              - contextReceivers
                                              - valueParameters
                                              - typeParameterCount
                                            title: function
                                          - type: object
                                            additionalProperties: false
                                            properties:
                                              type:
                                                type: string
                                                const: property
                                              qualifiedIdentity:
                                                type: string
                                              receiver:
                                                anyOf:
                                                  - type: object
                                                    additionalProperties: false
                                                    properties:
                                                      type:
                                                        type: string
                                                        const: absent
                                                    required:
                                                      - type
                                                    title: absent
                                                  - type: object
                                                    additionalProperties: false
                                                    properties:
                                                      type:
                                                        type: string
                                                        const: present
                                                      compilerType:
                                                        type: string
                                                    required:
                                                      - type
                                                      - compilerType
                                                    title: present
                                              contextReceivers:
                                                type: array
                                                items:
                                                  type: string
                                              returnType:
                                                type: string
                                            required:
                                              - type
                                              - qualifiedIdentity
                                              - receiver
                                              - contextReceivers
                                              - returnType
                                            title: property
                                          - type: object
                                            additionalProperties: false
                                            properties:
                                              type:
                                                type: string
                                                const: type-alias
                                              qualifiedIdentity:
                                                type: string
                                            required:
                                              - type
                                              - qualifiedIdentity
                                            title: type-alias
                                    required:
                                      - identity
                                      - signature
                                required:
                                  - selector
                                  - kind
                                  - name
                                  - qualifiedIdentity
                                  - file
                                  - range
                                  - compilerEvidence
                              occurrence:
                                type: object
                                additionalProperties: false
                                properties:
                                  candidateSelector:
                                    type: string
                                  file:
                                    type: string
                                  range:
                                    type: object
                                    additionalProperties: false
                                    properties:
                                      startInclusive:
                                        type: integer
                                      endExclusive:
                                        type: integer
                                    required:
                                      - startInclusive
                                      - endExclusive
                                required:
                                  - candidateSelector
                                  - file
                                  - range
                              provenance:
                                type: string
                              coverage:
                                type: string
                            required:
                              - meaning
                              - source
                              - target
                              - occurrence
                              - provenance
                              - coverage
                        source:
                          anyOf:
                            - type: object
                              additionalProperties: false
                              properties:
                                text:
                                  type: string
                                startLine:
                                  type: integer
                                endLine:
                                  type: integer
                              required:
                                - text
                                - startLine
                                - endLine
                            - type: 'null'
                        row_id:
                          anyOf:
                            - type: string
                              minLength: 0
                              pattern: >-
                                ^result-row:v1:[0-9a-f]{8}-[0-9a-f]{4}-[0-9a-f]{4}-[0-9a-f]{12}$
                            - type: 'null'
                      required:
                        - ref
                        - kind
                        - name
                        - location
                        - signature
                        - connections
                  required:
                    - type
                    - name
                    - symbol
                  title: symbol
            row_id:
              anyOf:
                - type: string
                  minLength: 0
                  pattern: >-
                    ^result-row:v1:[0-9a-f]{8}-[0-9a-f]{4}-[0-9a-f]{4}-[0-9a-f]{12}$
                - type: 'null'
          required:
            - type
            - left
            - right
          title: binding_row
      title: queryResultItem
    query_symbolsResponse_executionBudget:
      type: object
      additionalProperties: false
      properties:
        max_elapsed_ms:
          $ref: '#/components/schemas/query_symbolsResponse_executionLimit'
        max_work_units:
          $ref: '#/components/schemas/query_symbolsResponse_executionLimit'
        max_results:
          $ref: '#/components/schemas/query_symbolsResponse_executionLimit'
        max_returned_bytes:
          $ref: '#/components/schemas/query_symbolsResponse_executionLimit'
      required:
        - max_elapsed_ms
        - max_work_units
        - max_results
        - max_returned_bytes
      title: executionBudget
    query_symbolsResponse_queryItemFailure:
      anyOf:
        - type: object
          additionalProperties: false
          properties:
            type:
              type: string
              const: refinement
              description: Candidate refinement failure.
            location:
              type: object
              additionalProperties: false
              properties:
                file:
                  type: string
                  minLength: 1
                  maxLength: 1048576
                  description: Discovery file.
                offset:
                  type: integer
                  minimum: 0
                  description: Declaration offset.
              required:
                - file
                - offset
            reason:
              type: string
              description: Closed exact-symbol refinement failure.
              enum:
                - workspace-not-ready
                - workspace-root-mismatch
                - stale-generation
                - scope-rejected
                - workspace-index-unavailable
                - stale-location
                - outside-scope
                - ambiguous-declaration
                - unsupported-declaration
                - compiler-identity-unavailable
                - declaration-moved-or-changed
                - compiler-contract-violation
          required:
            - type
            - location
            - reason
          title: refinement
        - type: object
          additionalProperties: false
          properties:
            type:
              type: string
              const: exact-reference
              description: Per-item query failure.
            ref:
              $ref: '#/components/schemas/query_symbolsResponse_ExactSymbolRef'
            reason:
              type: string
              description: Closed exact-symbol refinement failure.
              enum:
                - workspace-not-ready
                - workspace-root-mismatch
                - stale-generation
                - scope-rejected
                - workspace-index-unavailable
                - stale-location
                - outside-scope
                - ambiguous-declaration
                - unsupported-declaration
                - compiler-identity-unavailable
                - declaration-moved-or-changed
                - compiler-contract-violation
          required:
            - type
            - ref
            - reason
          title: exact-reference
        - type: object
          additionalProperties: false
          properties:
            type:
              type: string
              const: predicate
              description: Per-item query failure.
            ref:
              $ref: '#/components/schemas/query_symbolsResponse_ExactSymbolRef'
            reason:
              type: string
              description: Closed exact-symbol predicate failure.
              enum:
                - predicate-unproven
                - workspace-not-ready
                - workspace-root-mismatch
                - stale-generation
                - source-state-mismatch
                - candidate-stale
                - source-selector-stale
                - source-snapshot-mismatch
                - source-unavailable
                - document-dirty
                - psi-document-uncommitted
                - outside-source-scope
                - anchor-not-found
                - ambiguous-anchor
                - region-not-applicable
                - region-absent
                - compiler-analysis-unavailable
                - contract-violation
          required:
            - type
            - ref
            - reason
          title: predicate
        - type: object
          additionalProperties: false
          properties:
            type:
              type: string
              const: source
              description: Per-item query failure.
            ref:
              $ref: '#/components/schemas/query_symbolsResponse_ExactSymbolRef'
            reason:
              type: string
              description: Closed source-window failure.
              enum:
                - workspace-not-ready
                - workspace-root-mismatch
                - stale-generation
                - source-state-mismatch
                - candidate-stale
                - source-selector-stale
                - source-snapshot-mismatch
                - source-unavailable
                - continuation-unavailable
                - continuation-request-mismatch
                - document-dirty
                - psi-document-uncommitted
                - outside-source-scope
                - anchor-not-found
                - ambiguous-anchor
                - region-not-applicable
                - region-absent
                - compiler-analysis-unavailable
                - internal-context-lease-mismatch
                - internal-snapshot-context-mismatch
                - internal-scope-mismatch
                - internal-snapshot-mismatch
                - internal-visibility-mismatch
                - contract-violation
                - byte-limit-reached
                - provider-unavailable
          required:
            - type
            - ref
            - reason
          title: source
        - type: object
          additionalProperties: false
          properties:
            type:
              type: string
              const: relation
              description: Per-symbol relation failure.
            ref:
              $ref: '#/components/schemas/query_symbolsResponse_ExactSymbolRef'
            relation:
              type: string
              description: One canonical Kast semantic relation.
              enum:
                - references
                - callers
                - callees
                - implementations
                - inheritors
                - overrides
                - type-uses
            reason:
              type: string
              description: Closed semantic-relation failure.
              enum:
                - workspace-not-ready
                - workspace-root-mismatch
                - stale-generation
                - scope-rejected
                - workspace-index-unavailable
                - stale-selector
                - outside-scope
                - ambiguous-subject
                - unsupported-subject
                - compiler-identity-unavailable
                - continuation-cursor-moved
                - compiler-contract-violation
          required:
            - type
            - ref
            - relation
            - reason
          title: relation
        - type: object
          additionalProperties: false
          properties:
            type:
              type: string
              const: walk
              description: Per-symbol traversal failure.
            ref:
              $ref: '#/components/schemas/query_symbolsResponse_ExactSymbolRef'
            relation:
              type: string
              description: One canonical Kast semantic relation.
              enum:
                - references
                - callers
                - callees
                - implementations
                - inheritors
                - overrides
                - type-uses
            reason:
              anyOf:
                - type: object
                  additionalProperties: false
                  properties:
                    kind:
                      type: string
                      const: one_hop
                      description: One-hop relation failure.
                    reason:
                      type: string
                      description: Closed semantic-relation failure.
                      enum:
                        - workspace-not-ready
                        - workspace-root-mismatch
                        - stale-generation
                        - scope-rejected
                        - workspace-index-unavailable
                        - stale-selector
                        - outside-scope
                        - ambiguous-subject
                        - unsupported-subject
                        - compiler-identity-unavailable
                        - continuation-cursor-moved
                        - compiler-contract-violation
                  required:
                    - kind
                    - reason
                  title: one_hop
                - type: object
                  additionalProperties: false
                  properties:
                    kind:
                      type: string
                      const: required_evidence_unavailable
                      description: Traversal failure.
                  required:
                    - kind
                  title: required_evidence_unavailable
                - type: object
                  additionalProperties: false
                  properties:
                    kind:
                      type: string
                      const: required_evidence_stale
                      description: Traversal failure.
                  required:
                    - kind
                  title: required_evidence_stale
                - type: object
                  additionalProperties: false
                  properties:
                    kind:
                      type: string
                      const: reader_contract_violation
                      description: Traversal failure.
                  required:
                    - kind
                  title: reader_contract_violation
                - type: object
                  additionalProperties: false
                  properties:
                    kind:
                      type: string
                      const: traversal_contract_violation
                      description: Traversal failure.
                  required:
                    - kind
                  title: traversal_contract_violation
          required:
            - type
            - ref
            - relation
            - reason
          title: walk
      title: queryItemFailure
    query_symbolsResponse_ExactSymbolRef:
      type: string
      minLength: 1
      maxLength: 1048576
      pattern: '^exact:v[2345]:'
      description: >-
        Opaque reference. Copy verbatim into the next request; never decode or
        reconstruct it.
      title: ExactSymbolRef
    query_symbolsResponse_liveReadEvidence:
      type: object
      additionalProperties: false
      properties:
        root:
          type: string
          pattern: ^/[^\x00-\x1F\x7F]*$
          maxLength: 4096
          description: Canonical root of the admitted live project.
        host:
          type: string
          minLength: 1
          maxLength: 1048576
          pattern: ^[0-9a-f]{8}-[0-9a-f]{4}-[0-9a-f]{4}-[0-9a-f]{4}-[0-9a-f]{12}$
          description: Original live host incarnation.
        epoch:
          type: integer
          minimum: 1
          maximum: 9223372036854776000
          description: >-
            Observed live content and model epoch, never a publication
            generation.
        contentView:
          type: string
          const: SAVED_PSI_COMMITTED
          description: Saved and PSI-committed live content.
        version:
          type: integer
          minimum: 1
          maximum: 1
          description: Live evidence representation version.
      required:
        - root
        - host
        - epoch
        - contentView
        - version
      title: liveReadEvidence
    query_symbolsResponse_ContinuationRef:
      type: string
      minLength: 1
      maxLength: 1048576
      description: Opaque snapshot and pipeline-bound next page handle.
      title: ContinuationRef
    query_symbolsResponse_queryTerminalReason:
      anyOf:
        - type: string
          description: Why incomplete enumeration cannot continue.
          enum:
            - upstream-incomplete
            - output-item-too-large
            - checkpoint-capacity-exceeded
            - no-progress
        - type: 'null'
      title: queryTerminalReason
    query_symbolsResponse_queryQualification:
      type: object
      additionalProperties: false
      properties:
        knownMinimum:
          type: integer
          minimum: 0
          description: Known returned item count.
        progress:
          anyOf:
            - type: object
              additionalProperties: false
              properties:
                type:
                  type: string
                  const: resumable
                checkpoint:
                  anyOf:
                    - type: object
                      additionalProperties: false
                      properties:
                        type:
                          type: string
                          const: retained_output
                        token:
                          type: string
                          minLength: 52
                          maxLength: 52
                          pattern: >-
                            query-output:v1:[0-9a-f]{8}-[0-9a-f]{4}-[0-9a-f]{4}-[0-9a-f]{4}-[0-9a-f]{12}
                        upstream:
                          anyOf:
                            - type: object
                              additionalProperties: false
                              properties:
                                type:
                                  type: string
                                  const: complete
                              required:
                                - type
                              title: complete
                            - type: object
                              additionalProperties: false
                              properties:
                                type:
                                  type: string
                                  const: resumable
                              required:
                                - type
                              title: resumable
                            - type: object
                              additionalProperties: false
                              properties:
                                type:
                                  type: string
                                  const: terminal_incomplete
                                reason:
                                  type: string
                                  enum:
                                    - upstream-incomplete
                                    - output-item-too-large
                                    - checkpoint-capacity-exceeded
                                    - no-progress
                              required:
                                - type
                                - reason
                              title: terminal_incomplete
                      required:
                        - type
                        - token
                        - upstream
                      title: retained_output
                    - type: object
                      additionalProperties: false
                      properties:
                        type:
                          type: string
                          const: upstream
                        token:
                          type: string
                          minLength: 45
                          maxLength: 45
                          pattern: >-
                            query:v1:[0-9a-f]{8}-[0-9a-f]{4}-[0-9a-f]{4}-[0-9a-f]{4}-[0-9a-f]{12}
                      required:
                        - type
                        - token
                      title: upstream
                next_action:
                  type: string
                  enum:
                    - resume
                    - increase_execution_budget
              required:
                - type
                - checkpoint
                - next_action
              title: resumable
            - type: object
              additionalProperties: false
              properties:
                type:
                  type: string
                  const: terminal_incomplete
                reason:
                  type: string
                  enum:
                    - upstream-incomplete
                    - output-item-too-large
                    - checkpoint-capacity-exceeded
                    - no-progress
              required:
                - type
                - reason
              title: terminal_incomplete
        limitations:
          type: array
          items:
            type: string
            description: Every aggregate query limitation.
            enum:
              - result-limit-reached
              - byte-limit-reached
              - work-limit-reached
              - time-limit-reached
              - discovery-incomplete
              - refinement-incomplete
              - visibility-incomplete
              - source-incomplete
              - relation-incomplete
              - traversal-incomplete
              - row-selection-incomplete
              - join-input-incomplete
          minItems: 1
          maxItems: 1000
      required:
        - knownMinimum
        - progress
        - limitations
      title: queryQualification
    query_symbolsResponse_queryRejection:
      anyOf:
        - type: object
          additionalProperties: false
          properties:
            type:
              type: string
              const: workspace-not-ready
              description: Workspace unavailable.
          required:
            - type
          title: workspace-not-ready
        - type: object
          additionalProperties: false
          properties:
            type:
              type: string
              const: reference-rejected
              description: Reference admission rejected.
            path:
              type: string
              minLength: 1
              maxLength: 1048576
              description: Rejected reference path.
            reason:
              type: string
              description: Exact reference rejection reason.
              enum:
                - revalidation-wrong-kind
                - revalidation-unretained
                - revalidation-expired
                - revalidation-capacity
                - revalidation-work-limit-reached
                - revalidation-time-limit-reached
                - revalidation-retired
                - revalidation-capture-unavailable
                - revalidation-workspace-mismatch
                - revalidation-owner-mismatch
                - revalidation-workspace-not-ready
                - revalidation-basis-moved
                - revalidation-content-changed
                - revalidation-content-uncommitted
                - revalidation-scope-rejected
                - revalidation-declaration-missing
                - revalidation-unsupported-declaration
                - revalidation-ambiguous
                - revalidation-compiler-identity-changed
                - revalidation-compiler-unavailable
                - wrong-kind
                - malformed
                - incompatible-workspace
                - stale-generation
                - stale-authority
                - incompatible-authority
                - incompatible-reference-version
          required:
            - type
            - path
            - reason
          title: reference-rejected
        - type: object
          additionalProperties: false
          properties:
            type:
              type: string
              const: source-rejected
              description: Query source is not exhaustively supported.
            kind:
              type: string
              const: constructor
              description: Unsupported declaration family.
            reason:
              type: string
              const: unsupported-declaration-kind
              description: Closed source-admission failure.
          required:
            - type
            - kind
            - reason
          title: source-rejected
        - type: object
          additionalProperties: false
          properties:
            type:
              type: string
              const: execution-rejected
              description: Query execution rejected.
            reason:
              type: string
              description: Closed execution rejection reason.
              enum:
                - result-unavailable
                - result-stale-basis
                - result-row-unavailable
                - result-cursor-out-of-range
                - result-field-unavailable
                - right-input-incomplete
                - unknown-binding-name
                - output-kind-mismatch
                - continuation-unavailable
                - continuation-mismatch
                - request-rejected
                - discovery-rejected
                - reference-stale
                - budget-rejected
                - internal-contract-violation
          required:
            - type
            - reason
          title: execution-rejected
      title: queryRejection
    query_symbolsResponse_readRecoveryAction:
      type: string
      enum:
        - reacquire_authority
        - restart_read
        - correct_request
        - adjust_budget_or_scope
        - wait_for_workspace
        - save_source
        - report_failure
      title: readRecoveryAction
    query_symbolsResponse_transportRejected:
      type: object
      additionalProperties: false
      required:
        - type
        - failure
      properties:
        type:
          const: HOST_REJECTED
        failure:
          enum:
            - ADMISSION_CAPACITY_EXCEEDED
            - ADMISSION_DEADLINE_EXCEEDED
            - INVALID_REQUEST
            - REQUEST_TOO_LARGE
            - REQUEST_INCOMPLETE
            - IO_UNAVAILABLE
            - DEADLINE_EXCEEDED
            - WRONG_ROOT
            - OWNERSHIP_CONFLICT
            - DIRECTORY_REJECTED
            - SOCKET_UNAVAILABLE
            - PLATFORM_UNAVAILABLE
            - UNSAVED_DOCUMENTS
            - MODEL_REFRESH_REQUIRED
            - RESPONSE_REJECTED
            - RESULT_TOO_LARGE
            - APPROVAL_UNAVAILABLE
            - APPROVAL_REJECTED
        execution_budget:
          $ref: '#/components/schemas/query_symbolsResponse_executionBudget'
      title: transportRejected
    query_symbolsResponse_hostedReadRejection:
      type: object
      additionalProperties: false
      required:
        - schemaVersion
        - outcome
        - failure
        - detail
        - stage
      properties:
        schemaVersion:
          const: 1
        outcome:
          const: rejected
        failure:
          enum:
            - RETIRED
            - WRONG_ENDPOINT
            - WRONG_PROJECT
            - BUSY
            - STALE_REQUEST
            - INVALID_SELECTION
            - DECLARATION_NOT_FOUND
            - AMBIGUOUS_DECLARATION
            - DECLARATION_IDENTITY_MISMATCH
            - PROJECT_UNAVAILABLE
            - INDEXING
            - WRONG_THREAD
            - DIRTY_DOCUMENTS
            - UNCOMMITTED_DOCUMENTS
            - CONTENT_MOVED
            - MODEL_MOVED
            - UNSUPPORTED_MODEL
            - UNSUPPORTED_DECLARATION
            - UNRESOLVED_SUPERTYPE
            - FILE_UNAVAILABLE
            - FILE_TOO_LARGE
            - OUTSIDE_SCOPE
            - AMBIGUOUS_SCOPE
            - READ_PREEMPTED
            - CANCELLED
            - BUDGET_EXCEEDED
            - PLATFORM_FAILURE
            - PROJECT_ADMISSION_REJECTED
            - MODEL_CAPTURE_REJECTED
            - READ_EPOCH_REJECTED
            - FRESHNESS_REJECTED
            - RESULT_LIMIT_EXCEEDED
            - LIVE_AUTHORITY_REJECTED
            - NAMED_SOURCE_SCOPE_REJECTED
            - CONFIGURATION_REJECTED
        detail: {}
        stage:
          enum:
            - REQUEST_ADMISSION
            - PROJECT_ADMISSION
            - EPOCH_OBSERVATION
            - MODEL_CAPTURE
            - SEMANTIC_READ
            - CONTENT_REVALIDATION
            - RESULT_DETACHED
        recovery:
          $ref: '#/components/schemas/query_symbolsResponse_readRecovery'
        execution_budget:
          $ref: '#/components/schemas/query_symbolsResponse_executionBudget'
      allOf:
        - if:
            properties:
              failure:
                const: CONFIGURATION_REJECTED
          then:
            properties:
              detail:
                $ref: >-
                  #/components/schemas/query_symbolsResponse_configurationFailure
          else:
            properties:
              detail:
                oneOf:
                  - type: string
                    maxLength: 128
                  - type: object
                    additionalProperties: false
                    properties:
                      stage:
                        type: string
                        maxLength: 64
                      cause:
                        enum:
                          - OBSERVATION_FAILED
                          - RUNTIME
                          - LINKAGE
                      field:
                        type: string
                        maxLength: 64
                  - type: array
                    maxItems: 64
                    items:
                      type: string
                      maxLength: 128
                  - $ref: >-
                      #/components/schemas/query_symbolsResponse_namedSourceScopeFailure
      title: hostedReadRejection
    query_symbolsResponse_finiteFailureEvidence:
      type: string
      minLength: 1
      maxLength: 1048576
      description: Finite failure evidence.
      title: finiteFailureEvidence
    query_symbolsResponse_gradleJvmObservation:
      anyOf:
        - type: object
          additionalProperties: false
          properties:
            type:
              type: string
              const: >-
                io.github.amichne.kast.distribution.contract.gradle.GradleJvmSelectionObservation.Unobserved
              description: Gradle JVM observation variant.
          required:
            - type
          title: >-
            io.github.amichne.kast.distribution.contract.gradle.GradleJvmSelectionObservation.Unobserved
        - type: object
          additionalProperties: false
          properties:
            type:
              type: string
              const: >-
                io.github.amichne.kast.distribution.contract.gradle.GradleJvmSelectionObservation.Observed
              description: Gradle JVM observation variant.
            report:
              $ref: '#/components/schemas/query_symbolsResponse_gradleJvmReport'
          required:
            - type
            - report
          title: >-
            io.github.amichne.kast.distribution.contract.gradle.GradleJvmSelectionObservation.Observed
      title: gradleJvmObservation
    query_symbolsRequest_RunAction:
      type: object
      properties:
        type:
          type: string
          enum:
            - RUN
          default: RUN
        source:
          $ref: '#/components/schemas/query_symbolsRequest_Source'
          description: >-
            Starting declaration search, containing named declaration at file
            offset, exact-symbol references, or one retained result.
        steps:
          type:
            - array
            - 'null'
          items:
            $ref: '#/components/schemas/query_symbolsRequest_Step'
          minItems: 0
          maxItems: 1000
          description: >-
            Ordered transformations executed left to right. null and [] mean no
            transformations. A join reads its right side from a retained symbol
            result. Inner join yields binding rows with named left and right
            cells; project_binding selects one named cell before symbol stages
            continue. Semi and anti joins retain symbol rows; anti requires
            complete right coverage.
          default: []
        output:
          anyOf:
            - $ref: '#/components/schemas/query_symbolsRequest_Output'
            - type: 'null'
        retention:
          type:
            - string
            - 'null'
          enum:
            - DISCARD
            - RETAIN
            - null
          description: >-
            Omission or null discards the completed result after returning it.
            retain publishes an immutable bounded same-basis result reference;
            publication failure is reported without erasing the query result.
        executionBudget:
          anyOf:
            - $ref: '#/components/schemas/query_symbolsRequest_ExecutionBudget'
            - type: 'null'
      required:
        - type
        - source
      additionalProperties: false
      description: >-
        Run a query from the supplied source and ordered steps. Retain the
        completed result only when requested.
      title: RunAction
    query_symbolsRequest_ResumeAction:
      type: object
      properties:
        type:
          type: string
          enum:
            - RESUME
          default: RESUME
        continuation:
          $ref: '#/components/schemas/query_symbolsRequest_ExecutionContinuation'
        executionBudget:
          anyOf:
            - $ref: '#/components/schemas/query_symbolsRequest_ExecutionBudget'
            - type: 'null'
      required:
        - type
        - continuation
      additionalProperties: false
      description: >-
        Continue the saved query execution without resending or rediscovering
        its completed prefix.
      title: ResumeAction
    query_symbolsRequest_ReadResultAction:
      type: object
      properties:
        type:
          type: string
          enum:
            - READ_RESULT
          default: READ_RESULT
        result:
          $ref: '#/components/schemas/query_symbolsRequest_ResultReference'
        cursor:
          anyOf:
            - $ref: '#/components/schemas/query_symbolsRequest_ResultCursor'
            - type: 'null'
        output:
          anyOf:
            - $ref: '#/components/schemas/query_symbolsRequest_ReadResultOutput'
            - type: 'null'
        executionBudget:
          anyOf:
            - $ref: '#/components/schemas/query_symbolsRequest_ExecutionBudget'
            - type: 'null'
      required:
        - type
        - result
      additionalProperties: false
      description: >-
        Present an immutable retained result, starting at the supplied result
        cursor; this performs no query evaluation.
      title: ReadResultAction
    query_symbolsResponse_sourceRange:
      type: object
      additionalProperties: false
      properties:
        startInclusive:
          type: integer
          minimum: 0
          description: Start offset.
        endExclusive:
          type: integer
          minimum: 1
          description: Exclusive end offset.
      required:
        - startInclusive
        - endExclusive
      title: sourceRange
    query_symbolsResponse_compilerFunctionSignature:
      type: object
      additionalProperties: false
      properties:
        type:
          type: string
          const: function
          description: Signature variant.
        qualifiedIdentity:
          $ref: '#/components/schemas/query_symbolsResponse_compilerQualifiedIdentity'
        receiver:
          $ref: '#/components/schemas/query_symbolsResponse_compilerReceiver'
        contextReceivers:
          type: array
          items:
            type: string
            minLength: 1
            maxLength: 1048576
            description: Compiler type.
          maxItems: 1000
        valueParameters:
          type: array
          items:
            type: string
            minLength: 1
            maxLength: 1048576
            description: Compiler type.
          maxItems: 1000
        typeParameterCount:
          type: integer
          minimum: 0
          description: Exact type parameter count.
      required:
        - type
        - qualifiedIdentity
        - receiver
        - contextReceivers
        - valueParameters
        - typeParameterCount
      title: compilerFunctionSignature
    query_symbolsResponse_compilerQualifiedIdentity:
      type: string
      minLength: 1
      maxLength: 1048576
      description: Compiler qualified identity.
      title: compilerQualifiedIdentity
    query_symbolsResponse_compilerReceiver:
      anyOf:
        - type: object
          additionalProperties: false
          properties:
            type:
              type: string
              const: absent
              description: Receiver state.
          required:
            - type
          title: absent
        - type: object
          additionalProperties: false
          properties:
            type:
              type: string
              const: present
              description: Receiver state.
            compilerType:
              type: string
              minLength: 1
              maxLength: 1048576
              description: Canonical compiler receiver type.
          required:
            - type
            - compilerType
          title: present
      title: compilerReceiver
    query_symbolsResponse_relationFact:
      type: object
      additionalProperties: false
      properties:
        meaning:
          type: string
          description: One canonical Kast semantic relation.
          enum:
            - references
            - callers
            - callees
            - implementations
            - inheritors
            - overrides
            - type-uses
        source:
          $ref: '#/components/schemas/query_symbolsResponse_symbol'
        target:
          $ref: '#/components/schemas/query_symbolsResponse_symbol'
        occurrence:
          type: object
          additionalProperties: false
          properties:
            candidateSelector:
              type: string
              minLength: 1
              maxLength: 1048576
              description: Occurrence candidate selector.
            file:
              type: string
              minLength: 1
              maxLength: 1048576
              description: Exact occurrence file.
            range:
              $ref: '#/components/schemas/query_symbolsResponse_sourceRange'
          required:
            - candidateSelector
            - file
            - range
        provenance:
          type: string
          description: Compiler and source-root provenance.
          enum:
            - k2-authored-source
            - k2-generated-source
            - k2-project-library
        coverage:
          type: string
          const: exact-compiler-confirmed
          description: Per-edge compiler coverage proof.
      required:
        - meaning
        - source
        - target
        - occurrence
        - provenance
        - coverage
      title: relationFact
    query_symbolsResponse_executionLimit:
      type: object
      additionalProperties: false
      properties:
        selection:
          type: string
          enum:
            - configured_default
            - caller
        requested:
          anyOf:
            - type: integer
              minimum: 1
            - type: 'null'
        configuredDefault:
          type: integer
          minimum: 1
        operatorCeiling:
          type: integer
          minimum: 1
        effective:
          type: integer
          minimum: 1
        clamping:
          type: array
          items:
            type: string
            enum:
              - operator_ceiling
              - transport_capacity
              - deadline_remaining
      required:
        - selection
        - requested
        - configuredDefault
        - operatorCeiling
        - effective
        - clamping
      title: executionLimit
    query_symbolsResponse_readRecovery:
      oneOf:
        - type: object
          additionalProperties: false
          required:
            - kind
            - check
            - required
            - remediation
          properties:
            kind:
              const: after_state_change
            check:
              const: IDE_STATUS
            required:
              const: CACHED_GRADLE_MODEL_COMPLETE
            remediation:
              const: OBSERVE_IDE_GRADLE_MODEL
          title: after_state_change
        - type: object
          additionalProperties: false
          required:
            - kind
            - check
            - required
            - remediation
          properties:
            kind:
              const: after_indexing
            check:
              const: IDE_STATUS
            required:
              const: SMART_MODE
            remediation:
              const: WAIT_FOR_IDE_INDEXING
          title: after_indexing
        - type: object
          additionalProperties: false
          required:
            - kind
          properties:
            kind:
              const: review_failure
          title: review_failure
        - type: object
          additionalProperties: false
          required:
            - kind
            - instruction
          properties:
            kind:
              const: reduce_read_work
            instruction:
              type: string
              minLength: 1
              maxLength: 512
          title: reduce_read_work
        - type: object
          additionalProperties: false
          required:
            - kind
            - instruction
          properties:
            kind:
              const: cancelled
            instruction:
              type: string
              minLength: 1
              maxLength: 512
          title: cancelled
        - type: object
          additionalProperties: false
          required:
            - kind
            - instruction
          properties:
            kind:
              const: save_source
            instruction:
              type: string
              minLength: 1
              maxLength: 512
          title: save_source
        - type: object
          additionalProperties: false
          required:
            - kind
            - instruction
          properties:
            kind:
              const: wait_for_capacity
            instruction:
              type: string
              minLength: 1
              maxLength: 512
          title: wait_for_capacity
        - type: object
          additionalProperties: false
          required:
            - kind
            - instruction
          properties:
            kind:
              const: restart_read
            instruction:
              type: string
              minLength: 1
              maxLength: 512
          title: restart_read
      title: readRecovery
    query_symbolsResponse_gradleJvmReport:
      type: object
      additionalProperties: false
      properties:
        distribution:
          anyOf:
            - type: object
              additionalProperties: false
              properties:
                type:
                  type: string
                  const: >-
                    io.github.amichne.kast.distribution.contract.gradle.GradleDistributionEvidence.Unavailable
                  description: Gradle distribution evidence variant.
              required:
                - type
              title: >-
                io.github.amichne.kast.distribution.contract.gradle.GradleDistributionEvidence.Unavailable
            - type: object
              additionalProperties: false
              properties:
                type:
                  type: string
                  const: >-
                    io.github.amichne.kast.distribution.contract.gradle.GradleDistributionEvidence.Observed
                  description: Gradle distribution evidence variant.
                version:
                  type: string
                  minLength: 1
                  maxLength: 1048576
                  description: Observed Gradle version.
              required:
                - type
                - version
              title: >-
                io.github.amichne.kast.distribution.contract.gradle.GradleDistributionEvidence.Observed
        requiredJava:
          type: array
          items:
            type: integer
            minimum: 1
            maximum: 99
            description: Required Java feature.
        candidates:
          type: array
          items:
            $ref: '#/components/schemas/query_symbolsResponse_gradleJvmCandidate'
          maxItems: 1000
        outcome:
          $ref: '#/components/schemas/query_symbolsResponse_gradleJvmOutcome'
      required:
        - distribution
        - requiredJava
        - candidates
        - outcome
      title: gradleJvmReport
    query_symbolsRequest_Source:
      anyOf:
        - $ref: '#/components/schemas/query_symbolsRequest_SearchSource'
        - $ref: '#/components/schemas/query_symbolsRequest_AllSource'
        - $ref: '#/components/schemas/query_symbolsRequest_LocationSource'
        - $ref: '#/components/schemas/query_symbolsRequest_ReferenceSource'
        - $ref: '#/components/schemas/query_symbolsRequest_ResultSource'
      title: Source
    query_symbolsRequest_Step:
      anyOf:
        - $ref: '#/components/schemas/query_symbolsRequest_Where'
        - $ref: '#/components/schemas/query_symbolsRequest_ExpandRelation'
        - $ref: '#/components/schemas/query_symbolsRequest_Walk'
        - $ref: '#/components/schemas/query_symbolsRequest_DistinctSymbols'
        - $ref: '#/components/schemas/query_symbolsRequest_ProjectBinding'
        - $ref: '#/components/schemas/query_symbolsRequest_Concat'
        - $ref: '#/components/schemas/query_symbolsRequest_Intersect'
        - $ref: '#/components/schemas/query_symbolsRequest_Union'
        - $ref: '#/components/schemas/query_symbolsRequest_Difference'
        - $ref: '#/components/schemas/query_symbolsRequest_Join'
      title: Step
    query_symbolsRequest_Output:
      anyOf:
        - $ref: '#/components/schemas/query_symbolsRequest_SymbolsOutput'
        - $ref: '#/components/schemas/query_symbolsRequest_OccurrencesOutput'
        - $ref: '#/components/schemas/query_symbolsRequest_TraversalRecordsOutput'
        - $ref: '#/components/schemas/query_symbolsRequest_BindingRowsOutput'
        - type: 'null'
      description: >-
        Omission or null returns symbols with name and location. Choose
        occurrences, traversal_records, or binding_rows for their typed
        established evidence.
      title: Output
    query_symbolsRequest_ExecutionBudget:
      type:
        - object
        - 'null'
      description: >-
        Optional execution allowances. Null or omitted dimensions use configured
        defaults; positive values are independently clamped to operator and
        transport ceilings. These controls do not alter query take, scope, or
        projection.
      properties:
        maxElapsedMs:
          type:
            - integer
            - 'null'
          minimum: 1
          maximum: 9223372036854776000
        maxWorkUnits:
          type:
            - integer
            - 'null'
          minimum: 1
          maximum: 9223372036854776000
        maxResults:
          type:
            - integer
            - 'null'
          minimum: 1
          maximum: 2147483647
        maxReturnedBytes:
          type:
            - integer
            - 'null'
          minimum: 1
          maximum: 9223372036854776000
      required: []
      additionalProperties: false
      default: {}
      title: ExecutionBudget
    query_symbolsRequest_ExecutionContinuation:
      type: string
      pattern: >-
        ^(?:query|query-output):v1:[0-9a-f]{8}-[0-9a-f]{4}-[0-9a-f]{4}-[0-9a-f]{4}-[0-9a-f]{12}$
      minLength: 45
      maxLength: 52
      description: >-
        Issued execution continuation for an unfinished query pipeline or
        retained transport output. Copy verbatim. A retained-result reference
        cannot resume execution.
      title: ExecutionContinuation
    query_symbolsRequest_ResultReference:
      type: string
      pattern: ^result:v1:[0-9a-f]{8}-[0-9a-f]{4}-[0-9a-f]{4}-[0-9a-f]{4}-[0-9a-f]{12}$
      minLength: 46
      maxLength: 46
      description: >-
        Opaque retained-result reference returned by Kast. It is separate from
        an exact-symbol reference and an execution continuation.
      title: ResultReference
    query_symbolsRequest_ResultCursor:
      type:
        - integer
        - 'null'
      minimum: 0
      maximum: 1000000
      description: >-
        Optional presentation offset in the immutable retained result. Omission
        or null starts at zero; this cursor does not resume semantic execution.
      title: ResultCursor
    query_symbolsRequest_ReadResultOutput:
      anyOf:
        - $ref: '#/components/schemas/query_symbolsRequest_SymbolsOutput'
        - $ref: '#/components/schemas/query_symbolsRequest_BindingRowsOutput'
        - type: 'null'
      description: >-
        Present retained symbols or typed binding rows without rerunning stages.
        Omission or null selects symbol fields and rejects a retained
        binding-row result.
      title: ReadResultOutput
    query_symbolsResponse_symbol:
      anyOf:
        - type: object
          additionalProperties: false
          properties:
            selector:
              type: string
              minLength: 1
              maxLength: 1048576
              description: Exact generation-bound selector.
            kind:
              type: string
              const: classlike
              description: Compiler symbol kind.
            name:
              type: string
              minLength: 1
              maxLength: 1048576
              description: Source declaration name.
            qualifiedIdentity:
              $ref: >-
                #/components/schemas/query_symbolsResponse_compilerQualifiedIdentity
            file:
              type: string
              minLength: 1
              maxLength: 1048576
              description: Exact source file.
            range:
              $ref: '#/components/schemas/query_symbolsResponse_sourceRange'
            compilerEvidence:
              type: object
              additionalProperties: false
              properties:
                identity:
                  $ref: '#/components/schemas/query_symbolsResponse_compilerIdentity'
                signature:
                  type: object
                  additionalProperties: false
                  properties:
                    type:
                      type: string
                      const: class-like
                      description: Signature variant.
                    qualifiedIdentity:
                      $ref: >-
                        #/components/schemas/query_symbolsResponse_compilerQualifiedIdentity
                  required:
                    - type
                    - qualifiedIdentity
                  title: class-like
              required:
                - identity
                - signature
          required:
            - selector
            - kind
            - name
            - qualifiedIdentity
            - file
            - range
            - compilerEvidence
          title: classlike
        - type: object
          additionalProperties: false
          properties:
            selector:
              type: string
              minLength: 1
              maxLength: 1048576
              description: Exact generation-bound selector.
            kind:
              type: string
              const: constructor
              description: Compiler symbol kind.
            name:
              type: string
              minLength: 1
              maxLength: 1048576
              description: Source declaration name.
            qualifiedIdentity:
              $ref: >-
                #/components/schemas/query_symbolsResponse_compilerQualifiedIdentity
            file:
              type: string
              minLength: 1
              maxLength: 1048576
              description: Exact source file.
            range:
              $ref: '#/components/schemas/query_symbolsResponse_sourceRange'
            compilerEvidence:
              type: object
              additionalProperties: false
              properties:
                identity:
                  $ref: '#/components/schemas/query_symbolsResponse_compilerIdentity'
                signature:
                  $ref: >-
                    #/components/schemas/query_symbolsResponse_compilerFunctionSignature
              required:
                - identity
                - signature
          required:
            - selector
            - kind
            - name
            - qualifiedIdentity
            - file
            - range
            - compilerEvidence
          title: constructor symbol
        - type: object
          additionalProperties: false
          properties:
            selector:
              type: string
              minLength: 1
              maxLength: 1048576
              description: Exact generation-bound selector.
            kind:
              type: string
              const: function
              description: Compiler symbol kind.
            name:
              type: string
              minLength: 1
              maxLength: 1048576
              description: Source declaration name.
            qualifiedIdentity:
              $ref: >-
                #/components/schemas/query_symbolsResponse_compilerQualifiedIdentity
            file:
              type: string
              minLength: 1
              maxLength: 1048576
              description: Exact source file.
            range:
              $ref: '#/components/schemas/query_symbolsResponse_sourceRange'
            compilerEvidence:
              type: object
              additionalProperties: false
              properties:
                identity:
                  $ref: '#/components/schemas/query_symbolsResponse_compilerIdentity'
                signature:
                  $ref: >-
                    #/components/schemas/query_symbolsResponse_compilerFunctionSignature
              required:
                - identity
                - signature
          required:
            - selector
            - kind
            - name
            - qualifiedIdentity
            - file
            - range
            - compilerEvidence
          title: function
        - type: object
          additionalProperties: false
          properties:
            selector:
              type: string
              minLength: 1
              maxLength: 1048576
              description: Exact generation-bound selector.
            kind:
              type: string
              const: property
              description: Compiler symbol kind.
            name:
              type: string
              minLength: 1
              maxLength: 1048576
              description: Source declaration name.
            qualifiedIdentity:
              $ref: >-
                #/components/schemas/query_symbolsResponse_compilerQualifiedIdentity
            file:
              type: string
              minLength: 1
              maxLength: 1048576
              description: Exact source file.
            range:
              $ref: '#/components/schemas/query_symbolsResponse_sourceRange'
            compilerEvidence:
              type: object
              additionalProperties: false
              properties:
                identity:
                  $ref: '#/components/schemas/query_symbolsResponse_compilerIdentity'
                signature:
                  type: object
                  additionalProperties: false
                  properties:
                    type:
                      type: string
                      const: property
                      description: Signature variant.
                    qualifiedIdentity:
                      $ref: >-
                        #/components/schemas/query_symbolsResponse_compilerQualifiedIdentity
                    receiver:
                      $ref: >-
                        #/components/schemas/query_symbolsResponse_compilerReceiver
                    contextReceivers:
                      type: array
                      items:
                        type: string
                        minLength: 1
                        maxLength: 1048576
                        description: Compiler type.
                      maxItems: 1000
                    returnType:
                      type: string
                      minLength: 1
                      maxLength: 1048576
                      description: Canonical compiler return type.
                  required:
                    - type
                    - qualifiedIdentity
                    - receiver
                    - contextReceivers
                    - returnType
                  title: property
              required:
                - identity
                - signature
          required:
            - selector
            - kind
            - name
            - qualifiedIdentity
            - file
            - range
            - compilerEvidence
          title: property
        - type: object
          additionalProperties: false
          properties:
            selector:
              type: string
              minLength: 1
              maxLength: 1048576
              description: Exact generation-bound selector.
            kind:
              type: string
              const: type-alias
              description: Compiler symbol kind.
            name:
              type: string
              minLength: 1
              maxLength: 1048576
              description: Source declaration name.
            qualifiedIdentity:
              $ref: >-
                #/components/schemas/query_symbolsResponse_compilerQualifiedIdentity
            file:
              type: string
              minLength: 1
              maxLength: 1048576
              description: Exact source file.
            range:
              $ref: '#/components/schemas/query_symbolsResponse_sourceRange'
            compilerEvidence:
              type: object
              additionalProperties: false
              properties:
                identity:
                  $ref: '#/components/schemas/query_symbolsResponse_compilerIdentity'
                signature:
                  type: object
                  additionalProperties: false
                  properties:
                    type:
                      type: string
                      const: type-alias
                      description: Signature variant.
                    qualifiedIdentity:
                      $ref: >-
                        #/components/schemas/query_symbolsResponse_compilerQualifiedIdentity
                  required:
                    - type
                    - qualifiedIdentity
                  title: type-alias
              required:
                - identity
                - signature
          required:
            - selector
            - kind
            - name
            - qualifiedIdentity
            - file
            - range
            - compilerEvidence
          title: type-alias
      title: symbol
    query_symbolsResponse_gradleJvmCandidate:
      type: object
      additionalProperties: false
      properties:
        java:
          type: integer
          minimum: 1
          maximum: 99
          description: Java feature.
        homeIdentity:
          type: string
          pattern: ^[0-9a-f]{64}$
          description: JDK home identity.
        authority:
          type: string
          description: JDK selection authority.
          enum:
            - DAEMON_JVM_CRITERIA
            - REPOSITORY_GRADLE_PROPERTY
            - AMBIENT_JAVA_HOME
            - SIDECAR_COMPATIBLE
            - PLATFORM_RESOLVER
        decision:
          type: string
          description: JDK candidate decision.
          enum:
            - SELECTED
            - INCOMPATIBLE_GRADLE
            - SHADOWED_BY_PROJECT_AUTHORITY
            - NOT_SELECTED
      required:
        - java
        - homeIdentity
        - authority
        - decision
      title: gradleJvmCandidate
    query_symbolsResponse_gradleJvmOutcome:
      anyOf:
        - type: object
          additionalProperties: false
          properties:
            type:
              type: string
              const: >-
                io.github.amichne.kast.distribution.contract.gradle.GradleJvmSelectionOutcome.Selected
              description: Gradle JVM outcome variant.
            candidate:
              $ref: '#/components/schemas/query_symbolsResponse_gradleJvmCandidate'
          required:
            - type
            - candidate
          title: >-
            io.github.amichne.kast.distribution.contract.gradle.GradleJvmSelectionOutcome.Selected
        - type: object
          additionalProperties: false
          properties:
            type:
              type: string
              const: >-
                io.github.amichne.kast.distribution.contract.gradle.GradleJvmSelectionOutcome.Rejected
              description: Gradle JVM outcome variant.
            failure:
              type: string
              description: Closed Gradle JVM selection failure.
              enum:
                - GRADLE_DISTRIBUTION_UNAVAILABLE
                - DAEMON_JVM_CRITERIA_UNSUPPORTED
                - REPOSITORY_JAVA_HOME_INVALID
                - LOCAL_JVM_DISCOVERY_FAILED
                - NO_COMPATIBLE_RUNTIME
                - SDK_REGISTRATION_FAILED
          required:
            - type
            - failure
          title: >-
            io.github.amichne.kast.distribution.contract.gradle.GradleJvmSelectionOutcome.Rejected
      title: gradleJvmOutcome
    query_symbolsRequest_SearchSource:
      type: object
      properties:
        type:
          type: string
          enum:
            - SEARCH_DECLARATIONS
          default: SEARCH_DECLARATIONS
        declarationName:
          type: string
          description: >-
            Simple declaration name. Not a signature, source-text query, or
            qualified name.
          minLength: 1
          maxLength: 256
        nameMatch:
          type:
            - string
            - 'null'
          enum:
            - EXACT
            - FUZZY
            - null
          description: >-
            Omission or null means exact, case-sensitive declaration-name
            matching. Exact matching returns every matching overload; it does
            not select one overload. Fuzzy matching requires explicit opt-in.
        declarationKinds:
          type:
            - array
            - 'null'
          items:
            type: string
            enum:
              - CLASS
              - FUNCTION
              - PROPERTY
              - TYPE_ALIAS
          minItems: 1
          maxItems: 4
          description: >-
            null includes all four supported declaration families. Supply a
            non-empty, non-duplicate list to restrict them. The class family
            means Kast's supported class-like declarations. Constructors are not
            included.
          uniqueItems: true
        scope:
          anyOf:
            - $ref: '#/components/schemas/query_symbolsRequest_Scope'
              description: >-
                Omission or null searches the session workspace recursively in
                source sets main and test. Otherwise choose one directory scope
                or one package scope. Source-set restrictions intersect with the
                chosen scope.
            - type: 'null'
      required:
        - type
        - declarationName
      additionalProperties: false
      description: >-
        Find declarations and establish exact symbol identities. Source scope
        restricts discovery only, not later expansion destinations.
      title: SearchSource
    query_symbolsRequest_AllSource:
      type: object
      properties:
        type:
          type: string
          enum:
            - ALL_DECLARATIONS
          default: ALL_DECLARATIONS
        declarationKinds:
          type:
            - array
            - 'null'
          items:
            type: string
            enum:
              - CLASS
              - FUNCTION
              - PROPERTY
              - TYPE_ALIAS
          minItems: 1
          maxItems: 4
          description: >-
            null includes all four supported declaration families. Supply a
            non-empty, non-duplicate list to restrict them. The class family
            means Kast's supported class-like declarations. Constructors are not
            included.
          uniqueItems: true
        scope:
          anyOf:
            - $ref: '#/components/schemas/query_symbolsRequest_Scope'
              description: >-
                Omission or null searches the session workspace recursively in
                source sets main and test. Otherwise choose one directory scope
                or one package scope. Source-set restrictions intersect with the
                chosen scope.
            - type: 'null'
      required:
        - type
      additionalProperties: false
      description: >-
        Enumerate declarations under existing bounded execution. All does not
        mean unlimited work or guaranteed complete coverage.
      title: AllSource
    query_symbolsRequest_LocationSource:
      type: object
      properties:
        type:
          type: string
          enum:
            - AT_LOCATION
          default: AT_LOCATION
        file:
          type: string
          minLength: 1
          maxLength: 1048576
          description: Canonical workspace-relative file path containing the offset.
        offset:
          type: integer
          minimum: 0
          description: UTF-16 offset inside the named declaration.
      required:
        - type
        - file
        - offset
      additionalProperties: false
      description: >-
        Find the nearest named declaration containing this offset, then return
        its exact compiler-grounded symbol.
      title: LocationSource
    query_symbolsRequest_ReferenceSource:
      type: object
      properties:
        type:
          type: string
          enum:
            - SYMBOL_REFS
          default: SYMBOL_REFS
        symbolRefs:
          type: array
          items:
            type: string
            description: >-
              Opaque exact-symbol reference returned by Kast. Copy the token
              verbatim; do not construct, edit, or substitute a candidate
              reference.
            minLength: 1
            maxLength: 1048576
          minItems: 1
          maxItems: 1000
      required:
        - type
        - symbolRefs
      additionalProperties: false
      title: ReferenceSource
    query_symbolsRequest_ResultSource:
      type: object
      properties:
        type:
          type: string
          enum:
            - RESULT
          default: RESULT
        result:
          $ref: '#/components/schemas/query_symbolsRequest_ResultReference'
        rowIds:
          type:
            - array
            - 'null'
          items:
            $ref: '#/components/schemas/query_symbolsRequest_ResultRowReference'
          minItems: 0
          maxItems: 1000
          uniqueItems: true
          description: >-
            Omission or null selects all rows. [] selects no rows. Otherwise
            select these issued rows, in order, from this result; a subset keeps
            its source qualification and cannot prove coverage of omitted rows.
      required:
        - type
        - result
      additionalProperties: false
      description: >-
        Seed a new pipeline from a retained immutable result or selected issued
        rows. The same semantic basis is checked when Kast restores it,
        including empty selections and incomplete-coverage qualification.
      title: ResultSource
    query_symbolsRequest_Where:
      type: object
      properties:
        type:
          type: string
          enum:
            - WHERE
          default: WHERE
        predicate:
          $ref: '#/components/schemas/query_symbolsRequest_Predicate'
      required:
        - type
        - predicate
      additionalProperties: false
      description: Keep symbols satisfying one structured compiler-grounded predicate.
      title: Where
    query_symbolsRequest_ExpandRelation:
      type: object
      properties:
        type:
          type: string
          enum:
            - EXPAND_RELATION
          default: EXPAND_RELATION
        relation:
          type: string
          enum:
            - REFERENCES
            - CALLERS
            - CALLEES
            - IMPLEMENTATIONS
            - INHERITORS
            - OVERRIDES
            - TYPE_USES
          description: >-
            One semantic hop. callers means declarations calling the current
            symbols; callees means declarations called by them. Choose output
            type occurrences to return individual relation facts, including
            repeated use sites.
      required:
        - type
        - relation
      additionalProperties: false
      title: ExpandRelation
    query_symbolsRequest_Walk:
      type: object
      properties:
        type:
          type: string
          enum:
            - WALK
          default: WALK
        relation:
          type: string
          enum:
            - REFERENCES
            - CALLERS
            - CALLEES
            - IMPLEMENTATIONS
            - INHERITORS
            - OVERRIDES
            - TYPE_USES
        maximumDepth:
          anyOf:
            - $ref: '#/components/schemas/query_symbolsRequest_WalkDepth'
            - type: 'null'
        strategy:
          anyOf:
            - $ref: '#/components/schemas/query_symbolsRequest_WalkStrategy'
            - type: 'null'
      required:
        - type
        - relation
      additionalProperties: false
      description: >-
        Traverse each input symbol through compiler-confirmed relations up to
        the requested depth. Existing traversal execution retains frontier,
        progress, strategy and partial-expansion evidence.
      title: Walk
    query_symbolsRequest_DistinctSymbols:
      type: object
      properties:
        type:
          type: string
          enum:
            - DISTINCT_SYMBOLS
          default: DISTINCT_SYMBOLS
      required:
        - type
      additionalProperties: false
      description: >-
        Keep the first row and its evidence for each canonical symbol identity
        at this position.
      title: DistinctSymbols
    query_symbolsRequest_ProjectBinding:
      type: object
      properties:
        type:
          type: string
          enum:
            - PROJECT_BINDING
          default: PROJECT_BINDING
        name:
          $ref: '#/components/schemas/query_symbolsRequest_BindingName'
      required:
        - type
        - name
      additionalProperties: false
      description: >-
        Select one named symbol cell from each retained or newly joined binding
        row before symbol stages continue.
      title: ProjectBinding
    query_symbolsRequest_Concat:
      type: object
      properties:
        type:
          type: string
          enum:
            - CONCAT
          default: CONCAT
        input:
          $ref: '#/components/schemas/query_symbolsRequest_CompositionInput'
          description: >-
            Append exact-symbol references or selected rows from one retained
            result, preserving stream order and multiplicity.
      required:
        - type
        - input
      additionalProperties: false
      description: >-
        Concatenate a typed input at this pipeline position. Later steps
        transform both streams.
      title: Concat
    query_symbolsRequest_Intersect:
      type: object
      properties:
        type:
          type: string
          enum:
            - INTERSECT
          default: INTERSECT
        right:
          $ref: '#/components/schemas/query_symbolsRequest_RetainedInput'
      required:
        - type
        - right
      additionalProperties: false
      description: >-
        Keep left rows whose canonical semantic identity occurs in the retained
        right result.
      title: Intersect
    query_symbolsRequest_Union:
      type: object
      properties:
        type:
          type: string
          enum:
            - UNION
          default: UNION
        right:
          $ref: '#/components/schemas/query_symbolsRequest_RetainedInput'
      required:
        - type
        - right
      additionalProperties: false
      description: >-
        Form a set union by canonical semantic identity while retaining source
        qualification.
      title: Union
    query_symbolsRequest_Difference:
      type: object
      properties:
        type:
          type: string
          enum:
            - DIFFERENCE
          default: DIFFERENCE
        right:
          $ref: '#/components/schemas/query_symbolsRequest_RetainedInput'
      required:
        - type
        - right
      additionalProperties: false
      description: >-
        Exclude right-hand canonical identities only when retained right
        coverage establishes absence.
      title: Difference
    query_symbolsRequest_Join:
      type: object
      properties:
        type:
          type: string
          enum:
            - JOIN
          default: JOIN
        mode:
          $ref: '#/components/schemas/query_symbolsRequest_JoinMode'
        right:
          $ref: '#/components/schemas/query_symbolsRequest_RetainedInput'
          description: >-
            Immutable retained symbol rows. A retained binding-row result is not
            a symbol right input.
      required:
        - type
        - mode
        - right
      additionalProperties: false
      description: >-
        Join on canonical symbol identity. Inner emits typed paired rows; semi
        keeps proven matches; anti requires complete right coverage to establish
        absence.
      title: Join
    query_symbolsRequest_SymbolsOutput:
      type: object
      properties:
        type:
          type: string
          enum:
            - SYMBOLS
          default: SYMBOLS
        fields:
          type: array
          items:
            type: string
            enum:
              - NAME
              - LOCATION
              - SIGNATURE
              - SOURCE
          minItems: 0
          maxItems: 4
          uniqueItems: true
          description: >-
            [] requests mandatory identity and kind only. Source adds a
            committed bounded source window.
      required:
        - type
        - fields
      additionalProperties: false
      title: SymbolsOutput
    query_symbolsRequest_OccurrencesOutput:
      type: object
      properties:
        type:
          type: string
          enum:
            - OCCURRENCES
          default: OCCURRENCES
      required:
        - type
      additionalProperties: false
      title: OccurrencesOutput
    query_symbolsRequest_TraversalRecordsOutput:
      type: object
      properties:
        type:
          type: string
          enum:
            - TRAVERSAL_RECORDS
          default: TRAVERSAL_RECORDS
      required:
        - type
      additionalProperties: false
      description: >-
        Present each compiler-confirmed walk record with its hop depth and
        relation fact.
      title: TraversalRecordsOutput
    query_symbolsRequest_BindingRowsOutput:
      type: object
      properties:
        type:
          type: string
          enum:
            - BINDING_ROWS
          default: BINDING_ROWS
      required:
        - type
      additionalProperties: false
      description: >-
        Present both named symbol or exact-occurrence bindings in each
        inner-join pair, preserving multiplicity and evidence.
      title: BindingRowsOutput
    query_symbolsResponse_compilerIdentity:
      type: string
      pattern: ^canonical-signature-sha256-v1\|[0-9a-f]{64}$
      description: Identity derived from the exact canonical compiler signature.
      title: compilerIdentity
    query_symbolsRequest_Scope:
      anyOf:
        - $ref: '#/components/schemas/query_symbolsRequest_DirectoryScope'
        - $ref: '#/components/schemas/query_symbolsRequest_PackageScope'
        - type: 'null'
      title: Scope
    query_symbolsRequest_ResultRowReference:
      type: string
      pattern: >-
        ^result-row:v1:[0-9a-f]{8}-[0-9a-f]{4}-[0-9a-f]{4}-[0-9a-f]{4}-[0-9a-f]{12}$
      minLength: 50
      maxLength: 50
      description: >-
        Issued identity of one row in one retained result. Supply it with its
        owning result reference; restoration checks ownership.
      title: ResultRowReference
    query_symbolsRequest_Predicate:
      anyOf:
        - $ref: '#/components/schemas/query_symbolsRequest_VisibilityPredicate'
        - $ref: '#/components/schemas/query_symbolsRequest_PrimitivePredicate'
      description: A closed predicate over compiler-grounded symbol facts.
      title: Predicate
    query_symbolsRequest_WalkDepth:
      type: integer
      minimum: 1
      maximum: 1000
      description: >-
        Maximum semantic hop depth; each walk remains bounded by the hosted
        traversal ceiling.
      default: 1
      title: WalkDepth
    query_symbolsRequest_WalkStrategy:
      anyOf:
        - $ref: '#/components/schemas/query_symbolsRequest_BreadthFirstStrategy'
        - $ref: '#/components/schemas/query_symbolsRequest_BoundedFanOutStrategy'
        - type: 'null'
      description: >-
        Omission or null uses breadth-first exploration. Bounded fan-out keeps
        representative deeper paths and qualifies truncated coverage.
      title: WalkStrategy
    query_symbolsRequest_BindingName:
      type: string
      pattern: ^[A-Za-z][A-Za-z0-9_]{0,63}$
      minLength: 1
      maxLength: 64
      description: >-
        One bounded name for a cell in a binding row. Inner joins name their
        left and right cells; project_binding selects a cell by its name.
      title: BindingName
    query_symbolsRequest_CompositionInput:
      anyOf:
        - $ref: '#/components/schemas/query_symbolsRequest_ReferenceSource'
        - $ref: '#/components/schemas/query_symbolsRequest_ResultSource'
      title: CompositionInput
    query_symbolsRequest_RetainedInput:
      anyOf:
        - $ref: '#/components/schemas/query_symbolsRequest_ResultSource'
      title: RetainedInput
    query_symbolsRequest_JoinMode:
      anyOf:
        - $ref: '#/components/schemas/query_symbolsRequest_InnerJoinMode'
        - $ref: '#/components/schemas/query_symbolsRequest_SemiJoinMode'
        - $ref: '#/components/schemas/query_symbolsRequest_AntiJoinMode'
      title: JoinMode
    query_symbolsRequest_DirectoryScope:
      type: object
      properties:
        type:
          type: string
          enum:
            - DIRECTORY
          default: DIRECTORY
        relativeDirectoryPath:
          type: string
          description: >-
            Directory relative to the session workspace root, such as
            services/orders. Use '.' for the root. Not a file path, absolute
            path, glob, or package name. Parent traversal and non-canonical
            paths are rejected by server admission.
          minLength: 1
          maxLength: 1048576
        includeSubdirectories:
          type:
            - boolean
            - 'null'
          description: >-
            true includes the named directory and nested directories; false
            selects only the named directory.
          default: true
        sourceSetNames:
          type:
            - array
            - 'null'
          items:
            type: string
            description: >-
              Exact imported Gradle source-set name, such as main,
              integrationTest, or commonMain.
            minLength: 1
            maxLength: 1048576
          minItems: 1
          maxItems: 1000
          description: >-
            Omission or null selects the names main and test. Otherwise use
            exact imported Gradle source-set names, not paths, globs, or
            production/test categories. Empty and duplicate lists are rejected
            by server admission.
          uniqueItems: true
      required:
        - type
        - relativeDirectoryPath
      additionalProperties: false
      title: DirectoryScope
    query_symbolsRequest_PackageScope:
      type: object
      properties:
        type:
          type: string
          enum:
            - PACKAGE
          default: PACKAGE
        packageName:
          type: string
          description: >-
            Semantic Kotlin package name, such as com.example.orders. Not a
            filesystem path. Uses Kast's supported package-name grammar.
          minLength: 1
          maxLength: 1048576
        includeSubpackages:
          type:
            - boolean
            - 'null'
          description: >-
            true includes the named package and subpackages; false selects only
            the named package.
          default: true
        sourceSetNames:
          type:
            - array
            - 'null'
          items:
            type: string
            description: >-
              Exact imported Gradle source-set name, such as main,
              integrationTest, or commonMain.
            minLength: 1
            maxLength: 1048576
          minItems: 1
          maxItems: 1000
          description: >-
            Omission or null selects the names main and test. Otherwise use
            exact imported Gradle source-set names, not paths, globs, or
            production/test categories. Empty and duplicate lists are rejected
            by server admission.
          uniqueItems: true
      required:
        - type
        - packageName
      additionalProperties: false
      title: PackageScope
    query_symbolsRequest_VisibilityPredicate:
      type: object
      properties:
        type:
          type: string
          enum:
            - VISIBILITY
          default: VISIBILITY
        values:
          type: array
          items:
            type: string
            enum:
              - PUBLIC
              - PROTECTED
              - INTERNAL
              - PRIVATE
              - LOCAL
          minItems: 1
          maxItems: 5
          description: >-
            Keep symbols with one of these compiler-established visibilities.
            Duplicate values are rejected by server admission.
          uniqueItems: true
      required:
        - type
        - values
      additionalProperties: false
      title: VisibilityPredicate
    query_symbolsRequest_PrimitivePredicate:
      type: object
      properties:
        type:
          type: string
          enum:
            - PRIMITIVE
          default: PRIMITIVE
        field:
          type: string
          enum:
            - NAME
            - KIND
            - FILE
          description: Compiler-grounded name, declaration kind, or stable file identity.
        operator:
          type: string
          enum:
            - EQUALS
            - NOT_EQUALS
            - STARTS_WITH
            - ENDS_WITH
        value:
          type: string
          pattern: '[\s\S]*\S[\s\S]*'
          minLength: 1
          maxLength: 512
          description: Nonblank literal compared with the selected compiler-grounded field.
      required:
        - type
        - field
        - operator
        - value
      additionalProperties: false
      title: PrimitivePredicate
    query_symbolsRequest_BreadthFirstStrategy:
      type: object
      properties:
        type:
          type: string
          enum:
            - BREADTH_FIRST
          default: BREADTH_FIRST
      required:
        - type
      additionalProperties: false
      title: BreadthFirstStrategy
    query_symbolsRequest_BoundedFanOutStrategy:
      type: object
      properties:
        type:
          type: string
          enum:
            - BOUNDED_FAN_OUT
          default: BOUNDED_FAN_OUT
        maximumEdgesPerNode:
          type:
            - integer
            - 'null'
          minimum: 1
          maximum: 1000
          default: 32
      required:
        - type
      additionalProperties: false
      title: BoundedFanOutStrategy
    query_symbolsRequest_InnerJoinMode:
      type: object
      properties:
        type:
          type: string
          enum:
            - INNER
          default: INNER
        leftName:
          $ref: '#/components/schemas/query_symbolsRequest_BindingName'
        rightName:
          $ref: '#/components/schemas/query_symbolsRequest_BindingName'
      required:
        - type
        - leftName
        - rightName
      additionalProperties: false
      description: >-
        Emit one typed binding row per matching pair. The two output column
        names must differ.
      title: InnerJoinMode
    query_symbolsRequest_SemiJoinMode:
      type: object
      properties:
        type:
          type: string
          enum:
            - SEMI
          default: SEMI
      required:
        - type
      additionalProperties: false
      description: >-
        Keep left symbol rows with a matching right identity, preserving left
        multiplicity and evidence.
      title: SemiJoinMode
    query_symbolsRequest_AntiJoinMode:
      type: object
      properties:
        type:
          type: string
          enum:
            - ANTI
          default: ANTI
      required:
        - type
      additionalProperties: false
      description: >-
        Keep left symbol rows only when complete right coverage proves no
        matching identity.
      title: AntiJoinMode

````