[HTML] Account for User-Agent not starting with Mozilla/ in appVersion getter whatwg/html@a93c6fa

Author: triple-underscore

HTML-navigator-ja.html

@@ -67,6 +67,9 @@
 case 'rph':
 	text = `"<code class="literal">${text}</code>"`;
 	break;
+case 'bl': // byte literal
+	text = `\`<code class="literal">${text}</code>\``;
+	break;
 case 'm':
 case 'pA':
 case 'mA':
@@ -124,8 +127,8 @@
 
 ●●options
 
-spec_date:2025-06-18
-trans_update:2025-06-19
+spec_date:2025-09-17
+trans_update:2025-09-18
 source_checked:240712
 page_state_key:HTML
 spec_status:LS
@@ -335,6 +338,7 @@
 ~index群:~INFRA#list-get-the-indices
 ~ASCII英小文字:~INFRA#ascii-lower-alpha
 ~ASCII小文字~化する:~INFRA#ascii-lowercase
+同型に復号する:~INFRA#isomorphic-decode
 
 凍結d配列:~WEBIDL#dfn-frozen-array-type
 新たな~obj:~WEBIDLjs#new
@@ -360,7 +364,7 @@
 ~passwordを設定する:~URL1#set-the-password
 
 ~HTTP_S~scheme:~FETCH#http-scheme
-既定の~User-Agent値:~FETCH#default-user-agent-value
+環境~既定の~User-Agent値:~FETCH#environment-default-user-agent-value
 
 信用に価し得る~URL:~SECURE-CONTEXT#potentially-trustworthy-url
 
@@ -516,6 +520,7 @@
 	%~plugin~list:plugins
 	%~plugin:plugin
 	%結果:trail
+	%~User-Agent:userAgent
 
 	●未分類
 Navigator:
@@ -530,6 +535,7 @@
 所在-:locate::~
 alphabet::::アルファベット
 	~alphabet順に挙げられ:ordered alphabetically
+同型:isomorphic::~
 
 	~view用の／~viewする:viewing
 	再利用-:re-use
@@ -566,14 +572,14 @@
 	指す／指せる／指して:point／:pointing
 	大域~obj:global
 	0 番:0th
+	から先頭の〜を除去した結果:substring of 〜 that follows the 〜 prefix
 
 	-:naturally now the data is stale
 	happen
 	見た:has seen
 	:gather
 	object^jt:Object
 
-	●指示語
 	各部:parts
 	一連の:collection of
 	多数の:large number of
@@ -867,31 +873,42 @@ <h5 title="Client identification">8.9.1.1. ~clientの識別</h5>
 <p>
 `appVersion@m
 取得子~手続きは：
+◎
+The appVersion getter steps are:
 </p>
 <ol>
 	<li>
-%結果 ~LET `既定の~User-Agent値$
-</li>
-	<li>
-~Assert：
-%結果 は文字列 `Mozilla/^l から開始している†
+%~User-Agent ~LET `環境~既定の~User-Agent値$( コレに`関連な設定群~obj$ )
+◎
+Let userAgent be this's relevant settings object's environment default `User-Agent` value.
 </li>
 	<li>
-%結果 ~LET %結果 から，頭部を成す `Mozilla/^l を除去した結果
+~IF［
+%~User-Agent は~byte列【！文字列】 `Mozilla/^bl から開始していない
+］
+⇒
+~RET 空~文字列
+◎
+If userAgent does not start with `Mozilla/5.0 (`, then return the empty string.
 </li>
 	<li>
-~Assert：
-%結果 は文字列 `5.0 (^l から開始している†
+%結果 ~LET `同型に復号する$( %~User-Agent から先頭の `Mozilla/^bl を除去した結果 )
+◎
+Let trail be the substring of userAgent, isomorphic decoded, that follows the "Mozilla/" prefix.
 </li>
 	<li>
 <p>
 `~navigator互換性~mode$に応じて：
-</p>
+◎
+↓</p>
 		<ul class="switch">
 			<li>
 `Chrome^i ／ `WebKit^i
 ⇒
 ~RET %結果
+◎
+If the navigator compatibility mode is Chrome or WebKit
+• Return trail.
 </li>
 			<li>
 <p>
@@ -906,10 +923,10 @@ <h5 title="Client identification">8.9.1.1. ~clientの識別</h5>
 ~RET `5.0 (Windows)^l
 </li>
 					<li>
-~Assert：
-%結果 内に文字 `003B^U `;^smb が在る†
-</li>
-					<li>
+~IF［
+%結果 内に文字 `003B^U `;^smb が在る
+］
+⇒
 %結果 ~SET %結果 から最初の `003B^U `;^smb 以降の文字列を除去した結果
 </li>
 					<li>
@@ -921,29 +938,14 @@ <h5 title="Client identification">8.9.1.1. ~clientの識別</h5>
 `5.0 (X11)^l
 </li>
 				</ol>
-			</li>
+◎
+If the navigator compatibility mode is Gecko
+• If trail starts with "5.0 (Windows", then return "5.0 (Windows)".
+• Otherwise, return the prefix of trail up to but not including the first U+003B (;), concatenated with the character U+0029 RIGHT PARENTHESIS. For example, "5.0 (Macintosh)", "5.0 (Android 10)", or "5.0 (X11)".
+</li>
 		</ul>
 	</li>
 </ol>
-
-<p class="trans-note">【†
-これらの ~Assert は、
-この訳による補完
-— 原文は、
-これらの条件を満たすかのように記されている
-（満たさない場合の挙動が指定されていない
-— `既定の~User-Agent値$は`実装定義$なので、
-理論上は満たさない可能性もあるにもかかわらず）。
-】</p>
-
-◎
-The appVersion getter steps are to return the appropriate string that starts with "5.0 (", as follows:
-• Let trail be the substring of default `User-Agent` value that follows the "Mozilla/" prefix.
-• If the navigator compatibility mode is Chrome or WebKit
-•• Return trail.
-• If the navigator compatibility mode is Gecko
-•• If trail starts with "5.0 (Windows", then return "5.0 (Windows)".
-•• Otherwise, return the prefix of trail up to but not including the first U+003B (;), concatenated with the character U+0029 RIGHT PARENTHESIS. For example, "5.0 (Macintosh)", "5.0 (Android 10)", or "5.0 (X11)".
 </div>
 
 <div class="algo">
@@ -999,9 +1001,9 @@ <h5 title="Client identification">8.9.1.1. ~clientの識別</h5>
 `userAgent@m
 取得子~手続きは
 ⇒
-~RET `既定の~User-Agent値$
+~RET `環境~既定の~User-Agent値$( コレに`関連な設定群~obj$ )
 ◎
-The userAgent getter steps are to return the default `User-Agent` value.
+The userAgent getter steps are to return this's relevant settings object's environment default `User-Agent` value.
 </div>
 
 <div class="algo">
@@ -1402,7 +1404,7 @@ <h5 title="Custom scheme handlers: the registerProtocolHandler() method">8.9.1.4
 例えば，~online-telephone-messaging~serviceは、
 自身を
 `sms:＠~RFCx/rfc5724#section-2$sc ~scheme用の~handlerとして登録することもできる
-— 利用者がそのような~linkを~clickしたとき，その~web~siteを利用する機会が与えられるように。
+— 利用者がそのような~linkを~clickしたとき，その~web~siteを利用する機会が与えられるよう。
 `SMS$r
 ◎
 Registers a handler for scheme at url. For example, an online telephone messaging service could register itself as a handler of the sms: scheme, so that if the user clicks on such a link, they are given the opportunity to use that web site. [SMS]
@@ -2236,7 +2238,8 @@ <h5 title="PDF viewing support">8.9.1.6. ~PDF~view用の~support</h5>
 Although these days detecting PDF viewer support can be done via navigator.pdfViewerEnabled, for historical reasons, there are a number of complex and intertwined interfaces that provide the same capability, which legacy code relies on. This section specifies both the simple modern variant and the complicated historical one.
 </p>
 
-<p>
+<p id="fingerprint-pdfViewerEnabled">
+◎追跡路
 各~UAは、
 真偽値をとる
 `~PDF~viewerは~supportされるか@
@@ -2245,6 +2248,7 @@ <h5 title="PDF viewing support">8.9.1.6. ~PDF~view用の~support</h5>
 `実装定義$とする
 （加えて、利用者-選好に則って変わり得る）。
 ◎
+(This is a tracking vector.)
 Each user agent has a PDF viewer supported boolean, whose value is implementation-defined (and might vary according to user preferences).
 </p>