HTML — ナビとセッション履歴

`~session履歴~辿り手続きを付加する@ ときは、 所与の ( `辿可能な~navigable$ %辿可能, ~algo手続き %手続き ) に対し ⇒ %辿可能 の`~session履歴~辿り~queue$navの`~algo集合$shTPに %手続き を`付加する$ ◎ To append session history traversal steps to a traversable navigable traversable given algorithm steps steps, append steps to traversable's session history traversal queue's algorithm set.

ある`~navigable$ %~target~navigable を孕んでいる `~session履歴~同期~navi手続きを付加する@ ときは、 所与の ( `辿可能な~navigable$ %辿可能, ~algo手続き %手続き ) に対し ⇒ %辿可能 の`~session履歴~辿り~queue$navの`~algo集合$shTPに［ `~target~navigable$shTP %~target~navigable を~targetにしている†`同期的な~navi手続き$shTP ］として %手続き を`付加する$ 【† %手続き は %~target~navigable を “孕んでいる” とされる。】 ◎ To append session history synchronous navigation steps involving a navigable targetNavigable to a traversable navigable traversable given algorithm steps steps, append steps as synchronous navigation steps targeting target navigable targetNavigable to traversable's session history traversal queue's algorithm set.

`新たな~session履歴~辿り並列~queueを開始する@ ときは： ◎ To start a new session history traversal parallel queue:

1. %~session履歴~辿り~queue ~LET 新たな`~session履歴~辿り並列~queue$ ◎ Let sessionHistoryTraversalQueue be a new session history traversal parallel queue.

2. この段は、 `並列的$に走らす： ◎ Run the following steps in parallel:

   1. ~WHILE 無条件： ◎ While true:

      1. %手続き ~LET %~session履歴~辿り~queue の`~algo集合$shTPから`~dequeueする$ ◎ ↓
      2. ~IF［ %手続き ~EQ ε ］ ⇒ ~CONTINUE ◎ If sessionHistoryTraversalQueue's algorithm set is empty, then continue. ◎ Let steps be the result of dequeuing from sessionHistoryTraversalQueue's algorithm set.
      3. %手続き() ◎ Run steps.
3. ~RET %~session履歴~辿り~queue ◎ Return sessionHistoryTraversalQueue.

`~session履歴~entry群を取得する@ ときは、 所与の ( `~navigable$ %~navigable ) に対し： ◎ To get session history entries of a navigable navigable:

1. %辿可能 ~LET %~navigable の`辿可能な~navigable$nav ◎ Let traversable be navigable's traversable navigable.
2. ~Assert： これは、 %辿可能 の`~session履歴~辿り~queue$navの中で走っている。 ◎ Assert: this is running within traversable's session history traversal queue.
3. ~IF［ %~navigable ~EQ %辿可能 ］ ⇒ ~RET %辿可能 の`~session履歴~entry群$nav ◎ If navigable is traversable, return traversable's session history entries.

4. %文書~状態~群 ~LET 新たな`有順序~集合$ （`文書~状態$たち）

   【 この集合を成す`文書~状態$どうしの比較が何に基づくか，はっきりしない。 】

   ◎ Let docStates be an empty ordered set of document states.
5. %辿可能 の`~session履歴~entry群$navを成す ~EACH( %~entry ) に対し ⇒ %文書~状態~群 に %~entry の`文書~状態$shEを`付加する$set ◎ For each entry of traversable's session history entries, append entry's document state to docStates.

6. %文書~状態~群 を成す ~EACH( %文書~状態 ) に対し： ◎ For each docState of docStates:

   1. %文書~状態 の`入子な履歴~群$dSを成す ~EACH( %入子な履歴 ) に対し： ◎ For each nestedHistory of docState's nested histories:

      1. ~IF［ %入子な履歴 の`~ID$nH ~EQ %~navigable の`~ID$nav ］ ⇒ ~RET %入子な履歴 の`~entry群$nH ◎ If nestedHistory's id equals navigable's id, return nestedHistory's entries.
      2. %入子な履歴 の`~entry群$nHを成す ~EACH( %~entry ) に対し ⇒ %文書~状態~群 に %~entry の`文書~状態$shEを`付加する$set ◎ For each entry of nestedHistory's entries, append entry's document state to docStates.
7. ~Assert： この段に達することはない。 ◎ Assert: this step is not reached.

`~navi~API用に~session履歴~entry群を取得する@ ときは、 所与の ( `~navigable$ %~navigable, 整数 %~target~step ) に対し： ◎ To get session history entries for the navigation API of a navigable navigable given an integer targetStep:

1. %生の~entry群 ~LET `~session履歴~entry群を取得する$( %~navigable ) ◎ Let rawEntries be the result of getting session history entries for navigable.
2. %~navi~API用の~entry群 ~LET 新たな`~list$ ◎ Let entriesForNavigationAPI be a new empty list.
3. %開始-時の~index ~LET −1 ◎ ↓

4. %生の~entry群 を成す ~EACH( `~session履歴~entry$ %~entry ) に対し ⇒ ~IF［ %~entry の`~step$shE ~LTE %~target~step ］ ⇒ %開始-時の~index ~SET `max^op( %開始-時の~index, %~entry の`~step$shE ) ◎ Let startingIndex be the index of the session history entry in rawEntries who has the greatest step less than or equal to targetStep.

   注記： なぜ %~target~step 以下の最~大な~stepにするか理解するためには、 `この例＠#example-getting-the-target-history-entry$を見よ。 ◎ See this example to understand why it's the greatest step less than or equal to targetStep.

5. ~Assert： %開始-時の~index ~GTE 0

   【 この段は、 この訳による補完 （満たされない場合、以下を遂行し得ない）。 】

6. %~navi~API用の~entry群 に %生の~entry群[ %開始-時の~index ] を`付加する$ ◎ Append rawEntries[startingIndex] to entriesForNavigationAPI.
7. %開始-時の生成元 ~LET %生の~entry群[ %開始-時の~index ] の`文書~状態$shEの`生成元$dS ◎ Let startingOrigin be rawEntries[startingIndex]'s document state's origin.
8. %~index ~LET %開始-時の~index ~MINUS 1 ◎ Let i be startingIndex − 1.

9. ~WHILE［ %~index ~GT 0 ］ ◎ While i > 0:

   1. ~IF［ %生の~entry群[ %~index ] の`文書~状態$shEの`生成元$dS ~NEQ`生成元$sub %開始-時の生成元 ］ ⇒ ~BREAK ◎ If rawEntries[i]'s document state's origin is not same origin with startingOrigin, then break.
   2. %~navi~API用の~entry群 に %生の~entry群[ %~index ] を`前付加する$ ◎ Prepend rawEntries[i] to entriesForNavigationAPI.
   3. %~index ~DECBY 1 ◎ Set i to i − 1.
10. %~index ~SET %開始-時の~index ~PLUS 1 ◎ Set i to startingIndex + 1.

11. ~WHILE［ %~index ~LT %生の~entry群 の`~size$ ］： ◎ While i < rawEntries's size:

    1. ~IF［ %生の~entry群[ %~index ] の`文書~状態$shEの`生成元$dS ~NEQ`生成元$sub %開始-時の生成元 ］ ⇒ ~BREAK ◎ If rawEntries[i]'s document state's origin is not same origin with startingOrigin, then break.
    2. %~navi~API用の~entry群 に %生の~entry群[ %~index ] を`付加する$ ◎ Append rawEntries[i] to entriesForNavigationAPI.
    3. %~index ~INCBY 1 ◎ Set i to i + 1.
12. ~RET %~navi~API用の~entry群 ◎ Return entriesForNavigationAPI.

`前方~session履歴を~clearする@ ときは、 所与の ( `辿可能な~navigable$ %~navigable ) に対し： ◎ To clear the forward session history of a traversable navigable navigable:

1. ~Assert： これは %~navigable の`~session履歴~辿り~queue$navの中で走っている。 ◎ Assert: this is running within navigable's session history traversal queue.
2. %~step ~LET %~navigable の`現在の~session履歴~step$nav ◎ Let step be the navigable's current session history step.
3. %~entry~list群 ~LET `有順序~集合$ « %~navigable の`~session履歴~entry群$nav » ◎ Let entryLists be the ordered set « navigable's session history entries ».

4. %~entry~list群 を成す ~EACH( %~entry~list ) に対し： ◎ For each entryList of entryLists:

   1. %~entry~list から次を満たす`~session履歴~entry$をすべて`除去する$ ⇒ `~step$shE ~GT %~step ◎ Remove every session history entry from entryList that has a step greater than step.
   2. %~entry~list を成す ~EACH( %~entry ) に対し ⇒ %~entry の`文書~状態$shEの`入子な履歴~群$dSを成す ~EACH( %入子な履歴 ) に対し ⇒ %~entry~list群 に %入子な履歴 の`~entry群$nHを`付加する$set ◎ For each entry of entryList: • For each nestedHistory of entry's document state's nested histories, append nestedHistory's entries list to entryLists.

`利用されたすべての履歴~stepを取得する@ ときは、 所与の ( `辿可能な~navigable$ %辿可能 ) に対し： ◎ To get all used history steps that are part of traversable navigable traversable:

1. ~Assert： これは、 %辿可能 の`~session履歴~辿り~queue$navの中で走っている。 ◎ Assert: this is running within traversable's session history traversal queue.
2. %~step群 ~LET 新たな`有順序~集合$ （負でない整数たち） ◎ Let steps be an empty ordered set of non-negative integers.
3. %~entry~list群 ~LET `有順序~集合$ « %辿可能 の`~session履歴~entry群$nav » ◎ Let entryLists be the ordered set « traversable's session history entries ».

4. %~entry~list群 を成す ~EACH( %~entry~list ) に対し： ◎ For each entryList of entryLists:

   1. %~entry~list を成す ~EACH( %~entry ) に対し： ◎ For each entry of entryList:

      1. %~step群 に %~entry の`~step$shEを`付加する$set ◎ Append entry's step to steps.
      2. %~entry の`文書~状態$shEの`入子な履歴~群$dSを成す ~EACH( %入子な履歴 ) に対し ⇒ %~entry~list群 に %入子な履歴 の`~entry群$nHを`付加する$set ◎ For each nestedHistory of entry's document state's nested histories, append nestedHistory's entries list to entryLists.
5. ~RET `~listを昇順に~sortする$( %~step群 ) ◎ Return steps, sorted.

`~source~snapshot~paramsを~snapshotする@ ときは、 所与の ( `文書$ %~source文書 ) に対し ⇒ ~RET 新たな`~source~snapshot~params$ — その： ◎ To snapshot source snapshot params given a Document sourceDocument, return a new source snapshot params with

• `一過な作動化を有するか$ssP ~SET ~IS［ %~source文書 に`関連な大域~obj$は`一過な作動化を有して$いる ］ ◎ has transient activation • true if sourceDocument's relevant global object has transient activation; otherwise false
• `~sandbox法~flag群$ssP ~SET %~source文書 にて`作動中な~sandbox法~flag集合$ ◎ sandboxing flags • sourceDocument's active sandboxing flag set
• `~downloadを許容するか$ssP ~SET ~IS［ `閲覧~文脈~sandbox化( ~download )~flag$ ~IN %~source文書 にて`作動中な~sandbox法~flag集合$ ］ ◎ allows downloading • false if sourceDocument's active sandboxing flag set has the sandboxed downloads browsing context flag set; otherwise true
• `~fetch~client$ssP ~SET %~source文書 に`関連な設定群~obj$ ◎ fetch client • sourceDocument's relevant settings object
• `~source施策~容器$ssP ~SET %~source文書 の`施策~容器$doc ◎ source policy container • sourceDocument's policy container

`~target~snapshot~paramsを~snapshotする@ ときは、 所与の ( `~navigable$ %~target~navigable ) に対し ⇒ ~RET 新たな`~target~snapshot~params$ — その ⇒＃ `~sandbox法~flag群$tsP ~SET `作成時の~sandbox法~flag群を決定する$( %~target~navigable にて`作動中な閲覧~文脈$nav, %~target~navigable の`容器$nav ) ◎ To snapshot target snapshot params given a navigable targetNavigable, return a new target snapshot params with sandboxing flags set to the result of determining the creation sandboxing flags given targetNavigable's active browsing context and targetNavigable's container.

`~naviは置換-になるモノトスルか？@ は、 所与の ( `~URL$ %~URL, `文書$ %文書 ) に対し ⇒ ~RET ~IS ~OR↓： ◎ The navigation must be a replace, given a URL url and a Document document, if any of the following are true:

• %~URL の`~scheme$url ~EQ `javascript$l ◎ url's scheme is "javascript"; or
• %文書 の`初期~about_blankか$doc ~EQ ~T ◎ document's is initial about:blank is true.

【！For convenience at certain call sites, 】 `~event用の~naviに対する利用者-関与i@ は、 所与の ( `Event$I %~event ) に対し，次に従うものと定義される： ◎ For convenience at certain call sites, the user navigation involvement for an Event event is defined as follows:

1. ~Assert： この~algoは、 `作動化の挙動$の定義を成す一部として~callされている。 ◎ Assert: this algorithm is being called as part of an activation behavior definition.
2. ~Assert： %~event の`type$m ~EQ "`click$et" ◎ Assert: event's type is "click".
3. ~RET %~event の `isTrusted$m に応じて ⇒＃ ~T ならば `作動化$i ／ ~F ならば `なし$i ◎ If event's isTrusted is initialized to true, then return "activation". ◎ Return "none".

`~navigableを~URLへ~navigateする@ ときは、 所与の ( `~navigable$ %~navigable, `~URL$ %~URL, `文書$ %~source文書 ) および，所与の： ◎ To navigate a navigable navigable to a URL url using a Document sourceDocument, with＼

• %文書~資源 ⇒ `~POST資源$ ／ 文字列 ／ ~NULL （省略時は ~NULL ） ◎ an optional POST resource, string, or null documentResource (default null),＼
• %応答 ⇒ `応答$ ／ ~NULL （省略時は ~NULL ） ◎ an optional response-or-null response (default null),＼
• %例外を可能化するか ⇒ 真偽値（省略時は ~F ） ◎ an optional boolean exceptionsEnabled (default false),＼
• %履歴~取扱い ⇒ `NavigationHistoryBehavior$I （省略時は `auto$hH ） ◎ an optional NavigationHistoryBehavior historyHandling (default "auto"),＼
• %~navi~API状態 ⇒ `直列形の状態$／ ~NULL （省略時は ~NULL ） ◎ an optional serialized state-or-null navigationAPIState (default null),＼
• %~form~data~entry~list ⇒ `~entry~list$／ ~NULL （省略時は ~NULL ） ◎ an optional entry list or null formDataEntryList (default null),＼
• %~referrer施策 ⇒ `~referrer施策$ （省略時は空~文字列） ◎ an optional referrer policy referrerPolicy (default the empty string),＼
• %利用者-関与i ⇒ `~naviに対する利用者-関与i$ （省略時は `なし$i ） ◎ and an optional user navigation involvement userInvolvement (default "none"):

に対し：

【 この~algoは、 単に［ “~navigateする” ／ “~navi” ／ “~navi~algo” ］などの句でも参照される。 %~source文書 は、 ~naviを起動した文書を表す。 】

1. %~CSP~navi種別 ~LET %~form~data~entry~list に応じて ⇒＃ ~NULL 以外ならば `form-submission^l ／ ~NULL ならば `other^l ◎ Let cspNavigationType be "form-submission" if formDataEntryList is non-null; otherwise "other".
2. %~source~snapshot~params ~LET `~source~snapshot~paramsを~snapshotする$( %~source文書 ) ◎ Let sourceSnapshotParams be the result of snapshotting source snapshot params given sourceDocument.
3. %起動元~生成元~snapshot ~LET %~source文書 の`生成元$doc ◎ Let initiatorOriginSnapshot be sourceDocument's origin.
4. %起動元~基底~URL~snapshot ~LET %~source文書 の`文書~基底~URL$ ◎ Let initiatorBaseURLSnapshot be sourceDocument's document base URL.

5. ~IF［ %~source文書 の`~node~navigable$が %~source~snapshot~params の下で %~navigable を`~navigateすることは~sandbox法により許容され$ない ］： ◎ If sourceDocument's node navigable is not allowed by sandboxing to navigate navigable given and sourceSnapshotParams, then:

   1. ~IF［ %例外を可能化するか ~EQ ~T ］ ⇒ ~THROW `SecurityError$E 例外 ◎ If exceptionsEnabled is true, then throw a "SecurityError" DOMException.
   2. ~RET ◎ Return.
6. %~navi~ID ~LET `~randomな~UUIDを生成する$() `WEBCRYPTO$r ◎ Let navigationId be the result of generating a random UUID. [WEBCRYPTO]

7. ~IF［ `~surrounding~agent$ ~NEQ %~navigable にて`作動中な文書$navに`関連な~agent$ ］：

   1. `大域~taskを~queueする$( `~naviと辿り~task~source$, %~navigable にて`作動中な~window$nav, この~algoの以降を継続する手続き )
   2. ~RET 【この段は、この訳による補完。】

   ◎ If the surrounding agent is equal to navigable's active document's relevant agent, then continue these steps.＼ Otherwise, queue a global task on the navigation and traversal task source given navigable's active window to continue these steps.

   注記： これを行うわけは、 %~navigable にて`作動中な文書$navを成す たくさんの~propを調べつつあるが、 それは，理論~上は適切な`~event~loop$内からしか~access可能にならないからである。 （が、 無条件に~taskを~queueすることは求まれない — 例えば、 同一-~event~loopにおける`素片への~navi$は，同期的に効果を発揮する必要があるので。） ◎ We do this because we are about to look at a lot of properties of navigable's active document, which are in theory only accessible over in the appropriate event loop. (But, we do not want to unconditionally queue a task, since — for example — same-event-loop fragment navigations need to take effect synchronously.)

   別の実装~策は、 関連な情報を — ~taskを~queueすることなく諮れるよう — ［ 各~event~loopにまたがって／ あるいは正準的な “~browser~process” の中に ］再現することである。 これは，際どい事例においては、［ 関連な~propが ~target~event~loop内で変更されたが，まだ再現されてない所 ］で，ここに指定されるものとは異なる結果も与え得る。 そのような際どい事例において， これらの策のうち どれが~browserの挙動に最良に合致するかを決定するため、 更に~testすることが必要になる。 ◎ Another implementation strategy would be to replicate the relevant information across event loops, or into a canonical "browser process", so that it can be consulted without queueing a task. This could give different results than what we specify here in edge cases, where the relevant properties have changed over in the target event loop but not yet been replicated. Further testing is needed to determine which of these strategies best matches browser behavior, in such racy edge cases.

8. ~IF［ %~navigable にて`作動中な文書$navの`~unload~counter$ ~GT 0 ］：

   1. `~WebDriver-BiDi~naviに失敗した$( ↓ ) ⇒＃ 【ここに必要な引数が指定されてない（ %~navigable にて`作動中な閲覧~文脈$nav？）】, `新たな~WebDriver-BiDi~navi状態s$( %~navi~ID, `取消された$wBDst, %~URL )
   2. ~RET
   ◎ If navigable's active document's unload counter is greater than 0, then invoke WebDriver BiDi navigation failed with a WebDriver BiDi navigation status whose id is navigationId, status is "canceled", and url is url, and return.

9. ~IF［ %履歴~取扱い ~EQ `auto$hH ］ ⇒ %履歴~取扱い ~SET ［ ~AND↓ が満たされるならば `replace$hH ／ ~ELSE_ `push$hH ］：

   • ( %~URL, %~navigable にて`作動中な文書$navの`~URL$doc ) は`同等な~URL$である
   • %起動元~生成元~snapshot ~EQ`生成元$sub %~target~navigable にて`作動中な文書$navの`生成元$doc
   ◎ If historyHandling is "auto", then: • If url equals navigable's active document's URL, and initiatorOriginSnapshot is same origin with targetNavigable's active document's origin, then set historyHandling to "replace". • Otherwise, set historyHandling to "push".
10. ~IF［ `~naviは置換-になるモノトスルか？$( %~URL, %~navigable にて`作動中な文書$nav ) ~EQ ~T ］ ⇒ %履歴~取扱い ~SET `replace$hH ◎ If the navigation must be a replace given url and navigable's active document, then set historyHandling to "replace".

11. ~IF［ ~AND↓ ］… ◎ If all of the following are true:

    • %文書~資源 ~EQ ~NULL ◎ documentResource is null;
    • %応答 ~EQ ~NULL ◎ response is null;
    • ( %~URL, %~navigable にて`作動中な~entry$navの`~URL$shE ) は、 `素片は除外する^i下で`同等な~URL$である ◎ url equals navigable's active session history entry's URL with exclude fragments set to true; and
    • %~URL の`素片$url ~NEQ ~NULL ◎ url's fragment is non-null,

    …ならば： ◎ then:

    1. `素片へ~navigateする$( ↓ ) ⇒＃ %~navigable, %~URL, %履歴~取扱い, %利用者-関与i, %~navi~API状態, %~navi~ID, ◎ Navigate to a fragment given navigable, url, historyHandling, userInvolvement, navigationAPIState, and navigationId.
    2. ~RET ◎ Return.
12. ~IF［ %~navigable の`親$nav ~NEQ ~NULL ］ ⇒ %~navigable の`~load~event遅延-中か$nav ~SET ~T ◎ If navigable's parent is non-null, then set navigable's is delaying load events to true.
13. %~target閲覧~文脈 ~LET %~navigable にて`作動中な閲覧~文脈$nav ◎ Let targetBrowsingContext be navigable's active browsing context.
14. %~target~snapshot~params ~LET `~target~snapshot~paramsを~snapshotする$( %~navigable ) ◎ Let targetSnapshotParams be the result of snapshotting target snapshot params given navigable.
15. `~WebDriver-BiDi~naviが開始された$( ↓ ) ⇒＃ %~target閲覧~文脈, `新たな~WebDriver-BiDi~navi状態s$( %~navi~ID, `処理待ち$wBDst, %~URL ) ◎ Invoke WebDriver BiDi navigation started with targetBrowsingContext, and a new WebDriver BiDi navigation status whose id is navigationId, status is "pending", and url is url.

16. ~IF［ %~navigable の`進行中な~navi$ ~EQ `traversal^l ］： ◎ If navigable's ongoing navigation is "traversal", then:

    1. `~WebDriver-BiDi~naviに失敗した$( ↓ ) ⇒＃ %~target閲覧~文脈, `新たな~WebDriver-BiDi~navi状態s$( %~navi~ID, `取消された$wBDst, %~URL ) ◎ Invoke WebDriver BiDi navigation failed with targetBrowsingContext and a new WebDriver BiDi navigation status whose id is navigationId, status is "canceled", and url is url.
    2. ~RET ◎ Return.

    注記： 現在`履歴を辿って＠#apply-the-traverse-history-step$いる`~navigable$を~navigateしようとする試みは、 無視される。 ◎ Any attempts to navigate a navigable that is currently traversing are ignored.

17. `進行中な~naviを設定する$( %~navigable, %~navi~ID ) ◎ Set the ongoing navigation for navigable to navigationId.

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

18. ~IF［ %~URL の`~scheme$url ~EQ `javascript$l ］： ◎ If url's scheme is "javascript", then:

    1. `大域~taskを~queueする$( `~naviと辿り~task~source$, %~navigable にて`作動中な~window$nav, 次の手続き ) ◎ Queue a global task on the navigation and traversal task source given navigable's active window＼

       手続きは ⇒ `~javascript_~URLへ~navigateする$( ↓ ) ⇒＃ %~navigable, %~URL, %履歴~取扱い, %起動元~生成元~snapshot, %~CSP~navi種別 ◎ to navigate to a javascript: URL given navigable, url, historyHandling, initiatorOriginSnapshot, and cspNavigationType.
    2. ~RET ◎ Return.

19. ~IF［ ~AND↓ ］… ◎ If all of the following are true:

    • %利用者-関与i ~NEQ `~browser~UI$i ◎ userInvolvement is not "browser UI";
    • ( %~navigable にて`作動中な文書$navの`生成元$doc, %~source文書 の`生成元$doc ) は`同じ生成元~domain$である ◎ navigable's active document's origin is same origin-domain with sourceDocument's origin;
    • %~navigable にて`作動中な文書$navの`初期~about_blankか$doc ~EQ ~F ◎ navigable's active document's is initial about:blank is false; and
    • %~URL の`~scheme$urlは`~fetch~scheme$である ◎ url's scheme is a fetch scheme,

    …ならば： ◎ then:

    1. %~navi ~LET %~navigable にて`作動中な~window$navの`~navi~API$ ◎ Let navigation be navigable's active window's navigation API.
    2. %発火~用の~entry~list ~LET %文書~資源 に応じて ⇒＃ `~POST資源$であるならば %~form~data~entry~list ／ ~ELSE_ ~NULL ◎ Let entryListForFiring be formDataEntryList if documentResource is a POST resource; otherwise, null.
    3. %発火~用の~navi~API状態 ~LET %~navi~API状態 に応じて ⇒＃ ~NULL 以外ならば %~navi~API状態 ／ ~ELSE_ `StructuredSerializeForStorage$jA( `undefined^jv ) ◎ Let navigationAPIStateForFiring be navigationAPIState if navigationAPIState is not null; otherwise, StructuredSerializeForStorage(undefined).
    4. %継続するか ~LET `~push／置換-／再読込み用の~navigate_ev~eventを発火する$( %~navi ) — 次も与える下で ⇒＃ `~navi種別^i ~SET %履歴~取扱い, `同一-文書か^i ~SET ~F, `利用者-関与i^i ~SET %利用者-関与i, `~form~data~entry~list^i ~SET %発火~用の~entry~list, `行先~URL^i ~SET %~URL, `~navi~API状態^i ~SET %発火~用の~navi~API状態 ◎ Let continue be the result of firing a push/replace/reload navigate event at navigation with navigationType set to historyHandling, isSameDocument set to false, userInvolvement set to userInvolvement, formDataEntryList set to entryListForFiring, destinationURL set to url, and navigationAPIState set to navigationAPIStateForFiring.
    5. ~IF［ %継続するか ~EQ ~F ］ ⇒ ~RET ◎ If continue is false, then return.

    注記： ~naviは，［ %利用者-関与i ~EQ `~browser~UI$i の場合 ／ `同じ生成元~domain$でない %~source文書 により起動された場合 ］でも、 上の段にて`素片へ~navigateする$ことを経る場合には， `navigate$et ~eventを発火することはアリになる。 ◎ It is possible for navigations with userInvolvement of "browser UI" or initiated by a cross origin-domain sourceDocument to fire navigate events, if they go through the earlier navigate to a fragment path.

20. この段は、 `並列的$に走らす： ◎ In parallel, run these steps:

    1. %~unload~promptは取消されたか ~LET `~unloadは取消されたか否か検査する$( %~navigable にて`作動中な文書$navの`広義-子孫~navigable群$ ) ◎ Let unloadPromptCanceled be the result of checking if unloading is canceled for navigable's active document's inclusive descendant navigables.

    2. ~IF［ %~unload~promptは取消されたか ~EQ ~T【 `継続する^i？】 ］~OR［ %~navigable の`進行中な~navi$ ~NEQ %~navi~ID ］： ◎ If unloadPromptCanceled is true, or navigable's ongoing navigation is no longer navigationId, then:

       1. `~WebDriver-BiDi~naviに失敗した$( ↓ ) ⇒＃ %~target閲覧~文脈, `新たな~WebDriver-BiDi~navi状態s$( %~navi~ID, `取消された$wBDst, %~URL ) ◎ Invoke WebDriver BiDi navigation failed with targetBrowsingContext and a new WebDriver BiDi navigation status whose id is navigationId, status is "canceled", and url is url.
       2. ~RET ◎ Abort these steps.

    3. `大域~taskを~queueする$( `~naviと辿り~task~source$, %~navigable にて`作動中な~window$nav, 次の手続き ) ◎ Queue a global task on the navigation and traversal task source given navigable's active window＼

       手続きは ⇒ `文書とその子孫たちを中止する$( %~navigable にて`作動中な文書$nav ) ◎ to abort a document and its descendants given navigable's active document.

    4. %文書~状態 ~LET 新たな`文書~状態$ — その ⇒＃ `要請~referrer施策$dS ~SET %~referrer施策, `起動元~生成元$dS ~SET %起動元~生成元~snapshot, `資源$dS ~SET %文書~資源, `~navigable名$dS ~SET %~navigable の`~target名$nav ◎ Let documentState be a new document state with ◎ request referrer policy • referrerPolicy initiator origin • initiatorOriginSnapshot resource • documentResource navigable target name • navigable's target name

       注記： `~navigable名$dSは、 様々な条件の下で~clearされ得る — ［ 当の~navi処理nの後 ］かつ［ 当の文書~状態を完結する前 ］に。 ◎ The navigable target name can get cleared under various conditions later in the navigation process, before the document state is finalized.

    5. ~IF［ %~URL は`~about_blank に合致して$いる ］~OR［ %~URL ~EQ `~about_srcdoc$sc ］： ◎ If url matches about:blank or is about:srcdoc, then:

       1. %文書~状態 の`生成元$dS ~SET %起動元~生成元~snapshot ◎ Set documentState's origin to initiatorOriginSnapshot.
       2. %文書~状態 の`~about基底~URL$dS ~SET %起動元~基底~URL~snapshot ◎ Set documentState's about base URL to initiatorBaseURLSnapshot.
    6. %履歴~entry ~LET 新たな`~session履歴~entry$ — その ⇒＃ `~URL$shE ~SET %~URL, `文書~状態$shE ~SET %文書~状態 ◎ Let historyEntry be a new session history entry, with its URL set to url and its document state set to documentState.
    7. %~navi~params ~LET ~NULL ◎ Let navigationParams be null.

    8. ~IF［ %応答 ~NEQ ~NULL ］： ◎ If response is non-null:

       注記： `~navi~algo$に`応答$が給されるのは、 次に挙げるものに限られる： ◎ The navigate algorithm is only supplied with a response＼

       • ［ `object$e ／ `embed$e ］用の処理~modelの一部として。 ◎ as part of the object and embed processing models,＼
       • 初期~応答より後における， `multipart/x-mixed-replace 文書を読込む$ための処理。 ◎ or for processing parts of multipart/x-mixed-replace responses after the initial response.
       1. %施策~容器 ~LET `~navi~paramsの施策~容器を決定する$( ↓ ) ⇒＃ `応答$の`~URL$rs, ~NULL, `施策~容器を~cloneする$( %~source文書 の`施策~容器$doc ), %~navigable の`容器~文書$navの`施策~容器$doc, ~NULL ◎ Let policyContainer be the result of determining navigation params policy container given response's URL, null, a clone of the sourceDocument's policy container, navigable's container document's policy container, and null.
       2. %最終-~sandbox~flag群 ~LET 次の`和集合$ ⇒＃ %~target~snapshot~params の`~sandbox法~flag群$tsP, `~CSPから導出される~sandbox法~flag群$( %施策~容器 の`~CSP~list$pC ) ◎ Let finalSandboxFlags be the union of targetSnapshotParams's sandboxing flags and policyContainer's CSP list's CSP-derived sandboxing flags.
       3. %応答の生成元 ~LET `生成元を決定する$( ↓ ) ⇒＃ %応答 の`~URL$rs, %最終-~sandbox~flag群, %文書~状態 の`起動元~生成元$dS ◎ Let responseOrigin be the result of determining the origin given response's URL, finalSandboxFlags, and documentState's initiator origin.
       4. %~COOP ~LET 新たな`非同一-生成元~opener施策$ ◎ Let coop be a new cross-origin opener policy.
       5. %~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 • responseOrigin cross-origin opener policy • coop
       6. %~navi~params ~SET 新たな`~navi~params$ — その ⇒＃ `~ID$nvP ~SET %~navi~ID, `~navigable$nvP ~SET %~navigable, `要請$nvP ~SET ~NULL, `応答$nvP ~SET %応答, `~fetch制御器$nvP ~SET ~NULL, `早期~hintを~commitする$nvP ~SET ~NULL, `~COOP施行n結果$nvP ~SET %~COOP施行n結果, `予約-済み環境$nvP ~SET ~NULL, `生成元$nvP ~SET %応答の生成元, `施策~容器$nvP ~SET %施策~容器, `最終-~sandbox~flag集合$nvP ~SET %最終-~sandbox~flag群, `非同一-生成元~opener施策$nvP ~SET %~COOP, `~navi計時~種別$nvP ~SET `navigate$l, `~about基底~URL$nvP ~SET %文書~状態 の`~about基底~URL$dS ◎ Set navigationParams to a new navigation params, with ◎ id • navigationId navigable • navigable request • null response • response fetch controller • null commit early hints • null COOP enforcement result • coopEnforcementResult reserved environment • null origin • responseOrigin policy container • policyContainer final sandboxing flag set • finalSandboxFlags cross-origin opener policy • coop navigation timing type • "navigate" about base URL • documentState's about base URL

    9. `履歴~entryの文書を拡充しようと試みる$( ↓ ) ⇒＃ %履歴~entry, %~navigable, `navigate$l, %~source~snapshot~params, %~target~snapshot~params, %~navi~ID, %~navi~params, %~CSP~navi種別 ◎終 次も与える下で ⇒＃ `~POSTを許容するか^i ~SET ~T `完了~手続き^i ~SET 次の手続き ◎ Attempt to populate the history entry's document for historyEntry, given navigable, "navigate", sourceSnapshotParams, targetSnapshotParams, navigationId, navigationParams, cspNavigationType, with allowPOST set to true and completionSteps set to＼

       手続きは ⇒ `~session履歴~辿り手続きを付加する$( %~navigable の`辿可能な~navigable$nav, 次の手続き ) ◎ the following step: • Append session history traversal steps to navigable's traversable to＼

       手続きは ⇒ `非同一-文書~naviを完結する$( %~navigable, %履歴~取扱い, %履歴~entry ) ◎ finalize a cross-document navigation given navigable, historyHandling, and historyEntry.

`非同一-文書~naviを完結する@ ときは、 所与の ⇒＃ `~navigable$ %~navigable, `履歴~取扱いの挙動$ %履歴~取扱い, `~session履歴~entry$ %履歴~entry ◎終 に対し： ◎ To finalize a cross-document navigation given a navigable navigable, history handling behavior historyHandling, and session history entry historyEntry:

1. ~Assert： これは、［ %~navigable の`辿可能な~navigable$navの`~session履歴~辿り~queue$nav ］の中で走っている。 ◎ Assert: this is running on navigable's traversable navigable's session history traversal queue.
2. %~navigable の`~load~event遅延-中か$nav ~SET ~F ◎ Set navigable's is delaying load events to false.

3. ~IF［ %履歴~entry の`文書$shE ~EQ ~NULL ］ ⇒ ~RET ◎ If historyEntry's document is null, then return.

   注記： これは、［ `履歴~entryの文書を拡充しようと試みた＠#attempt-to-populate-the-history-entry's-document$が，文書を作成することなく終わった ］ことを意味する — 例： 当の~naviは、［ 後続な~navi, `204$hst 応答, 等々 ］により取消された結果として。 ◎ This means that attempting to populate the history entry's document ended up not creating a document, as a result of e.g., the navigation being canceled by a subsequent navigation, a 204 No Content response, etc.

4. ~IF［ ~AND↓ ］… ◎ If all of the following are true:

   • %~navigable の`親$nav ~EQ ~NULL ◎ navigable's parent is null;
   • %履歴~entry の`文書$shEが`属する閲覧~文脈$は、 次を満たさない ⇒ ［ `補助~閲覧~文脈$である ］~AND［ それを`開いた閲覧~文脈$bc ~NEQ ~NULL ］ ◎ historyEntry's document's browsing context is not an auxiliary browsing context whose opener browsing context is non-null; and
   • %履歴~entry の`文書$shEの`生成元$doc `is not^en【~NEQ`生成元$sub？】 %~navigable にて`作動中な文書$navの`生成元$doc ◎ historyEntry's document's origin is not navigable's active document's origin,

   …ならば ⇒ %履歴~entry の`文書~状態$shEの`~navigable名$dS ~SET 空~文字列 ◎ then set historyEntry's document state's navigable target name to the empty string.

5. %置換する~entry ~LET %履歴~取扱い に応じて ⇒＃ `replace$hH ならば %~navigable にて`作動中な~entry$nav ／ ~ELSE_ ~NULL ◎ Let entryToReplace be navigable's active session history entry if historyHandling is "replace", otherwise null.
6. %辿可能 ~LET %~navigable の`辿可能な~navigable$nav ◎ Let traversable be navigable's traversable navigable.
7. %~target~step ~LET ~NULL ◎ Let targetStep be null.
8. %~target~entry群 ~LET `~session履歴~entry群を取得する$( %~navigable ) ◎ Let targetEntries be the result of getting session history entries for navigable.

9. ~IF［ %置換する~entry ~EQ ~NULL ］： ◎ If entryToReplace is null, then:

   1. `前方~session履歴を~clearする$( %辿可能 ) ◎ Clear the forward session history of traversable.
   2. %~target~step ~SET %辿可能 の`現在の~session履歴~step$nav ~PLUS 1 ◎ Set targetStep to traversable's current session history step + 1.
   3. %履歴~entry の`~step$shE ~SET %~target~step ◎ Set historyEntry's step to targetStep.
   4. %~target~entry群 に %履歴~entry を`付加する$ ◎ Append historyEntry to targetEntries.

10. ~ELSE： ◎ Otherwise:

    1. %~target~entry群 の中で %置換する~entry を %履歴~entry で`置換する$ ◎ Replace entryToReplace with historyEntry in targetEntries.
    2. %履歴~entry の`~step$shE ~SET %置換する~entry の`~step$shE ◎ Set historyEntry's step to entryToReplace's step.
    3. ~IF［ %履歴~entry の`文書~状態$shEの`生成元$dS ~EQ`生成元$sub %置換する~entry の`文書~状態$shEの`生成元$dS ］ ⇒ %履歴~entry の`~navi~API~key$shE ~SET %置換する~entry の`~navi~API~key$shE ◎ If historyEntry's document state's origin is same origin with entryToReplace's document state's origin, then set historyEntry's navigation API key to entryToReplace's navigation API key.
    4. %~target~step ~SET %辿可能 の`現在の~session履歴~step$nav ◎ Set targetStep to traversable's current session history step.
11. `~push／置換-用に履歴~stepを適用する$( %~target~step, %履歴~取扱い, %辿可能 ) ◎ Apply the push/replace history step targetStep to traversable given historyHandling.

`~javascript_~URLへ~navigateする@ ときは、 所与の ⇒＃ `~navigable$ %~target~navigable, `~URL$ %~URL, `履歴~取扱いの挙動$ %履歴~取扱い, `生成元$ %起動元~生成元, 文字列 %~CSP~navi種別 ◎終 に対し： ◎ To navigate to a javascript: URL, given a navigable targetNavigable, a URL url, a history handling behavior historyHandling, an origin initiatorOrigin, and a string cspNavigationType:

1. ~Assert： %履歴~取扱い ~EQ `replace$hH ◎ Assert: historyHandling is "replace".
2. `進行中な~naviを設定する$( %~target~navigable, ~NULL ) ◎ Set the ongoing navigation for targetNavigable to null.
3. ~IF［ ( %起動元~生成元, %~target~navigable にて`作動中な文書$navの`生成元$doc ) は、 `同じ生成元~domain$でない ］ ⇒ ~RET ◎ If initiatorOrigin is not same origin-domain with targetNavigable's active document's origin, then return.

4. %要請 ~LET 新たな`要請$ — その ⇒＃ `~URL$rq ~SET %~URL ◎ Let request be a new request whose URL is url.

   注記： これは、もっぱら［ 次の段に形式上必要とされる`要請$ ］であり，~networkを叩くことは決してない。 ◎ This is a synthetic request solely for plumbing into the next step. It will never hit the network.

5. ~IF［ 次の結果 ~EQ `阻止される^i ］… ⇒ `ある種別の~navi要請は~CSPにより阻止されるべきか？$( %要請, %~CSP~navi種別 ) `CSP$r ◎終 …ならば ⇒ ~RET ◎ If the result of should navigation request of type be blocked by Content Security Policy? given request and cspNavigationType is "Blocked", then return. [CSP]
6. %新たな文書 ~LET `~javascript_~URLを評価する$( %~target~navigable, %~URL, %起動元~生成元 ) ◎ Let newDocument be the result of evaluating a javascript: URL given targetNavigable, url, and initiatorOrigin.

7. ~IF［ %新たな文書 ~EQ ~NULL ］ ⇒ ~RET ◎ If newDocument is null, then return.

   注記： この事例では、［ 何らかの~JS~codeが実行されたが，作成された新たな`文書$は無かった ］ので，~naviを遂行しないことになる。 ◎ In this case, some JavaScript code was executed, but no new Document was created, so we will not perform a navigation.

8. ~Assert： %起動元~生成元 ~EQ %新たな文書 の`生成元$doc ◎ Assert: initiatorOrigin is newDocument's origin.
9. %置換する~entry ~LET %~target~navigable にて`作動中な~entry$nav ◎ Let entryToReplace be targetNavigable's active session history entry.
10. %旧-文書~状態 ~LET %置換する~entry の`文書~状態$shE ◎ Let oldDocState be entryToReplace's document state.
11. %履歴~施策~容器 ~LET %旧-文書~状態 の`履歴~施策~容器$dS ◎ ↓
12. ~IF［ %履歴~施策~容器 ~NEQ ~NULL ］ ⇒ %履歴~施策~容器 ~SET `施策~容器を~cloneする$( %履歴~施策~容器 ) ◎ ↓
13. %文書~状態 ~LET 新たな`文書~状態$ — その ⇒＃ `文書$dS ~SET %新たな文書, `履歴~施策~容器$dS ~SET %履歴~施策~容器, `要請~referrer$dS ~SET %旧-文書~状態 の`要請~referrer$dS, `要請~referrer施策$dS ~SET %旧-文書~状態 の`要請~referrer施策$dS, `起動元~生成元$dS ~SET %起動元~生成元, `生成元$dS ~SET %起動元~生成元, `~about基底~URL$dS ~SET %旧-文書~状態 の`~about基底~URL$dS, `資源$dS ~SET ~NULL, `一度でも拡充されたか$dS ~SET ~T, `~navigable名$dS ~SET %旧-文書~状態 の`~navigable名$dS ◎ Let documentState be a new document state with ◎ document • newDocument history policy container • a clone of the oldDocState's history policy container if it is non-null; null otherwise request referrer • oldDocState's request referrer request referrer policy • oldDocState's request referrer policy or should this be the referrerPolicy that was passed to navigate? initiator origin • initiatorOrigin origin • initiatorOrigin about base URL • oldDocState's about base URL resource • null ever populated • true navigable target name • oldDocState's navigable target name

14. %履歴~entry ~LET 新たな`~session履歴~entry$ — その ⇒＃ `~URL$shE ~SET %置換する~entry の`~URL$shE, `文書~状態$shE ~SET %文書~状態, ◎ Let historyEntry be a new session history entry, with ◎ URL • entryToReplace's URL document state • documentState

    注記： `~URL$shE用には、 %~URL — すなわち、`~navi~algo$をcallした実際の `~javascript0$sc ~URL — を`利用しない^em。 すなわち、 `~javascript0$sc ~URLは， ~session履歴~内には決して格納されないので，決して辿られない。 ◎ For the URL, we do not use url, i.e. the actual javascript: URL that the navigate algorithm was called with. This means javascript: URLs are never stored in session history, and so can never be traversed to.

15. `~session履歴~辿り手続きを付加する$( %~target~navigable の`辿可能な~navigable$nav, 次の手続き )

    手続きは ⇒ `非同一-文書~naviを完結する$( ↓ ) ⇒＃ %~target~navigable, %履歴~取扱い, %履歴~entry
    ◎ Append session history traversal steps to targetNavigable's traversable to finalize a cross-document navigation with targetNavigable, historyHandling, and historyEntry.

`~javascript_~URLを評価する@ ときは、 所与の ( `~navigable$ %~target~navigable, `~URL$ %~URL, `生成元$ %新たな文書の生成元 ) に対し： ◎ To evaluate a javascript: URL given a navigable targetNavigable, a URL url, and an origin newDocumentOrigin:

1. %~URL文字列 ~LET `~URLを直列化する$( %~URL ) ◎ Let urlString be the result of running the URL serializer on url.
2. %符号化-済み~script~source ~LET %~URL文字列 からから先頭の `javascript:^l を除去した結果 ◎ Let encodedScriptSource be the result of removing the leading "javascript:" from urlString.
3. %~script~source ~LET `~UTF-8復号する$( `文字列を~byte列に~percent-復号する$( %符号化-済み~script~source ) ) ◎ Let scriptSource be the UTF-8 decoding of the percent-decoding of encodedScriptSource.
4. %設定群 ~LET %~target~navigable にて`作動中な文書$navに`関連な設定群~obj$ ◎ Let settings be targetNavigable's active document's relevant settings object.
5. %~script ~LET `古典~scriptを作成する$( ↓ ) ⇒＃ %~script~source, %設定群, %設定群 の`~API用~基底~URL$enV, `既定の古典~script~fetch~option群$ ◎ Let baseURL be settings's API base URL. ◎ Let script be the result of creating a classic script given scriptSource, settings, baseURL, and the default classic script fetch options.
6. %評価~状態s ~LET `古典~scriptを走らす$( %~script ) ◎ Let evaluationStatus be the result of running the classic script script.
7. %結果 ~LET ~NULL ◎ Let result be null.
8. ~IF［ %評価~状態s は通常~完了である ］~AND［ %評価~状態s .`Value^sl は `String^jt である ］ ⇒ %結果 ~SET %評価~状態s .`Value^sl ◎ If evaluationStatus is a normal completion, and evaluationStatus.[[Value]] is a String, then set result to evaluationStatus.[[Value]].
9. ~ELSE ⇒ ~RET ~NULL ◎ Otherwise, return null.

10. %応答 ~LET 新たな`応答$ — その ⇒＃ `~URL$rs ~SET %~target~navigable にて`作動中な文書$navの`~URL$doc, `~header~list$rs ~SET « ( `Content-Type$h, `text/html;charset=utf-8^bl ) », `本体$rs ~SET `~byte列を本体として取得する$( `~UTF-8符号化する$( %結果 ) ◎ Let response be a new response with ◎ URL • targetNavigable's active document's URL header list • « (`Content-Type`, `text/html;charset=utf-8`) » body • the UTF-8 encoding of result, as a body

    注記： ~UTF-8に符号化することは、 ~HTML構文解析器が応答の本体を復号したなら， 対を成さない`~surrogate$は往復しなくなることを意味する。 ◎ The encoding to UTF-8 means that unpaired surrogates will not roundtrip, once the HTML parser decodes the response body.

11. %施策~容器 ~LET %~target~navigable にて`作動中な文書$navの`施策~容器$doc ◎ Let policyContainer be targetNavigable's active document's policy container.
12. %最終-~sandbox~flag群 ~LET `~CSPから導出される~sandbox法~flag群$( %施策~容器 の`~CSP~list$pC ) ◎ Let finalSandboxFlags be policyContainer's CSP list's CSP-derived sandboxing flags.
13. %~COOP ~LET %~target~navigable にて`作動中な文書$navの`非同一-生成元~opener施策$doc ◎ Let coop be targetNavigable's active document's cross-origin opener policy.
14. %~COOP施行n結果 ~LET 新たな`非同一-生成元~opener施策の施行n結果$ — その ⇒＃ `~URL$cooP ~SET %~URL, `生成元$cooP ~SET %新たな文書の生成元, `非同一-生成元~opener施策$cooP ~SET %~COOP, ◎ Let coopEnforcementResult be a new cross-origin opener policy enforcement result with ◎ url • url origin • newDocumentOrigin cross-origin opener policy • coop
15. %~navi~params ~LET 新たな`~navi~params$ — その ⇒＃ `~ID$nvP ~SET %~navi~ID, `~navigable$nvP ~SET %~target~navigable, `要請$nvP ~SET ~NULL これは、結果の`文書$の~referrerを ~NULL にする — それは正しいのか？, `応答$nvP ~SET %応答, `~fetch制御器$nvP ~SET ~NULL, `早期~hintを~commitする$nvP ~SET ~NULL, `~COOP施行n結果$nvP ~SET %~COOP施行n結果, `予約-済み環境$nvP ~SET ~NULL, `生成元$nvP ~SET %新たな文書の生成元, `施策~容器$nvP ~SET %施策~容器, `最終-~sandbox~flag集合$nvP ~SET %最終-~sandbox~flag群, `非同一-生成元~opener施策$nvP ~SET %~COOP, `~navi計時~種別$nvP ~SET `navigate$l, `~about基底~URL$nvP ~SET %~target~navigable にて`作動中な文書$navの`~about基底~URL$doc ◎ Let navigationParams be a new navigation params, with ◎ id • navigationId navigable • targetNavigable request • null this will cause the referrer of the resulting Document to be null; is that correct? response • response fetch controller • null commit early hints • null COOP enforcement result • coopEnforcementResult reserved environment • null origin • newDocumentOrigin policy container • policyContainer final sandboxing flag set • finalSandboxFlags cross-origin opener policy • coop navigation timing type • "navigate" about base URL • targetNavigable's active document's about base URL
16. ~RET `~HTML文書を読込む$( %~navi~params ) ◎ Return the result of loading an HTML document given navigationParams.

`素片へ~navigateする@ ときは、 所与の ⇒＃ `~navigable$ %~navigable, `~URL$ %~URL, `履歴~取扱いの挙動$ %履歴~取扱い, `~naviに対する利用者-関与i$ %利用者-関与i, ［ `直列形の状態$／ ~NULL ］ %~navi~API状態, `~navi~ID$ %~navi~ID ◎終 に対し： ◎ To navigate to a fragment given a navigable navigable, a URL url, a history handling behavior historyHandling, a user navigation involvement userInvolvement, a serialized state-or-null navigationAPIState, and a navigation ID navigationId:

1. %~navi ~LET %~navigable にて`作動中な~window$navの`~navi~API$ ◎ Let navigation be navigable's active window's navigation API.
2. %行先~navi~API状態 ~LET %~navigable にて`作動中な~entry$navの`~navi~API状態$shE ◎ Let destinationNavigationAPIState be navigable's active session history entry's navigation API state.
3. ~IF［ %~navi~API状態 ~NEQ ~NULL ］ ⇒ %行先~navi~API状態 ~SET %~navi~API状態 ◎ If navigationAPIState is not null, then set destinationNavigationAPIState to navigationAPIState.
4. %継続するか ~LET `~push／置換-／再読込み用の~navigate_ev~eventを発火する$( %~navi ) — 次も与える下で ⇒＃ `~navi種別^i ~SET %履歴~取扱い, `同一-文書か^i ~SET ~T, `利用者-関与i^i ~SET %利用者-関与i, `行先~URL^i ~SET %~URL, `~navi~API状態^i ~SET %行先~navi~API状態 ◎ Let continue be the result of firing a push/replace/reload navigate event at navigation with navigationType set to historyHandling, isSameDocument set to true, userInvolvement set to userInvolvement, and destinationURL set to url, and navigationAPIState set to destinationNavigationAPIState.
5. ~IF［ %継続するか ~EQ ~F ］ ⇒ ~RET ◎ If continue is false, then return.

6. %履歴~entry ~LET 新たな`~session履歴~entry$ — その ⇒＃ `~URL$shE ~SET %~URL, `文書~状態$shE ~SET %~navigable にて`作動中な~entry$navの`文書~状態$shE, `~navi~API状態$shE ~SET %行先~navi~API状態, `~scroll復旧~mode$shE ~SET %~navigable にて`作動中な~entry$navの`~scroll復旧~mode$shE ◎ Let historyEntry be a new session history entry, with ◎ URL • url document state • navigable's active session history entry's document state navigation API state • destinationNavigationAPIState scroll restoration mode • navigable's active session history entry's scroll restoration mode

   注記： `navigation.navigate()＠~HTMLnavAPI#dom-navigation-navigate$c で遂行された【！peform】~navi用には、 `state＠~HTMLnavAPI#dom-navigationnavigateoptions-state$m ~optionにより供された値が，新たな`~navi~API状態$shE用に利用される （値が供されなかった場合、［ `undefined^jv の直列化 ］に設定されることになる）。 他の素片~navi — 利用者が起動したものも含む — 用には、 `~navi~API状態$shEは，直前の~entryから引き継がれる。 ◎ For navigations peformed with navigation.navigate(), the value provided by the state option is used for the new navigation API state. (This will set it to the serialization of undefined, if no value is provided for that option.) For other fragment navigations, including user-initiated ones, the navigation API state is carried over from the previous entry.

   `古典~履歴~API用の状態$shEは、 決して引き継がれない。 ◎ The classic history API state is never carried over.

7. %置換する~entry ~LET ［ 次が満たされるならば %~navigable にて`作動中な~entry$nav ／ ~ELSE_ ~NULL ］ ⇒ %履歴~取扱い ~EQ `replace$hH ◎ Let entryToReplace be navigable's active session history entry if historyHandling is "replace", otherwise null.
8. %履歴 ~LET %~navigable にて`作動中な文書$navの`履歴~obj$ ◎ Let history be navigable's active document's history object.
9. %~script履歴~index ~LET %履歴 の`~index$hsT ◎ Let scriptHistoryIndex be history's index.
10. %~script履歴~長さ ~LET %履歴 の`長さ$hsT ◎ Let scriptHistoryLength be history's length.

11. ~IF［ %履歴~取扱い ~EQ `push$hH ］： ◎ If historyHandling is "push", then:

    1. %履歴 の`状態$hsT ~SET ~NULL ◎ Set history's state to null.
    2. %~script履歴~index ~INCBY 1 ◎ Increment scriptHistoryIndex.
    3. %~script履歴~長さ ~SET %~script履歴~index ~PLUS 1 ◎ Set scriptHistoryLength to scriptHistoryIndex + 1.
12. %~navigable にて`作動中な文書$navの`~URL$doc ~SET %~URL ◎ Set navigable's active document's URL to url.
13. %~navigable にて`作動中な~entry$nav ~SET %履歴~entry ◎ Set navigable's active session history entry to historyEntry.

14. `履歴~stepを適用するために文書を更新する$( ↓ ) ⇒＃ %~navigable にて`作動中な文書$nav, %履歴~entry, ~T, %~script履歴~index, %~script履歴~長さ, %履歴~取扱い ◎ Update document for history step application given navigable's active document, historyEntry, true, scriptHistoryIndex, scriptHistoryLength, and historyHandling.

    注記： この~algoは、 1 回の素片への~naviの結果として， 2 回~callされることになる： ◎ This algorithm will be called twice as a result of a single fragment navigation:＼

    • 1 回目は同期的に — そこでは ⇒＃ ［ %~script履歴~index, %~script履歴~長さ ］用に最善な推測~値が設定される／ `state＠~WINDOW#dom-history-state$m は ~NULL化される／ 各種~eventが発火される ◎ once synchronously, where best-guess values scriptHistoryIndex and scriptHistoryLength are set, history.state is nulled out, and various events are fired;＼
    • 2 回目は非同期的に — そこでは ⇒＃ ［ %~script履歴~index, %~script履歴~長さ ］用の最終-値が設定される／ `state＠~WINDOW#dom-history-state$m には触れられない／ ~eventは発火されない ◎ and once asynchronously, where the final values for index and length are set, history.state remains untouched, and no events are fired.

15. `素片へ~scrollする$( %~navigable にて`作動中な文書$nav ) ◎ Scroll to the fragment given navigable's active document.

    注記： ［ `文書$は新たなもので，関連な`~ID$はまだ構文解析されてない ］ことにより，~scrollするのに失敗した場合、［ `履歴~stepを適用するために文書を更新する$ 2 回目の非同期的な~call ］が~scrollすることを~careすることになる。 ◎ If the scrolling fails because the Document is new and the relevant ID has not yet been parsed, then the second asynchronous call to update document for history step application will take care of scrolling.

16. %辿可能 ~LET %~navigable の`辿可能な~navigable$nav ◎ Let traversable be navigable's traversable navigable.

17. %~navigable を孕んでいる`~session履歴~同期~navi手続きを付加する$( %辿可能, 次の手続き ) ◎ Append the following session history synchronous navigation steps involving navigable to traversable:

    手続きは：

    1. `同一-文書~naviを完結する$( ↓ ) ⇒＃ %辿可能, %~navigable, %履歴~entry, %置換する~entry, %履歴~取扱い ◎ Finalize a same-document navigation given traversable, navigable, historyEntry, entryToReplace, and historyHandling.
    2. `~WebDriver-BiDi素片へ~navigateされた$( ↓ ) ⇒＃ %~navigable にて`作動中な閲覧~文脈$nav, `新たな~WebDriver-BiDi~navi状態s$( %~navi~ID, `完了した$wBDst, %~URL ) ◎ Invoke WebDriver BiDi fragment navigated with navigable's active browsing context and a new WebDriver BiDi navigation status whose id is navigationId, url is url, and status is "complete".

`同一-文書~naviを完結する@ ときは、 所与の ⇒＃ `辿可能な~navigable$ %辿可能, `~navigable$ %~target~navigable, `~session履歴~entry$ %~target~entry, ［`~session履歴~entry$／~NULL］ %置換する~entry, `履歴~取扱いの挙動$ %履歴~取扱い ◎終 に対し： ◎ To finalize a same-document navigation given a traversable navigable traversable, a navigable targetNavigable, a session history entry targetEntry, a session history entry-or-null entryToReplace, and a history handling behavior historyHandling:

注記： これは、［ `素片への~navi$, `~URLと履歴の更新$ ］により利用される — ~session履歴に対する同期的な更新は、 それらに限られる。 これらの~algoは、 同期的であることにより， `~top-level辿可能$の`~session履歴~辿り~queue$navの外側で遂行され、 その結果， `~top-level辿可能$の`現在の~session履歴~step$navと同期cしなくなる — なので、 競争~条件に因る競合を解決するため，この~algoが利用される。 ◎ This is used by both fragment navigations and by the URL and history update steps, which are the only synchronous updates to session history. By virtue of being synchronous, those algorithms are performed outside of the top-level traversable's session history traversal queue. This puts them out of sync with the top-level traversable's current session history step, so this algorithm is used to resolve conflicts due to race conditions.

1. ~Assert： これは、 %辿可能 の`~session履歴~辿り~queue$navの中で走っている。 ◎ Assert: this is running on traversable's session history traversal queue.
2. ~IF［ %~target~navigable にて`作動中な~entry$nav ~NEQ %~target~entry ］ ⇒ ~RET ◎ If targetNavigable's active session history entry is not targetEntry, then return.
3. %~target~step ~LET ~NULL ◎ Let targetStep be null.
4. %~target~entry群 ~LET `~session履歴~entry群を取得する$( %~target~navigable ) ◎ Let targetEntries be the result of getting session history entries for targetNavigable.

5. ~IF［ %置換する~entry ~EQ ~NULL ］： ◎ If entryToReplace is null, then:

   1. `前方~session履歴を~clearする$( %辿可能 ) ◎ Clear the forward session history of traversable.
   2. %~target~step ~SET %辿可能 の`現在の~session履歴~step$nav ~PLUS 1 ◎ Set targetStep to traversable's current session history step + 1.
   3. %~target~entry の`~step$shE ~SET %~target~step ◎ Set targetEntry's step to targetStep.
   4. %~target~entry群 に %~target~entry を`付加する$ ◎ Append targetEntry to targetEntries.

6. ~ELSE： ◎ Otherwise:

   1. %~target~entry群 の中で %~target~entry を %置換する~entry に`置換する$ ◎ Replace entryToReplace with targetEntry in targetEntries.
   2. %~target~entry の`~step$shE ~SET %置換する~entry の`~step$shE ◎ Set targetEntry's step to entryToReplace's step.
   3. %~target~step ~SET %辿可能 の`現在の~session履歴~step$nav ◎ Set targetStep to traversable's current session history step.

7. `~push／置換-用に履歴~stepを適用する$( %~target~step, %履歴~取扱い, %辿可能 ) ◎ Apply the push/replace history step targetStep to traversable given historyHandling.

   注記： これは、 `replace$hH ~naviに対しても行われる — それは、 複数の同期的な~naviにまたがる競争~条件を解決するので。 ◎ This is done even for "replace" navigations, as it resolves race conditions across multiple synchronous navigations.

`非-~fetch~scheme文書を作成しようと試みる@ ときは、 所与の ( `非-~fetch~scheme~navi~params$ %~navi~params ) に対し： ◎ To attempt to create a non-fetch scheme document, given a non-fetch scheme navigation params navigationParams:

1. %~URL ~LET %~navi~params の`~URL$nfSnvP ◎ Let url be navigationParams's URL.
2. %~navigable ~LET %~navi~params の`~navigable$nfSnvP ◎ Let navigable be navigationParams's navigable.

3. ~IF［ %~URL は［ %~navigable に影響しない仕組みを利用して取扱われるもの ］である（例： %~URL の`~scheme$urlは外部的に取扱われるものである） ］： ◎ If url is to be handled using a mechanism that does not affect navigable,＼ e.g., because url's scheme is handled externally, then:

   1. `外部~softwareに手渡す$( ↓ ) ⇒＃ %~URL, %~navigable, %~navi~params の`~target~snapshotの~sandbox法~flag群$nfSnvP, %~navi~params の`~source~snapshotは一過な作動化を有するか$nfSnvP, %~navi~params の`起動元~生成元$nfSnvP ◎ Hand-off to external software given url, navigable, navigationParams's target snapshot sandboxing flags, navigationParams's source snapshot has transient activation, and navigationParams's initiator origin.
   2. ~RET ~NULL ◎ Return null.

4. ~RET `~DOMを有さない文書~用に~inline内容を作成する$( ↓ ) ⇒＃ %~navigable, %~navi~params の`~ID$nfSnvP, %~navi~params の`~navi計時~種別$nfSnvP ◎ ↓Handle url 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.＼ Return the result of displaying the inline content given navigable, navigationParams's id, and navigationParams's navigation timing type.

   これは、 所与の~scheme用に何らかの類の~inline内容を表示することにより %~URL を取扱う — 例 ⇒＃ 指定された~schemeは~supportされる~protocolでないことを示す~error~message／ 利用者が 所与の~scheme用の`登録-済み~handler$を選定することを許容する~inline~prompt ◎ ↑

   注記： 登録-済み~handlerが利用されている事例では、 `~navi~algo$は，新たな~URLで再び呼出されることになる。 ◎ In the case of a registered handler being used, navigate will be invoked with a new URL.

`外部~softwareに手渡す@ ときは、 所与の ⇒＃ ［`~URL$／`応答$］ %資源, `~navigable$ %~navigable, `~sandbox法~flag集合$ %~sandbox~flag群, 真偽値 %一過な作動化か, `生成元$ %起動元~生成元 ◎終 に対し， ~UAは次を遂行するベキである： ◎ To hand-off to external software given a URL or response resource, a navigable navigable, a sandboxing flag set sandboxFlags, a boolean hasTransientActivation, and an origin initiatorOrigin user agents should:

1. ~IF［ ~AND↓ ］… ◎ If all of the following are true:

   • %~navigable は`~top-level辿可能$でない ◎ navigable is not a top-level traversable;
   • `閲覧~文脈~sandbox化( ~custom~protocol~navi )~flag$ ~IN %~sandbox~flag群 ◎ sandboxFlags has its sandboxed custom protocols navigation browsing context flag set; and
   • ［ `閲覧~文脈~sandbox化( 利用者-作動化を伴う~top-level~navi )~flag$ ~IN %~sandbox~flag群 ］~OR［ %一過な作動化か ~EQ ~F ］ ◎ sandboxFlags has its sandboxed top-level navigation with user activation browsing context flag set, or hasTransientActivation is false

   …ならば ⇒ ~RET （ 外部~software~packageは呼出さない。） ◎ then return without invoking the external software package.

   注記： ~iframeの内側から外部~softwareへ向けた~naviは、 利用者からは，新たな［ ~popup／~top-level~navi ］として見えることもある。 それがゆえ、 そのような~naviが~sandbox化された `iframe$e において許容されるのは，次に挙げるいずれかが指定されたときに限られる ⇒＃ `allow-popups$v, `allow-top-navigation$v, `allow-top-navigation-by-user-activation$v, `allow-top-navigation-to-custom-protocols$v ◎ Navigation inside an iframe toward external software can be seen by users as a new popup or a new top-level navigation. That's why its is allowed in sandboxed iframe only when one of allow-popups, allow-top-navigation, allow-top-navigation-by-user-activation, or allow-top-navigation-to-custom-protocols is specified.

2. 外部~softwareに %資源 を適切に手渡す — 次に従う下で： ◎ Perform the appropriate handoff of resource＼

   • 当の外部~softwareを悪用しようと試みる~riskを軽減するよう試みる。 例えば，~UAは、［ %起動元~生成元 が当の外部~softwareを呼出すことを許容するかどうか ］を確認するよう，利用者に~promptすることもできる。 ◎ while attempting to mitigate the risk that this is an attempt to exploit the target software. For example, user agents could prompt the user to confirm that initiatorOrigin is to be allowed to invoke the external software in question.＼
   • 特に，［ %一過な作動化か ~EQ ~F ］の場合、 前もって利用者の確認をとらずに， 外部~software~packageを呼出すベキでない。 ◎ In particular, if hasTransientActivation is false, then the user agent should not invoke the external software package without prior user confirmation.

   例えば，当の外部~softwareの~URL~handler内には、［ ある敵対的な~pageが，~linkを~clickするよう利用者を騙す ］ように悪用できる脆弱性があるかもしれない。 ◎ 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.

`~navigable$ %~source が 所与の`~source~snapshot~params$ %~source~snapshot~params の下で `~navigable$ %~target を `~navigateすることは~sandbox法により許容され@ るのは、 次の手続きが ~T を返すときである： ◎ A navigable source is allowed by sandboxing to navigate a second navigable target, given a source snapshot params sourceSnapshotParams, if the following steps return true:

1. ~IF［ %~source ~EQ %~target ］ ⇒ ~RET ~T ◎ If source is target, then return true.
2. ~IF［ %~source は %~target の先祖である ］ ⇒ ~RET ~T ◎ If source is an ancestor of target, then return true.
3. %~source~sandbox法~flag群 ~LET %~source~snapshot~params の`~sandbox法~flag群$ssP ◎ ↓

4. ~IF［ %~target は %~source の先祖である ］： ◎ If target is an ancestor of source, then:

   1. ~IF［ %~target は`~top-level辿可能$でない ］ ⇒ ~RET ~T ◎ If target is not a top-level traversable, then return true.
   2. ~IF［ %~source~snapshot~params の`一過な作動化を有するか$ssP ~EQ ~T ］~AND［ `閲覧~文脈~sandbox化( 利用者-作動化を伴う~top-level~navi )~flag$ ~IN %~source~sandbox法~flag群 ］ ⇒ ~RET ~F ◎ If sourceSnapshotParams's has transient activation is true, and sourceSnapshotParams's sandboxing flags's sandboxed top-level navigation with user activation browsing context flag is set, then return false.
   3. ~IF［ %~source~snapshot~params の`一過な作動化を有するか$ssP ~EQ ~F ］~AND［ `閲覧~文脈~sandbox化( 利用者-作動化を伴わない~top-level~navi )~flag$ ~IN %~source~sandbox法~flag群 ］ ⇒ ~RET ~F ◎ If sourceSnapshotParams's has transient activation is false, and sourceSnapshotParams's sandboxing flags's sandboxed top-level navigation without user activation browsing context flag is set, then return false.
   4. ~RET ~T ◎ Return true.

5. ~IF［ %~target は`~top-level辿可能$である ］： ◎ If target is a top-level traversable:

   1. ~IF［ %~source ~EQ %~target の`許可-済み~navigator$ ］ ⇒ ~RET ~T ◎ If source is the one permitted sandboxed navigator of target, then return true.
   2. ~IF［ `閲覧~文脈~sandbox化( ~navi )~flag$ ~IN %~source~sandbox法~flag群 ］ ⇒ ~RET ~F ◎ If sourceSnapshotParams's sandboxing flags's sandboxed navigation browsing context flag is set, then return false.
   3. ~RET ~T ◎ Return true.
6. ~IF［ `閲覧~文脈~sandbox化( ~navi )~flag$ ~IN %~source~sandbox法~flag群 ］ ⇒ ~RET ~F ◎ If sourceSnapshotParams's sandboxing flags's sandboxed navigation browsing context flag is set, then return false.
7. ~RET ~T ◎ Return true.

`~unloadは取消されたか否か検査する@ ときは、 所与の ⇒＃ `~navigable$たちが成す`~list$ %~beforeunload_evが必要になる~navigable群, `辿可能な~navigable$ %辿可能（省略時は ε ）, 整数 %~target~step（省略時は ε ）, ［ `~naviに対する利用者-関与i$／ ~NULL ］ %~navigate_ev~event用の利用者-関与i（省略時は ε ） ◎終 に対し， 次の手続きを走らす — これは、［ `~beforeunload_evにより取消された^i ／ `~navigate_evにより取消された^i ／ `継続する^i ］を返す： ◎ To check if unloading is canceled for a list of navigables navigablesThatNeedBeforeUnload, given an optional traversable navigable traversable, an optional integer targetStep, and an optional user navigation involvement-or-null userInvolvementForNavigateEvent, run these steps. They return "canceled-by-beforeunload", "canceled-by-navigate", or "continue".

1. %~beforeunload_evが発火される文書~群 ~LET 新たな`~list$ ◎ ↓
2. %~beforeunload_evが必要になる~navigable群 を成す ~EACH( %~navigable ) に対し ⇒ %~beforeunload_evが発火される文書~群 に %~navigable にて`作動中な文書$navを`付加する$ ◎ Let documentsToFireBeforeunload be the active document of each item in navigablesThatNeedBeforeUnload.
3. %~unload~promptを示したか ~LET ~F ◎ Let unloadPromptShown be false.
4. %最終-状態s ~LET `継続する^i ◎ Let finalStatus be "continue".

5. ~IF［ %辿可能 ~NEQ ε ］： ◎ If traversable was given, then:

   1. ~Assert： ［ %~target~step ~NEQ ε ］~AND［ %~navigate_ev~event用の利用者-関与i ~NEQ ε ］ ◎ Assert: targetStep and userInvolvementForNavigateEvent were given.
   2. %~target~entry ~LET `~target履歴~entryを取得する$( %辿可能, %~target~step ) ◎ Let targetEntry be the result of getting the target history entry given traversable and targetStep.

   3. ~IF［ ~AND↓ ］…

      • %~target~entry ~NEQ %辿可能 の`現在の~session履歴~entry$nav
      • %~target~entry の`文書~状態$shEの`生成元$dS ~EQ`生成元$sub %辿可能 の`現在の~session履歴~entry$navの`文書~状態$shEの`生成元$dS

      …ならば：

      ◎ If targetEntry is not traversable's current session history entry, and targetEntry's document state's origin is the same as traversable's current session history entry's document state's origin, then:

      注記： この事例では、 %辿可能 用の `navigate$et ~eventをここから発火する。 それは， `一部の状況下＠~HTMLnavAPI#navigate-event-traverse-can-be-canceled$では取消されるかもしれないので、 後で起こる`他の辿り~navigate_ev~event＠#descendant-navigable-traversal-navigate-events$から，これを別々に行う必要がある。 ◎ In this case, we're going to fire the navigate event for traversable here. Because under some circumstances it might be canceled, we need to do this separately from other traversal navigate events, which happen later.

      加えて，［ `beforeunload$et ~eventは `navigate$et ~eventより前に発火する ］ことが求まれるので、 このことは， %辿可能 用の `beforeunload$et を（適用-可能ならば）ここで発火する必要があることも意味する — 下で， %~beforeunload_evが発火される文書~群 に対する~loopの中から発火する代わりに。 ◎ Additionally, because we want beforeunload events to fire before navigate events, this means we need to fire beforeunload for traversable here (if applicable), instead of doing it as part of the below loop over documentsToFireBeforeunload.

      1. ~Assert： %~navigate_ev~event用の利用者-関与i ~NEQ ~NULL ◎ Assert: userInvolvementForNavigateEvent is not null.
      2. %~eventは発火したか ~LET ~F ◎ Let eventsFired be false.
      3. %~beforeunload_evは必要か ~LET ~IS［ %辿可能 ~IN %~beforeunload_evが必要になる~navigable群 ］ ◎ Let needsBeforeunload be true if navigablesThatNeedBeforeUnload contains traversable; otherwise false.
      4. ~IF［ %~beforeunload_evは必要か ~EQ ~T ］ ⇒ %~beforeunload_evが発火される文書~群 から %辿可能 にて`作動中な文書$navを`除去する$ ◎ If needsBeforeunload is true, then remove traversable's active document from documentsToFireBeforeunload.

      5. `大域~taskを~queueする$( `~naviと辿り~task~source$, %辿可能 にて`作動中な~window$nav, 次の手続き ) ◎ Queue a global task on the navigation and traversal task source given traversable's active window to perform＼

         手続きは： ◎ the following steps:

         1. ~IF［ %~beforeunload_evは必要か ~EQ ~T ］： ◎ If needsBeforeunload is true, then:

            1. ( %この文書~用の~unload~promptを示したか, %~unload~promptはこの文書により取消されたか ) ~LET `~beforeunload_evを発火する手続き$( %辿可能 にて`作動中な文書$nav, ~F ) ◎ Let (unloadPromptShownForThisDocument, unloadPromptCanceledByThisDocument) be the result of running the steps to fire beforeunload given traversable's active document and false.
            2. ~IF［ %この文書~用の~unload~promptを示したか ~EQ ~T ］ ⇒ %~unload~promptを示したか ~SET ~T ◎ If unloadPromptShownForThisDocument is true, then set unloadPromptShown to true.
            3. ~IF［ %~unload~promptはこの文書により取消されたか ~EQ ~T ］ ⇒ %最終-状態s ~SET `~beforeunload_evにより取消された^i ◎ If unloadPromptCanceledByThisDocument is true, then set finalStatus to "canceled-by-beforeunload".
         2. ~IF［ %最終-状態s ~EQ `~beforeunload_evにより取消された^i ］ ⇒ ~RET ◎ If finalStatus is "canceled-by-beforeunload", then abort these steps.
         3. %~navi ~LET %辿可能 にて`作動中な~window$navの`~navi~API$ ◎ Let navigation be traversable's active window's navigation API.
         4. %~navigate_ev~event結果 ~LET `辿-用の~navigate_ev~eventを発火する$( %~navi ) — 次も与える下で ⇒＃ `行先~履歴~entry^i ~SET %~target~entry, `利用者-関与i^i ~SET %~navigate_ev~event用の利用者-関与i ◎ Let navigateEventResult be the result of firing a traverse navigate event at navigation given targetEntry and userInvolvementForNavigateEvent.
         5. ~IF［ %~navigate_ev~event結果 ~EQ ~F ］ ⇒ %最終-状態s ~SET `~navigate_evにより取消された^i ◎ If navigateEventResult is false, then set finalStatus to "canceled-by-navigate".
         6. %~eventは発火したか ~SET ~T ◎ Set eventsFired to true.
      6. 次が満たされるまで待機する ⇒ %~eventは発火したか ~EQ ~T ◎ Wait until eventsFired is true.
      7. ~IF［ %最終-状態s ~NEQ `継続する^i ］ ⇒ ~RET %最終-状態s ◎ If finalStatus is not "continue", then return finalStatus.
6. %総~task数 ~LET %~beforeunload_evが発火される文書~群【！documentsThatNeedBeforeunload】 の`~size$ ◎ Let totalTasks be the size of documentsThatNeedBeforeunload.
7. %完了した~task数 ~LET 0 ◎ Let completedTasks be 0.

8. %~beforeunload_evが発火される文書~群【！documents】 を成す ~EACH( %文書 ) に対し ⇒ `大域~taskを~queueする$( `~naviと辿り~task~source$, %文書 に`関連な大域~obj$, 次の手続き ) ◎ For each document of documents, queue a global task on the navigation and traversal task source given document's relevant global object to run＼

   手続きは： ◎ the steps:

   1. ( %この文書~用の~unload~promptを示したか, %~unload~promptはこの文書により取消されたか ) ~LET `~beforeunload_evを発火する手続き$( %文書, %~unload~promptを示したか ) ◎ Let (unloadPromptShownForThisDocument, unloadPromptCanceledByThisDocument) be the result of running the steps to fire beforeunload given document and unloadPromptShown.
   2. ~IF［ %この文書~用の~unload~promptを示したか ~EQ ~T ］ ⇒ %~unload~promptを示したか ~SET ~T ◎ If unloadPromptShownForThisDocument is true, then set unloadPromptShown to true.
   3. ~IF［ %~unload~promptはこの文書により取消されたか ~EQ ~T ］ ⇒ %最終-状態s ~SET `~beforeunload_evにより取消された^i ◎ If unloadPromptCanceledByThisDocument is true, then set finalStatus to "canceled-by-beforeunload".
   4. %完了した~task数 ~INCBY 1 ◎ Increment completedTasks.
9. 次が満たされるまで待機する ⇒ %完了した~task数 ~EQ %総~task数 ◎ Wait for completedTasks to be totalTasks.
10. ~RET %最終-状態s ◎ Return finalStatus.

`~beforeunload_evを発火する手続き@ は、 所与の ( `文書$ %文書, 真偽値 %~unload~promptを示したか ) に対し： ◎ The steps to fire beforeunload given a Document document and a boolean unloadPromptShown are:

1. %~unload~promptは取消されたか ~LET ~F ◎ Let unloadPromptCanceled be false.
2. %文書 の`~unload~counter$ ~INCBY 1 ◎ Increase the document's unload counter by 1.
3. %文書 に`関連な~agent$の`~event~loop$aG の`終了n入子ng~level$ ~INCBY 1 ◎ Increase document's relevant agent's event loop's termination nesting level by 1.
4. %~eventを発火した結果 ~LET `~eventを発火する$( %文書 に`関連な大域~obj$, `beforeunload$et, `BeforeUnloadEvent$I ) — 次のように初期化して ⇒＃ `cancelable$m 属性 ~SET ~T ◎ Let eventFiringResult be the result of firing an event named beforeunload at document's relevant global object, using BeforeUnloadEvent, with the cancelable attribute initialized to true.
5. %文書 に`関連な~agent$の`~event~loop$aGの`終了n入子ng~level$ ~DECBY 1 ◎ Decrease document's relevant agent's event loop's termination nesting level by 1.

6. ~IF［ ~AND↓ ］… ◎ If all of the following are true:

   • %~unload~promptを示したか ~EQ ~F ◎ unloadPromptShown is false;
   • `~sandbox化( ~modal )~flag$ ~NIN %文書 にて`作動中な~sandbox法~flag集合$ ◎ document's active sandboxing flag set does not have its sandboxed modals flag set;
   • %文書 に`関連な大域~obj$は`居残な作動化を有して$いる ◎ document's relevant global object has sticky activation;
   • ［ %~eventを発火した結果 ~EQ ~F ］~OR［ %~event の `returnValue＠~WINDOW#dom-beforeunloadevent-returnvalue$m 属性 ~NEQ 空~文字列 ］ ◎ eventFiringResult is false, or the returnValue attribute of event is not the empty string; and
   • ~unload~promptを示すことが［ いらつく／紛らわしい／的外れである ］とは見込まれていない ◎ showing an unload prompt is unlikely to be annoying, deceptive, or pointless,

   …ならば： ◎ then:

   1. %~unload~promptを示したか ~SET ~T ◎ Set unloadPromptShown to true.
   2. `~WebDriver-BiDi利用者~promptが開かれた$( ↓ ) ⇒＃ %文書 に`関連な大域~obj$, `beforeunload^l, 空~文字列 ◎ Invoke WebDriver BiDi user prompt opened with document's relevant global object, "beforeunload", and "".

   3. 利用者に［ 文書を~unloadすることを望むかどうか確認する ］よう依頼する — 利用者からの応答を待機している間，`静止する$ ◎ Ask the user to confirm that they wish to unload the document, and pause while waiting for the user's response.

      注記： 利用者に示される~messageは、 ~custom化-可能ではなく，~UAにより決定される。 特に， `returnValue＠~WINDOW#dom-beforeunloadevent-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.

   4. ~IF［ 利用者は~page~naviを確認しなかった ］ ⇒ %~unload~promptは取消されたか ~SET ~T ◎ If the user did not confirm the page navigation, set unloadPromptCanceled to true.
   5. %確認したか ~LET ~IS［ %~unload~promptは取消されたか ~EQ ~F ］ ◎ ↓
   6. `~WebDriver-BiDi利用者~promptが閉じられた$( ↓ ) ⇒＃ %文書 に`関連な大域~obj$, %確認したか ◎ Invoke WebDriver BiDi user prompt closed with document's relevant global object and true if unloadPromptCanceled is false or false otherwise.
7. %文書 の`~unload~counter$ ~DECBY 1 ◎ Decrease document's unload counter by 1.
8. ~RET ( %~unload~promptを示したか, %~unload~promptは取消されたか ) ◎ Return (unloadPromptShown, unloadPromptCanceled).

`進行中な~naviを設定する@ ときは、 所与の ( `~navigable$ %~navigable, %新たな値 ) に対し： ◎ To set the ongoing navigation for a navigable navigable to newValue:

1. ~IF［ %~navigable の`進行中な~navi$ ~EQ %新たな値 ］ ⇒ ~RET ◎ If navigable's ongoing navigation is equal to newValue, then return.
2. `~naviを中止したことについて~navi~APIに伝える$( %~navigable ) ◎ Inform the navigation API about aborting navigation given navigable.
3. %~navigable の`進行中な~navi$ ~SET %新たな値 ◎ Set navigable's ongoing navigation to newValue.

`~navigableの作成／破壊~用に更新する@ ときは、 所与の ( `辿可能な~navigable$ %辿可能 ) に対し： ◎ To update for navigable creation/destruction given a traversable navigable traversable:

1. %~step ~LET %辿可能 の`現在の~session履歴~step$nav ◎ Let step be traversable's current session history step.
2. ~RET `履歴~stepを適用する$( ↓ ) ⇒＃ %~step, %辿可能, ~F, ~NULL, ~NULL, ~NULL, ~NULL ◎ Return the result of applying the history step step to traversable given false, null, null, null, and null.

`~push／置換-用に履歴~stepを適用する@ ときは、 所与の ⇒＃ 負でない整数 %~step, `履歴~取扱いの挙動$ %履歴~取扱い, `辿可能な~navigable$ %辿可能 ◎終 に対し： ◎ To apply the push/replace history step given a non-negative integer step and a history handling behavior historyHandling to a traversable navigable traversable:

1. ~RET `履歴~stepを適用する$( ↓ ) ⇒＃ %~step, %辿可能, ~F, ~NULL, ~NULL, ~NULL, %履歴~取扱い ◎ Return the result of applying the history step step to traversable given false, null, null, null, and historyHandling.

注記： `~push／置換-用に履歴~stepを適用する$中で`履歴~stepを適用する$ときに［ `~source~snapshot~params$／起動元`~navigable$ ］を渡さないのは、 それらの検査が`~navi~algo$内で済まされるからである。 ◎ Apply the push/replace history step never passes source snapshot params or an initiator navigable to apply the history step. This is because those checks are done earlier in the navigation algorithm.

`再読込み用に履歴~stepを適用する@ ときは、 所与の ( `辿可能な~navigable$ %辿可能 ) に対し： ◎ To apply the reload history step to a traversable navigable traversable:

1. %~step ~LET %辿可能 の`現在の~session履歴~step$nav ◎ Let step be traversable's current session history step.
2. ~RET `履歴~stepを適用する$( ↓ ) ⇒＃ %~step, %辿可能, ~T, ~NULL, ~NULL, ~NULL, `reload$l ◎ Return the result of applying the history step step to traversable given true, null, null, null, and "reload".

`辿-用に履歴~stepを適用する@ ときは、 所与の ⇒＃ 負でない整数 %~step, `辿可能な~navigable$ %辿可能, `~source~snapshot~params$ %~source~snapshot~params, `~navigable$ %検査する起動元, `~naviに対する利用者-関与i$ %利用者-関与i ◎終 に対し： ◎ To apply the traverse history step given a non-negative integer step to a traversable navigable traversable, with source snapshot params sourceSnapshotParams, navigable initiatorToCheck, and user navigation involvement userInvolvement:

1. ~RET `履歴~stepを適用する$( ↓ ) ⇒＃ %~step, %辿可能, ~T, %~source~snapshot~params, %検査する起動元, %利用者-関与i, `traverse$l ◎ Return the result of applying the history step step to traversable given true, sourceSnapshotParams, initiatorToCheck, userInvolvement, and "traverse".

`履歴~stepを適用する@ ときは、 所与の ⇒＃ 負でない整数 %~step, `辿可能な~navigable$ %辿可能, 真偽値 %取消nを検査するか, ［ `~source~snapshot~params$／ ~NULL ］ %~source~snapshot~params, ［ `~navigable$／ ~NULL ］ %検査する起動元, ［ `~naviに対する利用者-関与i$／ ~NULL ］ %~navigate_ev~event用の利用者-関与i, ［ `NavigationType$I ／ ~NULL ］%~navi種別 ◎終 に対し，次の手続きを遂行する — これは、 次に挙げるいずれか ⇒＃ `起動元は許容されない^i ／ `~beforeunload_evにより取消された^i ／ `~navigate_evにより取消された^i ／ `適用された^i ◎終 を返す： ◎ To apply the history step given a non-negative integer step to a traversable navigable traversable, with boolean checkForCancelation, source snapshot params-or-null sourceSnapshotParams, navigable-or-null initiatorToCheck, user navigation involvement-or-null userInvolvementForNavigateEvents, and NavigationType-or-null navigationType, perform the following steps. They return "initiator-disallowed", "canceled-by-beforeunload", "canceled-by-navigate", or "applied".

1. ~Assert： これは、 %辿可能 の`~session履歴~辿り~queue$navの中で走っている。 ◎ Assert: This is running within traversable's session history traversal queue.
2. %~target~step ~LET `利用された~stepを取得する$( %辿可能, %~step ) ◎ Let targetStep be the result of getting the used step given traversable and step.

3. ~IF［ %検査する起動元 ~NEQ ~NULL ］： ◎ If initiatorToCheck is not null, then:

   1. ~Assert： %~source~snapshot~params ~NEQ ~NULL ◎ Assert: sourceSnapshotParams is not null.
   2. %~navigable群 ~LET `現在の~session履歴~entryが変更されるか読込直される~navigableをすべて取得する$() ◎ ↓
   3. %~navigable群 を成す ~EACH( %~navigable ) に対し ⇒ ~IF［ %検査する起動元 が %~source~snapshot~params の下で %~navigable を`~navigateすることは~sandbox法により許容され$ない ］ ⇒ ~RET `起動元は許容されない^i ◎ For each navigable of get all navigables whose current session history entry will change or reload: if initiatorToCheck is not allowed by sandboxing to navigate navigable given sourceSnapshotParams, then return "initiator-disallowed".
4. %非同一-文書を経ている~navigable群 ~LET `非同一-文書の辿りを経るかもしれない~navigableをすべて取得する$( %辿可能, %~target~step ) ◎ Let navigablesCrossingDocuments be the result of getting all navigables that might experience a cross-document traversal given traversable and targetStep.

5. ~IF［ %取消nを検査するか ~EQ ~T ］：

   1. %検査~結果 ~LET `~unloadは取消されたか否か検査する$( ↓ ) ⇒＃ %非同一-文書を経ている~navigable群, %辿可能, %~target~step, %~navigate_ev~event用の利用者-関与i
   2. ~IF［ %検査~結果 ~NEQ `継続する^i ］ ⇒ ~RET %検査~結果
   ◎ If checkForCancelation is true, and the result of checking if unloading is canceled given navigablesCrossingDocuments, traversable, targetStep, and userInvolvementForNavigateEvents is not "continue", then return that result.
6. %変更されている~navigable群 ~LET `現在の~session履歴~entryが変更されるか読込直される~navigableをすべて取得する$( %辿可能, %~target~step ) ◎ Let changingNavigables be the result of get all navigables whose current session history entry will change or reload given traversable and targetStep.
7. %変更されていないが更新は必要な~navigable群 ~LET `履歴~objの長さか~indexの更新に限り必要になる~navigableをすべて取得する$( %辿可能, %~target~step ) ◎ Let nonchangingNavigablesThatStillNeedUpdates be the result of getting all navigables that only need history object length/index update given traversable and targetStep.

8. %変更されている~navigable群 を成す ~EACH( %~navigable ) に対し： ◎ For each navigable of changingNavigables:

   1. %~navigable の`現在の~session履歴~entry$nav ~SET `~target履歴~entryを取得する$( %~navigable, %~target~step ), ◎ Let targetEntry be the result of getting the target history entry given navigable and targetStep. ◎ Set navigable's current session history entry to targetEntry.
   2. `進行中な~naviを設定する$( %~navigable, `traversal^l ) ◎ Set the ongoing navigation for navigable to "traversal".
9. %変更~jobの総数 ~LET %変更されている~navigable群 の`~size$ ◎ Let totalChangeJobs be the size of changingNavigables.
10. %完了した変更~job数 ~LET 0 ◎ Let completedChangeJobs be 0.

11. %~navigableを変更している継続~群 ~LET 新たな`~queue$ （`~navigableを変更している継続の状態$たち） ◎ Let changingNavigableContinuations be an empty queue of changing navigable continuation states.

    注記： この~queueは、 %変更されている~navigable群 に対する演算を 2 つの部分に分割するために利用される。 特定的には、 %~navigableを変更している継続~群 は， `第二の部分＠#continuations-dequeue$用の~dataを保持する。 ◎ This queue is used to split the operations on changingNavigables into two parts. Specifically, changingNavigableContinuations holds data for the second part.

12. %変更されている~navigable群 を成す ~EACH( %~navigable ) に対し ⇒ `大域~taskを~queueする$( `~naviと辿り~task~source$, %~navigable にて`作動中な~window$nav, 次の手続き ) ◎ For each navigable of changingNavigables, queue a global task on the navigation and traversal task source of navigable's active window to run the steps:

    注記： 【この手続きの以降を成す】一連の段は、［ 文書を~unloadする前に同期的な~naviを処理する ］ことを許容するよう， 2 つの部分に分割される。 状態は、 `第二の部分＠#continuations-dequeue$用に %~navigableを変更している継続~群 内に格納される。 ◎ This set of steps are split into two parts to allow synchronous navigations to be processed before documents unload. State is stored in changingNavigableContinuations for the second part.

    手続きは： ◎ ↑

    1. %表示される~entry ~LET %~navigable にて`作動中な~entry$nav ◎ Let displayedEntry be navigable's active session history entry.
    2. %~target~entry ~LET %~navigable の`現在の~session履歴~entry$nav ◎ Let targetEntry be navigable's current session history entry.
    3. %~navigableを変更している継続 ~LET `~navigableを変更している継続の状態$ — その ⇒＃ `表示される文書$cnC ~SET %表示される~entry の`文書$shE, `~target~entry$cnC ~SET %~target~entry, `~navigable$cnC ~SET %~navigable, `更新のみか$cnC ~SET ~F ◎ Let changingNavigableContinuation be a changing navigable continuation state with: ◎ displayed document • displayedEntry's document target entry • targetEntry navigable • navigable update-only • false

    4. ~IF［ %表示される~entry ~EQ %~target~entry ］~AND［ %~target~entry の`文書~状態$shEの`再読込みは処理待ちか$dS ~EQ ~F ］： ◎ If displayedEntry is targetEntry and targetEntry's document state's reload pending is false, then:

       1. %~navigableを変更している継続 の`更新のみか$cnC ~SET ~T ◎ Set changingNavigableContinuation's update-only to true.
       2. %~navigableを変更している継続~群 に %~navigableを変更している継続 を`~enqueueする$ ◎ Enqueue changingNavigableContinuation on changingNavigableContinuations.
       3. ~RET ◎ Abort these steps.

       注記： この事例は、 当の`作動中な~entry$navをすでに更新した`同期的な~navi＠#finalize-a-cross-document-navigation$に因り生じる。 ◎ This case occurs due to a synchronous navigation which already updated the active session history entry.

    5. ~Assert： %~navi種別 に応じて，次が満たされる： ◎ Switch on navigationType:

       • `reload$l ⇒ %~target~entry の`文書~状態$shEの`再読込みは処理待ちか$dS ~EQ ~T ◎ "reload" • Assert: targetEntry's document state's reload pending is true.
       • `traverse$l ⇒ %~target~entry の`文書~状態$shEの`一度でも拡充されたか$dS ~EQ ~T ◎ "traverse" • Assert: targetEntry's document state's ever populated is true.
       • `replace$l ⇒ ［ %~target~entry の`~step$shE ~EQ %表示される~entry の`~step$shE ］~AND［ %~target~entry の`文書~状態$shEの`一度でも拡充されたか$dS ~EQ ~F ］ ◎ "replace" • Assert: targetEntry's step is displayedEntry's step and targetEntry's document state's ever populated is false.
       • `push$l ⇒ ［ %~target~entry の`~step$shE ~EQ %表示される~entry の`~step$shE ~PLUS 1 ］~AND［ %~target~entry の`文書~状態$shEの`一度でも拡充されたか$dS ~EQ ~F ］ ◎ "push" • Assert: targetEntry's step is displayedEntry's step + 1 and targetEntry's document state's ever populated is false.
    6. %旧-生成元 ~LET %~target~entry の`文書~状態$shEの`生成元$dS ◎ Let oldOrigin be targetEntry's document state's origin.

    7. ~IF［ ~AND↓ ］… ◎ If all of the following are true:

       • %~navigable ~NEQ %辿可能 ◎ navigable is not traversable;
       • %~target~entry ~NEQ %~navigable の`現在の~session履歴~entry$nav ◎ targetEntry is not navigable's current session history entry; and
       • %旧-生成元 ~EQ`生成元$sub %~navigable の`現在の~session履歴~entry$navの`文書~状態$shEの`生成元$dS ◎ oldOrigin is the same as navigable's current session history entry's document state's origin,

       …ならば： ◎ then:

       1. ~Assert： %~navigate_ev~event用の利用者-関与i ~NEQ ~NULL ◎ Assert: userInvolvementForNavigateEvents is not null.
       2. %~navi ~LET %~navigable にて`作動中な~window$navの`~navi~API$ ◎ Let navigation be navigable's active window's navigation API.
       3. `辿-用の~navigate_ev~eventを発火する$( %~navi ) — 次も与える下で ⇒＃ `行先~履歴~entry^i ~SET %~target~entry, `利用者-関与i^i ~SET %~navigate_ev~event用の利用者-関与i ◎ Fire a traverse navigate event at navigation given targetEntry and userInvolvementForNavigateEvents.

    8. ~IF［ %~target~entry の`文書$shE ~EQ ~NULL ］~OR［ %~target~entry の`文書~状態$shEの`再読込みは処理待ちか$dS ~EQ ~T ］： ◎ If targetEntry's document is null, or targetEntry's document state's reload pending is true, then:

       1. %~navi計時~種別 ~LET %~target~entry の`文書$shEに応じて ⇒＃ ~NULL ならば `back_forward＠~NAV-TIMING#dom-navigationtimingtype-back_forward$l ／ ~ELSE_ `reload＠~NAV-TIMING#dom-navigationtimingtype-reload$l ◎ Let navTimingType be "back_forward" if targetEntry's document is null; otherwise "reload".
       2. %~target~snapshot~params ~LET `~target~snapshot~paramsを~snapshotする$( %~navigable ) ◎ Let targetSnapshotParams be the result of snapshotting target snapshot params given navigable.
       3. %~targetに特有な~source~snapshot~params ~LET %~source~snapshot~params ◎ Let potentiallyTargetSpecificSourceSnapshotParams be sourceSnapshotParams.

       4. ~IF［ %~targetに特有な~source~snapshot~params ~EQ ~NULL ］ ⇒ %~targetに特有な~source~snapshot~params ~SET `~source~snapshot~paramsを~snapshotする$( %~navigable にて`作動中な文書$nav ) ◎ If potentiallyTargetSpecificSourceSnapshotParams is null, then set it to the result of snapshotting source snapshot params given navigable's active document.

          注記： この事例では、［ 辿り／再読込み ］の明瞭な~sourceは無い。 この状況では， %~navigable が自身を~navigateしたかのように扱われるが、 %~target~entry の元の起動元を成す一部の~prop — `起動元~生成元$dS, `要請~referrer$dS, など — は， %~target~entry の`文書~状態$shE内に保全されることに注意 — それらは、 当の~naviに適切に波及することになる。 ◎ In this case there is no clear source of the traversal/reload. We treat this situation as if navigable navigated itself, but note that some properties of targetEntry's original initiator are preserved in targetEntry's document state, such as the initiator origin and referrer, which will appropriately influence the navigation.

       5. %~target~entry の`文書~状態$shEの`再読込みは処理待ちか$dS ~SET ~F ◎ Set targetEntry's document state's reload pending to false.
       6. %~POSTを許容するか ~LET %~target~entry の`文書~状態$shEの`再読込みは処理待ちか$dS ◎ Let allowPOST be targetEntry's document state's reload pending.

       7. この段は、 `並列的$に走らす： ◎ In parallel,＼

          1. `履歴~entryの文書を拡充しようと試みる$( ↓ ) ⇒＃ %~target~entry, %~navigable, 【%~navi計時~種別,】 %~targetに特有な~source~snapshot~params, %~target~snapshot~params ◎終 次も与える下で ⇒＃ `~POSTを許容するか^i ~SET %~POSTを許容するか, `完了~手続き^i ~SET 次の手続き： ◎ attempt to populate the history entry's document for targetEntry, given navigable, potentiallyTargetSpecificSourceSnapshotParams, targetSnapshotParams, with allowPOST set to allowPOST and completionSteps set to＼

             手続きは ⇒ `大域~taskを~queueする$( `~naviと辿り~task~source$, %~navigable にて`作動中な~window$nav, 下に定義する `文書を拡充した後の手続き^i ) ◎ queue a global task on the navigation and traversal task source given navigable's active window to run afterDocumentPopulated.

    9. ~ELSE ⇒ `即時$に ⇒ 下に定義する `文書を拡充した後の手続き^i() ◎ Otherwise, run afterDocumentPopulated immediately.

       `文書を拡充した後の手続き^i は： ◎ In both cases, let afterDocumentPopulated be the following steps:

       1. ~IF［ %~target~entry の`文書$shE ~EQ ~NULL ］ ⇒ %~navigableを変更している継続 の`更新のみか$cnC ~SET ~T ◎ If targetEntry's document is null, then set changingNavigableContinuation's update-only to true.

          注記： これは、 当の文書を拡充しようと試行したが，できなかったことを意味する — 例：~serverが `204$hst を返したため。 ◎ This means we tried to populate the document, but were unable to do so, e.g. because of the server returning a 204.

          注記： これらの失敗した［ ~navi／辿り ］は、 `~navi~API＠#navigation-api$へは通達されない （例：［ `~navi~API~method追跡子$の~promise／ `navigateerror$et ~event ］を通して）。 そうすると、［ 非同一-生成元の事例では、［ 他の生成元からの応答の時機についての情報 ］を漏洩する ］ことに加え，［ 非同一-生成元と同一-生成元の事例で異なる結果を供することは、 紛らわし過ぎる ］と判断されたので。 ◎ These kinds of failed navigations or traversals will not be signaled to the navigation API (e.g., through the promises of any navigation API method tracker, or the navigateerror event). Doing so would leak information about the timing of responses from other origins, in the cross-origin case, and providing different results in the cross-origin vs. same-origin cases was deemed too confusing.

          しかしながら，実装は、 この機会を利用して［ `navigation.transition.finished＠~HTMLnavAPI#dom-navigationtransition-finished$c が返す~promise用の~handlerがある場合に，それを~clearする ］こともできる — それらは、 この時点で，決して走らなくなることが保証されるので。 加えて，実装は、 ~navi~APIを成す一部が これらの~naviを起動した場合には — なぜ［ ~promiseは決着しない／~eventは発火されない ］のかが，~web開発者にとって明瞭になるよう — `~consoleに警告を報告する$よう望むこともあろう。 ◎ However, implementations could use this opportunity to clear any promise handlers for the navigation.transition.finished promise, as they are guaranteed at this point to never run. And, they might wish to report a warning to the console if any part of the navigation API initiated these navigations, to make it clear to the web developer why their promises will never settle and events will never fire.

       2. ~IF［ %~target~entry の`文書$shEの`生成元$doc `is not^en【~NEQ`生成元$sub？】 %旧-生成元 ］ ⇒ %~target~entry の`古典~履歴~API用の状態$shE ~SET `StructuredSerializeForStorage$jA( ~NULL ) ◎ If targetEntry's document's origin is not oldOrigin, then set targetEntry's classic history API state to StructuredSerializeForStorage(null).

          注記： これは、 `vs^en 【？】［ 以前における~redirectを伴わない %~target~entry の読込n ］【から？】生成元が変化したとき，履歴~状態を~clearする。 これは、 ~CSP用の~sandbox~headerにおける変化に因り，起こり得る。 ◎ This clears history state when the origin changed vs a previous load of targetEntry without a redirect occuring. This can happen due to a change in CSP sandbox headers.

       3. ~IF［ ~AND↓ ］… ◎ If all of the following are true:

          • %~navigable の`親$nav ~EQ ~NULL ◎ navigable's parent is null;
          • %~target~entry の`文書$shEが`属する閲覧~文脈$は次を満たさない ⇒ ［ `補助~閲覧~文脈$である ］~AND［ それを`開いた閲覧~文脈$bc ~NEQ ~NULL ］ ◎ targetEntry's document's browsing context is not an auxiliary browsing context whose opener browsing context is non-null; and
          • %~target~entry の`文書$shEの`生成元$doc `is not^en【~NEQ`生成元$sub？】 %旧-生成元 ◎ targetEntry's document's origin is not oldOrigin,

          …ならば ⇒ %~target~entry の`文書~状態$shEの`~navigable名$dS ~SET 空~文字列 ◎ then set targetEntry's document state's navigable target name to the empty string.

       4. %~navigableを変更している継続~群 に %~navigableを変更している継続 を`~enqueueする$ ◎ Enqueue changingNavigableContinuation on changingNavigableContinuations.

          注記： この~jobの残りは、 この~algo内の`後で走る＠#continuations-dequeue$。 ◎ The rest of this job runs later in this algorithm.

13. %同期c~naviを取扱う前に待機しなければならない~navigable群 ~LET 空な`有順序~集合$ ◎ Let navigablesThatMustWaitBeforeHandlingSyncNavigation be an empty set.

14. ~WHILE［ %完了した変更~job数 ~NEQ %変更~jobの総数 ］： ◎ While completedChangeJobs does not equal totalChangeJobs:

    1. ~IF［ %辿可能 の`入子な履歴~stepの適用-を走らせているか$nav ~EQ ~F ］： ◎ If traversable's running nested apply history step is false, then:

       1. %~algo集合 ~LET %辿可能 の`~session履歴~辿り~queue$navの`~algo集合$shTP ◎ ↓

       2. ~WHILE 無条件： ◎ While＼ ↓ traversable's session history traversal queue's algorithm set contains one or more synchronous navigation steps with a target navigable not contained in navigablesThatMustWaitBeforeHandlingSyncNavigation:

          1. %手続き ~LET %~algo集合 内に次を満たす`~item$は［ 在るならば それらのうち最初のもの／ 無いならば ε ］ ⇒ ［ `同期的な~navi手続き$shTPである ］~AND［ それが孕んでいる`~target~navigable$shTP ~NIN %同期c~naviを取扱う前に待機しなければならない~navigable群 ］ ◎ Let steps be the first item in traversable's session history traversal queue's algorithm set that is synchronous navigation steps with a target navigable not contained in navigablesThatMustWaitBeforeHandlingSyncNavigation.
          2. ~IF［ %手続き ~EQ ε ］ ⇒ ~BREAK ◎ ↑
          3. %~algo集合 から %手続き を`除去する$ ◎ Remove steps from traversable's session history traversal queue's algorithm set.
          4. %辿可能 の`入子な履歴~stepの適用-を走らせているか$nav ~SET ~T ◎ Set traversable's running nested apply history step to true.
          5. %手続き() ◎ Run steps.
          6. %辿可能 の`入子な履歴~stepの適用-を走らせているか$nav ~SET ~F ◎ Set traversable's running nested apply history step to false.

          注記： 同期的な~naviのうち［ この辿り より前に場を占めるよう意図されたもの ］は， この地点で当の~queueを~jumpするので、［ この辿りが，そのような~naviの文書を~unloadする ］場合でも，それより前に［ %辿可能 の`~session履歴~entry群$nav内の正しい箇所 ］に追加できる。 `詳細は、ここで見出せる＠#sync-navigation-steps-queue-jumping-examples$。 ◎ Synchronous navigations that are intended to take place before this traversal jump the queue at this point, so they can be added to the correct place in traversable's session history entries before this traversal potentially unloads their document. More details can be found here.

    2. %~navigableを変更している継続 ~LET %~navigableを変更している継続~群 から`~dequeueする$ ◎ Let changingNavigableContinuation be the result of dequeuing from changingNavigableContinuations.
    3. ~IF［ %~navigableを変更している継続 ~EQ ε ］ ⇒ ~CONTINUE ◎ If changingNavigableContinuation is nothing, then continue.
    4. %表示される文書 ~LET %~navigableを変更している継続 の`表示される文書$cnC ◎ Let displayedDocument be changingNavigableContinuation's displayed document.
    5. %~target~entry ~LET %~navigableを変更している継続 の`~target~entry$cnC ◎ Let targetEntry be changingNavigableContinuation's target entry.
    6. %~navigable ~LET %~navigableを変更している継続 の`~navigable$cnC ◎ Let navigable be changingNavigableContinuation's navigable.

    7. ( %~script履歴~長さ, %~script履歴~index ) ~LET `履歴~objの長さと~indexを取得する$( %辿可能, %~target~step ) ◎ Let (scriptHistoryLength, scriptHistoryIndex) be the result of getting the history object length and index given traversable and targetStep.

       注記： これらの値は、 最後に計算されたときから変化したかもしれない。 ◎ These values might have changed since they were last calculated.

    8. %同期c~naviを取扱う前に待機しなければならない~navigable群 に %~navigable を`付加する$ ◎ Append navigable to navigablesThatMustWaitBeforeHandlingSyncNavigation.

       注記： ある~navigableが，辿りにおいて この地点に達したなら、 追加的に~queueされた同期的な~navi手続きは， この辿り より［ 前ではなく，後 ］に生じるよう意図された見込みが高いので、 もはや~queueを~jumpしない。 詳細は、 `ここに見出せる＠#sync-navigation-steps-queue-jumping-examples$。 ◎ Once a navigable has reached this point in traversal, additionally queued synchronous navigation steps are likely to be intended to occur after this traversal rather than before it, so they no longer jump the queue. More details can be found here.

    9. %~navi~API用の~entry群 ~LET `~navi~API用に~session履歴~entry群を取得する$( %~navigable, %~target~step ) ◎ Let entriesForNavigationAPI be the result of getting session history entries for the navigation API given navigable and targetStep.

    10. ~IF［ %~navigableを変更している継続 の`更新のみか$cnC ~EQ ~T ］~OR［ %~target~entry の`文書$shE ~EQ %表示される文書 ］： ◎ If changingNavigableContinuation's update-only is true, or targetEntry's document is displayedDocument, then:

        注記： この場合、 同一-文書な~naviである — ~unloadすることなく続行する。 ◎ This is a same-document navigation: we proceed without unloading.

        1. `進行中な~naviを設定する$( %~navigable, ~NULL ) ◎ Set the ongoing navigation for navigable to null.

           注記： これは、［ %~navigable に対し新たな`~navi$を開始する ］ことを許容する — 一方で，辿りの間は、 それは阻まれる。 ◎ This allows new navigations of navigable to start, whereas during the traversal they were blocked.

        2. `大域~taskを~queueする$( `~naviと辿り~task~source$, %~navigable にて`作動中な~window$nav, 下に定義する `~unload後の手続き^i ) ◎ Queue a global task on the navigation and traversal task source given navigable's active window to perform afterPotentialUnloads.

    11. ~ELSE： ◎ Otherwise:

        1. ~Assert： %~navi種別 ~NEQ ~NULL ◎ Assert: navigationType is not null.
        2. `非同一-文書~navi用に文書を非作動化する$( ↓ ) ⇒＃ %表示される文書, %~navigate_ev~event用の利用者-関与i【！userNavigationInvolvement】, %~target~entry, %~navi種別, 下に定義する `~unload後の手続き^i ◎ Deactivate displayedDocument, given userNavigationInvolvement, targetEntry, navigationType, and afterPotentialUnloads.

        上で利用される `~unload後の手続き^i は： ◎ In both cases, let afterPotentialUnloads be the following steps:

        1. ~IF［ %~navigableを変更している継続 の`更新のみか$cnC ~EQ ~F ］ ⇒ `履歴~entryを作動化する$( %~target~entry, %~navigable ) ◎ If changingNavigableContinuation's update-only is false, then activate history entry targetEntry for navigable.
        2. %文書を更新する ~LET 次を遂行する手続き ⇒ `履歴~stepを適用するために文書を更新する$( ↓ ) ⇒＃ %~target~entry の`文書$shE, %~target~entry, %~navigableを変更している継続 の`更新のみか$cnC, %~script履歴~長さ, %~script履歴~index, %~navi種別, %~navi~API用の~entry群, %表示される~entry ◎ Let updateDocument be an algorithm step which performs update document for history step application given targetEntry's document, targetEntry, changingNavigableContinuation's update-only, scriptHistoryLength, scriptHistoryIndex, navigationType, entriesForNavigationAPI, and displayedEntry.
        3. ~IF［ %~target~entry の`文書$shE ~EQ %表示される文書 ］ ⇒ %文書を更新する() ◎ If targetEntry's document is equal to displayedDocument, then perform updateDocument.
        4. ~ELSE ⇒ `大域~taskを~queueする$( `~naviと辿り~task~source$, %~target~entry の`文書$shEに`関連な大域~obj$, %文書を更新する ) ◎ Otherwise, queue a global task on the navigation and traversal task source given targetEntry's document's relevant global object to perform updateDocument.
        5. %完了した変更~job数 ~INCBY 1 ◎ Increment completedChangeJobs.

15. %何も変更していない~jobの総数 ~LET %変更されていないが更新は必要な~navigable群 の`~size$ ◎ Let totalNonchangingJobs be the size of nonchangingNavigablesThatStillNeedUpdates.

    注記： この段の以降では、 それまでの演算~すべてが完了するまで，故意に待機する — それらは、 `同期的な~naviの処理＠#sync-navigations-jump-queue$を含むので。 この処理は、 履歴の［ 長さ, ~index ］を更新する~taskも~queueすることになる。 ◎ This step onwards deliberately waits for all the previous operations to complete, as they include processing synchronous navigations which will also post tasks to update history length and index.

16. %何も変更していない~jobのうち完了したものの総数 ~LET 0 ◎ Let completedNonchangingJobs be 0.
17. ( %~script履歴~長さ, %~script履歴~index ) ~LET `履歴~objの長さと~indexを取得する$( %辿可能, %~target~step ) ◎ Let (scriptHistoryLength, scriptHistoryIndex) be the result of getting the history object length and index given traversable and targetStep.

18. %変更されていないが更新は必要な~navigable群 を成す ~EACH( %~navigable ) に対し ⇒ `大域~taskを~queueする$( `~naviと辿り~task~source$, %~navigable にて`作動中な~window$nav, 次の手続き ) ◎ For each navigable of nonchangingNavigablesThatStillNeedUpdates, queue a global task on the navigation and traversal task source given navigable's active window＼

    手続きは： ◎ to run the steps:

    1. %文書 ~LET %~navigable にて`作動中な文書$nav ◎ Let document be navigable's active document.
    2. %文書 の`履歴~obj$の`~index$hsT ~SET %~script履歴~index ◎ Set document's history object's index to scriptHistoryIndex.
    3. %文書 の`履歴~obj$の`長さ$hsT ~SET %~script履歴~長さ ◎ Set document's history object's length to scriptHistoryLength.
    4. %何も変更していない~jobのうち完了したものの総数 ~INCBY 1 ◎ Increment completedNonchangingJobs.
19. 次が満たされるまで待機する ⇒ %何も変更していない~jobのうち完了したものの総数 ~EQ %何も変更していない~jobの総数 ◎ Wait for completedNonchangingJobs to equal totalNonchangingJobs.
20. %辿可能 の`現在の~session履歴~step$nav ~SET %~target~step ◎ Set traversable's current session history step to targetStep.
21. ~RET `適用された^i ◎ Return "applied".

`非同一-文書~navi用に文書を非作動化する@ ときは、 所与の ⇒＃ `文書$ %表示される文書, `~naviに対する利用者-関与i$ %~naviに対する利用者-関与i, `~session履歴~entry$ %~target~entry, `NavigationType$I %~navi種別, 引数をとらない~algo %~unload後の手続き ◎終 に対し： ◎ To deactivate a document for a cross-document navigation given a Document displayedDocument, a user navigation involvement userNavigationInvolvement, a session history entry targetEntry, a NavigationType navigationType, and afterPotentialUnloads, which is an algorithm that receives no arguments:

1. %~navigable ~LET %表示される文書 の`~node~navigable$ ◎ Let navigable be displayedDocument's node navigable.
2. %~view遷移を誘発し得るか ~LET ~F ◎ Let potentiallyTriggerViewTransition be false.
3. %~browser~UIによる~naviか ~LET ~IS［ %~naviに対する利用者-関与i ~EQ `~browser~UI$i ］ ◎ Let isBrowserUINavigation be true if userNavigationInvolvement is "browser UI"; otherwise false.
4. %~view遷移を誘発し得るか ~SET `~naviは非同一-文書な~view遷移を誘発し得るか？$( ↓ ) ⇒＃ %表示される文書, %~target~entry の`文書$shE, %~navi種別, %~browser~UIによる~naviか ◎ Set potentiallyTriggerViewTransition to the result of calling can navigation trigger a cross-document view-transition? given displayedDocument, targetEntry's document, navigationType, and isBrowserUINavigation.

5. ~IF［ %~view遷移を誘発し得るか ~EQ ~F ］： ◎ If potentiallyTriggerViewTransition is false, then:

   1. %~unload前に~pageswap_evを発火する手続き ~LET 次を走らす手続き ⇒ `~pageswap_ev~eventを発火する$( ↓ ) ⇒＃ %表示される文書, %~target~entry, %~navi種別, ~NULL ◎ Let firePageSwapBeforeUnload be the following step: • Fire the pageswap event given displayedDocument, targetEntry, navigationType, and null.

   2. `進行中な~naviを設定する$( %~navigable, ~NULL ) ◎ Set the ongoing navigation for navigable to null.

      注記： これは、［ %~navigable に対し新たな`~navi$を開始する ］ことを許容する — 一方で，辿りの間は、 それは阻まれる。 ◎ This allows new navigations of navigable to start, whereas during the traversal they were blocked.

   3. `文書とその子孫たちを~unloadする$( ↓ ) ⇒＃ %表示される文書, %~target~entry の`文書$shE, %~unload後の手続き, %~unload前に~pageswap_evを発火する手続き ◎ Unload a document and its descendants given displayedDocument, targetEntry's document, afterPotentialUnloads, and firePageSwapBeforeUnload.

6. ~ELSE ⇒ `大域~taskを~queueする$( `~naviと辿り~task~source$, %~navigable にて`作動中な~window$nav, 次の手続き ) ◎ Otherwise, queue a global task on the navigation and traversal task source given navigable's active window to＼

   手続きは： ◎ run the steps:

   1. %~view遷移~捕捉-後も~naviと伴に続行する手続き ~LET 次の手続き： ◎ Let proceedWithNavigationAfterViewTransitionCapture be the following step:

      1. `~session履歴~辿り手続きを付加する$( %~navigable の`辿可能な~navigable$nav, 次の手続き ) ◎ Append the following session history traversal steps to navigable's traversable navigable:

         手続きは： ◎ ↑

         1. `進行中な~naviを設定する$( %~navigable, ~NULL ) ◎ Set the ongoing navigation for navigable to null.

            注記： これは、［ %~navigable に対し新たな`~navi$を開始する ］ことを許容する — 一方で，辿りの間は、 それは阻まれる。 ◎ This allows new navigations of navigable to start, whereas during the traversal they were blocked.

         2. `文書とその子孫たちを~unloadする$( ↓ ) ⇒＃ %表示される文書, %~target~entry の`文書$shE, %~unload後の手続き ◎ Unload a document and its descendants given displayedDocument, targetEntry's document, and afterPotentialUnloads.
   2. %~view遷移 ~LET `非同一-文書な~view遷移を設定しておく$( ↓ ) ⇒＃ %表示される文書, %~target~entry の`文書$shE, %~navi種別, %~view遷移~捕捉-後も~naviと伴に続行する手続き ◎ Let viewTransition be the result of setting up a cross-document view-transition given displayedDocument, targetEntry's document, navigationType, and proceedWithNavigationAfterViewTransitionCapture.
   3. `~pageswap_ev~eventを発火する$( ↓ ) ⇒＃ %表示される文書, %~target~entry, %~navi種別, %~view遷移 ◎ Fire the pageswap event given displayedDocument, targetEntry, navigationType, and viewTransition.

   4. ~IF［ %~view遷移 ~EQ ~NULL ］ ⇒ %~view遷移~捕捉-後も~naviと伴に続行する手続き() ◎ If viewTransition is null, then run proceedWithNavigationAfterViewTransitionCapture.

      注記： ~view遷移が開始-済みな事例では、 %~view遷移~捕捉-後も~naviと伴に続行する手続き を~callする責務は、 ~view遷移~algoにある。 ◎ In the case where a view transition started, the view transitions algorithms are responsible for calling proceedWithNavigationAfterViewTransitionCapture.

`~pageswap_ev~eventを発火する@ 所与の ⇒＃ `文書$ %表示される文書, `~session履歴~entry$ %~target~entry, `NavigationType$I %~navi種別, ［`ViewTransition$I ／ ~NULL］ %~view遷移 ◎終 に対し： ◎ To fire the pageswap event given a Document displayedDocument, a session history entry targetEntry, a NavigationType navigationType, and a ViewTransition-or-null viewTransition:

1. ~Assert： これは、［ %表示される文書 に`関連な~agent$の`~event~loop$aGに対し~queueされた`~task$ ］を成す一部として走っている。 ◎ Assert: this is running as part of a task queued on displayedDocument's relevant agent's event loop.
2. %~navi ~LET %表示される文書 に`関連な大域~obj$の`~navi~API$ ◎ Let navigation be displayedDocument's relevant global object's navigation API.
3. %作動化 ~LET ~NULL ◎ Let activation be null.

4. ~IF［ ~AND↓ ］： ◎ If all of the following are true:

   • %~target~entry の`文書$shEの`生成元$doc ~EQ`生成元$sub %表示される文書 の`生成元$doc ◎ targetEntry's document's origin is same origin with displayedDocument's origin; and
   • ［ %~target~entry の`文書$shEの`非同一-生成元~redirectを介して作成されたか$doc ~EQ ~F ］~OR［ %~target~entry の`文書$shEの`最近の~entry$ ~NEQ ~NULL ］ ◎ targetEntry's document's was created via cross-origin redirects is false, or targetEntry's document's latest entry is not null,

   …ならば： ◎ then:

   1. %行先~entry ~LET %~navi種別 に応じて： ◎ Let destinationEntry be determined by switching on navigationType:

      • `reload$l ⇒ `~naviの現在の~entry$( %~navi ) ◎ "reload" • The current entry of navigation
      • `traverse$l ⇒ %~navi の`~entry~list$nV 内の次を満たす `NavigationHistoryEntry$I ⇒ その`~session履歴~entry$nhe ~EQ %~target~entry ◎ "traverse" • The NavigationHistoryEntry in navigation's entry list whose session history entry is targetEntry
      • `push$l ／ `replace$l ⇒ `新たな~obj$( `NavigationHistoryEntry$I, %表示される文書 に`関連な~realm$ ) — その ⇒＃ `~session履歴~entry$nhe ~SET %~target~entry ◎ "push" "replace" • A new NavigationHistoryEntry in displayedDocument's relevant realm with its session history entry set to targetEntry.
   2. %作動化 ~SET `新たな~obj$( `NavigationActivation$I, %表示される文書 に`関連な~realm$ ) — その ⇒＃ `旧-~entry$nA ~SET `~naviの現在の~entry$( %~navi ), `新-~entry$nA ~SET %行先~entry, `~navi種別$nA ~SET %~navi種別 ◎ Set activation to a new NavigationActivation created in displayedDocument's relevant realm, with • old entry •• the current entry of navigation • new entry •• destinationEntry • navigation type •• navigationType

   注記： このことは、［ ~naviの間に非同一-生成元な~redirectがあった場合 ］には、［ 新-文書が`~BF~cache$から復旧されている場合 ］を除き，［ 旧-文書の `PageSwapEvent$I における `activation$mPSe は ~NULL になる ］ことを意味する。 ◎ This means that a cross-origin redirect during a navigation would result in a null activation in the old document's PageSwapEvent, unless the new document is being restored from bfcache.

5. `~eventを発火する$( %表示される文書 に`関連な大域~obj$, `pageswap$et, `PageSwapEvent$I ) — 次のように初期化して ⇒＃ `activation$mPSe ~SET %作動化, `viewTransition$mPSe ~SET %~view遷移 ◎ Fire an event named pageswap at displayedDocument's relevant global object, using PageSwapEvent with its activation set to activation, and its viewTransition set to viewTransition.

`履歴~entryを作動化する@ ときは、 所与の ( `~session履歴~entry$ %~entry, `~navigable$ %~navigable ) に対し： ◎ To activate history entry session history entry entry for navigable navigable:

1. `履歴~entryに持続される状態を保存する$( `~navigable$にて`作動中な~entry$nav ) ◎ Save persisted state to the navigable's active session history entry.
2. %新たな文書 ~LET %~entry の`文書$shE ◎ Let newDocument be entry's document.

3. ~Assert： %新たな文書 の`初期~about_blankか$doc ~EQ ~F ◎ Assert: newDocument's is initial about:blank is false,＼

   すなわち、 `初期~about_blank な文書$へ戻るよう辿ることは，決してない — それは、 他所へ~navigateするときに，常に`置換される＠#navigate-convert-to-replace$ので。 ◎ i.e., we never traverse back to the initial about:blank Document because it always gets replaced when we navigate away from it.

4. %~navigable にて`作動中な~entry$nav ~SET %~entry ◎ Set navigable's active session history entry to entry.
5. `文書を作動中にする$( %新たな文書 ) ◎ Make active newDocument.

`利用された~stepを取得する@ ときは、 所与の ( `辿可能な~navigable$ %辿可能, 負でない整数 %~step ) に対し， 次の手続きを遂行する — これは、 負でない整数を返す： ◎ To get the used step given a traversable navigable traversable, and a non-negative integer step, perform the following steps. They return a non-negative integer.

1. %~step群 ~LET `利用されたすべての履歴~stepを取得する$( %辿可能 ) ◎ Let steps be the result of getting all used history steps within traversable.

2. ~RET %~step群 を成す`~item$のうち， 【その`~step$shEが】 %~step 以下かつ最~大なもの ◎ Return the greatest item in steps that is less than or equal to step.

   注記： これは、［ `~navigable$の除去に因り， `~step$shE %~step を伴う`~session履歴~entry$は無い状況 ］をまかなう。 ◎ This caters for situations where there's no session history entry with step step, due to the removal of a navigable.

`履歴~objの長さと~indexを取得する@ ときは、 所与の ( `辿可能な~navigable$ %辿可能, 負でない整数 %~step ) に対し， 次の手続きを遂行する — これは、 2 個の負でない整数からなる`~tuple$を返す： ◎ To get the history object length and index given a traversable navigable traversable, and a non-negative integer step, perform the following steps. They return a tuple of two non-negative integers.

1. %~step群 ~LET `利用されたすべての履歴~stepを取得する$( %辿可能 ) ◎ Let steps be the result of getting all used history steps within traversable.
2. %~script履歴~長さ ~LET %~step群 の`~size$ ◎ Let scriptHistoryLength be the size of steps.

3. ~Assert： %~step ~IN %~step群 ◎ Assert: steps contains step.

   注記： `利用された~stepを取得する$ことにより， %~step は調整-済みと見做される。 【？】 ◎ It is assumed that step has been adjusted by getting the used step.

4. %~script履歴~index ~LET %~step群 における %~step の~index ◎ Let scriptHistoryIndex be the index of step in steps.
5. ~RET ( %~script履歴~長さ, %~script履歴~index ) ◎ Return (scriptHistoryLength, scriptHistoryIndex).

`現在の~session履歴~entryが変更されるか読込直される~navigableをすべて取得する@ ときは、 所与の ( `辿可能な~navigable$ %辿可能, 負でない整数 %~target~step ) に対し，次の手続きを遂行する — これは、 `~navigable$たちが成す`~list$を返す： ◎ To get all navigables whose current session history entry will change or reload given a traversable navigable traversable, and a non-negative integer targetStep, perform the following steps. They return a list of navigables.

1. %結果~群 ~LET 新たな`~list$ ◎ Let results be an empty list.

2. %検査する~navigable群 ~LET « %辿可能 » ◎ Let navigablesToCheck be « traversable ».

   注記： この~listは、 以下の~loop内で拡張される。 ◎ This list is extended in the loop below.

3. %検査する~navigable群 を成す ~EACH( %~navigable ) に対し： ◎ For each navigable of navigablesToCheck:

   1. %~target~entry ~LET `~target履歴~entryを取得する$( %~navigable, %~target~step ) ◎ Let targetEntry be the result of getting the target history entry given navigable and targetStep.
   2. ~IF［ %~target~entry ~NEQ %~navigable の`現在の~session履歴~entry$nav ］~OR［ %~target~entry の`文書~状態$shEの`再読込みは処理待ちか$dS ~EQ ~T ］ ⇒ %結果~群 に %~navigable を`付加する$ ◎ If targetEntry is not navigable's current session history entry or targetEntry's document state's reload pending is true, then append navigable to results.

   3. ~IF［ %~target~entry の`文書$shE ~EQ %~navigable にて`作動中な文書$nav ］~AND［ %~target~entry の`文書~状態$shEの`再読込みは処理待ちか$dS ~EQ ~F ］ ⇒ %検査する~navigable群 を %~navigable の`子~navigable群$で`拡張する$ ◎ If targetEntry's document is navigable's document, and targetEntry's document state's reload pending is false, then extend navigablesToCheck with the child navigables of navigable.

      注記： `子~navigable$たちは，［ %~navigable にて`作動中な文書$navが，この辿りの一部として変更されない場合 ］に限り追加され、 その結果，この~loop内で検査されるようになる。 ◎ Adding child navigables to navigablesToCheck means those navigables will also be checked by this loop. Child navigables are only checked if the navigable's active document will not change as part of this traversal.

4. ~RET %結果~群 ◎ Return results.

`履歴~objの長さか~indexの更新に限り必要になる~navigableをすべて取得する@ ときは、 所与の ( `辿可能な~navigable$ %辿可能, 負でない整数 %~target~step ) に対し，次の手続きを遂行する — これは、 `~navigable$たちが成す`~list$を返す： ◎ To get all navigables that only need history object length/index update given a traversable navigable traversable, and a non-negative integer targetStep, perform the following steps. They return a list of navigables.

注記： 他の`~navigable$は、 当の辿りにより影響iされないかもしれない。 例えば，応答が `204$hst であった場合、 現在~作動中な文書は，そのままであり続けることになる。 加えて、 `204^hst の後に “戻った” とすると， `現在の~session履歴~entry$navは変更されるが， `作動中な~entry$navは，すでに正しいものになる。 ◎ Other navigables might not be impacted by the traversal. For example, if the response is a 204, the currently active document will remain. Additionally, going 'back' after a 204 will change the current session history entry, but the active session history entry will already be correct.

1. %結果~群 ~LET 新たな`~list$ ◎ Let results be an empty list.

2. %検査する~navigable群 ~LET « %辿可能 » ◎ Let navigablesToCheck be « traversable ».

   注記： この~listは、 以下の~loop内で拡張される。 ◎ This list is extended in the loop below.

3. %検査する~navigable群 を成す ~EACH( %~navigable ) に対し： ◎ For each navigable of navigablesToCheck:

   1. %~target~entry ~LET `~target履歴~entryを取得する$( %~navigable, %~target~step ) ◎ Let targetEntry be the result of getting the target history entry given navigable and targetStep.

   2. ~IF［ %~target~entry ~EQ %~navigable の`現在の~session履歴~entry$nav ］~AND［ %~target~entry の`文書~状態$shEの`再読込みは処理待ちか$dS ~EQ ~F ］： ◎ If targetEntry is navigable's current session history entry and targetEntry's document state's reload pending is false, then:

      1. %結果~群 に %~navigable を`付加する$ ◎ Append navigable to results.
      2. %検査する~navigable群 を %~navigable の`子~navigable群$で`拡張する$ ◎ Extend navigablesToCheck with navigable's child navigables.

      注記： `子~navigable$たちは，［ %~navigable にて`作動中な文書$navが，この辿りの一部として変更されない場合 ］に限り追加され、 その結果，この~loop内で検査されるようになる。 ◎ Adding child navigables to navigablesToCheck means those navigables will also be checked by this loop. child navigables are only checked if the navigable's active document will not change as part of this traversal.

4. ~RET %結果~群 ◎ Return results.

`~target履歴~entryを取得する@ ときは、 所与の ( `~navigable$ %~navigable, 負でない整数 %~step ) に対し，次の手続きを遂行する — これは、 `~session履歴~entry$を返す： ◎ To get the target history entry given a navigable navigable, and a non-negative integer step, perform the following steps. They return a session history entry.

1. %~entry群 ~LET `~session履歴~entry群を取得する$( %~navigable ) ◎ Let entries be the result of getting session history entries for navigable.
2. ~RET %~entry群 内の`~item$のうち， その`~step$shEが %~step 以下かつ最~大なもの ◎ Return the item in entries that has the greatest step less than or equal to step.

`非同一-文書の辿りを経るかもしれない~navigableをすべて取得する@ ときは、 所与の ( `辿可能な~navigable$ %辿可能, 負でない整数 %~target~step ) に対し， 次の手続きを遂行する — これは、 `~navigable$たちが成す`~list$を返す： ◎ To get all navigables that might experience a cross-document traversal given a traversable navigable traversable, and a non-negative integer targetStep, perform the following steps. They return a list of navigables.

1. %結果~群 ~LET 新たな`~list$ ◎ Let results be an empty list.

2. %検査する~navigable群 ~LET « %辿可能 » ◎ Let navigablesToCheck be « traversable ».

   注記： この~listは、 以下の~loop内で拡張される。 ◎ This list is extended in the loop below.

3. %検査する~navigable群 を成す ~EACH( %~navigable ) に対し： ◎ For each navigable of navigablesToCheck:

   1. %~target~entry ~LET `~target履歴~entryを取得する$( %~navigable, %~target~step ) ◎ Let targetEntry be the result of getting the target history entry given navigable and targetStep.

   2. ~IF［ %~target~entry の`文書$shE ~NEQ %~navigable にて`作動中な文書$nav ］~OR［ %~target~entry の`文書~状態$shEの`再読込みは処理待ちか$dS ~EQ ~T ］ ⇒ %結果~群 に %~navigable を`付加する$ ◎ If targetEntry's document is not navigable's document or targetEntry's document state's reload pending is true, then append navigable to results.

      注記： %~navigable にて`作動中な~entry$navは，同期的に変更され得るが、 新たな~entryは，常に同じ`文書$を有するので、 %~navigable にて`作動中な文書$navに対しては，依拠-可能に~accessできる。 ◎ Although navigable's active history entry can change synchronously, the new entry will always have the same Document, so accessing navigable's document is reliable.

   3. ~ELSE ⇒ %検査する~navigable群 を %~navigable の`子~navigable群$で`拡張する$ ◎ Otherwise, extend navigablesToCheck with navigable's child navigables.

      注記： `子~navigable$たちは，［ %~navigable にて`作動中な文書$navが，この辿りの一部として変更されない場合 ］に限り追加され、 その結果，この~loop内で検査されるようになる。 ◎ Adding child navigables to navigablesToCheck means those navigables will also be checked by this loop. Child navigables are only checked if the navigable's active document will not change as part of this traversal.

4. ~RET %結果~群 ◎ Return results.

`履歴~stepを適用するために文書を更新する@ ときは、 所与の ⇒＃ `文書$ %文書, `~session履歴~entry$ %~entry, 真偽値 %作動化し直さないか, 整数 %~script履歴~長さ, 整数 %~script履歴~index, ［ `NavigationType$I ／ ~NULL ］%~navi種別, `~session履歴~entry$たちが成す`~list$ %~navi~API用の~entry群（省略時は ε ）, `~session履歴~entry$ %作動化~用の直前~entry（省略時は ε ） ◎終 に対し： ◎ To update document for history step application given a Document document, a session history entry entry, a boolean doNotReactivate, integers scriptHistoryLength and scriptHistoryIndex, NavigationType-or-null navigationType, an optional list of session history entries entriesForNavigationAPI, and an optional session history entry previousEntryForActivation:

1. %新たな文書か ~LET ~IS［ %文書 の`最近の~entry$ ~EQ ~NULL ］ ◎ Let documentIsNew be true if document's latest entry is null; otherwise false.
2. %文書たちの~entryは変化したか ~LET ~IS［ %文書 の`最近の~entry$ ~NEQ %~entry ］ ◎ Let documentsEntryChanged be true if document's latest entry is not entry; otherwise false.
3. %文書 の`履歴~obj$の`~index$hsT ~SET %~script履歴~index ◎ Set document's history object's index to scriptHistoryIndex.
4. %文書 の`履歴~obj$の`長さ$hsT ~SET %~script履歴~長さ ◎ Set document's history object's length to scriptHistoryLength.
5. %~navi ~LET %履歴 に`関連な大域~obj$の`~navi~API$ ◎ Let navigation be history's relevant global object's navigation API.

6. ~IF［ %文書たちの~entryは変化したか ~EQ ~T ］： ◎ If documentsEntryChanged is true, then:

   1. %旧-~URL ~LET %文書 の`最近の~entry$の`~URL$shE ◎ Let oldURL be document's latest entry's URL.
   2. %文書 の`最近の~entry$ ~SET %~entry ◎ Set document's latest entry to entry.
   3. `履歴~objの状態を復旧する$( %文書, %~entry ) ◎ Restore the history object state given document and entry.

   4. ~IF［ %新たな文書か ~EQ ~F ］： ◎ If documentIsNew is false, then:

      1. ~Assert： %~navi種別 ~NEQ ~NULL ◎ Assert: navigationType is not null.
      2. `同一-文書~navi用に~navi~API~entry群を更新する$( %~navi, %~entry, %~navi種別 ) ◎ Update the navigation API entries for a same-document navigation given navigation, entry, and navigationType.

      3. `~eventを発火する$( %文書 に`関連な大域~obj$, `popstate$et, `PopStateEvent$I ) — 次のように初期化して： ◎ Fire an event named popstate at document's relevant global object, using PopStateEvent, with＼

         • `state＠~WINDOW#dom-popstateevent-state$m 属性 ~SET %文書 の`履歴~obj$の`状態$hsT ◎ the state attribute initialized to document's history object's state and＼
         • `hasUAVisualTransition＠~WINDOW#dom-popstateevent-hasuavisualtransition$m 属性 ~SET ~IS［ ~UAは~cacheしてあった［ %文書 の`最近の~entry$が描画された状態 ］を表示するための視覚的な遷移を行った ］ ◎ hasUAVisualTransition initialized to true if a visual transition, to display a cached rendered state of the latest entry, was done by the user agent.
      4. `履歴~entryから持続された状態を復旧する$( %~entry ) ◎ Restore persisted state given entry.

      5. ~IF［ %旧-~URL の`素片$url ~NEQ %~entry の`~URL$shEの`素片$url ］ ⇒ `大域~taskを~queueする$( `~DOM操作~task~source$, %文書 に`関連な大域~obj$, 次の手続き ) ◎ If oldURL's fragment is not equal to entry's URL's fragment, then queue a global task on the DOM manipulation task source given document's relevant global object to＼

         手続きは ⇒ `~eventを発火する$( %文書 に`関連な大域~obj$, `hashchange$et, `HashChangeEvent$I ) — 次のように初期化して ⇒＃ `oldURL＠~WINDOW#dom-hashchangeevent-oldurl$m 属性 ~SET `~URLを直列化する$( %旧-~URL ), `newURL＠~WINDOW#dom-hashchangeevent-newurl$m 属性 ~SET `~URLを直列化する$( %~entry の`~URL$shE ) ◎ fire an event named hashchange at document's relevant global object, using HashChangeEvent, with the oldURL attribute initialized to the serialization of oldURL and the newURL attribute initialized to the serialization of entry's URL.

   5. ~ELSE： ◎ Otherwise:

      1. ~Assert： %~navi~API用の~entry群 ~NEQ ε ◎ Assert: entriesForNavigationAPI is given.
      2. `履歴~entryから持続された状態を復旧する$( %~entry ) ◎ Restore persisted state given entry.
      3. `新たな文書~用に~navi~API~entry群を初期化する$( %~navi, %~navi~API用の~entry群, %~entry ) ◎ Initialize the navigation API entries for a new document given navigation, entriesForNavigationAPI, and entry.

7. ~IF［ ~AND↓ ］… ◎ If all the following are true:

   • %作動化~用の直前~entry ~NEQ ε ◎ previousEntryForActivation is given;
   • %~navi種別 ~NEQ ~NULL ◎ navigationType is non-null; and
   • ［ %~navi種別 ~EQ `reload$l ］~OR［ %作動化~用の直前~entry の`文書$shE ~NEQ %文書 ］ ◎ navigationType is "reload" or previousEntryForActivation's document is not document

   …ならば： ◎ then:

   1. %作動化 ~LET %~navi の`作動化$ 【この段は、この訳による補完】

   2. ~IF［ %作動化 ~EQ ~NULL ］：

      1. %作動化 ~SET `新たな~obj$( `NavigationActivation$I, %~navi に`関連な~realm$ )
      2. %作動化 の`旧-~entry$nA ~SET ~NULL 【この段は、この訳による補完】
      3. %~navi の`作動化$ ~SET %作動化
      ◎ If navigation's activation is null, then set navigation's activation to a new NavigationActivation object in navigation's relevant realm.
   3. %直前~entryの~index ~LET `~navi~API~entry~indexを取得する$( %~navi, %作動化~用の直前~entry ) ◎ Let previousEntryIndex be the result of getting the navigation API entry index of previousEntryForActivation within navigation.
   4. ~IF［ %直前~entryの~index ~GTE 0 ］ ⇒ %作動化 の`旧-~entry$nA ~SET %~navi の`~entry~list$nV[ %直前~entryの~index ] ◎ If previousEntryIndex is non-negative, then set activation's old entry to navigation's entry list[previousEntryIndex].

   5. ~ELIF［ ~AND↓ ］… ◎ Otherwise, if all the following are true:

      • %~navi種別 ~EQ `replace$l ◎ navigationType is "replace";
      • %作動化~用の直前~entry の`文書~状態$shEの`生成元$dS %生成元 は次を満たす ⇒ ［ %生成元 ~NEQ ~NULL ］~AND［ %生成元 ~EQ`生成元$sub %文書 の`生成元$doc ］ ◎ previousEntryForActivation's document state's origin is same origin with document's origin; and
      • %作動化~用の直前~entry の`文書$shEの`初期~about_blankか$doc ~EQ ~F ◎ previousEntryForActivation's document's initial about:blank is false,

      …ならば ⇒ %作動化 の`旧-~entry$nA ~SET `新たな~obj$( `NavigationHistoryEntry$I, %~navi に`関連な~realm$ ) — その ⇒＃ `~session履歴~entry$nhe ~SET %作動化~用の直前~entry ◎ then set activation's old entry to a new NavigationHistoryEntry in navigation's relevant realm, whose session history entry is previousEntryForActivation.

   6. %作動化 の`新-~entry$nA ~SET `~naviの現在の~entry$( %~navi ) ◎ Set activation's new entry to navigation's current entry.
   7. %作動化 の`~navi種別$nA ~SET %~navi種別 ◎ Set activation's navigation type to navigationType.

8. ~IF［ %新たな文書か ~EQ ~T ］： ◎ If documentIsNew is true, then:

   1. `素片へ~scrollしようと試行する$( %文書 ) ◎ Try to scroll to the fragment for document.
   2. この時点で、 %文書 は `~scriptを走らせてもよい@ とされる。 ◎ At this point scripts may run for the newly-created document document.

9. ~ELIF［ %文書たちの~entryは変化したか ~EQ ~F ］~AND［ %作動化し直さないか ~EQ ~F ］： ◎ Otherwise, if documentsEntryChanged is false and doNotReactivate is false, then:

   1. ~Assert： %~navi~API用の~entry群 ~NEQ ε ◎ Assert: entriesForNavigationAPI is given.
   2. `文書を作動化し直す$( %文書, %~entry, %~navi~API用の~entry群 ) ◎ Reactivate document given entry and entriesForNavigationAPI.

   注記： %文書たちの~entryは変化したか が ~F をとり得るのは、 次のいずれかの理由による：

   • `~BF~cache$から復旧している／
   • すでに %文書 の`最近の~entry$を同期的に設定した同期的な~naviを非同期的に完遂している

   引数 %作動化し直さないか は、 この どちらの事例なのかを判別する。

   ◎ documentsEntryChanged can be false for one of two reasons: either we are restoring from bfcache, or we are asynchronously finishing up a synchronous navigation which already synchronously set document's latest entry. The doNotReactivate argument distinguishes between these two cases.

`履歴~objの状態を復旧する@ ときは、 所与の ( `文書$ %文書, `~session履歴~entry$ %~entry ) に対し： ◎ To restore the history object state given Document document and session history entry entry:

1. %宛先~realm ~LET %文書 に`関連な~realm$ ◎ Let targetRealm be document's relevant realm.
2. %状態 ~LET ~NULL ◎ ↓
3. ~IF［ %~entry の`古典~履歴~API用の状態$shE ~NEQ ~NULL ］ ⇒ %状態 ~SET `StructuredDeserialize$jA( %~entry の`古典~履歴~API用の状態$shE, %宛先~realm ) ⇒ 例外が投出されたときは、 ~catchする（ %状態 ~EQ ~NULL のまま） ◎ Let state be StructuredDeserialize(entry's classic history API state, targetRealm). If this throws an exception, catch it and let state be null.
4. %文書 の`履歴~obj$の`状態$hsT ~SET %状態 ◎ Set document's history object's state to state.

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

1. %~window ~LET %文書 に`関連な大域~obj$ ◎ Let window be document's relevant global object.
2. ［ %文書 が`属する閲覧~文脈$の `WindowProxy$I ］の `Window$sl 内部~slot ~SET %~window ◎ Set document's browsing context's WindowProxy's [[Window]] internal slot value to window.
3. %文書 の`可視性~状態$doc ~SET %文書 の`~node~navigable$の`辿可能な~navigable$navの`~system可視性~状態$nav ◎ Set document's visibility state to document's node navigable's traversable navigable's system visibility state.
4. %処理能~entry ~LET `新たな~obj$( `VisibilityStateEntry$I, 【 %文書 に`関連な~realm$】 ) ◎ ↓
5. %処理能~entry の ⇒＃ `可視性~状態$vsE ~SET %文書 の`可視性~状態$doc, `時刻印$vsE ~SET 0 ◎ ↓
6. `処理能~entryを~queueする$( %処理能~entry ) ◎ Queue a new VisibilityStateEntry whose visibility state is document's visibility state and whose timestamp is zero.
7. %~window に`関連な設定群~obj$の`実行は準備済みか$enV ~SET ~T ◎ Set window's relevant settings object's execution ready flag.

`文書を作動化し直す@ ときは、 所与の ⇒＃ `文書$ %文書, `~session履歴~entry$ %作動化し直される~entry, `~session履歴~entry$たちが成す`~list$ %~navi~API用の~entry群 ◎終 に対し： ◎ To reactivate a Document document given a session history entry reactivatedEntry and a list of session history entries entriesForNavigationAPI:

注記： この~algoは、 %文書 を`~BF~cache$から取り出した後 — すなわち， %文書 が再び`全部的に作動中$にされた後 — に %文書 を更新する。 他の仕様は，この［ `全部的に作動中$な状態への変化 ］を注視したいと求めるなら、［ 当の変化による効果にて起こる~eventたち ］の順序付けが明瞭になるよう，［ この~algoの中へ手続きを追加する ］ことが奨励される。 ◎ This algorithm updates document after it has come out of bfcache, i.e., after it has been made fully active again. Other specifications that want to watch for this change to the fully active state are encouraged to add steps into this algorithm, so that the ordering of events that happen in effect of the change is clear.

1. %文書 内の ~EACH( 【`再設定-可能$な要素】 %~form~control ) に対し ⇒ ~IF［ %~form~control の`~autofill欄~名$ ~EQ "`off$v" ］ ⇒ %~form~control 用の`再設定する~algo$() ◎ For each formControl of form controls in document with an autofill field name of "off", invoke the reset algorithm for formControl.

2. ~IF［ %文書 の`休止された~timer~handle群$docは`空$でない ］： ◎ If document's suspended timer handles is not empty:

   1. ~Assert： %文書 の`休止~時刻$doc ~NEQ 0 ◎ Assert: document's suspension time is not zero.
   2. %休止-所要時間 ~LET `現在の高分解能~時刻$( 【%文書 に`関連な大域~obj$】 ) ~MINUS %文書 の`休止~時刻$doc ◎ Let suspendDuration be the current high resolution time minus document's suspension time.
   3. %作動中な~timer群 ~LET %文書 に`関連な大域~obj$にて`作動中な~timer群が成す~map$ ◎ Let activeTimers be document's relevant global object's map of active timers.
   4. %文書 の`休止された~timer~handle群$docを成す ~EACH( %~handle ) に対し ⇒ ~IF［ %作動中な~timer群[ %~handle ] ~NEQ ε ］ ⇒ %作動中な~timer群[ %~handle ] ~INCBY %休止-所要時間 ◎ For each handle in document's suspended timer handles, if activeTimers[handle] exists, then increase activeTimers[handle] by suspendDuration.
3. `再~作動化~用に~navi~API~entry群を更新する$( ↓ ) ⇒＃ %文書 に`関連な大域~obj$の`~navi~API$, %~navi~API用の~entry群, %作動化し直される~entry ◎ Update the navigation API entries for reactivation given document's relevant global object's navigation API, entriesForNavigationAPI, and reactivatedEntry.

4. ~IF［ %文書 の`現在の準備度$doc ~EQ `complete^l ］~AND［ %文書 の`~pageを示しているか$doc ~EQ ~F ］： ◎ If document's current document readiness is "complete", and document's page showing flag is false, then:

   1. %文書 の`~pageを示しているか$doc ~SET ~T ◎ Set document's page showing flag to true.
   2. %文書 の`露呈されたか$doc ~SET ~F ◎ Set document's has been revealed to false.
   3. `可視性~状態を更新する$( %文書, `visible^l ) ◎ Update the visibility state of document to "visible".
   4. `~page遷移~eventを発火する$( %文書 に`関連な大域~obj$, `pageshow$et, ~T ) ◎ Fire a page transition event named pageshow at document's relevant global object with true.

`素片へ~scrollしようと試行する@ ときは、 所与の ( `文書$ %文書 ) に対し，次の手続きを`並列的$に遂行する： ◎ To try to scroll to the fragment for a Document document, perform the following steps in parallel:

1. `実装定義$な量の時間だけ待機する （これには、［ ~UAが処理能の懸念に直面したとき，利用者~体験を最適化する ］ことを許容することが意図される。） ◎ Wait for an implementation-defined amount of time. (This is intended to allow the user agent to optimize the user experience in the face of performance concerns.)

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

   手続きは： ◎ to run these steps:

   1. ~IF［ %文書 には構文解析器は無い ］~OR［ %文書 の構文解析器は`構文解析を停止-$した ］~OR［ ~UAには［ 利用者が`素片$urlへ~scrollすることに もはや関心を失った ］と予見する理由がある ］ ⇒ ~RET ◎ If document 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 abort these steps.
   2. `素片へ~scrollする$( %文書 ) ◎ Scroll to the fragment given document.
   3. ~IF［ %文書 の`指示された部位$doc ~EQ ~NULL ］ ⇒ `素片へ~scrollしようと試行する$( %文書 ) ◎ If document's indicated part is still null, then try to scroll to the fragment for document.

`文書を回復不能にする@ ときは、 所与の ( `文書$ %文書, 文字列 %事由 ) に対し： ◎ To make document unsalvageable, given a Document document and a string reason:

1. %詳細 ~LET 新たな`復旧されない事由の詳細$ — その ⇒＃ `事由~文字列$nrrd ~SET %事由 ◎ Let details be a new not restored reason details whose reason is reason.
2. %文書 の`~BF~cacheを阻んでいる詳細$docに %詳細 を`付加する$set ◎ Append details to document's bfcache blocking details.
3. %文書 の`回復可能か$doc ~SET ~F ◎ Set document's salvageable state to false.

`文書~状態~用に復旧されない事由~群を築く@ ときは、 所与の ( `文書$ %文書 ) に対し： ◎ To build not restored reasons for document state given Document document:

1. %文書~用の復旧されない事由~群 ~LET 新たな`復旧されない事由~群$ ◎ Let notRestoredReasonsForDocument be a new not restored reasons.
2. %文書~用の復旧されない事由~群 の`~URL$nrr ~SET %文書 の`~URL$doc ◎ Set notRestoredReasonsForDocument's URL to document's URL.
3. %容器 ~LET %文書 の`~node~navigable$の`容器$nav
4. ~IF［ %容器 は `iframe$e 要素である ］ ⇒ %文書~用の復旧されない事由~群 の ⇒＃ `~source$nrr ~SET %容器 の `src$aF 属性の値, `~ID$nrr ~SET %容器 の `id$a 属性の値, `名前$nrr ~SET %容器 の `name$aF 属性の値 ◎ Set notRestoredReasonsForDocument's src to the value of document's node navigable's container's src attribute. • Set notRestoredReasonsForDocument's id to the value of document's node navigable's container's id attribute. • Set notRestoredReasonsForDocument's name to the value of document's node navigable's container's name attribute. • If document's node navigable's container is an iframe element, then:
5. %文書~用の復旧されない事由~群 の`事由~群$nrr ~SET %文書 の`~BF~cacheを阻んでいる詳細$docを`~cloneする$ ◎ Set notRestoredReasonsForDocument's reasons to a clone of document's bfcache blocking details.

6. %文書 の`文書~treeに属する子~navigable群$を成す ~EACH( %~navigable ) に対し： ◎ For each navigable of document's document-tree child navigables:

   1. %子~文書 ~LET %~navigable にて`作動中な文書$nav ◎ Let childDocument be navigable's active document.
   2. `文書~状態~用に復旧されない事由~群を築く$( %子~文書 ) ◎ Build not restored reasons for document state given childDocument.
   3. %文書~用の復旧されない事由~群 の`子~事由~群$nrr に次の結果を`付加する$ ⇒ `文書の復旧されない事由~群$( %子~文書 ) ◎ Append childDocument's not restored reasons to notRestoredReasonsForDocument's children.
7. %文書 の`~node~navigable$にて`作動中な~entry$navの`文書~状態$shEの`復旧されない事由~群$dS ~SET %文書~用の復旧されない事由~群 ◎ Set document's node navigable's active session history entry's document state's not restored reasons to notRestoredReasonsForDocument.

`~top-level辿可能とその子孫~用に復旧されない事由~群を築く@ ときは、 所与の ( `~top-level辿可能$ %~top-level辿可能 ) に対し： ◎ To build not restored reasons for a top-level traversable and its descendants given top-level traversable topLevelTraversable:

1. `文書~状態~用に復旧されない事由~群を築く$( %~top-level辿可能 にて`作動中な文書$nav ) ◎ Build not restored reasons for document state given topLevelTraversable's active document.
2. %非同一-生成元な子孫~群 ~LET 新たな`~list$ ◎ Let crossOriginDescendants be an empty list.

3. %~top-level辿可能 にて`作動中な文書$navの`子孫~navigable群$を成す ~EACH( %子~navigable ) に対し ⇒ ~IF［ %子~navigable にて`作動中な文書$navの`生成元$doc ~NEQ `生成元$sub %~top-level辿可能 にて`作動中な文書$navの`生成元$doc ］ ⇒ %非同一-生成元な子孫~群 に %子~navigable を`付加する$ ◎ For each childNavigable of topLevelTraversable's active document's descendant navigables: • If childNavigable's active document's origin is not same origin with topLevelTraversable's active document's origin, then append childNavigable to crossOriginDescendants.

4. %非同一-生成元な子孫~群は~BF~cacheを防止するか ~LET ~F ◎ Let crossOriginDescendantsPreventsBfcache be false.

5. %非同一-生成元な子孫~群 を成す ~EACH( %非同一-生成元な~navigable ) に対し： ◎ For each crossOriginNavigable of crossOriginDescendants:

   1. %非同一-生成元な子~用の事由 ~LET %非同一-生成元な~navigable にて`作動中な文書$navの`文書~状態$の`復旧されない事由~群$dS ◎ Let reasonsForCrossOriginChild be crossOriginNavigable's active document's document state's not restored reasons.
   2. ~IF［ %非同一-生成元な子~用の事由 の`事由~群$nrrは空でない ］ ⇒ %非同一-生成元な子孫~群は~BF~cacheを防止するか ~SET ~T ◎ If reasonsForCrossOriginChild's reasons is not empty, set crossOriginDescendantsPreventsBfcache to true.
   3. %非同一-生成元な子~用の事由 の ⇒＃ `~URL$nrr ~SET ~NULL, `事由~群$nrr ~SET ~NULL, `子~事由~群$nrr ~SET ~NULL ◎ Set reasonsForCrossOriginChild's URL to null. ◎ Set reasonsForCrossOriginChild's reasons to null. ◎ Set reasonsForCrossOriginChild's children to null.
6. ~IF［ %非同一-生成元な子孫~群は~BF~cacheを防止するか ~EQ ~T ］ ⇒ `文書を回復不能にする$( %~top-level辿可能 にて`作動中な文書$nav, `masked$l ) ◎ If crossOriginDescendantsPreventsBfcache is true, make document unsalvageable given topLevelTraversable's active document and "masked".

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

1. ~IF［ %文書 の`露呈されたか$doc ~EQ ~T ］ ⇒ ~RET ◎ If document's has been revealed is true, then return.
2. %文書 の`露呈されたか$doc ~SET ~T ◎ Set document's has been revealed to true.
3. %遷移 ~LET `内へ来る非同一-文書な~view遷移を解決する$( %文書 ) ◎ Let transition be the result of resolving inbound cross-document view-transition for document.
4. `~eventを発火する$( %文書 に`関連な大域~obj$, `pagereveal$et, `PageRevealEvent$I ) — 次のように初期化して ⇒＃ `viewTransition$mPRe 属性 ~SET %遷移 ◎ Fire an event named pagereveal at document's relevant global object, using PageRevealEvent with its viewTransition set to transition.
5. ~IF［ %遷移 ~NEQ ~NULL ］ ⇒ `~view遷移を作動化する$( %遷移 ) ◎ If transition is not null, then activate transition.

`素片へ~scrollする@ ときは、 所与の ( `文書$ %文書 ) に対し： ◎ To scroll to the fragment given a Document document:

1. %~target ~LET %文書 の`指示された部位$doc ◎ ↓
2. %文書 の`~target要素$ ~SET ~NULL ◎ ↓
3. ~IF［ %~target ~EQ ~NULL ］ ⇒ ~RET ◎ If document's indicated part is null,＼ ↑ then set document's target element to null.

4. ~IF［ %~target ~EQ `文書の上端$i ］ ⇒ `文書の開始位置へ~scrollする$( %文書 ) ◎ Otherwise, if document's indicated part is top of the document, then: • ↑ Set document's target element to null. • Scroll to the beginning of the document for document. [CSSOMVIEW] • Return.

5. ~ELSE： ◎ Otherwise:

   1. ~Assert： %~target は要素である。 ◎ Assert: document's indicated part is an element. ◎ Let target be document's indicated part.
   2. %文書 の`~target要素$ ~SET %~target ◎ Set document's target element to target.
   3. `先祖~detailsを露呈する$( %~target ) ◎ Run the ancestor details revealing algorithm on target.
   4. `見出されるまでは非可視な先祖を露呈する$( %~target ) ◎ Run the ancestor hidden-until-found revealing algorithm on target.
   5. %~target を`~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]
   6. `~objを~focusする$( %~target, %文書 の`表示域$ ) ◎ Run the focusing steps for target, with the Document's viewport as the fallback target.
   7. %文書 における`逐次的~focus~naviの始点$ ~SET %~target ◎ Move the sequential focus navigation starting point to target.

`指示された部位を選定する@ ときは、 所与の ( `~HTML文書$ %文書, `~URL$ %~URL ) に対し： ◎ To select the indicated part given a Document document and a URL url:

1. ~IF［ ( %文書 の`~URL$doc, %~URL ) は、 `素片は除外する^i 下で`同等な~URL$でない ］ ⇒ ~RET ~NULL ◎ If document's URL does not equal url with exclude fragments set to true, then return null.
2. %素片 ~LET %文書 の`~URL$docの`素片$url ◎ Let fragment be document's URL's fragment.
3. ~IF［ %素片 ~NEQ 空~文字列【 ~NULL？ 】 ］ ⇒ ~RET 特別な値 `文書の上端@i ◎ If fragment is the empty string, then return the special value top of the document.
4. %指示された要素 ~LET `指示された要素を見出す$( %文書, %素片 ) ◎ Let potentialIndicatedElement be the result of finding a potential indicated element given document and fragment.
5. ~IF［ %指示された要素 ~NEQ ~NULL ］ ⇒ ~RET %指示された要素 ◎ If potentialIndicatedElement is not null, then return potentialIndicatedElement.
6. %素片~byte列 ~LET `文字列を~byte列に~percent-復号する$( %素片 ) ◎ Let fragmentBytes be the result of percent-decoding fragment.
7. %復号-済み素片 ~LET `~BOMはそのままに~UTF-8復号する$( %素片~byte列 ) ◎ Let decodedFragment be the result of running UTF-8 decode without BOM on fragmentBytes.
8. %指示された要素 ~SET `指示された要素を見出す$( %文書, %復号-済み素片 ) ◎ Set potentialIndicatedElement to the result of finding a potential indicated element given document and decodedFragment.
9. ~IF［ %指示された要素 ~NEQ ~NULL ］ ⇒ ~RET %指示された要素 ◎ If potentialIndicatedElement is not null, then return potentialIndicatedElement.
10. ~IF［ %復号-済み素片 ~EQ`大小無視$sub `top^l ］ ⇒ ~RET `文書の上端$i ◎ If decodedFragment is an ASCII case-insensitive match for the string top, then return the top of the document.
11. ~RET ~NULL ◎ Return null.

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

1. %文書~tree ~LET %文書 の`文書~tree内$にある要素 （すなわち，要素の`根$ ~EQ %文書） からなる集合 ◎ ↓
2. ~IF［ %文書~tree を成す要素に［ `~ID$ ~EQ %素片 ］を満たすものは在る ］ ⇒ ~RET 該当する要素のうち，`~tree順序$で最初のもの ◎ If there is an element in the document tree whose root is document and that has an ID equal to fragment, then return the first such element in tree order.
3. ~IF［ %文書~tree を成す要素に［ `a$e 要素であって、 `name＠~HTMLobs#attr-a-name$a 属性を有していて，その値 ~EQ %素片 ］を満たすものは在る ⇒ ~RET 該当する要素のうち，`~tree順序$で最初のもの ◎ If there is an a element in the document tree whose root is document that has a name attribute whose value is equal to fragment, then return the first such element in tree order.
4. ~RET ~NULL ◎ Return null.

`履歴~entryに持続される状態を保存する@ ときは、 所与の ( `~session履歴~entry$ %~entry ) に対し： ◎ To save persisted state to a session history entry entry:

1. %~entry の`~scroll位置~data$shEを［ %~entry の`文書$shEの`復旧-可能な~scroll可能な領域$doc ］すべての~scroll位置を包含するように設定する ◎ Set the scroll position data of entry to contain the scroll positions for all of entry's document's restorable scrollable regions.
2. 任意選択で ⇒ ~UAが持続するよう望む状態 — 各~form欄の値など — があれば、 それらを反映するよう， %~entry の`持続される利用者~状態$shEを更新する ◎ Optionally, update entry's persisted user state to reflect any state that the user agent wishes to persist, such as the values of form fields.

`履歴~entryから持続された状態を復旧する@ ときは、 所与の ( `~session履歴~entry$ %~entry ) に対し： ◎ To restore persisted state from a session history entry entry:

1. ~IF［ %~entry の`~scroll復旧~mode$shE ~EQ `auto$l ］~AND［ %~entry の`文書$shEに`関連な大域~obj$の`~navi~API$の`進行中の~naviの間は通常の~scroll復旧を抑止するか$ ~EQ ~F ］ ⇒ `~scroll位置~dataを復旧する$( %~entry ) ◎ If entry's scroll restoration mode is "auto", and entry's document's relevant global object's navigation API's suppress normal scroll restoration during ongoing navigation is false, then restore scroll position data given entry.

   注記： ~UAが~scroll位置を復旧しないことは、［ ~scroll位置を特定0の値（例： (0,0) ）に~~保つ ］ことは含意しない。 実際の~scroll位置は、［ ~navi種別／~UAによる~cache用の策 ］に依存する。 なので、 ~web~appは，特定0の~scroll位置に決まるとは見做せない — ~appには、 自身が求めるものに設定することが督促される。 ◎ The user agent not restoring scroll positions does not imply that scroll positions will be left at any particular value (e.g., (0,0)). The actual scroll position depends on the navigation type and the user agent's particular caching strategy. So web applications cannot assume any particular scroll position but rather are urged to set it to what they want it to be.

   注記： それでも，［ `進行中の~naviの間は通常の~scroll復旧を抑止するか$ ~EQ ~T ］の場合、 後の時点で`~scroll位置~dataを復旧する$ことは起こるかもしれない — 関連な `NavigateEvent$I に対し［ それを`完遂する＠~HTMLnavAPI#navigateevent-finish$ときの一部として／ その `scroll()＠~HTMLnavAPI#dom-navigateevent-scroll$c【！navigateEvent.scroll()】 ~method~callを介して ］。 ◎ If suppress normal scroll restoration during ongoing navigation is true, then restoring scroll position data might still happen at a later point, as part of finishing the relevant NavigateEvent, or via a navigateEvent.scroll() method call.

2. 任意選択で ⇒ %~entry の`文書$shE, その具現化を成す他の側面を更新する — 一例として、 ~UAが以前に %~entry の`持続される利用者~状態$shE内に記録した~form欄の値など。 ◎ Optionally, update other aspects of entry's document and its rendering, for instance values of form fields, that the user agent had previously recorded in entry's persisted user state.

   注記： 持続される状態が，そのような~control内に利用者~入力の書字方向性を含む場合、 これには，次に該当する要素の `dir$a 属性を更新することも含まれる ⇒ `textarea$e 要素 ／ 次を満たす `input$e 要素 ⇒ その `type$a 属性の状態 ~IN { `Text$st, `Search$st, `Tel$st, `Url$st, `Email$st } ◎ This can even include updating the dir attribute of textarea elements or input elements whose type attribute is in the Text, Search, Telephone, URL, or Email state, if the persisted state includes the directionality of user input in such controls.

   注記： この処理nの一部として，~form~controlの値を復旧しても、［ `input$et ／ `change$et ］~eventは発火されないが， `~formに所有され得る~custom要素$の `formStateRestoreCallback^c は誘発され得る。 ◎ Restoring the value of form controls as part of this process does not fire any input or change events, but can trigger the formStateRestoreCallback of form-associated custom elements.

`~scroll位置~dataを復旧する@ ときは、 所与の ( `~session履歴~entry$ %~entry ) に対し： ◎ To restore scroll position data given a session history entry entry:

1. %文書 ~LET %~entry の`文書$shE ◎ Let document be entry's document.
2. ~UAは、 次を遂行するベキである ⇒ ~IF［ %文書 の`利用者により~scrollされたか$doc ~EQ ~T ］ ⇒ ~RET ◎ If document's has been scrolled by the user is true, then the user agent should return.

3. ~UAは、 次を遂行するベキである ⇒ %~entry の`~scroll位置~data$shEを利用して， %~entry の`文書$shEの`復旧-可能な~scroll可能な領域$docの各~scroll位置を復旧しようと試みる — ［ %文書 の`利用者により~scrollされたか$doc ~EQ ~T ］になるまでは、 この試みを周期的に継続してもヨイ ◎ The user agent should attempt to use entry's scroll position data to restore the scroll positions of entry's document's restorable scrollable regions. The user agent may continue to attempt to do so periodically, until document's has been scrolled by the user becomes true.

   注記： これが，成功するか利用者が~scrollするまで繰返され得る`試み^emとして定式化されているのは、 `~scroll位置~data$shEにより指示される関連な内容は， ~networkから読込むまで時間がかかるかもしれない事に因る。 ◎ This is formulated as an attempt, which is potentially repeated until success or until the user scrolls, due to the fact that relevant content indicated by the scroll position data might take some time to load from the network.

   注記： ~scroll位置の復旧は、 ~scroll~anchor法 `CSSSCROLLANCHORING$r により影響されるかもしれない。 ◎ Scroll restoration might be affected by scroll anchoring. [CSSSCROLLANCHORING]