S-8/S-9/S-10 首輪 live 接縫觀測收口＋ADR-019 全鏈落地：SC-7 嚴格遞增不變式拒收真實同分班次之修正¶

背景¶

ADR-017 (B)「首次規劃就抓齊班次」的第四項上線前置條件收口以 S-10 接縫觀測為準（#446 遺留）。本批執行該觀測（S-8／S-9／S-10-a~d，真實 TdxTransitAdapter ↔ 完整 build_trip_with_itinerary()，N1 鐵則），並由觀測衍生的第一案例根因分析撞出一個只有真實資料撞得出來的規格自相矛盾：SC-3b 同時要求「departures 嚴格遞增」與「同分鐘多班次以 trip_id 次鍵」——2026-08-25 台北↔高雄真實班表兩班每日直達車同為 15:00 發車，_entry_violates_invariants() 依前半句拒收整筆 entry，34 筆中 33 筆完全有效班次陪葬。開場基準 commit 49f5844（#446，1635 測試綠）。

變更內容¶

1 S-8/S-9/S-10 首輪 live 接縫觀測批（data-integration-engineer）¶

• 手法沿 N1-1~N1-5：FixturePOISearchAdapter＋真實 TdxTransitAdapter＋純記錄 spy（時序自證 ≤48μs），三城場景（Taipei→Kaohsiung→Penghu）兩輪；TDX 資料 6/60、token 2/20，零 Google 呼叫（_traced_urlopen 網域白名單機械強制）；experiments/adr018-s10-seam-observation/（RESULTS.md＋raw 全量落檔，含「本批已記錄但未分析的量」節）。
• S-9 首次 live 觀測到 E = 2（100% 成因二、雙成因分計）；S-10-a 逐位元一致；S-10-b 前半一致後半未觸發；S-10-c 施工前離線探針兩支（次毫秒級窗口量測）；S-10-d 0/4。

2 architect 三態分級裁決（ADR-017 第九則＋ADR-018 S-10 分級裁定則）¶

• S-10-c「結構性不可觀測」分類不採納退回「未觀測」——第七則 (1a) 防濫用條款首次真正執行（窗口窄≠空、兩旋鈕皆 orchestration 既有入口參數、含 C-1 紅線依 C-6 門檻更高）；工程手法正當不追究，被否決的只有分類。
• E／E_net 計數拆分（本批 E_net = 0：兩次 legacy 呼叫零上游請求——缺口公式代入 E_net、涵蓋率分母用 E；三要素自證非事後護短）；S-8 分支化（一根因觀測到零違反、整體維持未觀測，default-reject 部分通過不算通過）＋判準兩層化更正（departures 欄位寫錯層）。
• (B) 殘餘接縫九項清單逐字落檔（第九則 (7)）——最重要自我設限：ADR-018 納管機制在 live 下從未被真正施壓（四筆 legacy 呼叫全數止步於站點解析前）。
• ARCH-4-followup-dpre-coverage-rate P2→P1（先寫死判準照觸發）；新 followup legacy-path-station-hints-ownership（P2，ARCH-6 收口時轉 P1 同批二擇一＋devil 裁決後第三項義務）；新增 ADR-017 弱點 29/30、ADR-018 弱點 13/14/15。

3 第一案例根因分析（零新增 live 呼叫）¶

• 以已存檔真實回應離線重放（replay_dpre_coverage_case1.py）判別 Taipei↔Kaohsiung 未被 D-pre 涵蓋之三候選：fixture place_id 污染排除（站點解析 12.4m／254.5m 唯一命中真實車站，P1 基準乾淨）、無直達班次排除（34 筆真實直達）、SC-7 嚴格遞增拒收＝唯一成因（兩輪逐位元同結果）。

4 ADR-019 全鏈（設計→devil→裁決→實作→qa，單日）¶

• 設計：核心裁定＝不變式與自己的次鍵條文矛盾、實作未偏離規格；<= 改 <（非遞減）；明文禁止「驗證失敗就地重排序放行」與「同分鐘去重」；整筆作廢維持（逐筆剔除會靜默刪班誤斷末班車＝C-1）；頻率不需先量化（三條論證在頻率為零時也成立）；血緣考據 ADR-006 D7＝並列時穩定裁決、從未要求不得並列。
• devil 挑戰 C1/C2 阻擋級成立（5 項不成立經 architect 獨立複驗）：C1＝消費端枚舉錯誤（architect 自認「預設了一次我沒跑的 grep」）＋SC-7 只守批次路徑、legacy 建構不經驗證——惟「會回傳 departures[0]」時序聲稱不成立（hints 恆空該路走不到），缺口潛伏非現行，三段處置（文件面本批修／不為走不到的路寫碼／義務寫死進 station-hints-ownership 第三項）；C2＝字典序 tie-break 經 estimated_minutes → Stage E 可改變當日節點取捨——「品質偏好」定性推翻，本批直接改次鍵 (departure_minute, arrival_minute, trip_id)（急性風險程式面消滅非延後）。
• 實作（src 3 檔）＋qa 錨點 1~8（新檔 36 測試、九組缺陷注入紅綠、錨點 8 紅在 Stage E 後果面〔spillover 翻轉＋節點 dropped〕、sha256 五檔零殘留、恆真陷阱 36/36 有注入可紅、負向鎖零違規）；1635 → 1671 全綠（主協調者獨立重跑覆核一致）。
• 行為變更批非零回歸批，五項聲明：先前被拒收 entry 入 cache（§10 重放對照：34 筆全入）／departures 首現同分並列／failures 訊息大減（前後計數不可比）／修復前 Tier-3 誠實 miss 對照／次鍵可改變 Stage E 節點取捨。

5 連動與治理¶

• interfaces SC-3b（兩次 ）/SC-7（射程界定）＋qa 錨點表兩列；test-plan 射程限制 5 (iii) 錨定補記（numstat 1 0）；open-questions 六處更新（dpre-coverage-rate P1＋五類分因計數邊界、negative-caching 防誤引註記、station-hints-ownership 新條＋第三項義務、departure-tie-break-key 新條＋C2 射程改寫、主條目三判準分離註記）。
• tree：ADR-019 新節點＋ADR-017/018 節點三輪追記，全部經 architect 複驗 verified（過程中退修：弱點計數 14→15 以 grep 實數、反向連結補齊、被否決替代舉例張冠李戴更正——「計數以 grep 不以累加推算」入方法論記憶）；00-index NEW 兩行。
• architect 自清 ADR-019 檔內兩處追記殘留（檔頭「尚未經 devil 挑戰」與被否決表 C2 列）並如實留痕。

驗收標準¶

• S-8/S-9/S-10 首輪觀測完成並經三態裁決落檔；呼叫預算 6/60＋2/20、零 Google、src/tests 零觸碰
• 第一案例根因零呼叫判別；fixture 污染候選優先排除、基準乾淨
• ADR-019 設計→devil→實作→qa 全鏈；全套 1671 綠（兩度獨立重跑）；九組注入紅綠、sha256 零殘留
• 全部規格項維持 、未升任何 、閘二未開、INV-TW-4/INV-LD-4 負向鎖零違規
• tree 四節點（017/018/019）全 verified；S1 警示逐批查證均為行尾/否定敘述假陽性

誠實邊界¶

• (B) 四項上線前置條件維持四項、均未收口：S-8 整體「未觀測」（僅一種放棄根因驗過）、S-10-b 後半/S-10-c 未觀測、九項殘餘清單未清空——不得聲稱「接縫已驗」。
• 本批全部 live 觀測使用 fixture place_id（ADR-017 弱點 30）——外部效度在真實 place_id 進場前無法建立。
• ADR-019 修復使該類 OD 對不再落 legacy 僅於離線快取層觀測到；真實鏈路生效待下次 live。
• E = 2 為自傷成因、修復後跨批不可比；P1 分級不回退（先寫死判準不倒轉）。

遺留（非阻擋）¶

• S-8 (ii)(iii)/快取層、S-10-b 後半（須構造秒級真實等待）、S-10-c 兩條構造配方——(B) 上線前補齊批。
• architecture.md TW-13/14/16 接縫狀態描述與下次 TW 批同批更新（architect 刻意延後非遺漏）。
• open-questions 主條目（legacy-dmain-transit-budget）是否標「已解決」待 architect 下批裁定（三判準分離說明須隨附）。
• R3-2 業主複核與 T-2 打包（交 PM）；L4 外部接地與 GCP 用量核對（人類待辦）。