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

package/ARCHITECTURE.ja.md

@@ -146,12 +146,12 @@ 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 + MathML 3 カテゴリ） |
+| ファイル                        | 役割                                                                                                                            |
+| ------------------------------- | ------------------------------------------------------------------------------------------------------------------------------- |
+| `types/index.ts`                | 手書き型: `MLMLSpec`, `ElementSpec`, `ExtendedSpec`, `ARIARole`, `ComputedRole` 等                                              |
+| `types/aria.ts`                 | 生成型: `ARIA`, `PermittedRoles`, `ImplicitRole`, `PermittedARIAProperties`, `ImplicitProperties`                               |
+| `types/attributes.ts`           | 生成型: `AttributeType`, `ConditionalAttributeType`, `GlobalAttributes`, `AttributeJSON`, `List`, `Enum`, `Number`, `Directive` |
+| `types/permitted-structures.ts` | 生成型: `PermittedContentPattern`, `ContentModel`, `Category`（HTML 13 + SVG 19 + MathML 3 カテゴリ）                           |
 
 ### 2. ARIA アルゴリズム
 

package/ARCHITECTURE.md

@@ -146,12 +146,12 @@ 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 + MathML 3 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`, `ConditionalAttributeType`, `GlobalAttributes`, `AttributeJSON`, `List`, `Enum`, `Number`, `Directive` |
+| `types/permitted-structures.ts` | Generated: `PermittedContentPattern`, `ContentModel`, `Category` (HTML 13 + SVG 19 + MathML 3 categories)                          |
 
 ### 2. ARIA Algorithms
 

package/CHANGELOG.md

@@ -3,6 +3,26 @@
 All notable changes to this project will be documented in this file.
 See [Conventional Commits](https://conventionalcommits.org) for commit guidelines.
 
+# [5.0.0-rc.2](https://github.com/markuplint/markuplint/compare/v5.0.0-rc.1...v5.0.0-rc.2) (2026-04-15)
+
+### Bug Fixes
+
+- **ml-spec:** apply optimizePermittedRoles to condition-specific overrides ([f6ad782](https://github.com/markuplint/markuplint/commit/f6ad7823c298011fb690cd3360392bc2893c05f2)), closes [#3724](https://github.com/markuplint/markuplint/issues/3724)
+- **ml-spec:** back-port content-model fields to schema source ([835d4d8](https://github.com/markuplint/markuplint/commit/835d4d8e4aa6bc2329b087194748159a8c1f86f6))
+- **ml-spec:** treat permittedRoles:false as forbidding all explicit roles ([098cc41](https://github.com/markuplint/markuplint/commit/098cc4167297599e7721bf88119af7d8f3c2df08)), closes [#3641](https://github.com/markuplint/markuplint/issues/3641)
+
+### Features
+
+- **html-spec:** add conditional value types for input element ([#3598](https://github.com/markuplint/markuplint/issues/3598)) ([290be1c](https://github.com/markuplint/markuplint/commit/290be1cde53165f1f6165731bf2ec184b0c46b54))
+- **ml-spec:** add #nonEmptyText to Category type ([d60be3f](https://github.com/markuplint/markuplint/commit/d60be3f43bff6cc5d9c1cfa9dcdbe5d69f8697b8))
+- **ml-spec:** add ConditionalAttributeType to Attribute.type union ([#3685](https://github.com/markuplint/markuplint/issues/3685)) ([a619a07](https://github.com/markuplint/markuplint/commit/a619a071d93566dd8aa7ab8dee2ed751c2e8756c)), closes [#3598](https://github.com/markuplint/markuplint/issues/3598) [#3189](https://github.com/markuplint/markuplint/issues/3189)
+- **ml-spec:** add forbiddenAncestors field to ContentModel type ([5b32af5](https://github.com/markuplint/markuplint/commit/5b32af5ee7041843b63ca1542cb811d3192e8527))
+- **ml-spec:** add uniqueAttrs field to ContentModel type ([d9e6f16](https://github.com/markuplint/markuplint/commit/d9e6f169888e92c9e8c85de884775cf026c2d1bf))
+
+# [5.0.0-rc.1](https://github.com/markuplint/markuplint/compare/v5.0.0-rc.0...v5.0.0-rc.1) (2026-03-27)
+
+**Note:** Version bump only for package @markuplint/ml-spec
+
 # [5.0.0-rc.0](https://github.com/markuplint/markuplint/compare/v5.0.0-alpha.3...v5.0.0-rc.0) (2026-03-12)
 
 **Note:** Version bump only for package @markuplint/ml-spec

package/README.md

@@ -96,7 +96,7 @@ Generated TypeScript types (do not edit directly):
 
 - **Built output**: `index.json` (48K+ lines, consolidated specification data)
 - **Sources**: `src/spec-*.json` (individual element specifications)
-- **Build process**: `build.mjs` → `@markuplint/spec-generator` → enriched with MDN/W3C data
+- **Build process**: `build.ts` → `generator/` scripts → enriched with MDN/W3C data
 
 **@markuplint/ml-spec** (this package) provides:
 

package/docs/aria-algorithms.ja.md

@@ -240,16 +240,19 @@ if (result.role) {
 2. 仕様から `implicitRole` と `permittedRoles` を読み取ります。
 3. `permittedRoles` の値に基づいて許可ロールリストを構築します：
 
-| `permittedRoles` の値               | 動作                                                                                                                                 |
-| ----------------------------------- | ------------------------------------------------------------------------------------------------------------------------------------ |
-| `true`                              | ARIA 仕様のすべての非抽象ロール（DPub ロールを含む）が許可されます。                                                                 |
-| `PermittedARIAAAMInfo` オブジェクト | `core-aam` が `true` の場合、すべての非抽象ロールを追加。`graphics-aam` が `true` の場合、すべての非抽象グラフィックスロールを追加。 |
-| 文字列/オブジェクトの配列           | リストに記載された特定のロールが許可されます。                                                                                       |
-| `false`                             | ロールは許可されません（暗黙のロール追加前は空リスト）。                                                                             |
-
-4. 結果には常に暗黙のロールを含めます。暗黙のロールが `"presentation"` または `"none"` の場合、両方の等価ロールが含まれます。ARIA 1.3 では、暗黙のロールが `"img"` または `"image"` の場合、両方のシノニムが含まれます。
+| `permittedRoles` の値               | 動作                                                                                                                                                                             |
+| ----------------------------------- | -------------------------------------------------------------------------------------------------------------------------------------------------------------------------------- |
+| `true`                              | ARIA 仕様のすべての非抽象ロール（DPub ロールを含む）が許可されます。                                                                                                             |
+| `PermittedARIAAAMInfo` オブジェクト | `core-aam` が `true` の場合、すべての非抽象ロールを追加。`graphics-aam` が `true` の場合、すべての非抽象グラフィックスロールを追加。                                             |
+| 文字列/オブジェクトの配列           | リストに記載された特定のロールが許可されます。                                                                                                                                   |
+| `false`                             | **明示的な `role` 属性値は一切許可されません** — 空リストを返し、暗黙ロールのマージ（手順4）をスキップします。ARIA in HTML の "No role permitted" 指示を厳密に反映する挙動です。 |
+
+4. `permittedRoles` が `false` でない場合、結果に暗黙のロールを含めます。暗黙のロールが `"presentation"` または `"none"` の場合、両方の等価ロールが含まれます。ARIA 1.3 では、暗黙のロールが `"img"` または `"image"` の場合、両方のシノニムが含まれます。
 5. マージおよび重複排除されたリストを返します。
 
+> [!NOTE]
+> `permittedRoles: false` は厳密な挙動です。暗黙ロールに一致する値（例: `<img alt="" role="presentation">`）も拒否します。これは [ARIA in HTML](https://w3c.github.io/html-aria/) の「No role permitted」行が `role` 属性を一切許可しない仕様を反映したものです。背景は Issue #3641 を参照してください。
+
 ---
 
 ### 7. `getRoleSpec(specs, roleName, namespace, version)`
@@ -325,7 +328,6 @@ if (result.role) {
 1. `getVersionResolvedARIA()` を呼び出します。この関数は：
    - タグ名と名前空間で要素仕様を検索します。
    - `resolveVersion()` を適用して、ベース ARIA 仕様の上にバージョン固有のオーバーライドをマージします。
-   - 許可ロールの最適化：許可ロール配列に `"presentation"` がある場合は `"none"` を追加し、逆も同様です（WAI-ARIA 1.2 の `none` ロールに関する注記に準拠）。ARIA 1.3 では、`"image"` がある場合は `"img"` を追加し、逆も同様です（ARIA 1.3 の `image`/`img` シノニムに準拠）。
    - 結果を `localName + namespace + version` をキーとしてキャッシュします。
 
 2. 条件付きオーバーライド（ARIA 仕様の `conditions` ブロック）を評価します：
@@ -333,7 +335,9 @@ if (result.role) {
    - マッチする条件ごとに、`implicitRole`、`permittedRoles`、`implicitProperties`、`properties`、`namingProhibited` を上書きします。
    - 後の条件は前の条件よりも優先されます。
 
-3. 最終的に解決された ARIA 仕様を返します。要素の仕様が存在しない場合は `null` を返します。
+3. 許可ロールの最適化（ベース値と条件オーバーライド値の両方に適用）：許可ロール配列に `"presentation"` がある場合は `"none"` を追加し、逆も同様です（WAI-ARIA 1.2 の `none` ロールに関する注記に準拠）。ARIA 1.3 では、`"image"` がある場合は `"img"` を追加し、逆も同様です（ARIA 1.3 の `image`/`img` シノニムに準拠）。
+
+4. 最終的に解決された ARIA 仕様を返します。要素の仕様が存在しない場合は `null` を返します。
 
 **例:** `<input>` の場合、ベース仕様は汎用的な暗黙のロールを定義しますが、条件 `[type=checkbox]` がそれを `"checkbox"` ロールに上書きします。
 

package/docs/aria-algorithms.md

@@ -240,16 +240,19 @@ The spec-level implementation for computing permitted ARIA roles. Operates on ta
 2. Reads `implicitRole` and `permittedRoles` from the spec.
 3. Builds the permitted role list based on the `permittedRoles` value:
 
-| `permittedRoles` value        | Behavior                                                                                                                 |
-| ----------------------------- | ------------------------------------------------------------------------------------------------------------------------ |
-| `true`                        | All non-abstract roles from the ARIA spec (including DPub roles) are permitted.                                          |
-| `PermittedARIAAAMInfo` object | If `core-aam` is `true`, adds all non-abstract roles. If `graphics-aam` is `true`, adds all non-abstract graphics roles. |
-| Array of strings/objects      | The specific listed roles are permitted.                                                                                 |
-| `false`                       | No roles are permitted (empty list before implicit role).                                                                |
-
-4. Always includes the implicit role in the result. If the implicit role is `"presentation"` or `"none"`, both equivalents are included. In ARIA 1.3, if the implicit role is `"img"` or `"image"`, both synonyms are included.
+| `permittedRoles` value        | Behavior                                                                                                                                                     |
+| ----------------------------- | ------------------------------------------------------------------------------------------------------------------------------------------------------------ |
+| `true`                        | All non-abstract roles from the ARIA spec (including DPub roles) are permitted.                                                                              |
+| `PermittedARIAAAMInfo` object | If `core-aam` is `true`, adds all non-abstract roles. If `graphics-aam` is `true`, adds all non-abstract graphics roles.                                     |
+| Array of strings/objects      | The specific listed roles are permitted.                                                                                                                     |
+| `false`                       | **No explicit role is permitted** — returns an empty list and skips the implicit-role merge below. This models ARIA in HTML's "No role permitted" directive. |
+
+4. If `permittedRoles` was not `false`, includes the implicit role in the result. If the implicit role is `"presentation"` or `"none"`, both equivalents are included. In ARIA 1.3, if the implicit role is `"img"` or `"image"`, both synonyms are included.
 5. Returns the merged, deduplicated list.
 
+> [!NOTE]
+> `permittedRoles: false` is strict: even a value matching the implicit role (e.g. `<img alt="" role="presentation">`) is rejected. This mirrors the [ARIA in HTML](https://w3c.github.io/html-aria/) spec, where rows marked "No role permitted" forbid _any_ explicit `role` attribute. See Issue #3641 for background.
+
 ---
 
 ### 7. `getRoleSpec(specs, roleName, namespace, version)`
@@ -325,7 +328,6 @@ Gets the version-resolved ARIA specification for an element, evaluating conditio
 1. Calls `getVersionResolvedARIA()` which:
    - Looks up the element spec by tag name and namespace.
    - Applies `resolveVersion()` to merge version-specific overrides on top of the base ARIA spec.
-   - Optimizes permitted roles: if `"presentation"` is in the permitted roles array, `"none"` is added, and vice versa (per WAI-ARIA 1.2 note on the `none` role). In ARIA 1.3, if `"image"` is present, `"img"` is added, and vice versa (per the ARIA 1.3 `image`/`img` synonym).
    - Caches results by `localName + namespace + version`.
 
 2. Evaluates conditional overrides (the `conditions` block in the ARIA spec):
@@ -333,7 +335,9 @@ Gets the version-resolved ARIA specification for an element, evaluating conditio
    - For each matching condition, overrides `implicitRole`, `permittedRoles`, `implicitProperties`, `properties`, and `namingProhibited`.
    - Later conditions take precedence over earlier ones.
 
-3. Returns the final resolved ARIA spec, or `null` if no spec exists for the element.
+3. Optimizes permitted roles (applied to both base and condition-overridden values): if `"presentation"` is in the permitted roles array, `"none"` is added, and vice versa (per WAI-ARIA 1.2 note on the `none` role). In ARIA 1.3, if `"image"` is present, `"img"` is added, and vice versa (per the ARIA 1.3 `image`/`img` synonym).
+
+4. Returns the final resolved ARIA spec, or `null` if no spec exists for the element.
 
 **Example:** For `<input>`, the base spec may define a generic implicit role, but the condition `[type=checkbox]` overrides it to `"checkbox"`.
 

package/docs/maintenance.ja.md

@@ -230,6 +230,34 @@ AttributeJSON: {
 
 再生成すると、新しいフィールドが `src/types/attributes.ts` にオプショナルプロパティとして反映されます。
 
+> **警告:** `schemas/attributes.schema.json` と `schemas/global-attributes.schema.json` は `gen/gen.ts` によって _上書き_ されます。**これらのファイルを直接編集してはいけません** — 次に `schema:json`（または `yarn up:schema`）が走った瞬間に変更が消えます。すべての編集は `gen/gen.ts` に対して行ってください。
+
+### 3b. `attributes.schema.json` に新しい definition を追加する（新しいスキーマ型）
+
+`AttributeJSON` のフィールドではなく、まったく新しい definition を追加したい場合 — 例えば #3685 の `ConditionalAttributeType` のような新しい構造化型バリアント — は、`gen/gen.ts` の 2 つめの `fs.writeFileSync` 呼び出し内の `definitions` オブジェクトに、`AttributeJSON` の隣に配置してください。
+
+```ts
+fs.writeFileSync(
+  path.resolve(import.meta.dirname, '..', 'schemas', 'attributes.schema.json'),
+  JSON.stringify({
+    definitions: {
+      // ...既存の definitions...
+      NewType: {
+        type: 'object',
+        additionalProperties: false,
+        required: ['foo'],
+        properties: { foo: { type: 'string' } },
+      },
+      AttributeJSON: {
+        /* ... */
+      },
+    },
+  }),
+);
+```
+
+再生成すると、新しい definition は TypeScript の `interface` として `src/types/attributes.ts` から export されます。下流パッケージ（例: `@markuplint/rules`）で narrowing が必要な場合は、`src/utils/` に型ガードを追加し `src/index.ts` から再 export してください — #3685 で確立したパターンは `is-conditional-attribute-type.ts` を参照してください。
+
 ### 4. ARIA ロール/プロパティスキーマを変更する
 
 `schemas/aria.schema.json` を直接編集します。例えば、ロール定義に新しいフィールドを追加する場合:

package/docs/maintenance.md

@@ -230,6 +230,34 @@ AttributeJSON: {
 
 Then regenerate. The new field will appear in `src/types/attributes.ts` as an optional property.
 
+> **Warning:** `schemas/attributes.schema.json` and `schemas/global-attributes.schema.json` are both _overwritten_ by `gen/gen.ts`. **Never hand-edit those files** — your changes will be blown away the next time `schema:json` (or `yarn up:schema`) runs. All edits must live in `gen/gen.ts`.
+
+### 3b. Add a new definition to `attributes.schema.json` (new schema type)
+
+When you need to add a brand-new definition (not just a field on `AttributeJSON`) — for example, adding a new structured type variant like `ConditionalAttributeType` (#3685) — edit `gen/gen.ts` and place the new definition alongside `AttributeJSON` inside the `definitions` object of the second `fs.writeFileSync` call.
+
+```ts
+fs.writeFileSync(
+  path.resolve(import.meta.dirname, '..', 'schemas', 'attributes.schema.json'),
+  JSON.stringify({
+    definitions: {
+      // ...existing definitions...
+      NewType: {
+        type: 'object',
+        additionalProperties: false,
+        required: ['foo'],
+        properties: { foo: { type: 'string' } },
+      },
+      AttributeJSON: {
+        /* ... */
+      },
+    },
+  }),
+);
+```
+
+After regeneration, the new definition is exported from `src/types/attributes.ts` as a TypeScript `interface`. If downstream packages (e.g. `@markuplint/rules`) need to narrow against it, add a type guard in `src/utils/` and re-export from `src/index.ts` — see `is-conditional-attribute-type.ts` for the pattern established by #3685.
+
 ### 4. Modify ARIA role/property schema
 
 Edit `schemas/aria.schema.json` directly. For example, to add a new field to the role definition:

package/docs/type-definitions.ja.md

@@ -113,7 +113,10 @@ type ElementSpec = {
 ```ts
 type Attribute = {
   readonly name: string;
-  readonly type: ReadonlyDeep<AttributeType> | readonly ReadonlyDeep<AttributeType>[];
+  readonly type:
+    | ReadonlyDeep<AttributeType>
+    | readonly ReadonlyDeep<AttributeType>[]
+    | readonly ReadonlyDeep<ConditionalAttributeType>[];
   readonly description?: string;
   readonly caseSensitive?: true;
   readonly experimental?: boolean;
@@ -125,6 +128,8 @@ type Attribute = {
 
 `& ExtendableAttributeSpec` の交差型により、生成された `AttributeJSON` 型のフィールド（`type` を除く。`ReadonlyDeep` ラッパーでオーバーライドされるため）が追加されます: `defaultValue`、`required`、`requiredEither`、`noUse`、`condition`、`ineffective`、`animatable`。
 
+`type` の共用体には、別の属性の値によって値型が切り替わる属性のために `readonly ReadonlyDeep<ConditionalAttributeType>[]` が含まれます（下記 [`ConditionalAttributeType`](#attributesschemajson-から----srctypesattributests) を参照）。このバリアントは v5.0 では型定義のみで先行投入されており（#3685）、実ロジックは follow-up Issue #3598 / #3189 で実装されます。
+
 ## ARIA 型
 
 ### `ARIARole`
@@ -419,7 +424,10 @@ interface GlobalAttributes {
 
 ```ts
 interface AttributeJSON {
-  type?: AttributeType | [AttributeType, ...AttributeType[]];
+  type?:
+    | AttributeType
+    | [AttributeType, ...AttributeType[]]
+    | [ConditionalAttributeType, ...ConditionalAttributeType[]];
   defaultValue?: string;
   deprecated?: boolean;
   required?: boolean | AttributeCondition;
@@ -432,6 +440,17 @@ interface AttributeJSON {
 }
 ```
 
+**`ConditionalAttributeType`** -- 条件付き型切り替え: ある属性の期待する値型が、同じ要素上の _別の_ 属性の値によって切り替わることを宣言します。例えば `<input value>` は `type=color` のとき valid simple color、`type=url` のとき valid URL でなければならない、あるいは `<link as>` は `rel` が `preload` か `modulepreload` かによって異なる destination キーワードを受け入れる、といった仕様表現に使われます。
+
+```ts
+interface ConditionalAttributeType {
+  condition: AttributeCondition; // 所属要素に対する CSS セレクター
+  type: AttributeType | [AttributeType, ...AttributeType[]];
+}
+```
+
+> **ステータス:** 型定義は v5.0 で投入済み (#3685)。条件解決は完全に実装済み: `type` による `input[value]` は [#3598](https://github.com/markuplint/markuplint/issues/3598)、`rel` による `link[as]` は [#3189](https://github.com/markuplint/markuplint/issues/3189)。`helpers.ts` の `isValidAttr()` が要素を各条件にマッチさせ、解決された型でバリデーションを行います。条件に一致しない場合は `Any` にフォールバックします。直接呼び出し元向けに、`attrCheck()` に安全ネットガードが残っており、未解決の `ConditionalAttributeType[]` は有効として扱います。
+
 **`List`** -- スペース区切りまたはカンマ区切りのトークンリスト用の構造化型です。
 
 ```ts

package/docs/type-definitions.md

@@ -113,7 +113,10 @@ Describes a single HTML/SVG attribute with its type, description, and status fla
 ```ts
 type Attribute = {
   readonly name: string;
-  readonly type: ReadonlyDeep<AttributeType> | readonly ReadonlyDeep<AttributeType>[];
+  readonly type:
+    | ReadonlyDeep<AttributeType>
+    | readonly ReadonlyDeep<AttributeType>[]
+    | readonly ReadonlyDeep<ConditionalAttributeType>[];
   readonly description?: string;
   readonly caseSensitive?: true;
   readonly experimental?: boolean;
@@ -125,6 +128,8 @@ type Attribute = {
 
 The `& ExtendableAttributeSpec` intersection adds fields from the generated `AttributeJSON` type (excluding `type`, which is overridden with the `ReadonlyDeep` wrapper): `defaultValue`, `required`, `requiredEither`, `noUse`, `condition`, `ineffective`, `animatable`.
 
+The `type` union includes `readonly ReadonlyDeep<ConditionalAttributeType>[]` for attributes whose value type depends on another attribute's value (see [`ConditionalAttributeType`](#from-attributesschemajson----srctypesattributests) below). This variant is shipped type-only in v5.0 (#3685); follow-ups #3598 and #3189 implement the runtime resolution.
+
 ## ARIA Types
 
 ### `ARIARole`
@@ -419,7 +424,10 @@ interface GlobalAttributes {
 
 ```ts
 interface AttributeJSON {
-  type?: AttributeType | [AttributeType, ...AttributeType[]];
+  type?:
+    | AttributeType
+    | [AttributeType, ...AttributeType[]]
+    | [ConditionalAttributeType, ...ConditionalAttributeType[]];
   defaultValue?: string;
   deprecated?: boolean;
   required?: boolean | AttributeCondition;
@@ -432,6 +440,17 @@ interface AttributeJSON {
 }
 ```
 
+**`ConditionalAttributeType`** -- Conditional type switching: declares that an attribute's expected value type depends on the value of _another_ attribute on the same element. Used when the spec states, for example, that `<input value>` must be a valid simple color when `type=color` but a valid URL when `type=url`, or that `<link as>` accepts different destination keywords depending on whether `rel` is `preload` or `modulepreload`.
+
+```ts
+interface ConditionalAttributeType {
+  condition: AttributeCondition; // CSS selector against the owning element
+  type: AttributeType | [AttributeType, ...AttributeType[]];
+}
+```
+
+> **Status:** The type definition shipped in v5.0 (#3685). Conditional resolution is fully implemented: `input[value]` by `type` in [#3598](https://github.com/markuplint/markuplint/issues/3598), `link[as]` by `rel` in [#3189](https://github.com/markuplint/markuplint/issues/3189). `isValidAttr()` in `helpers.ts` matches the element against each condition and validates against the resolved type; unmatched conditions fall back to `Any`. A safety-net guard in `attrCheck()` treats any remaining unresolved `ConditionalAttributeType[]` as valid for direct callers.
+
 **`List`** -- Structured type for space-separated or comma-separated token lists.
 
 ```ts

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

@@ -71,8 +71,7 @@ export function resolveAriaLabelledby(el, resolver, visited, computeFn) {
         }
         // Each branch gets its own visited set so that one IDREF's
         // traversal doesn't block resolution of a later IDREF.
-        const innerVisited = new Set(newVisited);
-        innerVisited.add(id);
+        const innerVisited = new Set([...newVisited, id]);
         const result = computeFn(referenced, resolver, true, innerVisited);
         if (result.name) {
             parts.push(result.name);

package/lib/algorithm/aria/get-aria.js

@@ -20,7 +20,10 @@ export function getARIA(specs, localName, namespace, version, matches) {
     }
     const conditions = aria.conditions;
     if (!conditions) {
-        return aria;
+        return {
+            ...aria,
+            permittedRoles: optimizePermittedRoles(aria.permittedRoles, version),
+        };
     }
     const conditionKeys = Object.keys(conditions);
     let { implicitRole, permittedRoles, implicitProperties, properties, namingProhibited } = aria;
@@ -56,12 +59,16 @@ export function getARIA(specs, localName, namespace, version, matches) {
     }
     return {
         implicitRole,
-        permittedRoles,
+        permittedRoles: optimizePermittedRoles(permittedRoles, version),
         implicitProperties,
         properties,
         namingProhibited,
     };
 }
+/**
+ * Returns raw ARIA spec without permittedRoles optimization.
+ * Callers must apply optimizePermittedRoles() to the result.
+ */
 function getVersionResolvedARIA(specs, localName, namespace, version) {
     const key = localName + namespace + version;
     let aria = cache.get(key);
@@ -74,12 +81,6 @@ function getVersionResolvedARIA(specs, localName, namespace, version) {
         return null;
     }
     aria = resolveVersion(spec, version);
-    if (aria.permittedRoles !== false) {
-        aria = {
-            ...aria,
-            permittedRoles: optimizePermittedRoles(aria.permittedRoles, version),
-        };
-    }
     cache.set(key, aria);
     return aria;
 }

package/lib/algorithm/aria/get-permitted-roles-spec.js

@@ -60,6 +60,13 @@ export function getPermittedRoles(specs, localName, namespace, version, matches)
             return role;
         }));
     }
+    // When `permittedRoles` is explicitly `false`, no explicit role attribute is
+    // allowed at all per ARIA in HTML — even a value matching the implicit role.
+    // e.g. `<img alt="">`: implicit role is `presentation`, but "No role permitted"
+    // means `role="presentation"` and `role="none"` are both disallowed.
+    if (permittedRoles === false) {
+        return permittedRoleList;
+    }
     if (implicitRole === false) {
         return permittedRoleList;
     }

package/lib/index.d.ts

@@ -27,6 +27,7 @@ export * from './utils/schema-to-spec.js';
 export * from './utils/resolve-namespace.js';
 export * from './utils/validate-aria-version.js';
 export * from './utils/directive-resolver.js';
+export * from './utils/is-conditional-attribute-type.js';
 export * from './types/index.js';
 export * from './types/aria.js';
 export * from './types/attributes.js';

package/lib/index.js

@@ -31,6 +31,7 @@ export * from './utils/schema-to-spec.js';
 export * from './utils/resolve-namespace.js';
 export * from './utils/validate-aria-version.js';
 export * from './utils/directive-resolver.js';
+export * from './utils/is-conditional-attribute-type.js';
 // Type definitions
 export * from './types/index.js';
 export * from './types/aria.js';

package/lib/types/aria.d.ts

@@ -43,25 +43,26 @@ export type PermittedARIAProperties = false | {
      */
     without?: [
         {
-            type: 'not-recommended' | 'should-not' | 'must-not';
+            type: "not-recommended" | "should-not" | "must-not";
             name: string;
             value?: string;
             alt?: {
-                method: 'remove-attr' | 'set-attr';
+                method: "remove-attr" | "set-attr";
                 target: string;
             };
         },
         ...{
-            type: 'not-recommended' | 'should-not' | 'must-not';
+            type: "not-recommended" | "should-not" | "must-not";
             name: string;
             value?: string;
             alt?: {
-                method: 'remove-attr' | 'set-attr';
+                method: "remove-attr" | "set-attr";
                 target: string;
             };
         }[]
     ];
 };
+export type ConditionsOrFalse = false | Conditions;
 export interface AriaSchema {
     _?: ARIA;
     [k: string]: unknown;
@@ -72,81 +73,34 @@ export interface ARIA {
     namingProhibited?: true;
     implicitProperties?: ImplicitProperties;
     properties?: PermittedARIAProperties;
-    conditions?: {
-        /**
-         * This interface was referenced by `undefined`'s JSON-Schema definition
-         * via the `patternProperty` ".+".
-         */
-        [k: string]: {
-            implicitRole?: ImplicitRole;
-            permittedRoles?: PermittedRoles;
-            namingProhibited?: true;
-            implicitProperties?: ImplicitProperties;
-            properties?: PermittedARIAProperties;
-        };
-    };
-    '1.3'?: {
+    conditions?: Conditions;
+    "1.3"?: {
         implicitRole?: ImplicitRole;
         permittedRoles?: PermittedRoles;
         namingProhibited?: true;
         implicitProperties?: ImplicitProperties;
         properties?: PermittedARIAProperties;
-        conditions?: false | {
-            /**
-             * This interface was referenced by `undefined`'s JSON-Schema definition
-             * via the `patternProperty` ".+".
-             */
-            [k: string]: {
-                implicitRole?: ImplicitRole;
-                permittedRoles?: PermittedRoles;
-                namingProhibited?: true;
-                implicitProperties?: ImplicitProperties;
-                properties?: PermittedARIAProperties;
-            };
-        };
+        conditions?: ConditionsOrFalse;
     };
-    '1.2'?: {
+    "1.2"?: {
         implicitRole?: ImplicitRole;
         permittedRoles?: PermittedRoles;
         namingProhibited?: true;
         implicitProperties?: ImplicitProperties;
         properties?: PermittedARIAProperties;
-        conditions?: false | {
-            /**
-             * This interface was referenced by `undefined`'s JSON-Schema definition
-             * via the `patternProperty` ".+".
-             */
-            [k: string]: {
-                implicitRole?: ImplicitRole;
-                permittedRoles?: PermittedRoles;
-                namingProhibited?: true;
-                implicitProperties?: ImplicitProperties;
-                properties?: PermittedARIAProperties;
-            };
-        };
+        conditions?: ConditionsOrFalse;
     };
-    '1.1'?: {
+    "1.1"?: {
         implicitRole?: ImplicitRole;
         permittedRoles?: PermittedRoles;
         implicitProperties?: ImplicitProperties;
         properties?: PermittedARIAProperties;
-        conditions?: false | {
-            /**
-             * This interface was referenced by `undefined`'s JSON-Schema definition
-             * via the `patternProperty` ".+".
-             */
-            [k: string]: {
-                implicitRole?: ImplicitRole;
-                permittedRoles?: PermittedRoles;
-                implicitProperties?: ImplicitProperties;
-                properties?: PermittedARIAProperties;
-            };
-        };
+        conditions?: ConditionsOrFalse;
     };
 }
 export interface PermittedARIAAAMInfo {
-    'core-aam'?: true;
-    'graphics-aam'?: true;
+    "core-aam"?: true;
+    "graphics-aam"?: true;
 }
 export interface ImplicitProperties {
     /**
@@ -155,3 +109,16 @@ export interface ImplicitProperties {
      */
     [k: string]: string;
 }
+export interface Conditions {
+    /**
+     * This interface was referenced by `Conditions`'s JSON-Schema definition
+     * via the `patternProperty` ".+".
+     */
+    [k: string]: {
+        implicitRole?: ImplicitRole;
+        permittedRoles?: PermittedRoles;
+        namingProhibited?: true;
+        implicitProperties?: ImplicitProperties;
+        properties?: PermittedARIAProperties;
+    };
+}

package/lib/types/aria.js

@@ -1,3 +1,4 @@
+/* eslint-disable */
 /**
  * This file was automatically generated by json-schema-to-typescript.
  * DO NOT MODIFY IT BY HAND. Instead, modify the source JSONSchema file,