閘施壓觀測批：閘 A/B 首次 live 觀測＋閘 C・S-10-d「結構性」分類退回（ADR-017 第十四則）¶

背景¶

ADR-017 殘餘接縫清單三項（7 S-10-d／8 S-6 clamp／9 ADR-018 納管 live 未受壓）中，第 9 項「閘會擋」已證（clockinject，合成時鐘）但「納管在真的要去查時會照設計動」未證；第 7 項門檻（單日同一 cache_key >= 3 次上游請求）從未被有效施壓。本批以零成本離線探針先行、成立才 live 的兩段式，沿 enet 批 (g)(i) 冷 instance 骨架＋既有入口參數注入收緊 ItineraryBudget，對 legacy 三道閘做首次真實時鐘施壓觀測；S-10-d 可及性由第二位工程 agent 平行做零 live 結構分析。

變更內容¶

觀測批（experiments/adr018-gate-pressure-observation/，全新目錄）¶

• OFFLINE_PROBE.md（零 live 探針）：閘 A/B 可行推導＋可行預算窗代數（三種基準併列）＋閘 C no-go 論證；CPU 開銷 g 實測 <= 0.016s（30 輪 x 多次）。
• RESULTS.md（tier=engineering-fieldtest）：live 六輪 B ∈ {10.0, 1.075, 1.141, 1.18, 1.219, 1.315}，帳本 8/20 資料＋6/10 token、零 Google、零 src/ 變更、零失敗輪；含一處 筆數更正（13→14，主線複核核出，成因誠實落檔）。
• S10D_REACHABILITY.md（零 live）：S-10-d 可及性結構分析 Q1~Q5，兩條路徑各以獨立成因排除之候選結論。

裁決（ADR-017 第十四則＋ADR-018 同日連動則，system-architect）¶

• 閘 A（timeout 收緊）＝觀測到、一致——本專案首次 live 觀測：14 筆真實請求 request_timeout_arg 逐筆等於 min(30, work_remaining) 獨立重算值（最大偏差 < 1e-10s），五條射程限定（吻合部分可推導不得升不變式／等待帳加項零觀測／30.0 一支未選中／n=6 fixture／tracer 欄位新增）。
• 閘 B（L0-c-3）＝觀測到、一致——首次真實時鐘（不受 N1-2c 限制）：三筆拒發全命中四檢查點中首見之 :1235-1241；首次觀測單次 legacy 呼叫內部分拒發（R2/R3 目標事件 TRA 成功＋THSR 被拒，兩獨立樣本）；掃描五輪成功筆數 0→1→1→2→2 嚴格單調、轉換點被 Round 0 校準窗 [1.125, 1.235) 預測後逐輪命中；C-1 六輪零違反。
• 閘 C 與 S-10-d 兩項「結構性」分類均不採納、退回「未觀測」（第七則 (1a) 防濫用條款第二、三次執行）：兩論證共用同一成功分支盲點（失敗分支不寫任何快取＋legacy 恆 negative_cache=None），且閘 C 論證未涵蓋 429 分支——本批 R5 末筆 X-RateLimit-Remaining-Minute=0 即其可及性直接證據。
• architect 就地作廢自己第十三則 (4a) 全稱句與門檻定位（同型錯）：S-10-d 門檻同時落在兩個 cache_key 空間（時刻表分鍵不可及〔兩條射程限定〕／站點清單固定字面 key 可及〔不需 hint 命中〕），計數改為門檻本身之形狀（單日同 key 經 legacy 上游請求數最大值，門檻 3；本批值＝站點清單 1／時刻表 0）；可及支觀測落點＝qa 離線錨點（live 批不得注入失敗）。
• 新增弱點 38（正向快取型不可及性論證只在成功分支成立）、39（四次「結構性」提案僅一次採納、敗因同型）＋寫死規則：此類提案必附「失敗分支／非 200／外部觸發」行為一節，缺者直接退回。
• 殘餘三項維持三項、全稱聲稱禁令與第 9 項特別標記逐字維持；第 9 項細化六列覆蓋帳＋援引形狀更新（機制會擋 ≠ 真的要去查時照設計動）。

連動¶

• architecture.md 四處＋test-plan (viii)＋ADR-018 五處 （architect）；open-questions 兩處（negative-caching 門檻形狀＋離線錨點待驗面／station-hints-ownership 鎖三事＋六條自動失效清單）＋tree 兩節點追記（主協調者）。
• tree 兩節點經 architect 複驗：首輪 2 必修（六輪→掃描五輪單調序列；「單一 leg 填滿視窗」誇大——源頭為 architect 自身 ADR 原句、先修本體）＋主協調者自查同源第三處（open-questions），三行定點確認通過，均 verified。
• station-hints-ownership 現同時鎖住三件事（S-10-d 時刻表空間／第 9 項目的面／閘 C 可及性上界），維持 P2。

驗收標準¶

• 離線探針先行、成立才 live；閘 C 判 no-go 即零 live 輪不硬湊
• TDX 另立本批帳 8/20 資料＋6/10 token、零 Google、N1 鐵則、零合成時鐘、零 src/ 變更
• 主線行號級複核（兩份離線分析 12 處＋RESULTS 逐欄）＋筆數 14 之更正以 len 機械數
• 全部規格項維持 零新增 （S1 警示兩檔逐行核驗為引用既有狀態）、閘二未開、INV 負向鎖不動
• 殘餘三項未清空——「接縫已驗」全稱聲稱禁令逐字維持
• tree 追記經 architect 複驗 verified、fixture place_id 外部效度限定照帶