input 要素の type 属性の状態が変わるときや、その要素が最初に生成されるとき、その要素のレンダリングとビヘイビアは、それに応じて、その新しい状態のものに変更されなければいけません。そして、その type 属性の新しい状態に対して定義されたら、値サニタイゼーション・アルゴリズムが呼び出されなければいけません。

それぞれの input 要素は値を持ちます。それは、value DOM 属性でアクセスできます。いくつかの状態は、文字列を数値に変換するアルゴリズム、数値を文字列に変換するアルゴリズム、文字列を Date オブジェクトに変換するアルゴリズム、そして、Date オブジェクトを文字列に変換するアルゴリズムを定義します。これらは、max, min, step, valueAsDate, valueAsNumber, stepDown(), stepUp()によって利用されます。

それぞれの input 要素は、論理値の汚染値フラグを持ちます。それが true のとき、その要素は汚染値を持つと言います。汚染値は、その要素が生成されるとき、当初は false にセットされなければいけません。そして、ユーザーが値を変更するような操作をしたら必ず true にセットされなければいけません。

それぞれの input 要素は、チェック状態を持ちます。それは、checked DOM 属性からアクセスできます。

それぞれの input 要素は、論理値の汚染チェック状態フラグを持ちます。それが true のとき、その要素は、汚染チェック状態を持つと言います。汚染チェック状態フラグは、その要素が生成されるとき、当初は false にセットされなければいけません。そして、ユーザーがチェック状態を変更するような操作をしたら必ず trueにセットされなければいけません。

input 要素のリセット・アルゴリズムは、汚染値フラグと汚染チェック状態フラグを false に戻します。value コンテンツ属性の値があれば、それをその要素の値となるようセットし、なければ空文字列となるようセットします。その要素が checked コンテンツ属性を持つなら、その要素のチェック状態を true とし、なければ false とします。それから、その type 属性の現在の状態が定義されていれば、値サニタイゼーション・アルゴリズムを呼び出します。

それぞれの input 要素は、論理値のミュータビリティ・フラグを持ちます。これが true のとき、その要素はミュータブルであると言います。これが false のとき、その要素はイミュータブルであると言います。それ以外のものが指定されない限り、input 要素は常にミュータブルです。それ以外のものが指定されない限り、ユーザーエージェントは、ユーザーがその要素の値やチェック状態を変更できるようにするべきではありません。

input 要素が無効であるとき、それはミュータブルです。

input 要素が、その祖先のひとつとして Document を持たないなら（つまり、それがドキュメントの中にないなら）、それはイミュータブルです。

readonly 属性も、input 要素をイミュータブルにする場合があります（例えば、Date 状態だけれども Checkbox 状態でない場合）。

indeterminate DOM 属性は、最初は false にセットされなければいけません。取得時は、それにセットされた最後の値を返さなければいけません。セット時は、新しい値にセットされなければいけません。この属性は、チェックボックス・コントロールの見え方が変更される点を除き、何も影響を与えません。

accept, alt, autocomplete, max, min, multiple, pattern, placeholder, required, size, src, step, type DOM 属性は、対応する同じ名前のコンテンツ属性を反映しなければいけません。readOnly DOM 属性は、readonly コンテンツ属性を反映しなければいけません。defaultChecked DOM 属性は、checked コンテンツ属性を反映しなければいけません。defaultValue DOM 属性は、value コンテンツ属性を反映しなければいけません。

willValidate, validity, validationMessage 属性と、checkValidity() そして setCustomValidity() メソッドは、制約バリデーション API の一部です。labels 属性は、その要素の label のリストを提供します。select(), selectionStart, selectionEnd, setSelectionRange() メソッドと属性は、その要素のテキスト・セレクションをアクセスできるようにします。

input 要素の type 属性が Hidden 状態にあるとき、このセクションのルールが適用されます。

制約バリデーション： input 要素の type 属性が Hidden 状態にあるなら、それは制約バリデーションから除外されます。

input 要素の type 属性が Text 状態、または、Search 状態にあるとき、このセクションのルールが適用されます。

要素がミュータブルなら、ユーザーがその値を編集することができるようにするべきです。ユーザーエージェントは、ユーザーがその要素の値の中に U+000A LINE FEED (LF) または U+000D CARRIAGE RETURN (CR) 文字を挿入できるようにしてはいけません。

値サニタイゼーション・アルゴリズムは次の通りです： 値から改行を取り除きます。

input 要素の type 属性が Telephone 状態にあるとき、このセクションのルールが適用されます。

この要素がミュータブルなら、ユーザーがその値を編集できるようにするべきです。ユーザーエージェントは、ユーザーが入力する値の句読文字を変更することができます。ユーザーエージェントは、ユーザーがその要素の値の中に U+000A LINE FEED (LF) または U+000D CARRIAGE RETURN (CR) 文字を入れられないようにするべきです。

値サニタイゼーション・アルゴリズムは次の通りです：値から改行を取り除きます。

input 要素の type 属性が URL 状態にあるとき、このセクションのルールが適用されます。

この要素がミュータブルなら、ユーザーエージェントは、その値で表された URL をユーザーが変更できるようにするべきです。ユーザーエージェントは、ユーザーが妥当な絶対 URL ではない文字列をその値にセットできるようにすることができますが、ユーザーが入力した文字をエスケープして、その値が常に妥当な絶対 URL となるようにすることもできます（たとえ、それが、実際にユーザーがそのインタフェースで見たり編集した値でなくてもです。）。ユーザーエージェントは、ユーザーがその値に空文字列をセットできるようにするべきです。ユーザーエージェントは、U+000A LINE FEED (LF) や U+000D CARRIAGE RETURN (CR) 文字をその値に入れることができるようにしてはいけません。

値サニタイゼーション・アルゴリズムは次の通りです：値から改行を取り除きます。

制約バリデーション： この要素の値が妥当な絶対 URL でないときは、この要素はタイプ不一致に陥っていることになります。

input 要素の type 属性が E-mail 状態にあるとき、このセクションのルールが適用されます。

この要素がミュータブルなら、ユーザーエージェントは、その値で表されたメールアドレスをユーザーが変更できるようにするべきです。multiple 属性が指定されているなら、ユーザーエージェントは、ユーザーが複数のアドレスを選択したり入れたりできるようにするべきです。そうでなければ、ユーザーエージェントは、ユーザーがひとつのメールアドレスを入れると期待するような形式を取るべきです。ユーザーエージェントは、ユーザーが妥当なメールアドレス・リストでない文字列を値にセットできるようにすることができます。ユーザーエージェントは、ユーザーがその値に空文字列をセットできるようにするべきです。ユーザーエージェントは、U+000A LINE FEED (LF) や U+000D CARRIAGE RETURN (CR) 文字をその値に入れることができるようにしてはいけません。ユーザーエージェントは、表示および編集のために、その値を変換することができます（例えば、値の中に punycode を IDN に、もしくは、その逆向きに変換して表示することができます）。

値サニタイゼーション・アルゴリズムは次の通りです：値から改行を取り除きます。

制約バリデーション： この要素に multiple 属性が指定された場合、この要素の値が妥当なメールアドレス・リストとならない間は、この要素はタイプ不一致に陥っていることになります。指定がない場合、この要素の値が単一の妥当なメールアドレスとならない間は、この要素はタイプ不一致に陥っていることになります。

input 要素の type 属性が Password 状態にあるとき、このセクションのルールが適用されます。

この要素がミュータブルなら、その値は編集可能となるべきです。ユーザーエージェントは、ユーザーが U+000A LINE FEED (LF) や U+000D CARRIAGE RETURN (CR) 文字をその値に入れることができるようにしてはいけません。

値サニタイゼーション・アルゴリズムは次の通りです：値から改行を取り除きます。

input 要素の type 属性が Date and Time 状態にあるとき、このセクションのルールが適用されます。

この要素がミュータブルなら、ユーザーエージェントは、その値で表されたグローバル日時をユーザーが変更できるようにするべきです。その値は、グローバル日時をパースして得られるものです。ユーザーエージェントは、ユーザーが UTC で表される妥当なグローバル日時文字列ではない文字列をその値にセットできるようにしてはいけません。ただし、ユーザーエージェントは、別のタイムゾーンでその時間をユーザーがセットしたり見たりすることができるようにすることができます。また、その値の中で UTC タイムゾーンからの変換、または UTC タイムゾーンへの変換を、暗黙のうちに行うことができます。ユーザーエージェントが、グローバル日時を選択するためのインタフェースをユーザーに提供するなら、その値は、ユーザーの選択した日時を UTC で表した妥当なグローバル日時文字列となるようセットされなければいけません。ユーザーエージェントは、ユーザーが空文字列をその値にセットできるようにするべきです。

値サニタイゼーション・アルゴリズムは次の通りです：この要素の値が妥当なグローバル日時文字列なら、その値が同じ時点の UTC タイムゾーンで表されたものを表すように、時間を調整します。そうでなければ、代わりに空文字列をそれにセットします。

この要素がステップ不一致に陥っているとき、ユーザーエージェントは、その要素の値を、もっとも近いグローバル日時に丸めて、その要素がステップ不一致に陥いらないようにすることができます。

文字列を数値に変換するアルゴリズムは、文字列 input を与えると次の通りとなります： input からグローバル日時をパースしてエラーになったら、エラーを返します。そうでなければ、UTC 1970-01-01 午前 0 時（"1970-01-01T00:00:00.0Z" という値で表される時間）から、パースされたグローバル日時に至るまでの経過ミリ秒の数値を返します。うるう秒は無視します。

数値を文字列に変換するアルゴリズムは、数値 input を与えると次の通りとなります： UTC 1970-01-01 午前 0 時（"1970-01-01T00:00:00.0Z" という値で表される時間）から input ミリ秒後となるグローバル日時を表す妥当なグローバル日時文字列を UTC で返します。

文字列を Date オブジェクトに変換するアルゴリズムは、文字列 input を与えると次の通りとなります： input からグローバル日時をパースしてエラーになったら、エラーを返します。そうでなければ、パースされたグローバル日時を表す Date オブジェクトを UTC で返します。

Date オブジェクトを文字列に変換するアルゴリズムは、Date オブジェクト input を与えると次の通りとなります： input で表されるグローバル日時を表す妥当なグローバル日時文字列を UTC で返します。

input 要素の type 属性が Date 状態にあるとき、このセクションのルールが適用されます。

この要素がミュータブルなら、ユーザーエージェントは、その値で表された日付をユーザーが変更できるようにするべきです。その値は、日付をパースして得られるものです。ユーザーエージェントは、ユーザーが妥当な日付文字列でない文字列をその値にセットできるようにしてはいけません。ユーザーエージェントが日付を選択するためのインタフェースをユーザーに提供するなら、その値は、ユーザーの選択を表す妥当な日付文字列となるようセットされなければいけません。ユーザーエージェントは、ユーザーが空文字列をその値にセットできるようにするべきです。

値サニタイゼーション・アルゴリズムは次の通りです： この要素の値が妥当な日付文字列でないなら、代わりに空文字列をそれにセットします。

この要素がステップ不一致に陥っているとき、ユーザーエージェントは、その要素の値を、もっとも近い日付に丸めて、その要素がステップ不一致に陥いらないようにすることができます。

文字列を数値に変換するアルゴリズムは、文字列 input を与えると次の通りとなります：input から日付をパースしてエラーになったら、エラーを返します。そうでなければ、UTC 1970-01-01 午前 0 時（"1970-01-01T00:00:00.0Z" という値で表される時間）から、パースされた日付の UTC 午前 0 時に至るまでの経過ミリ秒の数値を返します。うるう秒は無視します。

数値を文字列に変換するアルゴリズムは、数値 input を与えると次の通りとなります： UTC 1970-01-01 午前 0 時（"1970-01-01T00:00:00.0Z" という値で表される時間）から input ミリ秒後となるグローバル日時を表す妥当な日付文字列を UTC で返します。

文字列を Date オブジェクトに変換するアルゴリズムは、文字列 input を与えると次の通りとなります：input から日付をパースしてエラーになったら、エラーを返します。そうでなければ、パースされた日付の UTC 午前 0 時を表す Date オブジェクトを UTC で返します。

Date オブジェクトを文字列に変換するアルゴリズムは、Date オブジェクト input を与えると次の通りとなります：UTC タイムゾーンで input で表される時間における日付を表す妥当な日付文字列を返します。

input 要素の type 属性が Month 状態にあるとき、このセクションのルールが適用されます。

この要素がミュータブルなら、ユーザーエージェントは、その値で表された月をユーザーが変更できるようにするべきです。その値は、月をパースして得られるものです。ユーザーエージェントは、ユーザーが妥当な月文字列でない文字列をその値にセットできるようにしてはいけません。ユーザーエージェントが月を選択するためのインタフェースをユーザーに提供するなら、その値は、ユーザーの選択を表す妥当な月文字列となるようセットされなければいけません。ユーザーエージェントは、ユーザーが空文字列をその値にセットできるようにするべきです。

値サニタイゼーション・アルゴリズムは次の通りです： この要素の値が妥当な月文字列でないなら、代わりに空文字列をそれにセットします。

この要素がステップ不一致に陥っているとき、ユーザーエージェントは、その要素の値を、もっとも近い月に丸めて、その要素がステップ不一致に陥いらないようにすることができます。

文字列を数値に変換するアルゴリズムは、文字列 input を与えると次の通りとなります: input から月をパースしてエラーになったら、エラーを返します。そうでなければ、1970 年 1 月とパースされた月との間にある月数を返します。

数値を文字列に変換するアルゴリズムは、数値 input を与えると次の通りとなります：それと 1970 年との間に input ヶ月を持つ月を表す妥当な月文字列を返します。

文字列を Date オブジェクトに変換するアルゴリズムは、文字列 input を与えると次の通りとなります： input から月をパースしてエラーになったら、エラーを返します。そうでなければ、パースされた月の初日の UTC 午前 0 時を表す Date オブジェクトを返します。

Date オブジェクトを文字列に変換するアルゴリズムは、Date オブジェクト input を与えると次の通りとなります：UTC タイムゾーンで input で表される時間における月を表す妥当な月文字列を返します。

input 要素の type 属性が Week 状態にあるとき、このセクションのルールが適用されます。

この要素がミュータブルなら、ユーザーエージェントは、その値で表された週をユーザーが変更できるようにするべきです。その値は、週をパースして得られるものです。ユーザーエージェントは、ユーザーが妥当な週文字列でない文字列をその値にセットできるようにしてはいけません。ユーザーエージェントが週を選択するためのインタフェースをユーザーに提供するなら、その値は、ユーザーの選択を表す妥当な週文字列となるようセットされなければいけません。ユーザーエージェントは、ユーザーが空文字列をその値にセットできるようにするべきです。

値サニタイゼーション・アルゴリズムは次の通りです：この要素の値が妥当な週文字列でないなら、代わりに空文字列をそれにセットします。

この要素がステップ不一致に陥っているとき、ユーザーエージェントは、その要素の値を、もっとも近い週に丸めて、その要素がステップ不一致に陥いらないようにすることができます。

文字列を数値に変換するアルゴリズムは、文字列 input を与えると次の通りとなります： input から週をパースしてエラーになったら、エラーを返します。そうでなければ、UTC 1970-01-01 午前 0 時（"1970-01-01T00:00:00.0Z" という値で表される時間）から、パースされた週の月曜日の UTC 午前 0 時に至るまでの経過ミリ秒の数値を返します。うるう秒は無視します。

数値を文字列に変換するアルゴリズムは、数値 input を与えると次の通りとなります：UTC 1970-01-01 午前 0 時（"1970-01-01T00:00:00.0Z" という値で表される時間）から input ミリ秒後となる週を表す妥当な週文字列を UTC で返します。

文字列を Date オブジェクトに変換するアルゴリズムは、文字列 input を与えると次の通りとなります：input から週をパースしてエラーになったら、エラーを返します。そうでなければ、パースされた週の月曜日の UTC 午前 0 時を表す Date オブジェクトを UTC で返します。

Date オブジェクトを文字列に変換するアルゴリズムは、Date オブジェクト input を与えると次の通りとなります：UTC タイムゾーンで input で表される時間における週を表す妥当な週文字列を返します。

input 要素の type 属性が Time 状態にあるとき、このセクションのルールが適用されます。

この要素がミュータブルなら、ユーザーエージェントは、その値で表された週をユーザーが変更できるようにするべきです。その値は、時間をパースして得られるものです。ユーザーエージェントは、ユーザーが妥当な時間文字列でない文字列をその値にセットできるようにしてはいけません。ユーザーエージェントが時間を選択するためのインタフェースをユーザーに提供するなら、その値は、ユーザーの選択を表す妥当な時間文字列となるようセットされなければいけません。ユーザーエージェントは、ユーザーが空文字列をその値にセットできるようにするべきです。

値サニタイゼーション・アルゴリズムは次の通りです：この要素の値が妥当な時間文字列でないなら、代わりに空文字列をそれにセットします。

この要素がステップ不一致に陥っているとき、ユーザーエージェントは、その要素の値を、もっとも近い時間に丸めて、その要素がステップ不一致に陥いらないようにすることができます。

文字列を数値に変換するアルゴリズムは、文字列 input を与えると次の通りとなります：input から時間をパースしてエラーになったら、エラーを返します。そうでなければ、時間を変更せずに、一日の中で、そのパースされた時間までの経過ミリ秒の数値を返します。

数値を文字列に変換するアルゴリズムは、数値 input を与えると次の通りとなります：時間を変更せずに、一日の中で、午前 0 時からの input ミリ秒だけ経過した時間を表す妥当な時間文字列を返します。

文字列を Date オブジェクトに変換するアルゴリズムは、文字列 input を与えると次の通りとなります： input から時間をパースしてエラーになったら、エラーを返します。そうでなければ、1970-01-01 のパースされた時間を表す Date オブジェクトを返します。

Date オブジェクトを文字列に変換するアルゴリズムは、Date オブジェクト input を与えると次の通りとなります：UTC タイムゾーンで input で表される時間を表す妥当な時間文字列を返します。

input 要素の type 属性が Local Date and Time 状態にあるとき、このセクションのルールが適用されます。

この要素がミュータブルなら、ユーザーエージェントは、その値で表された日時をユーザーが変更できるようにするべきです。その値は、日時をパースして得られるものです。ユーザーエージェントは、ユーザーが妥当なローカル日時文字列でない文字列をその値にセットできるようにしてはいけません。ユーザーエージェントがローカル日時を選択するためのインタフェースをユーザーに提供するなら、その値は、ユーザーの選択を表す妥当なローカル日時文字列となるようセットされなければいけません。ユーザーエージェントは、ユーザーが空文字列をその値にセットできるようにするべきです。

値サニタイゼーション・アルゴリズムは次の通りです： この要素の値が妥当なローカル日時文字列でないなら、代わりに空文字列をそれにセットします。

この要素がステップ不一致に陥っているとき、ユーザーエージェントは、その要素の値を、もっとも近いローカル日時に丸めて、その要素がステップ不一致に陥いらないようにすることができます。

文字列を数値に変換するアルゴリズムは、文字列 input を与えると次の通りとなります：input から日時をパースしてエラーになったら、エラーを返します。そうでなければ、1970-01-01 午前 0 時（"1970-01-01T00:00:00.0" という値で表される時間）から、パースされたローカル日時に至るまでの経過ミリ秒の数値を返します。うるう秒は無視します。

数値を文字列に変換するアルゴリズムは、数値 input を与えると次の通りとなります：1970-01-01 午前 0 時（"1970-01-01T00:00:00.0" という値で表される時間）から input ミリ秒後となる日時を表す妥当なローカル日時文字列を返します。

input 要素の type 属性が Number 状態にあるとき、このセクションのルールが適用されます。

この要素がミュータブルなら、ユーザーエージェントは、その値で表された数値をユーザーが変更できるようにするべきです。その値は、浮動少数点数値をパースするルールを適用して得られるものです。ユーザーエージェントは、ユーザーが妥当な浮動小数点数でない文字列をその値にセットできるようにしてはいけません。ユーザーエージェントが数値を選択するためのインタフェースをユーザーに提供するなら、その値は、ユーザーの選択を表す浮動小数点数の最適表現なるようセットされなければいけません。ユーザーエージェントは、ユーザーが空文字列をその値にセットできるようにするべきです。

値サニタイゼーション・アルゴリズムは次の通りです：この要素の値が妥当な浮動小数点数でないなら、代わりに空文字列をそれにセットします。

この要素がステップ不一致に陥っているとき、ユーザーエージェントは、その要素の値を、もっとも近い数値に丸めて、その要素がステップ不一致に陥いらないようにすることができます。

文字列を数値に変換するアルゴリズムは、文字列 input を与えると次の通りとなります： input に浮動少数点数値をパースするルールを適用してエラーになったら、エラーを返します。そうでなければ、結果の数値を返します。

数値を文字列に変換するアルゴリズムは、数値 input を与えると次の通りとなります：input を表す妥当な浮動小数点数を返します。

input 要素の type 属性が Range 状態にあるとき、このセクションのルールが適用されます。

この状態では、ユーザー入力中ですら、その範囲とステップの制約が強制されます。そして、その値に空文字列をセットする方法はありません。

この要素がミュータブルなら、ユーザーエージェントは、その値で表された数値をユーザーが変更できるようにするべきです。その値は、浮動少数点数値をパースするルールを適用して得られるものです。ユーザーエージェントは、ユーザーが妥当な浮動小数点数でない文字列をその値にセットできるようにしてはいけません。ユーザーエージェントが数値を選択するためのインタフェースをユーザーに提供するなら、その値は、ユーザーの選択を表す浮動小数点数の最適表現なるようセットされなければいけません。ユーザーエージェントは、ユーザーが空文字列をその値にセットできるようにしてはいけません。

値サニタイゼーション・アルゴリズムは次の通りです： この要素の値が妥当な浮動小数点数でないなら、デフォルト値を表す妥当な浮動小数点数をそれにセットします。

この要素がアンダーフローに陥っているとき、ユーザーエージェントは、その要素の値を、最小値を表す妥当な浮動小数点数となるようセットしなければいけません。

この要素がオーバーフローに陥っているとき、最大値が最小値より小さくなければ、ユーザーエージェントは、その要素の値を、最大値を表す妥当な浮動小数点数となるようセットしなければいけません。

この要素がステップ不一致に陥っているとき、ユーザーエージェントは、その要素の値を、もっとも近い数値に丸めることで、その要素がステップ不一致に陥いらず、最小値より大きいか等しく、そして、最大値が最小値より小さくないなら、最大値より小さいか等しくなるようにしなければいけません。

文字列を数値に変換するアルゴリズムは、文字列 input を与えると次の通りとなります：input に浮動少数点数値をパースするルールを適用してエラーになったら、エラーを返します。そうでなければ、結果の数値を返します。

数値を文字列に変換するアルゴリズムは、数値 input を与えると次の通りとなります： input を表す妥当な浮動小数点数を返します。

input 要素の type 属性が Color 状態にあるとき、このセクションのルールが適用されます。

この状態では、常に色は選択された状態となり、空文字列を値にセットする方法はありません。

この要素がミュータブルなら、ユーザーエージェントは、その値で表された色をユーザーが変更できるようにするべきです。その値は、単色値をパースするルールを適用して得られるものです。ユーザーエージェントは、ユーザーが妥当な小文字表記の単色でない文字列をその値にセットできるようにしてはいけません。ユーザーエージェントが色を選択するためのインタフェースをユーザーに提供するなら、その値は、ユーザーの選択を表す単色値サニタイジング・ルールの結果となるようセットされなければいけません。ユーザーエージェントは、ユーザーが空文字列をその値にセットできるようにしてはいけません。

値サニタイゼーション・アルゴリズムは次の通りです：この要素の値が妥当な単色なら、その要素の値を小文字に変換したものをそれにセットします。そうでなければ、文字列 "#000000" をそれにセットします。

input 要素の type 属性が Checkbox 状態にあるとき、このセクションのルールが適用されます。

この要素がミュータブルの場合：プレ・クリック・アクティベーション手順では、その要素のチェック状態にその反対の値（つまり、それが false なら true、それが true なら false）をセットし、その要素の indeterminate DOM 属性に false をセットします。キャンセルド・アクティベーション手順では、チェック状態とその要素の indeterminate DOM 属性を、プレ・クリック・アクティベーション手順が実行される前の値に戻します。アクティベーション・ビヘイビアでは、その要素で change というバブリングするシンプルなイベントを発出します。それから、その要素のフォーム・オーナーでformchange イベントをブロードキャストします。

制約バリデーション：この要素が必須でそのチェック状態が false なら、この要素は未入力状態に陥っていることになります。

input 要素の type 属性が Radio Button 状態にあるとき、このセクションのルールが適用されます。

次のイベントが発生するとき、そのイベントの後でこの要素のチェック状態が true なら、同じラジオボタン・グループにある別の要素すべてのチェック状態は false にセットされなければいけません：

• この要素のチェック状態が true にセットされる（理由を問わず）。
• この要素の name 属性が追加されたり、削除されたり、値が変更される。
• この要素のフォーム・オーナーが変更される。

この要素がミュータブルの場合：プレ・クリック・アクティベーション手順では、その要素のチェック状態に true をセットします。キャンセルド・アクティベーション手順では、その要素のチェック状態を false にセットします。アクティベーション・ビヘイビアでは、その要素で change というバブリングするシンプルなイベントを発出します。それから、その要素のフォーム・オーナーでformchange イベントをブロードキャストします。

制約バリデーション：この要素が必須で、同じラジオボタン・グループにあるすべての input 要素が false となるチェック状態を持つなら、この要素は未入力状態に陥っていることになります。

input 要素の type 属性が File Upload 状態にあるとき、このセクションのルールが適用されます。

この要素がミュータブルなら、ユーザーエージェントは、ユーザーがリスト上のファイルを、例えば追加したり削除するなど、変更できるようにするべきです。ファイルは、ファイルシステムのものや、動的に生成されたものでも構いません。例えば、ユーザーのデバイスに接続されたカメラから取り出した写真等です。

制約バリデーション： この要素が必須で、選択ファイルのリストが空なら、この要素は未入力状態に陥っていることになります。

multiple 属性がセットされていない限り、選択ファイルのリストに 1 つ以上のファイルが存在してはいけません。

ユーザーエージェントは、ユーザーが、これらのトークンの 1 つ（または、それ以上）によって受け入れられないファイルを選択できないようにするべきです。

input 要素の type 属性が Submit Button 状態にあるとき、このセクションのルールが適用されます。

この要素がミュータブルなら、ユーザーエージェントは、ユーザーがこの要素をアクティベートできるようにするべきです。

この要素のアクティベーション・ビヘイビアは、この要素がフォーム・オーナーを持つなら、その input 要素からフォーム・オーナーをサブミットすることです。

input 要素の type 属性が Image Button 状態にあるとき、このセクションのルールが適用されます。

次のイベントが発生するときは、ユーザーエージェントがイメージをサポートすることができるなら、または、イメージのサポートが無効になっていなければ、または、ユーザーエージェントがオン・デマンドで要素をフェッチするだけなら、ユーザーエージェントは、その要素に対して src 属性の値を解決しなければいけません。そして、それが成功したら、その結果となった絶対 URL をフェッチしなければいけません：

• The input element's type attribute is first set to the Image Button state (possibly when the element is first created), and the src attribute is present.
• The input element's type attribute is changed back to the Image Button state, and the src attribute is present, and its value has changed since the last time the type attribute was in the Image Button state.
• The input element's type attribute is in the Image Button state, and the src attribute is set or changed.

Fetching the image must delay the load event of the element's document until the task that is queued by the networking task source once the resource has been fetched (defined below) has been run.

If the image was successfully obtained, with no network errors, and the image's type is a supported image type, and the image is a valid image of that type, then the image is said to be available. If this is true before the image is completely downloaded, each task that is queued by the networking task source while the image is being fetched must update the presentation of the image appropriately.

The user agents should apply the image sniffing rules to determine the type of the image, with the image's associated Content-Type headers giving the official type. If these rules are not applied, then the type of the image must be the type given by the image's associated Content-Type headers.

User agents must not support non-image resources with the input element. User agents must not run executable code embedded in the image resource. User agents must only display the first page of a multipage resource. User agents must not allow the resource to act in an interactive fashion, but should honor any animation in the resource.

The task that is queued by the networking task source once the resource has been fetched, must, if the download was successful and the image is available, queue a task to fire a simple event called load at the input element; and otherwise, if the fetching process fails without a response from the remote server, or completes but the image is not a valid or supported image, queue a task to fire a simple event called error on the input element.

src 属性がセットされ、そのイメージが利用可能で、ユーザーエージェントがそのイメージを表示するよう設定されている場合：この要素は、src 属性で指定されたイメージから座標を選択するためのコントロールを表します。この要素がミュータブルなら、ユーザーエージェントは、ユーザーがこの座標を選択できるようにするべきです。この場合のアクティベーション・ビヘイビアでは、ユーザーが選択した座標を取り出し、この要素がフォーム・オーナーを持つなら、その input 要素から、その input 要素のフォーム・オーナーをサブミットします。ユーザーが座標を明示的に選択せずにコントロールをアクティベートしたら、その座標は (0,0) と見なされなければいけません。

そうでなければ、この要素は、ラベルが alt 属性の値で与えられるサブミット・ボタンを表します。この要素がミュータブルなら、ユーザーエージェントは、ユーザーがそのボタンをアクティベートできるようにするべきです。この場合のアクティベーション・ビヘイビアでは、選択座標を (0,0) となるようセットし、この要素がフォーム・オーナーを持つなら、その input 要素から、その input 要素のフォーム・オーナーをサブミットします。

選択座標は、x コンポーネントと y コンポーネントから構成されます。x コンポーネントは、0 以上でなければならず、CSS ピクセルの単位で、イメージのレンダリング幅、そして、イメージの周囲に左と右のボーダーがあれば、それらの幅も加えたものより小さいか等しくなければいけません。yコンポーネントは、0 以上でなければならず、CSS ピクセルの単位で、イメージのレンダリング高、そして、イメージの周囲に上と下のボーダーがあれば、それらの幅も加えたものより小さいか等しくなければいけません。この座標は、イメージ・ボーダーがあれば、それからの相対でなければいけません。なければ、イメージの端からの相対とならなければいけません。

input 要素の type 属性が Reset Button 状態にあるとき、このセクションのルールが適用されます。

この要素がミュータブルなら、ユーザーエージェントは、ユーザーがこの要素をアクティベートできるようにするべきです。

この要素のアクティベーション・ビヘイビアは、この要素がフォーム・オーナーを持つなら、そのフォーム・オーナーをリセットすることです。

制約バリデーション： この要素は制約バリデーションから除外されます。

input 要素の type 属性が Button 状態にあるとき、このセクションのルールが適用されます。

この要素がミュータブルなら、ユーザーエージェントは、ユーザーがこの要素をアクティベートできるようにするべきです。この要素のアクティベーション・ビヘイビアは何もしません。

制約バリデーション： この要素は制約バリデーションから除外されます。

これらの属性は input 要素に適用されるものですが、その属性が適用できると定義されている type 属性の状態にある場合に限ります。属性が input 要素に適用されないとき、ユーザーエージェントは、その属性を無視しなければいけません。

それぞれの input 要素は、最終オートコンプリート状態を持ち、on または off のいずれかとなります。

input 要素の autocomplete 属性が on 状態にあるとき、input 要素の autocomplete 属性が default 状態にあり、その要素にフォーム・オーナーがないとき、そして、input 要素の autocomplete 属性が default 状態にあり、その要素のフォーム・オーナーの autocomplete 属性が on 状態にあるときは、その input の最終オートコンプリート状態は on となります。そうでなければ、その input 要素の最終オートコンプリート状態は off となります。

input 要素の最終オートコンプリート状態が on のとき、ユーザーエージェントは、ユーザーが入力した値を保存しておいて、そのユーザーが該当のページに戻ってきたら、そのフォームにプリセットすることができます。そうでなければ、ユーザーエージェントは、そのコントロールの値を記憶するべきではありません。

オートコンプリート・メカニズムは、あたかもユーザーがその要素の値を修正したかのように動作するようユーザーエージェントに実装されなければならず、その要素がミュータブルであるとき（例えば、その要素がドキュメントに挿入された直後や、ユーザーエージェントがパースを停止するとき）に作動しなければいけません。

ユーザーエージェントは、ユーザーが最終オートコンプリート状態を書き換え、常に on となるようセットして、その値を記憶してプリセットすることができるようにできます。また、常に off にして、値を決して記憶しないようにすることもできます。しかし、最終オートコンプリート状態を on に書き換えることができたとしても、アクセシブルにならないことは明白です。もし、すべての値が記憶されたら、サイト側の指定かどうかに関わらず、ユーザーにとって重大なセキュリティ問題を抱えることになるかもしれないからです。

サジェスト・ソース要素とは、そのドキュメント内で list 属性の値と同じ ID を持つ要素のうち、ツリー順で最初の要素のことです。ただし、その要素が datalist 要素である場合に限ります。もし list 属性がない、または、その ID を持った要素がない、または、その ID を持つ最初の要素が datalist 要素でないなら、その場合は、サジェスト・ソース要素がないということになります。

サジェスト・ソース要素があれば、ユーザーエージェントがユーザーに input 要素の値の編集を許すとき、ユーザーエージェントは、使われているコントロールに適した形で、サジェスト・ソース要素で表されたサジェストをユーザーに提供するべきです。ユーザーエージェントは、必要に応じて、そのサジェストを特定するためにサジェストのラベルを使うことができます。ユーザーがサジェストを選択したら、その input 要素の値は、あたかもユーザーが自分自身で書いたかのように、選択されたサジェストの値がセットされなければいけません。

ユーザーエージェントは、その input 要素の値としてユーザーに入力させてはいけないサジェストを隠すべく、そのサジェストをフィルターしなければいけません。また、その要素が制約を満たさないことになってしまうサジェストを隠すべく、そのサジェストをフィルターするべきです。

list 属性が適用されていなければ、サジェスト・ソース要素はありません。

制約バリデーション：readonly 属性が input 要素に指定されたら、その要素は制約バリデーションから除外されます。

この属性が存在したら、その値は非負整数パース規則を使ってパースされなければなりません。そして、その結果が 0 より大きい数値なら、ユーザーエージェントは少なくともその文字数分は見えるようにするべきです。

size DOM 属性は、正の 0 ではない数値のみに限定されます。

制約バリデーション： この要素が必須で、その value DOM 属性が適用され value モードであり、この要素がミュータブルで、この要素の値が空文字列なら、この要素は未入力状態に陥っていることになります。

制約バリデーション： この要素の値が空文字列ではなく、この要素の pattern 属性が指定され、その属性の値が、disabled となる global, ignoreCase, multiline フラグを伴った JavaScript 正規表現としてコンパイルされるとき（ECMA262 Edition 3, セクション 15.10.7.2 から 15.10.7.4 を参照のこと）、コンパイルは成功するものの、正規表現の結果がこの要素の値に完全に一致しないなら、この要素はパターン不一致に陥っていることになります。[ECMA262]

この属性に使われる正規表現の言語は JavaScript で使われるのと同じということになります。ただし、pattern 属性は値全体を一致させなければならず、部分一致ではないという点を除きます（パターンの最初が ^(?:で、最後が )$ のようなものです）。

ユーザーエージェントは、エラーではない状況においてでも、title を表示することができます（例えば、そのコントロールにマウス・ポインターを当てたときにツールチップとして表示するなど）。そのため、ウェブ制作者は、エラーが発生したかのような言葉を title に入れないよう注意するべきです。

これらの構文は、その type 属性の現在の状態を定義するセクションで定義されています。

この要素に min 属性が指定され、その min 属性の値に文字列を数値に変換するアルゴリズムを適用した結果が数値であれば、その数値は、この要素の最小値となります。そうでなければ、type 属性の現在の状態がデフォルトの最小値を定義しているなら、それが最小値となります。そうでなければ、この要素は最小値を持ちません。

制約バリデーション：この要素が最小値を持ち、この要素の値に与えられた文字列に文字列を数値に変換するアルゴリズムを適用した結果が数値となり、そのアルゴリズムから得られた数値が最小値より小さければ、この要素はアンダーフローに陥っていることになります。

min 属性はステップ・ベースも定義します。

この要素に max 属性が指定され、その max 属性の値に文字列を数値に変換するアルゴリズムを適用した結果が数値であれば、その数値は、この要素の最大値となります。そうでなければ、type 属性の現在の状態がデフォルトの最大値を定義しているなら、それが最大値となります。そうでなければ、この要素は最大値を持ちません。

制約バリデーション：この要素が最大値を持ち、この要素の値に与えられた文字列に文字列を数値に変換するアルゴリズムを適用した結果が数値となり、そのアルゴリズムから得られた数値が最大値より大きければ、この要素はオーバーフローに陥っていることになります。

max 属性の値（最大値）は、min 属性の値（その最小値）より小さくてはいけません。

もし、この要素が最小値より小さい