HTML — URL, 資源の fetch 法

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

1. %~about基底~URL ~LET %文書 の`~about基底~URL$doc ◎ ↓

2. ~IF［ %文書 は`~iframe-srcdoc文書$である ］： ◎ If document is an iframe srcdoc document, then:

   1. ~Assert： %~about基底~URL ~NEQ ~NULL ◎ Assert: document's about base URL is non-null.
   2. ~RET %~about基底~URL ◎ Return document's about base URL.
3. ~IF［ %文書 の`~URL$doc は`~about_blank に合致して$いる ］~AND［ %~about基底~URL ~NEQ ~NULL ］ ⇒ ~RET %文書 の`~about基底~URL$doc ◎ If document's URL matches about:blank and document's about base URL is non-null, then return document's about base URL.
4. ~RET %文書 の`~URL$doc ◎ Return document's URL.

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

1. ~IF［ %文書 内に `~hrefM$a 属性を有する `base$e 要素は在る ］ ⇒ ~RET それらのうち`~tree順序$で最初のものの`凍結d基底~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.

`~URLを相対的に構文解析する@ ときは、 所与の ( 文字列 %~URL, `文書$または`環境~設定群~obj$ %環境 ) に対し，次を走らす — これは［ `失敗^i ／`~URL$ ］を返す： ◎ To parse a URL, given a string url, relative to a Document object or environment settings object environment, run these steps. They return failure or a URL.

1. %基底~URL ~LET %環境 に応じて ⇒＃ `文書$であるならば %環境 の`文書~基底~URL$／ %環境 の`~API用~基底~URL$enV ◎ Let baseURL be environment's base URL, if environment is a Document object; otherwise environment's API base URL.
2. ~RET `~URL構文解析する$( %~URL, %基底~URL ) ◎ Return the result of applying the URL parser to url, with baseURL.

`~URLを符号化法の下で相対的に構文解析する@ ときは、 所与の ( 文字列 %~URL, `文書$または`環境~設定群~obj$ %環境 ) に対し，次を走らす — これは［ `失敗^i ／`~URL$ ］を返す： ◎ To encoding-parse a URL, given a string url, relative to a Document object or environment settings object environment, run these steps. They return failure or a URL.

1. %符号化法 ~LET `~UTF-8$ ◎ Let encoding be UTF-8.
2. ~IF［ %環境 は`文書$である ］ ⇒ %符号化法 ~SET %環境 の`符号化法$doc ◎ If environment is a Document object, then set encoding to environment's character encoding.
3. ~ELIF［ %環境 に`関連な大域~obj$ は `Window$I ~objである ］ ⇒ %符号化法 ~SET %環境 に`関連な大域~obj$に`結付けられた文書$の`符号化法$doc ◎ Otherwise, if environment's relevant global object is a Window object, set encoding to environment's relevant global object's associated Document's character encoding.
4. %基底~URL ~LET %環境 に応じて ⇒＃ `文書$であるならば %環境 の`文書~基底~URL$／ %環境 の`~API用~基底~URL$enV ◎ Let baseURL be environment's base URL, if environment is a Document object; otherwise environment's API base URL.
5. ~RET `~URL構文解析する$( %~URL, %基底~URL, %符号化法 ) ◎ Return the result of applying the URL parser to url, with baseURL and encoding.

要素 %要素 が`基底~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 DOM):

%要素 は`~hyperlink$を作成するものである場合、 ~UAは次に従うべきである： ◎ If the element creates a hyperlink

当の~hyperlinkにより識別される`~URL$から導出される~dataは、 表示に影響している場合（~URLは利用者に示されているなど） ⇒ 次の結果に基づいて，該当する~UIを適切に更新する ⇒ `~URLを符号化法の下で相対的に構文解析する$( 当の~hyperlinkの `href$a 属性の値, %要素 の`~node文書$ ) ◎ 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's value 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.

当の~hyperlinkは `ping$a 属性を有する場合 ⇒ その値を成す ~EACH( %~token ) に対し ⇒ %~token が与える`~URL$は、 利用者に示されているならば ⇒ 次の結果に基づいて，該当する~UIを適切に更新する ⇒ `~URLを符号化法の下で相対的に構文解析する$( %~token, %要素 の`~node文書$ ) ◎ 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.

［ %要素 は［ `q$e ／ `blockquote$e ／ `ins$e ／ `del$e ］要素である ］~AND［ %要素 は `cite^a 属性を有する ］場合、 ~UAは次に従うべきである： ◎ If the element is a q, blockquote, ins, or del element with a cite attribute

`cite^a 属性で識別される`~URL$から導出される~dataは、 表示に影響している場合 （~URLは利用者に示されているなど） ⇒ 次の結果に基づいて，該当する~UIを適切に更新する ⇒ `~URLを符号化法の下で相対的に構文解析する$( `cite^a 属性の値, %要素 の`~node文書$ ) ◎ 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 cite attribute's value should be reparsed, relative to the element's node document and the UI updated appropriately.

他の場合： ◎ Otherwise

%要素 は直に影響されない。 ◎ 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.

`~CORSになり得る要請を作成する@ ときは、所与の ⇒＃ %~URL, %行先, %~CORS属性~状態, %同一-生成元~fallbackありか ~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 `~CORSなし$st ならば `no-cors^l ／ ~ELSE_ `cors^l ］ ◎ Let mode be "no-cors" if corsAttributeState is No CORS, and "cors" otherwise.
2. ~IF［ %同一-生成元~fallbackありか ~EQ `同一-生成元~fallbackあり^i ］~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 `匿名$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資格証を利用するか$rq ~SET ~T ◎ 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.

`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. %~label ~LET ε ◎ ↓

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

   1. %引用符 ~LET %位置↗
   2. %位置 ~INCBY 1
   3. %~label ~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 ⇒ %~label ~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. %符号化法 ~LET `~labelから符号化法を取得する$( %~label ) ◎ ↑
9. ~IF［ %符号化法 ~EQ `失敗^i ］ ⇒ ~RET ε ◎ ↑
10. ~RET %符号化法 ◎ ↑

この~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 specifications (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]

`nonce@m 取得子~手続きは ⇒ ~RET コレ . `CryptographicNonce$sl ◎ The nonce IDL attribute must, on getting, return the value of this element's [[CryptographicNonce]];＼

`nonce$m 設定子~手続きは ⇒ コレ . `CryptographicNonce$sl ~SET 所与の値 ◎ and on setting, set this element's [[CryptographicNonce]] to the given value.

注記： `nonce$m 設定子は、 対応する内容~属性を更新しないことに注意。 このこと, および［ 要素が`閲覧~文脈に接続された$とき， `nonce$a 内容~属性を空~文字列に設定すること ］（下に述べる）は、［ 内容~属性を容易に読取れる仕組み（選択子など）による，~nonce値の不正転送 ］を防止することが意味されている。 この挙動が導入された~~経緯は、 `課題 #2369＠~HTMLissue/2369$ にて学べる。 ◎ Note how the setter for the nonce IDL attribute does not update the corresponding content attribute. This, as well as the below setting of the nonce content attribute to the empty string when an element becomes browsing-context connected, is meant to prevent exfiltration of the nonce value through mechanisms that can easily read content attributes, such as selectors. Learn more in issue #2369, where this behavior was introduced.

%要素 上の `nonce$a 内容~属性~用に利用される `属性~変更-時の手続き$は、所与の ( %局所~名, %旧~値, %値, %名前空間 ) に対し： ◎ The following attribute change steps are used for the nonce content attribute:

1. ~IF［ %要素 は `HTMLOrSVGElement$I を`内包して$いない ］ ⇒ ~RET ◎ If element does not include HTMLOrSVGElement, then return.
2. ~IF［ %局所~名 ~NEQ `nonce^l ］~OR［ %名前空間 ~NEQ ~NULL ］ ⇒ ~RET ◎ If localName is not nonce or namespace is not null, then return.
3. %要素 . `CryptographicNonce$sl ~SET %値 に応じて ⇒＃ ~NULL ならば 空~文字列 ／ ~ELSE_ %値 ◎ If value is null, then set element's [[CryptographicNonce]] to the empty string. ◎ Otherwise, set element's [[CryptographicNonce]] to value.

`HTMLOrSVGElement$I を`内包して$いる %要素 が`閲覧~文脈に接続された$ときは、 次を走らすモノトスル： ◎ 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$pC ◎ Let CSP list be element's shadow-including root's policy container's CSP list.

2. ~IF［ %~CSP~list は`~headerにより送達された~CSPを包含している$ ］~AND［ %要素 は `nonce$a 内容~属性 %属性 を有する ］~AND［ %属性 の値 ~NEQ 空~文字列 ］： ◎ 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:

   1. %nonce ~LET %要素 . `CryptographicNonce$sl ◎ Let nonce be element's [[CryptographicNonce]].
   2. %要素 の`属性~値を設定する$( `nonce^l, 空~文字列 ) ◎ Set an attribute value for element using "nonce" and the empty string.
   3. %要素 . `CryptographicNonce$sl ~SET %nonce ◎ Set element's [[CryptographicNonce]] to nonce.

   注記： %要素 . `CryptographicNonce^sl は、 復旧しないと空~文字列になる。 ◎ If element's [[CryptographicNonce]] were not restored it would be the empty string at this point.

`HTMLOrSVGElement$I を`内包して$いる要素~用の`~clone時の手続き$は、 所与の ( %~node, %複製, … ) に対し ⇒ %複製 . `CryptographicNonce$sl ~SET %~node . `CryptographicNonce$sl ◎ The cloning steps for elements that include HTMLOrSVGElement given node, copy, and subtree are to set copy's [[CryptographicNonce]] to node's [[CryptographicNonce]].

`~lazyに読込むことになる@ か否かは、 所与の ( 要素 %要素 ) に対し ⇒ ~RET ~IS［ ~AND↓ ］：

• %要素 用の`~scriptingは可能化されて$いる

  注記： これは、 追跡に抗する保護策である — ~UAの~scriptingが不能化されている下で~lazy読込ngを~supportした場合、 ~pageの~markup内に画像を計略的に配置すれば， ~serverはそれらの画像がいつ, どれだけ要請されたか追跡でき、 ~session全体を通して利用者の~scroll位置を近似的に追跡することが， ~siteにとって依然としてアリになるので。

• %要素 の`~lazy読込ng属性$は `Lazy$st 状態にある

◎ The will lazy load element steps, given an element element, are as follows: • If scripting is disabled for element, then return false. • This is an anti-tracking measure, because if a user agent supported lazy loading when scripting is disabled, it would still be possible for a site to track a user's approximate scroll position throughout a session, by strategically placing images in a page's markup such that a server can track how many images are requested and when. • If element's lazy loading attribute is in the Lazy state, then return true. • Return false.

`~lazyに読込んでいる要素の交差~観測を開始する@ ときは、 所与の ( %要素 ) に対し，次の手続きを走らす： ◎ To start intersection-observing a lazy loading element element, run these steps:

1. %文書 ~LET %要素 の`~node文書$ ◎ Let doc be element's node document.

2. ~IF［ %文書 の`~lazy読込n交差~観測器$ ~EQ ~NULL ］： ◎ If doc's lazy load intersection observer is null,＼

   1. %文書 の`~lazy読込n交差~観測器$ ~SET 新たな `IntersectionObserver$I ~obj ◎ set it to a new IntersectionObserver instance, initialized as follows:

   2. %文書 の`~lazy読込n交差~観測器$上で `new IntersectionObserver$m 構築子~手続き( %callback, %options ) を遂行する※【下を見よ（以下同様）】 — ここで： ◎ The intention is to use the original value of the IntersectionObserver constructor. However, we're forced to use the JavaScript-exposed constructor in this specification, until Intersection Observer exposes low-level hooks for use in specifications. See bug w3c/IntersectionObserver#464 which tracks this. [INTERSECTIONOBSERVER]

      • `IntersectionObserverCallback$I ~callback %callback は、 引数 ( %~entry~list, %観測器 ) に対し，次の手続きを走らす： ◎ The callback is these steps, with arguments entries and observer:

        1. %~entry~list 内の ~EACH( %~entry ) に対し ，開発者が改変-可能な［ 配列~accessorや反復~hook ］は誘発しない反復~手法を利用して：

           1. ~IF［ %~entry 上の `isIntersecting$m 取得子~手続き()※ ~EQ ~F ］ ⇒ ~CONTINUE
           2. %~target ~LET %~entry 上の `target$m 取得子~手続き()※
           3. %再開~手続き ~LET %~target の`~lazy読込n再開~手続き$
           4. ~IF［ %再開~手続き ~EQ ~NULL ］ ⇒ ~RET
           5. `~lazyに読込んでいる要素の交差~観測を停止する$( %~target )
           6. %~target の`~lazy読込n再開~手続き$ ~SET ~NULL
           7. %再開~手続き を呼出す
           ◎ For each entry in entries using a method of iteration which does not trigger developer-modifiable array accessors or iteration hooks: • Let resumptionSteps be null. • If entry.isIntersecting is true, then set resumptionSteps to entry.target's lazy load resumption steps. • If resumptionSteps is null, then return. • Stop intersection-observing a lazy loading element for entry.target. • Set entry.target's lazy load resumption steps to null. • Invoke resumptionSteps. ◎ The intention is to use the original value of the isIntersecting and target getters. See w3c/IntersectionObserver#464. [INTERSECTIONOBSERVER]

      • `IntersectionObserverInit$I 辞書 %options は、 次の~memberを伴う ⇒ «[ "`scrollMargin^c" → `~lazy読込n~scroll~margin$ ]» ◎ The options is an IntersectionObserverInit dictionary with the following dictionary members: «[ "scrollMargin" → lazy load scroll margin ]»

        注記： これは、［ 画像が まだ表示域に交差していなくても，~scrollしている間に そうなりつつある ］とき，画像を~fetchすることを許容する。 ◎ This allows for fetching the image during scrolling, when it does not yet — but is about to — intersect the viewport.

        `~lazy読込n~scroll~margin$用の示唆は，値に対する動的な変更を含意するが、 `IntersectionObserver$I ~APIは，~scroll~marginの変更-法を~supportしていない。 `w3c/IntersectionObserver 課題 #428＠https://github.com/w3c/IntersectionObserver/issues/428$ を見よ。 ◎ The lazy load scroll margin suggestions imply dynamic changes to the value, but the IntersectionObserver API does not support changing the scroll margin. See issue w3c/IntersectionObserver#428.

3. %文書 の`~lazy読込n交差~観測器$ の`observe$m ~method手続き( %要素 )※ ◎ Call doc's lazy load intersection observer's observe method with element as the argument. ◎ The intention is to use the original value of the observe method. See w3c/IntersectionObserver#464. [INTERSECTIONOBSERVER]

`~lazyに読込んでいる要素の交差~観測を停止する@ ときは、所与の ( %要素 ) に対し，次の手続きを走らす： ◎ To stop intersection-observing a lazy loading element element, run these steps:

1. %文書 ~LET %要素 の`~node文書$ ◎ Let doc be element's node document.
2. ~Assert： %文書 の`~lazy読込n交差~観測器$ ~NEQ ~NULL ◎ Assert: doc's lazy load intersection observer is not null.
3. %文書 の`~lazy読込n交差~観測器$の `unobserve$m ~method手続き( %要素 )※ ◎ Call doc's lazy load intersection observer's unobserve method with element as the argument. ◎ The intention is to use the original value of the unobserve method. See w3c/IntersectionObserver#464. [INTERSECTIONOBSERVER]

所与の要素 %要素 用の `他を阻む~token集合@ （ `blocking tokens set^en ） は、 次の手続きの結果になる： ◎ The blocking tokens set for an element el are the result of the following steps:

1. %値 ~LET %要素 は`他を阻む属性$を［ 有するならば，その値／ 有さないならば，空~文字列 ］ ◎ Let value be the value of el's blocking attribute, or the empty string if no such attribute exists.
2. %値 ~SET `~ASCII小文字~化する$( %値 ) ◎ Set value to value, converted to ASCII lowercase.
3. %生の~token群 ~LET `~ASCII空白で分割する$( %値 ) ◎ Let rawTokens be the result of splitting value on ASCII whitespace.
4. ~RET %生の~token群 から`アリな他を阻む~token$でないものすべてを除いた集合 ◎ Return a set containing the elements of rawTokens that are possible blocking tokens.