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

package/ARCHITECTURE.ja.md

@@ -146,16 +146,16 @@ flowchart TD
 
 型システムは、マークアップ言語仕様・要素仕様・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 カテゴリ）        |
+| ファイル                        | 役割                                                                                                  |
+| ------------------------------- | ----------------------------------------------------------------------------------------------------- |
+| `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 + MathML 3 カテゴリ） |
 
 ### 2. ARIA アルゴリズム
 
-ARIA アルゴリズムは WAI-ARIA, HTML-AAM, SVG-AAM, AccName 1.2 仕様に基づくロール計算とアクセシビリティツリー管理を実装します。
+ARIA アルゴリズムは WAI-ARIA, HTML-AAM, SVG-AAM, MathML-AAM, AccName 1.2 仕様に基づくロール計算とアクセシビリティツリー管理を実装します。
 
 | ファイル                         | 役割                                                                            |
 | -------------------------------- | ------------------------------------------------------------------------------- |
@@ -183,7 +183,7 @@ 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-palpable-elements.ts`                    | SVG/MathML/露出可能要素拡張付きパルパブルコンテンツ検出                        |
 | `is-void-element.ts`                         | ボイド要素判定（13 の HTML ボイド要素）                                        |
 | `is-nothing-content-model.ts`                | 「Nothing」コンテンツモデル判定（void + iframe + template）                    |
 | `may-be-focusable.ts`                        | フォーカス可能性ヒューリスティック（interactive + tabindex + contenteditable） |

package/ARCHITECTURE.md

@@ -146,16 +146,16 @@ flowchart TD
 
 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)       |
+| 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 + MathML 3 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.
+ARIA algorithms implement WAI-ARIA, HTML-AAM, SVG-AAM, MathML-AAM, and AccName 1.2 specifications for role computation and accessibility tree management.
 
 | File                             | Purpose                                                                           |
 | -------------------------------- | --------------------------------------------------------------------------------- |
@@ -183,7 +183,7 @@ HTML algorithms implement content model evaluation and element classification fr
 | `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-palpable-elements.ts`                    | Palpable content detection with SVG/MathML/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) |

package/CHANGELOG.md

@@ -3,6 +3,28 @@
 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.2](https://github.com/markuplint/markuplint/compare/v5.0.0-alpha.1...v5.0.0-alpha.2) (2026-02-23)
+
+### Features
+
+- **ml-spec:** add MathML content model categories and namespace support ([80f0945](https://github.com/markuplint/markuplint/commit/80f0945595aed48c9766423e83e8cd2b1c454a54))
+
+# [5.0.0-alpha.1](https://github.com/markuplint/markuplint/compare/v5.0.0-alpha.0...v5.0.0-alpha.1) (2026-02-22)
+
+### Bug Fixes
+
+- **ml-spec:** add transparent traversal fallback in collectLabelText ([d6096c1](https://github.com/markuplint/markuplint/commit/d6096c1ceba190e7799974d0c682695946f852ed))
+
+- feat(ml-spec)!: update default ARIA version to 1.3 ([c3b56e2](https://github.com/markuplint/markuplint/commit/c3b56e2bf06a667a00aa621f2f51a082a90d4e2f))
+
+### BREAKING CHANGES
+
+- The default ARIA specification version used when none
+  is explicitly configured changes from 1.2 to 1.3. This may produce
+  different lint results for rules that depend on ARIA version.
+
+Co-Authored-By: Claude Opus 4.6 <noreply@anthropic.com>
+
 # [5.0.0-alpha.0](https://github.com/markuplint/markuplint/compare/v4.14.1...v5.0.0-alpha.0) (2026-02-20)
 
 ### Bug Fixes

package/README.md

@@ -6,7 +6,7 @@
 
 This package serves as the foundational layer for markuplint's specification system, providing:
 
-- **Type definitions** for markup language specifications (HTML, ARIA, SVG)
+- **Type definitions** for markup language specifications (HTML, ARIA, SVG, MathML)
 - **W3C specification algorithms** (HTML Standard, WAI-ARIA 1.1/1.2/1.3 compliance)
 - **JSON schemas** that define the structure of element specifications
 - **Runtime utilities** for specification resolution, attribute validation, and content model checking

package/docs/spec-resolution.ja.md

@@ -155,21 +155,28 @@ result.directivePatterns = [...(result.directivePatterns ?? []), ...extendedSpec
 （最初のマッチが優先）。そのため、フレームワーク spec はパターンを
 最も具体的なものから最も一般的なものの順で定義する必要があります。
 
-#### 6. `useIDLAttributeNames`
+#### 6. `acceptedAttrNames`
 
-拡張仕様が `useIDLAttributeNames` を明示的に設定している場合（`true` または
-`false`）、現在の値を上書きします：
+拡張仕様が `acceptedAttrNames` を明示的に設定している場合、
+現在の値を上書きします：
 
 ```ts
-if (extendedSpec.useIDLAttributeNames != null) {
-  result.useIDLAttributeNames = extendedSpec.useIDLAttributeNames;
+if (extendedSpec.acceptedAttrNames != null) {
+  result.acceptedAttrNames = extendedSpec.acceptedAttrNames;
 }
 ```
 
 これは明示的な `null` ガード付きの last-write-wins セマンティクスです。
 プロパティを省略しても以前に設定された値はリセットされません。
-このフラグは `@markuplint/ml-core` の `MLAttr` コンストラクタで使用され、
-IDL-コンテンツ属性名解決（例: `className` → `class`）を有効化します。
+この値は `@markuplint/ml-core` の `MLAttr` コンストラクタで使用され、
+属性名の解決方法を制御します：
+
+- `'idl'` -- IDL-コンテンツ属性名解決を有効化（例: `className` → `class`）し、
+  コンテンツ属性名が使用された場合にIDL名を候補として提案します
+  （例: `tabindex` → 「`tabIndex` の間違いでは？」）。Reactで使用されます。
+- `'both'` -- IDL-コンテンツ属性名解決を有効化しますが、IDL名を候補として
+  提案**しません**。コンテンツ属性名（例: `class`）とIDLプロパティ名
+  （例: `className`）の両方が警告なしで受け入れられます。Svelteで使用されます。
 
 #### 7. 要素仕様
 

package/docs/spec-resolution.md

@@ -160,21 +160,29 @@ This is simple array concatenation. The core engine evaluates patterns in order
 (first match wins), so framework specs should define their patterns from most
 specific to most general.
 
-#### 6. `useIDLAttributeNames`
+#### 6. `acceptedAttrNames`
 
-If the extended spec explicitly sets `useIDLAttributeNames` (to `true` or
-`false`), it overrides the current value:
+If the extended spec explicitly sets `acceptedAttrNames`, it overrides the
+current value:
 
 ```ts
-if (extendedSpec.useIDLAttributeNames != null) {
-  result.useIDLAttributeNames = extendedSpec.useIDLAttributeNames;
+if (extendedSpec.acceptedAttrNames != null) {
+  result.acceptedAttrNames = extendedSpec.acceptedAttrNames;
 }
 ```
 
 This is a last-write-wins semantic with explicit `null` guard -- omitting the
-property does not reset a previously set value. This flag is consumed by
-`@markuplint/ml-core`'s `MLAttr` constructor to enable IDL-to-content attribute
-name resolution (e.g., `className` -> `class`).
+property does not reset a previously set value. The value controls how
+`@markuplint/ml-core`'s `MLAttr` constructor resolves attribute names:
+
+- `'idl'` -- Enables IDL-to-content attribute name resolution (e.g.,
+  `className` -> `class`) and suggests IDL names as candidates when the
+  content attribute name is used (e.g., `tabindex` -> "Did you mean
+  `tabIndex`?"). Used by React, where only IDL property names are accepted.
+- `'both'` -- Enables IDL-to-content attribute name resolution but does
+  **not** suggest IDL names as candidates. Both content attribute names
+  (e.g., `class`) and IDL property names (e.g., `className`) are accepted
+  without warnings. Used by Svelte.
 
 #### 7. Element Specs
 

package/lib/algorithm/aria/accname/label-steps.js

@@ -59,7 +59,15 @@ function collectLabelText(label, labeledElement, resolver, visited, computeFn, i
                 continue;
             }
             const result = computeFn(childEl, resolver, inLabelledbyTraversal, visited);
-            parts.push(result.name);
+            if (result.name) {
+                parts.push(result.name);
+            }
+            else {
+                // Transparent traversal: when the child element has no accessible name
+                // (e.g., <span> with role="generic"), recursively collect its descendant text.
+                // This matches the behavior of resolveNameFromContent's fallback.
+                parts.push(collectLabelText(childEl, labeledElement, resolver, visited, computeFn, inLabelledbyTraversal));
+            }
         }
     }
     return parts.join(' ');

package/lib/algorithm/html/content-model-category-to-tag-names.js

@@ -13,7 +13,17 @@ export function contentModelCategoryToTagNames(contentModel, def) {
     if (cached) {
         return cached;
     }
-    const tags = def['#contentModels'][contentModel];
+    let tags = def['#contentModels'][contentModel];
+    if (!tags) {
+        // Case-insensitive fallback for mixed-case categories (e.g., #MathMLPresentation, #SVGAnimation)
+        const lowerKey = contentModel.toLowerCase();
+        for (const key of Object.keys(def['#contentModels'])) {
+            if (key.toLowerCase() === lowerKey) {
+                tags = def['#contentModels'][key];
+                break;
+            }
+        }
+    }
     const sortedTag = Object.freeze(tags && Array.isArray(tags) ? tags.toSorted() : []);
     cache.set(contentModel, sortedTag);
     return sortedTag;

package/lib/types/aria.d.ts

@@ -91,7 +91,7 @@ export interface ARIA {
         namingProhibited?: true;
         implicitProperties?: ImplicitProperties;
         properties?: PermittedARIAProperties;
-        conditions?: {
+        conditions?: false | {
             /**
              * This interface was referenced by `undefined`'s JSON-Schema definition
              * via the `patternProperty` ".+".
@@ -111,7 +111,7 @@ export interface ARIA {
         namingProhibited?: true;
         implicitProperties?: ImplicitProperties;
         properties?: PermittedARIAProperties;
-        conditions?: {
+        conditions?: false | {
             /**
              * This interface was referenced by `undefined`'s JSON-Schema definition
              * via the `patternProperty` ".+".
@@ -130,7 +130,7 @@ export interface ARIA {
         permittedRoles?: PermittedRoles;
         implicitProperties?: ImplicitProperties;
         properties?: PermittedARIAProperties;
-        conditions?: {
+        conditions?: false | {
             /**
              * This interface was referenced by `undefined`'s JSON-Schema definition
              * via the `patternProperty` ".+".

package/lib/types/index.d.ts

@@ -12,7 +12,7 @@ export interface MLMLSpec {
     readonly def: SpecDefs;
     readonly specs: readonly ElementSpec[];
     readonly directivePatterns?: readonly DirectivePattern[];
-    readonly useIDLAttributeNames?: boolean;
+    readonly acceptedAttrNames?: 'idl' | 'both';
 }
 /**
  * An element specification for extending or overriding parts of the base spec.
@@ -32,7 +32,7 @@ export type ExtendedSpec = {
     readonly def?: Partial<SpecDefs>;
     readonly specs?: readonly ExtendedElementSpec[];
     readonly directivePatterns?: readonly DirectivePattern[];
-    readonly useIDLAttributeNames?: boolean;
+    readonly acceptedAttrNames?: 'idl' | 'both';
 };
 /**
  * A declarative pattern for resolving framework-specific directive

package/lib/types/permitted-structures.d.ts

@@ -6,7 +6,7 @@
 export type PermittedContentPattern = PermittedContentRequire | PermittedContentOptional | PermittedContentOneOrMore | PermittedContentZeroOrMore | PermittedContentChoice | PermittedContentTransparent;
 export type Model = ContentType | ContentType[];
 export type ContentType = string | Category;
-export type Category = '#text' | '#phrasing' | '#flow' | '#interactive' | '#heading' | '#sectioning' | '#metadata' | '#embedded' | '#palpable' | '#script-supporting' | '#SVGAnimation' | '#SVGBasicShapes' | '#SVGContainer' | '#SVGDescriptive' | '#SVGFilterPrimitive' | '#SVGFont' | '#SVGGradient' | '#SVGGraphics' | '#SVGGraphicsReferencing' | '#SVGLightSource' | '#SVGNeverRendered' | '#SVGNone' | '#SVGPaintServer' | '#SVGRenderable' | '#SVGShape' | '#SVGStructural' | '#SVGStructurallyExternal' | '#SVGTextContent' | '#SVGTextContentChild';
+export type Category = '#text' | '#phrasing' | '#flow' | '#interactive' | '#heading' | '#sectioning' | '#metadata' | '#embedded' | '#palpable' | '#script-supporting' | '#SVGAnimation' | '#SVGBasicShapes' | '#SVGContainer' | '#SVGDescriptive' | '#SVGFilterPrimitive' | '#SVGFont' | '#SVGGradient' | '#SVGGraphics' | '#SVGGraphicsReferencing' | '#SVGLightSource' | '#SVGNeverRendered' | '#SVGNone' | '#SVGPaintServer' | '#SVGRenderable' | '#SVGShape' | '#SVGStructural' | '#SVGStructurallyExternal' | '#SVGTextContent' | '#SVGTextContentChild' | '#MathMLPresentation' | '#MathMLScript' | '#MathMLTabular';
 export interface ContentModelsSchema {
     __contentModel?: ContentModel;
 }

package/lib/utils/aria-version.d.ts

@@ -5,4 +5,4 @@ export declare const ariaVersions: readonly ["1.1", "1.2", "1.3"];
 /**
  * The recommended default ARIA specification version to use when none is explicitly specified.
  */
-export declare const ARIA_RECOMMENDED_VERSION = "1.2";
+export declare const ARIA_RECOMMENDED_VERSION = "1.3";

package/lib/utils/aria-version.js

@@ -5,4 +5,4 @@ export const ariaVersions = ['1.1', '1.2', '1.3'];
 /**
  * The recommended default ARIA specification version to use when none is explicitly specified.
  */
-export const ARIA_RECOMMENDED_VERSION = '1.2';
+export const ARIA_RECOMMENDED_VERSION = '1.3';

package/lib/utils/get-spec-by-tag-name.d.ts

@@ -10,4 +10,4 @@ import type { ElementSpec } from '../types/index.js';
  * @param namespace - The namespace URI string, or null for HTML namespace
  * @returns The matching element specification, or null if not found
  */
-export declare function getSpecByTagName<K extends keyof ElementSpec = keyof ElementSpec>(specs: readonly Pick<ElementSpec, 'name' | K>[], localName: string, namespace: string | null): Pick<ElementSpec, K | "name"> | null;
+export declare function getSpecByTagName<K extends keyof ElementSpec = keyof ElementSpec>(specs: readonly Pick<ElementSpec, 'name' | K>[], localName: string, namespace: string | null): Pick<ElementSpec, "name" | K> | null;

package/lib/utils/get-spec.d.ts

@@ -9,4 +9,4 @@ import type { ElementSpec } from '../types/index.js';
  * @param specs - The array of element specifications to search
  * @returns The matching element specification, or null if not found
  */
-export declare function getSpec<K extends keyof ElementSpec>(el: Element, specs: readonly Pick<ElementSpec, 'name' | K>[]): Pick<ElementSpec, K | "name"> | null;
+export declare function getSpec<K extends keyof ElementSpec>(el: Element, specs: readonly Pick<ElementSpec, 'name' | K>[]): Pick<ElementSpec, "name" | K> | null;

package/lib/utils/resolve-version.js

@@ -15,7 +15,8 @@ export function resolveVersion(aria, version) {
     const implicitProperties = aria[version]?.implicitProperties ?? aria.implicitProperties;
     const properties = aria[version]?.properties ?? aria.properties;
     const namingProhibited = version === '1.1' ? aria.namingProhibited : (aria[version]?.namingProhibited ?? aria.namingProhibited);
-    const conditions = aria[version]?.conditions ?? aria.conditions;
+    const versionConditions = aria[version]?.conditions;
+    const conditions = versionConditions === false ? undefined : (versionConditions ?? aria.conditions);
     return {
         implicitRole,
         permittedRoles,

package/lib/utils/schema-to-spec.d.ts

@@ -14,5 +14,5 @@ export declare function schemaToSpec(schemas: readonly [MLMLSpec, ...ExtendedSpe
     def: import("../types/index.js").SpecDefs;
     specs: readonly ElementSpec[];
     directivePatterns?: readonly import("../types/index.js").DirectivePattern[];
-    useIDLAttributeNames?: boolean;
+    acceptedAttrNames?: "idl" | "both";
 };

package/lib/utils/schema-to-spec.js

@@ -68,8 +68,8 @@ export function schemaToSpec(schemas) {
         if (extendedSpec.directivePatterns) {
             result.directivePatterns = [...(result.directivePatterns ?? []), ...extendedSpec.directivePatterns];
         }
-        if (extendedSpec.useIDLAttributeNames != null) {
-            result.useIDLAttributeNames = extendedSpec.useIDLAttributeNames;
+        if (extendedSpec.acceptedAttrNames != null) {
+            result.acceptedAttrNames = extendedSpec.acceptedAttrNames;
         }
         if (extendedSpec.specs) {
             const exSpecs = [...extendedSpec.specs];

package/package.json

@@ -1,6 +1,6 @@
 {
 	"name": "@markuplint/ml-spec",
-	"version": "5.0.0-alpha.0",
+	"version": "5.0.0-alpha.2",
 	"description": "Types and schema that specs of the Markup languages for markuplint",
 	"repository": "git@github.com:markuplint/markuplint.git",
 	"author": "Yusuke Hirao <yusukehirao@me.com>",
@@ -34,14 +34,14 @@
 		"schema:prettier": "npx prettier --write \"./schemas/*.json\" \"./src/types/*.ts\" --log-level warn"
 	},
 	"dependencies": {
-		"@markuplint/ml-ast": "5.0.0-alpha.0",
-		"@markuplint/types": "5.0.0-alpha.0",
+		"@markuplint/ml-ast": "5.0.0-alpha.2",
+		"@markuplint/types": "5.0.0-alpha.2",
 		"is-plain-object": "5.0.0",
 		"type-fest": "5.4.4"
 	},
 	"devDependencies": {
-		"@markuplint/test-tools": "5.0.0-alpha.0",
+		"@markuplint/test-tools": "5.0.0-alpha.2",
 		"json-schema-to-typescript": "15.0.4"
 	},
-	"gitHead": "13dcfc84ec83d87360c720e253383b60767e1b56"
+	"gitHead": "31ccf1e81443ea3f93597d287595211f1823ddcf"
 }