[URL] 各種更新

Editorial: check forbidden domain code points in domain to ASCII
whatwg/url@c3d173f

Set IDNA's IgnoreInvalidPunycode to false
whatwg/url@a6e4492

Set IDNA's CheckHyphens to the value of beStrict
whatwg/url@cd8f1d6

Remove redundant domain to Unicode call from valid domain
whatwg/url@da212c9

Author: triple-underscore

URL-ja.html

@@ -324,8 +324,8 @@
 ●●options
 
 spec_title:URL
-spec_date:2024-11-26
-trans_update:2024-11-27
+spec_date:2024-11-29
+trans_update:2024-11-30
 source_checked:221209
 spec_status:LS
 original_url:https://url.spec.whatwg.org/
@@ -916,6 +916,7 @@
 末端:end:~
 理論:theory:~
 行使:exercise:~
+理想的:ideal:~
 
 	~network用:networking
 	明瞭でない:unclear
@@ -947,7 +948,7 @@
 	視野から外れる:out-of-scope
 	係る:pertain
 	意外な結果:surprising
-	を基に／含むように:in terms of
+	に基づいて／含むように:in terms of
 	単純にする:simplicity
 	期待されない所で:unexpectedly
 
@@ -1009,7 +1010,7 @@
 	%N:integer
 	%R
 	%b
-	%beStrict
+	%厳密か:beStrict
 	%i
 	%init
 	%~IPv4:ipv4
@@ -1179,7 +1180,7 @@
 
 Commits:
 	<a href="https://github.com/whatwg/url/commits">GitHub whatwg/url/commits</a>
-	<a href="https://url.spec.whatwg.org/commit-snapshots/7ff8de0a1445abcabbbc4d33b292a5eddc8bd22d/" id="commit-snapshot-link">Snapshot as of this commit</a>
+	<a href="https://url.spec.whatwg.org/commit-snapshots/c3d173f3106e0e557a80e30e828edb369909e17b/" id="commit-snapshot-link">Snapshot as of this commit</a>
 	<a href="https://twitter.com/urlstandard">@urlstandard</a>
 
 Tests:
@@ -1452,6 +1453,26 @@ <h3 title="Writing">1.1. 書出法</h3>
 ◎
 Yes
 
+<tr><td>`domain-invalid-code-point@err
+<td>
+入力の`~host$が，`禁止~domain~cp$を包含している。
+◎
+The input’s host contains a forbidden domain code point.
+<td class="example">
+~URLが`特別$であるとき、
+その~hostが，処理される前に`~percent-復号された＠#string-percent-decode$
+— ~URLが `https://exa%23mple.org^l であったなら、
+その結果，~host部位は `exa#mple.org^l になり、
+この~errorを誘発する。
+◎
+Hosts are percent-decoded before being processed when the URL is special, which would result in the following host portion becoming "exa#mple.org" and thus triggering this error.
+◎
+"https://exa%23mple.org"
+<td>
+失敗する
+◎
+Yes
+
 <tr><td>`domain-to-Unicode@err
 <td>
 <p>
@@ -1475,26 +1496,6 @@ <h3 title="Writing">1.1. 書出法</h3>
 ◎
 Host parsing
 
-<tr><td>`domain-invalid-code-point@err
-<td>
-入力の`~host$が，`禁止~domain~cp$を包含している。
-◎
-The input’s host contains a forbidden domain code point.
-<td class="example">
-~URLが`特別$であるとき、
-その~hostが，処理される前に`~percent-復号された＠#string-percent-decode$
-— ~URLが `https://exa%23mple.org^l であったなら、
-その結果，~host部位は `exa#mple.org^l になり、
-この~errorを誘発する。
-◎
-Hosts are percent-decoded before being processed when the URL is special, which would result in the following host portion becoming "exa#mple.org" and thus triggering this error.
-◎
-"https://exa%23mple.org"
-<td>
-失敗する
-◎
-Yes
-
 <tr><td>`host-invalid-code-point@err
 <td>
 `不透明な~host$（`特別$でない~URL）が，`禁止~host~cp$を包含している。
@@ -3224,7 +3225,7 @@ <h3 title="IDNA">3.3. ~IDNA</h3>
 `~domainを~ASCII化する@
 ときは、
 所与の
-( `文字列$ %~domain, 真偽値 %beStrict )
+( `文字列$ %~domain, 真偽値 %厳密か )
 に対し，次を走らす：
 ◎
 The domain to ASCII algorithm, given a string domain and a boolean beStrict, runs these steps:
@@ -3235,24 +3236,25 @@ <h3 title="IDNA">3.3. ~IDNA</h3>
 %結果 ~LET 次を与える下で， `Unicode ToASCII$AO を走らせた結果 `UTS46$r
 ⇒＃
 `domain_name^i ~SET %~domain,
-`UseSTD3ASCIIRules^i ~SET %beStrict,
-`CheckHyphens^i ~SET ~F,
+`CheckHyphens^i ~SET %厳密か,
 `CheckBidi^i ~SET ~T,
 `CheckJoiners^i ~SET ~T,
+`UseSTD3ASCIIRules^i ~SET %厳密か,
 `Transitional_Processing^i ~SET ~F,
-`VerifyDnsLength^i ~SET %beStrict
+`VerifyDnsLength^i ~SET %厳密か,
+`IgnoreInvalidPunycode^i ~SET ~F
 ◎
-Let result be the result of running Unicode ToASCII with domain_name set to domain, UseSTD3ASCIIRules set to beStrict, CheckHyphens set to false, CheckBidi set to true, CheckJoiners set to true, Transitional_Processing set to false, and VerifyDnsLength set to beStrict. [UTS46]
+Let result be the result of running Unicode ToASCII with domain_name set to domain, CheckHyphens set to beStrict, CheckBidi set to true, CheckJoiners set to true, UseSTD3ASCIIRules set to beStrict, Transitional_Processing set to false, VerifyDnsLength set to beStrict, and IgnoreInvalidPunycode set to false. [UTS46] 
 </p>
 
 <div class="note">
 <p>注記：
-次がいずれも満たされる場合、
-この段は %~domain を`~ASCII小文字~化する$のと等価になる：
+~AND↓ 次が満たされる場合、
+この段は %~domain を`~ASCII小文字~化する$ことと等価になる：
 </p>
 		<ul>
 			<li>
-%beStrict ~EQ ~F
+%厳密か ~EQ ~F
 </li>
 			<li>
 %~domain は`~ASCII文字列$である
@@ -3280,6 +3282,40 @@ <h3 title="IDNA">3.3. ~IDNA</h3>
 If result is a failure value, domain-to-ASCII validation error, return failure.
 ◎
 If result is the empty string, domain-to-ASCII validation error, return failure.
+</li>
+	<li>
+<p>
+~IF［
+%厳密か ~EQ ~F【 ~T？】
+］~AND［
+%結果 内に`禁止~domain~cp$が在る
+］
+⇒＃
+`検証~error$( `domain-invalid-code-point$err )；
+~RET `失敗^i
+◎
+If beStrict is false and result contains a forbidden domain code point, domain-invalid-code-point validation error, return failure.
+</p>
+
+<p class="note">注記：
+［
+~web互換性,
+~DNSに基づかない~systemとの互換性
+］に因り、
+`禁止~domain~cp$は，［
+`UseSTD3ASCIIRules^i が ~T をとるときには許容されない~cpたち
+］の下位集合を成す。
+`課題 #397＠https://github.com/whatwg/url/issues/397$
+も見よ。
+◎
+Due to web compatibility and compatibility with non-DNS-based systems the forbidden domain code points are a subset of those disallowed when UseSTD3ASCIIRules is true. See also issue #397.
+</p>
+	</li>
+	<li>
+~Assert：
+%結果 は`禁止~domain~cp$を包含しない。
+◎
+Assert: result does not contain a forbidden domain code point.
 </li>
 	<li>
 ~RET %結果
@@ -3307,7 +3343,7 @@ <h3 title="IDNA">3.3. ~IDNA</h3>
 `~domainを~Unicode化する@
 ときは、
 所与の
-( `~domain$ %~domain, 真偽値 %beStrict )
+( `~domain$ %~domain, 真偽値 %厳密か )
 に対し，次を走らす：
 ◎
 The domain to Unicode algorithm, given a domain domain and a boolean beStrict, runs these steps:
@@ -3318,17 +3354,18 @@ <h3 title="IDNA">3.3. ~IDNA</h3>
 %結果 ~LET 次を与える下で， `Unicode ToUnicode$AO を走らせた結果 `UTS46$r
 ⇒＃
 `domain_name^i ~SET %~domain,
-`CheckHyphens^i ~SET ~F,
+`CheckHyphens^i ~SET %厳密か,
 `CheckBidi^i ~SET ~T,
 `CheckJoiners^i ~SET ~T,
-`UseSTD3ASCIIRules^i ~SET %beStrict,
-`Transitional_Processing^i ~SET ~F
+`UseSTD3ASCIIRules^i ~SET %厳密か,
+`Transitional_Processing^i ~SET ~F,
+`IgnoreInvalidPunycode^i ~SET ~F
 ◎
-Let result be the result of running Unicode ToUnicode with domain_name set to domain, CheckHyphens set to false, CheckBidi set to true, CheckJoiners set to true, UseSTD3ASCIIRules set to beStrict, and Transitional_Processing set to false. [UTS46]
+Let result be the result of running Unicode ToUnicode with domain_name set to domain, CheckHyphens set to beStrict, CheckBidi set to true, CheckJoiners set to true, UseSTD3ASCIIRules set to beStrict, Transitional_Processing set to false, and IgnoreInvalidPunycode set to false. [UTS46]
 </li>
 	<li>
 ~IF［
-%結果 に何らかの~errorがある
+%結果 には何らかの~errorが記録された
 ］
 ⇒
 `検証~error$( `domain-to-Unicode$err )
@@ -3382,58 +3419,28 @@ <h3 title="Host writing">3.4. ~hostの書出法</h3>
 
 <div class="algo">
 <p>
-`文字列$ %~domain が
+`文字列$ %入力 が
 `妥当な~domain@
-であるとは、
-次の手続きが `成功^i を返すことをいう：
-◎
-A domain is a valid domain if these steps return success:
-</p>
-<ol>
-	<li>
-%結果 ~LET `~domainを~ASCII化する$( %~domain, ~T )
-◎
-Let result be the result of running domain to ASCII with domain and true.
-</li>
-	<li>
-~IF［
-%結果 ~EQ `失敗^i
-］
+であるとは、［
+次の結果 ~NEQ `失敗^i
+］になることをいう
 ⇒
-~RET `失敗^i
+`~domainを~ASCII化する$( %入力, ~T )
 ◎
-If result is failure, then return failure.
-</li>
-	<li>
-%結果 ~SET `~domainを~Unicode化する$( %結果, ~T )
-◎
-Set result to the result of running domain to Unicode with result and true.
-</li>
-	<li>
-~IF［
-%結果 に何らかの~errorがある
-］
-⇒
-~RET `失敗^i
-◎
-If result contains any errors, return failure.
-</li>
-	<li>
-~RET `成功^i
-◎
-Return success.
-</li>
-</ol>
-</div>
+A string input is a valid domain if these steps return true:
+• Let domain be the result of running domain to ASCII with input and true.
+• Return false if domain is failure; otherwise true.
+</p>
 
 <p class="XXX">課題：
 理想的には、
-`妥当な~domain$を成す~cpの並びを基に定義したい所
+`妥当な~domain$を成す~cp並びに基づいて定義したい所
 — モグラ叩きのように定義するのではなく：
 `課題 #245＠https://github.com/whatwg/url/issues/245$
 ◎
 Ideally we define this in terms of a sequence of code points that make up a valid domain rather than through a whack-a-mole: issue 245.
 </p>
+</div>
 
 <p>
 `妥当な~domain@sT
@@ -3609,16 +3616,6 @@ <h3 title="Host parsing">3.5. ~hostの構文解析-法</h3>
 </li>
 	<li>
 ~IF［
-%~ASCII~domain 内に`禁止~domain~cp$がある
-］
-⇒＃
-`検証~error$( `domain-invalid-code-point$err )；
-~RET `失敗^i
-◎
-If asciiDomain contains a forbidden domain code point, domain-invalid-code-point validation error, return failure.
-</li>
-	<li>
-~IF［
 `番号で終端しているか検査する$( %~ASCII~domain ) ~EQ ~T
 ］
 ⇒
@@ -4040,7 +4037,7 @@ <h3 title="Host parsing">3.5. ~hostの構文解析-法</h3>
 </li>
 	<li>
 ~IF［
-%入力 内に基数 %R の数字でない~cpがある
+%入力 内に基数 %R の数字でない~cpが在る
 ］
 ⇒
 ~RET `失敗^i
@@ -6857,7 +6854,7 @@ <h3 title="URL parsing">4.4. ~URLの構文解析-法</h3>
 	</li>
 	<li>
 ~IF［
-%入力 内に`~ASCII~tabや~ASCII改行文字$がある
+%入力 内に`~ASCII~tabや~ASCII改行文字$が在る
 ］
 ⇒
 `検証~error$( `invalid-URL-unit$err )
@@ -9648,7 +9645,7 @@ <h3 title="application/x-www-form-urlencoded parsing">5.1. ~form_urlencoded構
 ↓</li>
 			<li>
 ~IF［
-%~byte列 内に ❛= がある
+%~byte列 内に ❛= が在る
 ］
 ⇒
 ( %名, %値 ) ~SET  %~byte列 を最初の ❛= の所で 2 個の~byte列に分割した結果