(B) 上線前殘餘接縫補齊觀測批——九項殘餘清出五項（S-8 全分支＋S-10-c＋S-10-b 後半），殘餘 9 → 4¶

背景¶

上一批（#448）收口時，ADR-017 第九則 (7) 落檔「(B) 對使用者生效前的殘餘接縫清單」共九項，並立禁令：九項未清空前不得使用「接縫已驗」全稱聲稱。本批依業主既定方向執行可零成本補的子集：S-8 (ii) 等待額度用盡、S-8 (iii) 工作預算耗盡、S-8 快取層判準、S-10-b 後半（秒級真實等待）、S-10-c（ADR-018 已寫死兩條構造配方）。

手法沿 N1-1~N1-5 鐵則（真實多日行程跑完整 build_trip_with_itinerary + 真實 TdxTransitAdapter + 純記錄 spy）；TDX 免費、呼叫預算沿 N1-4（資料 ≤60／token ≤20）；零 Google 呼叫；觀測結果依第七則三態框架交 architect 裁決。

變更內容¶

觀測批三輪（experiments/adr017-residual-seams-observation/，data-integration-engineer）¶

• 第一輪三場景：clockinject（合成計數時鐘命中 L0-c-2，覆蓋 S-10-c＋S-8 (iii)）／s8ii（真實限速器拒發，5 筆暖身耗盡 5 次/60s 視窗＋3.2s 極小等待帳）／s10b（秒級真實等待 17.984s＋跨日補償逐位元恆等）。含一次失敗嘗試如實保留。
• 第二輪（同日構造，離線 8 情境＋1 live）：誠實失敗——兩項結構性發現（Stage B 分桶互斥、SC-15 豁免半徑互斥），工程主動停手不盲試。
• 第三輪（依修正後判準 (7d′)，R2 構造）：僅 2 資料/1 token 命中——delta_observed = 0.296s＝實測時鐘解析度（15.625ms，先於資料實測落檔）的 18.9 倍、門檻的 1.89 倍；交叉驗證絕對差 0.0。
• 三輪累計：TDX 資料 22/60、token 5/20、零 Google；raw_output 全量落地、逐呼叫記帳。

architect 三則裁決（ADR-017 第十／十一／十二則＋ADR-018 兩處就地 ）¶

• 第十則：殘餘 1/2/3/6 四項清出、S-8 整體改判「觀測到、一致」（三條射程限定：fixture place_id／呈現層輸出過度決定＝弱點 33／SC-8 合法空 entry 未施壓）；新增手法條款 N1-2b（暖身四條限定）／N1-2c（注入時鐘僅符號面有效）；快取層判準等價性由兩條結構事實核實；ARCH-4-followup-legacy-dmain-transit-budget 裁定標「已解決」＋三條不得遷移界線；第七則 (1a) 防濫用條款的 S-10-c 退回在同一天內被實測證明正確。RESULTS §3.1 一處歸因不成立就地更正（legacy 未被等待帳施壓，係記憶體快取命中＋空 hints 早退）。
• 第十一則（architect 自我更正）：作廢第十則 (7d) 判準——該式在代數上恆 ≤ 0，第二輪整輪在追不可能目標，「執行者的一整輪被我的判準浪費」明文自承（弱點 34＝為可觀測性換掉被驗證的量）；改立 (7d′)（同一時刻反事實＋同一 clock 物件＋交叉驗證＋門檻繫實測時鐘解析度，不需 rate-limit sleep）；S-10-b 維持未觀測不歸第三態（legacy 到達路徑核實有四條 R1~R4）；兩條後續路徑否決、三個便宜構造方向寫死。
• 第十二則：S-10-b 後半「觀測到、一致」清出 ⇒ 殘餘清單四項（E_net 冷 instance／S-10-d 累計 0/8／S-6／ADR-018 納管機制未受壓）；「逐位元相符」正確讀法寫死（可推導＝Sterbenz＋binade ulp 對齊、資訊量在證明兩次時鐘讀值同刻度、不得升為不變式、容差 ≥ 1e-9 附兩條合法反例）；同一組數據上舊判準 −0.016s／新判準 +0.296s＝第十一則自我更正的數值實證；弱點 35（交叉驗證兩路徑共用單一資料源，驗管路非量）。

連動文件（主協調者）¶

• docs/research/open-questions.md 八處：legacy-dmain-transit-budget 標已解決＋三界線／negative-caching 累計 0/8／refund-asymmetry 首個 live 直接證據（往返時間隨跨日退還）／station-hints-ownership 弱點 33 天花板／dpre-coverage-rate 加 exempt 出口單獨計數義務／新增 ARCH-1-followup-single-night-stop-attraction-capacity（P2）等。
• tree 兩節點（adr-017/adr-018）追記＋00-index NEW 條目；architect 複驗首輪 2 必修（「18.9 倍」接在門檻後誇大一個數量級——源頭 ADR 正本、architect 自承先修正本；followup 升級條件被窄化）＋3 建議，修正後定點確認通過、兩節點 verified（主協調者自查出 00-index 第三處同型錯誤一併修正）。
• test-plan 射程限制 5 錨定補記 (iv)(v)(vi)；ADR-019 成熟度段計數補註兩度更新。

驗收標準¶

• 殘餘接縫清單九項 → 四項，逐項裁決有獨立機械證據（raw_output 可覆核）
• 呼叫預算帳一致（frontmatter vs call_ledger vs raw 檔數；22/60 資料、5/20 token、零 Google）
• 全稱聲稱禁令逐字維持（清單未清空；第 9 項清空前不得作全稱聲稱）
• 閘二維持 False、INV-TW-4/INV-LD-4 負向鎖零違反、零 src/ 變更（純觀測＋文件批）
• 全部規格項維持 （tier=engineering-fieldtest 依接地上限條款不可能支持升級）
• tree 兩節點 architect 複驗 verified（2 必修修正後定點確認）

誠實界線（不得被本批引用推翻）¶

• 全批 live 觀測皆 fixture place_id（弱點 30），外部效度未建立。
• S-8 改判帶結構性天花板（弱點 33 過度決定），解除繫於 station-hints-ownership followup。
• 四項上線前置條件維持四項、均未收口；(B) 對使用者仍不生效。
• 殘餘第 9 項（ADR-018 納管機制 live 未受壓）性質特殊：整套機制的受壓行為從未被看過。

遺留（非阻擋）¶

• 殘餘四項：E_net 冷 instance／S-10-d 有效施壓／S-6（結構性不可觀測）／ADR-018 納管機制受壓——前兩項待後續觀測批，S-6 條件觸發。
• architecture.md TW 段＋interfaces SC-6a「刻度」補註：architect 寫入域，隨下次 TW/SC 段更新同批。
• R3-2 前提複核與 T-2 併呈：交 PM 打包（本批不呈）。
• 人類待辦：L4 external review（ARCH-2 places-types-sku 查證檔）＋跨 AI 稽核蓋章＋GCP 用量核對。