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

package/dist/src/i18n.js

@@ -0,0 +1,77 @@
+const ZH = {
+    'md.header': '> 憧憬:{note}',
+    'md.constraints': '> 已识别约束:窗口 {days} 天 | 预算 ¥{budget} | 动机(休整改写需求 {hours}h 有效休整)',
+    'md.infeasible': '**{name}:现在不行**——冲突约束:{core}。',
+    'md.relax_one': '- 放宽 {relax}:约 ¥{money}',
+    'md.wish_pool': '- 已放入「下一次出发」清单:需要 {days} 天{budgetNote}{season}',
+    'md.wish_budget': '、约 ¥{cny}',
+    'md.wish_season': ',{months} 月最佳',
+    'md.feasible_engine': '**{name}:可行**({id} {dep} 出发,{mode} 接驳,{arrive} 到住处,起床 {wake},到达精力 {energy}%,门到门 {d2d},有效休整 {hours}h,共 ¥{money})',
+    'md.feasible_unified': '**{name}:可行**({svc} 出发,{mode} 接驳,起床 {wake},到达精力 {energy}%,门到门 {d2d},有效休整 {hours}h,共 ¥{money})',
+    'md.recommend': '**建议:{best}**(意象匹配 {match}%)。',
+    'md.alt': '备选:{name}(¥{money},匹配 {match}%)。',
+    'md.decide_two': '**待你决定的两个问题**:',
+    'md.q_choice': '1. {a} 还是 {b}?(前者更贴意象,后者更省)',
+    'md.q_single': '1. 就去 {name} 吗?',
+    'md.q_none': '1. 所有候选都不可行——考虑放宽哪条约束?',
+    'md.q_wish': '2. 把 {name} 留给「下一次出发」({days} 天起),这次先去可行的?',
+    'md.q_depart': '2. 出发班次选 {id}({dep})还是更晚的?',
+    'sg.duration': '把行程延长到 {days} 天({name} 值得这个窗口)',
+    'sg.budget': '预算提高到 ¥{cost}(原 ¥{budget})',
+    'sg.wake_floor': '接受 {wake} 起床——破坏生物钟,与你的休整动机冲突,不推荐',
+    'sg.energy_floor': '接受到达精力 {pct}%(低于你要求的 {min}%)',
+    'sg.usable_hours': '接受有效休整 {hours}h(低于动机所需的 {need}h)',
+    'sg.arrival': '接受 {time} 才到住处',
+    'sg.plan': '可行方案:{id} {dep} 出发、{mode} 接驳,¥{money},{wake} 起床,{arrive} 到住处,到达精力 {percent}%',
+    'sg.wish_reason_engine': '动机谱系 {weights} 下,{days} 天窗口装不下这个目的地',
+    'sg.wish_reason_window': '{days} 天窗口装不下(目的需 {minDays} 天)',
+    'un.workwindow_reason': '周{wd} {dep} 起飞落在工作窗口(当地 {start}-{end})内',
+    'un.redflag_redeye': '{leg} 落地精力仅 {pct}%(红眼后直奔事务,当日不宜安排重要会议)'
+};
+const EN = {
+    'md.header': '> Aspiration: {note}',
+    'md.constraints': '> Constraints captured: {days}-day window | budget ¥{budget} | motivation (needs {hours}h of usable rest)',
+    'md.infeasible': '**{name}: not yet** — conflicting constraints: {core}.',
+    'md.relax_one': '- Relax {relax}: about ¥{money}',
+    'md.wish_pool': '- Added to the "next departure" list: needs {days} days{budgetNote}{season}',
+    'md.wish_budget': ', about ¥{cny}',
+    'md.wish_season': ', best in months {months}',
+    'md.feasible_engine': '**{name}: feasible** ({id} departs {dep}, {mode} transfer, at your stay by {arrive}, wake {wake}, arrival energy {energy}%, door-to-door {d2d}, {hours}h of real rest, total ¥{money})',
+    'md.feasible_unified': '**{name}: feasible** ({svc} departs, {mode} transfer, wake {wake}, arrival energy {energy}%, door-to-door {d2d}, {hours}h of real rest, total ¥{money})',
+    'md.recommend': '**Suggestion: {best}** (imagery match {match}%).',
+    'md.alt': 'Alternative: {name} (¥{money}, match {match}%).',
+    'md.decide_two': '**Two decisions for you**:',
+    'md.q_choice': '1. {a} or {b}? (former fits the vision, latter saves more)',
+    'md.q_single': '1. Go with {name}?',
+    'md.q_none': '1. All candidates are infeasible — which constraint to relax?',
+    'md.q_wish': '2. Keep {name} for the "next departure" ({days}+ days) and go feasible this time?',
+    'md.q_depart': '2. Departure: {id} ({dep}) or later?',
+    'sg.duration': 'Extend the trip to {days} days ({name} deserves this window)',
+    'sg.budget': 'Raise budget to ¥{cost} (was ¥{budget})',
+    'sg.wake_floor': 'Accept a {wake} wake-up — wrecks your body clock, conflicts with your rest motivation, not recommended',
+    'sg.energy_floor': 'Accept arrival energy {pct}% (below your required {min}%)',
+    'sg.usable_hours': 'Accept {hours}h of usable rest (below the {need}h your motivation needs)',
+    'sg.arrival': 'Accept reaching your stay only at {time}',
+    'sg.plan': 'Feasible plan: {id} departs {dep}, {mode} transfer, ¥{money}, wake {wake}, at your stay {arrive}, arrival energy {percent}%',
+    'sg.wish_reason_engine': 'under motivation weights {weights}, a {days}-day window cannot fit this destination',
+    'sg.wish_reason_window': '{days}-day window cannot fit (the purpose needs {minDays} days)',
+    'un.workwindow_reason': 'Departs {dep} on weekday {wd}, inside your work window (local {start}-{end})',
+    'un.redflag_redeye': '{leg} lands with only {pct}% energy (red-eye then straight to business — no big meetings that day)'
+};
+let locale = process.env['GOTRY_LOCALE'] === 'en' ? 'en' : 'zh-CN';
+export function getLocale() {
+    return locale;
+}
+export function setLocale(l) {
+    locale = l;
+}
+export function t(key, vars = {}) {
+    const tpl = (locale === 'en' ? EN[key] : undefined) ?? ZH[key] ?? String(key);
+    return tpl.replace(/\{(\w+)\}/g, (_, k)=>k in vars ? String(vars[k]) : `{${k}}`);
+}
+export function enCoverage() {
+    return Object.keys(ZH).filter((k)=>EN[k] === undefined);
+}
+
+
+//# sourceURL=/Users/bytedance/work/gotry/ts/src/i18n.ts

package/dist/src/index.js

@@ -21,6 +21,8 @@ import { readUrl, reach, reachStatus } from '../capabilities/agent-reach.js';
 import { videoSubtitle, githubSearch } from '../capabilities/agent-reach-deep.js';
 import { flyaiSearch } from '../capabilities/flyai.js';
 import { sessionFlightSearch } from '../capabilities/session-search.js';
+import { sessionLogin } from '../capabilities/session-login.js';
+import { createConsentGate, approvalFromContext } from '../capabilities/session-consent.js';
 export const name = 'gotry-tools';
 export const inject = [
     'tools',
@@ -29,7 +31,8 @@ export const inject = [
 export const Config = z.object({
     stateRoot: z.string().default('.'),
     timeoutMs: z.number().default(30_000),
-    hbcliBin: z.string().default('hbcli')
+    hbcliBin: z.string().default('hbcli'),
+    sessionAccess: z.string().default('ask')
 });
 const unwrapQuery = interpretArgs;
 function renderMotivationBrief(stateRoot) {
@@ -95,6 +98,13 @@ export function apply(ctx, config) {
         uncaughtException: 'gotry-tools',
         unhandledRejection: 'gotry-tools'
     });
+    const ctxOn = ctx.on;
+    if (typeof ctxOn === 'function') {
+        ctx.on('tools/pre-execute', createConsentGate({
+            access: ()=>config.sessionAccess ?? 'ask',
+            approval: approvalFromContext(ctx)
+        }));
+    }
     const registerGuarded = (tool)=>{
         const t = {
             ...tool
@@ -776,12 +786,12 @@ export function apply(ctx, config) {
     }));
     registerGuarded(defineTool({
         name: 'gotry_flyai_search',
-        description: 'Live flight/train search via Fliggy official FlyAI channel (read-only, no key, booking only via jumpUrl by the human). ' + 'PRIMARY source for real schedules & prices (RFC user-session-data-rfc). Input: kind=flight|train, from/to city names (Chinese), date YYYY-MM-DD. ' + 'Evidence [实时API:flyai@ts]. Cross-validate expensive claims against gotry_session_search when it matters.',
+        description: 'Live travel search through the Fliggy official FlyAI channel (read-only, no key; booking/comparison happens by the HUMAN on the jumpUrl page). ' + 'kind="flight"|"train": { kind, from, to, date } (中文城市名, date YYYY-MM-DD) — real schedules & prices, split 直达/中转 in results. ' + 'kind="hotel": { kind:"hotel", to:"大理"(目的地中文), checkIn?, checkOut? (YYYY-MM-DD,成对可选——未定档期可不填先摸底), keyWords? }. ' + 'Hotel prices may be masked upstream (priceRaw like "¥7xx"): always present the mask as a range, and let the human open jumpUrl for the real price. ' + 'Evidence [实时API:flyai@ts]. Errors (rate-limit Sentinel / invalid dates) degrade as structured errors with the upstream message — surface them, never guess.',
         parameters: {
             query: {
                 type: 'json',
                 required: true,
-                description: '{ kind: "flight"|"train", from: "上海", to: "丽江", date: "2026-10-01" }'
+                description: 'kind=flight|train: { kind, from: "上海", to: "丽江", date: "2026-10-01" }; kind="hotel": { kind:"hotel", to:"大理", checkIn?: "YYYY-MM-DD", checkOut?: "YYYY-MM-DD", keyWords?: "洱海" }'
             }
         },
         output: {
@@ -797,6 +807,50 @@ export function apply(ctx, config) {
         },
         async execute (args, _exec) {
             const q = unwrapQuery(args, 'from');
+            if (q.kind === 'hotel') {
+                const dest = (q.to ?? '').trim();
+                if (!dest) return {
+                    ok: false,
+                    summary: 'kind=hotel 需要 to(目的地中文,如 大理)'
+                };
+                if ((q.checkIn ? 1 : 0) !== (q.checkOut ? 1 : 0) || q.checkIn && !/^\d{4}-\d{2}-\d{2}$/.test(q.checkIn)) {
+                    return {
+                        ok: false,
+                        summary: '酒店 checkIn/checkOut 须成对且为 YYYY-MM-DD(未定档期可不填,先摸底)'
+                    };
+                }
+                if (q.checkIn) {
+                    const now = new Date();
+                    const todayYmd = `${now.getFullYear()}-${String(now.getMonth() + 1).padStart(2, '0')}-${String(now.getDate()).padStart(2, '0')}`;
+                    if (q.checkIn < todayYmd || (q.checkOut ?? '') < q.checkIn) {
+                        return JSON.parse(JSON.stringify({
+                            ok: false,
+                            verdict: 'error',
+                            kind: 'hotel',
+                            summary: `未发起查询:入住 ${q.checkIn}/退房 ${q.checkOut ?? ''} 不是未来合法区间(今天 ${todayYmd})。向用户确认日期后再查。`
+                        }));
+                    }
+                    if ((q.checkOut ?? '').length !== 10) {
+                        return {
+                            ok: false,
+                            summary: 'checkOut 需 YYYY-MM-DD(与 checkIn 成对)'
+                        };
+                    }
+                }
+                const r = await flyaiSearch({
+                    kind: 'hotel',
+                    destName: dest,
+                    checkInDate: q.checkIn,
+                    checkOutDate: q.checkOut,
+                    keyWords: q.keyWords
+                });
+                const top = (r.hotels ?? []).slice(0, 8).map((o)=>`${o.name}${o.star ? `(${o.star})` : ''} ${o.priceRaw ?? '价待询'}${o.poi ? ` · ${o.poi}` : ''}`);
+                const summary = r.verdict === 'hit' ? `${dest} 酒店(飞猪官方只读)前 ${top.length} 家(价格多为打码,真实价以 jumpUrl 为准):\n${top.join('\n')}\n${r.evidence}` : `${dest} 酒店无结果或失败:${r.error ?? 'miss'} ${r.evidence}`;
+                return JSON.parse(JSON.stringify({
+                    ...r,
+                    summary
+                }));
+            }
             const kind = q.kind === 'train' ? 'train' : 'flight';
             if (!q.from || !q.to || !q.date) {
                 return {
@@ -804,6 +858,16 @@ export function apply(ctx, config) {
                     summary: '需要 from/to(中文城市名)与 date(YYYY-MM-DD)'
                 };
             }
+            const now = new Date();
+            const todayYmd = `${now.getFullYear()}-${String(now.getMonth() + 1).padStart(2, '0')}-${String(now.getDate()).padStart(2, '0')}`;
+            if (q.date < todayYmd) {
+                return JSON.parse(JSON.stringify({
+                    ok: false,
+                    verdict: 'error',
+                    kind,
+                    summary: `未发起查询:日期 ${q.date} 已是过去(今天 ${todayYmd}),过去不存在在售机/火车票。` + `多为用户时间表达未带年份所致——向用户确认年份(或按未来最近的同月日修正)后再查。`
+                }));
+            }
             const r = await flyaiSearch({
                 kind,
                 origin: q.from,
@@ -825,10 +889,65 @@ export function apply(ctx, config) {
                 rawInput: args.query
             }),
         presentResult: (args, value)=>{
+            const isHotel = String(args.query?.kind) === 'hotel';
+            const r = value;
+            const n = Math.max((r.options ?? []).length, (r.hotels ?? []).length);
+            return {
+                card: 'generic',
+                title: `${isHotel ? '飞猪酒店' : '飞猪检索'}:${r.ok && n > 0 ? `${n} 条` : '降级'}`,
+                content: [
+                    {
+                        type: 'text',
+                        text: String(value.summary ?? '')
+                    }
+                ]
+            };
+        }
+    }));
+    registerGuarded(defineTool({
+        name: 'gotry_session_login',
+        description: 'Productized login bootstrap for the account session channel (call this when gotry_session_search returns needs-login — the user never needs a terminal). ' + 'OPENS the site login entry in the USER\'S OWN Chrome and waits for the user to finish logging in on the external site. ' + 'GoTry NEVER collects, stores, or transmits credentials: no passwords, no SMS codes, no cookie values — it only checks the boolean fact "already logged in" (reads cookie NAMES only, zero values). ' + 'verdict logged-in (tickets detected) | pending (login tab opened, user not done yet — offer to re-check later) | needs-attach (one-time Chrome remote-debugging switch instructions). ' + 'Evidence [会话:<site>-login@ts].',
+        parameters: {
+            query: {
+                type: 'json',
+                required: true,
+                description: '可空对象 {}: { waitSeconds?: number }(等待用户完成登录的上限秒数,默认 90,至多 300)'
+            }
+        },
+        output: {
+            schema: {
+                type: 'json'
+            },
+            render: (_a, v)=>[
+                    {
+                        type: 'text',
+                        text: String(v.evidence ?? JSON.stringify(v).slice(0, 600))
+                    }
+                ]
+        },
+        async execute (args, _exec) {
+            const q = unwrapQuery(args, 'waitSeconds');
+            const r = await sessionLogin({
+                waitMs: typeof q?.waitSeconds === 'number' ? q.waitSeconds * 1000 : undefined
+            });
+            const summary = r.verdict === 'logged-in' ? `${r.site} 登录完成确认(票据 cookie 名已检出,只读名字)。说明:登录是在携程官网、用你自己的浏览器完成的——gotry 全程未接触任何密码/验证码/cookie 值。现在可以继续会话检索了。${r.evidence}` : r.verdict === 'pending' ? `登录入口已在你的 Chrome 打开;请在弹出的标签页里正常登录携程(登录由你在官网完成,不属于 gotry)。完成后说一声"继续",我再确认。gotry 只检查"是否已登录",永不收集你的账号信息。${r.evidence}` : r.verdict === 'needs-attach' ? `需要一次性开启你 Chrome 的远程调试开关:在你的 Chrome 地址栏打开 chrome://inspect/#remote-debugging 并打开开关,然后说一声"重试"。${r.evidence}` : `登录引导未完成:${r.error ?? '未知原因'} ${r.evidence}`;
+            return JSON.parse(JSON.stringify({
+                ...r,
+                summary
+            }));
+        },
+        presentCall: (_args)=>({
+                card: 'generic',
+                title: '登录携程(用你自己的浏览器,不在 gotry 输入)',
+                kind: 'fetch',
+                rawInput: {}
+            }),
+        presentResult: (_args, value)=>{
             const r = value;
+            const label = r.verdict === 'logged-in' ? `已登录(${(r.tickets ?? []).length} 票据)` : r.verdict === 'pending' ? '等待你在携程页面完成登录' : r.verdict ?? '降级';
             return {
                 card: 'generic',
-                title: `飞猪检索:${r.ok && (r.options?.length ?? 0) > 0 ? `${r.options.length} 条` : '降级'}`,
+                title: `账号登录:${label}`,
                 content: [
                     {
                         type: 'text',
@@ -840,7 +959,7 @@ export function apply(ctx, config) {
     }));
     registerGuarded(defineTool({
         name: 'gotry_session_search',
-        description: 'Cross-validation search on the user\'s OWN logged-in browser session (dedicated persistent profile, ReadGuard = physically read-only: ' + 'write requests are aborted at network layer; agent NEVER touches credentials/captcha; on captcha it stops and returns challenged). ' + 'Currently ctrip-flight: sniffs the site search API for structured options. Evidence [会话:ctrip-flight@ts]. ' + 'verdict needs-login = run scripts/session-login.ts once with the human logging in. Rate-limited (≥30s between same-site calls). ' + 'Use to verify/double-check prices from gotry_flyai_search on the same itinerary (split by 直达/中转).',
+        description: 'Search on the USER\'S OWN logged-in browser session (Ctrip flights today; the account channel, not an anonymous instance). ' + 'Consent gate: the FIRST call in a session asks the user via the runtime approval card; once granted it holds for the session, a refusal revokes it for the session (no repeat prompting). ' + 'ReadGuard = physically read-only (write requests aborted at network layer; agent NEVER touches credentials/captcha; on captcha it stops and returns challenged). ' + 'Currently ctrip-flight: sniffs the site search API for structured options. Evidence [会话:ctrip-flight@ts]. ' + 'verdict needs-login = call gotry_session_login (product tool: opens the Ctrip login entry in the user\'s own Chrome and waits for them to log in on the external site — no terminal, no credentials through GoTry); needs-attach = one-time Chrome remote-debugging switch. ' + 'Rate-limited (≥30s between same-site calls; a challenged/timeout verdict means STOP — never retry, fall back to other tools).',
         parameters: {
             query: {
                 type: 'json',

package/dist/src/journey.js

@@ -1,10 +1,5 @@
-import { init } from 'z3-solver';
 import { hhmmToMin, minToHhmm } 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';
 export function evaluateLeg(leg, svc) {
     const wake = svc.depMin - leg.bufferMin - leg.originTransferMin;
     const wakeDisplay = wake < 0 ? `${minToHhmm(wake + 1440)}(前一日)` : minToHhmm(wake);
@@ -38,87 +33,88 @@ function exactlyOne(z3, sels) {
     return Sum(...sels.map((s)=>If(s, Int.val(1), Int.val(0)))).eq(Int.val(1));
 }
 export async function solveJourney(req) {
-    const z3 = await getZ3();
-    const { Bool, If, Sum, Int, Solver } = z3;
-    const wakeFloor = req.wakeFloorMin ?? hhmmToMin('06:00');
-    const allSels = {};
-    const assertions = {};
-    const legSpecs = req.legs;
-    for (const leg of legSpecs){
-        const sels = leg.services.map((_, i)=>Bool.const(`${leg.id}_s${i}`));
-        allSels[leg.id] = sels;
-        const pick = (attr)=>Sum(...sels.map((s, i)=>If(s, Int.val(leg.services[i][attr]), Int.val(0))));
-        const dep = pick('depMin'), arr = pick('arrMin'), price = pick('priceCny');
-        const wake = dep.sub(Int.val(leg.bufferMin + leg.originTransferMin));
-        const arriveStay = arr.add(Int.val(leg.destTransferMin));
-        if (leg.arriveByMin !== undefined) assertions[`${leg.id}:arrive_by`] = arriveStay.le(Int.val(leg.arriveByMin));
-        if (leg.departAfterMin !== undefined) assertions[`${leg.id}:depart_after`] = dep.ge(Int.val(leg.departAfterMin));
-        if (!leg.redEye) assertions[`${leg.id}:wake_floor`] = wake.ge(Int.val(wakeFloor));
-    }
-    const total = Sum(...legSpecs.flatMap((leg)=>allSels[leg.id].map((s, i)=>If(s, Int.val(leg.services[i].priceCny), Int.val(0)))));
-    if (req.budgetCny !== undefined) assertions['total:budget'] = total.le(Int.val(req.budgetCny));
-    const coreOf = (s)=>{
-        const v = s.unsatCore();
-        const out = [];
-        for(let i = 0; i < v.length(); i++){
-            out.push(String(v.get(i)).replace(/^\|/, '').replace(/\|$/, ''));
-        }
-        return out;
-    };
-    const extract = async (model)=>{
-        const chosen = new Map();
+    return withZ3('journey.solveJourney', async (z3)=>{
+        const { Bool, If, Sum, Int, Solver } = z3;
+        const wakeFloor = req.wakeFloorMin ?? hhmmToMin('06:00');
+        const allSels = {};
+        const assertions = {};
+        const legSpecs = req.legs;
         for (const leg of legSpecs){
-            for(let i = 0; i < allSels[leg.id].length; i++){
-                const v = await maybeAwait(model.eval(allSels[leg.id][i], true));
-                if (String(v) === 'true') chosen.set(leg.id, leg.services[i]);
-            }
+            const sels = leg.services.map((_, i)=>Bool.const(`${leg.id}_s${i}`));
+            allSels[leg.id] = sels;
+            const pick = (attr)=>Sum(...sels.map((s, i)=>If(s, Int.val(leg.services[i][attr]), Int.val(0))));
+            const dep = pick('depMin'), arr = pick('arrMin'), price = pick('priceCny');
+            const wake = dep.sub(Int.val(leg.bufferMin + leg.originTransferMin));
+            const arriveStay = arr.add(Int.val(leg.destTransferMin));
+            if (leg.arriveByMin !== undefined) assertions[`${leg.id}:arrive_by`] = arriveStay.le(Int.val(leg.arriveByMin));
+            if (leg.departAfterMin !== undefined) assertions[`${leg.id}:depart_after`] = dep.ge(Int.val(leg.departAfterMin));
+            if (!leg.redEye) assertions[`${leg.id}:wake_floor`] = wake.ge(Int.val(wakeFloor));
         }
-        return chosen;
-    };
-    const s = new Solver();
-    for (const sel of Object.values(allSels))s.add(exactlyOne(z3, sel));
-    for (const [name, expr] of Object.entries(assertions))s.addAndTrack(expr, name);
-    if (String(await s.check()) !== 'unsat') {
-        const chosen = await extract(s.model());
-        const legReports = legSpecs.map((leg)=>evaluateLeg(leg, chosen.get(leg.id)));
-        const money = legReports.reduce((a, r)=>a + r.price_cny, 0);
-        const redFlags = [
-            ...legSpecs.map((leg, i)=>leg.redEye && legReports[i].energy_pct < 50 ? `${leg.id} 落地精力仅 ${legReports[i].energy_pct}%(红眼后直奔事务,当日不宜安排重要会议)` : '').filter(Boolean),
-            ...legSpecs.map((leg, i)=>!leg.redEye && legReports[i].wakeMin >= 0 && legReports[i].wakeMin < 6 * 60 ? `${leg.id} 起床 ${legReports[i].wake}(早于 6:00,生物钟代价)` : '').filter(Boolean)
-        ];
-        return {
-            feasible: true,
-            money_cny: money,
-            legs: legReports,
-            red_flags: redFlags
+        const total = Sum(...legSpecs.flatMap((leg)=>allSels[leg.id].map((s, i)=>If(s, Int.val(leg.services[i].priceCny), Int.val(0)))));
+        if (req.budgetCny !== undefined) assertions['total:budget'] = total.le(Int.val(req.budgetCny));
+        const coreOf = (s)=>{
+            const v = s.unsatCore();
+            const out = [];
+            for(let i = 0; i < v.length(); i++){
+                out.push(String(v.get(i)).replace(/^\|/, '').replace(/\|$/, ''));
+            }
+            return out;
         };
-    }
-    const core = coreOf(s).sort();
-    const suggestions = [];
-    for (const name of core){
-        const s2 = new Solver();
-        for (const sel of Object.values(allSels))s2.add(exactlyOne(z3, sel));
-        for (const [n2, expr] of Object.entries(assertions)){
-            if (n2 !== name) s2.addAndTrack(expr, n2);
+        const extract = async (model)=>{
+            const chosen = new Map();
+            for (const leg of legSpecs){
+                for(let i = 0; i < allSels[leg.id].length; i++){
+                    const v = await maybeAwait(model.eval(allSels[leg.id][i], true));
+                    if (String(v) === 'true') chosen.set(leg.id, leg.services[i]);
+                }
+            }
+            return chosen;
+        };
+        const s = new Solver();
+        for (const sel of Object.values(allSels))s.add(exactlyOne(z3, sel));
+        for (const [name, expr] of Object.entries(assertions))s.addAndTrack(expr, name);
+        if (String(await s.check()) !== 'unsat') {
+            const chosen = await extract(s.model());
+            const legReports = legSpecs.map((leg)=>evaluateLeg(leg, chosen.get(leg.id)));
+            const money = legReports.reduce((a, r)=>a + r.price_cny, 0);
+            const redFlags = [
+                ...legSpecs.map((leg, i)=>leg.redEye && legReports[i].energy_pct < 50 ? `${leg.id} 落地精力仅 ${legReports[i].energy_pct}%(红眼后直奔事务,当日不宜安排重要会议)` : '').filter(Boolean),
+                ...legSpecs.map((leg, i)=>!leg.redEye && legReports[i].wakeMin >= 0 && legReports[i].wakeMin < 6 * 60 ? `${leg.id} 起床 ${legReports[i].wake}(早于 6:00,生物钟代价)` : '').filter(Boolean)
+            ];
+            return {
+                feasible: true,
+                money_cny: money,
+                legs: legReports,
+                red_flags: redFlags
+            };
         }
-        if (String(await s2.check()) !== 'unsat') {
-            const chosen = await extract(s2.model());
-            const rep = legSpecs.map((leg)=>evaluateLeg(leg, chosen.get(leg.id)));
-            suggestions.push({
-                relax: name,
-                money_cny: rep.reduce((a, r)=>a + r.price_cny, 0),
-                legs: rep.map((r, i)=>({
-                        ...r,
-                        leg: legSpecs[i].id
-                    }))
-            });
+        const core = coreOf(s).sort();
+        const suggestions = [];
+        for (const name of core){
+            const s2 = new Solver();
+            for (const sel of Object.values(allSels))s2.add(exactlyOne(z3, sel));
+            for (const [n2, expr] of Object.entries(assertions)){
+                if (n2 !== name) s2.addAndTrack(expr, n2);
+            }
+            if (String(await s2.check()) !== 'unsat') {
+                const chosen = await extract(s2.model());
+                const rep = legSpecs.map((leg)=>evaluateLeg(leg, chosen.get(leg.id)));
+                suggestions.push({
+                    relax: name,
+                    money_cny: rep.reduce((a, r)=>a + r.price_cny, 0),
+                    legs: rep.map((r, i)=>({
+                            ...r,
+                            leg: legSpecs[i].id
+                        }))
+                });
+            }
         }
-    }
-    return {
-        feasible: false,
-        unsat_core: core,
-        suggestions
-    };
+        return {
+            feasible: false,
+            unsat_core: core,
+            suggestions
+        };
+    });
 }
 async function maybeAwait(v) {
     return v instanceof Promise ? await v : v;

package/dist/src/loop.js

@@ -71,6 +71,35 @@ export function validateSpec(spec) {
     }
     return null;
 }
+export const ASYNC_TERMINAL_SCHEMA = 'gotry_async_terminal.v1';
+function asyncTerminalOutcome(ticketId, checks) {
+    const failedChecks = Object.entries(checks).filter(([, passed])=>!passed).map(([name])=>name);
+    return {
+        schema: ASYNC_TERMINAL_SCHEMA,
+        ticket_id: ticketId,
+        status: failedChecks.length === 0 ? 'succeeded' : 'failed',
+        passed: Object.values(checks).filter(Boolean).length,
+        total: 4,
+        checks,
+        failed_checks: failedChecks
+    };
+}
+function terminalOutcomeFromState(ticketId, state) {
+    if (!state.spec || !state.solve) {
+        return asyncTerminalOutcome(ticketId, {
+            '1_承诺时间后必有明确产物': false,
+            '2_产物通过自检清单': false,
+            '3_待决问题全部是简单选择题': false,
+            '4_做不到的诚实说': false
+        });
+    }
+    return asyncTerminalOutcome(ticketId, {
+        '1_承诺时间后必有明确产物': Boolean(state.solve.legs?.length || state.solve.verdicts?.length),
+        '2_产物通过自检清单': state.solve.feasible ? state.solve.legs?.every((l)=>l['energy_pct'] !== undefined) ?? false : Boolean(state.solve.unsat_core?.length),
+        '3_待决问题全部是简单选择题': state.gates.every((g)=>g.id === 'budget' || g.options.length >= 2),
+        '4_做不到的诚实说': state.solve.feasible || Boolean(state.solve.suggestions?.length)
+    });
+}
 export function isComplex(state) {
     const p = state.profile;
     return Boolean(p.workWindow && p.bookedResources) && (state.gates.length > 0 || Boolean(state.spec));
@@ -95,22 +124,22 @@ export async function requestDeepPlanning(state) {
 }
 export async function collectDeepPlanning(state, ticket, solve) {
     const spec = state.spec;
-    if (!spec) return {
-        reply: '(内部状态缺失 spec——深度规划未就绪,这是不应发生的路径)',
-        state
-    };
+    if (!spec) {
+        const outcome = terminalOutcomeFromState(ticket.id, state);
+        return {
+            reply: '(内部状态缺失 spec——深度规划未就绪,这是不应发生的路径)',
+            state,
+            outcome
+        };
+    }
     state.solve = await solve(spec);
     state.gates = state.gates.filter((g)=>!g.id.startsWith('async-'));
-    const checks = {
-        '1_承诺时间后必有明确产物': Boolean(state.solve.legs?.length || state.solve.verdicts?.length),
-        '2_产物通过自检清单': state.solve.feasible ? state.solve.legs?.every((l)=>l['energy_pct'] !== undefined) ?? false : Boolean(state.solve.unsat_core?.length),
-        '3_待决问题全部是简单选择题': state.gates.every((g)=>g.id === 'budget' || g.options.length >= 2),
-        '4_做不到的诚实说': state.solve.feasible || Boolean(state.solve.suggestions?.length)
-    };
-    const head = `# 回访交付:${ticket.objective}\n(工单 ${ticket.id},不失望四条:${Object.values(checks).every(Boolean) ? '4/4 ✅' : '有未达项 ❌'})`;
+    const outcome = terminalOutcomeFromState(ticket.id, state);
+    const head = `# 回访交付:${ticket.objective}\n(工单 ${ticket.id},不失望四条:${outcome.status === 'succeeded' ? '4/4 ✅' : '有未达项 ❌'})`;
     return {
         reply: `${head}\n\n${renderSolve(state)}`,
-        state
+        state,
+        outcome
     };
 }
 export function renderSolve(state) {
@@ -311,13 +340,35 @@ export async function loadAsyncTicket(ticketId, stateRoot = '.') {
         return null;
     }
 }
-export async function settleAsyncTicket(ticketId, reply, stateRoot = '.') {
-    openLedgerIfExists(stateRoot)?.settleWorkflowRun(ticketId, reply);
+export async function settleAsyncTicket(ticketId, reply, stateRoot = '.', outcome) {
+    const ledger = openLedgerIfExists(stateRoot);
+    const terminalOutcome = outcome ?? recoverAsyncTerminalOutcome(ledger, ticketId);
+    if (ledger && !terminalOutcome) {
+        throw new Error(`workflow ${ticketId} 缺少可恢复的 ${ASYNC_TERMINAL_SCHEMA}，拒绝误结算`);
+    }
+    if (terminalOutcome?.status === 'failed') ledger?.failWorkflowRun(ticketId, reply, terminalOutcome);
+    else ledger?.settleWorkflowRun(ticketId, reply, terminalOutcome);
     const dir = await asyncDir(stateRoot);
     const p = join(dir, `${ticketId}.deliverable.md`);
     await atomicWrite(p, reply);
     return p;
 }
+function recoverAsyncTerminalOutcome(ledger, ticketId) {
+    if (!ledger) return undefined;
+    const run = ledger.getWorkflowRun(ticketId);
+    if (!run) return undefined;
+    try {
+        const state = JSON.parse(run.state_json);
+        if (!state.spec) return terminalOutcomeFromState(ticketId, state);
+        const solveStep = ledger.getWorkflowStep(ticketId, 'solve');
+        if (solveStep?.status !== 'done' || !solveStep.result) return undefined;
+        state.solve = JSON.parse(solveStep.result);
+        state.gates = state.gates.filter((g)=>!g.id.startsWith('async-'));
+        return terminalOutcomeFromState(ticketId, state);
+    } catch  {
+        return undefined;
+    }
+}
 export function makeJournaledSolvePort(ledger, runId, solve, opts) {
     return async (spec)=>{
         const step = ledger.getWorkflowStep(runId, 'solve');