回補 devil-advocate B-2/A-3 進 ar-display.md：OST 安全優勢綁定自動降級 + 眼鏡選型板載 IR 約束清單¶

背景¶

延續 Feature #307（AR-VIU 論文整合，ff21a30）。#307 收尾時列出四項「後續另案」，本單處理其中第一項——把 devil-advocate 挑戰報告（docs/research/devil-advocate/2026-06-25_AR-VIU-devil-advocate挑戰.md）的 B-2 與 A-3 兩項回補進規格。

兩項皆屬「補齊設計論述完整性」性質、緩解代價低，但若不落地會留下兩個風險缺口：

• B-2：規格目前把「OST 斷電不失明」當成單純安全優勢，未綁定失效降級機制。OST registration drift → 錯誤疊加是難以察覺的靜默失效，比 VST 斷電（立即可察覺）更符合 C11 違反場景，且觸及 C1。
• A-3：眼鏡選型 未反映「若採板載 IR 路線則被隱性限縮為具板載 IR 的 OST 眼鏡」這個聯動約束，可能造成「技術路線選定但硬體無來源」的架構僵局。

變更內容¶

由 system-architect（唯一有權改 docs/specs/）就地編輯 docs/specs/ar-display.md，新增兩個子段：

B-2 — OST 安全優勢的綁定前提（不可解耦）¶

• 明記 OST「斷電不失明」優勢必須與本檔 §不確定性/失效視覺化（）的自動降級（凍結＋灰階）機制綁定，兩者不可解耦，否則優勢虛構。
• 論證失效性質的不對稱：VST 斷電＝立即可察覺；OST drift 錯誤疊加＝靜默失效（C11），且觸及 C1（不誤導）。
• 規格落點：AR 疊加層在不確定時必須自動降級，而非繼續顯示可能錯誤的血管位置。與 §不確定性/失效視覺化（）建立交叉引用，不改變該段 狀態。

A-3 — 眼鏡選型的技術約束前提清單（與追蹤架構選型聯動）¶

• 點名設計邏輯陷阱：板載 IR 路線會隱性限縮眼鏡可選集合，選型須與追蹤架構同步決策。
• 前提清單：(a) 板載 IR 相機可程式化存取（SDK 開放）、(b) 支援 stereo depth estimation、(c) 3–5 年硬體供應保證。
• 供應鏈 EOL 風險脈絡（以「風險／需評估」措辭，非確定事實斷言）：HoloLens 2、Magic Leap 2 均有 EOL／業務縮減風險；Epson Moverio 等無板載 IR 可用。

驗收標準¶

• B-2、A-3 兩子段已寫入 ar-display.md，內容忠於 devil-advocate 報告原意
• 狀態標籤一律維持現狀：眼鏡選型 、承重脈絡 、§不確定性/失效視覺化 ，**無一升 **
• 未引入任何本次未經 fetch 的量化數值；EOL/供應鏈以「風險/需評估」措辭呈現
• 不碰 Park 2011（已 L4 接地，非本輪範圍）
• 兩段均標明來源為團隊內部挑戰報告、明記「非外部已接地事實，不掛 」
• C1/C11 措辭與 constraints.md 對齊
• 寫入由 system-architect 執行（寫入權矩陣對齊）；無新數值/裸 URL，防捏造 hook 不觸發

後續（本單不含，另案追蹤，承自 #307）¶

• qa-engineer 三 specs 測試計畫補丁；open-questions 新增 3 問（marker 視角分布、板載 IR 干擾、體模→臨床精度差距）
• 承重數字 L4 外部接地（OST 2–5mm / HL2 IR 2mm / NIR 0.44mm）；NIR PMC12845559 待 PDF 人工抓取對源
• OST 設備選型研究（HL2 vs ML2 vs 其他，含 EOL 供應鏈評估）