@danceiny/gotry 0.0.1-rc.10

package/dist/src/contracts.js

@@ -0,0 +1,64 @@
+export const TOOL_CONTRACTS = {
+    'gotry_interview_next': {},
+    'gotry_spec_extract': {},
+    'gotry_solve': {},
+    'gotry_render': {},
+    'gotry_wish_pool_add': {}
+};
+export const TRIP_STATE_JSON_SCHEMA = {
+    type: 'object',
+    additionalProperties: false,
+    properties: {
+        calendar: {
+            type: 'object',
+            additionalProperties: true,
+            description: '年份与已断言的星期映射;一次断言终身使用,冲突必须显式指出'
+        },
+        profile: {
+            type: 'object',
+            additionalProperties: true,
+            description: 'workWindow(带 evidence)/companions/budgetTier/bookedResources/motivation'
+        },
+        spec: {
+            type: 'json',
+            description: '统一行程模型 JourneySpec(见 unified.ts)'
+        },
+        solve: {
+            type: 'json',
+            description: '求解结果(锚点/排除/红旗/建议)'
+        },
+        gates: {
+            type: 'array',
+            description: '待决问题,只能是选择题',
+            items: {
+                type: 'object',
+                additionalProperties: true,
+                properties: {
+                    id: {
+                        type: 'string'
+                    },
+                    question: {
+                        type: 'string'
+                    }
+                }
+            }
+        },
+        wishes: {
+            type: 'array',
+            description: '「下一次出发」清单',
+            items: {
+                type: 'object',
+                additionalProperties: true
+            }
+        }
+    },
+    required: [
+        'calendar',
+        'profile',
+        'gates',
+        'wishes'
+    ]
+};
+
+
+//# sourceURL=/Users/bytedance/work/gotry/ts/src/contracts.ts

package/dist/src/dsh-llm.js

@@ -0,0 +1,174 @@
+import { parseFlightPackToSpec } from './unified.js';
+import { buildTimeAnchor } from './time-anchor.js';
+import { buildSlotSystem, flagExpiredSlots, normalizeExtraction } from './travel-slots.js';
+const model = ()=>process.env['LLM_MODEL'] ?? process.env['DEEPSEEK_MODEL'] ?? 'MiniMax-M2';
+const base = ()=>(process.env['LLM_BASE_URL'] ?? process.env['DEEPSEEK_BASE_URL'] ?? 'https://api.minimax.io/v1').replace(/\/$/, '');
+async function chat(messages, json) {
+    const key = process.env['LLM_API_KEY'] ?? process.env['DEEPSEEK_API_KEY'];
+    if (!key) throw new Error('LLM_API_KEY 未设置(兼容 DEEPSEEK_API_KEY 别名)——真 LLM 路径不可用,请回退 mock(ADR-8)');
+    const res = await fetch(`${base()}/chat/completions`, {
+        method: 'POST',
+        headers: {
+            'Content-Type': 'application/json',
+            Authorization: `Bearer ${key}`
+        },
+        body: JSON.stringify({
+            model: model(),
+            messages,
+            ...json ? {
+                response_format: {
+                    type: 'json_object'
+                }
+            } : {},
+            temperature: json ? 0 : 0.7
+        })
+    });
+    if (!res.ok) throw new Error(`llm ${res.status}: ${(await res.text()).slice(0, 300)}`);
+    const data = await res.json();
+    const raw = data.choices[0]?.message?.content ?? '';
+    return raw.replace(/<think>[\s\S]*?<\/think>/g, '').trim() || raw;
+}
+function parseJsonBlock(text) {
+    const m = text.match(/\{[\s\S]*\}/);
+    if (!m) return null;
+    try {
+        return JSON.parse(m[0]);
+    } catch  {
+        return null;
+    }
+}
+const FACTS_SYSTEM = `你是旅行规划的事实抽取器。从对话中抽取两类事实并以 JSON 返回:
+{"calendar": {"year": 数字, "assertedWeekdays": {"YYYY-MM-DD": "mon|tue|wed|thu|fri|sat|sun"}},
+ "profile": {"workWindow": {"homeTzOffsetMin": 数字, "startMin": 数字, "endMin": 数字, "workdays": [0,1,2,3,4], "evidence": "用户原话"},
+              "companions": ["..."], "budgetTier": "economy|comfort|convenience",
+              "bookedResources": [{"kind": "flight|hotel", "ref": "...", "window": "..."}]}}
+只放用户明确说过的事实;没有的字段省略。分钟数从 HH:MM 换算;UTC+4 → homeTzOffsetMin=240。
+**休假语义(关键)**:用户说「请假/年假/不用办公/休假」→ workWindow 输出 {"vacation": true}(不是省略!省略会触发重复追问);只有用户明确给了工作时间才输出完整 workWindow 对象。只输出 JSON。`;
+const SKELETON_SYSTEM = `你是行程骨架抽取器。从对话中抽取行程的**骨架**——段(移动)与锚点,不包含任何班次数据(班次来自数据层,你不要编造时刻/价格/航班号)。
+输出 JSON:{"scenario":"erhai|workation|yunnan|generic","segments":[{"id":"f1","role":"choice|fixed","route":"HKG->HKT","dateHint":"2026-07-18","anchors":{"arriveByMin":885}}]}
+规则:每个跨城移动一段;锚点只放用户明说或必然的(如"当天到"→arriveByMin 23:59=1439);时刻用当日分钟。
+scenario 判定:「洱海/大理/千岛湖/太湖+选目的地」→erhai(候选集);「普吉/workation/远程办公+多城链」→workation(五段链);「云南/大理丽江」→yunnan;不确定→generic。只输出 JSON。`;
+export function createOpenAICompatLlm(flightPackPath, clock = ()=>new Date()) {
+    const pack = flightPackPath;
+    const historyText = (h)=>h.map((t)=>`${t.role === 'user' ? '用户' : '助手'}: ${t.text}`).join('\n');
+    const anchorContext = ()=>`时间锚点卡:\n${buildTimeAnchor(clock()).card}`;
+    return {
+        async extractFacts (history) {
+            const out = await chat([
+                {
+                    role: 'system',
+                    content: FACTS_SYSTEM
+                },
+                {
+                    role: 'user',
+                    content: `${anchorContext()}\n\n${historyText(history)}`
+                }
+            ], true);
+            const obj = parseJsonBlock(out);
+            if (!obj) return {
+                assumptions: []
+            };
+            const calendar = obj['calendar'];
+            const profile = obj['profile'];
+            const assumptions = Object.keys(profile ?? {}).map((f)=>({
+                    field: f,
+                    source: 'user-verbatim'
+                }));
+            return {
+                calendar,
+                profile,
+                assumptions
+            };
+        },
+        async extractSpec (history, state) {
+            const context = `${anchorContext()}\n已断言日历:${JSON.stringify(state.calendar.assertedWeekdays)}\nprofile:${JSON.stringify(state.profile)}`;
+            const out = await chat([
+                {
+                    role: 'system',
+                    content: SKELETON_SYSTEM
+                },
+                {
+                    role: 'user',
+                    content: `${context}\n\n${historyText(history)}`
+                }
+            ], true);
+            const skeleton = parseJsonBlock(out);
+            if (!skeleton || !Array.isArray(skeleton['segments']) || skeleton['segments'].length === 0) return null;
+            if (!pack) return null;
+            const { readFile } = await import('node:fs/promises');
+            const scenario = String(skeleton['scenario'] ?? 'generic');
+            if (scenario === 'generic') return null;
+            const packByScenario = {
+                erhai: pack.replace('flights_2026.json', 'golden_erhai.json'),
+                workation: pack,
+                yunnan: pack.replace('flights_2026.json', 'yunnan-pack.json')
+            };
+            const packPath = packByScenario[scenario];
+            if (!packPath) return null;
+            let packSpec;
+            try {
+                if (scenario === 'erhai') {
+                    return {
+                        segments: [],
+                        note: 'erhai-candidates',
+                        budgetCny: 3000
+                    };
+                }
+                packSpec = parseFlightPackToSpec(JSON.parse(await readFile(packPath, 'utf-8')));
+            } catch  {
+                return null;
+            }
+            const anchorsById = new Map(skeleton['segments'].map((s)=>[
+                    String(s['id'] ?? ''),
+                    s['anchors'] ?? {}
+                ]));
+            for (const seg of packSpec.segments){
+                const a = anchorsById.get(seg.id);
+                if (a?.arriveByMin !== undefined) seg.anchors = {
+                    arriveByMin: a.arriveByMin
+                };
+            }
+            packSpec.workWindow = state.profile.workWindow ? {
+                homeTzOffsetMin: state.profile.workWindow.homeTzOffsetMin,
+                startMin: state.profile.workWindow.startMin,
+                endMin: state.profile.workWindow.endMin,
+                workdays: state.profile.workWindow.workdays
+            } : undefined;
+            packSpec.budgetCny = 9000;
+            return packSpec;
+        },
+        async extractSlots (history, now) {
+            const anchor = buildTimeAnchor(now ?? clock());
+            const out = await chat([
+                {
+                    role: 'system',
+                    content: buildSlotSystem(anchor)
+                },
+                {
+                    role: 'user',
+                    content: historyText(history)
+                }
+            ], true);
+            const obj = parseJsonBlock(out);
+            if (!obj) return null;
+            const ext = normalizeExtraction(obj, history.map((t)=>t.text).join('\n'));
+            return ext ? flagExpiredSlots(ext, anchor) : null;
+        },
+        async polishQuestion (q) {
+            const out = await chat([
+                {
+                    role: 'system',
+                    content: '把旅行规划的追问润色得更自然,保留全部信息(含为什么问),一两句话,不要加表情。'
+                },
+                {
+                    role: 'user',
+                    content: `【${q.key}】${q.text}(为什么问:${q.why})`
+                }
+            ], false);
+            return out.trim() || `【${q.key}】${q.text}`;
+        }
+    };
+}
+
+
+//# sourceURL=/Users/bytedance/work/gotry/ts/src/dsh-llm.ts

package/dist/src/engine.js

@@ -0,0 +1,331 @@
+import { init } from 'z3-solver';
+import { evaluateChoice, minToHhmm, requiredUsableHours, trueCostToDict, LATEST_ARRIVE_STAY_MIN } from './model.js';
+let z3Promise = null;
+async function getZ3() {
+    if (!z3Promise) {
+        z3Promise = (async ()=>(await init()).Context('main'))();
+    }
+    return z3Promise;
+}
+const CONSTRAINT_LABEL_KEYS = [
+    'wake_floor',
+    'energy_floor',
+    'usable_hours',
+    'budget',
+    'duration',
+    'arrival_before_evening'
+];
+class Encoding {
+    days;
+    cand;
+    req;
+    selO;
+    selT;
+    selR;
+    selTr;
+    structure;
+    assertions;
+    moneyExpr;
+    z3;
+    constructor(z3, cand, req, days){
+        this.z3 = z3;
+        this.cand = cand;
+        this.req = req;
+        this.days = days ?? req.windowDays;
+        const { Bool, Int, If, Sum, And } = this.z3;
+        const mot = req.motivation;
+        this.selO = cand.servicesOut.map((_, i)=>Bool.const(`o${i}`));
+        this.selT = cand.destTransfers.map((_, j)=>Bool.const(`t${j}`));
+        this.selR = cand.servicesRet.map((_, k)=>Bool.const(`r${k}`));
+        this.selTr = cand.destTransfers.map((_, m)=>Bool.const(`tr${m}`));
+        const access = req.homeHubAccess[cand.hub];
+        const pick = (sels, values)=>Sum(...sels.map((s, i)=>If(s, Int.val(values[i]), Int.val(0))));
+        const depOut = pick(this.selO, cand.servicesOut.map((s)=>s.depMin));
+        const arrOut = pick(this.selO, cand.servicesOut.map((s)=>s.arrMin));
+        const priceOut = pick(this.selO, cand.servicesOut.map((s)=>s.priceCny));
+        const transferOut = pick(this.selT, cand.destTransfers.map((t)=>t.minutes));
+        const transferOutPrice = pick(this.selT, cand.destTransfers.map((t)=>t.priceCny));
+        const depRet = pick(this.selR, cand.servicesRet.map((s)=>s.depMin));
+        const priceRet = pick(this.selR, cand.servicesRet.map((s)=>s.priceCny));
+        const transferRet = pick(this.selTr, cand.destTransfers.map((t)=>t.minutes));
+        const transferRetPrice = pick(this.selTr, cand.destTransfers.map((t)=>t.priceCny));
+        const wake = depOut.sub(Int.val(cand.bufferOutMin + access.toHubMin));
+        const arriveStay = arrOut.add(transferOut);
+        const d2dOut = arriveStay.sub(wake);
+        const wakePen = If(wake.lt(Int.val(300)), Int.val(30), If(wake.lt(Int.val(360)), Int.val(25), If(wake.lt(Int.val(390)), Int.val(15), Int.val(0))));
+        const energy = Int.val(100).sub(wakePen).sub(Int.val(2 * 8)).sub(If(arriveStay.gt(Int.val(21 * 60)), Int.val(10), Int.val(0))).sub(If(d2dOut.gt(Int.val(6 * 60)), Int.val(10), Int.val(0)));
+        const dayEnd = Int.val(LATEST_ARRIVE_STAY_MIN + 3 * 60);
+        const day1Raw = If(arriveStay.lt(dayEnd), dayEnd.sub(arriveStay), Int.val(0));
+        const leaveStayRet = depRet.sub(Int.val(cand.bufferRetMin)).sub(transferRet);
+        const day2Raw = If(leaveStayRet.gt(Int.val(9 * 60)), leaveStayRet.sub(Int.val(9 * 60)), Int.val(0));
+        const midDays = Math.max(0, this.days - 2);
+        const usable200 = day1Raw.mul(energy.add(Int.val(100))).add(day2Raw.mul(Int.val(180))).add(Int.val(midDays * 86400));
+        const money = priceOut.add(priceRet).add(transferOutPrice).add(transferRetPrice).add(Int.val(cand.stayCnyPerNight * (this.days - 1) + cand.localDailyCny * this.days));
+        const exactlyOne = (sels)=>Sum(...sels.map((s)=>If(s, Int.val(1), Int.val(0)))).eq(Int.val(1));
+        const requiredMin = Math.round(requiredUsableHours(mot) * 60);
+        this.assertions = {
+            wake_floor: wake.ge(Int.val(mot.wakeFloorMin)),
+            energy_floor: energy.ge(Int.val(mot.minArrivalEnergyPct)),
+            usable_hours: usable200.ge(Int.val(requiredMin * 200)),
+            budget: money.le(Int.val(req.budgetCny)),
+            duration: Bool.val(this.days >= cand.minDaysForPurpose),
+            arrival_before_evening: arriveStay.le(Int.val(LATEST_ARRIVE_STAY_MIN))
+        };
+        this.structure = And(exactlyOne(this.selO), exactlyOne(this.selT), exactlyOne(this.selR), exactlyOne(this.selTr));
+        this.moneyExpr = money;
+    }
+    async solverWith(skip = new Set()) {
+        const s = new this.z3.Solver();
+        s.add(this.structure);
+        for (const name of CONSTRAINT_LABEL_KEYS){
+            if (!skip.has(name)) s.addAndTrack(this.assertions[name], name);
+        }
+        return s;
+    }
+    async extract(model) {
+        const chosen = async (sels, items)=>{
+            for(let i = 0; i < sels.length; i++){
+                const v = await maybeAwait(model.eval(sels[i], true));
+                if (String(v) === 'true' || String(String(v)) === 'true') return items[i];
+            }
+            throw new Error('no selection in model');
+        };
+        return {
+            outService: await chosen(this.selO, this.cand.servicesOut),
+            outTransfer: await chosen(this.selT, this.cand.destTransfers),
+            retService: await chosen(this.selR, this.cand.servicesRet),
+            retTransfer: await chosen(this.selTr, this.cand.destTransfers),
+            days: this.days
+        };
+    }
+}
+async function maybeAwait(v) {
+    return v instanceof Promise ? await v : v;
+}
+async function isUnsat(s) {
+    return String(await s.check()) === 'unsat';
+}
+async function unsatCoreOf(s) {
+    const v = s.unsatCore();
+    const out = [];
+    for(let i = 0; i < v.length(); i++)out.push(String(v.get(i)));
+    return out;
+}
+async function cheapestPlan(enc, skip) {
+    const z3 = await getZ3();
+    const opt = new z3.Optimize();
+    opt.add(enc.structure);
+    for (const name of CONSTRAINT_LABEL_KEYS){
+        if (!skip.has(name)) opt.add(enc.assertions[name]);
+    }
+    const obj = opt.minimize(enc.moneyExpr);
+    if (await isUnsat(opt)) return null;
+    const best = Number(String(await maybeAwait(opt.getLower(obj))));
+    const s = await enc.solverWith(skip);
+    s.add(enc.moneyExpr.eq(z3.Int.val(best)));
+    if (await isUnsat(s)) return null;
+    const choice = await enc.extract(s.model());
+    return {
+        choice,
+        cost: evaluateChoice(enc.cand, enc.req, choice)
+    };
+}
+function suggestText(relax, cand, req, choice, cost) {
+    const mot = req.motivation;
+    const parts = [];
+    if (relax.includes('duration')) parts.push(`把行程延长到 ${choice.days} 天(${cand.name} 值得这个窗口)`);
+    if (relax.includes('budget')) parts.push(`预算提高到 ¥${cost.moneyCny}(原 ¥${req.budgetCny})`);
+    if (relax.includes('wake_floor')) parts.push(`接受 ${minToHhmm(cost.wakeMin)} 起床——破坏生物钟,与你的休整动机冲突,不推荐`);
+    if (relax.includes('energy_floor')) parts.push(`接受到达精力 ${cost.energyArrivalPct}%(低于你要求的 ${mot.minArrivalEnergyPct}%)`);
+    if (relax.includes('usable_hours')) parts.push(`接受有效休整 ${cost.usableHours.toFixed(1)}h(低于动机所需的 ${requiredUsableHours(mot).toFixed(1)}h)`);
+    if (relax.includes('arrival_before_evening')) parts.push(`接受 ${minToHhmm(cost.arriveStayMin)} 才到住处`);
+    const plan = `可行方案:${choice.outService.id} ${minToHhmm(choice.outService.depMin)} 出发、` + `${choice.outTransfer.mode} 接驳,¥${cost.moneyCny},${minToHhmm(cost.wakeMin)} 起床,` + `${minToHhmm(cost.arriveStayMin)} 到住处,到达精力 ${cost.energyArrivalPct}%`;
+    return parts.join(' + ') + `;${plan}`;
+}
+export async function solveCandidate(cand, req) {
+    const z3 = await getZ3();
+    const enc = new Encoding(z3, cand, req);
+    const verdict = {
+        candidateId: cand.id,
+        name: cand.name,
+        feasible: false,
+        imageryMatch: cand.imageryMatch,
+        unsatCore: [],
+        suggestions: []
+    };
+    const s = await enc.solverWith();
+    if (!await isUnsat(s)) {
+        verdict.feasible = true;
+        verdict.choice = await enc.extract(s.model());
+        verdict.trueCost = evaluateChoice(cand, req, verdict.choice);
+        return verdict;
+    }
+    const core = (await unsatCoreOf(s)).sort();
+    verdict.unsatCore = core;
+    for (const name of core){
+        const skip = new Set([
+            name
+        ]);
+        const enc2 = name === 'duration' ? new Encoding(z3, cand, req, cand.minDaysForPurpose) : enc;
+        const s2 = await enc2.solverWith(skip);
+        if (!await isUnsat(s2)) {
+            const choice = await enc2.extract(s2.model());
+            const cost = evaluateChoice(cand, req, choice);
+            verdict.suggestions.push({
+                relax: [
+                    name
+                ],
+                text: suggestText([
+                    name
+                ], cand, req, choice, cost),
+                resulting: {
+                    days: choice.days,
+                    ...trueCostToDict(cost)
+                }
+            });
+        }
+    }
+    if (core.includes('duration')) {
+        const longEnc = new Encoding(z3, cand, req, cand.minDaysForPurpose);
+        const s2 = await longEnc.solverWith(new Set([
+            'duration'
+        ]));
+        if (await isUnsat(s2)) {
+            const core2 = await unsatCoreOf(s2);
+            let joint = [
+                'duration',
+                ...core2.filter((n)=>n !== 'duration')
+            ];
+            for (const name of joint.filter((n)=>n !== 'duration')){
+                const trial = new Set(joint.filter((n)=>n !== name));
+                if (!await isUnsat(await longEnc.solverWith(trial))) joint = [
+                    ...trial
+                ];
+            }
+            const plan = await cheapestPlan(longEnc, new Set(joint));
+            if (plan) {
+                verdict.suggestions.push({
+                    relax: joint,
+                    text: suggestText(joint, cand, req, plan.choice, plan.cost),
+                    resulting: {
+                        days: plan.choice.days,
+                        ...trueCostToDict(plan.cost)
+                    }
+                });
+            }
+        }
+    }
+    if (verdict.suggestions.some((sg)=>sg.relax.includes('duration'))) {
+        const longEnc = new Encoding(z3, cand, req, cand.minDaysForPurpose);
+        const plan = await cheapestPlan(longEnc, new Set([
+            'duration',
+            'budget'
+        ]));
+        const conditions = {
+            days: cand.minDaysForPurpose
+        };
+        if (plan) conditions['budget_cny'] = plan.cost.moneyCny;
+        if (cand.bestMonths.length) conditions['best_months'] = cand.bestMonths;
+        verdict.wishPool = {
+            name: cand.name,
+            conditions,
+            reason: `动机谱系 ${JSON.stringify(req.motivation.weights)} 下,${req.windowDays} 天窗口装不下这个目的地`
+        };
+    }
+    return verdict;
+}
+export async function solve(req, candidates) {
+    const verdicts = await Promise.all(candidates.map((c)=>solveCandidate(c, req)));
+    const feasible = verdicts.filter((v)=>v.feasible).sort((a, b)=>b.imageryMatch - a.imageryMatch);
+    const recommended = feasible[0]?.candidateId ?? null;
+    return {
+        request: {
+            note: req.note,
+            window_days: req.windowDays,
+            budget_cny: req.budgetCny,
+            required_usable_hours: Math.round(requiredUsableHours(req.motivation) * 10) / 10
+        },
+        verdicts: verdicts.map(verdictToDict),
+        recommended,
+        answer_md: renderMarkdown(req, verdicts, recommended)
+    };
+}
+function verdictToDict(v) {
+    const d = {
+        candidate_id: v.candidateId,
+        name: v.name,
+        feasible: v.feasible,
+        imagery_match: v.imageryMatch,
+        unsat_core: v.unsatCore,
+        suggestions: v.suggestions.map((s)=>({
+                relax: s.relax,
+                text: s.text,
+                resulting: s.resulting
+            }))
+    };
+    if (v.choice) {
+        d['chosen'] = {
+            out_service: v.choice.outService.id,
+            out_transfer: v.choice.outTransfer.mode,
+            ret_service: v.choice.retService.id,
+            ret_transfer: v.choice.retTransfer.mode,
+            days: v.choice.days
+        };
+    }
+    if (v.trueCost) d['true_cost'] = trueCostToDict(v.trueCost);
+    if (v.wishPool) d['wish_pool'] = {
+        name: v.wishPool.name,
+        conditions: v.wishPool.conditions,
+        reason: v.wishPool.reason
+    };
+    return d;
+}
+function renderMarkdown(req, verdicts, recommended) {
+    const feasible = verdicts.filter((v)=>v.feasible).sort((a, b)=>b.imageryMatch - a.imageryMatch);
+    const parked = verdicts.filter((v)=>!v.feasible);
+    const lines = [];
+    lines.push(`> 憧憬:${req.note}`);
+    lines.push(`> 已识别约束:窗口 ${req.windowDays} 天 | 预算 ¥${req.budgetCny} | ` + `动机(休整改写需求 ${requiredUsableHours(req.motivation).toFixed(1)}h 有效休整)`);
+    lines.push('');
+    for (const v of parked){
+        lines.push(`**${v.name}:现在不行**——冲突约束:${v.unsatCore.join('、')}。`);
+        for (const sg of v.suggestions.slice(0, 1))lines.push(`- ${sg.text}`);
+        if (v.wishPool) {
+            const conds = v.wishPool.conditions;
+            const budgetNote = conds['budget_cny'] ? `、约 ¥${conds['budget_cny']}` : '';
+            const months = conds['best_months'];
+            const season = months ? `,${months} 月最佳` : '';
+            lines.push(`- 已放入「下一次出发」清单:需要 ${conds['days']} 天${budgetNote}${season}`);
+        }
+    }
+    lines.push('');
+    for (const v of feasible){
+        const c = v.choice, t = v.trueCost;
+        lines.push(`**${v.name}:可行**` + `(${c.outService.id} ${minToHhmm(c.outService.depMin)} 出发,` + `${c.outTransfer.mode} 接驳,${minToHhmm(t.arriveStayMin)} 到住处,` + `起床 ${minToHhmm(t.wakeMin)},到达精力 ${t.energyArrivalPct}%,` + `门到门 ${Math.floor(t.doorToDoorOutMin / 60)}h${String(t.doorToDoorOutMin % 60).padStart(2, '0')}m,` + `有效休整 ${t.usableHours.toFixed(1)}h,共 ¥${t.moneyCny})`);
+    }
+    if (feasible.length) {
+        lines.push('');
+        const best = feasible[0];
+        const alt = feasible[1];
+        lines.push(`**建议:${best.name}**(意象匹配 ${(best.imageryMatch * 100).toFixed(0)}%)。` + (alt ? `备选:${alt.name}(¥${alt.trueCost.moneyCny},匹配 ${(alt.imageryMatch * 100).toFixed(0)}%)。` : ''));
+    }
+    lines.push('');
+    lines.push('**待你决定的两个问题**:');
+    if (feasible.length >= 2) {
+        lines.push(`1. ${feasible[0].name} 还是 ${feasible[1].name}?(前者更贴意象,后者更省)`);
+    } else if (feasible.length === 1) {
+        lines.push(`1. 就去 ${feasible[0].name} 吗?`);
+    } else {
+        lines.push('1. 所有候选都不可行——考虑放宽哪条约束?');
+    }
+    const p0 = parked[0];
+    if (p0?.wishPool) {
+        lines.push(`2. 把 ${p0.name} 留给「下一次出发」(${p0.wishPool.conditions['days']} 天起),这次先去可行的?`);
+    } else if (feasible.length) {
+        lines.push(`2. 出发班次选 ${feasible[0].choice.outService.id}(${minToHhmm(feasible[0].choice.outService.depMin)})还是更晚的?`);
+    }
+    return lines.join('\n');
+}
+
+
+//# sourceURL=/Users/bytedance/work/gotry/ts/src/engine.ts