@@ -917,20 +917,29 @@ concepts. |
917 | 917 | <li><p>If <var>result</var> is a failure value, <a>domain-to-ASCII</a> <a>validation error</a>, |
918 | 918 | return failure. |
919 | 919 |
|
920 | | - <li><p>If <var>result</var> is the empty string, <a>domain-to-ASCII</a> <a>validation error</a>, |
921 | | - return failure. |
922 | | - |
923 | 920 | <li> |
924 | | - <p>If <var>beStrict</var> is false and <var>result</var> contains a |
925 | | - <a>forbidden domain code point</a>, <a>domain-invalid-code-point</a> <a>validation error</a>, |
926 | | - return failure. |
| 921 | + <p>If <var>beStrict</var> is false: |
| 922 | + |
| 923 | + <ol> |
| 924 | + <li><p>If <var>result</var> is the empty string, <a>domain-to-ASCII</a> <a>validation error</a>, |
| 925 | + return failure. |
927 | 926 |
|
928 | | - <p class=note>Due to web compatibility and compatibility with non-DNS-based systems the |
929 | | - <a>forbidden domain code points</a> are a subset of those disallowed when <i>UseSTD3ASCIIRules</i> |
930 | | - is true. See also <a href="https://github.com/whatwg/url/issues/397">issue #397</a>. |
| 927 | + <li> |
| 928 | + <p>If <var>result</var> contains a <a>forbidden domain code point</a>, |
| 929 | + <a>domain-invalid-code-point</a> <a>validation error</a>, return failure. |
| 930 | + |
| 931 | + <p class=note>Due to web compatibility and compatibility with non-DNS-based systems the |
| 932 | + <a>forbidden domain code points</a> are a subset of those disallowed when |
| 933 | + <i>UseSTD3ASCIIRules</i> is true. See also |
| 934 | + <a href="https://github.com/whatwg/url/issues/397">issue #397</a>. |
| 935 | + </ol> |
| 936 | + |
| 937 | + <li> |
| 938 | + <p><a for=/>Assert</a>: <var>result</var> is not the empty string and does not contain a |
| 939 | + <a>forbidden domain code point</a>. |
931 | 940 |
|
932 | | - <li><p><a for=/>Assert</a>: <var>result</var> does not contain a |
933 | | - <a>forbidden domain code point</a>. |
| 941 | + <p class=note><cite>Unicode IDNA Compatibility Processing</cite> guarantees this holds when |
| 942 | + <var>beStrict</var> is true. [[UTS46]] |
934 | 943 |
|
935 | 944 | <li><p>Return <var>result</var>. |
936 | 945 | </ol> |
|