@markuplint/ml-spec 5.0.0-alpha.1 → 5.0.0-alpha.3

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,16 @@
 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.3](https://github.com/markuplint/markuplint/compare/v5.0.0-alpha.2...v5.0.0-alpha.3) (2026-02-26)
+
+**Note:** Version bump only for package @markuplint/ml-spec
+
+# [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

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/lib/algorithm/aria/has-required-owned-elements.js

@@ -23,7 +23,9 @@ el, specs, version) {
      * THIS CONDITION IS PARTIAL SUPPORT.
      */
     if (el.hasAttribute('aria-owns')) {
-        // FIXME
+        // FIXME: Partial support — assumes aria-owns always provides required owned elements.
+        // A complete implementation would resolve the ID references in the aria-owns value
+        // and verify that the referenced elements actually have the required roles.
         return true;
     }
     /**

package/lib/algorithm/aria/is-exposed.js

@@ -153,6 +153,9 @@ el, specs, version) {
      * - Elements that are a valid target of an aria-activedescendant attribute.
      */
     // TODO: Compute aria-activedescendant.
+    // To implement this, we need to find all elements with `aria-activedescendant`
+    // in the document and check if any of them reference this element's ID.
+    // This requires cross-element analysis that is not yet supported.
     // results.push(true);
     /**
      * Elements that have an explicit role or a global WAI-ARIA attribute and
@@ -179,7 +182,10 @@ el, specs, version) {
      * Elements that are not hidden and have an ID that is referenced
      * by another element via a WAI-ARIA property.
      */
-    // TODO: Compute refering ID.
+    // TODO: Compute referring ID.
+    // To implement this, we need to find all ARIA relationship attributes
+    // (e.g., aria-labelledby, aria-describedby, aria-owns, aria-controls)
+    // across the document that reference this element's ID.
     // results.push(true);
     return results.includes(true);
 }
@@ -190,7 +196,9 @@ el) {
     if (!style) {
         return false;
     }
-    // TODO: Improve accuracy
+    // TODO: Improve accuracy by using a proper CSS parser instead of regex.
+    // This regex does not handle shorthand properties, `!important`, or values
+    // inside comments/strings. A CSS declaration parser would be more reliable.
     return /display\s*:\s*none|visibility\s*:\s*hidden/i.test(style);
 }
 function isExposedElement(

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/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/get-attr-specs-spec.js

@@ -28,7 +28,7 @@ export function getAttrSpecs(localName, namespace, schema) {
     }
     const globalAttrs = schema.def['#globalAttrs'];
     let attrs = {};
-    for (const catName in elSpec.globalAttrs) {
+    for (const catName of Object.keys(elSpec.globalAttrs)) {
         // @ts-ignore
         const catAttrs = elSpec.globalAttrs[catName];
         if (catAttrs === false) {
@@ -57,7 +57,7 @@ export function getAttrSpecs(localName, namespace, schema) {
             continue;
         }
     }
-    for (const attrName in elSpec.attributes) {
+    for (const attrName of Object.keys(elSpec.attributes)) {
         const attr = elSpec.attributes[attrName];
         if (!attr) {
             continue;

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/package.json

@@ -1,6 +1,6 @@
 {
 	"name": "@markuplint/ml-spec",
-	"version": "5.0.0-alpha.1",
+	"version": "5.0.0-alpha.3",
 	"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.1",
-		"@markuplint/types": "5.0.0-alpha.1",
+		"@markuplint/ml-ast": "5.0.0-alpha.3",
+		"@markuplint/types": "5.0.0-alpha.3",
 		"is-plain-object": "5.0.0",
 		"type-fest": "5.4.4"
 	},
 	"devDependencies": {
-		"@markuplint/test-tools": "5.0.0-alpha.1",
+		"@markuplint/test-tools": "5.0.0-alpha.3",
 		"json-schema-to-typescript": "15.0.4"
 	},
-	"gitHead": "78a295e73a097a1ce09c777c06fa21ab68136387"
+	"gitHead": "2fbdf26daa3d021ac628ccc2f59f0eeae6ddd53d"
 }