7.8. Web の閲覧

【この訳に固有の表記規約】

この訳の，~algoや定義の記述に利用されている各種記号（ ~LET, ~IF, ε, 此れ, ~THROW 等々）の意味や定義の詳細は，~SYMBOL_DEF_REFを~~参照されたし。

7.8.1. 文書から文書への~navigate法

ある種の動作は、`閲覧文脈$を新たな資源へ`~navigate$させる。 ~UAは、この仕様に定義されるそれに加えて，利用者に閲覧文脈を明示的に~navigateさせる種々の仕方を供して~MAY。 ◎ Certain actions cause the browsing context to navigate to a new resource. A user agent may provide various ways for the user to explicitly cause a browsing context to navigate, in addition to those defined in this specification.

例えば 次のものは、閲覧文脈を~navigateさせ得る ⇒ `~hyperlinkを追う$, `~form提出$, `window.open()$m ~method, `location.assign()$m ~method。 ◎ For example, following a hyperlink, form submission, and the window.open() and location.assign() methods can all cause a browsing context to navigate.

注記： `資源^i は，~URLを持つが、それのみが資源を識別するために必要とされる情報とは限らない。 例えば、~HTTP `POST^hm を利用する~form提出は、［ ~HTTP~method, ~payload ］も情報として有することになる。 類似的に，`~iframe-srcdoc文書$は、自身が利用する~dataを知る必要がある。 ◎ A resource has a URL, but that might not be the only information necessary to identify it. For example, a form submission that uses HTTP POST would also have the HTTP method and payload. Similarly, an iframe srcdoc document needs to know the data it is to use.

`~navi$には常に、 `~source閲覧文脈@ と呼ばれる，それを開始させる責を負っていた`閲覧文脈$が孕まれる。 ◎ Navigation always involves source browsing context, which is the browsing context which was responsible for starting the navigation.

【 すなわち，`~navi$は、~source閲覧文脈を明示的に与えずに呼出されることもあるが、その場合でも，~source閲覧文脈は その箇所の文脈から暗黙的に決定される。 】

issue #1130 にて説明されるように，~sourceとしての閲覧文脈の利用は、正しい~architectureとは言えないかもしれない。 ◎ As explained in issue #1130 the use of a browsing context as source might not be the correct architecture.

1. %~navi ~LET この`~navi$~algoの~instance ◎ ↓
2. ~IF［ %資源 は`~URL$である ］ ⇒ %資源 ~SET 次のようにされた 新たな`要請$ ⇒ `~url$rq ~SET %資源 ◎ If resource is a URL, then set resource to a new request whose url is resource.
3. ~IF［ %資源 は`要請$である ］~AND［ %~navi は `再読込みから誘発された@ ものである ］ ⇒ %資源 の`再読込み~navi~flag$rq ~SET ~ON ◎ If resource is a request and this is a reload-triggered navigation, then set resource's reload-navigation flag.

4. ~IF［ `S$V は， %B を`~navigateすることは許容されて$いない ］： ◎ If the source browsing context is not allowed to navigate browsingContext, then:

   1. ~IF［ `例外~可能化~flag$ ~EQ ~ON ］ ⇒ ~THROW `SecurityError$E ◎ If the exceptions enabled flag is set, then throw a "SecurityError" DOMException.

   2. ~ELSE ⇒ ~UAは［ 新たな, または `S$V の`~top-level閲覧文脈$ ］内に %資源 を開くような選択肢を利用者に提供して~MAY — その事例では、~UAは、利用者から指名された`~top-level閲覧文脈$を，利用者がそれを独立に要請したかのように %資源 へ`~navigate$し~MUST。 ◎ Otherwise, the user agent may instead offer to open resource in a new top-level browsing context or in the top-level browsing context of the source browsing context, at the user's option, in which case the user agent must navigate that designated top-level browsing context to resource as if the user had requested it independently.

      注記： しかしながら，そうすることは、危険にもなり得る — それは、利用者が［ 作者による，内容を~sandbox化する明示的な要請 ］を上書きすることを意味するので。 ◎ Doing so, however, can be dangerous, as it means that the user is overriding the author's explicit request to sandbox the content.

      【 選択肢を提供しない場合、（原文の “instead” を “`SecurityError^E の代わりに” と解釈するならば）最初の段と同じく `SecurityError$E になると思われるが，はっきりしない。 】

5. %文書 ~LET %B にて`作動中の文書$ ◎ ↓

6. ~IF［ 次のいずれも満たすような，［ %B を~navigateしようとする在来の %試み ］がある ］…：

   • %試み における`~source閲覧文脈$ ~EQ %B
   • %試み は `文書を~unloadする$~algoを現在~走らせている

   …ならば ⇒ ~RET — %試み やそれが走らせている~algoは、影響されない。

   ◎ If there is a preexisting attempt to navigate browsingContext, and the source browsing context is the same as browsingContext, and that attempt is currently running the unload a document algorithm, then return without affecting the preexisting attempt to navigate browsingContext.
7. ~IF［ %文書 に対し，`文書の~unloadを~promptする$~algoが走っている ］ ⇒ ~RET — その~algoは、影響されない。 ◎ If the prompt to unload algorithm is being run for the active document of browsingContext, then return without affecting the prompt to unload algorithm.

8. ~IF［ %~navi は`再読込みから誘発された$ものではない ］~AND［ %資源 は`要請$である ］：

   1. %~URL ~LET %資源 の`~url$rq
   2. ~IF［ ( %~URL, %文書 の`~URL$doc ) は `素片は除外する^i 下で`同等$urlである ］ ⇒ ~IF［ %~URL の`素片$url ~NEQ ~NULL ］ ⇒＃ `素片へ~navigateする$( %B, %~URL, `置換~可能化~flag$V )； ~RET
   ◎ If this is not a reload-triggered navigation, resource is a request, resource's url equals browsingContext's active document's URL with exclude fragments flag set, and resource's url's fragment is non-null, then navigate to that fragment, with replacement enabled if this was invoked with replacement enabled, and return.

9. %B を~navigateしようとする在来の ~EACH( %試み ) に対し：

   1. ~IF［ %試み はすでに`成熟-$している ］ ⇒ ~CONTINUE
   2. %試み を取消す — %試み により開始された`~fetch$ ~algoの~instanceも含めて
   3. ~IF［ %試み は，すでに新たな`文書$を作成して`初期化-$docした ］ ⇒ `文書を中止する$( その文書 )

   （`成熟-$した %試み に対しては、`~session履歴~entry$がすでにあるので，後で`新たな頁で~session履歴を更新-$する~algoの中で取扱われる。）

   ◎ Cancel any preexisting but not yet mature attempt to navigate browsingContext, including canceling any instances of the fetch algorithm started by those attempts. If one of those attempts has already created and initialized a new Document object, abort that Document also. (Navigation attempts that have matured already have session history entries, and are therefore handled during the update the session history with the new page algorithm, later.)

10. `文書の~unloadを~promptする$( %文書 ) ⇒ ~IF［ 利用者は文書の`~unloadを拒否-$docした ］ ⇒ ~RET ◎ Prompt to unload the active document of browsingContext. If the user refused to allow the document to be unloaded, then return.

    この段を走らせている間に %~navi が取消されたとしても、`文書の~unloadを~promptする$~algoは，完了され~MUST。 ◎ If this instance of the navigation algorithm gets canceled while this step is running, the prompt to unload algorithm must nonetheless be run to completion.

11. `文書を中止する$( %文書 ) ◎ Abort the active document of browsingContext.

12. ~IF［ %B は`入子の閲覧文脈$である ］ ⇒ %B を`~load~event遅延~中~mode$にする ◎ If browsingContext is a nested browsing context, then put it in the delaying load events mode.

    ~UAは、後に， %~navi が［ `成熟-$した ／ すべて走らせ終えた ／ 取消された ／ 中止された ］時点 — いずれかが最初に生じた時点 — で， %B を`~load~event遅延~中~mode$から外さ~MUST。 ◎ The user agent must take this nested browsing context out of the delaying load events mode when this navigation algorithm later matures, or when it terminates (whether due to having run all the steps, or being canceled, or being aborted), whichever happens first.

13. %~navi種別 ~LET ［ %~navi は`~form提出$~algoの結果として呼出されたならば `form-submission^l ／ ~ELSE_ `other^l ］ ◎ Let navigationType be "form-submission" if the navigation algorithm was invoked as a result of the form submission algorithm, and "other" otherwise.
14. ~RET — ただし、以降の手続きは`並列的に$継続する。 それは、必要とされるなら %資源 を得ようと試みる。 ◎ Return to whatever algorithm invoked the navigation steps and continue running these steps in parallel. ◎ This is the step that attempts to obtain resource, if necessary. Jump to the first appropriate substep:

15. ~IF［ %資源 は`応答$である ］：

    1. `~navigate応答を処理する$( ~NULL, %資源, %~navi種別, `S$V, %B )
    2. ~RET
    ◎ If resource is a response ◎ Run process a navigate response with null, resource, navigationType, the source browsing context, and browsingContext, and then return.
16. ~Assert： %資源 は`要請$である 【この段と次の段は訳者による追加。】 ◎ ↓
17. %要請 ~LET %資源 【これは以下を読み易くするための単なる名称変更。】 ◎ ↓
18. %~url ~LET %要請 の`~url$rq ◎ ↓
19. %~scheme ~LET %~url の`~scheme$url ◎ ↓

20. ~IF［ %~scheme ~EQ `javascript^l ］ ⇒ `~javascript~URL$手続きを走らす`~taskを~queueする$

    `~javascript~URL@ 手続きは、次を走らす：

    ◎ If resource is a request whose url's scheme is "javascript" ◎ Queue a task to run these "javascript: URL" steps, associated with the active document of browsingContext:
    1. %結果 ~LET `undefined^c ◎ ↓

    2. ~IF［ 次の両者とも満たされる ］…： ◎ Let result be undefined, and jump to the step labeled process result below if either of the following are true:

       • ( `S$V にて`作動中の文書$の`生成元$, %文書 の`生成元$ ) は`同一生成元$である ◎ The source browsing context's active document's origin is not the same origin as browsingContext's active document's origin.

         issue #2591 にて説明されるように、この段は働かないため，保安~上の課題がある。 ◎ As explained in issue #2591 this step does not work and presents a security issue.

       • `~sourceから~targetを~navigateするある種別の要請は~CSPにより阻止されるべきか？$ ( %要請, `other^l, `S$V, %B ) の結果 ~EQ `許容ed^i `CSP$r ◎ The Should navigation request of type from source in target be blocked by Content Security Policy? algorithm returns "Blocked" when executed upon resource, "other", the source browsing context, and browsingContext. [CSP]

       …ならば：

       1. %~url文字列 ~LET `~URLを直列化する$( %~url ) の結果から先頭の `javascript:^l を除去した結果 ◎ Let urlString be the result of running the URL serializer on resource's url. ◎ Remove the leading "javascript:" string from urlString.
       2. %~script~source ~LET `文字列を~byte列に~percent-復号する$( %~url文字列 ) ◎ Let script source be the result of string percent decoding urlString.
       3. %~script~source ~LET `~UTF-8復号する$( %~script~source ) ◎ Replace script source with the result of applying the UTF-8 decode algorithm to script source.
       4. %設定群 ~LET %文書 に`関連する設定群~obj$ ◎ Let address be the URL of the active document of browsingContext. ◎ Let settings be the relevant settings object for the active document of browsingContext.
       5. %基底~URL ~LET %設定群 の`~API用~基底~URL$enV ◎ Let base URL be settings object's API base URL.
       6. %~script ~LET `~classic~scriptを作成する$( %~script~source, %設定群, %基底~URL, `既定の~classic~script~fetch~options$ ) ◎ Let script be the result of creating a classic script given script source, settings, base URL, and the default classic script fetch options.
       7. `~classic~scriptを走らす$( %~script ) ⇒ %結果 ~LET ［ その評価が成功したならば その評価-結果 ／ ~ELSE_（ `~scriptは不能化され$ている場合も含む） `undefined^c ］ ◎ Let result be the result of running the classic script script. If evaluation was unsuccessful, let result be undefined instead. (The result will also be undefined if scripting is disabled.)
    3. %応答 ~LET 新たな`応答$ ◎ Let response be null.
    4. ~IF［ `Type$jA( %結果 ) ~NEQ `String^jT ］ ⇒ %応答 の`~status$rs ~SET `204^c ◎ Process result: If Type(result) is not String, then set response to a response whose status is 204.

    5. ~ELSE：

       1. %応答 の`~header~list$rs ~SET 次の~headerからなる`~header~list$：

          • ( `Content-Type^h / `text/html$bl )
          • ( `Referrer-Policy$h / %設定群 の`~referrer施策$enV )
       2. %応答 の`本体$rs ~SET %結果†
       3. %応答 の`~HTTPS状態$rs ~SET %設定群 の`~HTTPS状態$enV

       ◎ Otherwise, set response a response whose header list consists of `Content-Type`/`text/html` and `Referrer-Policy`/settings's referrer policy, whose body is result, and whose HTTPS state is settings's HTTPS state.

       † ~JS文字列 %結果 と応答の`本体$rsを成す~byte列との間の正確な変換は、まだ指定されていない。 ~UAの挙動が更に究明されるのが待たれる。 issue #1129 を見よ。 ◎ The exact conversion between the JavaScript string result and the bytes that comprise a response body is not yet specified, pending further investigation into user agent behavior. See issue #1129.

       `文書の~addressを設定する$ときが来たときは、`上書き~URL$に %文書 の`~URL$を利用する ◎ When it comes time to set the document's address, use address as the override URL.

    6. `~navigate応答を処理する$( %要請, %応答, %~navi種別, `S$V, %B ) ◎ Run process a navigate response with resource, response, navigationType, the source browsing context, and browsingContext,＼
    7. ~RET ◎ and then return.

    この`~task$の`~task源$は、`~DOM操作~task源$とする。 ◎ The task source for this task is the DOM manipulation task source.

    よって，例えば `a$e 要素の `href$a 属性に対する`~javascript~URL$が評価されるのは、その`~hyperlinkを追う$ときに限られることになる。 一方で、 `iframe$e 要素 %E の `~src-iframe$a 属性における その種の~URLは、 %E が設定しておかれるときに， %E が`入子にしている閲覧文脈$ %C の文脈~下で評価され、結果の返り値が文字列であったなら， %C の`文書$を置換する（したがって %C の`~window$も変更する）ことになる。 ◎ So for example a javascript: URL in an href attribute of an a element would only be evaluated when the link was followed, while such a URL in the src attribute of an iframe element would be evaluated in the context of the iframe's own nested browsing context when the iframe is being set up; once evaluated, its return value (if it was a string) would replace that browsing context's Document, thus also changing the Window object of that browsing context.
21. ~ELIF … 【`~app~cache関連の条件と処理$appCache】 ◎ If resource is to be fetched using `GET`, and there are relevant application caches that are identified by a URL with the same origin as the URL in question, and that have this URL as one of their entries, excluding entries marked as foreign, and whose mode is fast, and the user agent is not in a mode where it will avoid using application caches ◎ • Fetch resource from the most appropriate application cache of those that match. ◎ For example, imagine an HTML page with an associated application cache displaying an image and a form, where the image is also used by several other application caches. If the user right-clicks on the image and chooses "View Image", then the user agent could decide to show the image from any of those caches, but it is likely that the most useful cache for the user would be the one that was used for the aforementioned HTML page. On the other hand, if the user submits the form, and the form does a POST submission, then the user agent will not use an application cache at all; the submission will be made to the network. ◎ This still needs to be integrated with the Fetch standard. [FETCH]
22. ~ELIF［ %~scheme ~IN { `~fetch~scheme$ } ］ ⇒ `~navigate~fetchを処理する$( %要請, `S$V, %B, %~navi種別 ) ◎ If resource is a request whose url's scheme is a fetch scheme ◎ • Run process a navigate fetch given resource, the source browsing context, and browsing context, and navigationType.
23. ~ELSE ⇒ `~navigate~URL~schemeを処理する$( %~url, %B ) ◎ Otherwise, resource is a request whose url's scheme is neither "javascript" nor a fetch scheme ◎ • Run process a navigate URL scheme given resource's url and browsingContext.

`~navigate~fetchを処理する@ ときは、所与の ( `要請$ %要請, `~source閲覧文脈$ `S$V, `閲覧文脈$ %B, 文字列 %~navi種別 ) に対し，次を走らす： ◎ To process a navigate fetch, given a request request, browsing context sourceBrowsingContext, browsing context browsingContext, and string navigationType, run these steps:

1. %応答 ~LET ~NULL ◎ Let response be null.

2. %要請 を次のように設定する：

   • `~client$rq ~SET `S$V にて`作動中の文書$に`関連する設定群~obj$
   • `行先$rq ~SET `document^l
   • `~mode$rq ~SET `navigate^l
   • `資格証~mode$rq ~SET `include^l
   • `~URL資格証~利用~flag$rq
   • `~redirect~mode$rq ~SET `manual^l
   • `~target~client~id$rq ~SET %B にて`作動中の文書$に`関連する設定群~obj$の`~id$enV
   ◎ Set request's client to sourceBrowsingContext's active document's relevant settings object, destination to "document", mode to "navigate", credentials mode to "include", use-URL-credentials flag, redirect mode to "manual", and target client id to browsingContext's active document's relevant settings object's id.
3. ~IF［ %B は`子~閲覧文脈$である ］ ⇒ ~IF［ %B を`入子にして$いる`閲覧文脈~容器$の`閲覧文脈~視野~生成元$ %O ~NEQ ε ］ ⇒ %要請 の`生成元$rq ~SET %O ◎ If browsingContext is a child browsing context and the browsing context container of browsingContext has a browsing context scope origin, then set request's origin to that browsing context scope origin.

4. %予約-済み環境 ~LET 次のようにされた新たな`環境$：

   • `~id$enV ~SET 新たな一意かつ不透明な文字列
   • `作成時の~URL$enV ~SET %要請 の`~url$rq
   • `~target閲覧文脈$enV ~SET %B

   ◎ Create a new environment reservedEnvironment, and set its id to a new unique opaque string, its creation URL to request's url, and its target browsing context to browsingContext.

   注記： 作成される環境の`作動中の~service-worker$enVは、 その`作成時の~URL$enVが~service-worker登録に合致するならば， ~fetchの間に， ~fetchを取扱う ~algoの中で設定される。 `SW$r ◎ The created environment's active service worker is set in the handle fetch algorithm during the fetch if its creation URL matches a service worker registration. [SW]

5. %要請 の`予約-済み~client$rq ~SET %予約-済み環境 ◎ Set request's reserved client to reservedEnvironment.
6. %応答 ~SET `~network~error$ ◎ ↓

7. ~IF［ `~sourceから~targetを~navigateするある種別の要請は~CSPにより阻止されるべきか？$ ( %要請, %~navi種別, `S$V, %B ) `CSP$r の結果 ~EQ `許容ed^i ◎ If the Should navigation request of type from source in target be blocked by Content Security Policy? algorithm returns "Blocked" when executed upon request, navigationType, sourceBrowsingContext, and browsingContext, then set response to a network error. [CSP] ◎ Otherwise:

   1. %要請 を用いて`~fetch$する ◎ Fetch request.
   2. %応答 ~SET `~network用~task源$上の`応答を処理-$する`~task$を待機した結果 ◎ Wait for the task on the networking task source to process response and set response to the result.
8. %所在 ~LET %応答 の`所在~URL$rs ◎ ↓

9. ~WHILE［ %所在 ~EQ `失敗^i ］~OR［［ %所在 は`~URL$である ］~AND［ %所在 の`~scheme$urlは`~HTTP_S~scheme$である ］］：

   1. %応答 ~SET ( %要請, %応答 ) を用いて`~HTTP~redirect~fetch$を遂行した結果
   2. %所在 ~SET %応答 の`所在~URL$rs

   ◎ If response has a location URL and it is either failure or a URL whose scheme is an HTTP(S) scheme, then set response to the result of performing HTTP-redirect fetch using request and response and then run this step again.

   注記： ~naviは、~redirectを手動で取扱う。 ~naviが、~web~platformにおいて `mailto_$sc の類の~URLへの~redirectを~careする唯一の箇所なので。 ◎ Navigation handles redirects manually as navigation is the only place in the web platform that cares for redirects to mailto: URLs and such.

10. ~IF［ %所在 は`~URL$である ］ ⇒ %所在 の`~scheme$url に応じて：

    `blob^l

    `file^l

    `filesystem^l

    `javascript^l

    %応答 ~SET `~network~error$

    `~fetch~scheme$である

    1. %新~要請 ~LET 新たな`要請$
    2. %新~要請 の`~url$rq ~SET %所在
    3. `~navigate~fetchを処理する$( %新~要請, `S$V, %B, %~navi種別 )

    その他

    `~navigate~URL~schemeを処理する$( %所在, %B )

    ◎ Otherwise, if response has a location URL that is a URL whose scheme is "blob", "file", "filesystem", or "javascript", then set response to a network error. ◎ Otherwise, if response has a location URL that is a URL whose scheme is a fetch scheme, then run process a navigate fetch with a new request whose url is response's location URL, sourceBrowsingContext, browsingContext, and navigationType. ◎ Otherwise, if response has a location URL that is a URL, run the process a navigate URL scheme given response's location URL and browsingContext.
11. 【`~app~cache関連の処理$appCache】 ◎ Fallback in prefer-online mode: If response was not fetched from an application cache, and was to be fetched using `GET`, and there are relevant application caches that are identified by a URL with the same origin as the URL in question, and that have this URL as one of their entries, excluding entries marked as foreign, and whose mode is prefer-online, and the user didn't cancel the navigation attempt during the earlier step, and response is either a network error or its status is not an ok status, then: • Let candidate be the response identified by the URL in question from the most appropriate application cache of those that match. • If candidate is not marked as foreign, then the user agent must discard the failed load and instead continue along these steps using candidate as response. The user agent may indicate to the user that the original page load failed, and that the page used was a previously cached response. ◎ Fallback for fallback entries: If response was not fetched from an application cache, and was to be fetched using `GET`, and its URL matches the fallback namespace of one or more relevant application caches, and the most appropriate application cache of those that match does not have an entry in its online safelist that has the same origin as response's URL and that is a prefix match for response's URL, and the user didn't cancel the navigation attempt during the earlier step, and response is either a network error or its status is not an ok status, then: • Let candidate be the fallback response specified for the fallback namespace in question. If multiple application caches match, the user agent must use the fallback of the most appropriate application cache of those that match. • If candidate is not marked as foreign, then the user agent must discard the failed load and instead continue along these steps using candidate as response. The document's URL, if appropriate, will still be the originally requested URL, not the fallback URL, but the user agent may indicate to the user that the original page load failed, that the page used was a fallback response, and what the URL of the fallback response actually is. • Run process a navigate response given request, response, navigationType, the source browsing context, browsingContext, and reservedEnvironment.

`~navigate応答を処理する@ ときは、所与の ( `要請$または ~NULL %要請, `応答$ %応答, 文字列 %~navi種別, `閲覧文脈$ `S$V, `閲覧文脈$ %B, `環境$ %予約-済み環境 （省略時は ε ）) に対し，次を走らす： ◎ To process a navigate response, given null or a request request, a response response, a string navigationType, two browsing contexts source and browsingContext, and an optional environment reservedEnvironment, run these steps:

1. ~IF［ 次のいずれかが満たされる ］…： ◎ If any of the following are true, then display the inline content with an appropriate error shown to the user, with the newly created Document object's origin set to a new opaque origin, run the environment discarding steps for reservedEnvironment, and return.

   • %応答 は`~network~error$である ◎ response is a network error.
   • TODO： ここで `X-Frame-Options^h の処理を定義する。 whatwg/html#1230 ◎ TODO: Define X-Frame-Options processing here [whatwg/html#1230].
   • `~sourceから~targetを~navigateするある種別の要請に対する応答は~CSPにより阻止されるべきか？$ ( %要請, %~navi種別, %応答, `S$V, %B ) `CSP$r の結果 ~EQ `阻止ed^i ◎ The Should navigation response to navigation request of type from source in target be blocked by Content Security Policy? algorithm returns "Blocked" when executed upon request, response, navigationType, source, and browsingContext. [CSP]

   …ならば：

   1. 適切な~errorを利用者に示すような，`~inline内容を表示する$
   2. 前段により作成された`文書$の`生成元$ ~SET 新たな`不透明な生成元$
   3. %予約-済み環境 用に`環境を破棄する手続き$を走らす
   4. ~RET

   ◎ ↑

   注記： WHATWG Fetch 標準により定義される~network~error — ~DNSや~TLS ~errorなど — が伝播される所は，ここであり、利用者に表示されることになる。 `FETCH$r ◎ This is where the network errors defined and propagated by the WHATWG Fetch standard, such as DNS or TLS errors, end up being displayed to users. [FETCH]

2. ~IF［ %応答 の`~status$rs ~IN { `204^st, `205^st } ］ ⇒ ~RET ◎ If response's status is 204 or 205, then return.

3. ~IF［ %応答 内に `Content-Disposition$h ~headerがあって，それは `attachment^c ~disposition型を指定している ］：

   1. %応答 を`~downloadとして$取扱う
   2. ~RET
   ◎ If response has an `Content-Disposition` header specifying the attachment disposition type, then handle it as a download and return.
4. %~MIME型 ~LET %応答 から`算出される~MIME型$ ◎ Let type be the computed type of response.

5. ~IF［ ~UAは［ %~MIME型 の資源に対しては［ `閲覧文脈$内に内容を具現化する以外の何らかの仕組み ］を利用して処理する ］ように環境設定されている ］：

   1. %応答 が表現している %~MIME型 の資源を`非~文書~内容として取扱う$
   2. ~RET
   ◎ If the user agent has been configured to process resources of the given type using some mechanism other than rendering the content in a browsing context, then skip this step. Otherwise, if the type is one of the following types, jump to the appropriate entry in the following list, and process response as described there:

6. %~MIME型 に応じて： ◎ ↑

   `~HTML~MIME型$ ◎ an HTML MIME type

   ~HTML文書~節 に与える手続きに従う ◎ Follow the steps given in the HTML document section, and then, once they have completed, return.

   `~XML~MIME型$であって, `明示的に~supportされる~XML~MIME型$でない ◎ an XML MIME type that is not an explicitly supported XML MIME type

   ~XML文書~節 に与える手続きに従う：

   1. ~IF［ その結果、内容は汎用~XML文書として表示されるものと決定された ］ ⇒ その手続きを完了させる
   2. ~ELSE ⇒ %応答 が表現している %~MIME型 の資源を`非~文書~内容として取扱う$

   ◎ Follow the steps given in the XML document section. If that section determines that the content is not to be displayed as a generic XML document, then proceed to the next step in this overall set of steps. Otherwise, once the steps given in the XML document section have completed, return.

   `~JS~MIME型$ ◎ a JavaScript MIME type

   `~JSON~MIME型$であって, `明示的に~supportされる~JSON~MIME型$でない ◎ a JSON MIME type that is not an explicitly supported JSON MIME type

   `text/cache-manifest$c

   `text/css$c

   `text/plain$c

   `text/vtt$c

   素の~text~file節 に与える手続きに従う ◎ Follow the steps given in the plain text file section, and then, once they have completed, return..

   `multipart/x-mixed-replace$c

   `multipart/x-mixed-replace^c 節 に与える手続きに従う ◎ Follow the steps given in the multipart/x-mixed-replace section, and then, once they have completed, return.

   ~supportされる［ 画像 ／ 動画 ／ 音声 ］型 ◎ A supported image, video, or audio type

   媒体~節 に与える手続きに従う ◎ Follow the steps given in the media section, and then, once they have completed, return.

   内容を %B 内に具現化するときに外部~appを利用するような型 ◎ A type that will use an external application to render the content in browsingContext

   ~plugin節 に与える手続きに従う ◎ Follow the steps given in the plugin section, and then, once they have completed, return.

   その他

   %応答 が表現している %~MIME型 の資源を`非~文書~内容として取扱う$ ◎ ↓

   上の~~目的においては： ◎ ↓

   • 次に該当する`~XML~MIME型$は、 `明示的に~supportされる~XML~MIME型@ とされる： ◎ An explicitly supported XML MIME type is an XML MIME type＼

     • ~UAが内容を具現化するときに，外部~appを利用するように 環境設定されているもの（ %B 内に直に具現化するような `~plugin$か，または別々の~app） ◎ for which the user agent is configured to use an external application to render the content (either a plugin rendering directly in browsingContext, or a separate application), or＼
     • ~UAが専用の処理~規則を有しているもの（例： 組込みの Atom ~feed-viewerを備える~Web~browserは `application/atom+xml$c ~MIME型を明示的に~supportするとされる） ◎ one for which the user agent has dedicated processing rules (e.g. a Web browser with a built-in Atom feed viewer would be said to explicitly support the application/atom+xml MIME type), or＼
     • ~UAが専用の~handler有しているもの ◎ one for which the user agent has a dedicated handler.

   • 次に該当する`~JSON~MIME型$は、 `明示的に~supportされる~JSON~MIME型@ とされる： ◎ An explicitly supported JSON MIME type is a JSON MIME type＼

     • ~UAが内容を具現化するときに外部~appを利用するように環境設定されているもの（ %B 内に直に具現化するような `~plugin$か，または別々の~app） ◎ for which the user agent is configured to use an external application to render the content (either a plugin rendering directly in browsingContext, or a separate application), or＼
     • ~UAが専用の処理~規則を有しているもの ◎ one for which the user agent has dedicated processing rules, or＼
     • ~UAが専用の~handler有しているもの ◎ one for which the user agent has a dedicated handler.

7. ~IF［ 前~段にて新たな`文書$ %新~文書 が作成された ］ ⇒ `文書の~addressを設定する@ — すなわち、 %新~文書 の`~URL$docを次に与えるものに設定する：

   • `上書き~URL@ がある場合は、それ。
   • 他の場合、 %新~文書 が元々~fetchされた`~URL$ — 当の資源を得るために利用された他の~dataは無視する。

   ◎ Setting the document's address: If there is no override URL, then any Document created by these steps must have its URL set to the URL that was originally to be fetched, ignoring any other data that was used to obtain the resource. However, if there is an override URL, then any Document created by these steps must have its URL set to that URL instead.

   注記： `上書き~URL$は、`上書きされる再読込み$を遂行するとき, および `~javascript~URL$から結果を得る（ dereference する）ときに設定される。 ◎ An override URL is set when dereferencing a javascript: URL and when performing an overridden reload.

`~navigate応答を処理する$~algo 【から呼出される各種 下位手続き】 の中で，新たな`文書$ %新~文書 が作成された場合、その `文書を初期化する@ ときは，次を走らすことが要求される： ◎ Initializing a new Document object: when a Document is created as part of the above steps, the user agent will be required to additionally run the following algorithm after creating the new object:

【 一部の変数（ %応答 など）は、`~navigate応答を処理する$に渡されたものを指すことに注意。 】

1. ~IF［ 次のすべてが満たされる ］…：

   • %B の`~session履歴$は、 %B の`作成-$時に追加された `about_blank$sc `文書$ %文書 のみからなる
   • `置換~可能化~flag$V ~EQ ~ON
   • ( %文書 の生成元, %新~文書 の生成元 ) は`同一生成元$である

   ならば ⇒ 何もしない

   ◎ If browsingContext's only entry in its session history is the about:blank Document that was added when browsingContext was created, and navigation is occurring with replacement enabled, and that Document has the same origin as the new Document, then do nothing.

2. ~ELSE： ◎ Otherwise:

   1. %~realm実行~文脈 ~LET 次のように~custom化する下で，`新たな~JS~realmを作成する$ ⇒＃ 大域~obj用に 新たな `Window$I ~objを作成する, 大域 `this^jv 束縛には %B の `WindowProxy$I ~objを利用する ◎ Let realm execution context be the result of creating a new JavaScript realm with the following customizations: • For the global object, create a new Window object. • For the global this binding, use browsingContext's WindowProxy object.
   2. `~window用に環境~設定群~objを設定しておく$( %~realm実行~文脈, %予約-済み環境 ) ◎ Set up a window environment settings object with realm execution context and reservedEnvironment, if present.
3. %新~文書 の`~HTTPS状態$doc ~SET %応答 の`~HTTPS状態$rs ◎ Set the Document's HTTPS state to the HTTPS state of response.
4. %新~文書 の`~referrer施策$doc ~SET %応答 の `Referrer-Policy^h ~headerを構文解析-した結果 `REFERRERPOLICY$r ◎ Set the Document's referrer policy to the result of parsing the `Referrer-Policy` header of response. [REFERRERPOLICY]
5. `文書の~CSP~listを初期化する$( %新~文書, %応答 ) `CSP$r ◎ Execute the Initialize a Document's CSP list algorithm on the Document object and the response used to generate the document. [CSP]

6. ~IF［ %要請 ~NEQ ~NULL ］ ⇒ %新~文書 の`~referrer$doc ~SET %要請 の`~referrer$rq %~referrer は`~URL~record$であるならば `~URLを直列化する$( %~referrer ) ／ ~ELSE_ 空~文字列 ◎ If request is non-null, then set the document's referrer to the serialization of request's referrer, if request's referrer is a URL record, and the empty string otherwise.

   注記： WHATWG Fetch 標準により、`要請$の`~referrer$rq はこの時点で， `~URL~record$ または `no-referrer^l になる。 ◎ Per the WHATWG Fetch standard a request's referrer will be either a URL record or "no-referrer" at this point.

7. `文書~用に~sandbox法を実装する$( %新~文書, %B ) ◎ Implement the sandboxing for the Document.

8. `応答からの特色機能~施策で文書のそれを初期化する$( %新~文書 を生成するために利用された`応答$, %新~文書 ) `FEATUREPOLICY$r ◎ Execute the Initialize document’s Feature Policy from response algorithm on the Document object and the response used to generate the document. [FEATUREPOLICY]

   注記： `応答からの特色機能~施策で文書のそれを初期化する$ ~algoは、 %新~文書 の`生成元$を用立てる。 `閲覧文脈~容器$の`~node文書$に対し `document.domain$m が利用されていた場合、その`生成元$は 【入子にされている】 %新~文書 の`生成元$と`同じ生成元~domain$にはなり得ない — この手続きが走るのは， %新~文書 が初期化されるときであり、この時点では まだ %新~文書 の `document.domain$m は利用され得ないので。 したがって，特色機能~施策の検査は、`同一生成元$かどうか検査するよりも，~~寛容でない。 ◎ The Initialize document’s Feature Policy from response algorithm makes use of the Document's origin. If document.domain has been used for the browsing context container's node document, then its origin cannot be same origin-domain with document's origin, because these steps run when document is initialized, so it cannot itself yet have used document.domain. Note that this means that Feature Policy checks are less permissive compared to doing a same origin check instead.

   次の例では、子~文書には `PaymentRequest$I の利用は許容されない — 子~文書が それを利用しようと試行した時点では，`同じ生成元~domain$であっても。 子~文書が初期化された時点では、 `document.domain$m は 親~文書にのみ設定されていて，子~文書にはまだ設定されてない。 ◎ In this example, the child document is not allowed to use PaymentRequest, despite being same origin-domain at the time the child document tries to use it. At the time the child document is initialized, only the parent document has set document.domain, and the child document has not.

   <!-- https://foo.example.com/a.html -->
   <!doctype html>
   <script>
    document.domain = 'example.com';
   </script>
   <iframe src=b.html></iframe>
   

   <!-- https://bar.example.com/b.html -->
   <!doctype html>
   <script>
    document.domain = 'example.com'; /* 
   これは、文書が初期化された後に起こる。
   ◎
   This happens after the document is initialized
    */
    new PaymentRequest(…); /* 
   利用は許容されない
   ◎
   Not allowed to use
    */
   </script>
   

   次の例では、子~文書には `PaymentRequest$I の利用は許容される — 子~文書が それを利用しようと試行した時点では，`同じ生成元~domain$でなくとも。 子~文書が初期化される時点では， `document.domain$m は まだどちらの文書にも設定されていないので、`同じ生成元~domain$の検査は，通常の`同一生成元$の検査に~fall-backする。 ◎ In this example, the child document is allowed to use PaymentRequest, despite not being same origin-domain at the time the child document tries to use it. At the time the child document is initialized, none of the documents have set document.domain yet so same origin-domain falls back to a normal same origin check.

   <!-- https://example.com/a.html -->
   <!doctype html>
   <iframe src=b.html></iframe>
   <!-- 
   子~文書は、下の~scriptが走る前の，この時点では初期化されている。
   ◎
   The child document is now initialized, before the script below is run.
    -->
   <script>
    document.domain = 'example.com';
   </script>
   

   <!-- https://example.com/b.html -->
   <!doctype html>
   <script>
    new PaymentRequest(…); /* 
   利用は許容される
   ◎
   Allowed to use
    */
   </script>
   

9. ~IF［ %応答 には `Refresh$h ~headerはある ］： ◎ If response has a `Refresh` header, then:

   1. `Refresh^h ~headerが複数ある場合 はどうする？ ◎ Multiple `Refresh` headers.
   2. %値 ~LET `Refresh^h の値から得られる文字列 — 各~byteを等しい値の符号位置に対応付ける ◎ Let value be the value of the header with each byte mapped to a code point of equal value.
   3. `共用~宣言的~refresh手続き$( %新~文書, %値 ) を走らす ◎ Run the shared declarative refresh steps with the Document and value.

~naviにおいて所与の %~MIME型 の %資源 を `非~文書~内容として取扱う@ ときは： ◎ Non-document content:＼

1. ~IF［ ~UAは、 %~MIME型 の資源を何らかの~inline内容として表示する ］ ⇒ %資源 による`~inline内容を表示する$ ◎ If, given type, the new resource is to be handled by displaying some sort of inline content,＼

   例えば、次に該当するとき：

   • ~UAは、 %資源 の内容を~nativeに具現化する
   • %~MIME型 は~supportされないことを示す~error~message

   ◎ e.g., a native rendering of the content or an error message because the specified type is not supported, then display the inline content, and then return.

2. ~ELSE（ %~MIME型 の資源は 当の`閲覧文脈$に影響しない ） ⇒ %資源 を 適切に処理する

   例えば、次に該当するとき：

   • %資源 を外部~appに取り扱わせる
   • %資源 は未知の型であり，`~downloadとして$処理する
   ◎ Otherwise, the document's type is such that the resource will not affect browsingContext, e.g., because the resource is to be handed to an external application or because it is an unknown type that will be processed as a download. Process the resource appropriately.

`~navigate~URL~schemeを処理する@ ときは、所与の ( `~URL$ %~url, `閲覧文脈$ %B ) に対し，次を走らす： ◎ To process a navigate URL scheme, given a URL url and browsing context browsingContext, run these steps:

1. ~IF［ %~url は、 %B に影響しない仕組みを用いて取扱われるものである（ %~url の`~scheme$urlは外部的に取扱われるものである） ］ ⇒ ~RET — 代わりに，その仕組みを続行する ◎ If url is to be handled using a mechanism that does not affect browsingContext, e.g., because url's scheme is handled externally, then proceed with that mechanism instead.

2. ~ELIF［ %~url は、何らかの~inline内容を表示して取扱われるものである ］ ⇒ その`~inline内容を表示する$ — 例えば：

   • 指定された~schemeは~supportされる~protocolでないことを示す~error~message, あるいは
   • 利用者が 所与の~scheme用の`登録-済み~handler$を選定できるようにするための~inline~prompt

   注記： 登録-済み~handlerが利用されている事例では、`~navigate$は，新たな~URLで再び呼出されることになる。

   ◎ Otherwise, url is to be handled by displaying some sort of inline content, e.g., an error message because the specified scheme is not one of the supported protocols, or an inline prompt to allow the user to select a registered handler for the given scheme. Display the inline content. ◎ In the case of a registered handler being used, navigate will be invoked with a new URL.

~UAは、資源の［ ~URL／~data ］を 外部~software~packageに取扱わせる ときは（例： `mailto_$sc ~URLを~mail~clientに取り扱わせたり， Word 文書を word processor に取り扱わせるなど）： ◎ When a resource is handled by passing its URL or data to an external software package separate from the user agent (e.g. handing a mailto: URL to a mail client, or a Word document to a word processor),＼

• 対象の~softwareを悪用しようと試みる~riskを軽減するよう試みるべきである。 例えば［ `~source閲覧文脈$にて`作動中の文書$の`生成元$は，指定された~softwareを呼出すことが許容される ］ことについて確認するよう，利用者に~promptするなどにより。 ◎ user agents should attempt to mitigate the risk that this is an attempt to exploit the target software, e.g. by prompting the user to confirm that the source browsing context's active document's origin is to be allowed to invoke the specified software.＼
• 特に、`~navigate$~algoが `利用者による作動化により誘発され$たものでない場合、~UAは，前もって利用者に確認をとることなく，外部~software~packageを呼出すべきでない。 ◎ In particular, if the navigate algorithm, when it was invoked, was not triggered by user activation, the user agent should not invoke the external software package without prior user confirmation.

例えば、［ ある敵対的~頁が，~linkを~clickするよう利用者を騙すように悪用できる ］ような脆弱性が，~target~softwareの~URL~handler内にあるかもしれない。 ◎ For example, there could be a vulnerability in the target software's URL handler which a hostile page would attempt to exploit by tricking a user into clicking a link.

1. `文書を~unloadする$( %履歴 の`現在の~entry$の`文書$ ) ◎ Unload the Document object of the current entry, with the recycle parameter set to false.
2. ~IF［ 前~段の~unloadを走らせている間に %~navi は取消された ］ ⇒ ~RET ⇒ ~unloadは走らせ終え~MUSTが、 %~navi は，この段を超えて走らせては~MUST_NOT。 （特に，ここで %~navi が取消されても、具体例として，文書や その子孫を~unloadする一部として生じている ~event配送や~script実行は，中止されない。） ◎ If this instance of the navigation algorithm is canceled while this step is running the unload a document algorithm, then the unload a document algorithm must be allowed to run to completion, but this instance of the navigation algorithm must not run beyond this step. (In particular, for instance, the cancelation of this algorithm does not abort any event dispatch or script execution occurring as part of unloading the document or its descendants.)

3. ~IF［ %更新~entry ~NEQ ε ］： ◎ If the navigation was initiated for entry update of an entry

   1. %旧~文書 ~LET %更新~entry の`文書$ ◎ ↓
   2. %履歴 内の~entryのうち［ その`文書$ ~EQ %旧~文書 ］を満たす ~EACH( ~entry %e ) に対し ⇒ %e の`文書$ ~SET %文書 ◎ Replace the Document of the entry being updated, and any other entries that referenced the same document as that entry, with the new Document.
   3. `履歴を走査する$( %更新~entry ) ◎ Traverse the history to the new entry.

4. ~ELSE：

   1. %新~entry ~LET %資源 とその文書を表現する，次のものからなる新たな`~session履歴~entry$：

      • `文書$ ~SET %文書
      • 関係する状態【おそらく、`直列形の状態$を指す】
      • `~scroll復旧~mode$ ~SET `auto$l
      • `~URL$ ~SET %文書 の`~URL$doc 【この項目は、この訳による推定（~URLは必須なので）。】
      ◎ ↓

   2. ~IF［ %資源~URL ~NEQ ε ］~AND［ %資源~URL ~EQ %B にて`作動中の文書$の`~URL$doc ］： ◎ If the navigation was initiated with a URL that equals the browsing context's active document's URL

      1. %履歴 の`現在の~entry$を %新~entry に置換する ◎ Replace the current entry with a new entry representing the new resource and its Document object, related state, and the default scroll restoration mode of "auto".
      2. `履歴を走査する$( %新~entry ) ◎ Traverse the history to the new entry.

   3. ~ELSE ◎ Otherwise

      1. %履歴 内の`現在の~entry$より後の~entryは すべて除去する ◎ Remove all the entries in the browsing context's session history after the current entry. If the current entry is the last entry in the session history, then no entries are removed.

         注記： これは、~UAの~UIに影響するとは限らない。 ◎ This doesn't necessarily have to affect the user agent's user interface.

      2. %文書 の `History$I ~objの末尾に %新~entry を付加する ◎ Append a new entry at the end of the History object representing the new resource and its Document object, related state, and the default scroll restoration mode of "auto".
      3. `履歴を走査する$( %新~entry, %~navi に渡された`置換~可能化~flag$V ) ◎ Traverse the history to the new entry. If the navigation was initiated with replacement enabled, then the traversal must itself be initiated with replacement enabled.
5. この時点で、 %~navi は `成熟-@ したとされる。 ◎ The navigation algorithm has now matured.

6. ~WHILE 無条件：

   1. ~UAにより定義される時間長だけ`~event-loopを回す$ （この段は、~UAが処理能の懸念に面したとき，利用者~体験を最適化できるようにするためにある。） ◎ Fragment loop: Spin the event loop for a user-agent-defined amount of time, as desired by the user agent implementer. (This is intended to allow the user agent to optimize the user experience in the face of performance concerns.)

   2. ~IF［ 次のいずれかが満たされる ］ ⇒ ~BREAK：

      • %文書 に対する構文解析器は無い
      • %文書 に対する構文解析器は`構文解析を停止した$
      • ~UAには、［ 利用者が`素片へ~scroll$することに関心を失った ］と予見する事由がある
      ◎ If the Document object has no parser, or its parser has stopped parsing, or the user agent has reason to believe the user is no longer interested in scrolling to the fragment, then return.
   3. %文書 の`~URL$docを与える下で，`素片へ~scroll$する ◎ Scroll to the fragment given in the document's URL.＼
   4. ~IF［ 前~段の結果 %文書 内の`指示された部位$docを見出せた ］ ⇒ ~BREAK ◎ If this fails to find an indicated part of the document, then return to the fragment loop step.

この`~task$の`~task源$は、`~network用~task源$とする。 ◎ The task source for this task is the networking task source.

7.8.2. ~HTML~fileに対する頁~読込~処理~model

~HTML文書を `閲覧文脈$内に読込むことになるときは、~UAは 次を走らす`~taskを~queueし$~MUST： ◎ When an HTML document is to be loaded in a browsing context, the user agent must queue a task to＼

1. %文書 ~SET 新たな`文書$ ◎ create a Document object,＼
2. %文書 の`種別$doc ~SET `html^l ◎ mark it as being an HTML document,＼
3. %文書 の`内容~型$doc ~SET `text/html^l ◎ set its content type to "text/html",＼
4. `文書を初期化する$( %文書 ) ◎ initialize the Document object, and finally＼
5. %解析器 ~LET 新たな`~HTML構文解析器$ ◎ create an HTML parser and＼
6. %解析器 を %文書 に結付ける ◎ associate it with the Document.＼

~fetchingを走らせている間に`~network用~task源$から `~task~queue$に入れられる各`~task$は、~fetchされた~byte列で %解析器 への`入力~byte~stream$を埋めた上で， %解析器 に入力~streamの適切な処理を遂行させ~MUST。 ◎ Each task that the networking task source places on the task queue while fetching runs must then fill the parser's input byte stream with the fetched bytes and cause the HTML parser to perform the appropriate processing of the input stream.

注記： `入力~byte~stream$に渡された~byte列は、文字~並びに変換されて`~tokenizer$に渡される。 この処理-の一部は、資源の~~真の `~Content-Type~metadata$ から見出される文字~符号化法~情報に依拠する — `資源から算出された~MIME型$V は、その目的には利用されない。 ◎ The input byte stream converts bytes into characters for use in the tokenizer. This process relies, in part, on character encoding information found in the real Content-Type metadata of the resource; the computed type is not used for this purpose.

可用な~byte列が尽きたときは、~UAは， %解析器 が暗黙の~EOF文字を処理する`~taskを~queueし$~MUST — それは、最終的に `load$et ~eventを発火させることになる。 ◎ When no more bytes are available, the user agent must queue a task for the parser to process the implied EOF character, which eventually causes a load event to be fired.

~UAは、`文書$が作成された後, かつ ~scriptが実行される前の, ほぼ間違いなく %解析器 が`停止-$する前に，`新たな頁で~session履歴を更新-$し~MUST。 ◎ After creating the Document object, but before any script execution, certainly before the parser stops, the user agent must update the session history with the new page.

注記： 【`~app~cache関連の注記$appCache】 ◎ Application cache selection happens in the HTML parser.

この節にて言及した各~taskの`~task源$は、`~network用~task源$で~MUST。 ◎ The task source for the two tasks mentioned in this section must be the networking task source.

7.8.3. ~XML~fileに対する頁~読込~処理~model

~XML~fileを~inlineに表示することになった場合、~UAは，次に挙げる各種 仕様に定義される要件に従わ~MUST ⇒ `XML$r, `XMLNS$r, `RFC7303$r, `DOM$r, および 関連する他の［ `文書$を作成するときの仕様 ／ 文書に対応する`~XML構文解析器$の仕様 ］ ◎ When faced with displaying an XML file inline, user agents must follow the requirements defined in the XML and Namespaces in XML recommendations, RFC 7303, DOM, and other relevant specifications to create a Document object and a corresponding XML parser. [XML] [XMLNS] [RFC7303] [DOM]

注記： これを書いている時点では，~XML仕様~communityは、実際には，~XMLと~DOMとがどう相互作用するか まだ指定していない。 ◎ At the time of writing, the XML specification community had not actually yet specified how XML and the DOM interact.

~UAは、`文書$ %文書 を作成したときは： ◎ ↓

• 次を走らせ~MUST ⇒ `文書を初期化する$( %文書 ) ◎ After the Document is created, the user agent must initialize the Document object.
• 上に挙げた各 仕様の規則に則って，文字~符号化法を決定するときには、実際の~HTTP~headerや他の~metadataのうち［ この仕様が与える~algoにより［ 変異される／含意される ］~header ］でないものを利用した上で、 %文書 の`文字~符号化法$docは，そのように確立された符号化法に設定し~MUST。 ◎ The actual HTTP headers and other metadata, not the headers as mutated or implied by the algorithms given in this specification, are the ones that must be used when determining the character encoding according to the rules given in the above specifications. Once the character encoding is established, the document's character encoding must be set to that character encoding.
• 【`~app~cache関連の処理~要件$appCache】 ◎ If the document element, as parsed according to the XML specifications cited above, is found to be an html element with an attribute manifest whose value is not the empty string, then, as soon as the element is inserted into the document, the user agent must parse the value of that attribute relative to that element's node document, and if that is successful, must apply the URL serializer algorithm to the resulting URL record with the exclude fragment flag set to obtain manifest URL, and then run the application cache selection algorithm with manifest URL as the manifest URL, passing in the newly-created Document. Otherwise, if the attribute is absent, its value is the empty string, or parsing its value fails, then as soon as the document element is inserted into the document, the user agent must run the application cache selection algorithm with no manifest, and passing in the Document. ◎ Because the processing of the manifest attribute happens only once the document element is parsed, any URLs referenced by processing instructions before the document element (such as <?xml-stylesheet?> PIs) will be fetched from the network and cannot be cached.

• %文書 の根 `Element$I ~nodeの名前空間を精査して，その名前空間に基づいて，代替の処理~toolに~~処理を委託して~MAY — 例： その内容が，実際には syndication feed であると決定されたなら、それを feed ~handlerに渡すなど。 そのような処理に任せることになる場合、この節の手続きは中止した上で，`~navigate$手続きにおける`非~文書~内容として取扱う$とする。

  【 syndication feed — 連携サイト（ syndication ）から随時更新されるような情報（ feed ）。 】

  ◎ User agents may examine the namespace of the root Element node of this Document object to perform namespace-based dispatch to alternative processing tools, e.g. determining that the content is actually a syndication feed and passing it to a feed handler. If such processing is to take place, abort the steps in this section, and jump to the next step (labeled non-document content) in the navigate steps above.

• 前項に該当しない場合， %文書 を伴う`新たな頁で~session履歴を更新-$し~MUST — その時機は：

  • 文書が完全に構文解析される前でもよい（したがって `増分的に具現化する^i ことになる）。
  • どの~script実行よりも前で~MUST。
  ◎ Otherwise, then, with the newly created Document, the user agent must update the session history with the new page. User agents may do this before the complete document has been parsed (thus achieving incremental rendering), and must do this before any scripts are to be executed.
• 構文解析-時の~error（例えば ~XML名前空間 整形式性~error）に際しては、 %文書 を変異して~inlineに報告して~MAY。 ◎ Error messages from the parse process (e.g. XML namespace well-formedness errors) may be reported inline by mutating the Document.

7.8.4. ~text~fileに対する頁~読込~処理~model

素の~text文書を `閲覧文脈$内に読込むことになるときは、~UAは，次を走らす`~taskを~queueし$~MUST： ◎ When a plain text document is to be loaded in a browsing context, the user agent must queue a task to＼

1. %文書 ~SET 新たな`文書$ ◎ create a Document object,＼
2. %文書 の`種別$doc ~SET `html^l ◎ mark it as being an HTML document,＼
3. %文書 の`内容~型$doc ~SET `資源から算出された~MIME型$V ◎ set its content type to the computed MIME type of the resource (type in the navigate algorithm),＼
4. `文書を初期化する$( %文書 ) ◎ initialize the Document object,＼
5. %構文解析器 ~SET 新たな`~HTML構文解析器$ ◎ create an HTML parser,＼
6. %構文解析器 を %文書 に結付ける ◎ associate it with the Document,＼
7. %構文解析器 は，その~tokenizerが すでに次を順に行ったかのようにしておく ⇒＃ ~tag名 `pre^l の開始tag~tokenを発した； 1 個の文字 U+000A （LF）を発した； `~PLAINTEXT状態$に切替えた ◎ act as if the tokenizer had emitted a start tag token with the tag name "pre" followed by a single U+000A LINE FEED (LF) character, and switch the HTML parser's tokenizer to the PLAINTEXT state.＼

~fetchingを走らせている間に`~network用~task源$から`~task~queue$に入れられる各`~task$は、 %構文解析器 の`入力~byte~stream$を~fetchされた~byte列で埋めて， %構文解析器 に入力~streamの適切な処理を遂行させ~MUST。 ◎ Each task that the networking task source places on the task queue while fetching runs must then fill the parser's input byte stream with the fetched bytes and cause the HTML parser to perform the appropriate processing of the input stream.

素の~text文書である %資源 に対しては、次に挙げる要件が~UAに課される： ◎ ↓

• %資源 の~byte列を 実際の文字に変換する規則，および その~textを利用者~向けに実際に具現化する規則は、 `資源から算出された~MIME型$V の仕様により定義される。 ◎ The rules for how to convert the bytes of the plain text document into actual characters, and the rules for actually rendering the text to the user, are defined by the specifications for the computed MIME type of the resource (type in the navigate algorithm).
• %資源 の`文字~符号化法$docは、 %資源 の復号-時に利用された文字~符号化法に設定され~MUST。 ◎ The document's character encoding must be set to the character encoding used to decode the document.
• 【`~app~cache関連の処理~要件$appCache】 ◎ Upon creation of the Document object, the user agent must run the application cache selection algorithm with no manifest, and passing in the newly-created Document.
• 可用な~byte列が尽きたときは、 構文解析器が暗黙の~EOF文字を処理する`~taskを~queueし$~MUST — それは、最終的に `load$et ~eventを発火させることになる。 ◎ When no more bytes are available, the user agent must queue a task for the parser to process the implied EOF character, which eventually causes a load event to be fired.

• %資源 から`文書$ %文書 を作成した後, かつ 頁を構文解析し終えて`なければその前に$，`新たな頁で~session履歴を更新-$し~MUST。 ◎ After creating the Document object, but potentially before the page has finished parsing, the user agent must update the session history with the new page.

  【 “`なければその前に@” — 原文の “, but potentially before” の意図が［ 要件の一部 ／ 可能性があることを示す単なる説明 ／ 終える前にそうしてよいことの明示的な許可 ］のどれなのか はっきりしないが、同じ要件~文の一部として but 節の中に記されているので，要件と解釈する下で和訳している。 】

• %文書 の `head$e 要素に内容を追加して~MAY — 例： ~stylesheetへ~linkする, ~scriptを供する, %文書 に `title$e を与える, 等々。 ◎ User agents may add content to the head element of the Document, e.g., linking to a style sheet, providing script, or giving the document a title.

  注記： 特に、 RFC 3676 の `Format=Flowed^c 特色機能を~supportする~UAは、［ ~textを正しく折返す／ 【行頭の ">" による】 引用用の特色機能を取扱う ］ために，何らかの~styleを適用する必要が生じることになる。 これは、例えば~CSS拡張を利用して遂行することもできる。 ◎ In particular, if the user agent supports the Format=Flowed feature of RFC 3676 then the user agent would need to apply extra styling to cause the text to wrap correctly and to handle the quoting feature. This could be performed using, e.g., a CSS extension.

この節に言及した 2 つの~taskの`~task源$は、`~network用~task源$で~MUST。 ◎ The task source for the two tasks mentioned in this section must be the networking task source.

7.8.5. `multipart/x-mixed-replace^c 資源に対する頁~読込~処理~model

型 `multipart/x-mixed-replace$c を伴う資源を `閲覧文脈$内に読込むことになるときは、~UAは，次に従わ~MUST： ◎ When a resource with the type multipart/x-mixed-replace is to be loaded in a browsing context, the user agent must＼

• `RFC2046$r による `multipart^c 型に対する規則を利用して資源を構文解析する。 ◎ parse the resource using the rules for multipart types. [RFC2046]
• 資源から得られる ~EACH( %本体~部位 ) に対し，出現順に 次を走らす ⇒ 次を除いて、この節を呼出した`~navi$と同じものを与える下で，`~navigate応答を処理する$ ⇒ %応答 の本体には %本体~部位 を利用する。 また、これまでの反復で，`文書$が作成され`初期化-$docされていた場合は、［ `置換~可能化~flag$V ~SET ~ON ］にする。 ◎ For each body part obtained from the resource, the user agent must run process a navigate response using the new body part and the same browsing context, with replacement enabled if a previous body part from the same resource resulted in a Document object being created and initialized, and otherwise using the same setup as the navigate attempt that caused this section to be invoked in the first place.
• 前項による，［ 各 本体~部位を，完全に自立的な資源であったかのように処理する目的 ］においては、各 本体~部位に対し［ それに後続する境界に達した所で，当の資源に対する~byte列は尽きた ］かのように動作する。 ◎ For the purposes of algorithms processing these body parts as if they were complete stand-alone resources, the user agent must act as if there were no more bytes for those resources whenever the boundary following the body part is reached.

注記： したがって， `load$et ~event（および，対になる `unload$et ~event）は、各~本体~部位が読込まれる度に発火されることになる。 ◎ Thus, load events (and for that matter unload events) do fire for each body part loaded.

7.8.6. 媒体に対する頁~読込~処理~model

［ 画像 ／ 動画 ／ 音声 ］資源を `閲覧文脈$内に読込むことになるときは、~UAは 次をするべきである： ◎ When an image, video, or audio resource is to be loaded in a browsing context, the user agent should＼

1. %文書 ~SET 新たな`文書$ ◎ create a Document object,＼
2. %文書 の`種別$doc ~SET `html^l ◎ mark it as being an HTML document,＼
3. %文書 の`内容~型$doc ~SET `資源から算出された~MIME型$V ◎ set its content type to the computed MIME type of the resource (type in the navigate algorithm),＼
4. `文書を初期化する$( %文書 ) ◎ initialize the Document object,＼
5. %文書 に `html$e 要素を付加する ◎ append an html element to the Document,＼
6. `html$e 要素に `head$e 要素, `body$e 要素を順に付加する ◎ append a head element and a body element to the html element,＼

7. `body$e 要素に［ 資源の媒体に応じて，次の表の 2 列目に与えられる要素 ］を付加する：

   媒体~型	要素	属性
   画像	`img$e	`~src-img$a
   動画	`video$e	`~src-media$a
   音声	`audio$e	`~src-media$a

   ◎ append an element host element for the media, as described below, to the body element,＼
8. 前~段で付加した要素の［ 対応する，前~段の表の 3 列目の属性 ］の値 ~SET 資源の~address ◎ and set the appropriate attribute of the element host element, as described below, to the address of the image, video, or audio resource. ◎ The element host element to create for the media is the element given in the table below in the second cell of the row whose first cell describes the media. The appropriate attribute to set is the one given by the third cell in that same row. ◎ Type of media | Element for the media | Appropriate attribute Image | img | src Video | video | src Audio | audio | src

次に，~UAは、`構文解析を停止した$かのように動作し~MUST。 ◎ Then, the user agent must act as if it had stopped parsing.

【`~app~cache関連の処理~要件$appCache】 ◎ Upon creation of the Document object, the user agent must run the application cache selection algorithm with no manifest, and passing in the newly-created Document.

~UAは、`文書$が作成された後, かつ 頁を構文解析し終えて`なければその前に$，`新たな頁で~session履歴を更新-$し~MUST。 ◎ After creating the Document object, but potentially before the page has finished fully loading, the user agent must update the session history with the new page.

~UAは、`文書$の `head$e 要素に内容を追加して~MAY ／ %~host要素 に内容~属性を追加して~MAY — 例： ~stylesheetへの~link ／ ~scriptを供する ／ 文書に `title$e を与える ／ 媒体を `autoplay$a にする 等々。 ◎ User agents may add content to the head element of the Document, or attributes to the element host element, e.g., to link to a style sheet, to provide a script, to give the document a title, or to make the media autoplay.

7.8.7. ~pluginを利用する内容に対する頁~読込~処理~model

外部~資源を具現化することを要する資源を，`閲覧文脈$内に読込むことになるときは、~UAは 次をするべきである： ◎ When a resource that requires an external resource to be rendered is to be loaded in a browsing context, the user agent should＼

1. %文書 ~SET 新たな`文書$ ◎ create a Document object,＼
2. %文書 の`種別$doc ~SET `html^l ◎ mark it as being an HTML document and＼
3. %文書 を `~plugin文書@ とする ◎ mark it as being a plugin document,＼
4. %文書 の`内容~型$doc ~SET `資源から算出された~MIME型$V ◎ set its content type to the computed MIME type of the resource (type in the navigate algorithm),＼
5. `文書を初期化する$( %文書 ) ◎ initialize the Document object,＼
6. `文書$に `html$e 要素を付加する ◎ append an html element to the Document,＼
7. `html$e 要素に `head$e 要素, `body$e 要素を順に付加する ◎ append a head element and a body element to the html element,＼
8. `body$e 要素に `embed$e 要素を付加する ◎ append an embed to the body element,＼
9. `embed$e 要素の `~src-embed$a 属性を資源の~addressに設定する ◎ and set the src attribute of the embed element to the address of the resource.

注記： 用語 `~plugin文書$は、［ `plugin-types^dir 指令をかいくぐるために `iframe$e が利用されることは生じ得ない ］ことを確保するための仕組みの一部として， `CSP$r により利用される。 ◎ The term plugin document is used by Content Security Policy as part of the mechanism that ensures iframes can't be used to evade plugin-types directives. [CSP]

次に，~UAは、`構文解析を停止した$かのように動作し~MUST。 ◎ Then, the user agent must act as if it had stopped parsing.

【`~app~cache関連の処理~要件$appCache】 ◎ Upon creation of the Document object, the user agent must run the application cache selection algorithm with no manifest, and passing in the newly-created Document.

~UAは、`文書$が作成された後, かつ 頁を構文解析し終えて`なければその前に$，`新たな頁で~session履歴を更新-$し~MUST。 ◎ After creating the Document object, but potentially before the page has finished fully loading, the user agent must update the session history with the new page.

~UAは［ `文書$の `head$e 要素 ／ `embed$e 要素の属性 ］に内容を追加して~MAY — 例： ~stylesheetへ~linkする, 文書に `title$e を与える, 等々。 ◎ User agents may add content to the head element of the Document, or attributes to the embed element, e.g. to link to a style sheet or to give the document a title.

注記： ［ `閲覧文脈~sandbox化( ~plugin )~flag$ ~IN `文書$の`作動中の~sandbox法~flag集合$ ］の下で［ 関連する`~plugin$を`保安化-$できなかった ］場合には、合成された `embed$e 要素は， 内容を具現化するのに失敗することになる。 ◎ If the Document's active sandboxing flag set has its sandboxed plugins browsing context flag set, the synthesized embed element will fail to render the content if the relevant plugin cannot be secured.

7.8.8. ~DOMを有さない~inline内容に対する頁~読込~処理~model

~UAは、頁を`閲覧文脈$内に~inlineに表示するときは、次をするべきである： ◎ When the user agent is to display a user agent page inline in a browsing context, the user agent should＼

1. %文書 ~SET 新たな`文書$ ◎ create a Document object,＼
2. %文書 の`種別$doc ~SET `html^l ◎ mark it as being an HTML document,＼
3. %文書 の`内容~型$doc ~SET `text/html^l ◎ set its content type to "text/html",＼
4. `文書を初期化する$( %文書 ) ◎ initialize the Document object,＼

5. 次のいずれかを行う： ◎ and then either＼

   • %文書 を［ `文書$の通常の具現化~規則を利用して具現化されない ］ような~customな具現化に結付ける ◎ associate that Document with a custom rendering that is not rendered using the normal Document rendering rules, or＼
   • %文書 を［ それが~UAが具現化しようと求める内容を表現する ］ように変異させる。 ◎ mutate that Document until it represents the content the user agent wants to render.

~UAは、頁が設定しておかれたなら，`構文解析を停止した$かのように動作し~MUST。 ◎ Once the page has been set up, the user agent must act as if it had stopped parsing.

【`~app~cache関連の処理~要件$appCache】 ◎ Upon creation of the Document object, the user agent must run the application cache selection algorithm with no manifest, passing in the newly-created Document.

~UAは、`文書$が作成された後, かつ 頁を完全に設定して`なければその前に$，`新たな頁で~session履歴を更新-$し~MUST。 ◎ After creating the Document object, but potentially before the page has been completely set up, the user agent must update the session history with the new page.

7.8.9. 素片へ~navigateするとき

~UAは，素片へ~navigateすることになったときは、所与の ( `閲覧文脈$ %B, `~URL$ %~URL, %置換~可能化~flag ) に対し，次を走らせ~MUST： ◎ When a user agent is supposed to navigate to a fragment, optionally with replacement enabled, then the user agent must run the following steps:

1. ~Assert： %~URL の`素片$url ~NEQ ~NULL 【この段は、この訳による補完。】
2. %履歴 ~LET %B の`~session履歴$ ◎ ↓

3. ~IF［ %置換~可能化~flag ~EQ ~OFF ］ ⇒ %履歴 内から， %履歴 の`現在の~entry$より後の~entryはすべて除去する ◎ If not with replacement enabled, then remove all the entries in the browsing context's session history after the current entry. If the current entry is the last entry in the session history, then no entries are removed.

   注記： これは、~UAの~UIに影響するとは限らない。 ◎ This doesn't necessarily have to affect the user agent's user interface.

4. %B の`~top-level閲覧文脈$の`文書~族$内の ~EACH( `文書$ %D ) に対し ⇒ %D に結付けられている`履歴~走査~task源$により~queueされた`~task$があれば，それらを除去する ◎ Remove any tasks queued by the history traversal task source that are associated with any Document objects in the top-level browsing context's document family.

5. %~entry ~LET 当の資源とその文書を表現する，次のものからなる新たな`~session履歴~entry$：

   • `文書$ ~SET %B にて`作動中の文書$
   • 関係する状態【おそらく、`直列形の状態$を指す】
   • `~scroll復旧~mode$ ~SET `現在の~entry$のそれ
   • `~URL$ ~SET %~URL

   %~entry の~titleは未設定のままにする

   ◎ Append a new entry at the end of the History object representing the new resource and its Document object, related state, and current entry's scroll restoration mode. Its URL must be set to the address to which the user agent was navigating. The title must be left unset.
6. `History$I ~objの末尾に %~entry を付加する ◎ ↑
7. `履歴を走査する$( %~entry, %置換~可能化~flag, `~non-blocking~event~flag$V ~SET ~ON ) — これは、今や文書の`~URL$docになった`素片へ~scroll$することになる。 ◎ Traverse the history to the new entry, with replacement enabled if this was invoked with replacement enabled, and with the non-blocking events flag set. This will scroll to the fragment given in what is now the document's URL.

注記： 素片が指す`~ID$を有する要素が まだ構文解析されていないため，~scrollできなかった場合、代わりに，元の`~navi$~algoから呼ばれる［ `新たな頁で~session履歴を更新-$する~algo ］の最後の方で，~scrollingが~careされることになる。 ◎ If the scrolling fails because the relevant ID has not yet been parsed, then the original navigation algorithm will take care of the scrolling instead, as the last few steps of its update the session history with the new page algorithm.

`文書$ %文書 の~scroll位置を %部位 に変更するときは： ◎ The aforementioned algorithm is as follows:

1. %文書 の`標的~要素$ ~SET ~NULL ◎ If there is no indicated part of the document, set the Document's target element to null.

2. %部位 に応じて：

   `文書の上端^i ◎ If the indicated part of the document is the top of the document, then:

   %文書 の`開始位置へ~scroll$する `CSSOMVIEW$r ◎ Set the Document's target element to null. ◎ Scroll to the beginning of the document for the Document. [CSSOMVIEW]

   要素である ◎ Otherwise:

   1. %文書 の`標的~要素$ ~SET %部位 ◎ Let target be element that is the indicated part of the document. ◎ Set the Document's target element to target.
   2. %部位 を`~viewの中へ~scrollする$( `auto^l, `start^l, `nearest^l ) `CSSOMVIEW$r ◎ Scroll target into view, with behavior set to "auto", block set to "start", and inline set to "nearest". [CSSOMVIEW]
   3. `~objを~focusする$( %部位, %文書 の`表示域$ ) ◎ Run the focusing steps for target, with the Document's viewport as the fallback target.
   4. %文書 における`逐次的~focus~naviの始点$ ~SET %部位 ◎ Move the sequential focus navigation starting point to target.

`文書$ %文書 内の `指示された部位@doc は、`素片$urlがあれば，それが指示するものになる。 `素片$urlから~nodeにどう対応付けるかの意味論は、 %文書 が利用している`~MIME型$を定義する仕様により定義される（例えば、`~XML~MIME型$に対する`素片$urlの処理は `RFC7303$r が責を負う）。 ◎ The indicated part of the document is the one that the fragment, if any, identifies. The semantics of the fragment in terms of mapping it to a node is defined by the specification that defines the MIME type used by the Document (for example, the processing of fragments for XML MIME types is the responsibility of RFC7303). [RFC7303]

各 `文書$には、 `target$ps 疑似類を定義するために利用される `標的~要素@ がある。 それは、初期~時は~NULLであり，上の~algoで更新される。 ◎ There is also a target element for each Document, which is used in defining the :target pseudo-class and is updated by the above algorithm. It is initially null.

~HTML文書（および， `~HTML~MIME型$ ） %文書 に対しては、 %文書 内の`指示された部位$docを決定するときは，次の処理~modelに従わ~MUST。 ◎ For HTML documents (and HTML MIME types), the following processing model must be followed to determine what the indicated part of the document is.

1. %素片 ~LET %文書 の`~URL$docの`素片$url ◎ Let fragment be the document's URL's fragment.
2. ~Assert： %素片 ~NEQ ~NULL 【この段は、この訳による補完。】
3. ~IF［ %素片 ~EQ 空~文字列 ］ ⇒ ~RET `文書の上端^i ◎ If fragment is the empty string, then the indicated part of the document is the top of the document; return.
4. ~IF［ `指示された要素を見出す$( %文書, %素片 ) ~NEQ ~NULL ］ ⇒ ~RET その結果 ◎ If find a potential indicated element with fragment returns non-null, then the return value is the indicated part of the document; return.
5. %素片~byte列 ~SET `文字列を~byte列に~percent-復号する$( %素片 ) ◎ Let fragmentBytes be the result of string percent decoding fragment.
6. %復号-済み素片 ~LET `~BOMはそのままに~UTF-8復号する$( %素片~byte列 ) ◎ Let decodedFragment be the result of running UTF-8 decode without BOM on fragmentBytes.
7. ~IF［ `指示された要素を見出す$( %文書, %復号-済み素片 ) ~NEQ ~NULL ］ ⇒ ~RET その結果 ◎ If find a potential indicated element with decodedFragment returns non-null, then the return value is the indicated part of the document; return.
8. ~IF［ %復号-済み素片 ~EQ`大小無視$sub `top^l ］ ⇒ ~RET `文書の上端^i ◎ If decodedFragment is an ASCII case-insensitive match for the string top, then the indicated part of the document is the top of the document; return.
9. ~RET ε ◎ There is no indicated part of the document.

`指示された要素を見出す@ ときは、所与の ( `文書$ %文書, 文字列 %素片 ) に対し，次を走らす： ◎ To find a potential indicated element given a string fragment, run these steps:

1. ~IF［ %文書 の`木~内$に［ `~ID$ ~EQ %素片 ］を満たす要素はある ］ ⇒ ~RET 該当する要素のうち，`木~順序$で最初のもの ◎ If there is an element in the document tree that has an ID equal to fragment, then return the first such element in tree order.
2. ~IF［ %文書 の`木~内$に［ `name$a 属性を有していて，その値 ~EQ %素片 ］を満たす `a$e 要素はある ］ ⇒ ~RET 該当する要素のうち，`木~順序$で最初のもの ◎ If there is an a element in the document tree that has a name attribute whose value is equal to fragment, then return the first such element in tree order.
3. ~RET ~NULL ◎ Return null.

この節に言及した~taskの`~task源$は `~DOM操作~task源$で~MUST。 ◎ The task source for the task mentioned in this section must be the DOM manipulation task source.

7.8.10. 履歴の走査

注記： この~algoは、明示的に`履歴を前／後に走査する$ときのみならず，他の状況においても呼出される — 例えば、閲覧文脈を`~navigate$するときに，`新たな頁で~session履歴を更新-$する一部として。 ◎ This algorithm is not just invoked when explicitly going back or forwards in the session history — it is also invoked in other situations, for example when navigating a browsing context, as part of updating the session history with the new page.

1. %履歴 ~LET %~entry が属する`~session履歴$ ◎ ↓
2. %B ~LET %履歴 を有する`閲覧文脈$ ◎ ↓

3. ~IF［ %~entry はもはや`文書$を保持していない ］： ◎ If entry no longer holds a Document object, then:

   1. %要請 ~LET 次のようにされた新たな`要請$ ⇒ `~url$rq ~SET %~entry の`~URL$ ◎ Let request be a new request whose url is entry's URL.
   2. ~IF［ `履歴~navi~flag$V ~EQ ~ON ］ ⇒ %要請 の`履歴~navi~flag$rq ~SET ~ON ◎ If the history-navigation flag is set, then set request's history-navigation flag.

   3. `~entryを更新する$ためとして，［ %~entry を最初に作成したときに利用した`~source閲覧文脈$ ］を %要請 へ`~navigate$する（これは、［ `置換~可能化~flag$V ~EQ ~ON ］の下では決して起こらない） ◎ Navigate the browsing context to request to perform an entry update of entry. The navigation must be done using the same source browsing context as was used the first time entry was created. (This can never happen with replacement enabled.)

      注記： `~navigate$ ~algoは、走査を完了するために，この~algoを再び呼出す — その時点で %~entry は`文書$を保持することになる。 ◎ The "navigate" algorithm reinvokes this "traverse" algorithm to complete the traversal, at which point entry holds a Document object.

      注記： 資源が非冪等~動作を利用して得られたものであった場合（ 例えば `POST^hm による~form提出）や, 資源はもはや可用でない場合（例えば~computerは今や~offlineになっていて，頁も~cacheされていないため）など、再度そこへ~navigateできないこともある。 この事例では、~naviの結果は，以前と異なる頁になる — 例えば，問題を説明する~error~messageや, ~formを再度~提出する~UIを提供するなど。 ◎ If the resource was obtained using a non-idempotent action, for example a POST form submission, or if the resource is no longer available, for example because the computer is now offline and the page wasn't cached, navigating to it again might not be possible. In this case, the navigation will result in a different page than previously; for example, it might be an error message explaining the problem or offering to resubmit the form.

   4. ~RET ◎ Return.
4. %現~entry ~LET %履歴 の`現在の~entry$ ◎ ↓
5. ~IF［ %現~entry の~titleは［ `pushState()$m ／ `replaceState()$m ］~methodにより設定されていない ］ ⇒ %現~entry の~title ~SET `document.title$m ~IDL属性の値を取得した結果 ◎ If the current entry's title was not set by the pushState() or replaceState() methods, then set its title to the value returned by the document.title IDL attribute.
6. 適切になる, かつ ~UAが持続化するよう望む状態があれば、それらを反映するように，%現~entry を更新する — この~entryは、`持続的な利用者~状態$を伴うものとされる。 ◎ If appropriate, update the current entry in the browsing context's Document object's History object to reflect any state that the user agent wishes to persist. The entry is then said to be an entry with persisted user state.
7. %文書 ~LET %~entry の`文書$ ◎ ↓
8. %現~文書 ~LET %現~entry の`文書$（ ~EQ %B にて`作動中の文書$） ◎ ↓

9. ~IF［ %文書 ~NEQ %現~文書 ］： ◎ If entry has a different Document object than the current entry, then run the following substeps:

   1. %B の`~top-level閲覧文脈$の`文書~族$内の ~EACH( `文書$ ) に対し ⇒ `文書$に結付けられている`履歴~走査~task源$により~queueされた`~task$があれば，それらを除去する ◎ Remove any tasks queued by the history traversal task source that are associated with any Document objects in the top-level browsing context's document family.

   2. ~IF［ ( %文書 の`生成元$, %現~文書 の`生成元$ ) は`同一生成元$でない ］： ◎ If the origin of entry's Document object is not the same as the origin of the current entry's Document object, then run the following subsubsteps:

      1. %履歴 内の ~EACH( ~entry %e ) に対し ⇒ ~IF［ ( %e の`文書$の`生成元$, %現~文書 の`生成元$ ) は`同一生成元$である ］~AND［ %e は %現~entry と連続的である 【~~参照】 ］ ⇒ %e の`閲覧文脈~名$ ~SET %B の`閲覧文脈~名$ ◎ The current browsing context name must be stored with all the entries in the history that are associated with Document objects with the same origin as the active document and that are contiguous with the current entry.
      2. ~IF［ %B は`~top-level閲覧文脈$である ］~AND［ %B は`補助~閲覧文脈$でない ］ ⇒ %B の`閲覧文脈~名$ ~SET 空~文字列 ◎ If the browsing context is a top-level browsing context, but not an auxiliary browsing context, then set the browsing context's name to the empty string.
   3. `閲覧文脈にて作動中の文書を設定する$( %B, %文書 ) ◎ Set the active document of the browsing context to entry's Document object.

   4. ~IF［ %~entry の`閲覧文脈~名$ ~NEQ ε ］： ◎ If entry has a browsing context name, then run the following subsubsteps:

      1. %B の`閲覧文脈~名$ ~SET %~entry の`閲覧文脈~名$ ◎ Set the browsing context's browsing context name to entry's browsing context name.
      2. %履歴 内の ~EACH( ~entry %e ) に対し ⇒ ~IF［ ( %e の`文書$の`生成元$, %文書 の`生成元$ ) は`同一生成元$である ］~AND［ %e は %~entry と連続的である ］ ⇒ %e の`閲覧文脈~名$ ~SET ε ◎ Clear any browsing context names of all entries in the history that are associated with Document objects with the same origin as the new active document and that are contiguous with entry.
   5. %文書 内の ~EACH( ~form~control %E ) に対し ⇒ ~IF［ %E の`自動充填~欄~名$ ~EQ `off$v ］ ⇒ %E の`再設定~algo$を呼出す ◎ If entry's Document object has any form controls whose autofill field name is "off", invoke the reset algorithm of each of those elements.

   6. ~IF［ %文書 の`現在の文書の準備度$ ~EQ `complete^l ］ ⇒ 次を走らす`~taskを~queueする$： ◎ If the current document readiness of entry's Document object is "complete", then queue a task to run the following subsubsteps:

      1. ~IF［ %文書 の`頁~表示中~flag$doc ~EQ ~T ］ ⇒ ~RET ◎ If the Document's page showing flag is true, then abort these steps.
      2. %文書 の`頁~表示中~flag$doc ~SET ~T ◎ Set the Document's page showing flag to true.

      3. `適用-可能な仕様$により定義されている `~session履歴~文書の可視性を変更する手続き@ があれば、それらの各~手続きを %文書 を渡して走らす ◎ Run any session history document visibility change steps for Document that are defined by other applicable specifications.

         注記： これは、 Page Visibility 仕様からの利用-に特に意図されている。 `PAGEVIS$r ◎ This is specifically intended for use by the Page Visibility specification. [PAGEVIS]

      4. %文書 の`~window$に向けて，名前 `pageshow$et の`~eventを発火する$( `~targetを上書きする^i ) — `PageTransitionEvent$I を利用し，次のように初期化して ⇒＃ `persisted$m 属性 ~SET ~T ◎ Fire an event named pageshow at the Document object's Window object, using PageTransitionEvent, with the persisted attribute initialized to true, and legacy target override flag set.
10. %文書 の`~URL$doc ~SET %~entry の`~URL$ ◎ Set the document's URL to entry's URL.
11. %~hash変化あり ~LET ~F ◎ ↓
12. ~IF［ %~entry の~URLの`素片$url ~NEQ %現~entry の`素片$url ］~AND［ %文書 ~EQ %現~文書 ］ ⇒＃ %~hash変化あり ~LET ~T； %旧~URL ~LET %現~entry の~URL； %新~URL ~LET %~entry の~URL ◎ If entry has a URL whose fragment differs from that of the current entry's when compared in a case-sensitive manner, and the two share the same Document object, then let hash changed be true, and let old URL be the current entry's URL and new URL be entry's URL. Otherwise, let hash changed be false.
13. ~IF［ `置換~可能化~flag$V ~EQ ~ON ］ ⇒ %履歴 内で %~entry の直前にある~entryを除去する ◎ If the traversal was initiated with replacement enabled, remove the entry immediately before the specified entry in the session history.
14. ~IF［ %~entry は`持続的な利用者~状態$を伴わない ］~AND［ %~entry の`~URL$の`素片$url ~NEQ ~NULL ］ ⇒ `素片へ~scroll$する ◎ If entry is not an entry with persisted user state, but its URL's fragment is non-null, then scroll to the fragment.
15. %履歴 の`現在の~entry$ ~SET %~entry ◎ Set the current entry to entry.
16. %状態 ~LET %~entry の`直列形の状態$ ◎ ↓
17. ~IF［ %状態 ~NEQ ~NULL ］ ⇒ %状態 ~SET `StructuredDeserialize$jA( %状態, `現在の~Realm~Record$ ) ⇒ 例外が投出されたときは、~catchして ⇒ %状態 ~SET ~NULL （例外は無視する） ◎ Let targetRealm be the current Realm Record. ◎ If entry has serialized state, then let state be StructuredDeserialize(entry's serialized state, targetRealm). If this throws an exception, catch it, ignore the exception, and let state be null. ◎ Otherwise, let state be null.
18. `history.state$m ~SET %状態 ◎ Set history.state to state.
19. %状態~変化あり ~LET ［ %文書 の`最近の~entry$ ~NIN { ε, %~entry } ならば ~T ／ ~ELSE_ ~F ］ ◎ Let state changed be true if entry's Document object has a latest entry, and that entry is not entry; otherwise let it be false.
20. %文書 の`最近の~entry$ ~SET %~entry ◎ Set entry's Document object's latest entry to entry.

21. 次に与える~taskを， `~non-blocking~event~flag$V に応じて ⇒＃ ~OFF ならば`即時に$走らす ／ ~ON ならば`~queueする$ ◎ If the non-blocking events flag is not set, then run the following substeps immediately. Otherwise, the non-blocking events flag flag is set; queue a task to run the following substeps instead.

    ~taskは、次の下位手続きを走らす： ◎ ↑

    1. ~IF［ %状態~変化あり ~EQ ~T ］ ⇒ %文書 の`~window$に向けて，名前 `popstate$et の`~eventを発火する$ — `PopStateEvent$I を利用し，次のように初期化して ⇒＃ `state$m 属性 ~SET %状態 ◎ If state changed is true, then fire an event named popstate at the Document object's Window object, using PopStateEvent, with the state attribute initialized to state.
    2. ~IF［ %~entry は`持続的な利用者~状態$を伴う ］ ⇒ ~UAは、`持続的な利用者~状態を復旧-$して， %文書 と その具現化の側面を更新して~MAY ◎ If entry is an entry with persisted user state, then the user agent may restore persisted user state and update aspects of the document and its rendering.
    3. ~IF［ %~hash変化あり ~EQ ~T ］ ⇒ %B の`~window$に向けて，名前 `hashchange$et の`~eventを発火する$ — `HashChangeEvent$I を利用し，次のように初期化して ⇒＃ `oldURL$m 属性 ~SET %旧~URL, `newURL$m 属性 ~SET %新~URL ◎ If hash changed is true, then fire an event named hashchange at the browsing context's Window object, using HashChangeEvent, with the oldURL attribute initialized to old URL and the newURL attribute initialized to new URL.

上に言及された~taskの`~task源$は `~DOM操作~task源$で~MUST。 ◎ The task source for the tasks mentioned above is the DOM manipulation task source.

[Exposed=Window,
Constructor(DOMString type, optional `PopStateEventInit$I eventInitDict)]
interface `PopStateEvent@I : `Event$I {
  readonly attribute any `state$m;
};

dictionary `PopStateEventInit@I : `EventInit$I {
  any state = null;
};

[Exposed=Window,
Constructor(DOMString type, optional `HashChangeEventInit$I eventInitDict)]
interface `HashChangeEvent@I : `Event$I {
  readonly attribute USVString `oldURL$m;
  readonly attribute USVString `newURL$m;
};

dictionary `HashChangeEventInit@I : `EventInit$I {
  USVString oldURL = "";
  USVString newURL = "";
};

[Exposed=Window,
Constructor(DOMString type, optional `PageTransitionEventInit$I eventInitDict)]
interface `PageTransitionEvent@I : `Event$I {
  readonly attribute boolean `persisted$m;
};

dictionary `PageTransitionEventInit@I : `EventInit$I {
  boolean persisted = false;
};

7.8.11. 文書の~unload法

各`~event-loop$は、 `終了入子~level@ と呼ばれる~counterを有する — 初期~時には 0 にされ~MUST。 ◎ Event loops have a termination nesting level counter, which must initially be 0.

`文書の~unloadを~promptする@ ときは、所与の ( `文書$ %文書, %再帰的~flag ~IN { `再帰的^i, ε }（省略時は ε ） ) に対し，次を走らす： ◎ To prompt to unload, given a Document object document and optionally a recursiveFlag, run these steps:

1. `~event-loop$の`終了入子~level$ ~INCBY 1 ◎ Increase the event loop's termination nesting level by 1.
2. %文書 の`~unload中の~openは無視する~counter$ ~INCBY 1 ◎ Increase the document's ignore-opens-during-unload counter by 1.
3. %event ~LET `BeforeUnloadEvent$I ~interfaceを利用する`~eventを作成-$した結果 ◎ Let event be the result of creating an event using BeforeUnloadEvent.
4. %event の ( `type$m, `cancelable$m ) 属性 ~SET ( `beforeunload$et, ~T ) に初期化する ◎ Initialize event's type attribute to beforeunload and its cancelable attribute true.
5. %文書 の`~window$に向けて %event を`配送-$する ◎ Dispatch: Dispatch event at document's Window object.
6. `~event-loop$の`終了入子~level$ ~DECBY 1 ◎ Decrease the event loop's termination nesting level by 1.
7. ~IF［ %event 配送-時に何らかの~event~listenerが誘発された ］ ⇒ %文書 の`回復可能~状態$doc ~SET ~F ◎ If any event listeners were triggered by the earlier dispatch step, then set document's salvageable state to false.

8. ~IF［ 次のいずれも満たされる ］…： ◎ ↓

   • `~sandbox化( ~modal )~flag$ ~NIN %文書 の`作動中の~sandbox法~flag集合$ ◎ If document's active sandboxing flag set does not have its sandboxed modals flag set, and＼
   • ［ %event の `returnValue$m 属性 ~NEQ 空~文字列 ］~OR［ %event は取消された ］ ◎ the returnValue attribute of the event object is not the empty string, or if the event was canceled, then＼

   …ならば ⇒ ~UAは、利用者に %文書 の~unloadを望むかどうかを確認をとって~MAY： ◎ the user agent may ask the user to confirm that they wish to unload the document.

   注記： 利用者に示される~messageは、~custom化することはできず，~UAにより決定される。 特に、 `returnValue$m 属性の実際の値は無視される。 ◎ The message shown to the user is not customizable, but instead determined by the user agent. In particular, the actual value of the returnValue attribute is ignored.

   • ~UAは，そうすることが利用者にとって［ いらつく／紛らわしい／的外れである ］と判定したときは、利用者に確認をとらないことが奨励される。 単純な経験則として、利用者が %文書 とやりとりしていなければ，とらないことが挙げられる。 ◎ The user agent is encouraged to avoid asking the user for confirmation if it judges that doing so would be annoying, deceptive, or pointless. A simple heuristic might be that if the user has not interacted with the document, the user agent would not ask for confirmation before unloading it.
   • ~UAは，利用者に確認をとる場合には、利用者の応答を待機している間，`静止-$し~MUST。 ◎ If the user agent asks the user for confirmation, it must pause while waiting for the user's response.
   • 利用者から頁~naviの確認をとれなかった場合、 %文書 の `~unloadを拒否-@doc したとされる。 ◎ If the user did not confirm the page navigation, then the user agent refused to allow the document to be unloaded.

9. ~IF［ %再帰的~flag ~EQ ε ］： ◎ If the recursiveFlag is not set, then:

   1. %文書 の`子孫~閲覧文脈~list$ 内の ~EACH( `閲覧文脈$ %B ) に対し： ◎ Let descendants be the list of the descendant browsing contexts of document. ◎ For each browsingContext in descendants:

      1. %作動中の文書 ~LET %B にて`作動中の文書$ ◎ ↓
      2. `文書の~unloadを~promptする$( %作動中の文書, `再帰的^i ) ⇒ ~IF［ 利用者は文書の`~unloadを拒否-$docした ］ ⇒ ~BREAK （利用者は、 %文書 についても暗黙的に`~unloadを拒否-$docしたことになる） ◎ Prompt to unload browsingContext's active document with the recursiveFlag set. If the user refused to allow the document to be unloaded, then the user implicitly also refused to allow document to be unloaded; break.
      3. ~IF［ %作動中の文書 の`回復可能~状態$doc ~EQ ~F ］ ⇒ %文書 の`回復可能~状態$doc ~SET ~F ◎ If the salvageable state of browsingContext's active document is false, then set the salvageable state of document to false.
10. %文書 の`~unload中の~openは無視する~counter$ ~DECBY 1 ◎ Decrease the document's ignore-opens-during-unload counter by 1.

`文書を~unloadする@ ときは、所与の ( `文書$ %文書, 真偽値 %使回す~flag ~IN { `使回す^i, ε }（省略時は ε ）, %再帰的~flag ~IN { `再帰的^i, ε }（省略時は ε ） ) に対し，次を走らす： ◎ To unload a Document document, given a boolean recycle and optionally a recursiveFlag:

注記： %使回す~flag は、非 ε ならば %文書 を再利用することを指示する — `document.open(type, replace)$m ~methodは、これに `使回す^i を渡して この手続きを呼出す。 【 %使回す~flag （原文では真偽値）の省略時に対する ε は、この訳による追加。】 ◎ The recycle argument indicates whether the Document object is going to be reused; it is set by the document.open(type, replace) method.

1. `~event-loop$の`終了入子~level$ ~INCBY 1 ◎ Increase the event loop's termination nesting level by one.
2. %文書 の`~unload中の~openは無視する~counter$ ~INCBY 1 ◎ Increase document's ignore-opens-during-unload counter by one.

3. ~IF［ %文書 の`頁~表示中~flag$doc ~EQ ~T ］： ◎ If document's page showing flag is false, then jump to the step labeled unload event below (i.e. skip firing the pagehide event and don't rerun the unloading document visibility change steps).

   1. %文書 の`頁~表示中~flag$doc ~SET ~F ◎ Set document's page showing flag to false.
   2. %文書 の`~window$に向けて，名前 `pagehide$et の`~eventを発火する$( `~targetを上書きする^i ) — `PageTransitionEvent$I を利用し，次のように初期化して ⇒ `persisted$m 属性 ~SET %文書 の`回復可能~状態$doc ◎ Fire an event named pagehide at document's Window object, using PageTransitionEvent, with the persisted attribute initialized to true if document's salvageable state is true, and false otherwise, and legacy target override flag set.

   3. `適用-可能な仕様$により定義される `~unload中の文書の可視性を変更する手続き@ があれば、それらの各~手続きを %文書 を渡して走らす ◎ Run any unloading document visibility change steps for document that are defined by other applicable specifications.

      注記： これは、 Page Visibility 仕様からの利用-に特に意図されている。 `PAGEVIS$r ◎ This is specifically intended for use by the Page Visibility specification. [PAGEVIS]

4. ~IF［ %文書 の`~unload発火-済み~flag$doc ~EQ ~F ］ ⇒ %文書 の`~window$に向けて，名前 `unload$et の`~eventを発火する$( `~targetを上書きする^i ) ◎ Unload event: If document's fired unload flag is false, then fire an event named unload at document's Window object, with legacy target override flag set.
5. `~event-loop$の`終了入子~level$ ~DECBY 1 ◎ Decrease the event loop's termination nesting level by one.
6. ~IF［ 前~前~段にて，何らかの~event~listenerが誘発された ］ ⇒＃ %文書 の`回復可能~状態$doc ~SET ~F； %文書 の`~unload発火-済み~flag$doc ~SET ~T ◎ If any event listeners were triggered by the earlier unload event step, then set document's salvageable state to false and set document's fired unload flag to true.
7. この仕様も含む`適用-可能な仕様$にて定義される `文書~unload時の片付け手続き$があれば、それらの各~手続きを %文書 を渡して走らす ◎ Run any unloading document cleanup steps for document that are defined by this specification and other applicable specifications.

8. ~IF［ %再帰的~flag ~EQ ε ］： ◎ If the recursiveFlag is not set, then:

   1. %子孫~list ~LET %文書 の`子孫~閲覧文脈~list$ ◎ Let descendants be the list of the descendant browsing contexts of document.

   2. %子孫~list 内の ~EACH( `閲覧文脈$ %B ) に対し： ◎ For each browsingContext in descendants:

      1. %作動中の文書 ~LET %B にて`作動中の文書$ ◎ ↓
      2. `文書を~unloadする$( %作動中の文書, ε, `再帰的^i ) ◎ Unload the active document of browsingContext with the recycle parameter set to false, and the recursiveFlag set.
      3. ~IF［ %作動中の文書 の`回復可能~状態$doc ~EQ ~F ］ ⇒ %文書 の`回復可能~状態$doc ~SET ~F ◎ If the salvageable state of the active document of browsingContext is false, then set the salvageable state of document to false also.
   3. ~IF［ %文書 の`回復可能~状態$doc ~EQ ~F ］~AND［ %使回す~flag ~EQ ε ］ ⇒ `文書を破棄する$( %文書 ) ◎ If both document's salvageable state and recycle are false, then discarddocument.
9. %文書 の`~unload中の~openは無視する~counter$ ~DECBY 1 ◎ Decrease document's ignore-opens-during-unload counter by one.

`適用-可能な仕様$は、 `文書~unload時の片付け手続き@ を定義できる。 この仕様が定義する`文書~unload時の片付け手続き$は、所与の ( `文書$ %文書 ) に対し，次を走らす： ◎ This specification defines the following unloading document cleanup steps. Other specifications can define more. Given a Document document:

1. %~window ~LET %文書 の`~window$ ◎ Let window be document's Window object.
2. ~EACH( `WebSocket$I ~obj %O ) に対し ⇒ ~IF［ %O に`関連する大域~obj$ ~EQ %~window ］ ⇒ %O を`消滅させる$ ◎ For each WebSocket object webSocket whose relevant global object is equal to window, make disappear webSocket.
3. ~IF［ 前~段により影響された `WebSocket$I ~objはある ］ ⇒ %文書 の`回復可能~状態$doc ~SET ~F ◎ If this affected any WebSocket objects, then set document's salvageable state to false.

4. ~IF［ %文書 の`回復可能~状態$doc ~EQ ~F ］： ◎ If document's salvageable state is false, then:

   1. ~EACH( `EventSource$I ~obj %O ) に対し ⇒ ~IF［ %O に`関連する大域~obj$ ~EQ %~window ］ ⇒ %O を`強制的に閉じる$ ◎ For each EventSource object eventSource whose relevant global object is equal to window, forcibly close eventSource.
   2. %文書 の`~window$の`作動中の~timer~list$を空にする ◎ Empty window's list of active timers.

[Exposed=Window]
interface `BeforeUnloadEvent@I : `Event$I {
  attribute DOMString `returnValue$m;
};

7.8.12. 文書~読込の中止-法

`文書を中止する@ ときは、所与の ( `文書$ %文書 ) に対し，次を走らす： ◎ To abort a Document document:

1. %文書 が`属する閲覧文脈$の ~EACH( `子~閲覧文脈$ %子 ) に対し：

   1. %子~文書 ~LET %子 にて`作動中の文書$
   2. `文書を中止する$( %子~文書 )
   3. ~IF［ %子~文書 の`回復可能~状態$doc ~EQ ~F ］ ⇒ %文書 の`回復可能~状態$doc ~SET ~F
   ◎ Abort the active documents of every child browsing context. If this results in any of those Document objects having their salvageable state set to false, then set document's salvageable state to false also.

2. ~IF［ %文書 の文脈~下にある`~fetch$~algoの~instanceたちがある ］ ⇒

   1. それらを取消す — 以降 ⇒＃ それらに対し`~queueされ$る`~task$は破棄する ／ それらに対し~networkから受信される更なる~dataは破棄する

   2. %文書 の`回復可能~状態$doc ~SET ~F
   ◎ Cancel any instances of the fetch algorithm in the context of document, discarding any tasks queued for them, and discarding any further data received from the network for them. If this resulted in any instances of the fetch algorithm being canceled or any queued tasks or any network data getting discarded, then set document's salvageable state to false.

3. ~IF［ %文書 には`作動中の構文解析器$がある ］：

   1. その`構文解析器を中止する$
   2. %文書 の`回復可能~状態$doc ~SET ~F
   ◎ If document has an active parser, then abort that parser and set document's salvageable state to false.

~UAは、利用者が明示的に`文書を中止する$~algoを呼出すことを許容して~MAY。 利用者がそれをした場合、その`文書$が`作動中の文書$であるならば、~UAは，`文書を中止する$~algoを呼出す前に，次を走らす`~taskを~queueする$べきである ⇒ その`文書$の`~window$に向けて，名前 `abort$et の`~eventを発火する$ ◎ User agents may allow users to explicitly invoke the abort a document algorithm for a Document. If the user does so, then, if that Document is an active document, the user agent should queue a task to fire an event named abort at that Document's Window object before invoking the abort algorithm.

7.9. ~offline~Web~app

この特色機能は、~Web~platformから除去されつつある過程にある（何年もかかるであろう）。 今では、~offline~Web~app特色機能は，利用しないことが強く奨励される。 代わりに、~service-worker `SW$r を利用すること。 ◎ This feature is in the process of being removed from the Web platform. (This is a long process that takes many years.) Using any of the offline Web application features at this time is highly discouraged. Use service workers instead. [SW]

【 以下、この節の内容は未訳。 このサイトのこの仕様の和訳における `~app~cache関連の…@appCache と記された箇所も未訳であり、実際の原文では，この節にて定義される各種~用語を利用する内容が記述されている。 言い換えれば、和訳は，~UAがこの節に述べられる機能を~supportしていないかのように単純化して記述している。 】