生活智慧王 » 旅遊小幫手

摘要¶

ARCH-1 編排引擎四棒設計管線（領域模型 → architect 提案 → devil-advocate C1~C9 挑戰
→ 落地 + qa 測試計畫）的最後一個子問題 ARCH-1-8。在 ADR-006 Stage A 切日 + Stage D
框架內細化跨日／多趟連續性，不開新 ADR、不新增 constraint、不降級、連 §5.5 補註都不需要。

範圍¶

• 單 Trip 閉包（E2，業主已拍板）
• Destination 序列驅動跨日地理連續（R31，複用 DM-S4 80km）
• 長途轉場段歸屬出發 Day（R33-a，落 Stage D-main）
• 轉乘多段 transit_segment 串鏈（R34，原子塊 I-21）

新增 schema（6 個極小欄位）¶

• transit_segment：transfer_chain_id / leg_sequence_index / leg_count
  （[P]·班次 V-soft 變則 regenerate 覆寫·裁定 10）+ chain_endpoint_orphaned[P]（C7 鏈終點孤立）
• ScheduleRef：service_date[P]（C2 跨夜判定錨點·與 ARCH-1-3 GTFS day_offset 同源·裁定 11）
• Day：is_transit_day[P]（#1 確定性收口：中間單日 true 套 TRANSIT_DAY_CAP／
  末尾單日 false 套首尾日折扣／首個單日 true）
• 否決領域模型過量欄位（is_first/last_leg 冗餘·destination_index 由 base_location ref 覆蓋·
  effective_transport_mode 逐段投影·overnight bool 由 service_date 衍生）+ 推翻 [V-hard] 誤判

devil-advocate 兩大尖銳挑戰解法¶

• C2（overnight 純 time 無法判跨夜：23:30→06:00 與 26h 渡輪誤判）→ service_date 衍生路徑，
  與 ARCH-1-3 GTFS 換算同源、不引冗餘 bool
• C5（多 Destination 邊界日長途段 > TRANSIT_DAY_CAP 致守恆超載死結）→ transit day 守恆
  超載判定排除長途轉場段 estimated_minutes（CAP 只壓景點/餐廳，DM-S7）

qa 4 可測試性缺口處置¶

• #1（末尾單日歸類）/ #4（gate_capacity transit 估計三分支 ScheduleCache→haversine→intercity）
  → 本棒結構收口
• #2（ScheduleCache 多時段 cache key）/ #3（Stage C↔D 無反饋路徑·簽章）
  → defer interfaces + Q10-followup-k

產出文件¶

• docs/specs/architecture.md（ARCH-1-8 落地段）
• docs/specs/data-model.md（§4.4 / ScheduleRef / §5 Day / §5.1 DM-S7 / §9 #32~#37）
• docs/specs/glossary.md（+7 術語）
• docs/specs/test-plan-ARCH-1-8-cross-day-continuity.md（78 條·正24/負25/邊界29）
• docs/research/reports/2026-06-07_ARCH-1-8_*_domain-model.md
• docs/research/reports/2026-06-07_ARCH-1-8_*_architect-proposal.md
• docs/research/devil-advocate/2026-06-07_ARCH-1-8-*-challenge.md
• docs/decisions/tree/00-index.md + docs/research/open-questions.md（衍生項同步）

衍生項¶

• Q10-followup-k（ScheduleCache 多時段儲存結構，data-integration）
• 校準併 Q10-followup-j(10)（MAX_TRANSFER_LEGS=3·centroid·80km 複核）
• 業主知情（非阻擋）：O-NEW-1 併 O-2（car_rental 取/還車時刻）/ O-NEW-2（地理超 80km
  升硬錯誤與否）/ O-NEW-3（多日連續交通郵輪/多日火車是否支援）

不變式 / 成熟度¶

• I-15I-26 跨日不變式；devil C1C9（7 成立 2 部分）
• ARCH-1-8 標「架構已設計 ⏳ 待實作驗證」
• ARCH-1 整體維持 ❓：ARCH-1-6（票務源未定 + Q17）/ 1-7（依賴 ARCH-5 ❓）仍開放，
  演算法未實作驗證