@markuplint/svelte-spec 4.5.23 → 5.0.0-alpha.1

package/ARCHITECTURE.ja.md

@@ -2,18 +2,42 @@
 
 ## 概要
 
-`@markuplint/svelte-spec` は markuplint 向けの Svelte 固有の拡張仕様を提供します。Svelte のフォーム要素における双方向バインディング動作に対応するため、要素レベルの属性オーバーライドを定義する `ExtendedSpec` オブジェクトをエクスポートします。具体的には、`<select>` と `<textarea>` 要素の `value` 属性の型を `Any` に拡張し、文字列だけでなく任意の型のバインド変数を許容します。
+`@markuplint/svelte-spec` は markuplint 向けの Svelte 固有の拡張仕様を提供します。Svelte のフォーム要素における双方向バインディング動作と IDL プロパティ属性に対応するため、要素レベルの属性オーバーライドを定義する `ExtendedSpec` オブジェクトをエクスポートします。`<select>` と `<textarea>` 要素の `value` 属性の型を `Any` に拡張するほか、`<input>`、`<select>`、`<textarea>` 要素で `defaultValue`、`defaultChecked`、`indeterminate` などの IDL プロパティ属性をサポートします。
 
 ## ExtendedSpec の内容
 
-パッケージは `specs` 配列に要素固有のオーバーライドを含む単一の `ExtendedSpec` オブジェクトをエクスポートします:
+### `acceptedAttrNames`
+
+この spec は `acceptedAttrNames: 'both'` を設定しており、`@markuplint/ml-core` の `MLAttr` コンストラクタに IDL 属性名を HTML コンテンツ属性名に解決するよう指示します（例: `defaultValue` → 対応するコンテンツ属性）。`'both'` モードではコンテンツ属性名と IDL 名の両方が受け入れられ、リネーム候補は提示されません。この解決はパーサーではなくコアレベルで行われます。
+
+### `contenteditable` オーバーライド
+
+Svelte は `contentEditable` 属性の値として `"inherit"` を受け付けます（ContentEditable インターフェースの IDL 状態値）。この仕様はグローバル属性 `contenteditable` の型を拡張し、`"inherit"` を有効な列挙値として追加します。
+
+### `directivePatterns`
+
+この spec は Svelte ディレクティブ属性を解決するための `directivePatterns` 配列を宣言します。パターンは順番に評価されます（最初のマッチが優先）:
+
+| パターン                                       | 結果                                                                            |
+| ---------------------------------------------- | ------------------------------------------------------------------------------- |
+| `^bind:(?:group\|this)$`                       | `bind:group` / `bind:this` → `isDirective`、`isDynamicValue`                    |
+| `^bind:(.+)$`                                  | `bind:name` → `potentialName=$1`、`isDynamicValue`                              |
+| `^on:.+$`                                      | `on:event`（Svelte 4 レガシー）→ `isDirective`、`isDynamicValue`                |
+| `^class:`                                      | `class:name` → `potentialName=class`、`isDuplicatable`、`isDynamicValue`        |
+| `^style:`                                      | `style:property` → `potentialName=style`、`isDuplicatable`、`isDynamicValue`    |
+| `^(?:animate\|transition\|in\|out\|use\|let):` | アニメーション/トランジション/アクション/スロットディレクティブ → `isDirective` |
 
 ### 要素固有のオーバーライド
 
-| 要素         | 属性    | 型オーバーライド | 理由                                                    |
-| ------------ | ------- | ---------------- | ------------------------------------------------------- |
-| `<select>`   | `value` | `Any`            | Svelte の `bind:value` は文字列だけでなく任意の型を許容 |
-| `<textarea>` | `value` | `Any`            | Svelte の `bind:value` は文字列だけでなく任意の型を許容 |
+| 要素         | 属性             | 型オーバーライド | 理由                                                         |
+| ------------ | ---------------- | ---------------- | ------------------------------------------------------------ |
+| `<input>`    | `defaultChecked` | `Boolean`        | チェックボックス/ラジオの非制御初期状態を表す IDL プロパティ |
+| `<input>`    | `defaultValue`   | `Any`            | 入力要素の非制御初期値を表す IDL プロパティ                  |
+| `<input>`    | `indeterminate`  | `Boolean`        | チェックボックスの不定状態を表す IDL プロパティ              |
+| `<select>`   | `value`          | `Any`            | Svelte の `bind:value` は文字列だけでなく任意の型を許容      |
+| `<select>`   | `defaultValue`   | `Any`            | セレクト要素の非制御初期値を表す IDL プロパティ              |
+| `<textarea>` | `value`          | `Any`            | Svelte の `bind:value` は文字列だけでなく任意の型を許容      |
+| `<textarea>` | `defaultValue`   | `Any`            | テキストエリアの非制御初期値を表す IDL プロパティ            |
 
 これらのオーバーライドにより、markuplint が Svelte 固有の属性使用を不正としてフラグ付けすることなく、標準 HTML 仕様を拡張します。
 
@@ -40,7 +64,7 @@ flowchart TD
     end
 
     subgraph pkg ["@markuplint/svelte-spec"]
-        spec["ExtendedSpec オブジェクト\n(select, textarea オーバーライド)"]
+        spec["ExtendedSpec オブジェクト\n(input, select, textarea オーバーライド)"]
     end
 
     subgraph downstream ["下流"]

package/ARCHITECTURE.md

@@ -2,18 +2,42 @@
 
 ## Overview
 
-`@markuplint/svelte-spec` provides Svelte-specific extended specifications for markuplint. It exports an `ExtendedSpec` object that defines element-level attribute overrides to accommodate Svelte's two-way binding behavior on form elements. Specifically, the `<select>` and `<textarea>` elements have their `value` attribute type broadened to `Any`, allowing bound variables of any type rather than only strings.
+`@markuplint/svelte-spec` provides Svelte-specific extended specifications for markuplint. It exports an `ExtendedSpec` object that defines element-level attribute overrides to accommodate Svelte's two-way binding behavior and IDL property attributes on form elements. The `<select>` and `<textarea>` elements have their `value` attribute type broadened to `Any`, and the `<input>`, `<select>`, and `<textarea>` elements support IDL property attributes such as `defaultValue`, `defaultChecked`, and `indeterminate`.
 
 ## ExtendedSpec Content
 
-The package exports a single `ExtendedSpec` object with element-specific overrides in the `specs` array:
+### `acceptedAttrNames`
+
+The spec sets `acceptedAttrNames: 'both'`, which instructs `@markuplint/ml-core`'s `MLAttr` constructor to resolve IDL attribute names to their HTML content attribute equivalents (e.g., `defaultValue` -> the corresponding content attribute). In `'both'` mode, both content attribute names and IDL names are accepted without suggesting a rename. This resolution is performed at the core level, not in the parser.
+
+### `contenteditable` Override
+
+Svelte accepts `"inherit"` as a valid `contentEditable` value (IDL state value from the ContentEditable interface). This spec extends the global `contenteditable` attribute type to include `"inherit"` as a valid enum value.
+
+### `directivePatterns`
+
+The spec declares a `directivePatterns` array that the core engine uses to resolve Svelte directive attributes. Patterns are evaluated in order (first match wins):
+
+| Pattern                                        | Result                                                                        |
+| ---------------------------------------------- | ----------------------------------------------------------------------------- |
+| `^bind:(?:group\|this)$`                       | `bind:group` / `bind:this` -> `isDirective`, `isDynamicValue`                 |
+| `^bind:(.+)$`                                  | `bind:name` -> `potentialName=$1`, `isDynamicValue`                           |
+| `^on:.+$`                                      | `on:event` (Svelte 4 legacy) -> `isDirective`, `isDynamicValue`               |
+| `^class:`                                      | `class:name` -> `potentialName=class`, `isDuplicatable`, `isDynamicValue`     |
+| `^style:`                                      | `style:property` -> `potentialName=style`, `isDuplicatable`, `isDynamicValue` |
+| `^(?:animate\|transition\|in\|out\|use\|let):` | Animation/transition/action/slot directives -> `isDirective`                  |
 
 ### Element-Specific Overrides
 
-| Element      | Attribute | Type Override | Reason                                                  |
-| ------------ | --------- | ------------- | ------------------------------------------------------- |
-| `<select>`   | `value`   | `Any`         | Svelte's `bind:value` allows any type, not just strings |
-| `<textarea>` | `value`   | `Any`         | Svelte's `bind:value` allows any type, not just strings |
+| Element      | Attribute        | Type Override | Reason                                                     |
+| ------------ | ---------------- | ------------- | ---------------------------------------------------------- |
+| `<input>`    | `defaultChecked` | `Boolean`     | IDL property for uncontrolled checkbox/radio initial state |
+| `<input>`    | `defaultValue`   | `Any`         | IDL property for uncontrolled input initial value          |
+| `<input>`    | `indeterminate`  | `Boolean`     | IDL property for checkbox indeterminate state              |
+| `<select>`   | `value`          | `Any`         | Svelte's `bind:value` allows any type, not just strings    |
+| `<select>`   | `defaultValue`   | `Any`         | IDL property for uncontrolled select initial value         |
+| `<textarea>` | `value`          | `Any`         | Svelte's `bind:value` allows any type, not just strings    |
+| `<textarea>` | `defaultValue`   | `Any`         | IDL property for uncontrolled textarea initial value       |
 
 These overrides extend the standard HTML spec so that markuplint does not flag Svelte-specific attribute usage as invalid.
 
@@ -40,7 +64,7 @@ flowchart TD
     end
 
     subgraph pkg ["@markuplint/svelte-spec"]
-        spec["ExtendedSpec object\n(select, textarea overrides)"]
+        spec["ExtendedSpec object\n(input, select, textarea overrides)"]
     end
 
     subgraph downstream ["Downstream"]

package/CHANGELOG.md

@@ -3,6 +3,22 @@
 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.1](https://github.com/markuplint/markuplint/compare/v5.0.0-alpha.0...v5.0.0-alpha.1) (2026-02-22)
+
+### Features
+
+- **svelte-spec:** use acceptedAttrNames and add contenteditable override ([60a6279](https://github.com/markuplint/markuplint/commit/60a627907b93543b542b9578b53cbe06406a5196))
+
+# [5.0.0-alpha.0](https://github.com/markuplint/markuplint/compare/v4.14.1...v5.0.0-alpha.0) (2026-02-20)
+
+### Bug Fixes
+
+- **svelte-spec:** allow IDL property attributes on form elements ([418e88d](https://github.com/markuplint/markuplint/commit/418e88dac4158d25be883f1495592c495849ca75)), closes [#2590](https://github.com/markuplint/markuplint/issues/2590)
+
+### Features
+
+- **svelte-spec:** add directivePatterns and useIDLAttributeNames ([78568cf](https://github.com/markuplint/markuplint/commit/78568cff19bef02a8f255eed33bb7e50a8c89c6d))
+
 ## [4.5.23](https://github.com/markuplint/markuplint/compare/@markuplint/svelte-spec@4.5.22...@markuplint/svelte-spec@4.5.23) (2026-02-10)
 
 **Note:** Version bump only for package @markuplint/svelte-spec

package/lib/index.d.ts

@@ -3,18 +3,16 @@
  *
  * Provides Svelte-specific extended specifications for markuplint.
  * Defines element-level attribute overrides for Svelte's two-way
- * binding behavior on form elements (`<select>` and `<textarea>`),
- * where the `value` attribute accepts any type to support bound
- * variables.
+ * binding behavior on form elements and IDL property attributes
+ * such as `defaultValue`, `defaultChecked`, and `indeterminate`.
  */
 import type { ExtendedSpec } from '@markuplint/ml-spec';
 /**
  * The Svelte framework extended specification.
  *
  * Provides per-element attribute definitions that accommodate
- * Svelte's two-way binding (`bind:value`) on `<select>` and
- * `<textarea>` elements, allowing the `value` attribute to accept
- * any type rather than only strings.
+ * Svelte's two-way binding (`bind:value`) and IDL property
+ * attributes on form elements.
  */
 declare const spec: ExtendedSpec;
 export default spec;

package/lib/index.js

@@ -3,26 +3,106 @@
  *
  * Provides Svelte-specific extended specifications for markuplint.
  * Defines element-level attribute overrides for Svelte's two-way
- * binding behavior on form elements (`<select>` and `<textarea>`),
- * where the `value` attribute accepts any type to support bound
- * variables.
+ * binding behavior on form elements and IDL property attributes
+ * such as `defaultValue`, `defaultChecked`, and `indeterminate`.
  */
 /**
  * The Svelte framework extended specification.
  *
  * Provides per-element attribute definitions that accommodate
- * Svelte's two-way binding (`bind:value`) on `<select>` and
- * `<textarea>` elements, allowing the `value` attribute to accept
- * any type rather than only strings.
+ * Svelte's two-way binding (`bind:value`) and IDL property
+ * attributes on form elements.
  */
 const spec = {
+    acceptedAttrNames: 'both',
+    def: {
+        '#globalAttrs': {
+            '#extends': {
+                /**
+                 * Svelte accepts "inherit" as a valid contentEditable value
+                 * (IDL state value from the ContentEditable interface).
+                 */
+                contenteditable: {
+                    type: {
+                        enum: ['', 'true', 'false', 'plaintext-only', 'inherit'],
+                        disallowToSurroundBySpaces: true,
+                        invalidValueDefault: 'inherit',
+                        missingValueDefault: 'inherit',
+                        sameStates: { true: [''] },
+                    },
+                },
+            },
+        },
+    },
+    directivePatterns: [
+        // bind:group, bind:this → true directives
+        {
+            pattern: '^bind:(?:group|this)$',
+            isDirective: true,
+            isDynamicValue: true,
+        },
+        // bind:name → potentialName=name, isDynamicValue
+        {
+            pattern: '^bind:(.+)$',
+            potentialName: '$1',
+            isDynamicValue: true,
+        },
+        // on:event (Svelte 4 legacy)
+        {
+            pattern: '^on:.+$',
+            isDirective: true,
+            isDynamicValue: true,
+        },
+        // class:name → potentialName=class, isDuplicatable
+        {
+            pattern: '^class:',
+            potentialName: 'class',
+            isDuplicatable: true,
+            isDynamicValue: true,
+        },
+        // style:property → potentialName=style, isDuplicatable
+        {
+            pattern: '^style:',
+            potentialName: 'style',
+            isDuplicatable: true,
+            isDynamicValue: true,
+        },
+        // animate:, transition:, in:, out:, use:, let: → isDirective
+        {
+            pattern: '^(?:animate|transition|in|out|use|let):',
+            isDirective: true,
+        },
+    ],
     specs: [
+        {
+            name: 'input',
+            attributes: {
+                defaultChecked: {
+                    type: 'Boolean',
+                    caseSensitive: true,
+                    condition: ['[type=checkbox]', '[type=radio]'],
+                },
+                defaultValue: {
+                    type: 'Any',
+                    caseSensitive: true,
+                },
+                indeterminate: {
+                    type: 'Boolean',
+                    caseSensitive: true,
+                    condition: '[type=checkbox]',
+                },
+            },
+        },
         {
             name: 'select',
             attributes: {
                 value: {
                     type: 'Any',
                 },
+                defaultValue: {
+                    type: 'Any',
+                    caseSensitive: true,
+                },
             },
         },
         {
@@ -31,6 +111,10 @@ const spec = {
                 value: {
                     type: 'Any',
                 },
+                defaultValue: {
+                    type: 'Any',
+                    caseSensitive: true,
+                },
             },
         },
     ],

package/package.json

@@ -1,10 +1,13 @@
 {
 	"name": "@markuplint/svelte-spec",
-	"version": "4.5.23",
+	"version": "5.0.0-alpha.1",
 	"description": "Extended specification for tags and attributes in Svelte",
 	"repository": "git@github.com:markuplint/markuplint.git",
 	"author": "Yusuke Hirao <yusukehirao@me.com>",
 	"license": "MIT",
+	"engines": {
+		"node": ">=22"
+	},
 	"type": "module",
 	"exports": {
 		".": {
@@ -21,7 +24,7 @@
 		"clean": "tsc --build --clean tsconfig.build.json"
 	},
 	"dependencies": {
-		"@markuplint/ml-spec": "4.10.2"
+		"@markuplint/ml-spec": "5.0.0-alpha.1"
 	},
-	"gitHead": "193ee7c1262bbed95424e38efdf1a8e56ff049f4"
+	"gitHead": "78a295e73a097a1ce09c777c06fa21ab68136387"
 }