共通基盤 — URL／Fetching resources

2.4.1. 各種用語

`妥当かつ空でない~URL@ とは、空~文字列でない，`妥当な~URL文字列$である。 ◎ A string is a valid non-empty URL if it is a valid URL string but it is not the empty string.

`前後~空白~可の妥当な~URL@ とは、次の結果が`妥当な~URL文字列$になる %文字列 である ⇒ `前後の~ASCII空白~列を剥ぐ$( %文字列 ) ◎ A string is a valid URL potentially surrounded by spaces if, after stripping leading and trailing ASCII whitespace from it, it is a valid URL string.

`前後~空白~可の妥当かつ空でない~URL@ とは、次の結果が`妥当かつ空でない~URL$になる %文字列 である ⇒ `前後の~ASCII空白~列を剥ぐ$( %文字列 ) ◎ A string is a valid non-empty URL potentially surrounded by spaces if, after stripping leading and trailing ASCII whitespace from it, it is a valid non-empty URL.

この仕様は、予約-済みかつ解決-不能な `about_$sc ~URL `ABOUT$r として、次の~URLを定義する： ◎ ↓

`about_legacy-compat@sc

これは、~XML~toolとの互換性に必要なとき，`~HTML文書$内の `DOCTYPE$ にて利用される。 ◎ This specification defines the URL about:legacy-compat as a reserved, though unresolvable, about: URL, for use in DOCTYPEs in HTML documents when needed for compatibility with XML tools. [ABOUT]

`about_html-kind@sc

これは、~media-trackの種類~用の識別子として利用される。 ◎ This specification defines the URL about:html-kind as a reserved, though unresolvable, about: URL, that is used as an identifier for kinds of media tracks. [ABOUT]

`about_srcdoc@sc

これは、`~iframe-srcdoc文書$の`~URL$docに利用される。 ◎ This specification defines the URL about:srcdoc as a reserved, though unresolvable, about: URL, that is used as the URL of iframe srcdoc documents. [ABOUT]

`文書$ %文書 の `~fallback基底~URL@ は、次を走らせて得られる`~URL~record$である： ◎ The fallback base URL of a Document object document is the URL record obtained by running these steps:

1. %閲覧文脈 ~LET %文書 が`属する閲覧文脈$ ◎ ↓
2. ~IF［ %文書 は`~iframe-srcdoc文書$である ］ ⇒ ~RET ［［ %閲覧文脈 の`閲覧文脈~容器$ ］の`~node文書$ ］の`文書~基底~URL$ ◎ If document is an iframe srcdoc document, then return the document base URL of document's browsing context's browsing context container's node document.
3. ~IF［ %文書 の`~URL$doc ~EQ `about_blank$sc ］~AND［ %閲覧文脈 の`作成元~閲覧文脈$ ~NEQ ε ］ ⇒ ~RET %文書 の`作成元の基底~URL$ ◎ If document's URL is about:blank, and document's browsing context has a creator browsing context, then return the creator base URL.
4. ~RET %文書 の`~URL$doc ◎ Return document's URL.

`文書$ %文書 の `文書~基底~URL@ は、次を走らせて得られる`絶対~URL$である： ◎ The document base URL of a Document object is the absolute URL obtained by running these steps:

1. ~IF［ %文書 内に `~hrefM$a 属性を有する `base$e 要素は在る ］ ⇒ ~RET それらのうち`木~順序$で最初のものの`凍結~基底~URL$ ◎ ↓
2. ~RET %文書 の`~fallback基底~URL$ ◎ If there is no base element that has an href attribute in the Document, then return the Document's fallback base URL. ◎ Otherwise, return the frozen base URL of the first base element in the Document that has an href attribute, in tree order.

2.4.2. ~URLの構文解析

~URLの構文解析は、文字列を入力に，それが表現する`~URL~record$を得る処理-である。 この処理は WHATWG `URL$r 標準にて定義されているが、簡便にするため，~HTML標準では，それに対する~wrapperを定義する。 ◎ Parsing a URL is the process of taking a string and obtaining the URL record that it represents. While this process is defined in the WHATWG URL standard, the HTML standard defines a wrapper for convenience. [URL]

注記： この~wrapperが有用になるのは、`~URL構文解析器$に用いる文字~符号化法を，旧来の理由から［ 文書／環境~設定群~obj ］に合致させる必要がある場合に限られる。 該当しない事例では、`~URL構文解析器$を直に利用できる。 ◎ This wrapper is only useful when the character encoding for the URL parser has to match that of the document or environment settings object for legacy reasons. When that is not the case the URL parser can be used directly.

1. ( %符号化法, %基底~URL ) ~LET %基底~obj に応じて，次で与えられる値：

   `文書$

   %基底~obj の ( `文書~符号化法$, `文書~基底~URL$ )

   `環境~設定群~obj$

   %基底~obj により指定される ( `~API用~URL文字~符号化法$enV, `~API用~基底~URL$enV )

   ◎ Let encoding be document's character encoding, if document was given, and environment settings object's API URL character encoding otherwise. ◎ Let baseURL be document's base URL, if document was given, and environment settings object's API base URL otherwise.
2. %~URL~record ~LET `~URL構文解析する$( %~url, %基底~URL, %符号化法 ) ◎ Let urlRecord be the result of applying the URL parser to url, with baseURL and encoding.
3. ~IF［ %~URL~record ~EQ `失敗^i ］ ⇒ ~RET ~error ◎ If urlRecord is failure, then return failure.
4. ~RET %~URL~record ◎ Let urlString be the result of applying the URL serializer to urlRecord. ◎ Return urlString as the resulting URL string and urlRecord as the resulting URL record.

2.4.3. 基底~URLに対する動的な変化

文書の `文書~基底~URL$ が変化したとき、その文書~内のすべての要素は，その`基底~URLの変化により影響される$ `DOM$r。 ◎ When a document's document base URL changes, all elements in that document are affected by a base URL change.

要素 %要素 が`基底~URLの変化により影響される$ときに走らす`基底~URL変更-手続き$ `DOM$r は、次で与えられる： ◎ The following are base URL change steps, which run when an element is affected by a base URL change (as defined by the DOM specification):

%要素 は`~hyperlink$を作成するものである場合： ◎ If the element creates a hyperlink

~IF［ その~hyperlinkにより識別される`~URL$から導出される~dataは表示に影響している（~URLは利用者に示されているなど） ］ ⇒ ~UAは次を行うべきである ⇒ 当の `href$a 属性を %要素 の`~node文書$に`相対的に構文解析-$し直した上で，該当する~UIを適切に更新する。 ◎ If the URL identified by the hyperlink is being shown to the user, or if any data derived from that URL is affecting the display, then the href attribute should be reparsed relative to the element's node document and the UI updated appropriately.

例えば~CSS `link$ps ／ `visited$ps `疑似類$は、影響され得る。 ◎ For example, the CSS :link/:visited pseudo-classes might have been affected.

~IF［ その~hyperlinkは `ping$a 属性を有する ］~AND［ その`~URL$（たち）は利用者に示されている ］ ⇒ ~UAは次を行うべきである ⇒ 当の `ping$a 属性の各~tokenを %要素 の`~node文書$に`相対的に構文解析-$し直した上で，該当する~UIを適切に更新する。 ◎ If the hyperlink has a ping attribute and its URL(s) are being shown to the user, then the ping attribute's tokens should be reparsed relative to the element's node document and the UI updated appropriately.

%要素 は `cite^a 属性を有する［ `q$e ／ `blockquote$e ／ `ins$e ／ `del$e ］要素である場合： ◎ If the element is a q, blockquote, ins, or del element with a cite attribute

~IF［ `cite^a 属性から識別される`~URL$から導出される~dataは表示に影響している（~URLは利用者に示されているなど） ］ ⇒ ~UAは次を行うべきである ⇒ 当の`~URL$を %要素 の`~node文書$に`相対的に構文解析-$し直した上で，該当する~UIを適切に更新する。 ◎ If the URL identified by the cite attribute is being shown to the user, or if any data derived from that URL is affecting the display, then the URL should be reparsed relative to the element's node document and the UI updated appropriately.

他の場合：

%要素 は直に影響されない。 ◎ The element is not directly affected.

具体的には、基底~URLを変更しても， `img$e 要素により表示されている画像には影響しない — ~scriptからの `src$m ~IDL属性に対する後続の~accessに対しては，新たな`絶対~URL$が返されることになるが、示されている画像には対応しなくなるであろう。 ◎ For instance, changing the base URL doesn't affect the image displayed by img elements, although subsequent accesses of the src IDL attribute from script will return a new absolute URL that might no longer correspond to the image being shown.

2.5.1. 各種用語

`応答$の `非安全~応答@ は、その`内部~応答$rsが［ 在れば それ ／ 無ければ`応答$自身 ］とする。 ◎ A response's unsafe response is its internal response if it has one, and the response itself otherwise.

`~CORSになり得る要請を作成する@ ときは、所与の ( %~url, %行先, %~CORS属性~状態, %同一生成元~fallback~flag ~IN { `同一生成元~fallbackあり^i, ε }（省略時は ε ）) に対し，次を走らす： ◎ To create a potential-CORS request, given a url, destination, corsAttributeState, and an optional same-origin fallback flag, run these steps:

1. %~mode ~LET ［ %~CORS属性~状態 ~EQ `No CORS$st ならば `no-cors^l ／ ~ELSE_ `cors^l ］ ◎ Let mode be "no-cors" if corsAttributeState is No CORS, and "cors" otherwise.
2. ~IF［ %同一生成元~fallback~flag ~NEQ ε ］~AND［ %~mode ~EQ `no-cors^l ］ ⇒ %~mode ~SET `same-origin^l ◎ If same-origin fallback flag is set and mode is "no-cors", set mode to "same-origin".
3. %資格証~mode ~LET `include^l ◎ Let credentialsMode be "include".
4. ~IF［ %~CORS属性~状態 ~EQ `Anonymous$st ］ ⇒ %資格証~mode ~SET `same-origin^l ◎ If corsAttributeState is Anonymous, set credentialsMode to "same-origin".
5. ~RET 次のようにされた新たな`要請$ ⇒＃ `~url$rq ~SET %~url, `行先$rq ~SET %行先, `~mode$rq ~SET %~mode, `資格証~mode$rq ~SET %資格証~mode, `~URL資格証~利用~mode$rq ~SET ~ON ◎ Let request be a new request whose url is url, destination is destination, mode is mode, credentials mode is credentialsMode, and whose use-URL-credentials flag is set.

2.5.2. 資源の型の決定-法

資源の `Content-Type ~metadata@ は、 WHATWG MIME Sniffing 標準 `MIMESNIFF$r による要件に整合する方式で，得られ, 解釈され~MUST。 ◎ The Content-Type metadata of a resource must be obtained and interpreted in a manner consistent with the requirements of the WHATWG MIME Sniffing standard. [MIMESNIFF]

資源から`算出される~MIME型$は、 `MIMESNIFF$r に与えられる［ 関連する~octet列から `sniffed media type^i を見出すための要件 ］に整合する方式で，見出され~MUST。 ◎ The computed MIME type of a resource must be found in a manner consistent with the requirements given in the WHATWG MIME Sniffing standard. [MIMESNIFF]

`MIMESNIFF$r による規則には正確に従うことが絶対必要である。 内容~型~検出に対し，~serverが予期するものと異なる経験則を利用するような~UAにおいては、保安上の問題が生じ得る。 更なる詳細は、その仕様を見よ。 ◎ It is imperative that the rules in the WHATWG MIME Sniffing standard be followed exactly. When a user agent uses different heuristics for content type detection than the server expects, security problems can occur. For more details, see the WHATWG MIME Sniffing standard. [MIMESNIFF]

2.5.3. `meta^e 要素から文字~符号化法を抽出する

`meta 要素から符号化法を抽出する@ ~algoは、所与の文字列 %入力 に対し［ `文字~符号化法$, ε（なし） ］のいずれかを返す： ◎ The algorithm for extracting a character encoding from a meta element, given a string s, is as follows. It either returns a character encoding or nothing.

1. %位置 ~LET %入力 の先頭の文字を指している`位置~変数$ ◎ Let position be a pointer into s, initially pointing at the start of the string.

2. ~WHILE 無条件：

   1. ~IF［ %入力 の %位置 以降の部分に`~ASCII大小無視$で `charset^l に合致する文字列がある ］ ⇒ %位置 ~SET 該当する文字列のうち，最初のものの直後を指す位置
   2. ~ELSE ⇒ ~RET ε
   3. %入力 内の %位置 から`~ASCII空白を読飛ばす$
   4. ~IF［ %位置↗ ~EQ `003D^U `=^smb ］ ⇒ ~BREAK
   ◎ Loop: Find the first seven characters in s after position that are an ASCII case-insensitive match for the word "charset". If no such match is found, return nothing. ◎ Skip any ASCII whitespace that immediately follow the word "charset" (there might not be any) ◎ If the next character is not a U+003D EQUALS SIGN (=), then move position to point just before that next character, and jump back to the step labeled loop.
3. %入力 内の %位置 から`~ASCII空白を読飛ばす$ ◎ Skip any ASCII whitespace that immediately follow the equals sign (there might not be any).
4. ~IF［ %位置↗ ~EQ ε ］ ⇒ ~RET ε ◎ ↓
5. %符号化法 ~LET ε ◎ ↓

6. ~IF［ %位置↗ ~IN { `0022^U `"^smb, `0027^U `'^smb } ］：

   1. %引用符 ~LET %位置↗
   2. %位置 ~INCBY 1
   3. %符号化法 ~SET %入力 内の %位置 から %引用符 以外の`符号位置~並びを収集する$
   4. ~IF［ %位置↗ ~NEQ %引用符 ］ ⇒ ~RET ε
   ◎ Process the next character as follows: • If it is a U+0022 QUOTATION MARK character (") and there is a later U+0022 QUOTATION MARK character (") in s • If it is a U+0027 APOSTROPHE character (') and there is a later U+0027 APOSTROPHE character (') in s •• Return the result of getting an encoding from the substring that is between this character and the next earliest occurrence of this character. • If it is an unmatched U+0022 QUOTATION MARK character (") • If it is an unmatched U+0027 APOSTROPHE character (') • If there is no next character •• Return nothing.
7. ~ELSE ⇒ %符号化法 ~SET %入力 内の %位置 から { `~ASCII空白$, `003B^U `;^smb } 以外の`符号位置~並びを収集する$ ◎ • Otherwise •• Return the result of getting an encoding from the substring that consists of this character up to but not including the first ASCII whitespace or U+003B SEMICOLON character (;), or the end of s, whichever comes first.
8. ~RET ［ `~labelから符号化法を取得する$( %符号化法 ) の結果 ~NEQ `失敗^i ならば その結果 ／ ~ELSE_ ε ］ ◎ ↑

この~algoは、~HTTP仕様のものとは別個の形をとる（例えば、~HTTPでは，一重引用符（ `0027^U `'^smb ）の利用は許容されず、また，この~algoが~supportしない ~backslashによる~escapeの仕組みを~supportすることが要求されている）。 この~algoは，歴史的に~HTTPに関係する文脈で利用されていたが、実装により~supportされる構文は，あるときから分岐した。 `HTTP$r ◎ This algorithm is distinct from those in the HTTP specification (for example, HTTP doesn't allow the use of single quotes and requires supporting a backslash-escape mechanism that is not supported by this algorithm). While the algorithm is used in contexts that, historically, were related to HTTP, the syntax as supported by implementations diverged some time ago. [HTTP]

2.5.4. ~CORS 設定群~属性

内容~属性には、 `~CORS設定群~属性@ とされるものもある。 それは、`列挙ed属性$である。 そのような属性~用の［ ~keyword, および 対応付けられる状態 ］を，次に挙げる： ◎ A CORS settings attribute is an enumerated attribute. The following table lists the keywords and states for the attribute — the keywords in the left column map to the states in the cell in the second column on the same row as the keyword.

~fetchにおいて`~CORS設定群~属性$が統治する大部分は、`~CORSになり得る要請を作成する$~algoを介して行われることになる。 ◎ The majority of fetches governed by CORS settings attributes will be done via the create a potential-CORS request algorithm.

`~module~script$に対しては、ある種の`~CORS設定群~属性$は 少しばかり異なる意味に転用され，`要請$の`資格証~mode$rqのみに影響0するようになる（`~mode$rqは 常に `cors^l になるので）。 この翻訳を遂行するため、所与の`~CORS設定群~属性$に対しては， `~module~script資格証~mode@ が定義される — それは、属性の状態に応じて，次で決定される ⇒＃ `No CORS$st ならば `omit^l ／ `Anonymous$st ならば `same-origin^l ／ `Use Credentials$st ならば `include^l ◎ For module scripts, certain CORS settings attributes have been repurposed to have a slightly different meaning, wherein they only impact the request's credentials mode (since the mode is always "cors"). To perform this translation, we define the module script credentials mode for a given CORS settings attribute to be determined by switching on the attribute's state: ◎ No CORS • "omit" Anonymous • "same-origin" Use Credentials • "include"

2.5.5. ~referrer施策~属性

内容~属性には、 `~referrer施策~属性@ とされるものもある。 それは、`列挙ed属性$である。 各 `~referrer施策$ — 空~文字列も含む — は、この属性~用の~keywordを与え，同じ名前の状態に対応付けられる。 ◎ A referrer policy attribute is an enumerated attribute. Each referrer policy, including the empty string, is a keyword for this attribute, mapping to a state of the same name.

［ `妥当でない値~用の既定$ ／ `値なし用の既定$ ］は、空~文字列~状態とする。 ◎ The attribute's invalid value default and missing value default are both the empty string state.

これらの状態による各種`~fetch$の処理~modelへの影響0については、この仕様を通して, および `FETCH$r `REFERRERPOLICY$r にて，より詳細に定義される。 ◎ The impact of these states on the processing model of various fetches is defined in more detail throughout this specification, in the WHATWG Fetch standard, and in Referrer Policy. [FETCH] [REFERRERPOLICY]

2.5.6. `nonce^a 属性

`nonce@a 内容~属性は、暗号用~nonce （ “number used once” 【使い捨ての番号】 ）を表現する。 それは、 `CSP$r により利用され，［ 所与の~fetchを続行するのを許容する ］かどうかを決定する。 値は~textである。 ◎ A nonce content attribute represents a cryptographic nonce ("number used once") which can be used by Content Security Policy to determine whether or not a given fetch will be allowed to proceed. The value is text. [CSP]

要素が `nonce$a 内容~属性を有するとき、その暗号用~nonceは，~scriptのみに公開される（および，~CSS属性~選択子の様な~side-channelには公開されない）ことを確保する — 内容~属性から値を抽出して， `CryptographicNonce@sl 内部~slotに移動して， `HTMLOrSVGElement$I ~interface~mixinを介して~scriptに公開することにより。 他が指定されない限り、この~slotの値は，空~文字列になるとする。 ◎ Elements that have a nonce content attribute ensure that the crytographic nonce is only exposed to script (and not to side-channels like CSS attribute selectors) by extracting the value from the content attribute, moving it into an internal slot named [[CryptographicNonce]], and exposing it to script via the HTMLOrSVGElement interface mixin. Unless otherwise specified, the slot's value is the empty string.

%element . `nonce$m

要素の `CryptographicNonce$sl 内部~slotの値を返す。 ◎ Returns the value of the element's [[CryptographicNonce]] internal slot.

設定して，その~slotの値を更新できる。 ◎ Can be set, to update that slot's value.

`nonce@m

取得子は、次を走らせ~MUST ⇒ ~RET 此れの `CryptographicNonce$sl ~slotの値

設定子は、次を走らせ~MUST ⇒ 此れの `CryptographicNonce$sl ~slot ~SET 所与の値 ◎ The nonce IDL attribute must, on getting, return the value of this element's [[CryptographicNonce]]; and on setting, set this element's [[CryptographicNonce]] to the given value.

`HTMLOrSVGElement$I ~objを`内包して$いる要素 %要素 に対しては、~UAは：

• %要素 の `nonce$a 属性が［ 設定-／ 変更- ］されたときは、次を走らせ~MUST ⇒ %要素 の `CryptographicNonce$sl ~slot ~SET 所与の値 ◎ Whenever an element including HTMLOrSVGElement has its nonce attribute is set or changed, set this element's [[CryptographicNonce]] to the given value.

• %要素 が`閲覧文脈に接続された$ときは、次を走らせ~MUST： ◎ Whenever an element including HTMLOrSVGElement becomes browsing-context connected, the user agent must execute the following steps on the element:

  1. %~CSP~list ~LET %要素 の `~shadowも含む根$の`~CSP~list$doc ◎ Let CSP list be element's shadow-including root's CSP list.
  2. ~IF［ %~CSP~list は`~headerにより送達された~CSPを包含している$ ］~AND［ %要素 は `nonce$a 内容~属性 %属性 を有する ］~AND［ %属性 の値 ~NEQ 空~文字列 ］ ⇒ %要素 の`属性~値を設定する$( `nonce^l, 空~文字列 ) ◎ If CSP list contains a header-delivered Content Security Policy, and element has a nonce content attribute attr whose value is not the empty string, then: • Set an attribute value for element using "nonce" and the empty string.

  注記： 各`文書$の`~CSP~list$docは，付加されるのみなので、~UAは，それが`~headerにより送達された~CSPを包含している$かどうか検査するのを最適化できる — 例えば、`文書$上に~flagを保持して，`文書を初期化する$間に設定することにより。 ◎ As each Document's CSP list is append-only, user agents can optimize away the contains a header-delivered Content Security Policy check by, for example, holding a flag on the Document, set during Document initialization.

• %要素 ~node用の`~clone時の手続き$は、所与の ( %複製, %要素, … ) に対し，次を走らせ~MUST ⇒ %複製 の `CryptographicNonce$sl ~slot ~SET %要素 の `CryptographicNonce$sl ~slotの値 ◎ The cloning steps for elements that include HTMLOrSVGElement must set the [[CryptographicNonce]] slot on the copy to the value of the slot on the element being cloned.