HTML — 文書の lifecycle

`文書を作成して初期化する@ ときは、 所与の ( `種別$doc %種別, `内容~型$doc %内容~型, `~navi~params$ %~navi~params ) に対し： ◎ to create and initialize a Document object, given a type type, content type contentType, and navigation params navigationParams:

注記： `文書$は， `新たな閲覧~文脈と文書を作成する$ときにも作成されるが、 この~algoは，そのような`初期~about_blank な文書$を決して作成しない。 `属する閲覧~文脈$が無い`文書$は、 `document.implementation.createHTMLDocument()＠~DOM4#dom-domimplementation-createhtmldocument$c など，様々な~APIを介して作成され得る。 ◎ Document objects are also created when creating a new browsing context and document; such initial about:blank Document are never created by this algorithm. Also, browsing context-less Document objects can be created via various APIs, such as document.implementation.createHTMLDocument().

1. %閲覧~文脈 ~LET %~navi~params の`~navigable$nvPにて`作動中な閲覧~文脈$nav ◎ Let browsingContext be navigationParams's navigable's active browsing context.

2. %閲覧~文脈 ~SET `~navi応答~用に利用する閲覧~文脈を得する$( ↓ ) ⇒＃ %閲覧~文脈, %~navi~params の`最終-~sandbox~flag集合$nvP, %~navi~params の`非同一-生成元~opener施策$nvP, %~navi~params の`~COOP施行n結果$nvP ◎ Set browsingContext to the result of the obtaining a browsing context to use for a navigation response given browsingContext, navigationParams's final sandboxing flag set, navigationParams's cross-origin opener policy, and navigationParams's COOP enforcement result.

   注記： これは、 `閲覧~文脈~groupを切替える＠~ORIGIN#browsing-context-group-switches-due-to-cross-origin-opener-policy$こともある — その事例では、 %閲覧~文脈 は，［ %~navi~params の`~navigable$nvPにて`作動中な閲覧~文脈$navではなく， `新たに作成され＠~HTMLds#creating-a-new-browsing-context$た`閲覧~文脈$ ］になる。 そのような事例では、 作成された［ `~window$, `文書$, `~agent$ ］は利用されなくなる — 作成された`文書$の`生成元$docは`不透明な生成元$なので、 `この~algoの後の段＠#create-new-agent-and-window$で， 新たな`文書$と同行する新たな［ `~agent$, `~window$ ］を作成する結果になる。 ◎ This can result in a browsing context group switch, in which case browsingContext will be a newly-created browsing context instead of being navigationParams's navigable's active browsing context. In such a case, the created Window, Document, and agent will not end up being used; because the created Document's origin is opaque, we will end up creating a new agent and Window later in this algorithm to go along with the new Document.

3. %許可~施策 ~LET `応答から~navigable用の許可~施策を作成する$( ↓ ) `PERMISSIONSPOLICY$r ⇒＃ %~navi~params の`~navigable$nvPの`容器$nav, %~navi~params の`生成元$nvP, %~navi~params の`応答$nvP ◎ Let permissionsPolicy be the result of creating a permissions policy from a response given navigationParams's navigable's container, navigationParams's origin, and navigationParams's response. [PERMISSIONSPOLICY]

   注記： ここで`応答から~navigable用の許可~施策を作成する$ときは、 渡された`生成元$を用立てる。 %~navi~params の`~navigable$nvPの`容器~文書$navに対し `document.domain$c が利用されていた場合、 【以下で作成される文書】 %文書 の`生成元$docと渡された生成元は，`同じ生成元~domain$にはなり得ない — この手続きは %文書 が作成される前に走るので、 この時点では，まだ %文書 の `document.domain$c は利用し得ないので。 したがって，許可~施策の検査は、 `同一-生成元$かどうか検査するよりも~~寛容でない。 ◎ The creating a permissions policy from a response algorithm makes use of the passed origin. If document.domain has been used for navigationParams's navigable's container document, then its origin cannot be same origin-domain with the passed origin, because these steps run before the document is created, so it cannot itself yet have used document.domain. Note that this means that Permissions Policy checks are less permissive compared to doing a same origin check instead.

   これの動作~例は、 下を見よ。 ◎ See below for some examples of this in action.

4. %作成時の~URL ~LET %~navi~params の`応答$nvPの`~URL$rs ◎ Let creationURL be navigationParams's response's URL.
5. ~IF［ %~navi~params の`要請$nvP ~NEQ ~NULL ］ ⇒ %作成時の~URL ~SET %~navi~params の`要請$nvPの`現在の~URL$rq ◎ If navigationParams's request is non-null, then set creationURL to navigationParams's request's current URL.
6. %~window ~LET ~NULL ◎ Let window be null.

7. ~IF［ %閲覧~文脈 にて`作動中な文書$bcの`初期~about_blankか$doc ~EQ ~T ］~AND［ ( %閲覧~文脈 にて`作動中な文書$bcの`生成元$doc, %~navi~params の`生成元$nvP ) は`同じ生成元~domain$である ］ ⇒ %~window ~SET %閲覧~文脈 にて`作動中な~window$bc ◎ If browsingContext's active document's is initial about:blank is true, and browsingContext's active document's origin is same origin-domain with navigationParams's origin, then set window to browsingContext's active window.

   注記： この場合、 これから作成する新たな`文書$と`初期~about_blank な文書$は， 同じ`~window$を共有することになる。 ◎ This means that both the initial about:blank Document, and the new Document that is about to be created, will share the same Window object.

8. ~ELSE： ◎ Otherwise:

   1. %生成元~agent~cluster~header ~LET %~navi~params の`応答$nvPの`~header~list$rsから`有構造~field値を取得する$( `Origin-Agent-Cluster$h, `~item^i ) ◎ Let oacHeader be the result of getting a structured field value given `Origin-Agent-Cluster` and "item" from navigationParams's response's header list.

   2. %生成元~agent~clusterを要請するか ~LET ~IS ~AND↓：

      • %生成元~agent~cluster~header ~NEQ ~NULL
      • %生成元~agent~cluster~header[ 0 ] ~EQ `~sf真偽値$ ~T
      • %~navi~params の`予約-済み環境$nvPは`~secureな文脈$enVである
      ◎ Let requestsOAC be true if oacHeader is not null and oacHeader[0] is the boolean true; otherwise false. ◎ If navigationParams's reserved environment is a non-secure context, then set requestsOAC to false.
   3. %~agent ~LET `生成元が類似な~window~agentを得する$( ↓ ) ⇒＃ %~navi~params の`生成元$nvP, %閲覧~文脈 の`~group$tbcG, %生成元~agent~clusterを要請するか ◎ Let agent be the result of obtaining a similar-origin window agent given navigationParams's origin, browsingContext's group, and requestsOAC.
   4. %~realm実行~文脈 ~LET %~agent 内で`新たな~realmを作成する$ — 次に従って~custom化する下で ⇒＃ 大域~obj用に新たな`~window$を作成する, 大域 `this^jv 束縛には %閲覧~文脈 の `WindowProxy$I ~objを利用する ◎ Let realmExecutionContext be the result of creating a new realm given agent and the following customizations: • For the global object, create a new Window object. • For the global this binding, use browsingContext's WindowProxy object.
   5. %~window ~SET %~realm実行~文脈 の~Realm成分を成す`大域~obj$rM 【すなわち，前~段で作成した~window】 ◎ Set window to the global object of realmExecutionContext's Realm component.
   6. %~top-level作成時の~URL ~LET %作成時の~URL ◎ Let topLevelCreationURL be creationURL.
   7. %~top-level生成元 ~LET %~navi~params の`生成元$nvP ◎ Let topLevelOrigin be navigationParams's origin.
   8. %~navigable ~LET %~navi~params の`~navigable$nvP 【この段は、この訳による補完。】

   9. ~IF［ %~navigable の`容器$nav ~NEQ ~NULL ］： ◎ If navigable's container is not null, then:

      1. %親~環境 ~LET %~navigable の`容器$navに`関連な設定群~obj$ ◎ Let parentEnvironment be navigable's container's relevant settings object.
      2. %~top-level作成時の~URL ~SET %親~環境 の`~top-level作成時の~URL$enV ◎ Set topLevelCreationURL to parentEnvironment's top-level creation URL.
      3. %~top-level生成元 ~SET %親~環境 の`~top-level生成元$enV ◎ Set topLevelOrigin to parentEnvironment's top-level origin.
   10. `~window用に環境~設定群~objを設定しておく$( ↓ ) ⇒＃ %作成時の~URL, %~realm実行~文脈, %~navi~params の`予約-済み環境$nvP, %~top-level作成時の~URL, %~top-level生成元 ◎ Set up a window environment settings object with creationURL, realmExecutionContext, navigationParams's reserved environment, topLevelCreationURL, and topLevelOrigin.

   注記： これが通例的な事例であり、 これから作成する新たな`文書$は，それに同行する新たな`~window$を取得する。 ◎ This is the usual case, where the new Document we're about to create gets a new Window to go along with it.

9. %~load計時~報 ~LET 新たな`文書~load計時~報$ — その ⇒ `~navi開始~時刻$ ~SET %~navi~params の`応答$nvPの`計時~報$rsの`開始~時刻$fT ◎ Let loadTimingInfo be a new document load timing info with its navigation start time set to navigationParams's response's timing info's start time.

10. %文書 ~LET 新たな`文書$ — その ⇒＃ `種別$doc ~SET %種別, `内容~型$doc ~SET %内容~型, `生成元$doc ~SET %~navi~params の`生成元$nvP, `属する閲覧~文脈$ ~SET %閲覧~文脈, `施策~容器$doc ~SET %~navi~params の`施策~容器$nvP, `許可~施策$doc ~SET %許可~施策, `作動中な~sandbox法~flag集合$ ~SET %~navi~params の`最終-~sandbox~flag集合$nvP, `非同一-生成元~opener施策$doc ~SET %~navi~params の`非同一-生成元~opener施策$nvP, `~load計時~報$doc ~SET %~load計時~報, `非同一-生成元~redirectを介して作成されたか$doc ~SET %~navi~params の`応答$nvPの`非同一-生成元~redirectはあるか$rs, `読込ng中における~WebDriver-BiDi用の~navi~ID$doc ~SET %~navi~params の`~ID$nvP, `~URL$doc ~SET %作成時の~URL, `現在の準備度$doc ~SET `loading^l, `~about基底~URL$doc ~SET %~navi~params の`~about基底~URL$nvP, `宣言的な~shadow根を許容するか$doc ~SET ~T ◎ Let document be a new Document, with ◎ type • type content type • contentType origin • navigationParams's origin browsing context • browsingContext policy container • navigationParams's policy container permissions policy • permissionsPolicy active sandboxing flag set • navigationParams's final sandboxing flag set cross-origin opener policy • navigationParams's cross-origin opener policy load timing info • loadTimingInfo was created via cross-origin redirects • navigationParams's response's has cross-origin redirects during-loading navigation ID for WebDriver BiDi • navigationParams's id URL • creationURL current document readiness • "loading" about base URL • navigationParams's about base URL allow declarative shadow roots • true

11. %~window に`結付けられた文書$ ~SET %文書 ◎ Set window's associated Document to document.
12. `文書~用に~CSP初期化を走らす$( %文書 ) `CSP$r ◎ Run CSP initialization for a Document given document. [CSP]

13. ~IF［ %~navi~params の`要請$nvP ~NEQ ~NULL ］： ◎ If navigationParams's request is non-null, then:

    1. %文書 の`~referrer$doc ~SET 空~文字列 ◎ Set document's referrer to the empty string.
    2. %~referrer ~LET %~navi~params の`要請$nvPの`~referrer$rq ◎ Let referrer be navigationParams's request's referrer.

    3. ~IF［ %~referrer は`~URL~record$である ］ ⇒ %文書 の`~referrer$doc ~SET `~URLを直列化する$( %~referrer ) ◎ If referrer is a URL record, then set document's referrer to the serialization of referrer.

       注記： `FETCH$r により、 %~referrer は，この時点で［ `~URL~record$／ `no-referrer^l ］になる。 ◎ Per Fetch, referrer will be either a URL record or "no-referrer" at this point.

14. ~IF［ %~navi~params の`~fetch制御器$nvP ~NEQ ~NULL ］： ◎ If navigationParams's fetch controller is not null, then:

    1. %全部的な計時~報 ~LET `全部的な計時~報を抽出する$( %~navi~params の`~fetch制御器$nvP ) ◎ Let fullTimingInfo be the result of extracting the full timing info from navigationParams's fetch controller.
    2. %~redirect回数 ~LET %~navi~params の`応答$nvPの`非同一-生成元~redirectはあるか$rsに応じて ⇒＃ ~T ならば 0 ／ ~F ならば %~navi~params の`要請$nvPの`~redirect回数$rq ◎ Let redirectCount be 0 if navigationParams's response's has cross-origin redirects is true; otherwise navigationParams's request's redirect count.
    3. `~navi計時~entryを作成する$( ↓ ) ⇒＃ %文書, %全部的な計時~報 %~redirect回数, %navigationTimingType【未定義な変数： %~navi~params の`~navi計時~種別$nvP？】, %~navi~params の`応答$nvPの`~sw計時~報$rs, 【ここに必要な引数が無い】, %~navi~params の`応答$nvPの`本体~報$rs ◎ Create the navigation timing entry for document, given fullTimingInfo, redirectCount, navigationTimingType, navigationParams's response's service worker timing info, and navigationParams's response's body info.
15. `~navi計時~entryを作成する$( ↓ ) ⇒＃ %文書, %~navi~params の`応答$nvPの`計時~報$rs, %~redirect回数, %~navi~params の`~navi計時~種別$nvP, %~navi~params の`応答$nvPの`~sw計時~報$rs, 【引数が足らない】 ◎ Create the navigation timing entry for document, with navigationParams's response's timing info, redirectCount, navigationParams's navigation timing type, and navigationParams's response's service worker timing info.

16. ~IF［ %~navi~params の`応答$nvPには `Refresh$h ~headerは在る ］： ◎ If navigationParams's response has a `Refresh` header, then:

    1. %値 ~LET `同型に復号する$( `Refresh^h の値 ) ◎ Let value be the isomorphic decoding of the value of the header.
    2. `共用~宣言的~refresh手続き$( %文書, %値 ) ◎ Run the shared declarative refresh steps with document and value.

    `Refresh$h ~headerが複数あるときの取扱いは、 現時点では，まだ指定されてない。 これは、 `課題 #2900＠~HTMLissue/2900$ にて追跡されている。 ◎ We do not currently have a spec for how to handle multiple `Refresh` headers. This is tracked as issue #2900.

17. %早期~hintを~commitする ~LET %~navi~params の`早期~hintを~commitする$nvP ◎ ↓
18. ~IF［ %早期~hintを~commitする ~NEQ ~NULL ］ ⇒ %早期~hintを~commitする( %文書 ) ◎ If navigationParams's commit early hints is not null, then call navigationParams's commit early hints with document.
19. `~link~header群を処理する$( %文書, %~navi~params の`応答$nvP, `pre-media^l ) ◎ Process link headers given document, navigationParams's response, and "pre-media".
20. ~RET %文書 ◎ Return document.

<!-- 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>

<!-- 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>

`文書を~html-head-bodyで拡充する@ ときは、 所与の ( `文書$ %文書 ) に対し： ◎ To populate with html/head/body given a Document document:

1. %html ~LET `要素を作成する$( %文書, `html$e, `~HTML名前空間$ ) ◎ Let html be the result of creating an element given document, html, and the HTML namespace.
2. %head ~LET `要素を作成する$( %文書, `head$e, `~HTML名前空間$ ) ◎ Let head be the result of creating an element given document, head, and the HTML namespace.
3. %body ~LET `要素を作成する$( %文書, `body$e, `~HTML名前空間$ ) ◎ Let body be the result of creating an element given document, body, and the HTML namespace.
4. %文書 に`~nodeを付加する$( %html ) ◎ Append html to document.
5. %html に`~nodeを付加する$( %head ) ◎ Append head to html.
6. %html に`~nodeを付加する$( %body ) ◎ Append body to html.
7. ~RET ( %html, %head, %body ) 【この段は、この訳による追加。】

`~HTML文書を読込む@ ときは、 所与の ( `~navi~params$ %~navi~params ) に対し： ◎ To load an HTML document, given navigation params navigationParams:

1. %文書 ~LET `文書を作成して初期化する$( `html^l, `text/html^l, %~navi~params ) ◎ Let document be the result of creating and initializing a Document object given "html", "text/html", and navigationParams.

2. ~IF［ %文書 の`~URL$doc ~EQ `~about_blank$sc ］ ⇒ `文書を~html-head-bodyで拡充する$( %文書 ) ◎ If document's URL is about:blank, then populate with html/head/body given document.

   注記： この特別な事例では、 %文書 が`初期~about_blank な文書$でない場合でも， 要素~nodeが同期的に与えられる — これは、 配備-済みな内容と互換にするために必要yである。 言い換えれば、 次の段 ~ELSE 以下の分岐へ入って［ %文書 を非同期的に拡充するよう，`~HTML構文解析器$の中へ空な`~byte列$を投入する ］こととは互換でない。 ◎ This special case, where even non-initial about:blank Documents are synchronously given their element nodes, is necessary for compatible with deployed content. In other words, it is not compatible to instead go down the "otherwise" branch and feed the empty byte sequence into an HTML parser to asynchronously populate document.

3. ~ELSE ⇒ 新たな`~HTML構文解析器$ %構文解析器 を作成して %文書 に結付ける — ~UAは、 以下に挙げる各項に従うモノトスル： ◎ Otherwise, create an HTML parser and associate it with the document.＼

   • ~fetchingを走らせている間に`~network用~task~source$から`~task~queue$に設置される各`~task$には、 %構文解析器 への`入力~byte~stream$を~fetchされた~byte列で埋めた上で， 入力~streamの適切な処理を %構文解析器 に遂行させる。 ◎ 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.
   • 前項の`~task$のうち，最初に設置されたものは、 %構文解析器 により処理された後に，次を走らす ⇒ `~link~header群を処理する$( %文書, %~navi~params の`応答$nvP, `media^l ) ◎ The first task that the networking task source places on the task queue while fetching runs must process link headers given document, navigationParams's response, and "media", after the task has been processed by the HTML parser.

   • %文書 用に`~scriptを走らせてもよい$とされる時点まで，~script実行は生じさせない。 ◎ Before any script execution occurs, the user agent must wait for scripts may run for the newly-created document to be true for document.

     注記： `入力~byte~stream$に渡された~byte列は、文字~並びに変換されて`~tokenizer$に渡される。 この処理nの一部は、 資源の~~真の `~Content-Type~metadata$から見出される文字~符号化法~情報に依拠する — 資源から`算出される~MIME型$は、 その目的には利用されない。 ◎ 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列が尽きたときは、 次を遂行する ⇒ `大域~taskを~queueする$( `~network用~task~source$, %文書 に`関連な大域~obj$, 次の手続き ) ◎ When no more bytes are available, the user agent must queue a global task on the networking task source given document's relevant global object to＼

     手続きは ⇒ 構文解析器に暗黙な~EOF文字を処理させる （これは、最終的に `load$et ~eventを発火させることになる） ◎ have the parser to process the implied EOF character, which eventually causes a load event to be fired.
4. ~RET %文書 ◎ Return document.

~UAは，~XML~fileを~inlineに表示することになった場合には、 供された ( `~navi~params$ %~navi~params, 文字列 %~MIME型 ) に対し， 次に挙げる各~仕様 ⇒＃ `XML$r, `XMLNS$r, `RFC7303$r, `DOM$r, 関連な他の仕様 ◎終 に定義される要件に従う下で，次を行うモノトスル：

1. %文書 ~LET `文書を作成して初期化する$( `xml^l, %~MIME型, %~navi~params )
2. 対応する`~XML構文解析器$を作成する
3. ~RET %文書

◎ When faced with displaying an XML file inline, provided navigation params navigationParams and a string type, user agents must follow the requirements defined in XML and Namespaces in XML, XML Media Types, DOM, and other relevant specifications to create and initialize a Document object document, given "xml", type, and navigationParams, and return that Document. They must also create a corresponding XML parser. [XML] [XMLNS] [RFC7303] [DOM]

`~text文書を読込む@ ときは、 所与の ( `~navi~params$ %~navi~params, 文字列 %~MIME型 ) に対し： ◎ To load a text document, given a navigation params navigationParams and a string type:

1. %文書 ~LET `文書を作成して初期化する$( `html^l, %~MIME型, %~navi~params ) ◎ Let document be the result of creating and initializing a Document object given "html", type, and navigationParams.
2. %文書 の`構文解析器は~modeを変更できないか$ ~SET ~T ◎ Set document's parser cannot change the mode flag to true.
3. %文書 の`~mode$doc ~SET `no-quirks^l ◎ Set document's mode to "no-quirks".

4. 新たな`~HTML構文解析器$を作成して %文書 に結付ける — ~UAは、 以下に挙げる各項に従うモノトスル： ◎ Create an HTML parser and associate it with the document.＼

   • この構文解析器は、 その~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~source$から`~task~queue$に設置される各`~task$は、 構文解析器の`入力~byte~stream$を~fetchされた~byte列で埋めて，構文解析器に入力~streamの適切な処理を遂行させる。 ◎ 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.
   • %文書 の`符号化法$docは、 当の文書を復号する間に利用した文字~符号化法に設定する。 ◎ document's encoding must be set to the character encoding used to decode the document during parsing.
   • 前述の`~task$のうち，最初に設置されたものは、 %構文解析器 により処理された後に，次を走らす ⇒ `~link~header群を処理する$( %文書, %~navi~params の`応答$nvP, `media^l ) ◎ The first task that the networking task source places on the task queue while fetching runs must process link headers given document, navigationParams's response, and "media", after the task has been processed by the HTML parser.
   • %文書 用に`~scriptを走らせてもよい$とされる時点まで，~script実行は生じさせない。 ◎ Before any script execution occurs, the user agent must wait for scripts may run for the newly-created document to be true for document.

   • 可用な~byte列が尽きたときは、 次を遂行する ⇒ `大域~taskを~queueする$( `~network用~task~source$, %文書 に`関連な大域~obj$, 次の手続き ) ◎ When no more bytes are available, the user agent must queue a global task on the networking task source given document's relevant global object to＼

     手続きは ⇒ 構文解析器に暗黙な~EOF文字を処理させる （これは、最終的に `load$et ~eventを発火させることになる） ◎ have the parser to process the implied EOF character, which eventually causes a load event to be fired.

5. 任意選択で ⇒ %文書 の `head$e 要素に内容を追加する — 例： ~stylesheetへ~linkする／ ~scriptを供する／ 文書に `title$e を与える／ 等々。 ◎ User agents may add content to the head element of 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.

6. ~RET %文書 ◎ Return document.

`multipart/x-mixed-replace 文書を読込む@ ときは、 所与の ⇒＃ `~navi~params$ %~navi~params, `~source~snapshot~params$ %~source~snapshot~params, `生成元$ %起動元~生成元 ◎終 に対し： ◎ To load a multipart/x-mixed-replace document, given navigation params navigationParams, source snapshot params sourceSnapshotParams, and origin initiatorOrigin:

1. %~navi~params の`応答$nvPの`本体$rsを `RFC2046$r による複-部位t（ `multipart^c ）型~用の規則を利用して構文解析する ◎ Parse navigationParams's response's body using the rules for multipart types. [RFC2046]
2. %最初の部位t用の~navi~params ~LET %~navi~params の複製 ◎ Let firstPartNavigationParams be a copy of navigationParams.
3. %最初の部位t用の~navi~params の`応答$nvP ~SET %~navi~params の`応答$nvPの`本体$rsの複-部位t~streamを成す最初の部位tを表現している新たな`応答$ ◎ Set firstPartNavigationParams's response to a new response representing the first part of navigationParams's response's body's multipart stream.

4. %文書 ~LET `文書を読込む$( %最初の部位t用の~navi~params, %~source~snapshot~params, %起動元~生成元 ) ◎ Let document be the result of loading a document given firstPartNavigationParams, sourceSnapshotParams, and initiatorOrigin.

   %~navi~params の`応答$nvPから得された 2 個目以降の各 本体~部位tに対しては、 ~UAは，次を行うモノトスル ⇒ `~navigableを~URLへ~navigateする$( %文書 の`~node~navigable$, %~navi~params の`要請$nvPの`~URL$rq, %文書 ) — 次を与える下で ⇒＃ `応答^i ~SET %~navi~params の`応答$nvP, `履歴~取扱い^i ~SET `replace$hH ◎ For each additional body part obtained from navigationParams's response, the user agent must navigate document's node navigable to navigationParams's request's URL, using document, with response set to navigationParams's response and historyHandling set to "replace".

5. ~RET %文書 ◎ Return document.

`~media文書を読込む@ ときは、 所与の ( `~navi~params$ %~navi~params, 文字列 %~MIME型 ) に対し： ◎ To load a media document, given navigationParams and a string type:

1. %文書 ~LET `文書を作成して初期化する$( `html^l, %~MIME型, %~navi~params ) ◎ Let document be the result of creating and initializing a Document object given "html", type, and navigationParams.
2. %文書 の`~mode$doc ~SET `no-quirks^l ◎ Set document's mode to "no-quirks".
3. ( %html, %head, %body ) ~LET `文書を~html-head-bodyで拡充する$( %文書 ) ◎ Populate with html/head/body given document.
4. %要素~型 ~LET 【 %~MIME型 から導出される】当の資源の~media型に応じて ⇒＃ 画像ならば `img$e ／ 動画ならば `video$e ／ 音声ならば `audio$e ◎ ↓
5. %~host要素 ~LET `要素を作成する$( %文書, %要素~型, `~HTML名前空間$ ) ◎ ↓
6. %body に`~nodeを付加する$( %要素 ) ◎ Append an element host element for the media,＼ ↓↓as described below, to the body element.

7. %~host要素 の`属性~値を設定する$( `src^l, 当の資源の~address )

   （これは、［ 画像の場合は `img$e の `src＠~HEimages#attr-img-src$a ／ ［ 動画／音声 ］の場合は［ `video$e ／ `audio$e ］の `src＠~HEmedia#attr-media-src$a ］を設定する。）

   ◎ Set the appropriate attribute of the element host element, as described below, to the address of the image, video, or audio resource. ◎ ↓↓

8. 任意選択で ⇒＃ %head に内容を追加する／ %~host要素 に属性を追加する ◎ User agents may add content to the head element of document, or attributes to host element,＼

   例 ⇒＃ ある~stylesheetへ~linkする ある~scriptを供する／ 当の文書に `title$e を与える／ 当の~mediaを `autoplay$a にする ◎ e.g., to link to a style sheet, to provide a script, to give the document a title, or to make the media autoplay.

9. `~link~header群を処理する$( %文書, %~navi~params の`応答$nvP, `media^l ) ◎ Process link headers given document, navigationParams's response, and "media".
10. %文書 の`構文解析を停止した$かのように動作する ◎ Act as if the user agent had stopped parsing document.
11. ~RET %文書 ◎ Return document. ◎ ↑↑ 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は，［ ~UA~page／~PDF~viewer ］を~inlineに表示するための文書を作成するときは、 供された ( `~navigable$ %~navigable, `~navi~ID$ %~navi~ID, `NavigationTimingType$I %~navi計時~種別 ) に対し，次に従うベキである： ◎ When the user agent is to create a document to display a user agent page or PDF viewer inline, provided a navigable navigable, a navigation ID navigationId, a NavigationTimingType navTimingType, the user agent should:

1. %生成元 ~LET 新たな`不透明な生成元$ ◎ Let origin be a new opaque origin.
2. %~COOP ~LET 新たな`非同一-生成元~opener施策$ ◎ Let coop be a new cross-origin opener policy.
3. %~COOP施行n結果 ~LET 新たな`非同一-生成元~opener施策の施行n結果$ — その ⇒＃ `~URL$cooP ~SET %応答 の`~URL$rs, `生成元$cooP ~SET %生成元, `非同一-生成元~opener施策$cooP ~SET %~COOP ◎ Let coopEnforcementResult be a new cross-origin opener policy enforcement result with ◎ url • response's URL origin • origin cross-origin opener policy • coop
4. %~navi~params ~LET 新たな`~navi~params$ — その ⇒＃ `~ID$nvP ~SET %~navi~ID, `~navigable$nvP ~SET %~navigable, `要請$nvP ~SET ~NULL, `応答$nvP ~SET 新たな`応答$, `生成元$nvP ~SET %生成元, `~fetch制御器$nvP ~SET ~NULL, `早期~hintを~commitする$nvP ~SET ~NULL, `~COOP施行n結果$nvP ~SET %~COOP施行n結果, `予約-済み環境$nvP ~SET ~NULL, `施策~容器$nvP ~SET 新たな`施策~容器$, `最終-~sandbox~flag集合$nvP ~SET 空な集合, `非同一-生成元~opener施策$nvP ~SET %COOP, `~navi計時~種別$nvP ~SET %~navi計時~種別, `~about基底~URL$nvP ~SET ~NULL ◎ Let navigationParams be a new navigation params with ◎ id • navigationId navigable • navigable request • null response • a new response origin • origin fetch controller • null commit early hints • null COOP enforcement result • coopEnforcementResult reserved environment • null policy container • a new policy container final sandboxing flag set • an empty set cross-origin opener policy • coop navigation timing type • navTimingType about base URL • null
5. %文書 ~LET `文書を作成して初期化する$( `html^l, `text/html^l, %~navi~params ) ◎ Let document be the result of creating and initializing a Document object given "html", "text/html", and navigationParams.

6. 次のいずれかを行う： ◎ Either＼

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

注記： 結果の`文書$は、 その`生成元$docは`不透明な生成元$になるよう確保され， ~DOMへの~accessを伴う~scriptを走らすことはないので、 この文書の存在, その~propは，~web開発者~codeからは観測-可能にならない。 このことは、 上の値のうち ほとんど — 例： `種別$doc `text/html$mt — は~~関心事にならないことを意味する。 類似に， %~navi~params を成す ほとんどの~itemは、 ~~形式上のものでしかなく，観測-可能な効果を伴うことはない — なので、 既定の値に設定される。 ◎ Because we ensure the resulting Document's origin is opaque, and the resulting Document cannot run script with access to the DOM, the existence and properties of this Document are not observable to web developer code. This means that most of the above values, e.g., the text/html type, do not matter. Similarly, most of the items in navigationParams don't have any observable effect, besides preventing the Document-creation algorithm from getting confused, and so are set to default values.

`文書$ %文書 の `読込ngを完全に終わらす@ ときは： ◎ To completely finish loading a Document document:

1. ~Assert： %文書 が`属する閲覧~文脈$ ~NEQ ~NULL ◎ Assert: document's browsing context is non-null.
2. %文書 の`完全に読込まれた時刻$ ~SET 現在の時刻 ◎ Set document's completely loaded time to the current time.

3. %容器 ~LET %文書 の`~node~navigable$の`容器$nav ◎ Let container be document's node navigable's container.

   注記： これは、 %文書 が［ `iframe$e ／ `frame$e ］内の`初期~about_blank な文書$である事例では， ~NULL になる — この~algoを~callする`新たな閲覧~文脈と文書を作成する$時点では、 当の容器~関係性は，まだ確立されていないので （それが起こる段は、 `新たな子~navigableを作成する$ときである）。 ◎ This will be null in the case where document is the initial about:blank Document in a frame or iframe, since at the point of browsing context creation which calls this algorithm, the container relationship has not yet been established. (That happens in a subsequent step of create a new child navigable.)

   その帰結として、 以降の手続きは，何もしなくなる — すなわち，そのような事例では、 `load$et ~eventは， %容器 に向けて非同期的には発火されなくなる。 代わりに，その~eventは、 `~iframe属性~群を処理する$ときに，ある特別な初期~挿入~事例において同期的に発火される。 ◎ The consequence of this is that the following steps do nothing, i.e., we do not fire an asynchronous load event on the container element for such cases. Instead, a synchronous load event is fired in a special initial-insertion case when processing the iframe attributes.

4. ~IF［ %容器 は `iframe$e 要素である ］ ⇒ `要素~taskを~queueする$( `~DOM操作~task~source$, %容器, 次の手続き )

   手続きは ⇒ `~iframe~load~event手続き$( %容器 )
   ◎ If container is an iframe element, then queue an element task on the DOM manipulation task source given container to run the iframe load event steps given container.

5. ~ELIF［ %容器 ~NEQ ~NULL ］ ⇒ `要素~taskを~queueする$( `~DOM操作~task~source$, %容器, 次の手続き )

   手続きは ⇒ `~eventを発火する$( %容器, `load$et )
   ◎ Otherwise, if container is non-null, then queue an element task on the DOM manipulation task source given container to fire an event named load at container.

`文書を~unloadする@ ときは、 所与の ( `文書$ %旧-文書, `文書$ %新-文書（省略時は ε ） ) に対し： ◎ To unload a Document oldDocument, given an optional Document newDocument:

1. ~Assert： この~algoは、［ %旧-文書 に`関連な~agent$の`~event~loop$aGに~queueされた`~task$ ］の一部として走っている。 ◎ Assert: this is running as part of a task queued on oldDocument's relevant agent's event loop.
2. %~unload計時~報 ~LET 新たな`文書~unload計時~報$ ◎ Let unloadTimingInfo be a new document unload timing info.

3. ~IF［ %新-文書 ~EQ ε ］ ⇒ %~unload計時~報 ~SET ~NULL ◎ If newDocument is not given, then set unloadTimingInfo to null.

   注記： この事例では、［ %旧-文書 を~unloadするのに，いつまでかかるか ］を知る必要がある新たな文書は無い。 ◎ In this case there is no new document that needs to know about how long it took oldDocument to unload.

4. ~ELIF［ %新-文書 の`~event~loop$ ~NEQ %旧-文書 の`~event~loop$ ］：

   • 任意選択で ⇒ 次を`並列的$に遂行する ⇒ `文書を~unloadする$( %旧-文書 )
   • `that^en 事例においては†、 %~unload計時~報 を ~NULL に設定するベキである††。

   【† ［ ~unloadする場合, ~IF 条件を満たす場合 ］どちらを指しているのか、 はっきりしない（前者？）。 】【†† %~unload計時~報 が［ この~algo~instanceの中のそれ／ 上で`文書を~unloadする$中のそれ ］どちらを指すのか，はっきりしない。 】

   ◎ Otherwise, if newDocument's event loop is not oldDocument's event loop, then the user agent may be unloading oldDocument in parallel. In that case, the user agent should set unloadTimingInfo to null.

   注記： この事例では、 %新-文書 の読込ngは［ %旧-文書 を~unloadするのに，いつまでかかるか ］により影響iされないので， その計時~報を通信することも無意味になる。 ◎ In this case newDocument's loading is not impacted by how long it takes to unload oldDocument, so it would be meaningless to communicate that timing info.

5. %~BF~cache内に保つか ~LET ~IS［［ %旧-文書, および %旧-文書 のすべての子孫 ］は，どれも ~AND↓ を満たす ］：

   • その`回復可能か$doc ~EQ ~T
   • ~UAは、 後で`履歴~辿り用に利用できる＠~HTMLnav#note-bfcache$よう， それが`~session履歴~entry$内に生存し続けることを意図する
   ◎ Let intendToKeepInBfcache be true if the user agent intends to keep oldDocument alive in a session history entry, such that it can later be used for history traversal. ◎ This must be false if oldDocument is not salvageable, or if there are any descendants of oldDocument which the user agent does not intend to keep alive in the same way (including due to their lack of salvageability).
6. %~event~loop ~LET %旧-文書 に`関連な~agent$の`~event~loop$aG ◎ Let eventLoop be oldDocument's relevant agent's event loop.
7. %~event~loop の`終了n入子ng~level$ ~INCBY 1 ◎ Increase eventLoop's termination nesting level by 1.
8. %旧-文書 の`~unload~counter$ ~INCBY 1 ◎ Increase oldDocument's unload counter by 1.
9. ~IF［ %~BF~cache内に保つか ~EQ ~F ］ ⇒ %旧-文書 の`回復可能か$doc ~SET ~F ◎ If intendToKeepInBfcache is false, then set oldDocument's salvageable state to false.

10. ~IF［ %旧-文書 の`~pageを示しているか$doc ~EQ ~T ］： ◎ If oldDocument's page showing is true:

    1. %旧-文書 の`~pageを示しているか$doc ~SET ~F ◎ Set oldDocument's page showing to false.
    2. `~page遷移~eventを発火する$( %旧-文書 に`関連な大域~obj$, `pagehide$et, %旧-文書 の`回復可能か$doc ) ◎ Fire a page transition event named pagehide at oldDocument's relevant global object with oldDocument's salvageable state.
    3. `可視性~状態を更新する$( %旧-文書, `hidden^l ) ◎ Update the visibility state of oldDocument to "hidden".
11. ~IF［ %~unload計時~報 ~NEQ ~NULL ］ ⇒ %~unload計時~報 の`~unload~event開始~時刻$ ~SET `時刻を粗化する$( `現在の高分解能~時刻$( %新-文書 に`関連な大域~obj$ ), %旧-文書 に`関連な設定群~obj$の`非同一-生成元~能力は隔離されるか？$enV ) ◎ If unloadTimingInfo is not null, then set unloadTimingInfo's unload event start time to the current high resolution time given newDocument's relevant global object, coarsened given oldDocument's relevant settings object's cross-origin isolated capability.
12. ~IF［ %旧-文書 の`回復可能か$doc ~EQ ~F ］ ⇒ `~eventを発火する$( %旧-文書 に`関連な大域~obj$, `unload$et ) — `~targetを上書きする^i 下で ◎ If oldDocument's salvageable state is false, then fire an event named unload at oldDocument's relevant global object, with legacy target override flag set.
13. ~IF［ %~unload計時~報 ~NEQ ~NULL ］ ⇒ %~unload計時~報 の`~unload~event終了~時刻$ ~SET `時刻を粗化する$( `現在の高分解能~時刻$( %新-文書 に`関連な大域~obj$ ), %旧-文書 に`関連な設定群~obj$の`非同一-生成元~能力は隔離されるか？$enV ) ◎ If unloadTimingInfo is not null, then set unloadTimingInfo's unload event end time to the current high resolution time given newDocument's relevant global object, coarsened given oldDocument's relevant settings object's cross-origin isolated capability.
14. %~event~loop の`終了n入子ng~level$ ~DECBY 1 ◎ Decrease eventLoop's termination nesting level by 1.
15. %旧-文書 の`休止~時刻$doc ~SET `現在の高分解能~時刻$( %文書【%旧-文書】 に`関連な大域~obj$ ) ◎ Set oldDocument's suspension time to the current high resolution time given document's relevant global object.
16. %旧-文書 の`休止された~timer~handle群$doc ~SET 【 %旧-文書 に`関連な大域~obj$の】`作動中な~timer群が成す~map$の`~key群$map ◎ Set oldDocument's suspended timer handles to the result of getting the keys for the map of active timers.
17. %旧-文書 の`利用者により~scrollされたか$doc ~SET ~F ◎ Set oldDocument's has been scrolled by the user to false.
18. この仕様も含む`適用-可能な仕様$にて定義される `文書~unload時の片付け手続き$があれば、 それらの各~手続きを %旧-文書 を渡して走らす 【そのような手続きが複数ある場合に，どの順序で走らすかは、指定されていない。】 ◎ Run any unloading document cleanup steps for oldDocument that are defined by this specification and other applicable specifications.
19. ~IF［ %旧-文書 の`~node~navigable$は`~top-level辿可能$である ］ ⇒ `~top-level辿可能とその子孫~用に復旧されない事由~群を築く$( %旧-文書 の`~node~navigable$ ) ◎ If oldDocument's node navigable is a top-level traversable, build not restored reasons for a top-level traversable and its descendants given oldDocument's node navigable.
20. ~IF［ %旧-文書 の`回復可能か$doc ~EQ ~F ］ ⇒ `文書を破壊する$( %旧-文書 ) ◎ If oldDocument's salvageable state is false, then destroy oldDocument.
21. %旧-文書 の`~unload~counter$ ~DECBY 1 ◎ Decrease oldDocument's unload counter by 1.
22. ~IF［ %新-文書 ~NEQ ε ］~AND［ %新-文書 の`非同一-生成元~redirectを介して作成されたか$doc ~EQ ~F ］~AND［ ( %新-文書 の`生成元$doc, %旧-文書 の`生成元$doc ) は`同一-生成元$である ］ ⇒ %新-文書 の`前-文書の~unload計時~報$doc ~SET %~unload計時~報 ◎ If newDocument is given, newDocument's was created via cross-origin redirects is false, and newDocument's origin is the same as oldDocument's origin, then set newDocument's previous document unload timing to unloadTimingInfo.

`文書とその子孫たちを~unloadする@ ときは、 所与の ⇒＃ `文書$ %文書, ［ `文書$／~NULL ］ %新-文書（省略時は ~NULL ）, 手続き %すべて~unload後の手続き（省略時は ε ）, 手続き %~pageswap_evを発火する手続き（省略時は ε ） ◎終 に対し： ◎ To unload a document and its descendants, given a Document document, an optional Document-or-null newDocument (default null), an optional set of steps afterAllUnloads, and an optional set of steps firePageSwapSteps:

1. ~Assert： この~algoは、［ %文書 の`~node~navigable$の`辿可能な~navigable$navの`~session履歴~辿り~queue$nav ］の中で走っている。 ◎ Assert: this is running within document's node navigable's traversable navigable's session history traversal queue.
2. %~unload済み数 ~LET 0 ◎ ↓ Let childNavigables be document's child navigables. ◎ Let numberUnloaded be 0.

3. %文書 の【`~node~navigable$の】 ~EACH( `子~navigable$ %子~navigable ) に対し 順序は どうする？ ⇒ `大域~taskを~queueする$( `~naviと辿り~task~source$, %子~navigable にて`作動中な~window$nav, 次の手続き ) ◎ For each childNavigable of childNavigable's in what order?, queue a global task on the navigation and traversal task source given childNavigable's active window to perform＼

   手続きは： ◎ the following steps:

   1. %~unload済みを増加する ~LET 次を走らす~algo ⇒ %~unload済み数 ~INCBY 1 ◎ Let incrementUnloaded be an algorithm step which increments numberUnloaded.
   2. `文書とその子孫たちを~unloadする$( %子~navigable にて`作動中な文書$nav, ~NULL, %~unload済みを増加する ) ◎ Unload a document and its descendants given childNavigable's active document, null, and incrementUnloaded.
4. 次が満たされるまで待機する ⇒ %~unload済み数 ~EQ %子~navigable の`~size$ ◎ Wait until numberUnloaded equals childNavigable's size.

5. `大域~taskを~queueする$( `~naviと辿り~task~source$, %文書 に`関連な大域~obj$, 次の手続き ) ◎ Queue a global task on the navigation and traversal task source given document's relevant global object to perform＼

   手続きは： ◎ the following steps:

   1. ~IF［ %~pageswap_evを発火する手続き ~NEQ ε ］ ⇒ %~pageswap_evを発火する手続き() ◎ If firePageSwapSteps is given, then run firePageSwapSteps.
   2. ~IF［ %新-文書 ~EQ ~NULL ］ ⇒ `文書を~unloadする$( %文書 ) ◎ ↓
   3. ~ELSE ⇒ `文書を~unloadする$( %文書, %新-文書 ) ◎ Unload document, passing along newDocument if it is not null.
   4. ~IF［ %すべて~unload後の手続き ~NEQ ε ］ ⇒ %すべて~unload後の手続き() ◎ If afterAllUnloads was given, then run it.

この仕様は、 `文書~unload時の片付け手続き@ として，次を定義する — 他の仕様も，この手続きをさらに定義し得る。 それは、 所与の ( `文書$ %文書 ) に対し： ◎ This specification defines the following unloading document cleanup steps. Other specifications can define more. Given a Document document:

1. %~window ~LET %文書 に`関連な大域~obj$ ◎ Let window be document's relevant global object.
2. ~EACH( `WebSocket$I ~obj %O ) に対し ⇒ ~IF［ %O に`関連な大域~obj$ ~EQ %~window ］ ⇒＃ %O を`消滅させる$； `文書を回復不能にする$( %文書, `websocket$l ) ◎ For each WebSocket object webSocket whose relevant global object is window, make disappear webSocket. ◎ If this affected any WebSocket objects, then make document unsalvageable given document and "websocket".
3. ~EACH( `WebTransport$I ~obj %O ) に対し ⇒ ~IF［ %O に`関連な大域~obj$ ~EQ %~window ］ ⇒ `文脈を片付ける手続き$( %O ) ◎ For each WebTransport object transport whose relevant global object is window, run the context cleanup steps given transport.

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 を`強制的に~closeする$ ◎ For each EventSource object eventSource whose relevant global object is equal to window, forcibly close eventSource.
   2. %~window にて`作動中な~timer群が成す~map$を`~clearする$map ◎ Clear window's map of active timers.

`文書を破壊する@ ときは、 所与の ( `文書$ %文書 ) に対し： ◎ To destroy a Document document:

1. ~Assert： この~algoは、［ %文書 に`関連な~agent$の`~event~loop$aGに~queueされた`~task$ ］の一部として走っている。 ◎ Assert: this is running as part of a task queued on document's relevant agent's event loop.
2. `文書を中止する$( %文書 ) ◎ Abort document.
3. %文書 の`回復可能か$doc ~SET ~F ◎ Set document's salvageable state to false.
4. ~EACH( `MessagePort$I %~port ) に対し ⇒ ~IF［ %~port に`関連な大域~obj$に`結付けられた文書$ ~EQ %文書 ］ ⇒ `~portの連絡を断つ$( %~port ) ◎ Let ports be the list of MessagePorts whose relevant global object's associated Document is document. ◎ For each port in ports, disentangle port.
5. この仕様も含む`適用-可能な仕様$に定義される`文書~unload時の片付け手続き$があれば、 それらの各~手続きを %文書 を渡して走らす 【そのような手続きが複数ある場合に，どの順序で走らすかは、指定されていない。】 ◎ Run any unloading document cleanup steps for document that are defined by this specification and other applicable specifications.
6. ~queueされた`~task$のうち［ その`文書$tK ~EQ %文書 ］を満たすものは、 （~taskを走らすことなく）除去する ◎ Remove any tasks whose document is document from any task queue (without running those tasks).
7. %文書 が`属する閲覧~文脈$ ~SET ~NULL ◎ Set document's browsing context to null.
8. %文書 の`~node~navigable$にて`作動中な~entry$nav の`文書~状態$shE の`文書$dS ~SET ~NULL ◎ Set document's node navigable's active session history entry's document state's document to null.
9. ~EACH( `WorkerGlobalScope$I ~obj %O ) に対し ⇒ %O の`所有者~集合$wGから %文書 を`除去する$ ◎ Remove document from the owner set of each WorkerGlobalScope object whose set contains document.
10. %文書 の`~worklet大域~scope~list$docを成す ~EACH( %~worklet大域~scope ) に対し ⇒ `~worklet大域~scopeを終了させる$( %~worklet大域~scope ) ◎ For each workletGlobalScope in document's worklet global scopes, terminate workletGlobalScope.

注記： `子~navigableを破壊-＠~HTMLds#destroy-a-child-navigable$している事例においては、 破壊の後でも， 当の`文書$は~scriptから~access可能になるかもしれない。 ◎ Even after destruction, the Document object itself might still be accessible to script, in the case where we are destroying a child navigable.

`文書とその子孫たちを破壊する@ ときは、 所与の ( `文書$ %文書, 手続き %すべて破壊-後の手続き（省略時は ε ） ) に対し， 次の手続きを`並列的$に遂行する： ◎ To destroy a document and its descendants given a Document document and an optional set of steps afterAllDestruction, perform the following steps in parallel:

1. ~IF［ %文書 は`全部的に作動中$でない ］： ◎ If document is not fully active, then:

   1. `文書を回復不能にする$( %文書, `masked$l ) ◎ Make document unsalvageable given document and "masked".
   2. ~IF［ %文書 の`~node~navigable$は`~top-level辿可能$である ］ ⇒ `~top-level辿可能とその子孫~用に復旧されない事由~群を築く$( %文書 の`~node~navigable$ ) ◎ If document's node navigable is a top-level traversable, build not restored reasons for a top-level traversable and its descendants given document's node navigable.
2. %破壊-済み数 ~LET 0 ◎ ↓ Let childNavigables be document's child navigables. ◎ Let numberDestroyed be 0.

3. %文書 の【`~node~navigable$の】 ~EACH( `子~navigable$ %子~navigable ) に対し 順序は どうする？ ⇒ `大域~taskを~queueする$( `~naviと辿り~task~source$, %子~navigable にて`作動中な~window$nav, 次の手続き ) ◎ For each childNavigable of childNavigable's in what order?, queue a global task on the navigation and traversal task source given childNavigable's active window to perform＼

   手続きは： ◎ the following steps:

   1. %破壊-済みを増加する ~LET 次を遂行する手続き ⇒ %破壊-済み数 ~INCBY 1 ◎ Let incrementDestroyed be an algorithm step which increments numberDestroyed.
   2. `文書とその子孫たちを破壊する$( %子~navigable にて`作動中な文書$nav, %破壊-済みを増加する ) ◎ Destroy a document and its descendants given childNavigable's active document and incrementDestroyed.
4. 次が満たされるまで待機する ⇒ %破壊-済み数 ~EQ %子~navigable群【！childNavigable】 の`~size$ ◎ Wait until numberDestroyed equals childNavigable's size.

5. `大域~taskを~queueする$( `~naviと辿り~task~source$, %文書 に`関連な大域~obj$, 次の手続き ) ◎ Queue a global task on the navigation and traversal task source given document's relevant global object to perform＼

   手続きは： ◎ the following steps:

   1. `文書を破壊する$( %文書 ) ◎ Destroy document.
   2. ~IF［ %すべて破壊-後の手続き ~NEQ ε ］ ⇒ %すべて破壊-後の手続き() ◎ If afterAllDestruction was given, then run it.

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

1. ~Assert： この~algoは、［ %文書 に`関連な~agent$の`~event~loop$aGに~queueされた`~task$ ］の一部として走っている。 ◎ Assert: this is running as part of a task queued on document's relevant agent's event loop.

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

   1. それらの各~instanceを取消す — 以降 ⇒＃ それらに対し`~queueされ$る`~task$は破棄する ／ それらに対し~networkから受信される更なる~dataは破棄する
   2. `文書を回復不能にする$( %文書, `fetch$l )
   ◎ 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 make document unsalvageable given document and "fetch".

3. ~IF［ %文書 の`読込ng中における~WebDriver-BiDi用の~navi~ID$doc ~NEQ ~NULL ］： ◎ If document's during-loading navigation ID for WebDriver BiDi is non-null, then:

   1. %~navi状態s ~LET `新たな~WebDriver-BiDi~navi状態s$( %文書 の`読込ng中における~WebDriver-BiDi用の~navi~ID$doc, `取消された$wBDst, %文書 の`~URL$doc ) ◎ ↓
   2. `~WebDriver-BiDi~naviは中止された$( %文書 が`属する閲覧~文脈$, %~navi状態s ) ◎ Invoke WebDriver BiDi navigation aborted with document's browsing context, and new WebDriver BiDi navigation status whose whose id is document's during-loading navigation ID for WebDriver BiDi, status is "canceled", and url is document's URL.
   3. %文書 の`読込ng中における~WebDriver-BiDi用の~navi~ID$doc ~SET ~NULL ◎ Set document's during-loading navigation ID for WebDriver BiDi to null.

4. ~IF［ %文書 には`作動中な構文解析器$がある ］： ◎ If document has an active parser, then:

   1. %文書 の`作動中な構文解析器は中止されたか$ ~SET ~T ◎ Set document's active parser was aborted to true.
   2. その`構文解析器を中止する$ ◎ Abort that parser.
   3. `文書を回復不能にする$( %文書, `parser-aborted$l ) ◎ Set document's salvageable to false. （不要（削除漏れ？ ◎ Make document unsalvageable given document and "parser-aborted".

`文書とその子孫たちを中止する@ ときは、 所与の ( `文書$ %文書 ) に対し： ◎ To abort a document and its descendants given a Document document:

1. ~Assert： この~algoは、［ %文書 に`関連な~agent$の`~event~loop$aGに~queueされた`~task$ ］の一部として走っている。 ◎ Assert: this is running as part of a task queued on document's relevant agent's event loop.
2. %子孫~navigable群 ~LET %文書 の`子孫~navigable群$ ◎ Let descendantNavigables be document's descendant navigables.

3. %子孫~navigable群 を成す ~EACH( %子孫~navigable ) に対し 順序は どうする？ ⇒ `大域~taskを~queueする$( `~naviと辿り~task~source$, %子孫~navigable にて`作動中な~window$nav, 次の手続き ) ◎ For each descendantNavigable of descendantNavigables in what order?, queue a global task on the navigation and traversal task source given descendantNavigable's active window to perform＼

   手続きは： ◎ the following steps:

   1. `文書を中止する$( %子孫~navigable にて`作動中な文書$nav ) ◎ Abort descendantNavigable's active document.
   2. ~IF［ %子孫~navigable にて`作動中な文書$navの`回復可能か$doc ~EQ ~F ］ ⇒ %文書 の`回復可能か$doc ~SET ~F ◎ If descendantNavigable's active document's salvageable is false, then set document's salvageable to false.
4. `文書を中止する$( %文書 ) ◎ Abort document.

`読込ngを停止する@ ときは、 所与の ( `~navigable$ %~navigable ) に対し： ◎ To stop loading a navigable navigable:

1. %文書 ~LET %~navigable にて`作動中な文書$nav ◎ Let document be navigable's active document.

2. ~IF［ %文書 の`~unload~counter$ ~EQ 0 ］~AND［ %~navigable の`進行中な~navi$ ~EQ `~navi~ID$ ］ ⇒ `進行中な~naviを設定する$( %~navigable, ~NULL ) ◎ If document's unload counter is 0, and navigable's ongoing navigation is a navigation ID, then set the ongoing navigation for navigable to null.

   注記： これには %~navigable にて進行中な~naviがあれば，それを中止する効果がある — `進行中な~navi$に対する変更は、 ~naviの間ある種の箇所で，更なる作業を放棄させることになるので。 ◎ This will have the effect of aborting any ongoing navigations of navigable, since at certain points during navigation, changes to the ongoing navigation will cause further work to be abandoned.

3. `文書とその子孫たちを中止する$( %文書 ) ◎ Abort a document and its descendants given document.