@mcp-abap-adt/interfaces-adt 23.1.1 → 24.0.0

package/CHANGELOG.md

@@ -7,6 +7,51 @@ and this project adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0
 
 ## [Unreleased]
 
+## [24.0.0] - 2026-10-29
+
+### Breaking
+
+- **The search filter takes the release's search names, not a code.**
+  `ISearchObjectsParams.objectType` was `AdtTypeCode`; it is `AdtSearchType`,
+  the names of the quick search's object types list. A code no longer
+  compiles as a filter: on S/4HANA 2025 and ABAP cloud a code that is no
+  list item's `type` selects as the text before its `/` (`ENHO/XHH` answers
+  as `ENHO`, with other first hits under `maxResults`) and an unknown one
+  answers nothing, silently (measured 2026-10-29).
+- **`IAdtCodeFacts.main` is required.** Every code of a table checked against
+  `AdtApiTable<R>` states its main type, and `AdtCheckedTable<T>` requires it
+  to be its own key's (`AdtMainTypeOf`).
+
+### Added
+
+- **Main types.** Every code entry of `ADT_TYPES_ONPREM`, `ADT_TYPES_CLOUD`
+  and `ADT_TYPES_BASIS_740` states its main type, the TADIR object type of
+  `R3TR <type>`: `'ENHO/XHH': { main: 'ENHO', … }` — a missing or a wrong one
+  does not compile, per key. **`AdtMainTypeOf<C>`**, **`AdtMainType`**,
+  **`AdtMainTypeOfVariant<V>`** and **`CodesOfMain<M>`** (a code with no `/`,
+  `AUTH`, is its own). A main type is not an address: every parameter that
+  builds one keeps taking a code.
+- **Search names.** `ADT_SEARCH_TYPES_ONPREM` (385 names) and
+  `ADT_SEARCH_TYPES_CLOUD` (372), written from the recorded
+  `/sap/bc/adt/repository/informationsystem/objecttypes` lists — each name
+  with the code it selects (`type`: `STRU` → `TABL/DS`) or `group: true`
+  (`ABAP_TEST_COCKPIT`); `ADT_SEARCH_TYPES_BASIS_740`, the eleven names
+  measured to select on 7.40, which has no list (`404`) and answers its
+  aliases (`STRU`, `DTAB`, `REPO`, `INCL`, `BADI`) and unknown names with no
+  hits, silently. **`AdtSearchType`**, **`AdtSearchTypeOf<V>`**
+  (intersecting), **`IAdtSearchObjectsParamsOf<V>`**, and the shapes
+  `AdtSearchTypeTable`, `AdtListedSearchType`, `IAdtMeasuredSearchType`,
+  `AdtSearchTypeEvidence`, `IAdtSearchTypeTables`. Every main type of a
+  variant's table is a search name of that variant (recorded).
+
+### Migration
+
+- Where a code was passed as the search filter, pass the search name: the
+  main type from the table entry's `main`
+  (`ADT_TYPES_ONPREM.package.codes['DEVC/K'].main`), or the alias of a
+  subtype (`STRU` for `TABL/DS`).
+- A table built against `AdtApiTable` carries `main` on every code.
+
 ## [23.1.1] - 2026-10-29
 
 ### Fixed

package/README.md

@@ -71,7 +71,8 @@ code serves two APIs (`CLAS/OC`: `class` and `behaviorImplementation`;
   two APIs on one code share it;
 - `collection` — the ADT collection its resource lives in, the parent's for an
   API addressed under a parent;
-- `codes` — for each code: `parent` (the parent API, or `null`),
+- `codes` — for each code: `main` (its main type, below), `parent` (the
+  parent API, or `null`),
   `nameMaxLength`, `operations` and `evidence`, the corpus case of the
   release's `typestructure` answer that lists the code
   (`system-description-basis-740--07-typestructure`); and, where a code lives
@@ -126,6 +127,10 @@ evidence at compile time.
 | `AdtObjectKind` | every kind |
 | `AdtSourceTypeCode` | the codes with `source` |
 | `AdtParentedTypeCode` | the codes with a parent API: `FUGR/FF`, `FUGR/I` |
+| `AdtMainTypeOf<C>` | the main type of code `C`: `'ENHO'` of `'ENHO/XHH'` |
+| `AdtMainType` | every main type of any table (`AdtMainTypeOfVariant<V>` per variant) |
+| `CodesOfMain<M>` | the codes of main type `M` |
+| `AdtSearchType` | every search name of any release's list (`AdtSearchTypeOf<V>` the names every variant of `V` takes) |
 
 A map a consumer keeps over the codes is typed by them, and the compiler then
 asks for every code and refuses any other:
@@ -173,6 +178,48 @@ when `[C] extends [AdtParentedTypeCode]` — `IObjectReference<'FUGR/FF'>` —
 and leaves it optional otherwise, the default included, so a reference built
 from a code typed `AdtTypeCode` compiles and an interface can extend it.
 
+### Main types and search names (24.0.0)
+
+A code's **main type** is its TADIR object type, the `R3TR <type>` before the
+`/`: `ENHO` of `ENHO/XHH`, `DEVC` of `DEVC/K`, `TABL` of `TABL/DS`. Every code
+entry states its own as `main`; the table's `satisfies` refuses an entry
+without one, and `AdtCheckedTable<T>` one whose `main` is not its own key's
+(per key: the main type of a neighbouring code is refused too).
+`AdtMainTypeOf<C>` is the main type of a code, `CodesOfMain<M>` the codes of a
+main type (`CodesOfMain<'ENHO'>` is `'ENHO/XHB' | 'ENHO/XHH'`),
+`AdtMainType` every main type of any table and `AdtMainTypeOfVariant<V>` a
+variant's. **A main type is not an address:** `TABL` is `TABL/DT` or
+`TABL/DS`, and every parameter that builds an address — read, write,
+metadata, a URI, where-used, the group operations — takes a code.
+
+**The search filter takes the release's search names.**
+`ISearchObjectsParams.objectType` is an `AdtSearchType`: a name of the quick
+search's object types list
+(`/sap/bc/adt/repository/informationsystem/objecttypes`), held per variant in
+`ADT_SEARCH_TYPES_ONPREM`, `ADT_SEARCH_TYPES_CLOUD` (written from the recorded
+lists: each name with the code it selects, `type`, or `group: true`) and
+`ADT_SEARCH_TYPES_BASIS_740`; `IAdtSearchObjectsParamsOf<V>` takes only the
+names every variant of `V` takes (`AdtSearchTypeOf<V>`). Measured
+2026-10-29, read only:
+
+- on S/4HANA 2025 and ABAP cloud, identically, a name selects what the list
+  says — `STRU` only `TABL/DS`, `DTAB` only `TABL/DT`, `TABL` both, a group
+  (`ABAP_TEST_COCKPIT`) its members — and an unknown name is refused `400`;
+- a code is no filter value: one equal to an item's `type` selects as that
+  item, any other as the text before its `/` (`ENHO/XHH` answers as `ENHO`,
+  with other first hits under `maxResults`), and an unknown code answers
+  nothing, silently;
+- SAP_BASIS 7.40 has no list (`404`); `DEVC`, `CLAS`, `INTF`, `PROG`, `FUGR`,
+  `FUNC`, `DDLS`, `MSAG`, `TABL`, `ENHO` and `ENHS` select there, and the
+  aliases (`STRU`, `DTAB`, `REPO`, `INCL`, `BADI`) and an unknown name answer
+  no hits, silently.
+
+Every main type of a variant's table is a search name of that variant
+(`src/__typechecks__/mainTypes.ts`), so a search for a code's objects sends
+its entry's `main` (`ADT_TYPES_ONPREM.package.codes['DEVC/K'].main`), and a
+subtype with an alias its alias (`STRU`). A subtype without one (`ENHO/XHH`)
+cannot be searched alone: the caller filters the hits.
+
 ### Intersections, group-only codes and group references (22.0.0)
 
 **A union of variants.** `AdtTypeCodeOf<V>`, `AdtTypeCodeWith<V, Op>` and
@@ -338,6 +385,18 @@ The field is on each member's own options, not on `IAdtAnalyseOptions` or
 `IAdtOperationOptions`. `src/__typechecks__/headersOnEveryMember.ts` holds this
 for every member and every overload.
 
+## Migrating to 24.0.0
+
+- **The search filter takes a search name, not a code.**
+  `ISearchObjectsParams.objectType` was `AdtTypeCode`; it is `AdtSearchType`.
+  Where a code was passed, pass the search name: the main type from the table
+  entry's `main` (`ADT_TYPES_ONPREM.package.codes['DEVC/K'].main`, `'DEVC'`),
+  or the alias of a subtype (`'STRU'` for `TABL/DS`, `'DTAB'` for `TABL/DT`).
+  A code passed before selected as its main type, unless it was an item's own
+  `type`, so the main type keeps what such a search answered.
+- **A table built against `AdtApiTable` carries `main` on every code**, equal
+  to `AdtMainTypeOf` of the code (`'ENHO'` for `'ENHO/XHH'`).
+
 ## Migrating to 23.0.4
 
 - **A results set for a function group adds `updated`.** `IFunctionGroupResults`