@markuplint/ml-spec 4.10.1 → 5.0.0-alpha.0

package/ARCHITECTURE.ja.md

@@ -0,0 +1,267 @@
+# @markuplint/ml-spec
+
+## 概要
+
+`@markuplint/ml-spec` は markuplint の仕様基盤レイヤーです。型定義、W3C 仕様アルゴリズム（ARIA/HTML）、JSON スキーマ、ランタイムユーティリティを提供し、Web 標準の生データと markuplint のリントルールを橋渡しします。
+
+`@markuplint/html-spec`（およびフレームワーク固有の仕様パッケージ）から要素仕様・ARIA ロール/プロパティ定義・コンテンツモデルデータを読み込み、ARIA ロール計算・要素仕様の解決・コンテンツモデル評価・アクセシビリティツリー包含判定のアルゴリズムを公開します。15 以上の下流パッケージが依存しています。
+
+## ディレクトリ構成
+
+```
+src/
+├── index.ts                                      # エントリーポイント。全公開 API を再エクスポート
+├── types/
+│   ├── index.ts                                  # 手書きのコア型（MLMLSpec, ElementSpec, ARIARole 等）
+│   ├── aria.ts                                   # aria.schema.json から生成（ARIA, PermittedRoles, ImplicitRole）
+│   ├── attributes.ts                             # attributes.schema.json から生成（AttributeType, GlobalAttributes）
+│   └── permitted-structures.ts                   # content-models.schema.json から生成（ContentModel, Category）
+├── algorithm/
+│   ├── aria/
+│   │   ├── accname-computation.ts                # アクセシブルネーム計算ファサード（DOM リゾルバ + 再入防止ガード）
+│   │   ├── accname/                              # AccName 純粋アルゴリズム（HTML-AAM §4.1）
+│   │   │   ├── types.ts                          # AccnameElement/AccnameResolver インターフェース
+│   │   │   ├── compute.ts                        # コアアルゴリズム: Steps 2A-2I
+│   │   │   ├── aria-steps.ts                     # Steps 2B (aria-labelledby), 2D (aria-label)
+│   │   │   ├── element-names.ts                  # Step 2E: 要素固有の名前（HTML-AAM §4.1）
+│   │   │   ├── helpers.ts                        # 共有ユーティリティ（埋め込みコントロール、name-from-content）
+│   │   │   ├── label-steps.ts                    # Step 2E: ラベル関連付け（labelable 要素）
+│   │   │   ├── svg-helpers.ts                    # SVG アクセシブル名ソース判定
+│   │   │   └── index.ts                          # 公開 API 再エクスポート
+│   │   ├── aria-specs.ts                         # バージョン別 ARIA 仕様データの取得
+│   │   ├── get-aria.ts                           # 要素レベルの ARIA 仕様解決（条件付き）
+│   │   ├── get-computed-aria-props.ts            # ARIA プロパティ解決（明示 → HTML → デフォルト）
+│   │   ├── get-computed-role.ts                  # 中核：最終ロール計算と競合解決
+│   │   ├── get-explicit-role.ts                  # role 属性からの明示ロール（著者エラー処理）
+│   │   ├── get-implicit-role.ts                  # HTML-AAM による暗黙ロール
+│   │   ├── get-implicit-role-spec.ts             # 暗黙ロール名の低レベル検索
+│   │   ├── get-non-presentational-ancestor.ts    # プレゼンテーショナルロールをスキップする祖先探索
+│   │   ├── get-permitted-roles.ts                # DOM 要素の許可ロール
+│   │   ├── get-permitted-roles-spec.ts           # タグ名/名前空間による許可ロール（低レベル）
+│   │   ├── get-role-spec.ts                      # スーパークラスチェーン付きロール仕様
+│   │   ├── has-required-owned-elements.ts        # 必須所有要素の検証
+│   │   ├── is-exposed.ts                         # アクセシビリティツリー包含/除外
+│   │   ├── is-presentational.ts                  # プレゼンテーショナルロール判定（presentation/none）
+│   │   └── matches-context-role.ts               # 必須コンテキストロールの検証
+│   └── html/
+│       ├── content-model-category-to-tag-names.ts  # カテゴリ → タグ名配列（キャッシュ付き）
+│       ├── get-content-model.ts                    # 条件付きコンテンツモデル評価
+│       ├── get-selectors-by-content-model-category.ts  # カテゴリ → CSS セレクタ配列
+│       ├── is-nothing-content-model.ts             # 「Nothing」コンテンツモデル判定
+│       ├── is-palpable-elements.ts                 # パルパブルコンテンツ検出
+│       ├── is-void-element.ts                      # ボイド要素判定（13 要素）
+│       └── may-be-focusable.ts                     # フォーカス可能性ヒューリスティック
+├── const/
+│   ├── index.ts                                  # 全定数の再エクスポート
+│   ├── dom.ts                                    # DOM 定数（ELEMENT_NODE, TEXT_NODE, 名前空間 URI）
+│   └── accname.ts                                # AccName 定数（埋め込みコントロールロール、入力型、デフォルト値）
+└── utils/
+    ├── aria-version.ts                           # ARIA バージョン定数（'1.1', '1.2', '1.3'）
+    ├── get-attr-specs.ts                         # DOM 要素の属性仕様（ラッパー）
+    ├── get-attr-specs-spec.ts                    # タグ名/名前空間による属性仕様（コア）
+    ├── get-ns.ts                                 # 名前空間 URI → 短縮名マッピング
+    ├── get-spec.ts                               # DOM 要素の要素仕様（ラッパー）
+    ├── get-spec-by-tag-name.ts                   # タグ名/名前空間による要素仕様（キャッシュ付き）
+    ├── merge-array.ts                            # 名前ベースの配列マージユーティリティ
+    ├── resolve-namespace.ts                      # 名前空間解決とプレフィックス正規化
+    ├── resolve-version.ts                        # ARIA バージョン固有プロパティの解決
+    ├── schema-to-spec.ts                         # スキーママージパイプライン（ベース + 拡張）
+    └── validate-aria-version.ts                  # ARIA バージョン文字列の型ガード
+
+schemas/
+├── element.schema.json                           # トップレベル要素仕様スキーマ（11 行）
+├── aria.schema.json                              # ARIA ロール/プロパティスキーマ（291 行）
+├── attributes.schema.json                        # 属性型スキーマ（190 行）
+├── content-models.schema.json                    # コンテンツモデルパターンスキーマ（215 行）
+└── global-attributes.schema.json                 # グローバル属性カテゴリスキーマ（787 行）
+
+gen/
+├── gen.ts                                        # global-attributes.schema.json のスキーマジェネレータ
+└── global-attribute.data.ts                      # グローバル属性カテゴリ定義
+```
+
+## アーキテクチャ図
+
+```mermaid
+flowchart TD
+    subgraph input ["入力レイヤー"]
+        htmlSpec["@markuplint/html-spec\n(MLMLSpec JSON)"]
+        fwSpec["フレームワーク仕様\n(ExtendedSpec)"]
+    end
+
+    subgraph merge ["仕様解決"]
+        schemaToSpec["schemaToSpec()"]
+        getSpec["getSpec() / getSpecByTagName()"]
+        getAttrSpecs["getAttrSpecs()"]
+        resolveNS["resolveNamespace()"]
+    end
+
+    subgraph aria ["ARIA アルゴリズム"]
+        getComputedRole["getComputedRole()"]
+        getExplicitRole["getExplicitRole()"]
+        getImplicitRole["getImplicitRole()"]
+        getPermittedRoles["getPermittedRoles()"]
+        getRoleSpec["getRoleSpec()"]
+        getARIA["getARIA()"]
+        getComputedAriaProps["getComputedAriaProps()"]
+        isExposed["isExposed()"]
+        getAccname["getAccname()"]
+    end
+
+    subgraph html ["HTML アルゴリズム"]
+        getContentModel["getContentModel()"]
+        isPalpable["isPalpableElement()"]
+        isVoid["isVoidElement()"]
+        mayBeFocusable["mayBeFocusable()"]
+    end
+
+    subgraph types ["型定義"]
+        handWritten["MLMLSpec, ElementSpec\nARIARole, ComputedRole"]
+        generated["ARIA, PermittedRoles\nContentModel, Category"]
+    end
+
+    htmlSpec --> schemaToSpec
+    fwSpec --> schemaToSpec
+    schemaToSpec --> getSpec
+    getSpec --> getAttrSpecs
+    getSpec --> getARIA
+    resolveNS --> getSpec
+
+    getARIA --> getComputedRole
+    getExplicitRole --> getComputedRole
+    getImplicitRole --> getComputedRole
+    getPermittedRoles --> getExplicitRole
+    getRoleSpec --> getImplicitRole
+    getRoleSpec --> getExplicitRole
+    getComputedRole --> getComputedAriaProps
+    getComputedRole --> isExposed
+
+    getSpec --> getContentModel
+    getSpec --> isPalpable
+```
+
+## 主要コンポーネント
+
+### 1. 型定義
+
+型システムは、マークアップ言語仕様・要素仕様・ARIA ロール・属性の構造を定義します。
+
+| ファイル                        | 役割                                                                                              |
+| ------------------------------- | ------------------------------------------------------------------------------------------------- |
+| `types/index.ts`                | 手書き型: `MLMLSpec`, `ElementSpec`, `ExtendedSpec`, `ARIARole`, `ComputedRole` 等                |
+| `types/aria.ts`                 | 生成型: `ARIA`, `PermittedRoles`, `ImplicitRole`, `PermittedARIAProperties`, `ImplicitProperties` |
+| `types/attributes.ts`           | 生成型: `AttributeType`, `GlobalAttributes`, `AttributeJSON`, `List`, `Enum`, `Number`            |
+| `types/permitted-structures.ts` | 生成型: `PermittedContentPattern`, `ContentModel`, `Category`（HTML 13 + SVG 19 カテゴリ）        |
+
+### 2. ARIA アルゴリズム
+
+ARIA アルゴリズムは WAI-ARIA, HTML-AAM, SVG-AAM, AccName 1.2 仕様に基づくロール計算とアクセシビリティツリー管理を実装します。
+
+| ファイル                         | 役割                                                                            |
+| -------------------------------- | ------------------------------------------------------------------------------- |
+| `get-computed-role.ts`           | 中核アルゴリズム: Presentational Roles Conflict Resolution による最終ロール計算 |
+| `get-explicit-role.ts`           | `role` 属性からの明示ロール解決（著者エラー処理付き）                           |
+| `get-implicit-role.ts`           | HTML-AAM に基づく暗黙（ネイティブ）ARIA ロールの決定                            |
+| `get-computed-aria-props.ts`     | ARIA プロパティ解決: 明示 `aria-*` → HTML 等価属性 → 仕様デフォルト             |
+| `is-exposed.ts`                  | WAI-ARIA ルールに基づくアクセシビリティツリーの包含/除外判定                    |
+| `get-permitted-roles.ts`         | 要素の許可ロール一覧（Any/No/具体的リスト）                                     |
+| `get-role-spec.ts`               | スーパークラスロールチェーン付き完全ロール仕様の取得                            |
+| `has-required-owned-elements.ts` | 必須所有要素制約の検証                                                          |
+| `matches-context-role.ts`        | 祖先チェーンにおける必須コンテキストロール条件の検証                            |
+| `accname-computation.ts`         | アクセシブルネーム計算ファサード（DOM リゾルバ + 再入防止ガード）               |
+| `accname/compute.ts`             | 純粋 AccName アルゴリズム: HTML-AAM §4.1 の Steps 2A-2I                         |
+| `accname/element-names.ts`       | Step 2E: 要素固有の名前計算（HTML-AAM §4.1）                                    |
+| `get-aria.ts`                    | バージョンと条件の解決を含む要素レベル ARIA 仕様                                |
+| `is-presentational.ts`           | ロールが `presentation` または `none` かどうかの判定                            |
+
+### 3. HTML アルゴリズム
+
+HTML アルゴリズムは HTML Living Standard に基づくコンテンツモデル評価と要素分類を実装します。
+
+| ファイル                                     | 役割                                                                           |
+| -------------------------------------------- | ------------------------------------------------------------------------------ |
+| `get-content-model.ts`                       | 条件付きパターン評価を含むコンテンツモデルの取得                               |
+| `content-model-category-to-tag-names.ts`     | コンテンツモデルカテゴリをソート済みタグ名配列に変換                           |
+| `get-selectors-by-content-model-category.ts` | コンテンツモデルカテゴリを CSS セレクタにマッピング                            |
+| `is-palpable-elements.ts`                    | SVG/露出可能要素拡張付きパルパブルコンテンツ検出                               |
+| `is-void-element.ts`                         | ボイド要素判定（13 の HTML ボイド要素）                                        |
+| `is-nothing-content-model.ts`                | 「Nothing」コンテンツモデル判定（void + iframe + template）                    |
+| `may-be-focusable.ts`                        | フォーカス可能性ヒューリスティック（interactive + tabindex + contenteditable） |
+
+### 4. 仕様解決ユーティリティ
+
+仕様のマージ・解決・キャッシュのためのユーティリティです。
+
+| ファイル                   | 役割                                                                         |
+| -------------------------- | ---------------------------------------------------------------------------- |
+| `schema-to-spec.ts`        | ベース `MLMLSpec` と `ExtendedSpec[]` のマージ（グローバル属性, ARIA, 要素） |
+| `get-spec-by-tag-name.ts`  | タグ名 + 名前空間による要素仕様の検索（キャッシュ付き）                      |
+| `get-attr-specs-spec.ts`   | マージ済み属性仕様の取得（グローバル + 要素固有）                            |
+| `resolve-namespace.ts`     | 名前空間プレフィックスを含む要素名の正規化                                   |
+| `resolve-version.ts`       | ARIA バージョン固有のオーバーライドをフォールバック付きで解決                |
+| `merge-array.ts`           | 名前ベースの配列マージ（`name` プロパティによる追加/上書き）                 |
+| `validate-aria-version.ts` | 有効な ARIA バージョン文字列の型ガード                                       |
+
+## 外部依存パッケージ
+
+| パッケージ           | 用途                                               | 使用箇所                      |
+| -------------------- | -------------------------------------------------- | ----------------------------- |
+| `@markuplint/ml-ast` | XML 名前空間処理のための `NamespaceURI` 型         | `types/index.ts`, utils       |
+| `@markuplint/types`  | 属性値の型定義のための `Type` 共用体               | `types/attributes.ts` 経由    |
+| `is-plain-object`    | AAM 情報のプレーンオブジェクト検出                 | `get-permitted-roles-spec.ts` |
+| `type-fest`          | 深い不変性のための `ReadonlyDeep` ユーティリティ型 | 複数ファイル                  |
+
+## 他パッケージとの連携
+
+```mermaid
+flowchart LR
+    subgraph upstream ["上流パッケージ"]
+        htmlSpec["@markuplint/html-spec"]
+        vueSpec["@markuplint/vue-spec"]
+        reactSpec["@markuplint/react-spec"]
+        otherSpec["その他フレームワーク仕様"]
+    end
+
+    subgraph pkg ["@markuplint/ml-spec"]
+        types["型定義"]
+        ariaAlgo["ARIA アルゴリズム"]
+        htmlAlgo["HTML アルゴリズム"]
+        specRes["仕様解決"]
+    end
+
+    subgraph downstream ["下流パッケージ"]
+        mlCore["@markuplint/ml-core"]
+        rules["@markuplint/rules"]
+        selector["@markuplint/selector"]
+    end
+
+    htmlSpec -->|"MLMLSpec JSON"| specRes
+    vueSpec -->|"ExtendedSpec"| specRes
+    reactSpec -->|"ExtendedSpec"| specRes
+    otherSpec -->|"ExtendedSpec"| specRes
+
+    specRes --> ariaAlgo
+    specRes --> htmlAlgo
+    types --> mlCore
+    ariaAlgo -->|"ロール計算\nアクセシビリティツリー"| rules
+    htmlAlgo -->|"コンテンツモデル\n要素分類"| rules
+    types --> selector
+```
+
+### 上流
+
+`@markuplint/html-spec` は、全 HTML 要素仕様・ARIA 定義・コンテンツモデルデータを含むベース `MLMLSpec` JSON を提供します。フレームワーク固有パッケージ（`@markuplint/vue-spec`, `@markuplint/react-spec` 等）は、要素・属性・ARIA マッピングを追加またはオーバーライドする `ExtendedSpec` オブジェクトを提供します。
+
+### 下流
+
+- **`@markuplint/ml-core`** は型定義を使用して、仕様認識を持つパース済みドキュメント要素を表現します。
+- **`@markuplint/rules`** は ARIA および HTML アルゴリズムを呼び出して、リントルール（ロール検証、コンテンツモデルチェック、アクセシビリティチェック）を実装します。
+- **`@markuplint/selector`** は要素マッチングのために型定義を使用します。
+
+## ドキュメントマップ
+
+- [ARIA アルゴリズム](docs/aria-algorithms.ja.md) -- ロール計算、アクセシビリティツリー、ARIA プロパティ解決
+- [HTML アルゴリズム](docs/html-algorithms.ja.md) -- コンテンツモデル、要素分類、ボイド要素
+- [型定義](docs/type-definitions.ja.md) -- コア型、生成型、JSON スキーマ
+- [仕様解決](docs/spec-resolution.ja.md) -- スキーママージ、名前空間解決、キャッシュ
+- [メンテナンスガイド](docs/maintenance.ja.md) -- スキーマ生成、依存関係管理、レシピ、トラブルシューティング

package/ARCHITECTURE.md

@@ -0,0 +1,267 @@
+# @markuplint/ml-spec
+
+## Overview
+
+`@markuplint/ml-spec` is the specification foundation layer for markuplint. It provides type definitions, W3C specification algorithms (ARIA/HTML), JSON schemas, and runtime utilities that form the bridge between raw web standard data and markuplint's lint rules.
+
+The package reads element specifications, ARIA role/property definitions, and content model data from `@markuplint/html-spec` (and framework-specific spec packages), then exposes algorithms for computing ARIA roles, resolving element specifications, evaluating content models, and determining accessibility tree inclusion. Over 15 downstream packages depend on `@markuplint/ml-spec`.
+
+## Directory Structure
+
+```
+src/
+├── index.ts                                      # Package entry point; re-exports all public APIs
+├── types/
+│   ├── index.ts                                  # Hand-written core types (MLMLSpec, ElementSpec, ARIARole, etc.)
+│   ├── aria.ts                                   # Generated types from aria.schema.json (ARIA, PermittedRoles, ImplicitRole)
+│   ├── attributes.ts                             # Generated types from attributes.schema.json (AttributeType, GlobalAttributes)
+│   └── permitted-structures.ts                   # Generated types from content-models.schema.json (ContentModel, Category)
+├── algorithm/
+│   ├── aria/
+│   │   ├── accname-computation.ts                # Accessible name computation facade (DOM resolver + reentrant guard)
+│   │   ├── accname/                              # AccName pure algorithm (HTML-AAM §4.1)
+│   │   │   ├── types.ts                          # AccnameElement/AccnameResolver interfaces
+│   │   │   ├── compute.ts                        # Core algorithm: Steps 2A-2I
+│   │   │   ├── aria-steps.ts                     # Steps 2B (aria-labelledby) and 2D (aria-label)
+│   │   │   ├── element-names.ts                  # Step 2E: element-specific name (HTML-AAM §4.1)
+│   │   │   ├── helpers.ts                        # Shared utilities (embedded controls, name-from-content)
+│   │   │   ├── label-steps.ts                    # Step 2E: label association for labelable elements
+│   │   │   ├── svg-helpers.ts                    # SVG accessible name source check
+│   │   │   └── index.ts                          # Re-exports public API
+│   │   ├── aria-specs.ts                         # Version-specific ARIA spec data retrieval
+│   │   ├── get-aria.ts                           # Element-level ARIA spec resolution with conditions
+│   │   ├── get-computed-aria-props.ts            # ARIA property resolution (explicit → HTML → default)
+│   │   ├── get-computed-role.ts                  # Core: final role computation with conflict resolution
+│   │   ├── get-explicit-role.ts                  # Explicit role from role attribute with author error handling
+│   │   ├── get-implicit-role.ts                  # Implicit (native) role from HTML-AAM
+│   │   ├── get-implicit-role-spec.ts             # Low-level implicit role name lookup
+│   │   ├── get-non-presentational-ancestor.ts    # Ancestor traversal skipping presentational roles
+│   │   ├── get-permitted-roles.ts                # Permitted roles for a DOM element
+│   │   ├── get-permitted-roles-spec.ts           # Permitted roles from tag name/namespace (low-level)
+│   │   ├── get-role-spec.ts                      # Full role spec with super-class chain
+│   │   ├── has-required-owned-elements.ts        # Required owned elements validation
+│   │   ├── is-exposed.ts                         # Accessibility tree inclusion/exclusion
+│   │   ├── is-presentational.ts                  # Presentational role check (presentation/none)
+│   │   └── matches-context-role.ts               # Required context role validation
+│   └── html/
+│       ├── content-model-category-to-tag-names.ts  # Category → tag name array (cached)
+│       ├── get-content-model.ts                    # Content model with conditional evaluation
+│       ├── get-selectors-by-content-model-category.ts  # Category → CSS selector array
+│       ├── is-nothing-content-model.ts             # "Nothing" content model check
+│       ├── is-palpable-elements.ts                 # Palpable content detection
+│       ├── is-void-element.ts                      # Void element check (13 elements)
+│       └── may-be-focusable.ts                     # Focusability heuristic
+├── const/
+│   ├── index.ts                                  # Re-exports all constants
+│   ├── dom.ts                                    # DOM constants (ELEMENT_NODE, TEXT_NODE, namespace URIs)
+│   └── accname.ts                                # AccName constants (embedded control roles, input types, defaults)
+└── utils/
+    ├── aria-version.ts                           # ARIA version constants ('1.1', '1.2', '1.3')
+    ├── get-attr-specs.ts                         # Attribute specs for a DOM element (wrapper)
+    ├── get-attr-specs-spec.ts                    # Attribute specs by tag name/namespace (core)
+    ├── get-ns.ts                                 # Namespace URI → shorthand mapping
+    ├── get-spec.ts                               # Element spec for a DOM element (wrapper)
+    ├── get-spec-by-tag-name.ts                   # Element spec by tag name/namespace (cached)
+    ├── merge-array.ts                            # Name-based array merge utility
+    ├── resolve-namespace.ts                      # Namespace resolution and prefix normalization
+    ├── resolve-version.ts                        # ARIA version-specific property resolution
+    ├── schema-to-spec.ts                         # Schema merge pipeline (base + extensions)
+    └── validate-aria-version.ts                  # ARIA version string type guard
+
+schemas/
+├── element.schema.json                           # Top-level element spec schema (11 lines)
+├── aria.schema.json                              # ARIA role/property schema (291 lines)
+├── attributes.schema.json                        # Attribute type schema (190 lines)
+├── content-models.schema.json                    # Content model pattern schema (215 lines)
+└── global-attributes.schema.json                 # Global attribute categories schema (787 lines)
+
+gen/
+├── gen.ts                                        # Schema generator for global-attributes.schema.json
+└── global-attribute.data.ts                      # Global attribute category definitions
+```
+
+## Architecture Diagram
+
+```mermaid
+flowchart TD
+    subgraph input ["Input Layer"]
+        htmlSpec["@markuplint/html-spec\n(MLMLSpec JSON)"]
+        fwSpec["Framework specs\n(ExtendedSpec)"]
+    end
+
+    subgraph merge ["Spec Resolution"]
+        schemaToSpec["schemaToSpec()"]
+        getSpec["getSpec() / getSpecByTagName()"]
+        getAttrSpecs["getAttrSpecs()"]
+        resolveNS["resolveNamespace()"]
+    end
+
+    subgraph aria ["ARIA Algorithms"]
+        getComputedRole["getComputedRole()"]
+        getExplicitRole["getExplicitRole()"]
+        getImplicitRole["getImplicitRole()"]
+        getPermittedRoles["getPermittedRoles()"]
+        getRoleSpec["getRoleSpec()"]
+        getARIA["getARIA()"]
+        getComputedAriaProps["getComputedAriaProps()"]
+        isExposed["isExposed()"]
+        getAccname["getAccname()"]
+    end
+
+    subgraph html ["HTML Algorithms"]
+        getContentModel["getContentModel()"]
+        isPalpable["isPalpableElement()"]
+        isVoid["isVoidElement()"]
+        mayBeFocusable["mayBeFocusable()"]
+    end
+
+    subgraph types ["Type Definitions"]
+        handWritten["MLMLSpec, ElementSpec\nARIARole, ComputedRole"]
+        generated["ARIA, PermittedRoles\nContentModel, Category"]
+    end
+
+    htmlSpec --> schemaToSpec
+    fwSpec --> schemaToSpec
+    schemaToSpec --> getSpec
+    getSpec --> getAttrSpecs
+    getSpec --> getARIA
+    resolveNS --> getSpec
+
+    getARIA --> getComputedRole
+    getExplicitRole --> getComputedRole
+    getImplicitRole --> getComputedRole
+    getPermittedRoles --> getExplicitRole
+    getRoleSpec --> getImplicitRole
+    getRoleSpec --> getExplicitRole
+    getComputedRole --> getComputedAriaProps
+    getComputedRole --> isExposed
+
+    getSpec --> getContentModel
+    getSpec --> isPalpable
+```
+
+## Core Components
+
+### 1. Type Definitions
+
+The type system defines the structure of markup language specifications, element specs, ARIA roles, and attributes.
+
+| File                            | Purpose                                                                                              |
+| ------------------------------- | ---------------------------------------------------------------------------------------------------- |
+| `types/index.ts`                | Hand-written types: `MLMLSpec`, `ElementSpec`, `ExtendedSpec`, `ARIARole`, `ComputedRole`, etc.      |
+| `types/aria.ts`                 | Generated: `ARIA`, `PermittedRoles`, `ImplicitRole`, `PermittedARIAProperties`, `ImplicitProperties` |
+| `types/attributes.ts`           | Generated: `AttributeType`, `GlobalAttributes`, `AttributeJSON`, `List`, `Enum`, `Number`            |
+| `types/permitted-structures.ts` | Generated: `PermittedContentPattern`, `ContentModel`, `Category` (HTML 13 + SVG 19 categories)       |
+
+### 2. ARIA Algorithms
+
+ARIA algorithms implement WAI-ARIA, HTML-AAM, SVG-AAM, and AccName 1.2 specifications for role computation and accessibility tree management.
+
+| File                             | Purpose                                                                           |
+| -------------------------------- | --------------------------------------------------------------------------------- |
+| `get-computed-role.ts`           | Core algorithm: computes final role with Presentational Roles Conflict Resolution |
+| `get-explicit-role.ts`           | Resolves explicit roles from `role` attribute with author error handling          |
+| `get-implicit-role.ts`           | Determines implicit (native) ARIA role from HTML-AAM                              |
+| `get-computed-aria-props.ts`     | Resolves ARIA properties: explicit `aria-*` → HTML equivalent → spec defaults     |
+| `is-exposed.ts`                  | Determines accessibility tree inclusion/exclusion per WAI-ARIA rules              |
+| `get-permitted-roles.ts`         | Lists permitted roles for an element (Any/No/specific list)                       |
+| `get-role-spec.ts`               | Retrieves full role spec with super-class role chain                              |
+| `has-required-owned-elements.ts` | Validates required owned element constraints                                      |
+| `matches-context-role.ts`        | Validates required context role conditions in ancestor chain                      |
+| `accname-computation.ts`         | Accessible name computation facade (DOM resolver + reentrant guard)               |
+| `accname/compute.ts`             | Pure AccName algorithm: Steps 2A-2I per HTML-AAM §4.1                             |
+| `accname/element-names.ts`       | Step 2E: Element-specific name computation (HTML-AAM §4.1)                        |
+| `get-aria.ts`                    | Element-level ARIA spec with version and condition resolution                     |
+| `is-presentational.ts`           | Checks if a role is `presentation` or `none`                                      |
+
+### 3. HTML Algorithms
+
+HTML algorithms implement content model evaluation and element classification from the HTML Living Standard.
+
+| File                                         | Purpose                                                           |
+| -------------------------------------------- | ----------------------------------------------------------------- |
+| `get-content-model.ts`                       | Retrieves content model with conditional pattern evaluation       |
+| `content-model-category-to-tag-names.ts`     | Converts content model category to sorted tag name array          |
+| `get-selectors-by-content-model-category.ts` | Maps content model category to CSS selectors                      |
+| `is-palpable-elements.ts`                    | Palpable content detection with SVG/exposable extensions          |
+| `is-void-element.ts`                         | Void element check (13 HTML void elements)                        |
+| `is-nothing-content-model.ts`                | "Nothing" content model check (void + iframe + template)          |
+| `may-be-focusable.ts`                        | Focusability heuristic (interactive + tabindex + contenteditable) |
+
+### 4. Spec Resolution Utilities
+
+Utilities for merging, resolving, and caching specifications.
+
+| File                       | Purpose                                                                     |
+| -------------------------- | --------------------------------------------------------------------------- |
+| `schema-to-spec.ts`        | Merges base `MLMLSpec` with `ExtendedSpec[]` (global attrs, ARIA, elements) |
+| `get-spec-by-tag-name.ts`  | Looks up element spec by tag name + namespace (cached)                      |
+| `get-attr-specs-spec.ts`   | Retrieves merged attribute specs (global + element-specific)                |
+| `resolve-namespace.ts`     | Normalizes element names with namespace prefixes                            |
+| `resolve-version.ts`       | Resolves ARIA version-specific overrides with fallback                      |
+| `merge-array.ts`           | Name-based array merging (add/override by `name` property)                  |
+| `validate-aria-version.ts` | Type guard for valid ARIA version strings                                   |
+
+## External Dependencies
+
+| Dependency           | Purpose                                           | Where Used                    |
+| -------------------- | ------------------------------------------------- | ----------------------------- |
+| `@markuplint/ml-ast` | `NamespaceURI` type for XML namespace handling    | `types/index.ts`, utils       |
+| `@markuplint/types`  | `Type` union for attribute value type definitions | via `types/attributes.ts`     |
+| `is-plain-object`    | Plain object detection for AAM info               | `get-permitted-roles-spec.ts` |
+| `type-fest`          | `ReadonlyDeep` utility type for deep immutability | Multiple files                |
+
+## Integration Points
+
+```mermaid
+flowchart LR
+    subgraph upstream ["Upstream"]
+        htmlSpec["@markuplint/html-spec"]
+        vueSpec["@markuplint/vue-spec"]
+        reactSpec["@markuplint/react-spec"]
+        otherSpec["Other framework specs"]
+    end
+
+    subgraph pkg ["@markuplint/ml-spec"]
+        types["Type definitions"]
+        ariaAlgo["ARIA algorithms"]
+        htmlAlgo["HTML algorithms"]
+        specRes["Spec resolution"]
+    end
+
+    subgraph downstream ["Downstream"]
+        mlCore["@markuplint/ml-core"]
+        rules["@markuplint/rules"]
+        selector["@markuplint/selector"]
+    end
+
+    htmlSpec -->|"MLMLSpec JSON"| specRes
+    vueSpec -->|"ExtendedSpec"| specRes
+    reactSpec -->|"ExtendedSpec"| specRes
+    otherSpec -->|"ExtendedSpec"| specRes
+
+    specRes --> ariaAlgo
+    specRes --> htmlAlgo
+    types --> mlCore
+    ariaAlgo -->|"role computation\naccessibility tree"| rules
+    htmlAlgo -->|"content model\nelement classification"| rules
+    types --> selector
+```
+
+### Upstream
+
+`@markuplint/html-spec` provides the base `MLMLSpec` JSON containing all HTML element specifications, ARIA definitions, and content model data. Framework-specific packages (`@markuplint/vue-spec`, `@markuplint/react-spec`, etc.) provide `ExtendedSpec` objects that add or override elements, attributes, and ARIA mappings.
+
+### Downstream
+
+- **`@markuplint/ml-core`** uses the type definitions to represent parsed document elements with spec awareness.
+- **`@markuplint/rules`** calls ARIA and HTML algorithms to implement lint rules (role validation, content model checking, accessibility checks).
+- **`@markuplint/selector`** uses type definitions for element matching.
+
+## Documentation Map
+
+- [ARIA Algorithms](docs/aria-algorithms.md) -- Role computation, accessibility tree, ARIA property resolution
+- [HTML Algorithms](docs/html-algorithms.md) -- Content models, element classification, void elements
+- [Type Definitions](docs/type-definitions.md) -- Core types, generated types, JSON schemas
+- [Spec Resolution](docs/spec-resolution.md) -- Schema merging, namespace resolution, caching
+- [Maintenance Guide](docs/maintenance.md) -- Schema generation, dependency management, recipes, troubleshooting

package/CHANGELOG.md

@@ -3,13 +3,31 @@
 All notable changes to this project will be documented in this file.
 See [Conventional Commits](https://conventionalcommits.org) for commit guidelines.
 
-## [4.10.1](https://github.com/markuplint/markuplint/compare/@markuplint/ml-spec@4.10.0...@markuplint/ml-spec@4.10.1) (2025-11-05)
+# [5.0.0-alpha.0](https://github.com/markuplint/markuplint/compare/v4.14.1...v5.0.0-alpha.0) (2026-02-20)
 
-**Note:** Version bump only for package @markuplint/ml-spec
+### Bug Fixes
+
+- **ml-spec:** add explicit return type to getContentModel to fix d.ts output ([52724e5](https://github.com/markuplint/markuplint/commit/52724e5f40813b7637862bfe5c7d40f3908113b3))
+- **ml-spec:** fix broken getContentModel cache using WeakMap ([4074caa](https://github.com/markuplint/markuplint/commit/4074caa002fed6fd5a8b63da88ea356b544d1f57)), closes [#1022](https://github.com/markuplint/markuplint/issues/1022)
+- **ml-spec:** gate context role transparency to ARIA 1.3 only ([0535787](https://github.com/markuplint/markuplint/commit/053578760013f308e6135fb4c482e90e0d983643))
+- resolve additional eslint-plugin-unicorn v63 errors ([e58a72c](https://github.com/markuplint/markuplint/commit/e58a72c17c97bbec522f9513b99777fac6904d64))
+
+### Features
 
+- **ml-spec,rules:** adopt ARIA 1.3 property names with 1.2 compat ([4f7e54d](https://github.com/markuplint/markuplint/commit/4f7e54d21593495d36e48fbe8ad27f8be85ab5ef))
+- **ml-spec:** add ARIA 1.3 generic role transparency and image/img synonym ([58172f0](https://github.com/markuplint/markuplint/commit/58172f0ed3925bc3d68f5573ff0ba9b158db588b)), closes [#1265](https://github.com/markuplint/markuplint/issues/1265) [#2364](https://github.com/markuplint/markuplint/issues/2364)
+- **ml-spec:** add context role validation with caching and transparency ([7a27e0d](https://github.com/markuplint/markuplint/commit/7a27e0d729256919c926b03a11daeeebfd513e4b))
+- **ml-spec:** add declarative directivePatterns for parser-less framework support ([ceb9aa6](https://github.com/markuplint/markuplint/commit/ceb9aa67048e3a058b40a9e4d91eb903c8ff1861))
+- **ml-spec:** add dpubRoles to ARIASpec type and algorithms ([f88fe77](https://github.com/markuplint/markuplint/commit/f88fe778594e032e003c09396e53e9f64d4772c8)), closes [#1490](https://github.com/markuplint/markuplint/issues/1490)
+- **ml-spec:** add useIDLAttributeNames to ExtendedSpec type and merge logic ([ad4f563](https://github.com/markuplint/markuplint/commit/ad4f563a417e3a706f04882252aed2e89fb109c3))
 
+## [4.10.2](https://github.com/markuplint/markuplint/compare/@markuplint/ml-spec@4.10.1...@markuplint/ml-spec@4.10.2) (2026-02-10)
 
+**Note:** Version bump only for package @markuplint/ml-spec
 
+## [4.10.1](https://github.com/markuplint/markuplint/compare/@markuplint/ml-spec@4.10.0...@markuplint/ml-spec@4.10.1) (2025-11-05)
+
+**Note:** Version bump only for package @markuplint/ml-spec
 
 # [4.10.0](https://github.com/markuplint/markuplint/compare/@markuplint/ml-spec@4.9.7...@markuplint/ml-spec@4.10.0) (2025-08-24)