決策樹 ADR-0002/0003 節點落地＋PMC3167127 L4 外部接地升 （phase5 後續收尾）¶

背景¶

Phase 5 回溯稽核（Feature #299）與主題3 IJV 誤差重接地（Feature #301）落地後，遺留兩個 [可延後] 後續：(1) 決策樹整理——ADR-0002/0003 尚未建 tree/adr/ 節點、NEW section 待分類；(2) PMC3167127（Park 2011）在 #301 被封頂 /IN-ACCOUNT，等 L4 外部接地才可升 。本單把兩者一次收尾。

關鍵事件：業主（sashiba）親手跑 run_external_review.py（協調者不得自跑，watcher≠watchee），3 條 Park 2011 聲稱全 GROUNDED-IN-SOURCE、與團隊判定 0 不一致；業主再於人類抽查 checkpoint 逐字核實來源頁面相符，PMC3167127 正式升 （ICGC-EXTERNAL）。

變更內容¶

決策樹 [可延後] 整理（PM 規劃、頂層協調者代寫）¶

• 新建 tree/adr/adr-0002-phase5-retro-audit.md：ADR-0002 摘要節點（問題/方案 A-D/Reversal 影響/跨參照），上游連 Q-RC3-IJV-error、Q-RC2-aruco-lighting，衍生 ADR-0003。
• 新建 tree/adr/adr-0003-ijv-error-regrounding.md：ADR-0003 摘要節點。
• tree/00-index.md：§B ADR 摘要填入 ADR-0002/0003；§C 研究問題補 Q-RC1～Q-RC5 五條；清空已處理的 NEW section（留整理註記）；修訂歷史 +1。
• tree/diagrams.md：占位範例圖 → 實際主幹依賴圖（OW/Q/ADR/DL 節點＋實線依賴/虛線降級）。

PMC3167127 L4 接地升級（system-architect / synthesizer 執行，ADR-0003 範圍內非新 ADR）¶

• docs/specs/constraints.md C13：Park 2011 條目標記 【IN-ACCOUNT…尚未 L4】 → 【已驗證，tier=ICGC-EXTERNAL，L4 接地 2026-06-22，sha256=1cecee88，業主人類抽查逐字核實相符】。保留 Bailey 2006 斜向探頭 0.37cm 反例與「垂直探頭前提」nuance。
• 升級範圍精確限縮：僅 Park 2011 三個實證數據點升 （0.28→0.83cm／+0.54±0.50cm 95%CI 0.44–0.64／miss 11%→24%）。
• docs/decisions/ADR-0003：「已知弱點」更新——PMC3167127 已 L4 接地、Andrews 2020 仍未接地。
• tree/research/Q-RC3-IJV-error.md、tree/adr/adr-0003 frontmatter：接地狀態 / verified 同步。

維持不動（已確認無越界）¶

• 4–7mm 維持 【工程外推】（Park 不直接證明它）；80–85% 維持移除；F1 永久禁用結論完全不動。
• system-architect 判定為「ADR-0003 預告閘門達成的標籤落地」而非新決策，不開 ADR-0003b。

協調者守門（實際執行）¶

• spot-check 比對 constraints.md C13 實檔：升級範圍精確、無 specs 稀釋、無 4–7mm 誤升，通過。
• L4 腳本根目錄副產物（external_review.* / claims.*）為 per-machine 可重生物，接地事實已寫進 specs/ADR/tree/ledger → .gitignore 補規則忽略，保持 repo 根乾淨（與 l4-ledger/pdf-cache 立場一致）。

驗收標準¶

• ADR-0002/0003 各建 tree/adr/ 摘要節點，格式符合決策樹紀律（衍生雙向標註、Reversal 影響）
• 00-index.md NEW section 已整理歸位，Q-RC1～5 入研究問題表、ADR-0002/0003 入 ADR 摘要表
• diagrams.md 占位圖換成實際節點依賴圖
• PMC3167127 L4 通過（exit 0，3 條全 GROUNDED，0 不一致，sha256=1cecee88）＋ 業主人類抽查逐字核實
• C13 Park 2011 升 （ICGC-EXTERNAL）；4–7mm 仍 、80–85% 仍移除、F1 禁用不動（協調者實檔 spot-check 通過）
• ADR-0003 + Q-RC3 + tree 節點接地狀態同步一致
• L4 腳本副產物已 gitignore，待提交清單乾淨

後續（本單不含，另案追蹤）¶

• Andrews 2020（PMC7819530）L4 接地（次優先）：仍是未接地的量級脈絡，需要時循相同流程送 external_review.py。
• spatial-alignment.md 連鎖降級確認：若該檔引用「4–7mm／80–85%」作設計前提，需 system-architect 補查降為【工程外推/假設】（ADR-0003 行 62 連鎖待查）。
• Sasano 2009（s00540-008-0703-6）：已抓進 pdf-cache（tier=verifier-self／未接地），對應 IJV 探頭壓迫 CSA pdf-request；要用須另 spawn agent 讀取、承重再送 L4。