[HTML] Prevent infinite loop in revealing algorithms whatwg/html@55baf05

Author: triple-underscore

HTML-interaction-ja.html

@@ -118,8 +118,8 @@
 
 ●●options
 
-spec_date:2025-07-30
-trans_update:2025-06-08
+spec_date:2025-08-01
+trans_update:2025-08-03
 source_checked:240603
 page_state_key:HTML
 spec_status:LS
@@ -488,7 +488,6 @@
 cF.動作:~HEinteractive#command-facet-action
 cF.不能化されるか:~HEinteractive#command-facet-disabledstate
 cF.隠されるか:~HEinteractive#command-facet-hiddenstate
-先祖~detailsを露呈する:~HEinteractive#ancestor-details-revealing-algorithm
 
 ps.focus-visible:~SELECTORS4#focus-visible-pseudo
 
@@ -503,6 +502,11 @@
 文書:~HTMLdom#the-document-object
 ~tabindex値:#tabindex-value
 
+先祖を露呈する:#ancestor-revealing-algorithm
+先祖~露呈~pair:#ancestor-reveal-pair
+arP.~node:#ancestor-reveal-pair-node
+arP.文字列:#ancestor-reveal-pair-string
+
 失効-:#activation-expiry
 作動化を誘発する入力~event:#activation-triggering-input-event
 
@@ -624,8 +628,6 @@
 fiP.~query:#fip-query
 fiP.合致-~list:#fip-matches
 fiP.作動中な合致-:#fip-active-match
-見出されるまでは非可視な先祖を露呈する:#ancestor-hidden-until-found-revealing-algorithm
-
 
 閉-注視器:#close-watcher
 cW.~window:#close-watcher-window
@@ -767,6 +769,7 @@
 ~ASCII大小無視:~INFRA#ascii-case-insensitive
 ~ASCII空白:~INFRA#ascii-whitespace
 ~ASCII空白で分割する:~INFRA#split-on-ascii-whitespace
+~tuple:~INFRA#tuple
 ~list:~INFRA#list
 ~size:~INFRA#list-size
 空:~INFRA#list-is-empty
@@ -1033,6 +1036,7 @@
 失効-:expire:~
 強調-:highlight:~
 露呈-:reveal:露わに
+露呈:reveal:露わ化
 展開-:expand:~
 検索語:search term::~
 切替器:switcher:~
@@ -1192,6 +1196,10 @@
 	%状態:-
 	%内容~属性~値:-
 	%履歴~動作による作動化を要求するか:requireHistoryActionActivation
+	%~target:target
+	%露呈~型:revealType
+	%露呈する先祖~群:ancestorsToReveal
+	%露呈する先祖:ancestorToReveal
 
 	●保安
 通過制御-:gate::~
@@ -1924,14 +1932,14 @@ <h3 title="The hidden attribute">6.1. `hidden^a 属性</h3>
 	<dd>
 これらの特能が，当の要素の下位tree内にある~targetへ~scrollするよう試みたときは、
 ~UAは，［
-当の~target~nodeに対し`見出されるまでは非可視な先祖を露呈する$~algoを走らすことにより，そこへ~scrollする
+当の~target~nodeに対し`先祖を露呈する$ことにより，そこへ~scrollする
 ］より前に［
 当の要素の `hidden$a 属性を
 — 当の要素の内容が露呈されるよう —
 除去する
 ］ことになる。
 ◎
-When these features attempt to scroll to a target which is in the element's subtree, the user agent will remove the hidden attribute in order to reveal the content before scrolling to it by running the ancestor hidden-until-found revealing algorithm on the target node.
+When these features attempt to scroll to a target which is in the element's subtree, the user agent will remove the hidden attribute in order to reveal the content before scrolling to it by running the ancestor revealing algorithm on the target node.
 </dd>
 </dl>
 
@@ -2232,55 +2240,186 @@ <h3 title="The hidden attribute">6.1. `hidden^a 属性</h3>
 	</li>
 </ul>
 
+<p>
+`先祖~露呈~pair@
+は、
+(
+`~node@arP,
+`文字列@arP
+)
+からなる`~tuple$である。
+◎
+An ancestor reveal pair is a tuple consisting of a node and a string.
+</p>
+
 <div class="algo">
 <p>
-`見出されるまでは非可視な先祖を露呈する@
+`先祖を露呈する@
 ~algoは、
 所与の
-( %現在の~node )
+( ~node %~target )
 に対し：
 ◎
-The ancestor hidden-until-found revealing algorithm is to run the following steps on currentNode:
+The ancestor revealing algorithm given a node target is:
 </p>
 <ol>
 	<li>
+%露呈する先祖~群 ~LET « »
+◎
+Let ancestorsToReveal be « ».
+</li>
+	<li>
+%先祖 ~LET %~target
+◎
+Let ancestor be target.
+</li>
+	<li>
 <p>
 ~WHILE［
-`平坦~tree$の中の %現在の~node の親~nodeは在る
-］：
+`平坦~tree$において %先祖 の親~nodeは在る
+］
 ◎
-While currentNode has a parent node within the flat tree:
+While ancestor has a parent node within the flat tree:
 </p>
 		<ol>
 			<li>
+~IF［
+%先祖 の `hidden$a 属性の状態 ~EQ `見出されるまでは非可視$st
+］
+⇒
+%露呈する先祖~群 に ( %先祖, `until-found^l ) を`付加する$
+◎
+If ancestor has a hidden attribute in the Hidden Until Found state, then append (ancestor, "until-found") to ancestorsToReveal.
+</li>
+			<li>
 <p>
 ~IF［
-%現在の~node の `hidden$a 属性の状態 ~EQ `見出されるまでは非可視$st
+~AND↓ を満たす `details$e 要素が在る
+］…
+</p>
+				<ul>
+					<li>
+`open$a 属性を有さない
+</li>
+					<li>
+%先祖 は その `2 個目の~slot＠~HTMLrendering#_details-slots$の中に~slotされている
+</li>
+				</ul>
+<p>
+…ならば
+⇒
+%露呈する先祖~群 に
+( %先祖 の親~node＊, `details^l )
+を`付加する$
+◎
+If ancestor is slotted into the second slot of a details element which does not have an open attribute, then append (ancestor's parent node, "details") to ancestorsToReveal.
+</p>
+			</li>
+			<li>
+%先祖 ~SET `平坦~tree$における %先祖 の親~node
+◎
+Set ancestor to the parent node of ancestor within the flat tree.
+</li>
+		</ol>
+	</li>
+	<li>
+<p>
+%露呈する先祖~群 を成す
+~EACH(  ( %露呈する先祖, %露呈~型 ) )
+に対し：
+◎
+For each (ancestorToReveal, revealType) of ancestorsToReveal:
+</p>
+		<ol>
+			<li>
+~IF［
+%露呈する先祖 は`接続されて$いない
+］
+⇒
+~RET
+◎
+If ancestorToReveal is not connected, then return.
+</li>
+			<li>
+<p>
+~IF［
+%露呈~型 ~EQ `until-found^l
 ］：
 ◎
-If currentNode has the hidden attribute in the Hidden Until Found state, then:
+If revealType is "until-found":
 </p>
 				<ol>
 					<li>
-`~eventを発火する$( %現在の~node, `beforematch$et )
+~IF［
+%露呈する先祖 の `hidden$a 属性の状態 ~NEQ `見出されるまでは非可視$st
+］
+⇒
+~RET
+◎
+If ancestorToReveal's hidden attribute is not in the Hidden Until Found state, then return.
+</li>
+					<li>
+`~eventを発火する$( %露呈する先祖, `beforematch$et )
 — 次のように初期化して
 ⇒
 `bubbles$m 属性 ~SET ~T
 ◎
-Fire an event named beforematch at currentNode with the bubbles attribute initialized to true.
+Fire an event named beforematch at ancestorToReveal with the bubbles attribute initialized to true.
 </li>
 					<li>
-%現在の~node から `hidden$a 属性を除去する
+~IF［
+%露呈する先祖 は`接続されて$いない
+］
+⇒
+~RET
 ◎
-Remove the hidden attribute from currentNode.
+If ancestorToReveal is not connected, then return.
+</li>
+					<li>
+~IF［
+%露呈する先祖 の `hidden$a 属性の状態 ~NEQ `見出されるまでは非可視$st
+］
+⇒
+~RET
+◎
+If ancestorToReveal's hidden attribute is not in the Hidden Until Found state, then return.
+</li>
+					<li>
+%露呈する先祖 から `hidden$a 属性を除去する
+◎
+Remove the hidden attribute from ancestorToReveal.
 </li>
 				</ol>
 			</li>
 			<li>
-%現在の~node ~SET `平坦~tree$の中の %現在の~node の親~node
+<p>
+~ELSE：
+◎
+Otherwise:
+</p>
+				<ol>
+					<li>
+~Assert：
+%露呈~型 ~EQ `details^l
+◎
+Assert: revealType is "details".
+</li>
+					<li>
+~IF［
+%露呈する先祖 は `open$a 属性を有する
+］
+⇒
+~RET
 ◎
-Set currentNode to the parent node of currentNode within the flat tree.
+If ancestorToReveal has an open attribute, then return.
 </li>
+					<li>
+%露呈する先祖 の `open$a 属性の値 ~SET 空~文字列
+◎
+Set ancestorToReveal's open attribute to the empty string.
+</li>
+				</ol>
+			</li>
 		</ol>
 	</li>
 </ol>
@@ -2687,7 +2826,7 @@ <h4 title="Modal dialogs and inert subtrees">6.3.1. ~modal~dialogと不活な下
 という。
 そのような要素 %dialog が在る間は、
 %文書 に`接続されて$いる~nodeのうち［
-%dialog と その`平坦~tree$における子孫
+%dialog と`平坦~tree$における その子孫
 ］以外は，`不活$になるモノトスル。
 ◎
 A Document document is blocked by a modal dialog subject if subject is the topmost dialog element in document's top layer.＼
@@ -2700,7 +2839,7 @@ <h4 title="Modal dialogs and inert subtrees">6.3.1. ~modal~dialogと不活な下
 （すなわち、
 %dialog は “先祖の不活 性から逃れる”
 【 %dialog は、この属性を有さないならば，先祖が不活でも不活にならない】）。
-%dialog の`平坦~tree$を成す各~子孫も，同様に`不活$になり得る。
+`平坦~tree$における %dialog の各~子孫も，同様に`不活$になり得る。
 ◎
 subject can additionally become inert via the inert attribute, but only if specified on subject itself (i.e., subject escapes inertness of ancestors); subject's flat tree descendants can become inert in a similar fashion.
 </p>
@@ -2722,7 +2861,7 @@ <h4 title="The inert attribute">6.3.2. `inert^a 属性</h4>
 `真偽-属性$であり，在るならば次を指示する
 ⇒
 当の要素, および［
-当の要素の`平坦~tree$を成す子孫のうち［
+`平坦~tree$における当の要素の子孫のうち［
 “先祖の不活 性から逃れる” もの（~modal~dialogなど）以外のもの
 ］すべて
 ］は、
@@ -10478,23 +10617,11 @@ <h4 title="Interaction with details and hidden=until-found">6.9.2. `details^e 
 </p>
 
 <div class="algo">
-<p>
-手続きは：
-◎
-the following steps:
-</p>
-		<ol>
-			<li>
-`先祖~detailsを露呈する$( %~node )
-◎
-Run the ancestor details revealing algorithm on node.
-</li>
-			<li>
-`見出されるまでは非可視な先祖を露呈する$( %~node )
+手続きは
+⇒
+`先祖を露呈する$( %~node )
 ◎
-Run the ancestor hidden-until-found revealing algorithm on node.
-</li>
-		</ol>
+the ancestor revealing algorithm on node.
 </div>
 	</li>
 </ol>