@mcp-abap-adt/core 5.0.11 → 5.1.0

package/docs/superpowers/specs/2026-04-13-high-level-check-tools-design.md

@@ -0,0 +1,204 @@
+# High-Level Check Tools for ABAP Objects
+
+**Issue:** #54 — Add Check tools for ABAP objects (syntax/semantic validation)
+**Date:** 2026-04-13
+
+## Problem
+
+LLM agents create/update ABAP objects but errors are only discovered at activation time. This causes expensive retry loops. Low-level Check handlers exist but are not exposed as standalone high-level tools — check is only embedded inside Create/Update workflows.
+
+## Solution
+
+Add 13 high-level Check tools — one per object type that has a low-level check handler. Each is an adapter wrapper that delegates to the existing low-level handler and normalizes the response: strips session fields, adds a shared `object_name` field, and returns a consistent core response shape.
+
+## Non-goals / Limitations
+
+- Check tools do **not** perform lock/update/activate flows — they only run syntax/semantic validation.
+- Hypothetical source checking is only supported where the low-level handler already supports it (`source_code`, `ddl_code`, or `ddl_source`).
+- No automatic `super_package` resolution in Phase 1 — callers must provide it for `CheckPackage`.
+
+## Tools
+
+| High-level tool name | Low-level handler | source param | version default | available_in |
+|---|---|---|---|---|
+| `CheckBehaviorDefinition` | `handleCheckBehaviorDefinition` | — | — | onprem, cloud |
+| `CheckClass` | `handleCheckClass` | `source_code` | active | onprem, cloud, legacy |
+| `CheckDataElement` | `handleCheckDataElement` | — | — | onprem, cloud |
+| `CheckDomain` | `handleCheckDomain` | — | — | onprem, cloud |
+| `CheckFunctionGroup` | `handleCheckFunctionGroup` | — | — | onprem, cloud, legacy |
+| `CheckFunctionModule` | `handleCheckFunctionModule` | — | active | onprem, cloud, legacy |
+| `CheckInterface` | `handleCheckInterface` | — | — | onprem, cloud, legacy |
+| `CheckMetadataExtension` | `handleCheckMetadataExtension` | — | — | onprem, cloud |
+| `CheckPackage` | `handleCheckPackage` | — | — | onprem, cloud, legacy |
+| `CheckProgram` | `handleCheckProgram` | — | — | onprem, legacy |
+| `CheckStructure` | `handleCheckStructure` | `ddl_code` | inactive | onprem, cloud |
+| `CheckTable` | `handleCheckTable` | `ddl_code` | new | onprem, cloud |
+| `CheckView` | `handleCheckView` | `ddl_source` | inactive | onprem, cloud, legacy |
+
+## Handler pattern
+
+Each high-level Check handler:
+
+1. Exports a `TOOL_DEFINITION` with high-level name (no `Low` suffix)
+2. Same `available_in` as the low-level counterpart
+3. Input schema **excludes** `session_id` and `session_state`
+4. Passes through source param where supported by low-level
+5. Passes through `version` where supported by low-level
+6. Delegates to the existing low-level handler function
+7. Normalizes response: strips `session_id`/`session_state` from output, adds shared `object_name` field
+8. If low-level handler returns `isError: true` or a non-JSON payload, returns it unchanged without attempting normalization
+
+### File location
+
+Each handler in its object type's `high/` directory:
+
+```
+src/handlers/behavior_definition/high/handleCheckBehaviorDefinition.ts
+src/handlers/class/high/handleCheckClass.ts
+src/handlers/data_element/high/handleCheckDataElement.ts
+src/handlers/ddlx/high/handleCheckMetadataExtension.ts
+src/handlers/domain/high/handleCheckDomain.ts
+src/handlers/function/high/handleCheckFunctionGroup.ts
+src/handlers/function/high/handleCheckFunctionModule.ts
+src/handlers/interface/high/handleCheckInterface.ts
+src/handlers/package/high/handleCheckPackage.ts
+src/handlers/program/high/handleCheckProgram.ts
+src/handlers/structure/high/handleCheckStructure.ts
+src/handlers/table/high/handleCheckTable.ts
+src/handlers/view/high/handleCheckView.ts
+```
+
+Note: both FunctionGroup and FunctionModule handlers live in `src/handlers/function/high/` — same directory structure as low-level handlers.
+
+## Normalized response shape
+
+All high-level Check tools return a JSON response with the following normalized common fields (object-specific compatibility fields like `class_name`, `view_name`, `name` are preserved alongside):
+
+```typescript
+{
+  success: boolean;              // true if no errors
+  object_name: string;           // canonical shared field (uppercased)
+  check_result: {                // from parseCheckRunResponse()
+    success: boolean;
+    status: string;
+    message: string;
+    errors: Array<{ type: string; text: string; line?: string | number; href?: string }>;
+    warnings: Array<{ type: string; text: string; line?: string | number; href?: string }>;
+    info: Array<{ type: string; text: string; line?: string | number; href?: string }>;
+    total_messages: number;
+    has_errors: boolean;
+    has_warnings: boolean;
+  };
+  message: string;               // human-readable summary
+  // object-specific field preserved for compatibility:
+  class_name?: string;           // CheckClass
+  view_name?: string;            // CheckView
+  package_name?: string;         // CheckPackage
+  // etc.
+}
+```
+
+**Excluded from output:** `session_id`, `session_state`.
+
+**Error path:** If the low-level handler returns `isError: true` or a non-JSON payload, the high-level wrapper returns that error unchanged — no normalization applied.
+
+**Field naming for objects using `name`:** BehaviorDefinition and MetadataExtension use `name` as their low-level input field. In the response, keep `name` for compatibility but always add `object_name` as the canonical shared field.
+
+## Special parameters per object type
+
+- **CheckFunctionModule**: requires `function_group_name` + `function_module_name`
+- **CheckPackage**: requires `package_name` + `super_package`
+- **CheckTable**: `reporter` removed from high-level API (low-level default `abapCheckRun` is used)
+
+## Example: CheckClass
+
+```typescript
+import { handleCheckClass as handleCheckClassLow } from '../low/handleCheckClass';
+import type { HandlerContext } from '../../../lib/handlers/interfaces';
+import { return_response } from '../../../lib/utils';
+
+export const TOOL_DEFINITION = {
+  name: 'CheckClass',
+  available_in: ['onprem', 'cloud', 'legacy'] as const,
+  description: 'Perform syntax check on an ABAP class. Can check existing class (active/inactive) or validate hypothetical source code. Returns syntax errors, warnings, and messages.',
+  inputSchema: {
+    type: 'object',
+    properties: {
+      class_name: { type: 'string', description: 'Name of the ABAP class to check' },
+      version: { type: 'string', enum: ['active', 'inactive'], description: 'Version to check. Default: active' },
+      source_code: { type: 'string', description: 'Optional source code to check instead of the saved version' },
+    },
+    required: ['class_name'],
+  },
+} as const;
+
+export async function handleCheckClass(context: HandlerContext, args: Record<string, unknown>) {
+  const result = await handleCheckClassLow(context, args);
+  // Normalize: parse low-level JSON, add object_name, strip session fields
+  const data = JSON.parse(result.content[0].text);
+  delete data.session_id;
+  delete data.session_state;
+  data.object_name = data.class_name;
+  return return_response({ data: JSON.stringify(data, null, 2) });
+}
+```
+
+## Example: CheckBehaviorDefinition (no source param, no version)
+
+```typescript
+import { handleCheckBehaviorDefinition as handleCheckBdefLow } from '../low/handleCheckBehaviorDefinition';
+import type { HandlerContext } from '../../../lib/handlers/interfaces';
+import { return_response } from '../../../lib/utils';
+
+export const TOOL_DEFINITION = {
+  name: 'CheckBehaviorDefinition',
+  available_in: ['onprem', 'cloud'] as const,
+  description: 'Perform syntax check on an ABAP behavior definition (BDEF). Returns syntax errors, warnings, and messages.',
+  inputSchema: {
+    type: 'object',
+    properties: {
+      name: { type: 'string', description: 'Name of the behavior definition to check' },
+    },
+    required: ['name'],
+  },
+} as const;
+
+export async function handleCheckBehaviorDefinition(context: HandlerContext, args: Record<string, unknown>) {
+  const result = await handleCheckBdefLow(context, args);
+  const data = JSON.parse(result.content[0].text);
+  delete data.session_id;
+  delete data.session_state;
+  data.object_name = data.name;
+  return return_response({ data: JSON.stringify(data, null, 2) });
+}
+```
+
+## Registration
+
+All 13 handlers registered in `src/lib/handlers/groups/HighLevelHandlersGroup.ts` following existing pattern.
+
+## Acceptance criteria
+
+- [ ] High-level input schemas exclude `session_id` and `session_state`
+- [ ] High-level responses do not contain `session_id` or `session_state`
+- [ ] Response includes normalized `object_name` field
+- [ ] Response includes `success`, `message`, and `check_result` fields
+- [ ] Each tool is registered in `HighLevelHandlersGroup.ts`
+- [ ] Environment gating follows `available_in` from corresponding low-level handler
+- [ ] `CheckTable` does not expose `reporter` parameter
+- [ ] Each tool has integration test coverage in `src/__tests__/integration/high/` layout
+
+## Testing
+
+Integration tests for each Check tool in `src/__tests__/integration/high/` directories, following existing test patterns. Tests must verify:
+
+- Tool registration and availability per environment
+- Normalized response contract: `object_name` present, `session_id`/`session_state` absent
+- Preservation of object-specific fields (e.g., `class_name`, `view_name`)
+- `success`, `message`, `check_result` fields present in response
+
+## Phased delivery
+
+**Phase 1** (this PR): Adapter wrappers with response normalization, registration in HighLevelHandlersGroup, integration tests verifying normalized contract.
+
+**Phase 2** (future): API ergonomics — optional `super_package` resolution in CheckPackage, richer error descriptions for LLM agents.

package/docs/user-guide/AVAILABLE_TOOLS.md

@@ -4,9 +4,9 @@ Generated from code in `src/handlers/**` (not from docs).
 
 ## Summary
 
-- Total tools: 289
+- Total tools: 303
 - Read-only tools: 54
-- High-level tools: 113
+- High-level tools: 127
 - Low-level tools: 122
 
 - Compact tools: 22 (included in High-level group)
@@ -99,6 +99,7 @@ Generated from code in `src/handlers/**` (not from docs).
     - [ReadView](#readview-read-only-view)
 - [High-Level Group](#high-level-group)
   - [Behavior Definition](#high-level-behavior-definition)
+    - [CheckBehaviorDefinition](#checkbehaviordefinition-high-level-behavior-definition)
     - [CreateBehaviorDefinition](#createbehaviordefinition-high-level-behavior-definition)
     - [DeleteBehaviorDefinition](#deletebehaviordefinition-high-level-behavior-definition)
     - [GetBehaviorDefinition](#getbehaviordefinition-high-level-behavior-definition)
@@ -109,6 +110,7 @@ Generated from code in `src/handlers/**` (not from docs).
     - [GetBehaviorImplementation](#getbehaviorimplementation-high-level-behavior-implementation)
     - [UpdateBehaviorImplementation](#updatebehaviorimplementation-high-level-behavior-implementation)
   - [Class](#high-level-class)
+    - [CheckClass](#checkclass-high-level-class)
     - [CreateClass](#createclass-high-level-class)
     - [DeleteClass](#deleteclass-high-level-class)
     - [DeleteLocalDefinitions](#deletelocaldefinitions-high-level-class)
@@ -125,6 +127,8 @@ Generated from code in `src/handlers/**` (not from docs).
     - [UpdateLocalMacros](#updatelocalmacros-high-level-class)
     - [UpdateLocalTestClass](#updatelocaltestclass-high-level-class)
     - [UpdateLocalTypes](#updatelocaltypes-high-level-class)
+  - [Common](#high-level-common)
+    - [ActivateObjects](#activateobjects-high-level-common)
   - [Compact](#high-level-compact)
     - [HandlerActivate](#handleractivate-high-level-compact)
     - [HandlerCdsUnitTestResult](#handlercdsunittestresult-high-level-compact)
@@ -149,19 +153,24 @@ Generated from code in `src/handlers/**` (not from docs).
     - [HandlerUpdate](#handlerupdate-high-level-compact)
     - [HandlerValidate](#handlervalidate-high-level-compact)
   - [Data Element](#high-level-data-element)
+    - [CheckDataElement](#checkdataelement-high-level-data-element)
     - [CreateDataElement](#createdataelement-high-level-data-element)
     - [DeleteDataElement](#deletedataelement-high-level-data-element)
     - [GetDataElement](#getdataelement-high-level-data-element)
     - [UpdateDataElement](#updatedataelement-high-level-data-element)
   - [Ddlx](#high-level-ddlx)
+    - [CheckMetadataExtension](#checkmetadataextension-high-level-ddlx)
     - [CreateMetadataExtension](#createmetadataextension-high-level-ddlx)
     - [UpdateMetadataExtension](#updatemetadataextension-high-level-ddlx)
   - [Domain](#high-level-domain)
+    - [CheckDomain](#checkdomain-high-level-domain)
     - [CreateDomain](#createdomain-high-level-domain)
     - [DeleteDomain](#deletedomain-high-level-domain)
     - [GetDomain](#getdomain-high-level-domain)
     - [UpdateDomain](#updatedomain-high-level-domain)
   - [Function](#high-level-function)
+    - [CheckFunctionGroup](#checkfunctiongroup-high-level-function)
+    - [CheckFunctionModule](#checkfunctionmodule-high-level-function)
     - [CreateFunctionGroup](#createfunctiongroup-high-level-function)
     - [CreateFunctionModule](#createfunctionmodule-high-level-function)
     - [UpdateFunctionGroup](#updatefunctiongroup-high-level-function)
@@ -173,6 +182,7 @@ Generated from code in `src/handlers/**` (not from docs).
     - [DeleteFunctionModule](#deletefunctionmodule-high-level-function-module)
     - [GetFunctionModule](#getfunctionmodule-high-level-function-module)
   - [Interface](#high-level-interface)
+    - [CheckInterface](#checkinterface-high-level-interface)
     - [CreateInterface](#createinterface-high-level-interface)
     - [DeleteInterface](#deleteinterface-high-level-interface)
     - [GetInterface](#getinterface-high-level-interface)
@@ -181,9 +191,11 @@ Generated from code in `src/handlers/**` (not from docs).
     - [DeleteMetadataExtension](#deletemetadataextension-high-level-metadata-extension)
     - [GetMetadataExtension](#getmetadataextension-high-level-metadata-extension)
   - [Package](#high-level-package)
+    - [CheckPackage](#checkpackage-high-level-package)
     - [CreatePackage](#createpackage-high-level-package)
     - [GetPackage](#getpackage-high-level-package)
   - [Program](#high-level-program)
+    - [CheckProgram](#checkprogram-high-level-program)
     - [CreateProgram](#createprogram-high-level-program)
     - [DeleteProgram](#deleteprogram-high-level-program)
     - [GetProgram](#getprogram-high-level-program)
@@ -201,6 +213,7 @@ Generated from code in `src/handlers/**` (not from docs).
     - [GetServiceDefinition](#getservicedefinition-high-level-service-definition)
     - [UpdateServiceDefinition](#updateservicedefinition-high-level-service-definition)
   - [Structure](#high-level-structure)
+    - [CheckStructure](#checkstructure-high-level-structure)
     - [CreateStructure](#createstructure-high-level-structure)
     - [DeleteStructure](#deletestructure-high-level-structure)
     - [GetStructure](#getstructure-high-level-structure)
@@ -208,6 +221,7 @@ Generated from code in `src/handlers/**` (not from docs).
   - [System](#high-level-system)
     - [GetPackageTree](#getpackagetree-high-level-system)
   - [Table](#high-level-table)
+    - [CheckTable](#checktable-high-level-table)
     - [CreateTable](#createtable-high-level-table)
     - [DeleteTable](#deletetable-high-level-table)
     - [GetTable](#gettable-high-level-table)
@@ -229,6 +243,7 @@ Generated from code in `src/handlers/**` (not from docs).
     - [UpdateCdsUnitTest](#updatecdsunittest-high-level-unit-test)
     - [UpdateUnitTest](#updateunittest-high-level-unit-test)
   - [View](#high-level-view)
+    - [CheckView](#checkview-high-level-view)
     - [CreateView](#createview-high-level-view)
     - [DeleteView](#deleteview-high-level-view)
     - [GetView](#getview-high-level-view)
@@ -1159,6 +1174,17 @@ Generated from code in `src/handlers/**` (not from docs).
 <a id="high-level-behavior-definition"></a>
 ### High-Level / Behavior Definition
 
+<a id="checkbehaviordefinition-high-level-behavior-definition"></a>
+#### CheckBehaviorDefinition (High-Level / Behavior Definition)
+**Description:** Perform syntax check on an ABAP behavior definition (BDEF). Returns syntax errors, warnings, and messages.
+
+**Source:** `src/handlers/behavior_definition/high/handleCheckBehaviorDefinition.ts`
+
+**Parameters:**
+- `name` (string, required) - BehaviorDefinition name (e.g., ZI_MY_BDEF).
+
+---
+
 <a id="createbehaviordefinition-high-level-behavior-definition"></a>
 #### CreateBehaviorDefinition (High-Level / Behavior Definition)
 **Description:** Create a new ABAP Behavior Definition (BDEF) in SAP system. Defines RAP business object behavior: CRUD operations, validations, determinations, actions, and draft handling.
@@ -1275,6 +1301,19 @@ Generated from code in `src/handlers/**` (not from docs).
 <a id="high-level-class"></a>
 ### High-Level / Class
 
+<a id="checkclass-high-level-class"></a>
+#### CheckClass (High-Level / Class)
+**Description:** Perform syntax check on an ABAP class. Can check existing class (active/inactive) or validate hypothetical source code. Returns syntax errors, warnings, and messages.
+
+**Source:** `src/handlers/class/high/handleCheckClass.ts`
+
+**Parameters:**
+- `class_name` (string, required) - Class name (e.g., ZCL_MY_CLASS).
+- `source_code` (string, optional) - Optional: source code to validate. If provided, validates hypothetical code without creating object. Must include complete CLASS DEFINITION and IMPLEMENTATION sections.
+- `version` (string, optional) - Version to check: 
+
+---
+
 <a id="createclass-high-level-class"></a>
 #### CreateClass (High-Level / Class)
 **Description:** Create a new ABAP class in SAP system. Creates the class object in initial state. Use UpdateClass to set source code afterwards.
@@ -1487,6 +1526,21 @@ Generated from code in `src/handlers/**` (not from docs).
 
 ---
 
+<a id="high-level-common"></a>
+### High-Level / Common
+
+<a id="activateobjects-high-level-common"></a>
+#### ActivateObjects (High-Level / Common)
+**Description:** Activate one or multiple ABAP repository objects. Use after Create/Update when objects remain inactive, or for group activation of related objects (e.g., domains + data elements + tables together). Works with any object type.
+
+**Source:** `src/handlers/common/high/handleActivateObjects.ts`
+
+**Parameters:**
+- `objects` (array, required) - Array of objects to activate. Each object must have 
+- `preaudit` (boolean, optional) - Request pre-audit before activation. Default: true
+
+---
+
 <a id="high-level-compact"></a>
 ### High-Level / Compact
 
@@ -1890,6 +1944,17 @@ Generated from code in `src/handlers/**` (not from docs).
 <a id="high-level-data-element"></a>
 ### High-Level / Data Element
 
+<a id="checkdataelement-high-level-data-element"></a>
+#### CheckDataElement (High-Level / Data Element)
+**Description:** Perform syntax check on an ABAP data element. Returns syntax errors, warnings, and messages.
+
+**Source:** `src/handlers/data_element/high/handleCheckDataElement.ts`
+
+**Parameters:**
+- `data_element_name` (string, required) - Data element name (e.g., ZDE_MY_ELEMENT).
+
+---
+
 <a id="createdataelement-high-level-data-element"></a>
 #### CreateDataElement (High-Level / Data Element)
 **Description:** Create a new ABAP data element in SAP system with all required steps: create, activate, and verify.
@@ -1970,6 +2035,17 @@ Generated from code in `src/handlers/**` (not from docs).
 <a id="high-level-ddlx"></a>
 ### High-Level / Ddlx
 
+<a id="checkmetadataextension-high-level-ddlx"></a>
+#### CheckMetadataExtension (High-Level / Ddlx)
+**Description:** Perform syntax check on an ABAP metadata extension (DDLX). Returns syntax errors, warnings, and messages.
+
+**Source:** `src/handlers/ddlx/high/handleCheckMetadataExtension.ts`
+
+**Parameters:**
+- `name` (string, required) - Metadata extension name (e.g., ZC_MY_DDLX).
+
+---
+
 <a id="createmetadataextension-high-level-ddlx"></a>
 #### CreateMetadataExtension (High-Level / Ddlx)
 **Description:** Create a new ABAP Metadata Extension (DDLX) in SAP system. Defines Fiori UI annotations, field labels, search help, and list/object page layout for CDS views.
@@ -2003,6 +2079,17 @@ Generated from code in `src/handlers/**` (not from docs).
 <a id="high-level-domain"></a>
 ### High-Level / Domain
 
+<a id="checkdomain-high-level-domain"></a>
+#### CheckDomain (High-Level / Domain)
+**Description:** Perform syntax check on an ABAP domain. Returns syntax errors, warnings, and messages.
+
+**Source:** `src/handlers/domain/high/handleCheckDomain.ts`
+
+**Parameters:**
+- `domain_name` (string, required) - Domain name (e.g., ZDM_MY_DOMAIN).
+
+---
+
 <a id="createdomain-high-level-domain"></a>
 #### CreateDomain (High-Level / Domain)
 **Description:** Create a new ABAP domain in SAP system with all required steps: lock, create, check, unlock, activate, and verify.
@@ -2076,6 +2163,30 @@ Generated from code in `src/handlers/**` (not from docs).
 <a id="high-level-function"></a>
 ### High-Level / Function
 
+<a id="checkfunctiongroup-high-level-function"></a>
+#### CheckFunctionGroup (High-Level / Function)
+**Description:** Perform syntax check on an ABAP function group. Returns syntax errors, warnings, and messages.
+
+**Source:** `src/handlers/function/high/handleCheckFunctionGroup.ts`
+
+**Parameters:**
+- `function_group_name` (string, required) - Function group name (e.g., ZFGRP_MY_GROUP).
+
+---
+
+<a id="checkfunctionmodule-high-level-function"></a>
+#### CheckFunctionModule (High-Level / Function)
+**Description:** Perform syntax check on an ABAP function module. Returns syntax errors, warnings, and messages.
+
+**Source:** `src/handlers/function/high/handleCheckFunctionModule.ts`
+
+**Parameters:**
+- `function_group_name` (string, required) - Function group name containing the function module.
+- `function_module_name` (string, required) - Function module name (e.g., Z_MY_FUNCTION).
+- `version` (string, optional) - Version to check: 
+
+---
+
 <a id="createfunctiongroup-high-level-function"></a>
 #### CreateFunctionGroup (High-Level / Function)
 **Description:** Create a new ABAP function group in SAP system. Function groups serve as containers for function modules. Uses stateful session for proper lock management.
@@ -2192,6 +2303,17 @@ Generated from code in `src/handlers/**` (not from docs).
 <a id="high-level-interface"></a>
 ### High-Level / Interface
 
+<a id="checkinterface-high-level-interface"></a>
+#### CheckInterface (High-Level / Interface)
+**Description:** Perform syntax check on an ABAP interface. Returns syntax errors, warnings, and messages.
+
+**Source:** `src/handlers/interface/high/handleCheckInterface.ts`
+
+**Parameters:**
+- `interface_name` (string, required) - Interface name (e.g., ZIF_MY_INTERFACE).
+
+---
+
 <a id="createinterface-high-level-interface"></a>
 #### CreateInterface (High-Level / Interface)
 **Description:** Create a new ABAP interface in SAP system. Creates the interface object in initial state. Use UpdateInterface to set source code afterwards.
@@ -2274,6 +2396,18 @@ Generated from code in `src/handlers/**` (not from docs).
 <a id="high-level-package"></a>
 ### High-Level / Package
 
+<a id="checkpackage-high-level-package"></a>
+#### CheckPackage (High-Level / Package)
+**Description:** Perform syntax check on an ABAP package. Returns syntax errors, warnings, and messages.
+
+**Source:** `src/handlers/package/high/handleCheckPackage.ts`
+
+**Parameters:**
+- `package_name` (string, required) - Package name (e.g., ZMY_PACKAGE).
+- `super_package` (string, required) - Super package name (parent package).
+
+---
+
 <a id="createpackage-high-level-package"></a>
 #### CreatePackage (High-Level / Package)
 **Description:** Create a new ABAP package in SAP system. Packages are containers for development objects and are essential for organizing code.
@@ -2300,6 +2434,17 @@ Generated from code in `src/handlers/**` (not from docs).
 <a id="high-level-program"></a>
 ### High-Level / Program
 
+<a id="checkprogram-high-level-program"></a>
+#### CheckProgram (High-Level / Program)
+**Description:** Perform syntax check on an ABAP program. Returns syntax errors, warnings, and messages. Not available on cloud.
+
+**Source:** `src/handlers/program/high/handleCheckProgram.ts`
+
+**Parameters:**
+- `program_name` (string, required) - Program name (e.g., ZMCP_MY_PROGRAM).
+
+---
+
 <a id="createprogram-high-level-program"></a>
 #### CreateProgram (High-Level / Program)
 **Description:** Create a new ABAP program (report) in SAP system. Creates the program object in initial state. Use UpdateProgram to set source code afterwards.
@@ -2505,6 +2650,19 @@ Generated from code in `src/handlers/**` (not from docs).
 <a id="high-level-structure"></a>
 ### High-Level / Structure
 
+<a id="checkstructure-high-level-structure"></a>
+#### CheckStructure (High-Level / Structure)
+**Description:** Perform syntax check on an ABAP structure. Can check existing structure (active/inactive) or validate hypothetical DDL code. Returns syntax errors, warnings, and messages.
+
+**Source:** `src/handlers/structure/high/handleCheckStructure.ts`
+
+**Parameters:**
+- `ddl_code` (string, optional) - Optional: DDL source code to validate instead of the saved version.
+- `structure_name` (string, required) - Structure name (e.g., ZST_MY_STRUCTURE).
+- `version` (string, optional) - Version to check: 
+
+---
+
 <a id="createstructure-high-level-structure"></a>
 #### CreateStructure (High-Level / Structure)
 **Description:** Create a new ABAP structure in SAP system with fields and type references. Includes create, activate, and verify steps.
@@ -2581,6 +2739,19 @@ Generated from code in `src/handlers/**` (not from docs).
 <a id="high-level-table"></a>
 ### High-Level / Table
 
+<a id="checktable-high-level-table"></a>
+#### CheckTable (High-Level / Table)
+**Description:** Perform syntax check on an ABAP table. Can check existing table (active/inactive) or validate hypothetical DDL code. Returns syntax errors, warnings, and messages.
+
+**Source:** `src/handlers/table/high/handleCheckTable.ts`
+
+**Parameters:**
+- `ddl_code` (string, optional) - Optional: DDL source code to validate instead of the saved version.
+- `table_name` (string, required) - Table name (e.g., ZMCP_MY_TABLE).
+- `version` (string, optional) - Version to check: 
+
+---
+
 <a id="createtable-high-level-table"></a>
 #### CreateTable (High-Level / Table)
 **Description:** Create a new ABAP table via the ADT API. Creates the table object in initial state. Use UpdateTable to set DDL code afterwards.
@@ -2822,6 +2993,19 @@ Generated from code in `src/handlers/**` (not from docs).
 <a id="high-level-view"></a>
 ### High-Level / View
 
+<a id="checkview-high-level-view"></a>
+#### CheckView (High-Level / View)
+**Description:** Perform syntax check on an ABAP CDS view. Can check existing view (active/inactive) or validate hypothetical DDL source. Returns syntax errors, warnings, and messages.
+
+**Source:** `src/handlers/view/high/handleCheckView.ts`
+
+**Parameters:**
+- `ddl_source` (string, optional) - Optional: DDL source code to validate instead of the saved version.
+- `version` (string, optional) - Version to check: 
+- `view_name` (string, required) - CDS view name (e.g., ZI_MY_VIEW).
+
+---
+
 <a id="createview-high-level-view"></a>
 #### CreateView (High-Level / View)
 **Description:** Create CDS View or Classic View in SAP. Creates the view object in initial state. Use UpdateView to set DDL source code afterwards.
@@ -4681,4 +4865,4 @@ Generated from code in `src/handlers/**` (not from docs).
 
 ---
 
-*Last updated: 2026-04-12*
+*Last updated: 2026-04-13*

package/docs/user-guide/AVAILABLE_TOOLS_COMPACT.md

@@ -551,4 +551,4 @@ Preferred dedicated compact tools and minimal payloads:
 
 ---
 
-*Last updated: 2026-04-12*
+*Last updated: 2026-04-13*