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

package/ARCHITECTURE.ja.md

@@ -18,7 +18,16 @@ src/
 │   └── permitted-structures.ts                   # content-models.schema.json から生成（ContentModel, Category）
 ├── algorithm/
 │   ├── aria/
-│   │   ├── accname-computation.ts                # dom-accessibility-api によるアクセシブルネーム計算
+│   │   ├── 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 → デフォルト）
@@ -42,6 +51,10 @@ src/
 │       ├── 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 要素の属性仕様（ラッパー）
@@ -142,7 +155,7 @@ flowchart TD
 
 ### 2. ARIA アルゴリズム
 
-ARIA アルゴリズムは WAI-ARIA, HTML-AAM, SVG-AAM, AccName 1.1 仕様に基づくロール計算とアクセシビリティツリー管理を実装します。
+ARIA アルゴリズムは WAI-ARIA, HTML-AAM, SVG-AAM, AccName 1.2 仕様に基づくロール計算とアクセシビリティツリー管理を実装します。
 
 | ファイル                         | 役割                                                                            |
 | -------------------------------- | ------------------------------------------------------------------------------- |
@@ -155,7 +168,9 @@ ARIA アルゴリズムは WAI-ARIA, HTML-AAM, SVG-AAM, AccName 1.1 仕様に基
 | `get-role-spec.ts`               | スーパークラスロールチェーン付き完全ロール仕様の取得                            |
 | `has-required-owned-elements.ts` | 必須所有要素制約の検証                                                          |
 | `matches-context-role.ts`        | 祖先チェーンにおける必須コンテキストロール条件の検証                            |
-| `accname-computation.ts`         | `dom-accessibility-api` によるアクセシブルネーム計算                            |
+| `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` かどうかの判定                            |
 
@@ -189,13 +204,12 @@ HTML アルゴリズムは HTML Living Standard に基づくコンテンツモ
 
 ## 外部依存パッケージ
 
-| パッケージ              | 用途                                               | 使用箇所                      |
-| ----------------------- | -------------------------------------------------- | ----------------------------- |
-| `@markuplint/ml-ast`    | XML 名前空間処理のための `NamespaceURI` 型         | `types/index.ts`, utils       |
-| `@markuplint/types`     | 属性値の型定義のための `Type` 共用体               | `types/attributes.ts` 経由    |
-| `dom-accessibility-api` | AccName 計算（WAI-ARIA アルゴリズム）              | `accname-computation.ts`      |
-| `is-plain-object`       | AAM 情報のプレーンオブジェクト検出                 | `get-permitted-roles-spec.ts` |
-| `type-fest`             | 深い不変性のための `ReadonlyDeep` ユーティリティ型 | 複数ファイル                  |
+| パッケージ           | 用途                                               | 使用箇所                      |
+| -------------------- | -------------------------------------------------- | ----------------------------- |
+| `@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` ユーティリティ型 | 複数ファイル                  |
 
 ## 他パッケージとの連携
 

package/ARCHITECTURE.md

@@ -18,7 +18,16 @@ src/
 │   └── permitted-structures.ts                   # Generated types from content-models.schema.json (ContentModel, Category)
 ├── algorithm/
 │   ├── aria/
-│   │   ├── accname-computation.ts                # Accessible name computation via dom-accessibility-api
+│   │   ├── 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)
@@ -42,6 +51,10 @@ src/
 │       ├── 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)
@@ -142,7 +155,7 @@ The type system defines the structure of markup language specifications, element
 
 ### 2. ARIA Algorithms
 
-ARIA algorithms implement WAI-ARIA, HTML-AAM, SVG-AAM, and AccName 1.1 specifications for role computation and accessibility tree management.
+ARIA algorithms implement WAI-ARIA, HTML-AAM, SVG-AAM, and AccName 1.2 specifications for role computation and accessibility tree management.
 
 | File                             | Purpose                                                                           |
 | -------------------------------- | --------------------------------------------------------------------------------- |
@@ -155,7 +168,9 @@ ARIA algorithms implement WAI-ARIA, HTML-AAM, SVG-AAM, and AccName 1.1 specifica
 | `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 via `dom-accessibility-api`                           |
+| `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`                                      |
 
@@ -189,13 +204,12 @@ Utilities for merging, resolving, and caching specifications.
 
 ## 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`     |
-| `dom-accessibility-api` | AccName computation (WAI-ARIA algorithm)          | `accname-computation.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                |
+| 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
 

package/CHANGELOG.md

@@ -3,6 +3,24 @@
 All notable changes to this project will be documented in this file.
 See [Conventional Commits](https://conventionalcommits.org) for commit guidelines.
 
+# [5.0.0-alpha.0](https://github.com/markuplint/markuplint/compare/v4.14.1...v5.0.0-alpha.0) (2026-02-20)
+
+### 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

package/README.md

@@ -54,7 +54,7 @@ Generated TypeScript types (do not edit directly):
 
 **WAI-ARIA Specification Algorithms**:
 
-- **Accessible Name Computation** - W3C AccName 1.1 compliant (via `dom-accessibility-api`)
+- **Accessible Name Computation** - W3C AccName 1.2 / HTML-AAM §4.1 compliant (`src/algorithm/aria/accname/`)
 - **Role Computation** - Explicit/implicit role resolution with conflict handling (`src/algorithm/aria/get-computed-role.ts`)
 - **Accessibility Tree Computation** - Element inclusion/exclusion logic (`src/algorithm/aria/is-exposed.ts`)
 - **ARIA Property Computation** - Attribute value resolution with HTML equivalents (`src/algorithm/aria/get-computed-aria-props.ts`)
@@ -84,7 +84,7 @@ Generated TypeScript types (do not edit directly):
 - **Spec Resolution**: `getSpecByTagName`, `getAttrSpecs`, `getRoleSpec`
 - **Content Model Utilities**: `getContentModel`, `isPalpableElements`, `isVoidElement`
 - **ARIA Utilities**: `getAria`, `getPermittedRoles`, `hasRequiredOwnedElements`
-- **Accessibility Utilities**: `accnameComputation`, `isExposed`, `mayBeFocusable`
+- **Accessibility Utilities**: `getAccname`, `isExposed`, `mayBeFocusable`
 - **Schema Utilities**: `schemaToSpec`, `resolveNamespace`, `validateAriaVersion`
 - **Framework Extension**: Merges base HTML specs with framework-specific extensions
 

package/docs/aria-algorithms.ja.md

@@ -9,7 +9,7 @@
 - **WAI-ARIA 1.1 / 1.2 / 1.3** -- ロール定義、ステート、プロパティ
 - **HTML-AAM**（HTML Accessibility API Mappings）-- HTML 要素の暗黙のロールマッピング
 - **SVG-AAM**（SVG Accessibility API Mappings）-- SVG のアクセシビリティツリー包含ルール
-- **AccName 1.1**（Accessible Name and Description Computation）-- アクセシブル名の計算
+- **AccName 1.2**（Accessible Name and Description Computation）-- アクセシブル名の計算
 - **ARIA in HTML** -- 要素ごとの許可されたロールと ARIA 属性の制約
 
 ### 設計方針
@@ -19,7 +19,7 @@
 - 標準的な DOM `Element` インターフェースで動作し、markuplint 固有のノード型を必要としません。
 - マークアップ言語仕様データ全体を含む `MLMLSpec` パラメータを受け取ります。
 - バージョン固有の動作を選択するために `ARIAVersion` パラメータ（`'1.1'`、`'1.2'`、または `'1.3'`）を受け取ります。
-- 純粋関数であり、副作用はありません（`getARIA` の内部キャッシュを除く）。
+- 純粋関数であり、副作用はありません（`getARIA` の内部キャッシュと `getAccname` の再入防止ガードを除く）。
 
 ## ロール計算パイプライン
 
@@ -86,13 +86,13 @@ ARIA アルゴリズム群の中核となる関数です。明示的ロール解
 
 **競合解決チェック（順序通り）:**
 
-1. **必須コンテキストロールの検証** -- ロールに `requiredContextRole` エントリがある場合、親階層をチェックします。親要素が存在しない場合は `NO_OWNER` を返します。親階層がコンテキストロール条件を満たさない場合（`matchesContextRole()` 経由）、`INVALID_REQUIRED_CONTEXT_ROLE` を返します。プレゼンテーショナルな祖先は `getNonPresentationalAncestor()` 経由で透過的に走査されます。
+1. **必須コンテキストロールの検証** -- ロールに `requiredAccessibilityParentRole` エントリ（ARIA 1.2 では `requiredContextRole`）がある場合、親階層をチェックします。親要素が存在しない場合は `NO_OWNER` を返します。親階層がコンテキストロール条件を満たさない場合（`matchesContextRole()` 経由）、`INVALID_REQUIRED_CONTEXT_ROLE` を返します。プレゼンテーショナルな祖先は `getNonPresentationalAncestor()` 経由で透過的に走査されます。
 
-2. **SVG アクセシビリティツリー包含** -- 有効な明示的ロールを持たない SVG 名前空間要素について、アクセシブル名があるか（`getAccname()` 経由）、または `<title>`/`<desc>` 子要素があるかをチェックします。どちらも存在しない場合、その SVG 要素はアクセシビリティツリーから除外されます（`role: null` を返す）。これは、通常省略される SVG 要素を含めるための SVG-AAM ルールを実装しています。
+2. **SVG アクセシビリティツリー包含** -- 有効な明示的ロールを持たない SVG 名前空間要素について、アクセシブル名ソースがあるか（`hasSvgAccessibleNameSource()` 経由）をチェックします。具体的には `aria-label`、`aria-labelledby`、または `<title>`/`<desc>` 子要素の有無を確認します。いずれも存在しない場合、その SVG 要素はアクセシビリティツリーから除外されます（`role: null` を返す）。これは、通常省略される SVG 要素を含めるための SVG-AAM ルールを実装しています。
 
 3. **インタラクティブ要素の保護** -- フォーカス可能な要素はプレゼンテーショナルになれません。`mayBeFocusable()` をチェックし、要素が `disabled`、`inert`、`hidden` でないことを確認します（各属性について祖先を走査）。要素がインタラクティブで disabled/inert/hidden でない場合、プレゼンテーショナルロールは暗黙のロールで上書きされ、`INTERACTIVE_ELEMENT_MUST_NOT_BE_PRESENTATIONAL` エラーが返されます。
 
-4. **必須所有要素のチェック** -- 非プレゼンテーショナルな祖先が `requiredOwnedElements` を持ち、現在の要素の暗黙のロールがその必須所有要素のいずれかに一致する場合、プレゼンテーショナルロールは上書きされます。`REQUIRED_OWNED_ELEMENT_MUST_NOT_BE_PRESENTATIONAL` を返します。
+4. **必須所有要素のチェック** -- 非プレゼンテーショナルな祖先が `allowedAccessibilityChildRoles`（ARIA 1.2 では `requiredOwnedElements`）を持ち、現在の要素の暗黙のロールがその必須所有要素のいずれかに一致する場合、プレゼンテーショナルロールは上書きされます。`REQUIRED_OWNED_ELEMENT_MUST_NOT_BE_PRESENTATIONAL` を返します。
 
 5. **グローバル ARIA プロパティのチェック** -- 要素がグローバル ARIA プロパティ（例: `aria-label`、`aria-describedby`）を持つ場合、プレゼンテーショナルロールは暗黙のロールで上書きされます。`GLOBAL_PROP_MUST_NOT_BE_PRESENTATIONAL` を返します。
 
@@ -242,12 +242,12 @@ if (result.role) {
 
 | `permittedRoles` の値               | 動作                                                                                                                                 |
 | ----------------------------------- | ------------------------------------------------------------------------------------------------------------------------------------ |
-| `true`                              | ARIA 仕様のすべての非抽象ロールが許可されます。                                                                                      |
+| `true`                              | ARIA 仕様のすべての非抽象ロール（DPub ロールを含む）が許可されます。                                                                 |
 | `PermittedARIAAAMInfo` オブジェクト | `core-aam` が `true` の場合、すべての非抽象ロールを追加。`graphics-aam` が `true` の場合、すべての非抽象グラフィックスロールを追加。 |
 | 文字列/オブジェクトの配列           | リストに記載された特定のロールが許可されます。                                                                                       |
 | `false`                             | ロールは許可されません（暗黙のロール追加前は空リスト）。                                                                             |
 
-4. 結果には常に暗黙のロールを含めます。暗黙のロールが `"presentation"` または `"none"` の場合、両方の等価ロールが含まれます。
+4. 結果には常に暗黙のロールを含めます。暗黙のロールが `"presentation"` または `"none"` の場合、両方の等価ロールが含まれます。ARIA 1.3 では、暗黙のロールが `"img"` または `"image"` の場合、両方のシノニムが含まれます。
 5. マージおよび重複排除されたリストを返します。
 
 ---
@@ -273,9 +273,10 @@ if (result.role) {
 
 1. 指定されたバージョンの ARIA ロールリストからロール名で検索します。
 2. SVG 名前空間（`http://www.w3.org/2000/svg`）の場合、コアロールで見つからなければ `graphicsRoles` も検索します。
-3. `generalization` プロパティ経由でスーパークラスロールを再帰的に走査し、完全な継承チェーンを構築します。
-4. すべてのオプションフィールドを未定義でないデフォルト値に正規化します（例: `!!role.isAbstract`、`role.requiredContextRole ?? []`）。
-5. ロール名が仕様に存在しない場合は `null` を返します。
+3. それでも見つからない場合、`dpubRoles` を検索します（DPub ARIA ロールは名前空間に関係なくすべての要素で受け入れられます）。
+4. `generalization` プロパティ経由でスーパークラスロールを再帰的に走査し、完全な継承チェーンを構築します。
+5. すべてのオプションフィールドを未定義でないデフォルト値に正規化します（例: `!!role.isAbstract`）。`requiredAccessibilityParentRole` はスキーマの `requiredContextRole`（ARIA 1.2 名）または `requiredAccessibilityParentRole`（ARIA 1.3 名）から解決され、同様に `allowedAccessibilityChildRoles` は `requiredOwnedElements` または `allowedAccessibilityChildRoles` から解決されます。新旧両方のプロパティ名に同じ値が設定されます。
+6. ロール名が仕様に存在しない場合は `null` を返します。
 
 **戻り値の正規化されたフィールド:**
 
@@ -284,8 +285,10 @@ if (result.role) {
   name: string;
   isAbstract: boolean;          // デフォルト: false
   deprecated: boolean;          // デフォルト: false
-  requiredContextRole: string[];     // デフォルト: []
-  requiredOwnedElements: string[];   // デフォルト: []
+  requiredAccessibilityParentRole: string[];  // デフォルト: []
+  allowedAccessibilityChildRoles: string[];   // デフォルト: []
+  requiredContextRole: string[];     // @deprecated エイリアス — requiredAccessibilityParentRole と同値
+  requiredOwnedElements: string[];   // @deprecated エイリアス — allowedAccessibilityChildRoles と同値
   accessibleNameRequired: boolean;   // デフォルト: false
   accessibleNameFromAuthor: boolean; // デフォルト: false
   accessibleNameFromContent: boolean;// デフォルト: false
@@ -322,7 +325,7 @@ if (result.role) {
 1. `getVersionResolvedARIA()` を呼び出します。この関数は：
    - タグ名と名前空間で要素仕様を検索します。
    - `resolveVersion()` を適用して、ベース ARIA 仕様の上にバージョン固有のオーバーライドをマージします。
-   - 許可ロールの最適化：許可ロール配列に `"presentation"` がある場合は `"none"` を追加し、逆も同様です（WAI-ARIA 1.2 の `none` ロールに関する注記に準拠）。
+   - 許可ロールの最適化：許可ロール配列に `"presentation"` がある場合は `"none"` を追加し、逆も同様です（WAI-ARIA 1.2 の `none` ロールに関する注記に準拠）。ARIA 1.3 では、`"image"` がある場合は `"img"` を追加し、逆も同様です（ARIA 1.3 の `image`/`img` シノニムに準拠）。
    - 結果を `localName + namespace + version` をキーとしてキャッシュします。
 
 2. 条件付きオーバーライド（ARIA 仕様の `conditions` ブロック）を評価します：
@@ -386,25 +389,140 @@ if (result.role) {
 
 ---
 
-### 10. `getAccname(el): string`
+### 10. `getAccname(el, specs, version): string`
 
 **ソース:** `src/algorithm/aria/accname-computation.ts`
 
-WAI-ARIA アクセシブル名計算アルゴリズムを使用して、要素のアクセシブル名を計算します。
+HTML-AAM §4.1 アルゴリズムを使用して、DOM 要素のアクセシブル名を計算します。DOM ベースのリゾルバを作成し、純粋な `computeAccessibleName()` 関数に委譲する公開ファサードです。
 
 **パラメータ:**
 
-| パラメータ | 型        | 説明     |
-| ---------- | --------- | -------- |
-| `el`       | `Element` | DOM 要素 |
+| パラメータ | 型            | 説明                                     |
+| ---------- | ------------- | ---------------------------------------- |
+| `el`       | `Element`     | DOM 要素                                 |
+| `specs`    | `MLMLSpec`    | 完全なマークアップ言語仕様               |
+| `version`  | `ARIAVersion` | ロール照会に使用する ARIA 仕様バージョン |
 
 **戻り値:** `string` -- 計算されたアクセシブル名、または見つからない場合は空文字列。
 
-**アルゴリズム:**
+**アーキテクチャ:**
+
+実装は2つのレイヤーに分離されています:
+
+- **`accname-computation.ts`**（ファサード）: DOM ベースの `AccnameResolver` を作成し、`:aria(has name)` セレクタ循環の再入防止ガードを処理し、純粋アルゴリズムに委譲。
+- **`accname/compute.ts`**（純粋アルゴリズム）: `AccnameElement` と `AccnameResolver` インターフェースのみを使用して AccName 1.2 §4.3.2 の Steps 2A–2I を実装。DOM や markuplint 型への依存なし。
+
+**アルゴリズム（AccName 1.2 §4.3.2）:**
+
+1. **Step 2A — 非表示判定:** 要素が非表示かつ `aria-labelledby` で参照されていない場合、空を返す。
+2. **Step 2B – `aria-labelledby`:** 参照先要素を解決し、その名前を再帰的に計算（訪問済みセットで循環防止）。
+3. **Step 2D – `aria-label`:** `aria-label` 属性の値が非空であればそれを使用。
+4. **Step 2E – 要素固有の名前:** HTML-AAM §4.1 のルールを適用（ラベル関連付け、`<img alt>`、`<input value>`、`<fieldset>` legend、`<table>` caption、SVG `<title>` 等）。
+5. **Step 2F – コンテンツからの名前:** ロールが name-from-content を許可する場合、または要素が `aria-labelledby` で参照されている場合、子ノードのテキストを再帰的に収集（Step 2C の埋め込みコントロール値抽出を含む）。
+6. **Step 2I – title フォールバック:** `title` 属性の値を使用。
+
+**再入防止ガード:** `getAccname` は `WeakSet<Element>` を使用して、`getComputedRole` が `:aria(has name)` セレクタを評価する際に `getAccname` を再度呼び出す無限再帰を防止します。
+
+#### AccName アルゴリズム制御フロー
+
+以下の図は、アクセシブル名計算アルゴリズムの全制御フローを示し、各ステップを実装ファイルにマッピングしています。
+
+```mermaid
+flowchart TB
+    Start([Element]) --> Facade["getAccname()\n<i>accname-computation.ts</i>"]
+    Facade --> Guard{"再入\nガード?"}
+    Guard -->|"計算中"| Empty(["'' を返す"])
+    Guard -->|"初回呼び出し"| Resolver["createDomResolver()\n<i>accname-computation.ts</i>"]
+    Resolver --> Compute["computeAccessibleName()\n<i>compute.ts</i>"]
+
+    Compute --> Hidden{"非表示 &\nlabelledby\n外?"}
+    Hidden -->|Yes| EmptyResult(["空を返す"])
+    Hidden -->|No| Precomp{"getPrecomputedName?\n<i>[実装固有]</i>"}
+
+    Precomp -->|"値あり"| PrecompResult(["事前計算名を返す"])
+    Precomp -->|"なし"| Step2B
+
+    subgraph step2b ["Step 2B — aria-labelledby (aria-steps.ts)"]
+        Step2B{"aria-labelledby\nあり &\nlabelledby\n走査外?"}
+        Step2B -->|Yes| SplitIDs["IDREF をホワイトスペースで分割"]
+        SplitIDs --> ForEachID["各 IDREF:\n• 訪問済みスキップ（自己参照は許可）\n• getElementById()\n• inLabelledby=true で再帰"]
+        ForEachID --> JoinParts["スペースで結合"]
+    end
+
+    Step2B -->|"なし / 空"| Step2D
+    JoinParts -->|"名前あり"| LabelledbyResult(["名前を返す\nsource: aria-labelledby"])
+
+    subgraph step2d ["Step 2D — aria-label (aria-steps.ts)"]
+        Step2D{"aria-label\n非空?"}
+    end
+
+    Step2D -->|Yes| AriaLabelResult(["名前を返す\nsource: aria-label"])
+    Step2D -->|No| Step2E
+
+    subgraph step2e ["Step 2E — 要素固有 (element-names.ts)"]
+        Step2E["getElementSpecificName()"]
+        Step2E --> Dispatch{"要素\n種別?"}
+        Dispatch -->|"SVG"| SVGTitle["SVG: title 子要素\n<i>SVG-AAM §8.1</i>"]
+        Dispatch -->|"input"| InputType["Input: type で分岐\n<i>HTML-AAM §4.1</i>"]
+        Dispatch -->|"button"| BtnLabel["ラベル → コンテンツ\n<i>HTML-AAM §4.1</i>"]
+        Dispatch -->|"fieldset"| Legend["legend コンテンツ\n<i>HTML-AAM §4.1</i>"]
+        Dispatch -->|"table"| Caption["caption コンテンツ\n<i>HTML-AAM §4.1</i>"]
+        Dispatch -->|"img"| ImgAlt["alt 属性\n<i>HTML-AAM §4.1</i>"]
+        Dispatch -->|"その他"| LabelAssoc["label-steps.ts:\nラベル関連付け\n<i>for= / 祖先</i>"]
+    end
+
+    Step2E -->|"名前あり"| ElementResult(["名前を返す\nsource: element-specific"])
+    Step2E -->|"null"| Step2F
+
+    subgraph step2f ["Step 2F/2C — コンテンツからの名前 (helpers.ts)"]
+        Step2F{"ロールが\nnameFrom: content\nを許可 OR\nlabelledby 走査中?"}
+        Step2F -->|Yes| WalkChildren["resolveNameFromContent():\n各子ノードに対して:"]
+        WalkChildren --> ChildType{"ノード\n種別?"}
+        ChildType -->|"テキスト"| TextContent["textContent を使用"]
+        ChildType -->|"埋め込み\nコントロール"| EmbedValue["getEmbeddedControlValue()\n<i>AccName §4.3.2 Step 2C</i>"]
+        ChildType -->|"要素"| RecurseChild["computeFn() で再帰;\n名前なし → collectTextContent()\n<i>[実装固有]</i>"]
+        TextContent --> JoinSpaces["スペースで結合"]
+        EmbedValue --> JoinSpaces
+        RecurseChild --> JoinSpaces
+    end
+
+    Step2F -->|"不可"| Step2I
+    JoinSpaces -->|"名前あり"| ContentResult(["名前を返す\nsource: content"])
+    JoinSpaces -->|"空"| Step2I
+
+    subgraph step2i ["Step 2I — title フォールバック"]
+        Step2I{"title 属性\n非空?"}
+    end
+
+    Step2I -->|Yes| TitleResult(["名前を返す\nsource: title"])
+    Step2I -->|No| FinalEmpty(["空を返す"])
+```
+
+#### W3C 仕様参照
+
+| 仕様                                                | セクション     | 説明                                           |
+| --------------------------------------------------- | -------------- | ---------------------------------------------- |
+| [AccName 1.2](https://www.w3.org/TR/accname-1.2/)   | §4.3.2         | 計算ステップ（Steps 2A–2I）                    |
+| [HTML-AAM 1.0](https://www.w3.org/TR/html-aam-1.0/) | §4.1           | アクセシブル名と説明の計算                     |
+| [HTML-AAM 1.0](https://www.w3.org/TR/html-aam-1.0/) | §4.1（要素別） | 要素固有の名前計算ルール                       |
+| [SVG-AAM 1.0](https://www.w3.org/TR/svg-aam-1.0/)   | §5.1.1, §8.1   | SVG アクセシビリティツリー包含と名前マッピング |
+
+#### 実装固有の拡張
+
+以下の動作は厳密な AccName 仕様を超えた拡張です:
+
+| 拡張                                                | 場所                     | 根拠                                                                                                                                                                                                                                                                                                                              |
+| --------------------------------------------------- | ------------------------ | --------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------- |
+| 事前計算名 (`getPrecomputedName`)                   | `compute.ts`             | ml-core の Pretender 統合によるフレームワークコンポーネントのサポート                                                                                                                                                                                                                                                             |
+| 透過的テキスト収集 (`collectTextContent`)           | `helpers.ts`             | `nameFrom: ["content"]` を含まないロールの中間要素（例: `<button>` 内の `<span>`）からテキストを収集                                                                                                                                                                                                                              |
+| `<select>` 選択オプション (`getSelectedOptionText`) | `helpers.ts`             | `selected` 属性による選択オプションテキストの静的近似。カスタマイズ可能な `<select>` ([#2069](https://github.com/markuplint/markuplint/issues/2069)) では: (1) `collectOptions` が新しい子要素型（`<button>`、`<datalist>`、`<selectedcontent>`）をスキップする必要あり、(2) `<selectedcontent>` が名前計算に影響するか評価が必要 |
+| 再入防止ガード (`computingElements` WeakSet)        | `accname-computation.ts` | `getComputedRole` → `getARIA` → `matches` チェーン内の `:aria(has name)` 擬似クラスによる無限再帰を防止                                                                                                                                                                                                                           |
 
-1. AccName 1.1 アルゴリズムを完全に実装した `dom-accessibility-api` ライブラリの `computeAccessibleName()` に委譲します。
-2. **`<input>` 要素のフォールバック:** 計算された名前がトリム後に空の場合、`placeholder` 属性の値（トリム済み）を返します。
-3. いずれの方法でも名前が見つからない場合、空文字列を返します。
+#### 既知の制限事項
+
+| 制限事項                                   | AccName 参照   | 説明                                                                                                                                                                                                                                                                                                                                |
+| ------------------------------------------ | -------------- | ----------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------- |
+| CSS 生成コンテンツ（`::before`/`::after`） | §4.3.2 Step 2G | AccName 仕様では、`::before`/`::after` 擬似要素の `content` プロパティによる CSS 生成テキストコンテンツを累積テキストに含めることが要求されています。markuplint は CSS 処理を伴わない静的 HTML 解析を行うため、このコンテンツはリント時に利用できません。CSS 生成コンテンツのみでアクセシブル名を提供している要素は検出されません。 |
 
 ---
 
@@ -448,19 +566,19 @@ WAI-ARIA アクセシブル名計算アルゴリズムを使用して、要素
 
 **ソース:** `src/algorithm/aria/has-required-owned-elements.ts`
 
-「必須所有要素」制約を検証するための関連する 2 つの関数です。
+「Allowed Accessibility Child Roles」制約（ARIA 1.2 では「Required Owned Elements」）を検証するための関連する 2 つの関数です。
 
 #### `hasRequiredOwnedElement`
 
-要素がその計算ロールで定義された必須所有要素の制約を満たしているかどうかをチェックします。
+要素がその計算ロールで定義された「Allowed Accessibility Child Roles」制約を満たしているかどうかをチェックします。
 
 **アルゴリズム:**
 
 1. 要素が `aria-owns` 属性を持つ場合、`true` を返します（部分的サポート -- 参照される要素は検証されません）。
 2. `getComputedRole()` 経由で要素のロールを計算します。
-3. ロールに `requiredOwnedElements` がない場合、`true` を返します。
-4. 要素の最も近い非プレゼンテーショナルな子孫を走査します（子要素を対象とし、プレゼンテーショナルな要素は透過的に通過）。
-5. 各必須所有要素パターンについて、いずれかの子孫が `isRequiredOwnedElement()` 経由でマッチするかをチェックします。
+3. ロールに `allowedAccessibilityChildRoles` がない場合、`true` を返します。
+4. 要素の最も近い非プレゼンテーショナルな子孫を走査します（子要素を対象とし、所有権において透過的なロールを持つ要素は `isTransparentForOwnership()` 経由で透過的に通過）。ARIA 1.3 では `generic` 要素も透過的になります。
+5. 各 Allowed Accessibility Child Role パターンについて、いずれかの子孫が `isRequiredOwnedElement()` 経由でマッチするかをチェックします。
 
 #### `isRequiredOwnedElement`
 
@@ -478,7 +596,7 @@ WAI-ARIA アクセシブル名計算アルゴリズムを使用して、要素
 
 **クエリ構文:** `>` 記法によるチェーンをサポートします。例えば、`"group > listitem"` は要素がロール `"group"` を持ち、ロール `"listitem"` を持つ子孫を含む必要があることを意味します。
 
-**仕様上の課題:** WAI-ARIA 仕様は「所有（owned）」が子か子孫かを決定していません。この実装では HTML セマンティクスに合わせるため、「所有」を**子**（子孫ではなく）として解釈しています。プレゼンテーショナルな子は透過的に走査されます。
+**所有権の走査:** ARIA 1.1/1.2 では、WAI-ARIA 仕様は「所有（owned）」が子か子孫かを決定していません。この実装では HTML セマンティクスに合わせるため、「所有」を**子**（子孫ではなく）として解釈しています。`presentation`/`none` の子は透過的に走査されます。ARIA 1.3 では「accessibility child」と「accessibility parent」の定義が正式に導入され、さらに `generic` 要素も透過的になります（`isTransparentForOwnership()` 経由）。
 
 ---
 
@@ -507,6 +625,8 @@ WAI-ARIA アクセシブル名計算アルゴリズムを使用して、要素
 4. 各レベルで、`getComputedRole()` を `assumeSingleNode = true` として呼び出し、親のロールを独立して取得します。
 5. いずれかの条件文字列が祖先チェーンと完全に一致すれば `true` を返します。
 
+**ARIA 1.3 の透過性:** ARIA 1.3 以降では、`generic` または `none` ロールを持つ親要素はマッチング中に透過的にスキップされます（`isTransparentForOwnership()` 経由）。ARIA 1.1/1.2 では、親要素はスキップされずに厳密にマッチされます。
+
 **例:** `requiredContextRole: ["list", "list > group"]` を持つ `listitem` ロールの場合：
 
 - `"list"` は親が `list` ロールを持つ場合にマッチします。
@@ -557,13 +677,37 @@ WAI-ARIA アクセシブル名計算アルゴリズムを使用して、要素
 
 1. `el.parentElement` から開始します。
 2. 各祖先について、`getComputedRole()` 経由でロールを計算します。
-3. 祖先のロールがプレゼンテーショナルでない場合、その祖先の計算ロールを返します。
+3. 祖先のロールが所有権走査において透過的でない場合（`isTransparentForOwnership()` 経由）、その祖先の計算ロールを返します。
 4. そうでなければ、次の親へ続行します。
 5. 非プレゼンテーショナルな祖先が見つからない場合、`{ el: null, role: null }` を返します。
 
 ---
 
-### 16. `ariaSpecs(specs, version)`
+### 16. `isTransparentForOwnership(roleName, version): boolean`
+
+**ソース:** `src/algorithm/aria/is-presentational.ts`
+
+指定されたロールが所有権走査において透過的かどうかを判定します。`getNonPresentationalAncestor`、`getClosestNonPresentationalDescendants`、`matchesContextRole` がスキップすべき要素を決定するために使用します。
+
+**パラメータ:**
+
+| パラメータ | 型                    | 説明                       |
+| ---------- | --------------------- | -------------------------- |
+| `roleName` | `string \| undefined` | チェックする ARIA ロール名 |
+| `version`  | `ARIAVersion`         | ARIA 仕様バージョン        |
+
+**戻り値:** ロールが所有権走査中にスキップされるべき場合は `true`。
+
+**バージョンごとの動作:**
+
+| ARIA バージョン  | 透過的なロール                    |
+| ---------------- | --------------------------------- |
+| `'1.1'`、`'1.2'` | `presentation`、`none`            |
+| `'1.3'`          | `presentation`、`none`、`generic` |
+
+---
+
+### 17. `ariaSpecs(specs, version)`
 
 **ソース:** `src/algorithm/aria/aria-specs.ts`
 
@@ -576,9 +720,9 @@ WAI-ARIA アクセシブル名計算アルゴリズムを使用して、要素
 | `specs`    | `MLMLSpec`    | マークアップ言語仕様全体 |
 | `version`  | `ARIAVersion` | ARIA 仕様バージョン      |
 
-**戻り値:** `{ roles: ARIARoleInSchema[], graphicsRoles: ARIARoleInSchema[], props: ARIAProperty[] }`
+**戻り値:** `{ roles: ARIARoleInSchema[], graphicsRoles: ARIARoleInSchema[], dpubRoles: ARIARoleInSchema[], props: ARIAProperty[] }`
 
-**実装:** `specs.def['#aria'][version]` を返し、リクエストされた ARIA バージョンに定義されたロール、グラフィックスロール、およびプロパティへの直接アクセスを提供します。
+**実装:** `specs.def['#aria'][version]` を返し、リクエストされた ARIA バージョンに定義されたロール、グラフィックスロール、DPub ロール、およびプロパティへの直接アクセスを提供します。
 
 ## RoleComputationError リファレンス
 
@@ -636,6 +780,8 @@ function resolveVersion(aria: ARIA, version: ARIAVersion): ResolvedARIA {
 ### バージョンが動作に与える影響
 
 - **`getNonPresentationalAncestor`**: ARIA 1.1/1.2 では、祖先のロール計算に完全なコンテキストを使用します（`assumeSingleNode = false`）。ARIA 1.3 以降では、各祖先が独立して計算されます（`assumeSingleNode = true`）。
+- **`isTransparentForOwnership`**: ARIA 1.1/1.2 では `presentation`/`none` のみが透過的です。ARIA 1.3 では、WAI-ARIA の「accessibility child」と「accessibility parent」の定義に従い、`generic` も透過的になります。
+- **`matchesContextRole`**: ARIA 1.1/1.2 では、親要素は厳密にマッチされます。ARIA 1.3 以降では、`generic`/`none` の親は透過的にスキップされます。
 - **`namingProhibited`**: ARIA 1.2 以降でのみ適用されます。バージョン 1.1 は常にベース値を使用します。
 - **ロールとプロパティの定義**: 利用可能なロールとそのプロパティはバージョン間で異なる場合があります（例: 1.2 や 1.3 で追加された新しいロール）。
 
@@ -646,6 +792,7 @@ ARIA アルゴリズムは以下の W3C 仕様で定義された動作を実装
 - [WAI-ARIA 1.2](https://www.w3.org/TR/wai-aria-1.2/) -- Accessible Rich Internet Applications、主要リファレンス
 - [WAI-ARIA 1.1](https://www.w3.org/TR/wai-aria-1.1/) -- 以前のバージョン、引き続きサポート
 - [HTML-AAM 1.0](https://www.w3.org/TR/html-aam-1.0/) -- HTML Accessibility API Mappings（暗黙のロールマッピング）
-- [AccName 1.1](https://www.w3.org/TR/accname-1.1/) -- Accessible Name and Description Computation
+- [AccName 1.2](https://www.w3.org/TR/accname-1.2/) -- Accessible Name and Description Computation
 - [SVG-AAM 1.0](https://www.w3.org/TR/svg-aam-1.0/) -- SVG Accessibility API Mappings
+- [DPub-ARIA 1.1](https://w3c.github.io/dpub-aria/) -- Digital Publishing WAI-ARIA Module（DPub ロール）
 - [ARIA in HTML](https://www.w3.org/TR/html-aria/) -- HTML 要素ごとの許可されたロールと ARIA 属性の制約