@danceiny/gotry 0.0.1-rc.10

package/ts/src/mock-llm.ts

@@ -0,0 +1,100 @@
+/**
+ * Mock LLM(S2,ADR-8):确定性剧本,重放真实对话的智能侧。
+ * 它不做任何「聪明事」——只按剧本返回抽取结果;循环架构的正确性由此验证,
+ * 与智能质量解耦。S4 接真 LLM 后,本文件留作回归夹具。
+ */
+
+import type { LlmPort } from './loop.ts'
+import type { InterviewQuestion, TravelerProfile, TripState, Turn, CalendarState } from './contracts.ts'
+import type { JourneySpecTS } from './unified.ts'
+import type { TravelSlotExtraction } from './travel-slots.ts'
+import { parseFlightPackToSpec } from './unified.ts'
+
+interface ScriptStep {
+  /** 命中条件:用户消息包含此关键词(第一条匹配生效) */
+  when: string
+  calendar?: Partial<CalendarState>
+  profile?: Partial<TravelerProfile>
+}
+
+/** 槽位抽取剧本:评测 harness 把 golden 逐条挂进来,mock 原样回吐(管道自测用) */
+export interface SlotScriptStep {
+  when: string
+  extraction: TravelSlotExtraction
+}
+
+/** 剧本:来自真实 Kimi 对话里用户给出关键事实的时刻 */
+const SCRIPT: ScriptStep[] = [
+  {
+    when: '请给我做机票和酒店的行程规划和推荐',
+    calendar: {
+      year: 2026,
+      assertedWeekdays: {
+        '2026-07-17': 'fri', '2026-07-18': 'sat', '2026-07-31': 'fri',
+        '2026-08-01': 'sat', '2026-08-09': 'sun', '2026-08-10': 'mon',
+      },
+    },
+    profile: { companions: ['girlfriend(先在普吉)'] },
+  },
+  {
+    when: '工作时间',
+    profile: {
+      workWindow: {
+        homeTzOffsetMin: 240, startMin: 600, endMin: 1140, workdays: [0, 1, 2, 3, 4],
+        evidence: '用户原话:我的工作时间是UTC+4的早上10点到下午7点',
+      },
+    },
+  },
+  {
+    when: '订了酒店',
+    profile: {
+      bookedResources: [
+        { kind: 'hotel', ref: 'The Title East Wing Rawai(7.18-23, 5 晚)', window: '2026-07-18~07-23' },
+      ],
+    },
+  },
+]
+
+export function createMockLlm(flightPackPath?: string, slotScript: SlotScriptStep[] = []): LlmPort {
+  let stepIdx = 0
+  return {
+    async extractFacts(history: Turn[], _state: TripState) {
+      const last = history[history.length - 1]?.text ?? ''
+      // 剧本顺序消费:真实对话里事实按此顺序浮出;未命中则无新事实
+      const step = SCRIPT[stepIdx]
+      if (step && last.includes(step.when)) {
+        stepIdx++
+        return {
+          calendar: step.calendar,
+          profile: step.profile,
+          assumptions: Object.keys({ ...step.profile }).map(f => ({ field: f, source: 'user-verbatim' as const })),
+        }
+      }
+      return { assumptions: [] }
+    },
+    async extractSpec(history: Turn[], state: TripState): Promise<JourneySpecTS | null> {
+      // mock 翻译:工作窗口与已订资源齐备后,「翻译」= 装载航班包并挂上真实工作窗口
+      if (!state.profile.workWindow || !state.profile.bookedResources) return null
+      if (!flightPackPath) return null
+      const { readFile } = await import('node:fs/promises')
+      const pack = JSON.parse(await readFile(flightPackPath, 'utf-8'))
+      const spec = parseFlightPackToSpec(pack)
+      spec.workWindow = {
+        homeTzOffsetMin: state.profile.workWindow.homeTzOffsetMin,
+        startMin: state.profile.workWindow.startMin,
+        endMin: state.profile.workWindow.endMin,
+        workdays: state.profile.workWindow.workdays,
+      }
+      spec.budgetCny = 9000
+      return spec
+    },
+    async extractSlots(history: Turn[]): Promise<TravelSlotExtraction | null> {
+      const last = history[history.length - 1]?.text ?? ''
+      const hit = slotScript.find(s => last.includes(s.when))
+      return hit ? structuredClone(hit.extraction) : null
+    },
+    async polishQuestion(q: InterviewQuestion) {
+      return `【${q.key}】${q.text}\n(为什么问:${q.why})`
+    },
+  }
+}

package/ts/src/model.ts

@@ -0,0 +1,220 @@
+/**
+ * Gotry 可行性引擎领域模型(TS 版,与 py/gotry_feasibility/model.py 逐行对齐)。
+ *
+ * 双实现纪律:Python 版是**对照实现(oracle)**,TS 版是产品运行时实现;
+ * 同一输入两版必须给出相同判定(ts/scripts/diff-test.ts 做差分验证)。
+ * 算术(门到门全成本)在此层与求解完全分离,两边各自可测。
+ */
+
+export function hhmmToMin(s: string): number {
+  const [h, m] = s.split(':')
+  return Number(h) * 60 + Number(m)
+}
+
+export function minToHhmm(m: number): string {
+  return `${String(Math.floor(m / 60)).padStart(2, '0')}:${String(m % 60).padStart(2, '0')}`
+}
+
+export interface TransferMode {
+  mode: string
+  minutes: number
+  priceCny: number
+}
+
+export interface Service {
+  id: string
+  depMin: number
+  arrMin: number
+  priceCny: number
+}
+
+export interface HubAccess {
+  hub: string
+  toHubMin: number
+}
+
+export interface MotivationProfile {
+  /** 动机谱系,如 { escape_rest: 0.7, curiosity: 0.3 } */
+  weights: Record<string, number>
+  /** 起床不早于(当日分钟)——由动机推出的硬约束 */
+  wakeFloorMin: number
+  minArrivalEnergyPct: number
+  baseUsableHours: number
+  escapeHoursPerWeight: number
+}
+
+export interface Candidate {
+  id: string
+  name: string
+  hub: string
+  bufferOutMin: number
+  bufferRetMin: number
+  servicesOut: Service[]
+  servicesRet: Service[]
+  destTransfers: TransferMode[]
+  stayCnyPerNight: number
+  localDailyCny: number
+  minDaysForPurpose: number
+  imageryMatch: number
+  bestMonths: number[]
+}
+
+export interface TravelRequest {
+  note: string
+  motivation: MotivationProfile
+  windowDays: number
+  budgetCny: number
+  homeHubAccess: Record<string, HubAccess>
+}
+
+export interface Choice {
+  outService: Service
+  outTransfer: TransferMode
+  retService: Service
+  retTransfer: TransferMode
+  days: number
+}
+
+export interface TrueCost {
+  moneyCny: number
+  wakeMin: number
+  arriveStayMin: number
+  doorToDoorOutMin: number
+  energyArrivalPct: number
+  usableHours: number
+  usableDay1Hours: number
+  usableDay2Hours: number
+  departHomeRetMin: number
+  arriveHomeRetMin: number
+}
+
+export function requiredUsableHours(mot: MotivationProfile): number {
+  return mot.baseUsableHours + mot.escapeHoursPerWeight * (mot.weights['escape_rest'] ?? 0)
+}
+
+// ---- 精力模型(可校准参数,与 Python 版一致) --------------------------------
+export const WAKE_PENALTY_BEFORE_5 = 30
+export const WAKE_PENALTY_BEFORE_6 = 25
+export const WAKE_PENALTY_BEFORE_630 = 15
+export const TRANSFER_PENALTY = 8
+export const LATE_ARRIVAL_PENALTY = 10
+export const LONG_D2D_PENALTY = 10
+export const DAY_END_MIN = 21 * 60
+export const DAY2_START_MIN = 9 * 60
+export const DAY2_QUALITY = 0.9
+export const LATEST_ARRIVE_STAY_MIN = 18 * 60
+
+export function parseMotivation(d: Record<string, unknown>): MotivationProfile {
+  const hard = (d['hard'] ?? {}) as Record<string, unknown>
+  const rawWeights = (d['weights'] ?? d) as Record<string, unknown>
+  const weights: Record<string, number> = {}
+  for (const [k, v] of Object.entries(rawWeights)) {
+    if (typeof v === 'number') weights[k] = v
+  }
+  return {
+    weights,
+    wakeFloorMin: hhmmToMin(String(hard['wake_not_before'] ?? '06:30')),
+    minArrivalEnergyPct: Number(hard['min_arrival_energy_pct'] ?? 40),
+    baseUsableHours: 4.0,
+    escapeHoursPerWeight: 2.0,
+  }
+}
+
+export function parseRequest(d: Record<string, unknown>): TravelRequest {
+  const home = ((d['home'] ?? {}) as Record<string, unknown>)['hubs'] as Record<string, Record<string, unknown>> | undefined ?? {}
+  const homeHubAccess: Record<string, HubAccess> = {}
+  for (const [hub, acc] of Object.entries(home)) {
+    homeHubAccess[hub] = { hub, toHubMin: Number(acc['to_hub_min']) }
+  }
+  return {
+    note: String(d['note'] ?? ''),
+    motivation: parseMotivation(d['motivation'] as Record<string, unknown>),
+    windowDays: Number(d['window_days']),
+    budgetCny: Number(d['budget_cny']),
+    homeHubAccess,
+  }
+}
+
+function parseService(d: Record<string, unknown>): Service {
+  return { id: String(d['id']), depMin: hhmmToMin(String(d['dep'])), arrMin: hhmmToMin(String(d['arr'])), priceCny: Number(d['price_cny']) }
+}
+
+function parseTransfer(d: Record<string, unknown>): TransferMode {
+  return { mode: String(d['mode']), minutes: Number(d['min']), priceCny: Number(d['price_cny']) }
+}
+
+export function parseCandidate(d: Record<string, unknown>): Candidate {
+  return {
+    id: String(d['id']),
+    name: String(d['name']),
+    hub: String(d['hub']),
+    bufferOutMin: Number(d['buffer_out_min'] ?? 60),
+    bufferRetMin: Number(d['buffer_ret_min'] ?? 60),
+    servicesOut: (d['services_out'] as Record<string, unknown>[]).map(parseService),
+    servicesRet: (d['services_ret'] as Record<string, unknown>[]).map(parseService),
+    destTransfers: (d['dest_transfers'] as Record<string, unknown>[]).map(parseTransfer),
+    stayCnyPerNight: Number(d['stay_cny_per_night']),
+    localDailyCny: Number(d['local_daily_cny']),
+    minDaysForPurpose: Number(d['min_days_for_purpose']),
+    imageryMatch: Number(d['imagery_match']),
+    bestMonths: ((d['best_months'] as number[]) ?? []).map(Number),
+  }
+}
+
+export function evaluateChoice(cand: Candidate, req: TravelRequest, ch: Choice): TrueCost {
+  /** 门到门全成本核算(与 Python evaluate_choice 完全一致)。 */
+  const access = req.homeHubAccess[cand.hub]
+  const wake = ch.outService.depMin - cand.bufferOutMin - access.toHubMin
+  const arriveStay = ch.outService.arrMin + ch.outTransfer.minutes
+  const d2dOut = arriveStay - wake
+
+  let energy = 100
+  if (wake < 5 * 60) energy -= WAKE_PENALTY_BEFORE_5
+  else if (wake < 6 * 60) energy -= WAKE_PENALTY_BEFORE_6
+  else if (wake < hhmmToMin('06:30')) energy -= WAKE_PENALTY_BEFORE_630
+  energy -= 2 * TRANSFER_PENALTY
+  if (arriveStay > 21 * 60) energy -= LATE_ARRIVAL_PENALTY
+  if (d2dOut > 6 * 60) energy -= LONG_D2D_PENALTY
+  energy = Math.max(0, energy)
+
+  const day1Raw = Math.max(0, DAY_END_MIN - arriveStay) / 60
+  const day1 = day1Raw * (0.5 + energy / 200)
+  const leaveStayRet = ch.retService.depMin - cand.bufferRetMin - ch.retTransfer.minutes
+  const day2 = Math.max(0, leaveStayRet - DAY2_START_MIN) / 60 * DAY2_QUALITY
+  const midDays = Math.max(0, ch.days - 2)
+  const usable = day1 + day2 + midDays * 8.0 * DAY2_QUALITY
+
+  const money =
+    ch.outService.priceCny + ch.retService.priceCny
+    + ch.outTransfer.priceCny + ch.retTransfer.priceCny
+    + cand.stayCnyPerNight * (ch.days - 1)
+    + cand.localDailyCny * ch.days
+
+  return {
+    moneyCny: money,
+    wakeMin: wake,
+    arriveStayMin: arriveStay,
+    doorToDoorOutMin: d2dOut,
+    energyArrivalPct: energy,
+    usableHours: usable,
+    usableDay1Hours: day1,
+    usableDay2Hours: day2,
+    departHomeRetMin: leaveStayRet,
+    arriveHomeRetMin: ch.retService.arrMin + access.toHubMin,
+  }
+}
+
+export function trueCostToDict(t: TrueCost): Record<string, unknown> {
+  return {
+    money_cny: t.moneyCny,
+    wake: minToHhmm(t.wakeMin),
+    arrive_stay: minToHhmm(t.arriveStayMin),
+    door_to_door_out: `${Math.floor(t.doorToDoorOutMin / 60)}h${String(t.doorToDoorOutMin % 60).padStart(2, '0')}m`,
+    energy_arrival_pct: t.energyArrivalPct,
+    usable_hours: Math.round(t.usableHours * 10) / 10,
+    usable_day1_hours: Math.round(t.usableDay1Hours * 10) / 10,
+    usable_day2_hours: Math.round(t.usableDay2Hours * 10) / 10,
+    leave_stay_return: minToHhmm(t.departHomeRetMin),
+    arrive_home_return: minToHhmm(Math.min(1440, t.arriveHomeRetMin)),
+  }
+}

package/ts/src/slot-spec.ts

@@ -0,0 +1,172 @@
+/**
+ * 槽位→日期解析层(D-10 切片 A):把 travel_slot_extraction.v1 的逐字时间表达
+ * 在代码层换算为绝对日期——「tool-owned dates」的执行面。
+ *
+ * ADR-12 复审结论(2026-08-27,D-10 赎回触发):设计成立,但解析范围必须**有界**——
+ * 只解析锚点卡词表内的表达(今天/明天/后天/大后天/本周X/下周X/下下周X/下个月初|中旬|下旬)
+ * 与绝对表达(ISO/点分/中文月日,parseAbsoluteDate)+ 槽位约定后缀「+N」;
+ * 词表外(近期/这阵子/next Monday/英文月名…)一律 unresolved 逐字保留,
+ * 不做开放式中文相对日期解析(ADR-12 被拒备选:维护黑洞)。
+ *
+ * 本层是纯函数:不碰求解器、不改入参;工具查询/spec 一致性闸的接线属后续切片。
+ */
+
+import { parseAbsoluteDate, ymd, type TimeAnchor } from './time-anchor.ts'
+import type { TravelSlotExtraction } from './travel-slots.ts'
+
+export type SlotDateKind = 'absolute' | 'card' | 'unresolved'
+
+export interface SlotDateResolution {
+  /** 用户原话(逐字) */
+  raw: string
+  /** 换算结果 YYYY-MM-DD;unresolved 时 null */
+  date: string | null
+  kind: SlotDateKind
+}
+
+const WEEKDAY_ZH: Record<string, number> = { 日: 0, 一: 1, 二: 2, 三: 3, 四: 4, 五: 5, 六: 6 }
+
+function addDaysYmd(today: string, n: number): string {
+  const [y, m, d] = today.split('-').map(Number)
+  return ymd(new Date(y, m - 1, d + n))
+}
+
+/** 「下周五+3」「8.20+2天」后缀:base + N 天(槽位规则 5/6 的拼接约定) */
+function splitPlusSuffix(expr: string): { base: string; plusDays: number } {
+  const m = expr.match(/^(.*?)\+(\d+)天?$/)
+  if (m && m[1]) return { base: m[1], plusDays: Number(m[2]) }
+  return { base: expr, plusDays: 0 }
+}
+
+/** 锚点卡近邻日词表(今天/明天/后天/大后天)→ 相对今天的偏移天数;词表外 null */
+function neighborDayOffset(expr: string): number | null {
+  if (expr === '今天') return 0
+  if (expr === '明天') return 1
+  if (expr === '后天') return 2
+  if (expr === '大后天') return 3
+  return null
+}
+
+/** 锚点卡词表周表达(本周X/下周X/下下周X)→ 相对今天的偏移天数;词表外 null。周一分界,与锚点卡一致 */
+function weekdayOffsetDays(expr: string, today: string): number | null {
+  const m = expr.match(/^(本|下|下下)周([日一二三四五六])$/)
+  if (!m || !m[2]) return null
+  const target = WEEKDAY_ZH[m[2]]
+  if (target === undefined) return null
+  const [y, mm, d] = today.split('-').map(Number)
+  const todayMonOffset = (new Date(y, mm - 1, d).getDay() + 6) % 7
+  const targetMonOffset = (target + 6) % 7
+  const weekShift = m[1] === '本' ? 0 : m[1] === '下' ? 7 : 14
+  return weekShift + targetMonOffset - todayMonOffset
+}
+
+/** 锚点卡月分段词表(下个月初/中旬/下旬)→ 该分段首日;词表外 null(保守取首日,宁可早不可晚) */
+function monthFragmentDate(expr: string, today: string): string | null {
+  if (!['下个月初', '下个月中旬', '下个月下旬'].includes(expr)) return null
+  const [y, m] = today.split('-').map(Number)
+  const day = expr === '下个月初' ? 1 : expr === '下个月中旬' ? 11 : 21
+  return ymd(new Date(y, m, day))
+}
+
+/**
+ * 逐字时间表达 → 绝对日期。顺序:绝对表达 → 「+N」后缀拆解 → 锚点卡词表 → unresolved。
+ * kind 告知下游证据等级:absolute/card 可直接用于工具查询;unresolved 必须原文透传给人/模型。
+ */
+export function resolveSlotDate(expr: string, anchor: TimeAnchor): SlotDateResolution {
+  const raw = expr.trim()
+  const year = Number(anchor.today.slice(0, 4))
+
+  const absolute = parseAbsoluteDate(raw, year)
+  if (absolute) return { raw, date: absolute, kind: 'absolute' }
+
+  const { base, plusDays } = splitPlusSuffix(raw)
+  const baseAbs = parseAbsoluteDate(base, year)
+  if (baseAbs) return { raw, date: addDaysYmd(baseAbs, plusDays), kind: 'absolute' }
+
+  const month = monthFragmentDate(base, anchor.today)
+  if (month) return { raw, date: addDaysYmd(month, plusDays), kind: 'card' }
+
+  const neighbor = neighborDayOffset(base)
+  if (neighbor !== null) return { raw, date: addDaysYmd(anchor.today, neighbor + plusDays), kind: 'card' }
+
+  const offset = weekdayOffsetDays(base, anchor.today)
+  if (offset !== null) return { raw, date: addDaysYmd(anchor.today, offset + plusDays), kind: 'card' }
+
+  return { raw, date: null, kind: 'unresolved' }
+}
+
+/** 各域的日期槽位字段(解析覆盖面:主日期 + 回程/退房) */
+const DATE_FIELDS: Record<string, string[]> = {
+  requisition: ['start_date', 'end_date'],
+  flight: ['departure_date', 'return_date'],
+  hotel: ['check_in_date', 'check_out_date'],
+}
+
+export interface ResolvedSlots {
+  requisition?: { start_date?: SlotDateResolution; end_date?: SlotDateResolution }
+  flight?: { departure_date?: SlotDateResolution; return_date?: SlotDateResolution }
+  hotel?: { check_in_date?: SlotDateResolution; check_out_date?: SlotDateResolution }
+  /** 词表外表达清单(field = "<domain>.<field>"),逐字保留等下游(人/模型)裁决 */
+  unresolved: Array<{ field: string; raw: string }>
+}
+
+/** 整张抽取的日期解析(纯函数,不改入参):只处理日期槽位,目的地/偏好等不在此层 */
+export function resolveSlots(ext: TravelSlotExtraction, anchor: TimeAnchor): ResolvedSlots {
+  const out: ResolvedSlots = { unresolved: [] }
+  for (const domain of ext.domains) {
+    const slots = ext.slots[domain] as Record<string, unknown> | undefined
+    if (!slots) continue
+    for (const field of DATE_FIELDS[domain] ?? []) {
+      const value = slots[field]
+      if (typeof value !== 'string') continue
+      const res = resolveSlotDate(value, anchor)
+      const bucket = (out[domain as keyof Omit<ResolvedSlots, 'unresolved'>] ??= {}) as Record<string, SlotDateResolution>
+      bucket[field] = res
+      if (res.kind === 'unresolved') out.unresolved.push({ field: `${domain}.${field}`, raw: res.raw })
+    }
+  }
+  return out
+}
+
+export interface SpecDateMismatch {
+  /** spec 侧位置,如 segments[0].date */
+  specAt: string
+  field: string
+  specDate: string
+  slotDate: string
+}
+
+/**
+ * spec ↔ 槽位日期一致性闸(ADR-10 翻译≠造数的执行面):LLM 产出的 JourneySpecTS 日期
+ * 与代码层换算的槽位日期逐项比对,分歧即返回 mismatch(供渲染 red-flag/追问),不静默采信。
+ *
+ * 范围边界(2026-08-28 巡检修正):槽位 v1 只有 trip 级主日期(start/departure/check-in),
+ * **只校验恰好一个带日期段的 spec**;多段行程的逐段日期没有槽位真值可比(不比,不造假阳性
+ * ——金标准六段行程曾被全段误判分歧,求解被永久拦截)。spec 无日期或槽位 unresolved 不参与。
+ */
+export function specDateMismatches(
+  spec: { segments?: Array<{ date?: string }> },
+  resolved: ResolvedSlots,
+): SpecDateMismatch[] {
+  const mismatches: SpecDateMismatch[] = []
+  const primary: Array<{ field: string; res?: SlotDateResolution }> = [
+    { field: 'requisition.start_date', res: resolved.requisition?.start_date },
+    { field: 'flight.departure_date', res: resolved.flight?.departure_date },
+    { field: 'hotel.check_in_date', res: resolved.hotel?.check_in_date },
+  ]
+  const dated = primary.filter((p): p is { field: string; res: SlotDateResolution } => p.res?.date != null)
+  if (dated.length === 0) return mismatches
+  const datedSegs = (spec.segments ?? []).filter(s => typeof s.date === 'string' && s.date)
+  if (datedSegs.length !== 1) return mismatches // 多段(或零段)无逐段真值,闸不判
+  const seg = datedSegs[0]!
+  const slotDates = new Set(dated.map(s => s.res.date as string))
+  if (!slotDates.has(seg.date as string)) {
+    mismatches.push({
+      specAt: `segments[${(spec.segments ?? []).indexOf(seg)}].date`,
+      field: dated.map(s => s.field).join('|'),
+      specDate: seg.date as string,
+      slotDate: [...slotDates].join('|'),
+    })
+  }
+  return mismatches
+}