HTML — 文書連列用の基盤

`~navigable$ %入力~navigable の `辿可能な~navigable@nav は、 次を走らせた結果になる： ◎ To get the traversable navigable of a navigable inputNavigable:

1. %~navigable ~LET %入力~navigable ◎ Let navigable be inputNavigable.
2. ~WHILE［ %~navigable は`辿可能な~navigable$でない ］ ⇒ %~navigable ~SET %~navigable の`親$nav ◎ While navigable is not a traversable navigable, set navigable to navigable's parent.
3. ~RET %~navigable ◎ Return navigable.

`~navigable$ %入力~navigable の `~top-level辿可能@nav は、 次を走らせた結果になる： ◎ To get the top-level traversable of a navigable inputNavigable:

1. %~navigable ~LET %入力~navigable ◎ Let navigable be inputNavigable.
2. ~WHILE［ %~navigable の`親$nav ~NEQ ~NULL ］ ⇒ %~navigable ~SET %~navigable の`親$nav ◎ While navigable's parent is not null, set navigable to navigable's parent.
3. ~RET %~navigable ◎ Return navigable.

`新たな~top-level辿可能を作成する@ ときは、 所与の ( ［ `閲覧~文脈$／~NULL ］ %~opener, 文字列 %~target名 ) に対し： ◎ To create a new top-level traversable given a browsing context-or-null opener and a string targetName:

1. %文書 ~LET ~NULL ◎ Let document be null.
2. ~IF［ %~opener ~EQ ~NULL ］ ⇒ ( —, %文書 ) ~SET `新たな~top-level閲覧~文脈と文書を作成する$() ◎ If opener is null, then set document to the second return value of creating a new top-level browsing context and document.
3. ~ELSE ⇒ ( —, %文書 ) ~SET `新たな補助~閲覧~文脈と文書を作成する$( %~opener ) ◎ Otherwise, set document to the second return value of creating a new auxiliary browsing context and document given opener.
4. %文書~状態 ~LET 新たな`文書~状態$ — その ⇒＃ `文書$dS ~SET %文書, `起動元~生成元$dS ~SET %文書 の`生成元$doc, `生成元$dS ~SET %文書 の`生成元$doc, `~navigable名$dS ~SET %~target名, `~about基底~URL$dS ~SET %文書 の`~about基底~URL$doc ◎ Let documentState be a new document state, with ◎ document • document initiator origin • null if opener is null; otherwise, document's origin origin • document's origin navigable target name • targetName about base URL • document's about base URL
5. ~IF［ %~opener ~EQ ~NULL ］ ⇒ %文書~状態 の`起動元~生成元$dS ~SET ~NULL ◎ ↑
6. %辿可能 ~LET 新たな`辿可能な~navigable$ ◎ Let traversable be a new traversable navigable.
7. `~navigableを初期化する$( %辿可能, %文書~状態 ) ◎ Initialize the navigable traversable given documentState.
8. %初期~履歴~entry ~LET %辿可能 にて`作動中な~entry$nav ◎ Let initialHistoryEntry be traversable's active session history entry.
9. %初期~履歴~entry の`~step$shE ~SET 0 ◎ Set initialHistoryEntry's step to 0.
10. %辿可能 の`~session履歴~entry群$navに %初期~履歴~entry を`付加する$ ◎ Append initialHistoryEntry to traversable's session history entries.
11. ~IF［ %~opener ~NEQ ~NULL ］ ⇒ `辿可能~storage倉を旧来~cloneする$( %~opener の`~top-level辿可能$bc, %辿可能 ) `STORAGE$r ◎ If opener is non-null, then legacy-clone a traversable storage shed given opener's top-level traversable and traversable. [STORAGE]
12. ~UAの`~top-level辿可能~集合$に %辿可能 を`付加する$set【！`付加する$】 ◎ Append traversable to the user agent's top-level traversable set.
13. ~RET %辿可能 ◎ Return traversable.

`新鮮な~top-level辿可能を作成する@ ときは、 所与の ( `~URL$ %初期~navi~URL, ［ `~POST資源$／~NULL ］ %初期~navi~POST資源（省略時は ~NULL ） ) に対し： ◎ To create a fresh top-level traversable given a URL initialNavigationURL and an optional POST resource-or-null initialNavigationPostResource (default null):

1. %辿可能 ~LET `新たな~top-level辿可能を作成する$( ~NULL, 空~文字列 ) ◎ Let traversable be the result of creating a new top-level traversable given null and the empty string.

2. `~navigableを~URLへ~navigateする$( %辿可能, %初期~navi~URL, %辿可能 にて`作動中な文書$nav ) — 次も与える下で ⇒＃ `文書~資源^i ~SET %初期~navi~POST資源 ◎ Navigate traversable to initialNavigationURL using traversable's active document, with documentResource set to initialNavigationPostResource.

   注記： これらの初期~naviは、 自身を~navigateしている %辿可能 として扱われる — それは、［ 関連な~security検査~すべてに合格することを確保する ］ことになる。 ◎ We treat these initial navigations as traversable navigating itself, which will ensure all relevant security checks pass.

3. ~RET %辿可能 ◎ Return traversable.

`~navigable$ %~navigable の `容器@nav は、 `~navigable容器$のうち［ その`内容~navigable$ ~EQ %~navigable ］を満たす要素は［ 在るならば それ ／ 無いならば ~NULL ］を返す。 ◎ The container of a navigable navigable is the navigable container whose content navigable is navigable, or null if there is no such element.

【 該当するものは、 在っても一つに限られる。 】

`~navigable$ %~navigable の `容器~文書@nav は、 次を走らせた結果になる： ◎ The container document of a navigable navigable is the result of running these steps:

1. %容器 ~LET %~navigable の`容器$nav ◎ ↓
2. ~IF［ %容器 ~EQ ~NULL ］ ⇒ ~RET ~NULL ◎ If navigable's container is null, then return null.

3. ~RET %容器 の`~node文書$ ◎ Return navigable's container's node document.

   注記： 【この段に達したなら】 %容器 は`接続されて$いるはずなので、 これは， %容器 の`~shadowも含めた根$に等しくなる。 ◎ This is equal to navigable's container's shadow-including root as navigable's container has to be connected.

`文書$ %文書 の `容器~文書@doc は、 次を走らせた結果になる： ◎ The container document of a Document document is the result of running these steps:

1. ~IF［ %文書 の`~node~navigable$ ~EQ ~NULL ］ ⇒ ~RET ~NULL ◎ If document's node navigable is null, then return null.
2. ~RET %文書 の`~node~navigable$の`容器~文書$nav ◎ Return document's node navigable's container document.

`~navigable容器$ %容器 の `内容~文書@ は、 次を走らせた結果になる： ◎ The content document of a navigable container container is the result of running these steps:

1. ~IF［ %容器 の`内容~navigable$ ~EQ ~NULL ］ ⇒ ~RET ~NULL ◎ If container's content navigable is null, then return null.
2. %文書 ~LET %容器 の`内容~navigable$にて`作動中な文書$nav ◎ Let document be container's content navigable's active document.
3. ~IF［ ( %文書 の`生成元$doc, %容器 の`~node文書$の`生成元$doc ) は`同じ生成元~domain$でない ］ ⇒ ~RET ~NULL ◎ If document's origin and container's node document's origin are not same origin-domain, then return null.
4. ~RET %文書 ◎ Return document.

`~navigable容器$ %容器 の `内容~window@ は、 次を走らせた結果になる： ◎ The content window of a navigable container container is the result of running these steps:

1. ~IF［ %容器 の`内容~navigable$ ~EQ ~NULL ］ ⇒ ~RET ~NULL ◎ If container's content navigable is null, then return null.
2. ~RET %容器 の`内容~navigable$にて`作動中な~WindowProxy$nav ◎ Return container's content navigable's active WindowProxy's object.

`新たな子~navigableを作成する@ ときは、 所与の ( 要素 %要素 ) に対し： ◎ To create a new child navigable, given an element element:

1. %親~navigable ~LET %要素 の`~node~navigable$ ◎ Let parentNavigable be element's node navigable.
2. %~group ~LET %要素 の`~node文書$が`属する閲覧~文脈$の`~top-level閲覧~文脈$bcの`~group$tbcG ◎ Let group be element's node document's browsing context's top-level browsing context's group.
3. ( %閲覧~文脈, %文書 ) ~LET `新たな閲覧~文脈と文書を作成する$( %要素 の`~node文書$, %要素, %~group ) ◎ Let browsingContext and document be the result of creating a new browsing context and document given element's node document, element, and group.
4. %~target名 ~LET %要素 は `name^a 内容~属性を［ 有するならば その属性の値 ／ 有さないならば ~NULL ］ ◎ Let targetName be null. ◎ If element has a name content attribute, then set targetName to the value of that attribute.
5. %文書~状態 ~LET 新たな`文書~状態$ — その ⇒＃ `文書$dS ~SET %文書, `起動元~生成元$dS ~SET %文書 の`生成元$doc, `生成元$dS ~SET %文書 の`生成元$doc, `~navigable名$dS ~SET %~target名, `~about基底~URL$dS ~SET %文書 の`~about基底~URL$doc ◎ Let documentState be a new document state, with ◎ document • document initiator origin • document's origin origin • document's origin navigable target name • targetName about base URL • document's about base URL
6. %~navigable ~LET 新たな`~navigable$ ◎ Let navigable be a new navigable.
7. `~navigableを初期化する$( %~navigable, %文書~状態, %親~navigable ) ◎ Initialize the navigable navigable given documentState and parentNavigable.
8. %要素 の`内容~navigable$ ~SET %~navigable ◎ Set element's content navigable to navigable.
9. %履歴~entry ~LET %~navigable にて`作動中な~entry$nav ◎ Let historyEntry be navigable's active session history entry.
10. %辿可能 ~LET %親~navigable の`辿可能な~navigable$nav ◎ Let traversable be parentNavigable's traversable navigable.

11. %辿可能 に次を走らす`~session履歴~辿り手続きを付加する$： ◎ Append the following session history traversal steps to traversable:

    1. %親~文書~状態 ~LET %親~navigable にて`作動中な~entry$navの`文書~状態$shE ◎ Let parentDocState be parentNavigable's active session history entry's document state.
    2. %親~navigable~entry群 ~LET `~session履歴~entry群を取得する$( %親~navigable ) ◎ Let parentNavigableEntries be the result of getting session history entries for parentNavigable.
    3. %~target~step履歴~entry ~LET ［ %親~navigable~entry群 を成す`~session履歴~entry$ ］のうち次を満たす最初のもの ⇒ その`文書~状態$shE ~EQ %親~文書~状態 ◎ Let targetStepSHE be the first session history entry in parentNavigableEntries whose document state equals parentDocState.
    4. %履歴~entry の`~step$shE ~SET %~target~step履歴~entry の`~step$shE ◎ Set historyEntry's step to targetStepSHE's step.
    5. %入子な履歴 ~LET 新たな`入子な履歴$ — その ⇒＃ `~ID$nH ~SET %~navigable の`~ID$nav `~entry群$nH ~SET « %履歴~entry » ◎ Let nestedHistory be a new nested history whose id is navigable's id and entries list is « historyEntry ».
    6. %親~文書~状態 の`入子な履歴~群$dSに %入子な履歴 を`付加する$ ◎ Append nestedHistory to parentDocState's nested histories.
    7. `~navigableの作成／破壊~用に更新する$( %辿可能 ) ◎ Update for navigable creation/destruction given traversable.

`文書$ %文書 の `先祖~navigable群@ は、 次を走らせた結果になる： ◎ The ancestor navigables of a Document document are given by these steps:

1. %~navigable ~LET %文書 の`~node~navigable$の`親$nav ◎ Let navigable be document's node navigable's parent.
2. %先祖~群 ~LET 新たな`~list$ ◎ Let ancestors be an empty list.

3. ~WHILE［ %~navigable ~NEQ ~NULL ］： ◎ While navigable is not null:

   1. %先祖~群 に %~navigable を`前付加する$ ◎ Prepend navigable to ancestors.
   2. %~navigable ~SET %~navigable の`親$nav ◎ Set navigable to navigable's parent.
4. ~RET %先祖~群 ◎ Return ancestors.

`文書$ %文書 の `広義-先祖~navigable群@ は、 次を走らせた結果になる： ◎ The inclusive ancestor navigables of a Document document are given by these steps:

1. %~navigable群 ~LET %文書 の`先祖~navigable群$ ◎ Let navigables be document's ancestor navigables.
2. %~navigable群 に %文書 の`~node~navigable$を`付加する$ ◎ Append document's node navigable to navigables.
3. ~RET %~navigable群 ◎ Return navigables.

`文書$ %文書 の `子孫~navigable群@ は、 次を走らせた結果になる： ◎ The descendant navigables of a Document document are given by these steps:

1. %~navigable群 ~LET 新たな`~list$ ◎ Let navigables be new list.
2. %~navigable容器~群 ~LET ［ %文書 の`~shadowも含めた子孫$のうち`~navigable容器$であるもの ］すべてからなる，`~shadowも含めた~tree順序$による`~list$ ◎ Let navigableContainers be a list of all shadow-including descendants of document that are navigable containers, in shadow-including tree order.

3. %~navigable容器~群 を成す ~EACH( %~navigable容器 ) に対し： ◎ For each navigableContainer of navigableContainers:

   1. ~IF［ %~navigable容器 の`内容~navigable$ ~EQ ~NULL ］ ⇒ ~CONTINUE ◎ If navigableContainer's content navigable is null, then continue.
   2. %~navigable群 を次で`拡張する$ ⇒ %~navigable容器 の`内容~navigable$にて`作動中な文書$navの`広義-子孫~navigable群$ ◎ Extend navigables with navigableContainer's content navigable's active document's inclusive descendant navigables.
4. ~RET %~navigable群 ◎ Return navigables.

`文書$ %文書 の `広義-子孫~navigable群@ は、 次を走らせた結果になる： ◎ The inclusive descendant navigables of a Document document are given by these steps:

1. %~navigable群 ~LET « %文書 の`~node~navigable$ » ◎ Let navigables be « document's node navigable ».
2. %~navigable群 を %文書 の`子孫~navigable群$で`拡張する$ ◎ Extend navigables with document's descendant navigables.
3. ~RET %~navigable群 ◎ Return navigables.

`文書$ %文書 の `文書~treeに属する子~navigable群@ は、 次を走らせた結果になる： ◎ The document-tree child navigables of a Document document are given by these steps:

1. %~navigable群 ~LET 新たな`~list$ ◎ ↓
2. ~IF［ %文書 の`~node~navigable$ ~EQ ~NULL ］ ⇒ ~RET %~navigable群 ◎ If document's node navigable is null, then return the empty list. ◎ Let navigables be new list.
3. %~navigable容器~群 ~LET ［ %文書 の`子孫$のうち`~navigable容器$であるもの ］すべてからなる，`~tree順序$による`~list$ ◎ Let navigableContainers be a list of all descendants of document that are navigable containers, in tree order.

4. %~navigable容器~群 を成す ~EACH( %~navigable容器 ) に対し： ◎ For each navigableContainer of navigableContainers:

   1. ~IF［ %~navigable容器 の`内容~navigable$ ~EQ ~NULL ］ ⇒ ~CONTINUE ◎ If navigableContainer's content navigable is null, then continue.
   2. %~navigable群 に %~navigable容器 の`内容~navigable$を`付加する$ ◎ Append navigableContainer's content navigable to navigables.
5. ~RET %~navigable群 ◎ Return navigables.

`子~navigableを破壊する@ ときは、 所与の ( `~navigable容器$ %容器 ) に対し： ◎ To destroy a child navigable given a navigable container container:

1. %~navigable ~LET %容器 の`内容~navigable$ ◎ Let navigable be container's content navigable.
2. ~IF［ %~navigable ~EQ ~NULL ］ ⇒ ~RET ◎ If navigable is null, then return.
3. %容器 の`内容~navigable$ ~SET ~NULL ◎ Set container's content navigable to null.
4. `子~navigableの破壊について~navi~APIに伝える$( %~navigable ) ◎ Inform the navigation API about child navigable destruction given navigable.
5. `文書とその子孫たちを破壊する$( %~navigable にて`作動中な文書$nav ) ◎ Destroy a document and its descendants given navigable's active document.
6. %親~文書~状態 ~LET %容器 の`~node~navigable$にて`作動中な~entry$navの`文書~状態$shE ◎ Let parentDocState be container's node navigable's active session history entry's document state.
7. %親~文書~状態 の`入子な履歴~群$dSから，次を満たす`入子な履歴$を`除去する$ ⇒ その`~ID$nH ~EQ %~navigable の`~ID$nav ◎ Remove the nested history from parentDocState's nested histories whose id equals navigable's id.
8. %辿可能 ~LET %容器 の`~node~navigable$の`辿可能な~navigable$nav ◎ Let traversable be container's node navigable's traversable navigable.

9. %辿可能 に次を走らす`~session履歴~辿り手続きを付加する$： ◎ Append the following session history traversal steps to traversable:

   1. `~navigableの作成／破壊~用に更新する$( %辿可能 ) ◎ Update for navigable creation/destruction given traversable.

`~top-level辿可能を破壊する@ ときは、 所与の ( `~top-level辿可能$ %辿可能 ) に対し： ◎ To destroy a top-level traversable given a top-level traversable traversable:

1. %閲覧~文脈 ~LET %辿可能 にて`作動中な閲覧~文脈$nav ◎ Let browsingContext be traversable's active browsing context.

2. %辿可能 の`~session履歴~entry群$navを成す ~EACH( %履歴~entry ) に対し 順序はどうする？ ： ◎ For each historyEntry in traversable's session history entries in what order?:

   1. %文書 ~LET %履歴~entry の`文書$shE ◎ Let document be historyEntry's document.
   2. ~IF［ %文書 ~NEQ ~NULL ］ ⇒ `文書とその子孫たちを破壊する$( %文書 ) ◎ If document is not null, then destroy a document and its descendants given document.
3. `閲覧~文脈~groupから除去する$( %閲覧~文脈 ) ◎ Remove browsingContext.
4. ~UIから %辿可能 を除去する （例：~UItab化~browserにおいて、 ~UItabを閉じるか隠す）。 ◎ Remove traversable from the user interface (e.g., close or hide its tab in a tabbed browser).
5. ~UAの`~top-level辿可能~集合$から %辿可能 を`除去する$ ◎ Remove traversable from the user agent's top-level traversable set.

`~top-level辿可能を閉じる@ ときは、 所与の ( %辿可能 ) に対し： ◎ To close a top-level traversable traversable:

1. %~unload対象 ~LET %辿可能 にて`作動中な文書$navの`広義-子孫~navigable群$ ◎ Let toUnload be traversable's active document's inclusive descendant navigables.
2. ~IF［ %辿可能 の`閉中か$nav ~EQ ~T ］ ⇒ ~RET ◎ If traversable's is closing is true, then return.
3. ~IF［ `~unloadは取消されたか否か検査する$( %~unload対象 ) ~EQ ~T ］ ⇒ ~RET ◎ If the result of checking if unloading is canceled for toUnload is true, then return.

4. %辿可能 に次を走らす`~session履歴~辿り手続きを付加する$： ◎ Append the following session history traversal steps to traversable:

   1. %すべて~unload後の手続き ~LET 次を遂行する~algo ⇒ `~top-level辿可能を破壊する$( %辿可能 ) ◎ Let afterAllUnloads be an algorithm step which destroys traversable.
   2. `文書とその子孫たちを~unloadする$( %辿可能 にて`作動中な文書$nav, ~NULL, %すべて~unload後の手続き ) ◎ Unload a document and its descendants given traversable's active document, null, and afterAllUnloads.

`~navigableを選ぶ規則@ は、 所与の ( 文字列 %名前, `~navigable$ %現在の~navigable, 真偽値 %noopener ) に対し，次に従う： ◎ The rules for choosing a navigable, given a string name, a navigable currentNavigable, and a boolean noopener are as follows:

1. %~window種別 ~LET `既存のまたはナシ^i ◎ ↓↓ Let chosen be null. ◎ Let windowType be "existing or none".
2. %~sandbox法~flag集合 ~LET %現在の~navigable にて`作動中な文書$navにて`作動中な~sandbox法~flag集合$ ◎ Let sandboxingFlagSet be currentNavigable's active document's active sandboxing flag set.
3. %小文字~化~名 ~LET `~ASCII小文字~化する$( %名前 ) ◎ ↓

4. %結果 ~LET %小文字~化~名 に応じて，次で与えられる~navigableまたは ~NULL： ◎ ↑↓

   空~文字列

   `_self^l

   %現在の~navigable ◎ If name is the empty string or an ASCII case-insensitive match for "_self", then set chosen to currentNavigable.

   `_parent^l

   %現在の~navigable の`親$nav ~NEQ ~NULL ならば それ ／ ~ELSE_ %現在の~navigable ◎ Otherwise, if name is an ASCII case-insensitive match for "_parent", set chosen to currentNavigable's parent, if any, and currentNavigable otherwise.

   `_top^l

   %現在の~navigable の`辿可能な~navigable$nav ~NEQ ε ならば それ ／ ~ELSE_ %現在の~navigable ◎ Otherwise, if name is an ASCII case-insensitive match for "_top", set chosen to currentNavigable's traversable navigable.

   `_blank^l

   ~NULL

   その他

   ~IF［ ~AND↓ を満たす`~navigable$ %N は存在する ］…

   • %N の`~target名$nav ~EQ %名前
   • %現在の~navigable にて`作動中な閲覧~文脈$nav ~EQ %N にて`作動中な閲覧~文脈$nav
   • ~UAは，前項の 2 つの閲覧~文脈は互いに到達してもよいほどに十分~関係すると決定した

   …ならば ⇒ そのような`~navigable$のうちのいずれか ⇒ 該当する %N が複数ある場合、 ~UAは，そのうち一つを［ 何らかの，一貫した, 任意な方式 ］で選定するベキである — 例えば［ 最も近過去に開いたもの ／ 最も近過去に~focusされたもの ／ より近く関係するもの ］など。

   ~ELSE ⇒ ~NULL

   ◎ Otherwise, if name is not an ASCII case-insensitive match for "_blank", there exists a navigable whose target name is the same as name, currentNavigable's active browsing context is familiar with that navigable's active browsing context, and the user agent determines that the two browsing contexts are related enough that it is ok if they reach each other, set chosen to that navigable. If there are multiple matching navigables, the user agent should pick one in some arbitrary consistent manner, such as the most recently opened, most recently focused, or more closely related, and set chosen to it.

   これは、 `課題 #313＠~HTMLissue/313$ にて，もっと精確に定められることになる。 ◎ This will be made more precise in issue #313.

5. ~IF［ %結果 ~NEQ ~NULL ］ ⇒ ~RET ( %結果, %~window種別 ) ◎ ↑

6. 新たな`~top-level辿可能$が要請されている — 何が起こるかは、 ~UAの環境設定と能に依存する： ◎ Otherwise, a new top-level traversable is being requested, and what happens depends on the user agent's configuration and abilities — it is determined by the rules given for the first applicable option from the following list:

   1. ~IF［ %現在の~navigable にて`作動中な~window$navは`一過な作動化を有して$いない ］~AND［ ~UAは~popupを示さないよう環境設定されている （すなわち，~UAは “~popup阻止器” を可能化している） ］ ⇒ ~UAは、 ~popupを阻止したことを利用者に伝えてもヨイ ◎ If currentNavigable's active window does not have transient activation and the user agent has been configured to not show popups (i.e., the user agent has a "popup blocker" enabled) • The user agent may inform the user that a popup has been blocked.
   2. ~ELIF［ `閲覧~文脈~sandbox化( 補助~navi )~flag$ ~IN %~sandbox法~flag集合 ］ ⇒ ~UAは、 ~popupを阻止したことを開発者~consoleに報告してもヨイ ◎ If sandboxingFlagSet has the sandboxed auxiliary navigation browsing context flag set • The user agent may report to a developer console that a popup has been blocked.

   3. ~ELIF［ ~UAは新たな`~top-level辿可能$を作成するように環境設定されている ］： ◎ If the user agent has been configured such that in this instance it will create a new top-level traversable

      1. %~window種別 ~SET `制約されない新たな^i ◎ Set windowType to "new and unrestricted".
      2. %現在の文書 ~LET %現在の~navigable にて`作動中な文書$nav ◎ Let currentDocument be currentNavigable's active document.

      3. ~IF［ %現在の文書 の`非同一-生成元~opener施策$docの`値$coOP ~IN { `same-origin$coop, `same-origin-plus-COEP$coop } ］~AND［ %現在の文書 の`生成元$doc ~NEQ`生成元$sub %現在の文書 に`関連な設定群~obj$の`~top-level生成元$enV ］ ⇒＃ %noopener ~SET ~T, %名前 ~SET `_blank^l, %~window種別 ~SET `~openerが無い新たな^i ◎ If currentDocument's cross-origin opener policy's value is "same-origin" or "same-origin-plus-COEP", and currentDocument's origin is not same origin with currentDocument's relevant settings object's top-level origin, then: • Set noopener to true. • Set name to "_blank". • Set windowType to "new with no opener".

         注記： `非同一-生成元~opener施策$が在る下では、 入子な文書のうち［ その~top-level閲覧~文脈にて作動中な文書とは非同一-生成元に属するもの ］の %noopener は，常に ~T に設定される。 ◎ In the presence of a cross-origin opener policy, nested documents that are cross-origin with their top-level browsing context's active document always set noopener to true.

      4. %結果 ~LET ~NULL ◎ Let chosen be null.
      5. %~target名 ~LET 空~文字列 ◎ Let targetName be the empty string.
      6. ~IF［ %小文字~化~名 ~NEQ `_blank^l ］ ⇒ %~target名 ~SET %名前 ◎ If name is not an ASCII case-insensitive match for "_blank", then set targetName to name.
      7. ~IF［ %noopener ~EQ ~T ］ ⇒ %結果 ~SET `新たな~top-level辿可能を作成する$( ~NULL, %~target名 ) ◎ If noopener is true, then set chosen to the result of creating a new top-level traversable given null and targetName.

      8. ~ELSE： ◎ Otherwise:

         1. %結果 ~SET `新たな~top-level辿可能を作成する$( %現在の~navigable にて`作動中な閲覧~文脈$nav, %~target名 ) ◎ Set chosen to the result of creating a new top-level traversable given currentNavigable's active browsing context and targetName.
         2. ~IF［ `閲覧~文脈~sandbox化( ~navi )~flag$ ~IN %~sandbox法~flag集合 ］ ⇒ %結果 にて`作動中な閲覧~文脈$navの`許可-済み~navigator$ ~SET %現在の~navigable にて`作動中な閲覧~文脈$nav ◎ If sandboxingFlagSet's sandboxed navigation browsing context flag is set, then set chosen's active browsing context's one permitted sandboxed navigator to currentNavigable's active browsing context.
      9. ~IF［ `~sandboxは補助~閲覧~文脈に伝播する~flag$ ~IN %~sandbox法~flag集合 ］ ⇒ %結果 にて`作動中な閲覧~文脈$navの`~popup~sandbox法~flag集合$に %~sandbox法~flag集合 を成す すべての~flagを追加する ◎ If sandboxingFlagSet's sandbox propagates to auxiliary browsing contexts flag is set, then all the flags that are set in sandboxingFlagSet must be set in chosen's active browsing context's popup sandboxing flag set.

      注記： 新たに作成された`~navigable$ %結果 が即時に`~navigate$される場合、 それは， `replace$hH ~naviとして行われることになる。 ◎ If the newly created navigable chosen is immediately navigated, then the navigation will be done as a "replace" navigation.

   4. ~ELIF［ ~UAは %現在の~navigable を再利用するように環境設定されている ］ ⇒ %結果 ~SET %現在の~navigable ◎ If the user agent has been configured such that in this instance it will choose currentNavigable • Set chosen to currentNavigable.
   5. ~ELSE（ ~UAは %現在の~navigable 閲覧~文脈を見出さないように環境設定されている） ⇒ 何もしない ◎ If the user agent has been configured such that in this instance it will not find a navigable • Do nothing.

   注記： ~UAには、［ ~UAが常に %現在の~navigable を選ぶように環境設定する仕方 ］を利用者に供することが奨励される。 ◎ User agents are encouraged to provide a way for users to configure the user agent to always choose currentNavigable.

7. ~RET ( %結果, %~window種別 ) ◎ Return chosen and windowType.

`新たな閲覧~文脈と文書を作成する@ ときは、 所与の ( ［ ~NULL／`文書$ ］ %作成元, ［ ~NULL／要素 ］ %埋込元, `閲覧~文脈~group$ %~group ) に対し： ◎ To create a new browsing context and document, given null or a Document object creator, null or an element embedder, and a browsing context group group:

1. %閲覧~文脈 ~LET 新たな`閲覧~文脈$ ◎ Let browsingContext be a new browsing context.
2. %安全でない文脈~作成~時刻 ~LET `安全でない共有される現在の時刻$ ◎ Let unsafeContextCreationTime be the unsafe shared current time.
3. %作成元の生成元 ~LET ~NULL ◎ Let creatorOrigin be null.
4. %作成元の基底~URL ~LET ~NULL ◎ Let creatorBaseURL be null.

5. ~IF［ %作成元 ~NEQ ~NULL ］： ◎ If creator is non-null, then:

   1. %作成元の生成元 ~SET %作成元 の`生成元$doc ◎ Set creatorOrigin to creator's origin.
   2. %作成元の基底~URL ~SET %作成元 の`文書~基底~URL$ ◎ Set creatorBaseURL to creator's document base URL.
   3. %閲覧~文脈 の`~virtual閲覧~文脈~group~ID$bc ~SET %作成元 が`属する閲覧~文脈$の`~top-level閲覧~文脈$bcの`~virtual閲覧~文脈~group~ID$bc ◎ Set browsingContext's virtual browsing context group ID to creator's browsing context's top-level browsing context's virtual browsing context group ID.
6. %~sandbox~flag群 ~LET `作成時の~sandbox法~flag群を決定する$( %閲覧~文脈, %埋込元 ) ◎ Let sandboxFlags be the result of determining the creation sandboxing flags given browsingContext and embedder.
7. %生成元 ~LET `生成元を決定する$( ↓ ) ⇒＃ `~about_blank$sc, %~sandbox~flag群, %作成元の生成元 ◎ Let origin be the result of determining the origin given about:blank, sandboxFlags, and creatorOrigin.
8. %許可~施策 ~LET `~navigable用の許可~施策を作成する$( %埋込元, %生成元 ) `PERMISSIONSPOLICY$r ◎ Let permissionsPolicy be the result of creating a permissions policy given embedder and origin. [PERMISSIONSPOLICY]
9. %~agent ~LET `生成元が類似な~window~agentを得する$( %生成元, %~group, ~F ) ◎ Let agent be the result of obtaining a similar-origin window agent given origin, group, and false.
10. %~realm実行~文脈 ~LET 次のように~custom化する下で， %~agent 内で`新たな~realmを作成する$ ⇒＃ 大域~obj用に 新たな `Window$I ~objを作成する, 大域 `this^jv 束縛には %閲覧~文脈 の`WindowProxy$I ~objを利用する ◎ Let realm execution context be the result of creating a new realm given agent and the following customizations: • For the global object, create a new Window object. • For the global this binding, use browsingContext's WindowProxy object.
11. %~top-level作成時の~URL ~LET %埋込元 に応じて ⇒＃ ~NULL ならば `~about_blank$sc ／ ~ELSE_ %埋込元 に`関連な設定群~obj$の`~top-level作成時の~URL$enV ◎ Let topLevelCreationURL be about:blank if embedder is null; otherwise embedder's relevant settings object's top-level creation URL.
12. %~top-level生成元 ~LET %埋込元 に応じて ⇒＃ ~NULL ならば %生成元 ／ ~ELSE_ %埋込元 に`関連な設定群~obj$の`~top-level生成元$enV ◎ Let topLevelOrigin be origin if embedder is null; otherwise embedder's relevant settings object's top-level origin.
13. %新たな設定群~obj ~LET `~window用に環境~設定群~objを設定しておく$( ↓ ) ⇒＃ `~about_blank$sc, %~realm実行~文脈, ~NULL, %~top-level作成時の~URL, %~top-level生成元 ◎ Set up a window environment settings object with about:blank, realm execution context, null, topLevelCreationURL, and topLevelOrigin.
14. %~load計時~報 ~LET 新たな`文書~load計時~報$ — その ⇒＃ `~navi開始~時刻$ ~SET `時刻を粗化する$( %安全でない文脈~作成~時刻, %新たな設定群~obj の`非同一-生成元~能力は隔離されるか？$enV ) ◎ Let loadTimingInfo be a new document load timing info with its navigation start time set to the result of calling coarsen time with unsafeContextCreationTime and the new environment settings object's cross-origin isolated capability.
15. %文書 ~LET 新たな`文書$ — その ⇒＃ `種別$doc ~SET `html^l, `内容~型$doc ~SET "`text/html$mt" `~mode$doc ~SET `quirks^l, `生成元$doc ~SET %生成元, `属する閲覧~文脈$ ~SET %閲覧~文脈, `許可~施策$doc ~SET %許可~施策, `作動中な~sandbox法~flag集合$ ~SET %~sandbox~flag群, `~load計時~報$doc ~SET %~load計時~報, `初期~about_blankか$doc ~SET ~T, `~about基底~URL$doc ~SET %作成元の基底~URL, `宣言的な~shadow根を許容するか$doc ~SET ~T ◎ Let document be a new Document, with: ◎ type • "html" content type • "text/html" mode • "quirks" origin • origin browsing context • browsingContext permissions policy • permissionsPolicy active sandboxing flag set • sandboxFlags load timing info • loadTimingInfo is initial about:blank • true about base URL • creatorBaseURL allow declarative shadow roots • true

16. ~IF［ %作成元 ~NEQ ~NULL ］： ◎ If creator is non-null, then:

    1. %文書 の`~referrer$doc ~SET `~URLを直列化する$( %作成元 の`~URL$doc ) ◎ Set document's referrer to the serialization of creator's URL.
    2. %文書 の`施策~容器$doc ~SET `施策~容器を~cloneする$( %作成元 の`施策~容器$doc ) ◎ Set document's policy container to a clone of creator's policy container.
    3. ~IF［ %作成元 の`生成元$doc ~EQ`生成元$sub %作成元 に`関連な設定群~obj$の`~top-level生成元$enV ］ ⇒ %文書 の`非同一-生成元~opener施策$doc ~SET %作成元 が`属する閲覧~文脈$の`~top-level閲覧~文脈$bcにて`作動中な文書$bcの`非同一-生成元~opener施策$doc ◎ If creator's origin is same origin with creator's relevant settings object's top-level origin, then set document's cross-origin opener policy to creator's browsing context's top-level browsing context's active document's cross-origin opener policy.
17. ~Assert： %文書 の`~URL$doc, %文書 に`関連な設定群~obj$の`作成時の~URL$enV は、いずれも `~about_blank$sc 。 ◎ Assert: document's URL and document's relevant settings object's creation URL are about:blank.
18. この時点で、 %文書 は`~load後~task準備済み$になるとする。 ◎ Mark document as ready for post-load tasks.
19. `文書を~html-head-bodyで拡充する$( %文書 ) ◎ Populate with html/head/body given document.
20. `文書を作動中にする$( %文書 ) ◎ Make active document.
21. `読込ngを完全に終わらす$( %文書 ) ◎ Completely finish loading document.
22. ~RET ( %閲覧~文脈, %文書 ) ◎ Return browsingContext and document.

`新たな~top-level閲覧~文脈と文書を作成する@ ときは： ◎ To create a new top-level browsing context and document:

1. ( %~group, %文書 ) ~LET `新たな閲覧~文脈~groupと文書を作成する$() ◎ Let group and document be the result of creating a new browsing context group and document.
2. ~RET ( %~group の`閲覧~文脈~集合$bcG[ 0 ], %文書 ) ◎ Return group's browsing context set[0] and document.

`新たな補助~閲覧~文脈と文書を作成する@ ときは、 所与の ( `閲覧~文脈$ %~opener ) に対し： ◎ To create a new auxiliary browsing context and document, given a browsing context opener:

1. %~opener~top-level閲覧~文脈 ~LET %~opener の`~top-level辿可能$bcにて`作動中な閲覧~文脈$nav ◎ Let openerTopLevelBrowsingContext be opener's top-level traversable's active browsing context.
2. %~group ~LET %~opener~top-level閲覧~文脈 の`~group$tbcG ◎ Let group be openerTopLevelBrowsingContext's group.
3. ~Assert： %~group ~NEQ ~NULL — これ【この手続き？】は、 `~navigate$するとき直に呼出されるので。 ◎ Assert: group is non-null, as navigating invokes this directly.
4. ( %閲覧~文脈, %文書 ) ~LET `新たな閲覧~文脈と文書を作成する$( %~opener にて`作動中な文書$nav, ~NULL, %~group ) ◎ Set browsingContext and document be the result of creating a new browsing context and document with opener's active document, null, and group.
5. %閲覧~文脈 の`補助か$bc ~SET ~T ◎ Set browsingContext's is auxiliary to true.
6. `閲覧~文脈~groupに付加する$( %閲覧~文脈, %~group ) ◎ Append browsingContext to group.
7. %閲覧~文脈 を`開いた閲覧~文脈$bc ~SET %~opener ◎ Set browsingContext's opener browsing context to opener.
8. %閲覧~文脈 の`~virtual閲覧~文脈~group~ID$bc ~SET %~opener~top-level閲覧~文脈 の`~virtual閲覧~文脈~group~ID$bc ◎ Set browsingContext's virtual browsing context group ID to openerTopLevelBrowsingContext's virtual browsing context group ID.
9. %閲覧~文脈 の`作成時の~opener生成元$bc ~SET %~opener にて`作動中な文書$navの`生成元$doc ◎ Set browsingContext's opener origin at creation to opener's active document's origin.
10. ~RET ( %閲覧~文脈, %文書 ) ◎ Return browsingContext and document.

`生成元を決定する@ ときは、 所与の ⇒＃ `~URL$ %~URL, `~sandbox法~flag集合$ %~sandbox~flag群, ［ `生成元$／~NULL ］ %~source生成元 ◎終 に対し： ◎ To determine the origin, given a URL url, a sandboxing flag set sandboxFlags, and an origin-or-null sourceOrigin:

1. ~IF［ `閲覧~文脈~sandbox化( 生成元 )~flag$ ~IN %~sandbox~flag群 ］ ⇒ ~RET 新たな`不透明な生成元$ ◎ If sandboxFlags has its sandboxed origin browsing context flag set, then return a new opaque origin.
2. ~IF［ %~URL ~EQ ~NULL ］ ⇒ ~RET 新たな`不透明な生成元$ ◎ If url is null, then return a new opaque origin.

3. ~IF［ %~URL ~EQ `~about_srcdoc$sc ］： ◎ If url is about:srcdoc, then:

   1. ~Assert： %~source生成元 ~NEQ ~NULL ◎ Assert: sourceOrigin is non-null.
   2. ~RET %~source生成元 ◎ Return sourceOrigin.
4. ~IF［ %~URL は`~about_blank に合致して$いる ］~AND［ %~source生成元 ~NEQ ~NULL ］ ⇒ ~RET %~source生成元 ◎ If url matches about:blank and sourceOrigin is non-null, then return sourceOrigin.
5. ~RET %~URL の`生成元$url ◎ Return url's origin.

注記： %~source生成元 を返す事例では、 2 つの`文書$の下層の`生成元$docは同じになり， `document.domain＠~WINDOW#dom-document-domain$c は両者に影響することを意味する。 ◎ The cases that return sourceOrigin result in two Documents that end up with the same underlying origin, meaning that document.domain affects both.

`閲覧~文脈$ %A が閲覧~文脈 %B の `先祖~閲覧~文脈@ であるとは、 次の~algoが ~T を返すことをいう： ◎ A browsing context potentialDescendant is said to be an ancestor of a browsing context potentialAncestor if the following algorithm returns true:

1. %文書 ~LET %A にて`作動中な文書$bc ◎ Let potentialDescendantDocument be potentialDescendant's active document.
2. ~IF［ %文書 は`全部的に作動中$でない ］ ⇒ ~RET ~F ◎ If potentialDescendantDocument is not fully active, then return false.
3. %文書 の`先祖~navigable群$を成す ~EACH( %~navigable ) に対し ⇒ ~IF［ %B ~EQ %~navigable にて`作動中な文書$navが`属する閲覧~文脈$ ］ ⇒ ~RET ~T ◎ Let ancestorBCs be the list obtained by taking the browsing context of the active document of each member of potentialDescendantDocument's ancestor navigables. ◎ If ancestorBCs contains potentialAncestor, then return true.
4. ~RET ~F ◎ Return false.

`閲覧~文脈$ %B の `~top-level閲覧~文脈@bc は、 次を走らせた結果になる： ◎ The top-level browsing context of a browsing context start is the result of the following algorithm:

1. ~IF［ %B にて`作動中な文書$bcは`全部的に作動中$でない ］ ⇒ ~RET ~NULL ◎ If start's active document is not fully active, then return null.
2. %~navigable ~LET %B にて`作動中な文書$bcの`~node~navigable$ ◎ Let navigable be start's active document's node navigable.
3. ~WHILE［ %~navigable の`親$nav ~NEQ ~NULL ］ ⇒ %~navigable ~SET %~navigable の`親$nav ◎ While navigable's parent is not null, set navigable to navigable's parent.
4. ~RET %~navigable にて`作動中な閲覧~文脈$nav ◎ Return navigable's active browsing context.

所与の`閲覧~文脈$ %A, %B に対し， %A は %B に `近しい@ （ “ %A `is familiar with^en %B ” ）とは、 ~OR↓ が満たされることを意味する： ◎ A browsing context A is familiar with a second browsing context B if the following algorithm returns true:

• %A にて`作動中な文書$bcの`生成元$doc ~EQ`生成元$sub %B にて`作動中な文書$bcの`生成元$doc ◎ If A's active document's origin is same origin with B's active document's origin, then return true.
• %A の`~top-level閲覧~文脈$bc ~EQ %B ◎ If A's top-level browsing context is B, then return true.
• ［ %B は`補助~閲覧~文脈$である ］~AND［ %A は %B を`開いた閲覧~文脈$bcに`近しい$ ］ ◎ If B is an auxiliary browsing context and A is familiar with B's opener browsing context, then return true.

• %B の ある`先祖~閲覧~文脈$ %C として，次を満たすものが存在する ⇒ %C にて`作動中な文書$bcの`生成元$doc ~EQ`生成元$sub %A にて`作動中な文書$bcの`生成元$doc ◎ If there exists an ancestor browsing context of B whose active document has the same origin as the active document of A, then return true.

  注記： これは %A は %B の`先祖~閲覧~文脈$である事例を含む。 ◎ This includes the case where A is an ancestor browsing context of B. ◎ Return false.

`新たな閲覧~文脈~groupと文書を作成する@ ときは： ◎ To create a new browsing context group and document:

1. %~group ~LET 新たな`閲覧~文脈~group$ ◎ Let group be a new browsing context group.
2. ~UAの`閲覧~文脈~group集合$に %~group を`付加する$set ◎ Append group to the user agent's browsing context group set.
3. ( %閲覧~文脈, %文書 ) ~LET `新たな閲覧~文脈と文書を作成する$( ~NULL, ~NULL, %~group ) ◎ Let browsingContext and document be the result of creating a new browsing context and document with null, null, and group.
4. `閲覧~文脈~groupに付加する$( %閲覧~文脈, %~group ) ◎ Append browsingContext to group.
5. ~RET ( %~group, %文書 ) ◎ Return group and document.

`閲覧~文脈~groupに付加する@ ときは、 所与の ( `~top-level閲覧~文脈$ %閲覧~文脈, `閲覧~文脈~group$ %~group ) に対し： ◎ To append a top-level browsing context browsingContext to a browsing context group group:

1. %~group の`閲覧~文脈~集合$bcGに %閲覧~文脈 を`付加する$set ◎ Append browsingContext to group's browsing context set.
2. %閲覧~文脈 の`~group$tbcG ~SET %~group ◎ Set browsingContext's group to group.

`閲覧~文脈~groupから除去する@ ときは、 所与の ( `~top-level閲覧~文脈$ %閲覧~文脈 ) に対し： ◎ To remove a top-level browsing context browsingContext:

1. ~Assert： %閲覧~文脈 の`~group$tbcG ~NEQ ~NULL ◎ Assert: browsingContext's group is non-null.
2. %~group ~LET %閲覧~文脈 の`~group$tbcG ◎ Let group be browsingContext's group.
3. %閲覧~文脈 の`~group$tbcG ~SET ~NULL ◎ Set browsingContext's group to null.
4. %~group の`閲覧~文脈~集合$bcGから %閲覧~文脈 を`除去する$ ◎ Remove browsingContext from group's browsing context set.
5. ~IF［ %~group の`閲覧~文脈~集合$bcGは`空$である ］ ⇒ ~UAの`閲覧~文脈~group集合$から %~group を`除去する$ ◎ If group's browsing context set is empty, then remove group from the user agent's browsing context group set.