@danceiny/gotry 0.0.1-rc.10 → 0.0.1-rc.12

package/dist/scripts/smoke.js

@@ -7,6 +7,7 @@ async function main() {
     const smokeRoot = mkdtempSync(join(tmpdir(), 'gotry-smoke-'));
     const registered = [];
     const variables = {};
+    const preExecutes = [];
     const ctx = {
         tools: {
             register: (t)=>registered.push(t)
@@ -15,13 +16,19 @@ async function main() {
             variable: (name, provider)=>{
                 variables[name] = provider;
             }
+        },
+        on: (event, fn)=>{
+            if (event === 'tools/pre-execute') preExecutes.push(fn);
+            return ()=>{};
         }
     };
-    apply(ctx, {
+    const cfg = {
         stateRoot: smokeRoot,
         timeoutMs: 30_000,
-        hbcliBin: 'hbcli-not-on-path'
-    });
+        hbcliBin: 'hbcli-not-on-path',
+        sessionAccess: 'ask'
+    };
+    apply(ctx, cfg);
     console.log(`registered tools: ${registered.map((t)=>t.name).join(', ')}`);
     const byName = (n)=>{
         const t = registered.find((t)=>t.name === n);
@@ -290,27 +297,118 @@ async function main() {
             }
         }, null);
         const faBlocked = fa.verdict === 'error' && /sentinel|block/i.test(fa.error ?? '');
+        const faErrTerminal = fa.ok === false && fa.verdict === 'error' && /^flyai-error$/.test(String(fa.via ?? '')) && /\[实时API:flyai@error@/.test(String(fa.evidence ?? ''));
         if (faBlocked) {
             console.log('  WARN - flyai Sentinel 限流中,降级合同通过(hit 断言跳过)');
+        } else if (faErrTerminal) {
+            console.log('  WARN - flyai 端点不可达(超时/降级),证据链合同通过(hit 断言跳过)');
         } else if (fa.ok !== true || fa.verdict !== 'hit' || (fa.options?.length ?? 0) < 1 || !/\[实时API:flyai@/.test(fa.evidence ?? '')) {
             throw new Error(`FAIL: flyai 工具应 live hit,实际:${JSON.stringify(fa).slice(0, 200)}`);
         }
         const prof = mkdtempSync(join(smokeRoot, 'sess-'));
-        const ss = await byName('gotry_session_search').execute({
+        const faPast = await byName('gotry_flyai_search').execute({
             query: {
-                from: '上海',
-                to: '丽江',
-                date: '2026-10-01'
+                kind: 'flight',
+                from: '深圳',
+                to: '普吉',
+                date: '2026-01-01'
+            }
+        }, null);
+        if (!(faPast.ok === false && /已是过去/.test(String(faPast.summary ?? '')))) {
+            throw new Error(`FAIL: flyai 过去日期应代码层预校验拒绝,实际:${JSON.stringify(faPast).slice(0, 200)}`);
+        }
+        const previousChromeUserDataDir = process.env.CHROME_USER_DATA_DIR;
+        process.env.CHROME_USER_DATA_DIR = prof;
+        let ss;
+        try {
+            ss = await byName('gotry_session_search').execute({
+                query: {
+                    from: '上海',
+                    to: '丽江',
+                    date: '2026-10-01'
+                }
+            }, null);
+        } finally{
+            if (previousChromeUserDataDir === undefined) delete process.env.CHROME_USER_DATA_DIR;
+            else process.env.CHROME_USER_DATA_DIR = previousChromeUserDataDir;
+            rmSync(prof, {
+                recursive: true,
+                force: true
+            });
+        }
+        const ssErrTerminal = ss.ok === false && /^session-[a-z0-9-]+-error$/.test(String(ss.via ?? '')) && !!ss.evidence;
+        if (!(ss.verdict === 'needs-login' || ss.verdict === 'needs-attach' || ss.verdict === 'hit' || ss.verdict === 'cooldown' || ss.verdict === 'challenged') && !ssErrTerminal) {
+            throw new Error(`FAIL: session 工具终态应属 {needs-attach,needs-login,hit,cooldown,challenged} 或带证据的 error 终态,实际:${JSON.stringify(ss).slice(0, 200)}`);
+        }
+        console.log(`session-face tools: flyai ${faBlocked ? 'sentinel-限流降级' : `live hit(${fa.options?.length ?? 0} 条)`}; session 终态=${ss.verdict ?? ss.via}(登录态存在前提合同)`);
+        const fh = await byName('gotry_flyai_search').execute({
+            query: {
+                kind: 'hotel',
+                to: '大理',
+                checkIn: '2026-10-01',
+                checkOut: '2026-10-03'
             }
         }, null);
-        rmSync(prof, {
-            recursive: true,
-            force: true
-        });
-        if (!(ss.verdict === 'needs-login' || ss.verdict === 'needs-attach' || ss.verdict === 'hit' || ss.verdict === 'cooldown' || ss.verdict === 'challenged')) {
-            throw new Error(`FAIL: session 工具终态应属 {needs-login,hit,cooldown,challenged},实际:${JSON.stringify(ss).slice(0, 200)}`);
+        const fhBlocked = fh.verdict === 'error' && /sentinel|block/i.test(fh.error ?? '');
+        const fhErrTerminal = fh.ok === false && fh.verdict === 'error' && /^flyai-error$/.test(String(fh.via ?? '')) && /\[实时API:flyai@error@/.test(String(fh.evidence ?? ''));
+        if (fhBlocked || fhErrTerminal) {
+            console.log('  WARN - flyai hotel 限流/端点降级,证据链合同通过(hit 断言跳过)');
+        } else if (fh.ok !== true || fh.verdict !== 'hit' || (fh.hotels?.length ?? 0) < 1 || !/\[实时API:flyai@/.test(fh.evidence ?? '')) {
+            throw new Error(`FAIL: flyai hotel 应 live hit,实际:${JSON.stringify(fh).slice(0, 220)}`);
+        }
+        const fhDest = await byName('gotry_flyai_search').execute({
+            query: {
+                kind: 'hotel'
+            }
+        }, null);
+        if (fhDest.ok !== false) throw new Error('FAIL: hotel 缺目的地应参数闸拒绝');
+        const fhPast = await byName('gotry_flyai_search').execute({
+            query: {
+                kind: 'hotel',
+                to: '大理',
+                checkIn: '2026-01-01',
+                checkOut: '2026-01-03'
+            }
+        }, null);
+        if (!(fhPast.ok === false && /不是未来合法区间/.test(String(fhPast.summary ?? '')))) {
+            throw new Error(`FAIL: 酒店过去入住日应代码层预校验拒绝,实际:${JSON.stringify(fhPast).slice(0, 200)}`);
+        }
+        console.log(`  hotel channel: ${fhBlocked ? 'sentinel-限流降级' : `${fh.hotels?.length ?? 0} 家`}; 参数闸/过去日闸生效`);
+    }
+    {
+        const gate = preExecutes.at(-1);
+        if (!gate) throw new Error('FAIL: tools/pre-execute 授权闸未注册');
+        const next = async ()=>({
+                kind: 'allow'
+            });
+        const ask = await gate({
+            name: 'gotry_session_search'
+        }, next);
+        if (ask.kind !== 'ask' || !/只读检索/.test(String(ask.reason ?? ''))) {
+            throw new Error(`FAIL: 会话工具无审批通道时应交 ask(运行时原生结算),实际:${JSON.stringify(ask)}`);
+        }
+        const pass = await gate({
+            name: 'gotry_anything_search'
+        }, next);
+        if (pass.kind !== 'allow') throw new Error(`FAIL: 非会话工具应原样放行,实际:${JSON.stringify(pass)}`);
+        cfg.sessionAccess = 'off';
+        const deny = await gate({
+            name: 'gotry_session_search'
+        }, next);
+        if (deny.kind !== 'deny' || !/sessionAccess=off/.test(String(deny.reason ?? ''))) {
+            throw new Error(`FAIL: sessionAccess=off 应 fail-closed deny,实际:${JSON.stringify(deny)}`);
+        }
+        cfg.sessionAccess = 'ask';
+        console.log('consent gate: session tool → approval-card ask(每会话一次/拒绝即会话内吊销); off → fail-closed deny; other tools pass through');
+    }
+    {
+        const lo = byName('gotry_session_login');
+        if (typeof lo.presentResult !== 'function') throw new Error('FAIL: gotry_session_login 缺 presentResult');
+        const desc = String(lo.description ?? '');
+        if (!/NEVER collects, stores, or transmits credentials/.test(desc)) {
+            throw new Error(`FAIL: 登录工具描述缺「不经手凭证」语义红线,实际 ${desc.slice(0, 120)}`);
         }
-        console.log(`session-face tools: flyai ${faBlocked ? 'sentinel-限流降级' : `live hit(${fa.options?.length ?? 0} 条)`}; session 终态=${ss.verdict}(登录态存在前提合同)`);
+        console.log('login tool: registered; 登录=外部网站+用户自己的浏览器,gotry 只读票据名(0 值过手)语义钉死');
     }
     rmSync(smokeRoot, {
         recursive: true,

package/dist/scripts/weather-tests.js

@@ -9,6 +9,13 @@ const dali = geo.results.find((r)=>(r.admin1 ?? '').includes('云南')) ?? geo.r
 assert.ok(Math.abs(dali.latitude - 25.6) < 0.5, `纬度应≈25.6,实际 ${dali.latitude}(${dali.name},${dali.admin1})`);
 assert.match(geo.evidence, /open-meteo-geo@2/, '证据链带时间戳');
 console.log(`1. geocode 大理市 → ${dali.latitude},${dali.longitude} (${dali.name},${dali.admin1}) OK`);
+const phuket = await geocodePlace('普吉岛');
+assert.equal(phuket.ok, true, `普吉岛 geocode ok: ${phuket.error ?? ''}`);
+assert.equal(phuket.via, 'nominatim', 'open-meteo 0 结果应走 nominatim 兜底层');
+assert.ok(Math.abs(phuket.results[0].latitude - 8.0) < 0.5, `普吉岛纬度应≈8,实际 ${phuket.results[0].latitude}(${phuket.results[0].name})`);
+assert.match(phuket.results[0].country ?? '', /泰国/, '国家标签应为泰国');
+assert.match(phuket.evidence, /\[实时API:nominatim@2/, '兜底层证据链带时间戳');
+console.log(`1b. geocode 普吉岛(兜底层)→ ${phuket.results[0].name}(${phuket.results[0].admin1},${phuket.results[0].country}) OK`);
 const fc = await getForecast({
     latitude: dali.latitude,
     longitude: dali.longitude
@@ -42,7 +49,7 @@ assert.equal(wmoLabel(0), '晴');
 assert.equal(wmoLabel(95), '雷暴');
 assert.match(wmoLabel(999), /天气码999/, '未知码回退');
 console.log('5. WMO 码映射 OK');
-console.log('\nWEATHER TESTS: 5/5 OK(Open-Meteo 真实 API,免费无 key)');
+console.log('\nWEATHER TESTS: 6/6 OK(Open-Meteo 真实 API,免费无 key;普吉岛走 Nominatim 兜底层)');
 
 
 //# sourceURL=/Users/bytedance/work/gotry/ts/scripts/weather-tests.ts

package/dist/scripts/z3-race-tests.js

@@ -0,0 +1,35 @@
+import assert from 'node:assert/strict';
+import { readFile } from 'node:fs/promises';
+import { join } from 'node:path';
+import { solve } from '../src/engine.js';
+import { solveJourney, parseFlightPackLegs } from '../src/journey.js';
+import { parseFlightPackToSpec, solveUnified } from '../src/unified.js';
+import { parseCandidate, parseRequest } from '../src/model.js';
+const erhai = JSON.parse(await readFile(join('..', 'data', 'golden_erhai.json'), 'utf-8'));
+const pack = JSON.parse(await readFile(join('..', 'data', 'flights_2026.json'), 'utf-8'));
+const req = parseRequest(erhai['request']);
+const candidates = erhai['candidates'].map(parseCandidate);
+const legs = parseFlightPackLegs(pack);
+const baseEngine = await solve(req, candidates);
+const baseJourney = await solveJourney({
+    legs
+});
+const ROUNDS = 12;
+for(let round = 0; round < ROUNDS; round++){
+    const [eng, jny, uni] = await Promise.all([
+        solve(req, candidates),
+        solveJourney({
+            legs
+        }),
+        solveUnified(parseFlightPackToSpec(pack))
+    ]);
+    void jny;
+    assert.equal(eng['recommended'], baseEngine['recommended'], `r${round}: engine recommended 漂移`);
+    assert.equal(jny['feasible'], baseJourney['feasible'], `r${round}: journey feasible 漂移`);
+    assert.equal((uni['unsat_core'] ?? []).includes('wasm_runtime_error'), false, `r${round}: unified 会话触发 WASM 降级——race 复发`);
+    assert.equal(uni['feasible'], true, `r${round}: unified 判定漂移(基线应为可行)`);
+}
+console.log(`Z3 RACE TESTS OK(进程内三形态并发 ×${ROUNDS}:判定与顺序基线一致,零 WASM 降级)`);
+
+
+//# sourceURL=/Users/bytedance/work/gotry/ts/scripts/z3-race-tests.ts

package/dist/src/engine.js

@@ -1,12 +1,7 @@
-import { init } from 'z3-solver';
+import { parseCandidate, parseRequest } from './model.js';
 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;
-}
+import { withZ3 } from './z3-shared.js';
+import { t } from './i18n.js';
 const CONSTRAINT_LABEL_KEYS = [
     'wake_floor',
     'energy_floor',
@@ -111,8 +106,7 @@ async function unsatCoreOf(s) {
     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();
+async function cheapestPlan(enc, skip, z3) {
     const opt = new z3.Optimize();
     opt.add(enc.structure);
     for (const name of CONSTRAINT_LABEL_KEYS){
@@ -133,109 +127,138 @@ async function cheapestPlan(enc, skip) {
 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}%`;
+    if (relax.includes('duration')) parts.push(t('sg.duration', {
+        days: choice.days,
+        name: cand.name
+    }));
+    if (relax.includes('budget')) parts.push(t('sg.budget', {
+        cost: cost.moneyCny,
+        budget: req.budgetCny
+    }));
+    if (relax.includes('wake_floor')) parts.push(t('sg.wake_floor', {
+        wake: minToHhmm(cost.wakeMin)
+    }));
+    if (relax.includes('energy_floor')) parts.push(t('sg.energy_floor', {
+        pct: cost.energyArrivalPct,
+        min: mot.minArrivalEnergyPct
+    }));
+    if (relax.includes('usable_hours')) parts.push(t('sg.usable_hours', {
+        hours: cost.usableHours.toFixed(1),
+        need: requiredUsableHours(mot).toFixed(1)
+    }));
+    if (relax.includes('arrival_before_evening')) parts.push(t('sg.arrival', {
+        time: minToHhmm(cost.arriveStayMin)
+    }));
+    const plan = t('sg.plan', {
+        id: choice.outService.id,
+        dep: minToHhmm(choice.outService.depMin),
+        mode: choice.outTransfer.mode,
+        money: cost.moneyCny,
+        wake: minToHhmm(cost.wakeMin),
+        arrive: minToHhmm(cost.arriveStayMin),
+        percent: 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)
-                }
-            });
+    return withZ3('engine.solveCandidate', async (z3)=>{
+        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;
         }
-    }
-    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) {
+        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: joint,
-                    text: suggestText(joint, cand, req, plan.choice, plan.cost),
+                    relax: [
+                        name
+                    ],
+                    text: suggestText([
+                        name
+                    ], cand, req, choice, cost),
                     resulting: {
-                        days: plan.choice.days,
-                        ...trueCostToDict(plan.cost)
+                        days: choice.days,
+                        ...trueCostToDict(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;
+        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), z3);
+                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'
+            ]), z3);
+            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: t('sg.wish_reason_engine', {
+                    weights: JSON.stringify(req.motivation.weights),
+                    days: req.windowDays
+                })
+            };
+        }
+        return verdict;
+    });
 }
 export async function solve(req, candidates) {
-    const verdicts = await Promise.all(candidates.map((c)=>solveCandidate(c, req)));
+    const verdicts = [];
+    for (const c of candidates)verdicts.push(await solveCandidate(c, req));
     const feasible = verdicts.filter((v)=>v.feasible).sort((a, b)=>b.imageryMatch - a.imageryMatch);
     const recommended = feasible[0]?.candidateId ?? null;
     return {
@@ -284,45 +307,91 @@ 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(t('md.header', {
+        note: req.note
+    }));
+    lines.push(t('md.constraints', {
+        days: req.windowDays,
+        budget: req.budgetCny,
+        hours: requiredUsableHours(req.motivation).toFixed(1)
+    }));
     lines.push('');
     for (const v of parked){
-        lines.push(`**${v.name}:现在不行**——冲突约束:${v.unsatCore.join('、')}。`);
+        lines.push(t('md.infeasible', {
+            name: v.name,
+            core: 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 budgetNote = conds['budget_cny'] ? t('md.wish_budget', {
+                cny: String(conds['budget_cny'])
+            }) : '';
             const months = conds['best_months'];
-            const season = months ? `,${months} 月最佳` : '';
-            lines.push(`- 已放入「下一次出发」清单:需要 ${conds['days']} 天${budgetNote}${season}`);
+            const season = months ? t('md.wish_season', {
+                months: months.join(',')
+            }) : '';
+            lines.push(t('md.wish_pool', {
+                days: String(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})`);
+        const c = v.choice, cost = v.trueCost;
+        lines.push(t('md.feasible_engine', {
+            name: v.name,
+            id: c.outService.id,
+            dep: minToHhmm(c.outService.depMin),
+            mode: c.outTransfer.mode,
+            arrive: minToHhmm(cost.arriveStayMin),
+            wake: minToHhmm(cost.wakeMin),
+            energy: cost.energyArrivalPct,
+            d2d: `${Math.floor(cost.doorToDoorOutMin / 60)}h${String(cost.doorToDoorOutMin % 60).padStart(2, '0')}m`,
+            hours: cost.usableHours.toFixed(1),
+            money: cost.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(t('md.recommend', {
+            best: best.name,
+            match: (best.imageryMatch * 100).toFixed(0)
+        }) + (alt ? t('md.alt', {
+            name: alt.name,
+            money: alt.trueCost.moneyCny,
+            match: (alt.imageryMatch * 100).toFixed(0)
+        }) : ''));
     }
     lines.push('');
-    lines.push('**待你决定的两个问题**:');
+    lines.push(t('md.decide_two'));
     if (feasible.length >= 2) {
-        lines.push(`1. ${feasible[0].name} 还是 ${feasible[1].name}?(前者更贴意象,后者更省)`);
+        lines.push(t('md.q_choice', {
+            a: feasible[0].name,
+            b: feasible[1].name
+        }));
     } else if (feasible.length === 1) {
-        lines.push(`1. 就去 ${feasible[0].name} 吗?`);
+        lines.push(t('md.q_single', {
+            name: feasible[0].name
+        }));
     } else {
-        lines.push('1. 所有候选都不可行——考虑放宽哪条约束?');
+        lines.push(t('md.q_none'));
     }
     const p0 = parked[0];
     if (p0?.wishPool) {
-        lines.push(`2. 把 ${p0.name} 留给「下一次出发」(${p0.wishPool.conditions['days']} 天起),这次先去可行的?`);
+        lines.push(t('md.q_wish', {
+            name: p0.name,
+            days: String(p0.wishPool.conditions['days'])
+        }));
     } else if (feasible.length) {
-        lines.push(`2. 出发班次选 ${feasible[0].choice.outService.id}(${minToHhmm(feasible[0].choice.outService.depMin)})还是更晚的?`);
+        lines.push(t('md.q_depart', {
+            id: feasible[0].choice.outService.id,
+            dep: minToHhmm(feasible[0].choice.outService.depMin)
+        }));
     }
     return lines.join('\n');
 }