ADR-013 車站映射批第一棒：POI↔最近車站＋步行段顯式建模——超界豁免打開大眾運輸日、三輪品質閘收口（1395 測試綠）¶

背景¶

前兩批（#408/#412）打通 TDX 真實班次管線，但旅遊節點不是車站——精確比對下三個解析失敗成因的下游後果同為「該候選位置不可行」，多數節點解析不到時整個大眾運輸日排不出行程（tps 領域抽查：九份/日月潭/阿里山/太魯閣四例必然超界、零例明確可步行——誠實降級在真實資料下是常態非例外）。

設計（ADR-013，十項決策＋三輪修訂，全數 ）¶

• 核心轉化：devil 前批禁止的「取最近站」在本批合法化，授權條件＝步行段必須被呈現（站名＋距離＋分鐘是前提不是選配）——挑錯站人眼可見、誤差上界就是顯示的那段距離
• 三層分工：事實層（adapter 最近站解析，用既有站點清單快取＋共用預算閘）／政策層（純函式持門檻係數）／組裝層（D-pre 唯一呼叫點）
• 超界豁免：超出步行門檻的節點免受班次可行性與末班車約束（F-2 白名單第三欄位，警訊條款依規開 ADR），段輸出無條件 Tier 3＋真實步行距離＋非承諾式轉乘提示＋涵蓋範圍聲明（阿里山林鐵非 TDX 涵蓋）
• 紅線：三種真正查不到的情況（無站/缺座標/查詢失敗）一律維持誠實 miss 不得併入豁免；末班車狀態擴五態（unverified_beyond_walking），unverified_* 前綴恆須警語
• 七常量全【低信心】待校準；門檻不變式鎖住「校準破壞時須同批接入 at_minute」連動義務

品質鏈（本批治理密度最高的一批）¶

1. devil 設計挑戰（工程前）：兩阻擋級——豁免語義未接 D-pre/D-main（「訊號未接下游」家族第三次重演）＋多網路聚合未定義；架構師修訂時自揪出 devil 沒抓到的決策 6 假前提（第五態原永不可觸發）
2. 工程誠實停問：發現規格字面與可行實作的範圍落差，停下請裁而非硬做——架構師裁「合格第一棒」並把自己文件三處「已消除」過度宣稱全部更正（「規格可信度比落差本身重要」）
3. qa 全錨點簽核先退回：抓到繼承迴圈誤填豁免節點——超界節點被「別的節點的末班車」誤殺（ADR-013 要消滅的問題換路徑復活），兩條 strict xfail 鎖定；另核出 (l)-4「現況正確靠巧合非機制」
4. 修復＋(l)-4 補實作後 devil 聚焦復核確認收口、qa 終局通過；工程師一處規格外防禦經 qa 審定「必要且承重」（防 name-only 節點資料損失）

驗收¶

• python -m pytest tests/ -q → 1395 passed, exit 0（#412 基準 1307 → +88；主協調者每輪獨立複跑）
• C1 端到端負向核心：來源側有真實班次的豁免對仍輸出 Tier 3、不引用班次（對抗性構造驗證）
• 零 xfail 殘留、既有測試零回歸、全程離線

誠實界定（qa 簽核五條，逐字有效）¶

三成因只解其一（都會多站區間 walkable 節點仍落 miss）；walkable 段接線待 followup（四步行欄位現恆 None）；不得宣稱大眾運輸功能對使用者可用（ARCH-5 四項呈現義務為前置）； 封頂（豁免判定誠實 ≠ 豁免比例合理）；未跑 live。

殘餘¶

• walkable-wiring followup（P1，決定都會區命中率）：nearest-station 接進班次查詢，資料流已預裁（per-network resolved_stations 下傳）＋qa 必接項三條＋禁止混合退回明文
• network-preference／luggage-granularity／lookup-failure-correlation（P2）；7 常量併 Q10-followup-j 校準