> ## 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. # Check diagnostics > Inputs and response fields for check_diagnostics. 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/check_diagnostics openapi: 3.1.0 info: title: Kast callable reference version: '2' description: Public compiler-grounded Kast callables for connected agents. servers: [] security: [] paths: /callables/check_diagnostics: post: summary: check diagnostics description: >- Check compiler diagnostics for a file or recursively beneath a directory in the session workspace. Use '.' explicitly for the workspace root. This is not symbol search and does not build the project. Results retain incomplete-coverage evidence; an incomplete empty result does not establish that the scope is clean. Requires the saved, indexed IntelliJ state. operationId: check_diagnostics requestBody: required: true content: application/json: schema: $ref: '#/components/schemas/check_diagnosticsRequest' examples: workspace: summary: Check compiler diagnostics in the workspace. value: relativePath: . 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/check_diagnosticsResponse' components: schemas: check_diagnosticsRequest: type: object properties: relativePath: type: string description: >- File or directory path relative to the session workspace root, such as src/main/kotlin/orders/OrderService.kt or services/orders. Use '.' for the root. Not a package name, glob, absolute path, or parent traversal. minLength: 1 maxLength: 1048576 maxDiagnostics: type: - integer - 'null' minimum: 1 maximum: 1000 description: >- Maximum diagnostic entries to return. Omission or null selects 100. This limits results, not module admission, indexing, or compiler work; incomplete coverage remains explicit. default: 100 continuation: type: - string - 'null' minLength: 1 maxLength: 1048576 description: >- Opaque same-basis diagnostic continuation. Omit or use null to start. Resume the same relative_path; increase execution_budget if a grant cannot cross the enumeration prefix. executionBudget: anyOf: - $ref: '#/components/schemas/check_diagnosticsRequest_ExecutionBudget' - type: 'null' required: - relativePath additionalProperties: false check_diagnosticsResponse: anyOf: - type: object additionalProperties: false properties: status: type: string const: completed description: Process outcome. document: anyOf: - anyOf: - oneOf: - type: object additionalProperties: false properties: operation: type: string const: diagnostic.check description: Canonical operation identity. status: type: string const: complete description: Canonical operation outcome. diagnostics: type: array items: $ref: >- #/components/schemas/check_diagnosticsResponse_diagnostic maxItems: 1000 analysisKind: type: string enum: - IDE_FILE_DIAGNOSTICS coverage: type: object additionalProperties: false properties: requestedPath: anyOf: - type: string - type: 'null' filesDiscovered: anyOf: - type: integer - type: 'null' filesAnalyzed: type: integer filesSkipped: anyOf: - type: integer - type: 'null' exhaustive: type: boolean required: - requestedPath - filesDiscovered - filesAnalyzed - filesSkipped - exhaustive progress: type: object additionalProperties: false properties: stage: type: string enum: - enumeration - analysis - output - finished inventory: anyOf: - type: object additionalProperties: false properties: type: type: string const: enumerating required: - type title: enumerating - type: object additionalProperties: false properties: type: type: string const: exhausted totalFiles: type: integer minimum: 1 maximum: 1000 required: - type - totalFiles title: exhausted analyzedFiles: type: array items: type: string minLength: 1 maxLength: 1048576 pattern: '[\s\S]*\S[\s\S]*' execution_budget: anyOf: - $ref: >- #/components/schemas/check_diagnosticsResponse_executionBudget - type: 'null' stop: type: string enum: - enumeration_work_limit - enumeration_time_limit - enumeration_file_limit - analysis_pending - output_pending - finished knownDiagnosticCount: type: integer minimum: 0 maximum: 2147483647 requestedPath: anyOf: - type: string minLength: 1 maxLength: 1048576 pattern: '[\s\S]*\S[\s\S]*' - type: 'null' required: - stage - inventory - analyzedFiles - stop - knownDiagnosticCount required: - operation - status - diagnostics - analysisKind title: complete - type: object additionalProperties: false properties: operation: type: string const: diagnostic.check description: Canonical operation identity. status: type: string const: complete description: Canonical operation outcome. diagnostics: type: array items: $ref: >- #/components/schemas/check_diagnosticsResponse_diagnostic maxItems: 1000 analysisKind: type: string enum: - IDE_FILE_DIAGNOSTICS coverage: type: object additionalProperties: false properties: requestedPath: anyOf: - type: string - type: 'null' filesDiscovered: anyOf: - type: integer - type: 'null' filesAnalyzed: type: integer filesSkipped: anyOf: - type: integer - type: 'null' exhaustive: type: boolean required: - requestedPath - filesDiscovered - filesAnalyzed - filesSkipped - exhaustive progress: type: object additionalProperties: false properties: stage: type: string enum: - enumeration - analysis - output - finished inventory: anyOf: - type: object additionalProperties: false properties: type: type: string const: enumerating required: - type title: enumerating - type: object additionalProperties: false properties: type: type: string const: exhausted totalFiles: type: integer minimum: 1 maximum: 1000 required: - type - totalFiles title: exhausted analyzedFiles: type: array items: type: string minLength: 1 maxLength: 1048576 pattern: '[\s\S]*\S[\s\S]*' execution_budget: anyOf: - $ref: >- #/components/schemas/check_diagnosticsResponse_executionBudget - type: 'null' stop: type: string enum: - enumeration_work_limit - enumeration_time_limit - enumeration_file_limit - analysis_pending - output_pending - finished knownDiagnosticCount: type: integer minimum: 0 maximum: 2147483647 requestedPath: anyOf: - type: string minLength: 1 maxLength: 1048576 pattern: '[\s\S]*\S[\s\S]*' - type: 'null' required: - stage - inventory - analyzedFiles - stop - knownDiagnosticCount live: $ref: >- #/components/schemas/check_diagnosticsResponse_liveReadEvidence required: - operation - status - diagnostics - analysisKind - live title: complete · live - oneOf: - type: object additionalProperties: false properties: operation: type: string const: diagnostic.check description: Canonical operation identity. status: type: string const: qualified description: Canonical operation outcome. diagnostics: type: array items: $ref: >- #/components/schemas/check_diagnosticsResponse_diagnostic maxItems: 1000 analysisKind: type: string enum: - IDE_FILE_DIAGNOSTICS coverage: type: object additionalProperties: false properties: requestedPath: anyOf: - type: string - type: 'null' filesDiscovered: anyOf: - type: integer - type: 'null' filesAnalyzed: type: integer filesSkipped: anyOf: - type: integer - type: 'null' exhaustive: type: boolean required: - requestedPath - filesDiscovered - filesAnalyzed - filesSkipped - exhaustive progress: type: object additionalProperties: false properties: stage: type: string enum: - enumeration - analysis - output - finished inventory: anyOf: - type: object additionalProperties: false properties: type: type: string const: enumerating required: - type title: enumerating - type: object additionalProperties: false properties: type: type: string const: exhausted totalFiles: type: integer minimum: 1 maximum: 1000 required: - type - totalFiles title: exhausted analyzedFiles: type: array items: type: string minLength: 1 maxLength: 1048576 pattern: '[\s\S]*\S[\s\S]*' execution_budget: anyOf: - $ref: >- #/components/schemas/check_diagnosticsResponse_executionBudget - type: 'null' stop: type: string enum: - enumeration_work_limit - enumeration_time_limit - enumeration_file_limit - analysis_pending - output_pending - finished knownDiagnosticCount: type: integer minimum: 0 maximum: 2147483647 requestedPath: anyOf: - type: string minLength: 1 maxLength: 1048576 pattern: '[\s\S]*\S[\s\S]*' - type: 'null' required: - stage - inventory - analyzedFiles - stop - knownDiagnosticCount qualification: type: object additionalProperties: false properties: continuation: type: string minLength: 1 maxLength: 1048576 description: Retained same-basis diagnostic progress. knownDiagnosticCount: type: integer minimum: 0 description: >- Known diagnostic count before result truncation. resultLimitReached: type: boolean description: >- Whether returned diagnostics were truncated by the request limit. analyzedFiles: type: array items: type: string minLength: 1 maxLength: 1048576 description: Exact analyzed diagnostic source file. maxItems: 1000 limitations: type: array items: type: object additionalProperties: false properties: file: type: string minLength: 1 maxLength: 1048576 description: Limited diagnostic source file. reason: type: string description: Exact per-file diagnostic limitation. enum: - file-unavailable - outside-source-content - indexing - psi-unavailable - unsupported-file-kind - unsupported-diagnostic - analysis-unavailable required: - file - reason maxItems: 1000 required: - knownDiagnosticCount - resultLimitReached - analyzedFiles - limitations required: - operation - status - diagnostics - analysisKind - qualification title: qualified - type: object additionalProperties: false properties: operation: type: string const: diagnostic.check description: Canonical operation identity. status: type: string const: qualified description: Canonical operation outcome. diagnostics: type: array items: $ref: >- #/components/schemas/check_diagnosticsResponse_diagnostic maxItems: 1000 analysisKind: type: string enum: - IDE_FILE_DIAGNOSTICS coverage: type: object additionalProperties: false properties: requestedPath: anyOf: - type: string - type: 'null' filesDiscovered: anyOf: - type: integer - type: 'null' filesAnalyzed: type: integer filesSkipped: anyOf: - type: integer - type: 'null' exhaustive: type: boolean required: - requestedPath - filesDiscovered - filesAnalyzed - filesSkipped - exhaustive progress: type: object additionalProperties: false properties: stage: type: string enum: - enumeration - analysis - output - finished inventory: anyOf: - type: object additionalProperties: false properties: type: type: string const: enumerating required: - type title: enumerating - type: object additionalProperties: false properties: type: type: string const: exhausted totalFiles: type: integer minimum: 1 maximum: 1000 required: - type - totalFiles title: exhausted analyzedFiles: type: array items: type: string minLength: 1 maxLength: 1048576 pattern: '[\s\S]*\S[\s\S]*' execution_budget: anyOf: - $ref: >- #/components/schemas/check_diagnosticsResponse_executionBudget - type: 'null' stop: type: string enum: - enumeration_work_limit - enumeration_time_limit - enumeration_file_limit - analysis_pending - output_pending - finished knownDiagnosticCount: type: integer minimum: 0 maximum: 2147483647 requestedPath: anyOf: - type: string minLength: 1 maxLength: 1048576 pattern: '[\s\S]*\S[\s\S]*' - type: 'null' required: - stage - inventory - analyzedFiles - stop - knownDiagnosticCount qualification: type: object additionalProperties: false properties: continuation: type: string minLength: 1 maxLength: 1048576 description: Retained same-basis diagnostic progress. knownDiagnosticCount: type: integer minimum: 0 description: >- Known diagnostic count before result truncation. resultLimitReached: type: boolean description: >- Whether returned diagnostics were truncated by the request limit. analyzedFiles: type: array items: type: string minLength: 1 maxLength: 1048576 description: Exact analyzed diagnostic source file. maxItems: 1000 limitations: type: array items: type: object additionalProperties: false properties: file: type: string minLength: 1 maxLength: 1048576 description: Limited diagnostic source file. reason: type: string description: Exact per-file diagnostic limitation. enum: - file-unavailable - outside-source-content - indexing - psi-unavailable - unsupported-file-kind - unsupported-diagnostic - analysis-unavailable required: - file - reason maxItems: 1000 required: - knownDiagnosticCount - resultLimitReached - analyzedFiles - limitations live: $ref: >- #/components/schemas/check_diagnosticsResponse_liveReadEvidence required: - operation - status - diagnostics - analysisKind - qualification - live title: qualified · live - type: object additionalProperties: false properties: operation: type: string const: diagnostic.check description: Canonical operation identity. status: type: string const: rejected description: Canonical operation outcome. reason: type: string minLength: 1 maxLength: 1048576 description: Closed rejection reason. next_action: type: string enum: - increase_execution_budget - restart_read - correct_request - wait_for_workspace - adjust_retention_policy - report_failure required: - operation - status - reason - next_action title: rejected - type: object additionalProperties: false properties: operation: type: string const: diagnostic.check description: Canonical operation identity. status: type: string const: rejected description: Canonical operation outcome. reason: type: string minLength: 1 maxLength: 1048576 description: Closed rejection reason. next_action: type: string enum: - increase_execution_budget - restart_read - correct_request - wait_for_workspace - adjust_retention_policy - report_failure execution_budget: $ref: >- #/components/schemas/check_diagnosticsResponse_executionBudget required: - operation - status - reason - next_action - execution_budget title: rejected - $ref: >- #/components/schemas/check_diagnosticsResponse_transportRejected - $ref: >- #/components/schemas/check_diagnosticsResponse_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/check_diagnosticsResponse_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/check_diagnosticsResponse_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/check_diagnosticsResponse_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/check_diagnosticsResponse_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/check_diagnosticsResponse_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/check_diagnosticsResponse_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/check_diagnosticsResponse_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/check_diagnosticsResponse_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/check_diagnosticsResponse_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/check_diagnosticsResponse_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/check_diagnosticsResponse_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/check_diagnosticsResponse_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/check_diagnosticsResponse_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/check_diagnosticsResponse_gradleJvmObservation required: - state - attemptId - phase - completedPhases - totalPhases - cause - correctiveAction - gradleJvm required: - status - boundary - reason - bootstrap title: rejected required: - status - diagnostic title: rejected check_diagnosticsRequest_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 check_diagnosticsResponse_diagnostic: type: object additionalProperties: false properties: severity: type: string description: Compiler diagnostic severity. enum: - error - warning - info code: type: string minLength: 1 maxLength: 1048576 description: Compiler diagnostic code. message: type: string minLength: 1 maxLength: 1048576 description: Compiler diagnostic message. location: type: object additionalProperties: false properties: candidateSelector: type: string minLength: 1 maxLength: 1048576 description: Diagnostic candidate selector. file: type: string minLength: 1 maxLength: 1048576 description: Diagnostic source file. 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: - candidateSelector - file - range required: - severity - code - message - location title: diagnostic check_diagnosticsResponse_executionBudget: type: object additionalProperties: false properties: max_elapsed_ms: $ref: '#/components/schemas/check_diagnosticsResponse_executionLimit' max_work_units: $ref: '#/components/schemas/check_diagnosticsResponse_executionLimit' max_results: $ref: '#/components/schemas/check_diagnosticsResponse_executionLimit' max_returned_bytes: $ref: '#/components/schemas/check_diagnosticsResponse_executionLimit' required: - max_elapsed_ms - max_work_units - max_results - max_returned_bytes title: executionBudget check_diagnosticsResponse_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 check_diagnosticsResponse_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/check_diagnosticsResponse_executionBudget' title: transportRejected check_diagnosticsResponse_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/check_diagnosticsResponse_readRecovery' execution_budget: $ref: '#/components/schemas/check_diagnosticsResponse_executionBudget' allOf: - if: properties: failure: const: CONFIGURATION_REJECTED then: properties: detail: $ref: >- #/components/schemas/check_diagnosticsResponse_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/check_diagnosticsResponse_namedSourceScopeFailure title: hostedReadRejection check_diagnosticsResponse_finiteFailureEvidence: type: string minLength: 1 maxLength: 1048576 description: Finite failure evidence. title: finiteFailureEvidence check_diagnosticsResponse_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/check_diagnosticsResponse_gradleJvmReport' required: - type - report title: >- io.github.amichne.kast.distribution.contract.gradle.GradleJvmSelectionObservation.Observed title: gradleJvmObservation check_diagnosticsResponse_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 check_diagnosticsResponse_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 check_diagnosticsResponse_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/check_diagnosticsResponse_gradleJvmCandidate' maxItems: 1000 outcome: $ref: '#/components/schemas/check_diagnosticsResponse_gradleJvmOutcome' required: - distribution - requiredJava - candidates - outcome title: gradleJvmReport check_diagnosticsResponse_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 check_diagnosticsResponse_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/check_diagnosticsResponse_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 ````