ADR-016 逐日候選配置設計批：devil 挑戰全鏈＋業主拍板＋ADR-015 首次正式執行¶

背景¶

真實資料端到端試跑批（FT-1~FT-14，#422）暴露逐日候選選取的三個互相耦合缺口：

1. 類別配比全無感知——POI_CANDIDATES_PER_DAY=10 個名額可全給餐廳，實測 day1/day3 各 5 筆餐廳、同一用餐時段疊 2~3 筆
2. 當日容量全無感知——Stage E 有日身分折算，選取層不讀，抵達日與純中間日拿一樣多候選（FT-9 (9) 密度不合理的機制解釋）
3. enrich 軟上限比例關係——10 × 天數 > 30 ⟺ 天數 > 3，任何 4 天以上行程結構性保證有節點在無營業時間資料下被排入

三者分開修必然互相打架，前輪已裁定合併為單一決策面（取代 poi-category-quota、吸收 meal-window-node-cap、併 enrichment-coverage-ratio 同批）。

ADR-016 定稿（草案 → devil 挑戰 → 收斂定稿全鏈）¶

• 決策 1：逐日名額 = POI_CANDIDATES_PER_DAY × capacity_ratio，與 Stage E 共讀 compute_capacity_minutes()（單一來源純函式紀律第三消費者）；floor 取整（round 使同日進出日超載比 1.32 反而最糟 → INV-CB-2）；零新增量級常量
• 決策 2：餐廳配額 = min(用餐 band 數, n_total)、景點吃殘額、回填單向；「過度供給不能當備援，只能變成疊放」為關鍵論證；選取鍵逐字不動（無評分）
• 決策 3：Σ n_total ≤ SOFT_CAP 不變式（INV-CB-1）上游收斂，違反時跨 Day round-robin 削景點名額；下界 MIN_ATTRACTIONS_PER_DAY=2（唯一新增常量，【低信心】併 Q10-followup-j）；N≥8 數學上不可滿足 → 業主決策項
• 決策 4：D-FILTER-3 界線明文——配額管「一天排幾餐」非「憑分數過濾店家」；機械判別測試＝改任一餐廳 rating 選取集合必須不變（結構保證：選取時 rating 尚未取得）
• 決策 5：未補全景點按成因分流（沒問 → 排除＋顯式診斷／問了失敗 → 照排＋標記，防 API 暫時失效放大成零景點行程）；餐廳一律照排（有用餐聯集窗真實硬窗）；三條未補全路徑診斷全覆蓋（原僅 1/3）

devil 挑戰兩輪裁決（2 阻擋級全數處置）¶

• B1 採納＋architect 自行補強：devil 代數證明決策 1 對超載比例中立（capacity_ratio 相除完全約分）；architect 覆算後再更正 devil 算術——決策 2 因名額回填實為 load +30 不減載，真實減載僅來自決策 3 → 明文「不得宣稱本 ADR 解決了試跑觀測到的超載」；qa 錨點 5 廢止重寫（原版是自我實現測試）
• B2 成立：回填清單漏第四處（devil 以 Grep 全文掃出），補入但依 ADR-015 規則 4 拆三部分分列（觀測仍真／定位被推翻／裁定請求被兌現），不採單一標籤避免過度連坐
• M1（跨 band 覆蓋交運氣）納已知弱點 4＋qa 錨點 8；M2（「全列」原話落差）併業主決策包
• D-5（分流可解釋性）未被實質挑戰，明文列 ARCH-5 上線優先復審——不因報告沒提就當通過

ADR-015 更正回流紀律首次正式執行¶

• experiments/e2e-live-fieldtest/RESULTS.md 四行就地回填 superseded 標記，原始觀測一字未改，各自指向 ADR-016 對應段落
• ADR-015 檔頭三處修正（移除無支持的 ADR-013 依賴邊〔會污染 Reversal 推演〕、「三條硬規則」實為四條、「第一個適用實例」歧義釐清）——規則的作者不會自動遵守規則，抓到的是不持有記憶的節點驗證

決策樹與治理同步¶

• tree/adr/ADR-015 節點：依賴欄同步修正後回填 verified
• tree/adr/ADR-016 節點：新建 → architect 驗證抓出 3 必修（adr-006 slug 斷鏈、B1 摘要句會傳播被推翻版本、漏第七條撤銷線）＋2 選修 → 全數修正後回填 verified
• open-questions：兩條 P1（poi-candidate-allocation／enrichment-coverage-ratio）收口
• architecture.md FT-13 (b)/(b-2)/(d) 指路 bullet（architect，未動既有文字、零 新增行）

業主決策包（三項合併一次呈，全白話零代號）¶

• D-1（N≥8 長行程取捨）：業主選 (B) 花錢提高查詢預算——條件性生效：費用估算＋業主核准金額前不得動 SOFT_CAP； 估算本身是可能觸發 ADR-010 已知弱點 4 條件性降級線（≥70% 免費額度）的量測
• D-2（餐廳呈現落差）：業主選 (A) 知情——「業主知情解除的是告知義務，不是事實限制」（ARCH-5 前仍不得宣稱已兌現全列）
• D-3（班次資料）：業主明示不沿用 2026-07-31 住宿決定，要求拆分細問——細問前置＝工程依 Q10-followup-b 批量策略推算真實等待數字，選項不得杜撰不存在機制

驗收標準¶

• python -m pytest -q → 1426 passed, exit 0（2.04s，純文件批零回歸）
• ADR-016 全部裁定 封頂（純工程取捨、無研究結論驅動、無 L4 接地），零 specs 新增行
• 回填四行原始觀測一字未改（ADR-015 決策 1 規則 1），逐行按性質欄執行未連坐（規則 4）
• 兩個 tree 節點均經 architect 驗證後 verified
• 業主三項回覆均已記錄於 owner-tracking 檔（含條件性生效界定）

殘餘（不在本批射程）¶

• ARCH-2-followup-places-types-sku（SKU 查證線）遭 session 環境阻擋（open-websearch MCP 工具未載入，兩次獨立 spawn 自檢失敗、鐵則 2 誠實停機）——設定層三處已診斷皆正確，待重啟 session 或改 CLI 執行
• Place Details 費用估算（D-1 條件性生效的前置，含 70% 降級線量測義務）
• 班次資料拆分細問（先要工程數字）
• ADR-016 實作批未開始