> ## 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. # Read source > Inputs and response fields for read_source. 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/read_source openapi: 3.1.0 info: title: Kast callable reference version: '2' description: Public compiler-grounded Kast callables for connected agents. servers: [] security: [] paths: /callables/read_source: post: summary: read source description: >- Read bounded Kotlin source and structural context for an exact Kast symbol reference. Select a region, text window, structural entities, and continuation without changing source. Preserve references and coverage in the result. operationId: read_source requestBody: required: true content: application/json: schema: $ref: '#/components/schemas/read_sourceRequest' examples: exactSymbol: summary: >- Read the declaration at an exact symbol reference returned by Kast. value: symbolRef: exact:v5:AAAAAAAAAAAAAAAAAAAAAQ callableBody: summary: Read a bounded callable body and direct declarations. value: symbolRef: exact:v5:AAAAAAAAAAAAAAAAAAAAAQ region: CALLABLE_BODY text: type: WINDOW beforeLines: 2 afterLines: 2 maxBytes: 12000 entities: type: MATCHING filters: - type: DECLARATIONS kinds: - FUNCTION limit: 50 x-kast-invalidExamples: retiredSymbol: summary: The retired symbol shortcut is rejected. value: symbol: exact:v5:AAAAAAAAAAAAAAAAAAAAAQ retiredAnchor: summary: The retired anchor object is rejected. value: anchor: symbolRef: exact:v5:AAAAAAAAAAAAAAAAAAAAAQ missingTextVariant: summary: A supplied text object requires its type. value: symbolRef: exact:v5:AAAAAAAAAAAAAAAAAAAAAQ text: {} missingTextType: summary: Every supplied text variant requires type. value: symbolRef: exact:v5:AAAAAAAAAAAAAAAAAAAAAQ text: beforeLines: 2 afterLines: 2 mixedTextVariant: summary: Text variants cannot be mixed. value: symbolRef: exact:v5:AAAAAAAAAAAAAAAAAAAAAQ text: type: COMPLETE beforeLines: 2 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/read_sourceResponse' components: schemas: read_sourceRequest: type: object properties: symbolRef: type: string minLength: 1 maxLength: 1048576 description: Exact Kast symbol reference. Copy the token unchanged. region: type: - string - 'null' enum: - DECLARATION - FILE - CLASS_BODY - CALLABLE_BODY - null description: Omission or null selects the declaration. text: anyOf: - $ref: '#/components/schemas/read_sourceRequest_SourceText' - type: 'null' entities: anyOf: - $ref: '#/components/schemas/read_sourceRequest_SourceEntities' - type: 'null' page: anyOf: - $ref: '#/components/schemas/read_sourceRequest_SourcePage' - type: 'null' executionBudget: anyOf: - $ref: '#/components/schemas/read_sourceRequest_ExecutionBudget' - type: 'null' required: - symbolRef additionalProperties: false read_sourceResponse: anyOf: - type: object additionalProperties: false properties: status: type: string const: completed description: Process outcome. document: anyOf: - anyOf: - anyOf: - oneOf: - type: object additionalProperties: false properties: operation: $ref: >- #/components/schemas/read_sourceResponse_sourceReadOperation status: type: string const: complete description: Canonical operation outcome. execution_budget: anyOf: - $ref: >- #/components/schemas/read_sourceResponse_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 snapshot: $ref: >- #/components/schemas/read_sourceResponse_publishedSourceSnapshot region: $ref: >- #/components/schemas/read_sourceResponse_sourceRegion entities: type: array items: $ref: >- #/components/schemas/read_sourceResponse_sourceEntity maxItems: 1000 text: $ref: >- #/components/schemas/read_sourceResponse_sourceTextProjection required: - operation - status - snapshot - region - entities - text title: complete - type: object additionalProperties: false properties: operation: $ref: >- #/components/schemas/read_sourceResponse_sourceReadOperation status: type: string const: complete description: Canonical operation outcome. execution_budget: anyOf: - $ref: >- #/components/schemas/read_sourceResponse_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 snapshot: $ref: >- #/components/schemas/read_sourceResponse_liveSourceSnapshot region: $ref: >- #/components/schemas/read_sourceResponse_sourceRegion entities: type: array items: $ref: >- #/components/schemas/read_sourceResponse_sourceEntity maxItems: 1000 text: $ref: >- #/components/schemas/read_sourceResponse_sourceTextProjection live: $ref: >- #/components/schemas/read_sourceResponse_liveReadEvidence required: - operation - status - snapshot - region - entities - text - live title: complete · live - oneOf: - type: object additionalProperties: false properties: operation: $ref: >- #/components/schemas/read_sourceResponse_sourceReadOperation status: type: string const: qualified description: Canonical operation outcome. execution_budget: anyOf: - $ref: >- #/components/schemas/read_sourceResponse_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 snapshot: $ref: >- #/components/schemas/read_sourceResponse_publishedSourceSnapshot region: $ref: >- #/components/schemas/read_sourceResponse_sourceRegion entities: type: array items: $ref: >- #/components/schemas/read_sourceResponse_sourceEntity maxItems: 1000 text: $ref: >- #/components/schemas/read_sourceResponse_sourceTextProjection qualification: $ref: >- #/components/schemas/read_sourceResponse_sourceQualification required: - operation - status - snapshot - region - entities - text - qualification title: qualified - type: object additionalProperties: false properties: operation: $ref: >- #/components/schemas/read_sourceResponse_sourceReadOperation status: type: string const: qualified description: Canonical operation outcome. execution_budget: anyOf: - $ref: >- #/components/schemas/read_sourceResponse_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 snapshot: $ref: >- #/components/schemas/read_sourceResponse_liveSourceSnapshot region: $ref: >- #/components/schemas/read_sourceResponse_sourceRegion entities: type: array items: $ref: >- #/components/schemas/read_sourceResponse_sourceEntity maxItems: 1000 text: $ref: >- #/components/schemas/read_sourceResponse_sourceTextProjection qualification: $ref: >- #/components/schemas/read_sourceResponse_sourceQualification live: $ref: >- #/components/schemas/read_sourceResponse_liveReadEvidence required: - operation - status - snapshot - region - entities - text - qualification - live title: qualified · live - type: object additionalProperties: false properties: operation: $ref: >- #/components/schemas/read_sourceResponse_sourceReadOperation status: type: string const: rejected description: Canonical operation outcome. reason: $ref: >- #/components/schemas/read_sourceResponse_sourceReadRejection next_action: $ref: >- #/components/schemas/read_sourceResponse_readRecoveryAction required: - operation - status - reason - next_action title: rejected - type: object additionalProperties: false properties: operation: $ref: >- #/components/schemas/read_sourceResponse_sourceReadOperation status: type: string const: rejected description: Canonical operation outcome. reason: $ref: >- #/components/schemas/read_sourceResponse_sourceReadRejection next_action: $ref: >- #/components/schemas/read_sourceResponse_readRecoveryAction execution_budget: $ref: >- #/components/schemas/read_sourceResponse_executionBudget required: - operation - status - reason - next_action - execution_budget title: rejected - anyOf: - oneOf: - type: object additionalProperties: false properties: operation: $ref: >- #/components/schemas/read_sourceResponse_sourceReadOperation status: type: string const: complete description: Canonical operation outcome. execution_budget: anyOf: - $ref: >- #/components/schemas/read_sourceResponse_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 format: type: string const: compact description: Source projection format. content: type: array minItems: 2 maxItems: 2 items: false prefixItems: - type: object additionalProperties: false properties: type: type: string const: source description: Primary source presentation. text: anyOf: - type: object additionalProperties: false properties: type: type: string const: not-requested required: - type title: not-requested - type: object additionalProperties: false properties: type: type: string const: returned text: type: string selection: type: object additionalProperties: false properties: id: type: integer minimum: 0 range: type: object additionalProperties: false properties: startInclusive: type: integer minimum: 0 endExclusive: type: integer minimum: 0 required: - startInclusive - endExclusive required: - id - range lines: type: object additionalProperties: false properties: startInclusive: type: integer endInclusive: type: integer required: - startInclusive - endInclusive required: - type - text - selection - lines title: returned - type: object additionalProperties: false properties: type: type: string const: withheld reason: type: string enum: - byte-limit-reached - provider-unavailable required: - type - reason title: withheld required: - type - text title: source - type: object additionalProperties: false properties: type: type: string const: structure description: Structural detail after source. snapshot: $ref: >- #/components/schemas/read_sourceResponse_publishedSourceSnapshot region: type: object additionalProperties: false properties: kind: type: string enum: - anchor - declaration - callable-body - class-body - file - window selection: type: object additionalProperties: false properties: id: type: integer minimum: 0 range: type: object additionalProperties: false properties: startInclusive: type: integer minimum: 0 endExclusive: type: integer minimum: 0 required: - startInclusive - endExclusive required: - id - range required: - kind - selection selections: type: array minItems: 1 maxItems: 4002 uniqueItems: true items: type: object additionalProperties: false properties: selector: type: string required: - selector entities: type: array items: anyOf: - type: object additionalProperties: false properties: type: type: string const: call nestingDepth: type: integer minimum: 0 parent: type: integer minimum: 0 selection: type: object additionalProperties: false properties: id: type: integer minimum: 0 range: type: object additionalProperties: false properties: startInclusive: type: integer minimum: 0 endExclusive: type: integer minimum: 0 required: - startInclusive - endExclusive required: - id - range callee: type: object additionalProperties: false properties: id: type: integer minimum: 0 range: type: object additionalProperties: false properties: startInclusive: type: integer minimum: 0 endExclusive: type: integer minimum: 0 required: - startInclusive - endExclusive required: - id - range target: anyOf: - type: object additionalProperties: false properties: type: type: string const: candidate selector: type: string required: - type - selector title: candidate - type: object additionalProperties: false properties: type: type: string const: local selection: type: integer minimum: 0 required: - type - selection title: local - type: object additionalProperties: false properties: type: type: string const: unresolved reason: type: string enum: - name-not-found - ambiguous - error-type - unsupported-target required: - type - reason title: unresolved required: - type - nestingDepth - parent - selection - callee - target title: call - type: object additionalProperties: false properties: type: type: string const: declaration kind: type: string enum: - classlike - constructor - function - property - type-alias name: type: string visibility: type: string enum: - public - protected - internal - private - local nestingDepth: type: integer minimum: 0 parent: type: integer minimum: 0 selection: type: object additionalProperties: false properties: id: type: integer minimum: 0 range: type: object additionalProperties: false properties: startInclusive: type: integer minimum: 0 endExclusive: type: integer minimum: 0 required: - startInclusive - endExclusive required: - id - range target: type: object additionalProperties: false properties: selector: type: string required: - selector required: - type - kind - name - visibility - nestingDepth - parent - selection - target title: declaration - type: object additionalProperties: false properties: type: type: string const: reference name: type: string nestingDepth: type: integer minimum: 0 parent: type: integer minimum: 0 selection: type: object additionalProperties: false properties: id: type: integer minimum: 0 range: type: object additionalProperties: false properties: startInclusive: type: integer minimum: 0 endExclusive: type: integer minimum: 0 required: - startInclusive - endExclusive required: - id - range target: anyOf: - type: object additionalProperties: false properties: type: type: string const: candidate selector: type: string required: - type - selector title: candidate - type: object additionalProperties: false properties: type: type: string const: local selection: type: integer minimum: 0 required: - type - selection title: local - type: object additionalProperties: false properties: type: type: string const: unresolved reason: type: string enum: - name-not-found - ambiguous - error-type - unsupported-target required: - type - reason title: unresolved required: - type - name - nestingDepth - parent - selection - target title: reference - type: object additionalProperties: false properties: type: type: string const: value-parameter name: type: string nestingDepth: type: integer minimum: 0 parent: type: integer minimum: 0 selection: type: object additionalProperties: false properties: id: type: integer minimum: 0 range: type: object additionalProperties: false properties: startInclusive: type: integer minimum: 0 endExclusive: type: integer minimum: 0 required: - startInclusive - endExclusive required: - id - range required: - type - name - nestingDepth - parent - selection title: value-parameter maxItems: 1000 required: - type - snapshot - region - selections - entities title: structure required: - operation - status - format - content title: complete - type: object additionalProperties: false properties: operation: $ref: >- #/components/schemas/read_sourceResponse_sourceReadOperation status: type: string const: complete description: Canonical operation outcome. execution_budget: anyOf: - $ref: >- #/components/schemas/read_sourceResponse_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 format: type: string const: compact description: Source projection format. content: type: array minItems: 2 maxItems: 2 items: false prefixItems: - type: object additionalProperties: false properties: type: type: string const: source description: Primary source presentation. text: anyOf: - type: object additionalProperties: false properties: type: type: string const: not-requested required: - type title: not-requested - type: object additionalProperties: false properties: type: type: string const: returned text: type: string selection: type: object additionalProperties: false properties: id: type: integer minimum: 0 range: type: object additionalProperties: false properties: startInclusive: type: integer minimum: 0 endExclusive: type: integer minimum: 0 required: - startInclusive - endExclusive required: - id - range lines: type: object additionalProperties: false properties: startInclusive: type: integer endInclusive: type: integer required: - startInclusive - endInclusive required: - type - text - selection - lines title: returned - type: object additionalProperties: false properties: type: type: string const: withheld reason: type: string enum: - byte-limit-reached - provider-unavailable required: - type - reason title: withheld required: - type - text title: source - type: object additionalProperties: false properties: type: type: string const: structure description: Structural detail after source. snapshot: $ref: >- #/components/schemas/read_sourceResponse_liveSourceSnapshot region: type: object additionalProperties: false properties: kind: type: string enum: - anchor - declaration - callable-body - class-body - file - window selection: type: object additionalProperties: false properties: id: type: integer minimum: 0 range: type: object additionalProperties: false properties: startInclusive: type: integer minimum: 0 endExclusive: type: integer minimum: 0 required: - startInclusive - endExclusive required: - id - range required: - kind - selection selections: type: array minItems: 1 maxItems: 4002 uniqueItems: true items: type: object additionalProperties: false properties: selector: type: string required: - selector entities: type: array items: anyOf: - type: object additionalProperties: false properties: type: type: string const: call nestingDepth: type: integer minimum: 0 parent: type: integer minimum: 0 selection: type: object additionalProperties: false properties: id: type: integer minimum: 0 range: type: object additionalProperties: false properties: startInclusive: type: integer minimum: 0 endExclusive: type: integer minimum: 0 required: - startInclusive - endExclusive required: - id - range callee: type: object additionalProperties: false properties: id: type: integer minimum: 0 range: type: object additionalProperties: false properties: startInclusive: type: integer minimum: 0 endExclusive: type: integer minimum: 0 required: - startInclusive - endExclusive required: - id - range target: anyOf: - type: object additionalProperties: false properties: type: type: string const: candidate selector: type: string required: - type - selector title: candidate - type: object additionalProperties: false properties: type: type: string const: local selection: type: integer minimum: 0 required: - type - selection title: local - type: object additionalProperties: false properties: type: type: string const: unresolved reason: type: string enum: - name-not-found - ambiguous - error-type - unsupported-target required: - type - reason title: unresolved required: - type - nestingDepth - parent - selection - callee - target title: call - type: object additionalProperties: false properties: type: type: string const: declaration kind: type: string enum: - classlike - constructor - function - property - type-alias name: type: string visibility: type: string enum: - public - protected - internal - private - local nestingDepth: type: integer minimum: 0 parent: type: integer minimum: 0 selection: type: object additionalProperties: false properties: id: type: integer minimum: 0 range: type: object additionalProperties: false properties: startInclusive: type: integer minimum: 0 endExclusive: type: integer minimum: 0 required: - startInclusive - endExclusive required: - id - range target: type: object additionalProperties: false properties: selector: type: string required: - selector required: - type - kind - name - visibility - nestingDepth - parent - selection - target title: declaration - type: object additionalProperties: false properties: type: type: string const: reference name: type: string nestingDepth: type: integer minimum: 0 parent: type: integer minimum: 0 selection: type: object additionalProperties: false properties: id: type: integer minimum: 0 range: type: object additionalProperties: false properties: startInclusive: type: integer minimum: 0 endExclusive: type: integer minimum: 0 required: - startInclusive - endExclusive required: - id - range target: anyOf: - type: object additionalProperties: false properties: type: type: string const: candidate selector: type: string required: - type - selector title: candidate - type: object additionalProperties: false properties: type: type: string const: local selection: type: integer minimum: 0 required: - type - selection title: local - type: object additionalProperties: false properties: type: type: string const: unresolved reason: type: string enum: - name-not-found - ambiguous - error-type - unsupported-target required: - type - reason title: unresolved required: - type - name - nestingDepth - parent - selection - target title: reference - type: object additionalProperties: false properties: type: type: string const: value-parameter name: type: string nestingDepth: type: integer minimum: 0 parent: type: integer minimum: 0 selection: type: object additionalProperties: false properties: id: type: integer minimum: 0 range: type: object additionalProperties: false properties: startInclusive: type: integer minimum: 0 endExclusive: type: integer minimum: 0 required: - startInclusive - endExclusive required: - id - range required: - type - name - nestingDepth - parent - selection title: value-parameter maxItems: 1000 required: - type - snapshot - region - selections - entities title: structure live: $ref: >- #/components/schemas/read_sourceResponse_liveReadEvidence required: - operation - status - format - content - live title: complete · live - oneOf: - type: object additionalProperties: false properties: operation: $ref: >- #/components/schemas/read_sourceResponse_sourceReadOperation status: type: string const: qualified description: Canonical operation outcome. execution_budget: anyOf: - $ref: >- #/components/schemas/read_sourceResponse_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 format: type: string const: compact description: Source projection format. content: type: array minItems: 2 maxItems: 2 items: false prefixItems: - type: object additionalProperties: false properties: type: type: string const: source description: Primary source presentation. text: anyOf: - type: object additionalProperties: false properties: type: type: string const: not-requested required: - type title: not-requested - type: object additionalProperties: false properties: type: type: string const: returned text: type: string selection: type: object additionalProperties: false properties: id: type: integer minimum: 0 range: type: object additionalProperties: false properties: startInclusive: type: integer minimum: 0 endExclusive: type: integer minimum: 0 required: - startInclusive - endExclusive required: - id - range lines: type: object additionalProperties: false properties: startInclusive: type: integer endInclusive: type: integer required: - startInclusive - endInclusive required: - type - text - selection - lines title: returned - type: object additionalProperties: false properties: type: type: string const: withheld reason: type: string enum: - byte-limit-reached - provider-unavailable required: - type - reason title: withheld required: - type - text title: source - type: object additionalProperties: false properties: type: type: string const: structure description: Structural detail after source. snapshot: $ref: >- #/components/schemas/read_sourceResponse_publishedSourceSnapshot region: type: object additionalProperties: false properties: kind: type: string enum: - anchor - declaration - callable-body - class-body - file - window selection: type: object additionalProperties: false properties: id: type: integer minimum: 0 range: type: object additionalProperties: false properties: startInclusive: type: integer minimum: 0 endExclusive: type: integer minimum: 0 required: - startInclusive - endExclusive required: - id - range required: - kind - selection selections: type: array minItems: 1 maxItems: 4002 uniqueItems: true items: type: object additionalProperties: false properties: selector: type: string required: - selector entities: type: array items: anyOf: - type: object additionalProperties: false properties: type: type: string const: call nestingDepth: type: integer minimum: 0 parent: type: integer minimum: 0 selection: type: object additionalProperties: false properties: id: type: integer minimum: 0 range: type: object additionalProperties: false properties: startInclusive: type: integer minimum: 0 endExclusive: type: integer minimum: 0 required: - startInclusive - endExclusive required: - id - range callee: type: object additionalProperties: false properties: id: type: integer minimum: 0 range: type: object additionalProperties: false properties: startInclusive: type: integer minimum: 0 endExclusive: type: integer minimum: 0 required: - startInclusive - endExclusive required: - id - range target: anyOf: - type: object additionalProperties: false properties: type: type: string const: candidate selector: type: string required: - type - selector title: candidate - type: object additionalProperties: false properties: type: type: string const: local selection: type: integer minimum: 0 required: - type - selection title: local - type: object additionalProperties: false properties: type: type: string const: unresolved reason: type: string enum: - name-not-found - ambiguous - error-type - unsupported-target required: - type - reason title: unresolved required: - type - nestingDepth - parent - selection - callee - target title: call - type: object additionalProperties: false properties: type: type: string const: declaration kind: type: string enum: - classlike - constructor - function - property - type-alias name: type: string visibility: type: string enum: - public - protected - internal - private - local nestingDepth: type: integer minimum: 0 parent: type: integer minimum: 0 selection: type: object additionalProperties: false properties: id: type: integer minimum: 0 range: type: object additionalProperties: false properties: startInclusive: type: integer minimum: 0 endExclusive: type: integer minimum: 0 required: - startInclusive - endExclusive required: - id - range target: type: object additionalProperties: false properties: selector: type: string required: - selector required: - type - kind - name - visibility - nestingDepth - parent - selection - target title: declaration - type: object additionalProperties: false properties: type: type: string const: reference name: type: string nestingDepth: type: integer minimum: 0 parent: type: integer minimum: 0 selection: type: object additionalProperties: false properties: id: type: integer minimum: 0 range: type: object additionalProperties: false properties: startInclusive: type: integer minimum: 0 endExclusive: type: integer minimum: 0 required: - startInclusive - endExclusive required: - id - range target: anyOf: - type: object additionalProperties: false properties: type: type: string const: candidate selector: type: string required: - type - selector title: candidate - type: object additionalProperties: false properties: type: type: string const: local selection: type: integer minimum: 0 required: - type - selection title: local - type: object additionalProperties: false properties: type: type: string const: unresolved reason: type: string enum: - name-not-found - ambiguous - error-type - unsupported-target required: - type - reason title: unresolved required: - type - name - nestingDepth - parent - selection - target title: reference - type: object additionalProperties: false properties: type: type: string const: value-parameter name: type: string nestingDepth: type: integer minimum: 0 parent: type: integer minimum: 0 selection: type: object additionalProperties: false properties: id: type: integer minimum: 0 range: type: object additionalProperties: false properties: startInclusive: type: integer minimum: 0 endExclusive: type: integer minimum: 0 required: - startInclusive - endExclusive required: - id - range required: - type - name - nestingDepth - parent - selection title: value-parameter maxItems: 1000 required: - type - snapshot - region - selections - entities title: structure qualification: $ref: >- #/components/schemas/read_sourceResponse_sourceQualification required: - operation - status - format - content - qualification title: qualified - type: object additionalProperties: false properties: operation: $ref: >- #/components/schemas/read_sourceResponse_sourceReadOperation status: type: string const: qualified description: Canonical operation outcome. execution_budget: anyOf: - $ref: >- #/components/schemas/read_sourceResponse_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 format: type: string const: compact description: Source projection format. content: type: array minItems: 2 maxItems: 2 items: false prefixItems: - type: object additionalProperties: false properties: type: type: string const: source description: Primary source presentation. text: anyOf: - type: object additionalProperties: false properties: type: type: string const: not-requested required: - type title: not-requested - type: object additionalProperties: false properties: type: type: string const: returned text: type: string selection: type: object additionalProperties: false properties: id: type: integer minimum: 0 range: type: object additionalProperties: false properties: startInclusive: type: integer minimum: 0 endExclusive: type: integer minimum: 0 required: - startInclusive - endExclusive required: - id - range lines: type: object additionalProperties: false properties: startInclusive: type: integer endInclusive: type: integer required: - startInclusive - endInclusive required: - type - text - selection - lines title: returned - type: object additionalProperties: false properties: type: type: string const: withheld reason: type: string enum: - byte-limit-reached - provider-unavailable required: - type - reason title: withheld required: - type - text title: source - type: object additionalProperties: false properties: type: type: string const: structure description: Structural detail after source. snapshot: $ref: >- #/components/schemas/read_sourceResponse_liveSourceSnapshot region: type: object additionalProperties: false properties: kind: type: string enum: - anchor - declaration - callable-body - class-body - file - window selection: type: object additionalProperties: false properties: id: type: integer minimum: 0 range: type: object additionalProperties: false properties: startInclusive: type: integer minimum: 0 endExclusive: type: integer minimum: 0 required: - startInclusive - endExclusive required: - id - range required: - kind - selection selections: type: array minItems: 1 maxItems: 4002 uniqueItems: true items: type: object additionalProperties: false properties: selector: type: string required: - selector entities: type: array items: anyOf: - type: object additionalProperties: false properties: type: type: string const: call nestingDepth: type: integer minimum: 0 parent: type: integer minimum: 0 selection: type: object additionalProperties: false properties: id: type: integer minimum: 0 range: type: object additionalProperties: false properties: startInclusive: type: integer minimum: 0 endExclusive: type: integer minimum: 0 required: - startInclusive - endExclusive required: - id - range callee: type: object additionalProperties: false properties: id: type: integer minimum: 0 range: type: object additionalProperties: false properties: startInclusive: type: integer minimum: 0 endExclusive: type: integer minimum: 0 required: - startInclusive - endExclusive required: - id - range target: anyOf: - type: object additionalProperties: false properties: type: type: string const: candidate selector: type: string required: - type - selector title: candidate - type: object additionalProperties: false properties: type: type: string const: local selection: type: integer minimum: 0 required: - type - selection title: local - type: object additionalProperties: false properties: type: type: string const: unresolved reason: type: string enum: - name-not-found - ambiguous - error-type - unsupported-target required: - type - reason title: unresolved required: - type - nestingDepth - parent - selection - callee - target title: call - type: object additionalProperties: false properties: type: type: string const: declaration kind: type: string enum: - classlike - constructor - function - property - type-alias name: type: string visibility: type: string enum: - public - protected - internal - private - local nestingDepth: type: integer minimum: 0 parent: type: integer minimum: 0 selection: type: object additionalProperties: false properties: id: type: integer minimum: 0 range: type: object additionalProperties: false properties: startInclusive: type: integer minimum: 0 endExclusive: type: integer minimum: 0 required: - startInclusive - endExclusive required: - id - range target: type: object additionalProperties: false properties: selector: type: string required: - selector required: - type - kind - name - visibility - nestingDepth - parent - selection - target title: declaration - type: object additionalProperties: false properties: type: type: string const: reference name: type: string nestingDepth: type: integer minimum: 0 parent: type: integer minimum: 0 selection: type: object additionalProperties: false properties: id: type: integer minimum: 0 range: type: object additionalProperties: false properties: startInclusive: type: integer minimum: 0 endExclusive: type: integer minimum: 0 required: - startInclusive - endExclusive required: - id - range target: anyOf: - type: object additionalProperties: false properties: type: type: string const: candidate selector: type: string required: - type - selector title: candidate - type: object additionalProperties: false properties: type: type: string const: local selection: type: integer minimum: 0 required: - type - selection title: local - type: object additionalProperties: false properties: type: type: string const: unresolved reason: type: string enum: - name-not-found - ambiguous - error-type - unsupported-target required: - type - reason title: unresolved required: - type - name - nestingDepth - parent - selection - target title: reference - type: object additionalProperties: false properties: type: type: string const: value-parameter name: type: string nestingDepth: type: integer minimum: 0 parent: type: integer minimum: 0 selection: type: object additionalProperties: false properties: id: type: integer minimum: 0 range: type: object additionalProperties: false properties: startInclusive: type: integer minimum: 0 endExclusive: type: integer minimum: 0 required: - startInclusive - endExclusive required: - id - range required: - type - name - nestingDepth - parent - selection title: value-parameter maxItems: 1000 required: - type - snapshot - region - selections - entities title: structure qualification: $ref: >- #/components/schemas/read_sourceResponse_sourceQualification live: $ref: >- #/components/schemas/read_sourceResponse_liveReadEvidence required: - operation - status - format - content - qualification - live title: qualified · live - type: object additionalProperties: false properties: operation: $ref: >- #/components/schemas/read_sourceResponse_sourceReadOperation status: type: string const: rejected description: Canonical operation outcome. reason: $ref: >- #/components/schemas/read_sourceResponse_sourceReadRejection next_action: $ref: >- #/components/schemas/read_sourceResponse_readRecoveryAction required: - operation - status - reason - next_action title: rejected - type: object additionalProperties: false properties: operation: $ref: >- #/components/schemas/read_sourceResponse_sourceReadOperation status: type: string const: rejected description: Canonical operation outcome. reason: $ref: >- #/components/schemas/read_sourceResponse_sourceReadRejection next_action: $ref: >- #/components/schemas/read_sourceResponse_readRecoveryAction execution_budget: $ref: >- #/components/schemas/read_sourceResponse_executionBudget required: - operation - status - reason - next_action - execution_budget title: rejected - $ref: '#/components/schemas/read_sourceResponse_transportRejected' - $ref: '#/components/schemas/read_sourceResponse_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/read_sourceResponse_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/read_sourceResponse_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/read_sourceResponse_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/read_sourceResponse_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/read_sourceResponse_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/read_sourceResponse_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/read_sourceResponse_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/read_sourceResponse_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/read_sourceResponse_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/read_sourceResponse_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/read_sourceResponse_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/read_sourceResponse_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/read_sourceResponse_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/read_sourceResponse_gradleJvmObservation required: - state - attemptId - phase - completedPhases - totalPhases - cause - correctiveAction - gradleJvm required: - status - boundary - reason - bootstrap title: rejected required: - status - diagnostic title: rejected read_sourceRequest_SourceText: anyOf: - $ref: '#/components/schemas/read_sourceRequest_SourceTextComplete' - $ref: '#/components/schemas/read_sourceRequest_SourceTextNone' - $ref: '#/components/schemas/read_sourceRequest_SourceTextWindow' title: SourceText read_sourceRequest_SourceEntities: anyOf: - $ref: '#/components/schemas/read_sourceRequest_SourceEntitiesNone' - $ref: '#/components/schemas/read_sourceRequest_SourceEntitiesMatching' title: SourceEntities read_sourceRequest_SourcePage: anyOf: - $ref: '#/components/schemas/read_sourceRequest_SourcePageFirst' - $ref: '#/components/schemas/read_sourceRequest_SourcePageContinue' title: SourcePage read_sourceRequest_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 read_sourceResponse_sourceReadOperation: type: string const: source.read description: Canonical operation identity. title: sourceReadOperation read_sourceResponse_executionBudget: type: object additionalProperties: false properties: max_elapsed_ms: $ref: '#/components/schemas/read_sourceResponse_executionLimit' max_work_units: $ref: '#/components/schemas/read_sourceResponse_executionLimit' max_results: $ref: '#/components/schemas/read_sourceResponse_executionLimit' max_returned_bytes: $ref: '#/components/schemas/read_sourceResponse_executionLimit' required: - max_elapsed_ms - max_work_units - max_results - max_returned_bytes title: executionBudget read_sourceResponse_publishedSourceSnapshot: type: object additionalProperties: false properties: canonicalRoot: type: string minLength: 1 maxLength: 1048576 description: Canonical workspace root. generation: type: integer minimum: 0 description: Semantic generation. sourceState: type: string minLength: 1 maxLength: 1048576 description: Workspace source-state identity. file: type: string minLength: 1 maxLength: 1048576 description: Exact workspace source file. textIdentity: type: string minLength: 1 maxLength: 1048576 description: Committed document text identity. coordinateUnit: type: string const: utf16-code-unit description: Source coordinate unit. length: type: integer minimum: 0 description: Document UTF-16 length. required: - canonicalRoot - generation - sourceState - file - textIdentity - coordinateUnit - length title: publishedSourceSnapshot read_sourceResponse_sourceRegion: type: object additionalProperties: false properties: kind: type: string description: Established structural region kind. enum: - anchor - declaration - callable-body - class-body - file - window selection: $ref: '#/components/schemas/read_sourceResponse_sourceSelection' required: - kind - selection title: sourceRegion read_sourceResponse_sourceEntity: anyOf: - type: object additionalProperties: false properties: type: type: string const: declaration description: Source entity kind. kind: type: string description: Declaration kind. enum: - classlike - constructor - function - property - type-alias name: type: string minLength: 1 maxLength: 1048576 description: Declaration source name. visibility: type: string description: Compiler-established visibility. enum: - public - protected - internal - private - local nestingDepth: type: integer minimum: 0 description: Structural nesting depth. parentSelector: type: string minLength: 1 maxLength: 1048576 description: Exact structural parent selector. selection: $ref: '#/components/schemas/read_sourceResponse_sourceSelection' semanticIdentity: type: object additionalProperties: false properties: type: type: string const: candidate description: Semantic identity state. selector: type: string minLength: 1 maxLength: 1048576 description: Resolvable declaration candidate selector. required: - type - selector title: candidate required: - type - kind - name - visibility - nestingDepth - parentSelector - selection - semanticIdentity title: declaration - type: object additionalProperties: false properties: type: type: string const: value-parameter description: Source entity kind. name: type: string minLength: 1 maxLength: 1048576 description: Value-parameter name. nestingDepth: type: integer minimum: 0 description: Structural nesting depth. parentSelector: type: string minLength: 1 maxLength: 1048576 description: Exact structural parent selector. selection: $ref: '#/components/schemas/read_sourceResponse_sourceSelection' required: - type - name - nestingDepth - parentSelector - selection title: value-parameter - type: object additionalProperties: false properties: type: type: string const: call description: Source entity kind. nestingDepth: type: integer minimum: 0 description: Structural nesting depth. parentSelector: type: string minLength: 1 maxLength: 1048576 description: Exact structural parent selector. selection: $ref: '#/components/schemas/read_sourceResponse_sourceSelection' callee: $ref: '#/components/schemas/read_sourceResponse_sourceSelection' target: anyOf: - type: object additionalProperties: false properties: type: type: string const: candidate description: Semantic target state. selector: type: string minLength: 1 maxLength: 1048576 description: Resolvable target candidate selector. required: - type - selector title: candidate - type: object additionalProperties: false properties: type: type: string const: local description: Semantic target state. selector: type: string minLength: 1 maxLength: 1048576 description: Exact local source selector. required: - type - selector title: local - type: object additionalProperties: false properties: type: type: string const: unresolved description: Semantic target state. reason: type: string description: Compiler-established unresolved reason. enum: - name-not-found - ambiguous - error-type - unsupported-target required: - type - reason title: unresolved required: - type - nestingDepth - parentSelector - selection - callee - target title: call - type: object additionalProperties: false properties: type: type: string const: reference description: Source entity kind. name: type: string minLength: 1 maxLength: 1048576 description: Referenced source name. nestingDepth: type: integer minimum: 0 description: Structural nesting depth. parentSelector: type: string minLength: 1 maxLength: 1048576 description: Exact structural parent selector. selection: $ref: '#/components/schemas/read_sourceResponse_sourceSelection' target: anyOf: - type: object additionalProperties: false properties: type: type: string const: candidate description: Semantic target state. selector: type: string minLength: 1 maxLength: 1048576 description: Resolvable target candidate selector. required: - type - selector title: candidate - type: object additionalProperties: false properties: type: type: string const: local description: Semantic target state. selector: type: string minLength: 1 maxLength: 1048576 description: Exact local source selector. required: - type - selector title: local - type: object additionalProperties: false properties: type: type: string const: unresolved description: Semantic target state. reason: type: string description: Compiler-established unresolved reason. enum: - name-not-found - ambiguous - error-type - unsupported-target required: - type - reason title: unresolved required: - type - name - nestingDepth - parentSelector - selection - target title: reference title: sourceEntity read_sourceResponse_sourceTextProjection: anyOf: - type: object additionalProperties: false properties: type: type: string const: not-requested description: Text projection state. required: - type title: not-requested - type: object additionalProperties: false properties: type: type: string const: returned description: Text projection state. selection: $ref: '#/components/schemas/read_sourceResponse_sourceSelection' text: type: string maxLength: 1048576 description: Exact normalized source text; empty files remain valid. lines: type: object additionalProperties: false properties: startInclusive: type: integer minimum: 1 description: First one-based line. endInclusive: type: integer minimum: 1 description: Last one-based line. required: - startInclusive - endInclusive required: - type - selection - text - lines title: returned - type: object additionalProperties: false properties: type: type: string const: withheld description: Text projection state. reason: type: string description: Explicit reason source text was withheld. enum: - byte-limit-reached - provider-unavailable required: - type - reason title: withheld title: sourceTextProjection read_sourceResponse_liveSourceSnapshot: type: object additionalProperties: false properties: canonicalRoot: type: string minLength: 1 maxLength: 1048576 description: Canonical workspace root. live: $ref: '#/components/schemas/read_sourceResponse_liveReadEvidence' file: type: string minLength: 1 maxLength: 1048576 description: Exact workspace source file. textIdentity: type: string minLength: 1 maxLength: 1048576 description: Committed document text identity. coordinateUnit: type: string const: utf16-code-unit description: Source coordinate unit. length: type: integer minimum: 0 description: Document UTF-16 length. required: - canonicalRoot - live - file - textIdentity - coordinateUnit - length title: liveSourceSnapshot read_sourceResponse_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 read_sourceResponse_sourceQualification: type: object additionalProperties: false properties: 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: 1 maxLength: 1048576 pattern: '[\s\S]*\S[\s\S]*' 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 - text-projection-withheld 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: 1 maxLength: 1048576 pattern: '[\s\S]*\S[\s\S]*' 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 - text-projection-withheld required: - type - reason title: terminal_incomplete knownMinimumEntityCount: type: integer minimum: 0 description: Known minimum matching entity count. limitations: type: array items: type: string description: Every source-read coverage limitation. enum: - entity-limit-reached - text-byte-limit-reached - returned-byte-limit-reached - work-limit-reached - time-limit-reached - dumb-mode-transition - semantic-resolution-incomplete - unsupported-entity - provider-failure minItems: 1 maxItems: 1000 continuation: anyOf: - type: object additionalProperties: false properties: type: type: string const: unavailable description: Continuation state. required: - type title: unavailable - type: object additionalProperties: false properties: type: type: string const: available description: Continuation state. continuation: type: string minLength: 1 maxLength: 1048576 description: Snapshot-bound continuation proof. required: - type - continuation title: available required: - progress - knownMinimumEntityCount - limitations - continuation title: sourceQualification read_sourceResponse_sourceReadRejection: anyOf: - type: string description: Source read rejection. enum: - 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 - continuation-unavailable - continuation-request-mismatch - anyOf: - type: object additionalProperties: false properties: type: type: string const: internal-contract-failure obligation: type: string enum: - context-lease - snapshot-context - snapshot-scope - anchor-snapshot - declaration-visibility - request-refinement - result-projection - qualification-projection - provider-contract required: - type - obligation title: internal-contract-failure - type: object additionalProperties: false properties: type: type: string const: reference-rejected role: type: string enum: - candidate - symbol - source - continuation reason: type: string 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-family - malformed - invalid-payload-encoding - payload-digest-mismatch - invalid-document - foreign-workspace - incompatible-authority - stale-authority - unsupported-version - live-authority-required - unavailable - token-too-long - snapshot-rejected - selector-rejected - selector-too-deep required: - type - role - reason title: reference-rejected - type: object additionalProperties: false properties: type: type: string const: request-rejected field: type: object additionalProperties: false properties: path: type: string enum: - $ - symbol - anchor - anchor.type - anchor.selector - region - region.type - region.kind - entities - entities.type - entities.containment - entities.filters - entities.filters[].type - entities.filters[].kinds - entities.filters[].visibility - entities.filters[].visibility.type - entities.filters[].visibility.values - text - text.type - text.beforeLines - text.afterLines - entityLimit - textByteLimit - page - page.type - page.continuation - format - execution_budget - execution_budget.max_elapsed_ms - execution_budget.max_work_units - execution_budget.max_results - execution_budget.max_returned_bytes index: anyOf: - type: integer minimum: 0 maximum: 3 - type: 'null' elementIndex: anyOf: - type: integer minimum: 0 maximum: 4 - type: 'null' required: - path reason: type: string enum: - required - object-required - string-required - integer-required - array-required - unknown-field - invalid-json - anchor-type - region-type - body-kind - enclosing-kind - entity-selection-type - containment - filter-type - declaration-kind - visibility-type - visibility - text-type - page-type - format - line-count-0-to-1000 - entity-count-1-to-1000 - entity-limit-not-applicable - positive-byte-count - filter-count-1-to-4 - nonempty-unique-values - unique-filter-families - continuation-format - execution-budget expected: anyOf: - type: object additionalProperties: false properties: type: type: string const: alternatives values: type: array items: type: string minItems: 1 maxItems: 5 uniqueItems: true required: - type - values title: alternatives - type: object additionalProperties: false properties: type: type: string const: bounds minimum: type: integer maximum: type: integer required: - type - minimum - maximum title: bounds - type: object additionalProperties: false properties: type: type: string const: rule required: - type title: rule required: - type - field - reason - expected title: request-rejected title: sourceReadRejection read_sourceResponse_readRecoveryAction: type: string enum: - reacquire_authority - restart_read - correct_request - adjust_budget_or_scope - wait_for_workspace - save_source - report_failure title: readRecoveryAction read_sourceResponse_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/read_sourceResponse_executionBudget' title: transportRejected read_sourceResponse_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/read_sourceResponse_readRecovery' execution_budget: $ref: '#/components/schemas/read_sourceResponse_executionBudget' allOf: - if: properties: failure: const: CONFIGURATION_REJECTED then: properties: detail: $ref: '#/components/schemas/read_sourceResponse_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/read_sourceResponse_namedSourceScopeFailure title: hostedReadRejection read_sourceResponse_finiteFailureEvidence: type: string minLength: 1 maxLength: 1048576 description: Finite failure evidence. title: finiteFailureEvidence read_sourceResponse_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/read_sourceResponse_gradleJvmReport' required: - type - report title: >- io.github.amichne.kast.distribution.contract.gradle.GradleJvmSelectionObservation.Observed title: gradleJvmObservation read_sourceRequest_SourceTextComplete: type: object properties: type: type: string enum: - COMPLETE default: COMPLETE maxBytes: type: - integer - 'null' minimum: 1 maximum: 1048576 default: 65536 required: - type additionalProperties: false title: SourceTextComplete read_sourceRequest_SourceTextNone: type: object properties: type: type: string enum: - NONE default: NONE required: - type additionalProperties: false title: SourceTextNone read_sourceRequest_SourceTextWindow: type: object properties: type: type: string enum: - WINDOW default: WINDOW beforeLines: type: - integer - 'null' minimum: 0 maximum: 1000 default: 0 afterLines: type: - integer - 'null' minimum: 0 maximum: 1000 default: 0 maxBytes: type: - integer - 'null' minimum: 1 maximum: 1048576 default: 65536 required: - type additionalProperties: false title: SourceTextWindow read_sourceRequest_SourceEntitiesNone: type: object properties: type: type: string enum: - NONE default: NONE required: - type additionalProperties: false title: SourceEntitiesNone read_sourceRequest_SourceEntitiesMatching: type: object properties: type: type: string enum: - MATCHING default: MATCHING filters: type: array items: $ref: '#/components/schemas/read_sourceRequest_SourceFilter' minItems: 1 maxItems: 4 containment: type: - string - 'null' enum: - DIRECT - DESCENDANTS - null limit: type: - integer - 'null' minimum: 1 maximum: 1000 default: 250 required: - type - filters additionalProperties: false title: SourceEntitiesMatching read_sourceRequest_SourcePageFirst: type: object properties: type: type: string enum: - FIRST default: FIRST required: - type additionalProperties: false title: SourcePageFirst read_sourceRequest_SourcePageContinue: type: object properties: type: type: string enum: - CONTINUE default: CONTINUE continuation: type: string minLength: 1 maxLength: 1048576 required: - type - continuation additionalProperties: false title: SourcePageContinue read_sourceResponse_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 read_sourceResponse_sourceSelection: type: object additionalProperties: false properties: selector: type: string minLength: 1 maxLength: 1048576 description: Reusable exact source selector. range: type: object additionalProperties: false properties: startInclusive: type: integer minimum: 0 description: Start offset. endExclusive: type: integer minimum: 0 description: Exclusive end offset. required: - startInclusive - endExclusive required: - selector - range title: sourceSelection read_sourceResponse_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 read_sourceResponse_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/read_sourceResponse_gradleJvmCandidate' maxItems: 1000 outcome: $ref: '#/components/schemas/read_sourceResponse_gradleJvmOutcome' required: - distribution - requiredJava - candidates - outcome title: gradleJvmReport read_sourceRequest_SourceFilter: anyOf: - $ref: '#/components/schemas/read_sourceRequest_SourceFilterDeclarations' - $ref: '#/components/schemas/read_sourceRequest_SourceFilterParameters' - $ref: '#/components/schemas/read_sourceRequest_SourceFilterCalls' - $ref: '#/components/schemas/read_sourceRequest_SourceFilterReferences' title: SourceFilter read_sourceResponse_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 read_sourceResponse_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/read_sourceResponse_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 read_sourceRequest_SourceFilterDeclarations: type: object properties: type: type: string enum: - DECLARATIONS default: DECLARATIONS kinds: type: array items: type: string enum: - CLASSLIKE - CONSTRUCTOR - FUNCTION - PROPERTY - TYPE_ALIAS minItems: 1 maxItems: 5 uniqueItems: true visibilities: type: - array - 'null' items: type: string enum: - PUBLIC - PROTECTED - INTERNAL - PRIVATE - LOCAL minItems: 1 maxItems: 5 uniqueItems: true required: - type - kinds additionalProperties: false title: SourceFilterDeclarations read_sourceRequest_SourceFilterParameters: type: object properties: type: type: string enum: - PARAMETERS default: PARAMETERS required: - type additionalProperties: false title: SourceFilterParameters read_sourceRequest_SourceFilterCalls: type: object properties: type: type: string enum: - CALLS default: CALLS required: - type additionalProperties: false title: SourceFilterCalls read_sourceRequest_SourceFilterReferences: type: object properties: type: type: string enum: - REFERENCES default: REFERENCES required: - type additionalProperties: false title: SourceFilterReferences ````