@danceiny/gotry 0.0.1-rc.8 → 0.2.0-rc.27

package/dist/src/unified.js

@@ -1,110 +1,104 @@
+/**
+ * 统一行程模型 TS 版(与 py/gotry_feasibility/unified.py 对齐;Python 为 oracle)。
+ * 行程 = Segment 序列;选择单元是 SegmentOption(目的地或具体班次)。
+ * 本文件实现:类型 + 双旧输入适配 + 航班链形态求解(Z3)。
+ * 候选形态 TS 求解(枚举过滤)与 engine 等价对账在下一迁移段。
+ */
 import { checkConnectivity } from '../scripts/skeleton-check.js';
-import { evaluateChoice, minToHhmm, hhmmToMin, requiredUsableHours, trueCostToDict, LATEST_ARRIVE_STAY_MIN } from './model.js';
-let z3Promise = null;
-async function getZ3() {
-    if (!z3Promise) {
-        const { init } = await import('z3-solver');
-        z3Promise = (async ()=>(await init()).Context('main'))();
-    }
-    return z3Promise;
-}
+import { evaluateChoice, minToHhmm, hhmmToMin, requiredUsableHours, trueCostToDict, LATEST_ARRIVE_STAY_MIN, doorToDoorFromMove, NonpositiveDurationError } from './model.js';
+import { withZ3 } from './z3-shared.js';
+import { t as i18nT } from './i18n.js';
+import { resolveOffsetForLocalDate, describeResolveFailure, isKnownZoneLoose, readWallParts, wallPartsToIso } from './tz-resolver.js';
+import { FLIGHT_PACK_VERSION } from './flight-pack-contract.js';
+// Z3 运行时收敛到 z3-shared(单一 WASM 实例 + 单一 Context + 会话级互斥)——
+// 此前模块级 z3Promise 三份并存是 WASM race/OOM 的根因(见 z3-shared.ts 头注)。
+/* eslint-disable @typescript-eslint/no-explicit-any */
+/** 航班数据包(data/flights_2026.json 形态)→ 段链 */
 const SEGMENT_ROUTES = {
-    f1: 'HKG->HKT',
-    f2: 'HKT->BKK',
-    f3: 'BKK->KMG',
-    f4: 'KMG->SZX',
-    f5: 'SZX->DXB',
-    yn1: 'SZX->LJG',
-    yn2: 'LJG->DLU',
-    yn3: 'DLU->LJG',
-    yn4: 'LJG->SZX'
+    f1: 'HKG->HKT', f2: 'HKT->BKK', f3: 'BKK->KMG', f4: 'KMG->SZX', f5: 'SZX->DXB',
+    yn1: 'SZX->LJG', yn2: 'LJG->DLU', yn3: 'DLU->LJG', yn4: 'LJG->SZX',
 };
 function routeHint(id) {
     return SEGMENT_ROUTES[id];
 }
+// ---- 适配器:旧候选用例(洱海形态:request + candidates)→ 单 choice 段 -------------
+// 与 py unified.py segments_from_candidate 逐行对齐
 export function segmentsFromCandidate(req, candidates) {
     const motHard = req.motivation;
     const wakeFloor = motHard.wakeFloorMin;
-    const options = candidates.map((c)=>({
-            id: c.id,
-            label: c.name,
-            score: c.imageryMatch,
-            bestMonths: c.bestMonths,
-            minDays: c.minDaysForPurpose,
-            move: {
-                hub: c.hub,
-                services: [
-                    ...c.servicesOut
-                ],
-                retServices: [
-                    ...c.servicesRet
-                ],
-                transfers: [
-                    ...c.destTransfers
-                ],
-                bufferMin: c.bufferOutMin,
-                bufferRetMin: c.bufferRetMin,
-                originTransferMin: 0,
-                destTransferMin: 0
-            },
-            stay: {
-                nights: req.windowDays - 1,
-                stayCnyPerNight: c.stayCnyPerNight,
-                localDailyCny: c.localDailyCny
-            }
-        }));
+    const options = candidates.map(c => ({
+        id: c.id,
+        label: c.name,
+        date: c.date,
+        score: c.imageryMatch,
+        bestMonths: c.bestMonths,
+        minDays: c.minDaysForPurpose,
+        move: {
+            hub: c.hub,
+            services: [...c.servicesOut],
+            retServices: [...c.servicesRet],
+            transfers: [...c.destTransfers],
+            bufferMin: c.bufferOutMin,
+            bufferRetMin: c.bufferRetMin,
+            originTransferMin: 0, // 候选形态无独立接驳(并入 destTransfers)
+            destTransferMin: 0,
+        },
+        stay: {
+            nights: req.windowDays - 1,
+            stayCnyPerNight: c.stayCnyPerNight,
+            localDailyCny: c.localDailyCny,
+        },
+    }));
     const escape = req.motivation.weights['escape_rest'] ?? 0;
     return {
         note: req.note,
-        segments: [
-            {
+        segments: [{
                 id: 'dest',
                 role: 'choice',
                 note: '目的地选择',
-                anchors: {
-                    wakeFloorMin: wakeFloor
-                },
-                options
-            }
-        ],
+                anchors: { wakeFloorMin: wakeFloor },
+                options,
+            }],
         budgetCny: req.budgetCny,
-        defaultWakeFloorMin: wakeFloor
+        defaultWakeFloorMin: wakeFloor,
     };
 }
 export function parseFlightPackToSpec(pack) {
-    const legs = pack['legs'].map((l)=>({
-            id: String(l['id']),
-            role: l['services'].length === 1 ? 'fixed' : 'choice',
-            note: l['note'] ? String(l['note']) : undefined,
-            date: l['date'] ? String(l['date']) : undefined,
-            anchors: {
-                arriveByMin: l['arrive_by'] ? hhmmToMin(String(l['arrive_by'])) : undefined
+    // Issue #343 v2:IANA path;v1(无 version 字段或 version===1)走原数值口径。
+    const version = pack['version'] === undefined ? 1 : Number(pack['version']);
+    if (version === 2)
+        return parseFlightPackToSpecV2(pack);
+    if (version !== 1) {
+        throw Object.assign(new Error(`parseFlightPackToSpec: unsupported pack version ${version}`), { code: 'unsupported_pack_version' });
+    }
+    return parseFlightPackToSpecV1(pack);
+}
+/** v1 数值口径(path 保留为 export,便于 §7-1/§6 直接复用与差分) */
+export function parseFlightPackToSpecV1(pack) {
+    const legs = pack['legs'].map(l => ({
+        id: String(l['id']),
+        role: (l['services'].length === 1 ? 'fixed' : 'choice'),
+        note: l['note'] ? String(l['note']) : undefined,
+        date: l['date'] ? String(l['date']) : undefined,
+        anchors: { arriveByMin: l['arrive_by'] ? hhmmToMin(String(l['arrive_by'])) : undefined },
+        route: routeHint(l['id']),
+        options: l['services'].map(sv => ({
+            id: String(sv['id']),
+            label: `${String(sv['id'])} ${String(l['note'] ?? '').slice(0, 18)}`,
+            move: {
+                hub: String(l['hub'] ?? ''),
+                services: [{ id: String(sv['id']), depMin: hhmmToMin(String(sv['dep'])), arrMin: hhmmToMin(String(sv['arr'])), priceCny: Number(sv['price_cny']) }],
+                bufferMin: Number(l['buffer_min']),
+                originTransferMin: Number(l['origin_transfer_min']),
+                destTransferMin: Number(l['dest_transfer_min']),
+                redEye: Boolean(l['red_eye']),
+                redEyeDurationMin: Number(l['red_eye_duration_min'] ?? 0),
+                tzOffsetMin: Number(l['tz_offset_min'] ?? 0),
+                originTzOffsetMin: Number(l['origin_tz_offset_min'] ?? 480),
             },
-            route: routeHint(l['id']),
-            options: l['services'].map((sv)=>({
-                    id: String(sv['id']),
-                    label: `${String(sv['id'])} ${String(l['note'] ?? '').slice(0, 18)}`,
-                    move: {
-                        hub: String(l['hub'] ?? ''),
-                        services: [
-                            {
-                                id: String(sv['id']),
-                                depMin: hhmmToMin(String(sv['dep'])),
-                                arrMin: hhmmToMin(String(sv['arr'])),
-                                priceCny: Number(sv['price_cny'])
-                            }
-                        ],
-                        bufferMin: Number(l['buffer_min']),
-                        originTransferMin: Number(l['origin_transfer_min']),
-                        destTransferMin: Number(l['dest_transfer_min']),
-                        redEye: Boolean(l['red_eye']),
-                        redEyeDurationMin: Number(l['red_eye_duration_min'] ?? 0),
-                        tzOffsetMin: Number(l['tz_offset_min'] ?? 0),
-                        originTzOffsetMin: Number(l['origin_tz_offset_min'] ?? 480)
-                    }
-                }))
-        }));
-    const meta = pack['meta'] ?? {};
+        })),
+    }));
+    const meta = (pack['meta'] ?? {});
     const ww = meta['work_window'];
     const spec = {
         segments: legs,
@@ -112,80 +106,262 @@ export function parseFlightPackToSpec(pack) {
             homeTzOffsetMin: Number(ww['home_tz_offset_min']),
             startMin: Number(ww['start_min']),
             endMin: Number(ww['end_min']),
-            workdays: ww['workdays'] ?? [
-                0,
-                1,
-                2,
-                3,
-                4
-            ]
-        } : undefined
+            workdays: ww['workdays'] ?? [0, 1, 2, 3, 4],
+        } : undefined,
+        [FLIGHT_PACK_VERSION]: 1,
     };
-    for (const l of pack['legs']){
-        const seg = spec.segments.find((s)=>s.id === l['id']);
-        for (const svc of l['services']){
+    // M-1:班次的星期标注挂到 Option(缺省=不受工作窗口约束)
+    for (const l of pack['legs']) {
+        const seg = spec.segments.find(s => s.id === l['id']);
+        for (const svc of l['services']) {
             if (svc['weekday']) {
-                const opt = seg.options.find((o)=>o.id === svc['id']);
-                if (opt) opt.depWeekday = String(svc['weekday']);
+                const opt = seg.options.find(o => o.id === svc['id']);
+                if (opt)
+                    opt.depWeekday = String(svc['weekday']);
             }
         }
     }
     return spec;
 }
-const WEEKDAY_IDX = {
-    mon: 0,
-    tue: 1,
-    wed: 2,
-    thu: 3,
-    fri: 4,
-    sat: 5,
-    sun: 6
-};
-const WEEKDAY_CN = {
-    mon: '一',
-    tue: '二',
-    wed: '三',
-    thu: '四',
-    fri: '五',
-    sat: '六',
-    sun: '日'
-};
+/** Issue #343 v2:IANA zone + 当地日期解析;数值 tz_* 字段不可用(混合形态解析时拒收)。 */
+export function parseFlightPackToSpecV2(pack) {
+    const legsRaw = pack['legs'];
+    if (!Array.isArray(legsRaw) || legsRaw.length === 0) {
+        throw Object.assign(new Error('parseFlightPackToSpecV2: legs missing/empty'), { code: 'v2_legs_missing' });
+    }
+    const meta = (pack['meta'] ?? {});
+    const ww = meta['work_window'];
+    const legs = [];
+    for (const l of legsRaw) {
+        // v2 不允许混合数值 tz_offset_min/origin_tz_offset_min(早 fail)
+        if ('tz_offset_min' in l || 'origin_tz_offset_min' in l) {
+            throw Object.assign(new Error(`parseFlightPackToSpecV2: leg ${l['id']} has legacy tz_offset_min/origin_tz_offset_min;v2 pack must use iana_*_zone + *_local_date`), { code: 'v2_legacy_offset_mixed' });
+        }
+        const legDate = l['date'] ? String(l['date']) : '';
+        if (!/^\d{4}-\d{2}-\d{2}$/.test(legDate)) {
+            throw Object.assign(new Error(`parseFlightPackToSpecV2: leg ${l['id']} requires ISO date`), { code: 'v2_leg_date_missing' });
+        }
+        const ianaDepZone = String(l['iana_dep_zone'] ?? '');
+        const ianaArrZone = String(l['iana_arr_zone'] ?? '');
+        if (!ianaDepZone || !ianaArrZone) {
+            throw Object.assign(new Error(`parseFlightPackToSpecV2: leg ${l['id']} needs iana_dep_zone and iana_arr_zone`), { code: 'v2_zone_missing' });
+        }
+        const options = l['services'].map(sv => {
+            const svcDepDate = sv['dep_local_date'] ? String(sv['dep_local_date']) : legDate;
+            const svcArrDate = sv['arr_local_date'] ? String(sv['arr_local_date']) : legDate;
+            const depZone = sv['iana_dep_zone'] ? String(sv['iana_dep_zone']) : ianaDepZone;
+            const arrZone = sv['iana_arr_zone'] ? String(sv['iana_arr_zone']) : ianaArrZone;
+            const depR = resolveOffsetForLocalDate(depZone, svcDepDate, String(sv['dep']));
+            if (!depR.ok) {
+                throw Object.assign(new Error(`parseFlightPackToSpecV2: dep zone/date failure: ${describeResolveFailure(depR)}`), { code: 'v2_dep_resolve_failed' });
+            }
+            const arrR = resolveOffsetForLocalDate(arrZone, svcArrDate, String(sv['arr']));
+            if (!arrR.ok) {
+                throw Object.assign(new Error(`parseFlightPackToSpecV2: arr zone/date failure: ${describeResolveFailure(arrR)}`), { code: 'v2_arr_resolve_failed' });
+            }
+            // Issue #343 root 复核:d2d canonical 输入必须在 parse 边界校验严格 chronologically after,
+            // 否则把病态数据喂给 model.doorToDoorFromMove → throw NonpositiveDurationError → 被
+            // solveUnified WASM guard 误报为 wasm_runtime_error。
+            if (arrR.utcMs <= depR.utcMs) {
+                throw Object.assign(new Error(`parseFlightPackToSpecV2: service ${String(sv['id'])} arrival instant (${new Date(arrR.utcMs).toISOString()}) must be strictly after departure instant (${new Date(depR.utcMs).toISOString()})`), { code: 'v2_arr_not_after_dep' });
+            }
+            // tzOffsetMin = arr - dep(positive = 抵达地更靠东)
+            const tzOffsetMin = arrR.offsetMin - depR.offsetMin;
+            return {
+                id: String(sv['id']),
+                label: `${String(sv['id'])} ${String(l['note'] ?? '').slice(0, 18)}`,
+                date: svcDepDate,
+                move: {
+                    hub: String(l['hub'] ?? ''),
+                    services: [{
+                            id: String(sv['id']),
+                            depMin: hhmmToMin(String(sv['dep'])),
+                            arrMin: hhmmToMin(String(sv['arr'])),
+                            priceCny: Number(sv['price_cny']),
+                            // Issue #343 v2:把"墙上时刻"投影成真实 UTC instant 留给 evaluate / workWindow 用;
+                            // d2d 公式走 (arrUtcMs - depUtcMs)/60000,跨日 / DST / 反向日界线都正确。
+                            depUtcMs: depR.utcMs,
+                            arrUtcMs: arrR.utcMs,
+                        }],
+                    bufferMin: Number(l['buffer_min']),
+                    originTransferMin: Number(l['origin_transfer_min']),
+                    destTransferMin: Number(l['dest_transfer_min']),
+                    redEye: Boolean(l['red_eye']),
+                    redEyeDurationMin: Number(sv['red_eye_duration_min'] ?? l['red_eye_duration_min'] ?? 0),
+                    groundRecoveryMin: l['ground_recovery_min'] ? Number(l['ground_recovery_min']) : undefined,
+                    tzOffsetMin,
+                    originTzOffsetMin: depR.offsetMin,
+                    ianaDepZone: depZone,
+                    ianaArrZone: arrZone,
+                },
+                depWeekday: weekdayFromYmd(svcDepDate),
+            };
+        });
+        const role = (l['services'].length === 1 ? 'fixed' : 'choice');
+        legs.push({
+            id: String(l['id']),
+            role,
+            note: l['note'] ? String(l['note']) : undefined,
+            date: legDate,
+            anchors: { arriveByMin: l['arrive_by'] ? hhmmToMin(String(l['arrive_by'])) : undefined },
+            route: routeHint(l['id']),
+            options,
+        });
+    }
+    // work_window:home_zone 必需(v2 的 home 偏移走 IANA,数值字段不再权威);同时给两值报 reject。
+    let workWindow;
+    if (ww) {
+        const hasHomeZone = Boolean(ww['home_zone']);
+        const hasHomeNum = ww['home_tz_offset_min'] !== undefined;
+        if (hasHomeZone && hasHomeNum) {
+            throw Object.assign(new Error('parseFlightPackToSpecV2: work_window cannot combine home_zone and home_tz_offset_min'), { code: 'v2_ww_conflict' });
+        }
+        if (!hasHomeZone) {
+            throw Object.assign(new Error('parseFlightPackToSpecV2: work_window.home_zone is required for v2'), { code: 'v2_ww_home_zone_required' });
+        }
+        // 在 v2 parse 边界即时验证 home_zone 是已知 IANA zone(root counterexample #3:不许 fail-open)。
+        // 用 tz-resolver 的 isKnownZoneLoose:接受 Intl.DateTimeFormat 能识别的合法 alias(US/Pacific / ROK / Etc/GMT+8)。
+        const homeZone = String(ww['home_zone']);
+        if (!isKnownZoneLoose(homeZone)) {
+            throw Object.assign(new Error(`parseFlightPackToSpecV2: work_window.home_zone '${homeZone}' is not a known IANA zone`), { code: 'v2_home_zone_unknown' });
+        }
+        const startHHmm = ww['start'] ? String(ww['start']) : undefined;
+        const endHHmm = ww['end'] ? String(ww['end']) : undefined;
+        const startMin = ww['start_min'] !== undefined ? Number(ww['start_min']) : (startHHmm ? hhmmToMin(startHHmm) : hhmmToMin('10:00'));
+        const endMin = ww['end_min'] !== undefined ? Number(ww['end_min']) : (endHHmm ? hhmmToMin(endHHmm) : hhmmToMin('19:00'));
+        // numeric homeTzOffsetMin 仅占位:在 v2 工作窗口过滤时按 home_zone + dep_date 重算;预填 leg-date 占位 0
+        workWindow = {
+            homeTzOffsetMin: 0,
+            startMin,
+            endMin,
+            workdays: ww['workdays'] ?? [0, 1, 2, 3, 4],
+            homeZone,
+            startHHmm,
+            endHHmm,
+        };
+    }
+    return { segments: legs, workWindow, [FLIGHT_PACK_VERSION]: 2 };
+}
+const WEEKDAY_IDX = { mon: 0, tue: 1, wed: 2, thu: 3, fri: 4, sat: 5, sun: 6 };
+const WEEKDAY_CN = { mon: '一', tue: '二', wed: '三', thu: '四', fri: '五', sat: '六', sun: '日' };
+/** YYYY-MM-DD → mon/tue/wed/thu/fri/sat/sun;v2 路径给 option 标 depWeekday 用。 */
+export function weekdayFromYmd(ymd) {
+    const m = ymd.match(/^(\d{4})-(\d{2})-(\d{2})$/);
+    if (!m)
+        throw new Error(`weekdayFromYmd: bad ymd ${ymd}`);
+    const dow = new Date(Date.UTC(Number(m[1]), Number(m[2]) - 1, Number(m[3]))).getUTCDay();
+    return ['sun', 'mon', 'tue', 'wed', 'thu', 'fri', 'sat'][dow];
+}
+/** M-1:工作日的工作窗口内起飞 → 排除理由;否则 null(与 py _work_window_blocks 对齐)。
+ *
+ * Issue #343 v2:home zone 存在时,必须把"出发真实 UTC instant"投影到 home zone
+ * 取该 zone 的 date/weekday/HH:MM(root counterexample #2:Tokyo 06:30 ≈ LA 14:30 prev day);
+ * 不再用 dep-local date 直接当 home date。
+ *
+ * root 评审复核:`depUtcMs` 是已知确定的 instant,直接 `readWallParts(homeZone, depUtcMs)`
+ * 取墙时分量 — 不要把 projected wall time 再喂给 `resolveOffsetForLocalDate` 重做 ±14h 扫描,
+ * 否则秋回退日 01:30 会被错误判为 overlap_ambiguous 而 fail-open(已知 instant 永远唯一)。
+ *
+ * dep/arr 的"墙上本地输入"(leg-level `dep`/`arr` 字段)由 parseFlightPackToSpecV2 在
+ * 解析时已用 `resolveOffsetForLocalDate` 拒过 gap/overlap,所以 leg 进 solver 时
+ * 两个 instant 一定 strict-after 且偏移已知。
+ *
+ * home zone 未知时由 v2 parse 边界直接抛 v2_home_zone_unknown 拒绝;
+ * 这里兜底只在 v1 legacy 路径出现。
+ */
 function workWindowBlocks(spec, option) {
     const ww = spec.workWindow;
-    if (!ww || !option.move || !option.depWeekday) return null;
-    if (!(ww.workdays ?? [
-        0,
-        1,
-        2,
-        3,
-        4
-    ]).includes(WEEKDAY_IDX[option.depWeekday])) return null;
-    const dep = option.move.services[0].depMin;
-    const shift = (option.move.originTzOffsetMin ?? 480) - ww.homeTzOffsetMin;
-    const start = ww.startMin + shift, end = ww.endMin + shift;
-    if (start <= dep && dep <= end) {
-        const hhmm = (m)=>`${String(Math.floor(m / 60)).padStart(2, '0')}:${String(m % 60).padStart(2, '0')}`;
-        return `周${WEEKDAY_CN[option.depWeekday]} ${hhmm(dep)} 起飞落在工作窗口(当地 ${hhmm(start)}-${hhmm(end)})内`;
+    if (!ww || !option.move || !option.depWeekday)
+        return null;
+    const svc = option.move.services[0];
+    const dep = svc.depMin;
+    const homeZone = ww.homeZone;
+    let homeOffsetMin = ww.homeTzOffsetMin;
+    let homeDepMin;
+    let homeDepWeekday;
+    if (homeZone) {
+        if (typeof svc.depUtcMs !== 'number') {
+            // v2 路径必然填了 depUtcMs;没填 = 数据病,按 red flag 排除该 option。
+            return i18nT('un.workwindow_unresolvable_reason', {
+                reason: `home zone ${homeZone} requires UTC dep instant (v2 path bug)`,
+            });
+        }
+        // 已知 instant 直接投影到 home zone 的墙时 — 无歧义,不必也不应重走 ±14h 扫描。
+        const homeParts = readWallParts(homeZone, svc.depUtcMs);
+        const homeIso = wallPartsToIso(homeParts);
+        homeDepMin = hhmmToMin(homeIso.hhmm);
+        homeDepWeekday = weekdayFromYmd(homeIso.ymd);
+    }
+    const effectiveDep = homeDepMin ?? dep;
+    const effectiveWeekday = homeDepWeekday ?? option.depWeekday;
+    if (!((ww.workdays ?? [0, 1, 2, 3, 4]).includes(WEEKDAY_IDX[effectiveWeekday])))
+        return null;
+    // v2:startMin/endMin 与 homeDepMin 都是 home-zone 墙时分量(已 IANA 归一),
+    // 直接比较;不再做 originTzOffsetMin 偏移(root 复核该 shift 是 v1 数值残留,会让窗口错位)。
+    // v1 路径(无 homeZone, 走数值 homeTzOffsetMin)保留 shift 兼容旧 spec。
+    let start, end;
+    if (homeZone) {
+        start = ww.startMin;
+        end = ww.endMin;
+    }
+    else {
+        const shift = (option.move.originTzOffsetMin ?? 480) - homeOffsetMin;
+        start = ww.startMin + shift;
+        end = ww.endMin + shift;
+    }
+    if (start <= effectiveDep && effectiveDep <= end) {
+        const hhmm = (m) => `${String(Math.floor(m / 60)).padStart(2, '0')}:${String(m % 60).padStart(2, '0')}`;
+        return i18nT('un.workwindow_reason', {
+            wd: WEEKDAY_CN[effectiveWeekday] ?? '', dep: hhmm(effectiveDep), start: hhmm(start), end: hhmm(end),
+        });
     }
     return null;
 }
+/** D-5:时区感知的段核算(与 py unified._evaluate_option_move 对齐)。
+ *
+ * Issue #343 d2d 算术唯一权威入口 = model.ts 的 `doorToDoorFromMove`。
+ * v2 路径会传 Service.depUtcMs/arrUtcMs(由 parseFlightPackToSpecV2 用 tz-resolver 投出),
+ * 此时 d2d 用真实 UTC instant 差 — 跨日 / 反向日界线 / DST 切换都正确;v2 arr<=dep 抛
+ * NonpositiveDurationError → 该 option 当作不可行(由 solveUnifiedInner 转 unsat_core)。
+ * v1 数值口径无 UTC 字段,走老 (arrMin - depMin) - tzOffsetMin;字节不变。
+ */
 function evaluateOptionMove(segId, mv) {
     const svc = mv.services[0];
+    let d2dMin;
+    try {
+        d2dMin = doorToDoorFromMove(svc, mv).doorToDoorMin;
+    }
+    catch (e) {
+        if (e instanceof NonpositiveDurationError) {
+            // d2d 病态输入 → 把这条 option 抛红 flag;这里走结构化 reject 而非吞错。
+            throw Object.assign(new Error(`evaluateOptionMove ${segId}/${svc.id}: ${e.message}`), {
+                code: e.code,
+                kind: e.kind,
+            });
+        }
+        throw e;
+    }
     const wake = svc.depMin - mv.bufferMin - mv.originTransferMin;
-    const trueFlight = svc.arrMin - svc.depMin - (mv.tzOffsetMin ?? 0);
-    const d2d = mv.bufferMin + mv.originTransferMin + trueFlight + mv.destTransferMin;
     const wakeDisplay = wake < 0 ? `${minToHhmm(wake + 1440)}(前一日)` : minToHhmm(wake);
     const arriveStay = svc.arrMin + mv.destTransferMin;
     let energy;
     if (mv.redEye && (mv.redEyeDurationMin ?? 0) > 0) {
         const sleepH = ((mv.redEyeDurationMin ?? 0) - 60) / 60;
-        energy = Math.max(30, Math.min(75, 30 + 8 * sleepH));
-    } else {
+        // D-6 校准:机上睡眠上限 75;落地接驳(destTransferMin)乘车补眠回血(1h≈+5%,上限 80)
+        const groundH = (mv.groundRecoveryMin ?? mv.destTransferMin ?? 0) / 60;
+        const recovery = Math.min(5, 5 * groundH);
+        energy = Math.max(30, Math.min(75 + recovery, 80, 30 + 8 * sleepH + recovery));
+    }
+    else {
         energy = 100 - 2 * 8;
-        if (wake < 5 * 60) energy -= 30;
-        else if (wake < 6 * 60) energy -= 25;
-        if (arriveStay > 21 * 60) energy -= 10;
-        if (d2d > 6 * 60) energy -= 10;
+        if (wake < 5 * 60)
+            energy -= 30;
+        else if (wake < 6 * 60)
+            energy -= 25;
+        if (arriveStay > 21 * 60)
+            energy -= 10;
+        if (d2dMin > 6 * 60)
+            energy -= 10;
         energy = Math.max(0, energy);
     }
     return {
@@ -194,153 +370,180 @@ function evaluateOptionMove(segId, mv) {
         wake: wakeDisplay,
         wakeMin: wake,
         arrive_stay: minToHhmm(arriveStay),
-        door_to_door: `${Math.floor(d2d / 60)}h${String(d2d % 60).padStart(2, '0')}m`,
-        d2d_min: d2d,
+        door_to_door: `${Math.floor(d2dMin / 60)}h${String(d2dMin % 60).padStart(2, '0')}m`,
+        d2d_min: d2dMin,
         energy_pct: Math.round(energy),
-        price_cny: svc.priceCny
+        price_cny: svc.priceCny,
     };
 }
+function releaseZ3(resource) {
+    if (typeof resource?.release === 'function')
+        resource.release();
+}
+/** 航班链形态求解:按 Option 选择,锚点命名约束,core 剥竖线(D-2 修复) */
 export async function solveUnified(spec) {
+    // WASM 防护:如果 z3-solver 加载或求解触发 memory access 错误,不让异常穿透到进程层把 dsh 杀掉。
+    // 候选形态走 solveChoiceSegment 不经过这里——这里是显式航班链路径,用户量较少。
     try {
         return await solveUnifiedInner(spec);
-    } catch (e) {
+    }
+    catch (e) {
         console.error('[gotry] solveUnified failed (likely wasm thread race):', e.message?.slice(0, 200));
-        return {
-            feasible: false,
-            unsat_core: [
-                'wasm_runtime_error'
-            ],
-            red_flags: [
-                'WASM 求解器异常,建议下次用候选形态(枚举)重试'
-            ]
-        };
+        return { feasible: false, unsat_core: ['wasm_runtime_error'], red_flags: ['WASM 求解器异常,建议下次用候选形态(枚举)重试'] };
     }
 }
 async function solveUnifiedInner(spec) {
+    // M-1:求解前的工作窗口确定性预过滤(与 py 对齐),排除理由入记录
+    // 骨架层(§7-1):三值语义标注——枢纽间否定只降权不排除(骨架滞后会错杀 EK329)
     const skeletonNotes = [];
     const exclusions = [];
-    for (const seg of spec.segments){
+    for (const seg of spec.segments) {
         if (spec.skeletonHub) {
+            // 段级骨架查询:route 提示(如 "HKG->HKT")优先,否则跳过
             const route = seg.route;
             if (route) {
-                const [a, b] = route.split('->').map((s)=>s.trim());
+                const [a, b] = route.split('->').map(s => s.trim());
                 const verdict = await checkConnectivity(a, b);
                 skeletonNotes.push(`${seg.id}: ${verdict.evidence}`);
             }
         }
-        const kept = seg.options.filter((o)=>{
+        const kept = seg.options.filter(o => {
             const reason = workWindowBlocks(spec, o);
-            if (reason) exclusions.push({
-                segment: seg.id,
-                option: o.id,
-                reason
-            });
+            if (reason)
+                exclusions.push({ segment: seg.id, option: o.id, reason });
             return !reason;
         });
         seg.options = kept;
         if (kept.length === 0) {
-            return {
-                feasible: false,
-                unsat_core: [
-                    `${seg.id}:work_window`
-                ],
-                work_window_exclusions: exclusions
-            };
+            return { feasible: false, unsat_core: [`${seg.id}:work_window`], work_window_exclusions: exclusions };
         }
     }
-    const z3 = await getZ3();
-    const { Bool, If, Int, Solver, Sum } = z3;
-    const wakeFloor = spec.defaultWakeFloorMin ?? hhmmToMin('06:00');
-    const allSels = {};
-    const assertions = {};
-    const svcOf = {};
-    for (const seg of spec.segments){
-        const sels = seg.options.map((_, i)=>Bool.const(`${seg.id}_o${i}`));
-        allSels[seg.id] = sels;
-        const svcs = seg.options.map((o)=>o.move.services[0]);
-        svcOf[seg.id] = svcs;
-        const pick = (attr)=>Sum(...sels.map((s, i)=>If(s, Int.val(svcs[i][attr]), Int.val(0))));
-        const dep = pick('depMin'), arr = pick('arrMin');
-        const o0 = seg.options[0].move;
-        const wake = dep.sub(Int.val(o0.bufferMin + o0.originTransferMin));
-        const arriveStay = arr.add(Int.val(o0.destTransferMin));
-        if (seg.anchors?.arriveByMin !== undefined) assertions[`${seg.id}:arrive_by`] = arriveStay.le(Int.val(seg.anchors.arriveByMin));
-        if (seg.anchors?.departAfterMin !== undefined) assertions[`${seg.id}:depart_after`] = dep.ge(Int.val(seg.anchors.departAfterMin));
-        if (!seg.options.some((o)=>o.move?.redEye)) assertions[`${seg.id}:wake_floor`] = wake.ge(Int.val(wakeFloor));
-    }
-    const total = Sum(...spec.segments.flatMap((seg)=>allSels[seg.id].map((s, i)=>If(s, Int.val(svcOf[seg.id][i].priceCny), Int.val(0)))));
-    if (spec.budgetCny !== undefined) assertions['total:budget'] = total.le(Int.val(spec.budgetCny));
-    const exactlyOne = (sels)=>Sum(...sels.map((s)=>If(s, Int.val(1), Int.val(0)))).eq(Int.val(1));
-    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 s = new Solver();
-    for (const sel of Object.values(allSels))s.add(exactlyOne(sel));
-    for (const [name, expr] of Object.entries(assertions))s.addAndTrack(expr, name);
-    const report = async (model)=>{
-        const out = [];
-        for (const seg of spec.segments){
-            for(let i = 0; i < allSels[seg.id].length; i++){
-                const v = await maybeAwait(model.eval(allSels[seg.id][i], true));
-                if (String(v) !== 'true') continue;
-                const o = seg.options[i];
-                out.push({
-                    leg: seg.id,
-                    ...evaluateOptionMove(seg.id, o.move)
-                });
-                break;
-            }
+    // Z3 会话进互斥门(骨架/预过滤等网络段留在门外):solveUnifiedInner 的判定段
+    // 从 here 到 return 全部独占共享实例。
+    return withZ3('unified.solveUnifiedInner', async (z3) => {
+        const { Bool, If, Int, Solver, Sum } = z3;
+        const wakeFloor = spec.defaultWakeFloorMin ?? hhmmToMin('06:00');
+        const allSels = {};
+        const assertions = {};
+        const svcOf = {};
+        for (const seg of spec.segments) {
+            const sels = seg.options.map((_, i) => Bool.const(`${seg.id}_o${i}`));
+            allSels[seg.id] = sels;
+            const svcs = seg.options.map(o => o.move.services[0]);
+            svcOf[seg.id] = svcs;
+            const pick = (attr) => Sum(...sels.map((s, i) => If(s, Int.val(svcs[i][attr]), Int.val(0))));
+            const dep = pick('depMin'), arr = pick('arrMin');
+            const o0 = seg.options[0].move;
+            const wake = dep.sub(Int.val(o0.bufferMin + o0.originTransferMin));
+            const arriveStay = arr.add(Int.val(o0.destTransferMin));
+            if (seg.anchors?.arriveByMin !== undefined)
+                assertions[`${seg.id}:arrive_by`] = arriveStay.le(Int.val(seg.anchors.arriveByMin));
+            if (seg.anchors?.departAfterMin !== undefined)
+                assertions[`${seg.id}:depart_after`] = dep.ge(Int.val(seg.anchors.departAfterMin));
+            if (!seg.options.some(o => o.move?.redEye))
+                assertions[`${seg.id}:wake_floor`] = wake.ge(Int.val(wakeFloor));
         }
-        return out;
-    };
-    async function maybeAwait(v) {
-        return v instanceof Promise ? await v : v;
-    }
-    if (String(await s.check()) !== 'unsat') {
-        const legs = await report(s.model());
-        const money = legs.reduce((a, l)=>a + l.price_cny, 0);
-        const redFlags = legs.filter((l)=>spec.segments.find((sg)=>sg.id === l.leg)?.options.some((o)=>o.move?.redEye) && l.energy_pct < 50).map((l)=>`${l.leg} 落地精力仅 ${l.energy_pct}%(红眼后直奔事务,当日不宜安排重要会议)`);
-        return {
-            feasible: true,
-            money_cny: money,
-            legs,
-            red_flags: redFlags,
-            work_window_exclusions: exclusions,
-            skeleton_notes: skeletonNotes.length ? skeletonNotes : undefined
+        const total = Sum(...spec.segments.flatMap(seg => allSels[seg.id].map((s, i) => If(s, Int.val(svcOf[seg.id][i].priceCny), Int.val(0)))));
+        if (spec.budgetCny !== undefined)
+            assertions['total:budget'] = total.le(Int.val(spec.budgetCny));
+        const exactlyOne = (sels) => Sum(...sels.map((s) => If(s, Int.val(1), Int.val(0)))).eq(Int.val(1));
+        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(sel));
-        for (const [n2, expr] of Object.entries(assertions)){
-            if (n2 !== name) s2.addAndTrack(expr, n2);
+        const s = new Solver();
+        let sOpen = true;
+        const closeS = () => {
+            if (sOpen) {
+                releaseZ3(s);
+                sOpen = false;
+            }
+        };
+        try {
+            for (const sel of Object.values(allSels))
+                s.add(exactlyOne(sel));
+            for (const [name, expr] of Object.entries(assertions))
+                s.addAndTrack(expr, name);
+            const report = async (model) => {
+                const out = [];
+                for (const seg of spec.segments) {
+                    for (let i = 0; i < allSels[seg.id].length; i++) {
+                        const v = await maybeAwait(model.eval(allSels[seg.id][i], true));
+                        if (String(v) !== 'true')
+                            continue;
+                        const o = seg.options[i];
+                        out.push({ leg: seg.id, ...evaluateOptionMove(seg.id, o.move) });
+                        break;
+                    }
+                }
+                return out;
+            };
+            async function maybeAwait(v) {
+                return v instanceof Promise ? await v : v;
+            }
+            if (String(await s.check()) !== 'unsat') {
+                const model = s.model();
+                try {
+                    const legs = await report(model);
+                    const money = legs.reduce((a, l) => a + l.price_cny, 0);
+                    const redFlags = legs
+                        .filter(l => spec.segments.find(sg => sg.id === l.leg)?.options.some(o => o.move?.redEye) && l.energy_pct < 50)
+                        .map(l => i18nT('un.redflag_redeye', { leg: l.leg, pct: l.energy_pct }));
+                    return { feasible: true, money_cny: money, legs, red_flags: redFlags, work_window_exclusions: exclusions, skeleton_notes: skeletonNotes.length ? skeletonNotes : undefined };
+                }
+                finally {
+                    releaseZ3(model);
+                }
+            }
+            const core = coreOf(s).sort();
+            const suggestions = [];
+            closeS();
+            for (const name of core) {
+                const s2 = new Solver();
+                try {
+                    for (const sel of Object.values(allSels))
+                        s2.add(exactlyOne(sel));
+                    for (const [n2, expr] of Object.entries(assertions)) {
+                        if (n2 !== name)
+                            s2.addAndTrack(expr, n2);
+                    }
+                    if (String(await s2.check()) !== 'unsat') {
+                        const model = s2.model();
+                        try {
+                            const legs = await report(model);
+                            suggestions.push({ relax: name, money_cny: legs.reduce((a, l) => a + l.price_cny, 0) });
+                        }
+                        finally {
+                            releaseZ3(model);
+                        }
+                    }
+                }
+                finally {
+                    releaseZ3(s2);
+                }
+            }
+            return { feasible: false, unsat_core: core, suggestions };
         }
-        if (String(await s2.check()) !== 'unsat') {
-            const legs = await report(s2.model());
-            suggestions.push({
-                relax: name,
-                money_cny: legs.reduce((a, l)=>a + l.price_cny, 0)
-            });
+        finally {
+            closeS();
         }
-    }
-    return {
-        feasible: false,
-        unsat_core: core,
-        suggestions
-    };
+    });
 }
 function checkTrueCost(t, spec) {
     const fails = [];
-    if (t.wakeMin < spec.wakeFloorMin) fails.push('wake_floor');
-    if (t.energyArrivalPct < spec.minArrivalEnergyPct) fails.push('energy_floor');
-    if (t.usableHours < spec.requiredUsableHours) fails.push('usable_hours');
-    if (spec.budgetCny !== undefined && t.moneyCny > spec.budgetCny) fails.push('budget');
-    if (t.arriveStayMin > spec.latestArriveStayMin) fails.push('arrival_before_evening');
+    if (t.wakeMin < spec.wakeFloorMin)
+        fails.push('wake_floor');
+    if (t.energyArrivalPct < spec.minArrivalEnergyPct)
+        fails.push('energy_floor');
+    if (t.usableHours < spec.requiredUsableHours)
+        fails.push('usable_hours');
+    if (spec.budgetCny !== undefined && t.moneyCny > spec.budgetCny)
+        fails.push('budget');
+    if (t.arriveStayMin > spec.latestArriveStayMin)
+        fails.push('arrival_before_evening');
     return fails;
 }
 function enumerateCombos(opt, cand, req, days) {
@@ -351,25 +554,15 @@ function enumerateCombos(opt, cand, req, days) {
         minArrivalEnergyPct: req.motivation.minArrivalEnergyPct,
         requiredUsableHours: requiredUsableHours(req.motivation),
         budgetCny: req.budgetCny,
-        latestArriveStayMin: LATEST_ARRIVE_STAY_MIN
+        latestArriveStayMin: LATEST_ARRIVE_STAY_MIN,
     };
-    for (const o of mv.services){
-        for (const tr of mv.transfers ?? []){
-            for (const r of mv.retServices ?? mv.services){
-                for (const trr of mv.transfers ?? []){
-                    const ch = {
-                        outService: o,
-                        outTransfer: tr,
-                        retService: r,
-                        retTransfer: trr,
-                        days
-                    };
+    for (const o of mv.services) {
+        for (const tr of mv.transfers ?? []) {
+            for (const r of (mv.retServices ?? mv.services)) {
+                for (const trr of mv.transfers ?? []) {
+                    const ch = { outService: o, outTransfer: tr, retService: r, retTransfer: trr, days };
                     const t = evaluateChoice(cand, req, ch);
-                    out.push({
-                        choice: ch,
-                        cost: t,
-                        fails: checkTrueCost(t, spec)
-                    });
+                    out.push({ choice: ch, cost: t, fails: checkTrueCost(t, spec) });
                 }
             }
         }
@@ -379,158 +572,143 @@ function enumerateCombos(opt, cand, req, days) {
 function optionToCandidate(opt) {
     const mv = opt.move, st = opt.stay;
     return {
-        id: opt.id,
-        name: opt.label,
-        hub: mv.hub,
-        bufferOutMin: mv.bufferMin,
-        bufferRetMin: mv.bufferRetMin ?? mv.bufferMin,
-        servicesOut: [
-            ...mv.services
-        ],
-        servicesRet: [
-            ...mv.retServices ?? mv.services
-        ],
-        destTransfers: [
-            ...mv.transfers ?? []
-        ],
-        stayCnyPerNight: st.stayCnyPerNight ?? 0,
-        localDailyCny: st.localDailyCny ?? 0,
+        id: opt.id, name: opt.label, hub: mv.hub,
+        bufferOutMin: mv.bufferMin, bufferRetMin: mv.bufferRetMin ?? mv.bufferMin,
+        servicesOut: [...mv.services], servicesRet: [...(mv.retServices ?? mv.services)],
+        destTransfers: [...(mv.transfers ?? [])],
+        stayCnyPerNight: st.stayCnyPerNight ?? 0, localDailyCny: st.localDailyCny ?? 0,
         minDaysForPurpose: opt.minDays ?? 1,
-        imageryMatch: opt.score ?? 0,
-        bestMonths: opt.bestMonths ?? []
+        imageryMatch: opt.score ?? 0, bestMonths: opt.bestMonths ?? [],
     };
 }
+/** 单 choice 段(目的地选项):逐 Option 枚举过滤,按 score 排序。与 py solve_choice_segment 等价。 */
 export function solveChoiceSegment(spec, req) {
-    const seg = spec.segments.find((s)=>s.role === 'choice' && s.options.length > 0 && s.options[0].stay);
-    if (!seg) throw new Error('solveChoiceSegment: no choice segment with stay found');
+    const seg = spec.segments.find(s => s.role === 'choice' && s.options.length > 0 && s.options[0].stay);
+    if (!seg)
+        throw new Error('solveChoiceSegment: no choice segment with stay found');
     const windowDays = req.windowDays;
     const verdicts = [];
-    for (const opt of seg.options){
+    for (const opt of seg.options) {
         const cand = optionToCandidate(opt);
         const minDays = cand.minDaysForPurpose;
         const durationOk = windowDays >= minDays;
         const combos = durationOk ? enumerateCombos(opt, cand, req, windowDays) : [];
-        const good = combos.filter((c)=>c.fails.length === 0);
+        const good = combos.filter(c => c.fails.length === 0);
         if (good.length > 0) {
-            const best = good.reduce((a, b)=>a.cost.moneyCny <= b.cost.moneyCny ? a : b);
+            const best = good.reduce((a, b) => a.cost.moneyCny <= b.cost.moneyCny ? a : b);
             verdicts.push({
-                candidate_id: opt.id,
-                name: opt.label,
-                feasible: true,
-                imagery_match: opt.score ?? 0,
+                candidate_id: opt.id, name: opt.label, feasible: true, imagery_match: opt.score ?? 0,
                 chosen: {
-                    out_service: best.choice.outService.id,
-                    out_transfer: best.choice.outTransfer.mode,
-                    ret_service: best.choice.retService.id,
-                    ret_transfer: best.choice.retTransfer.mode,
-                    days: best.choice.days
+                    out_service: best.choice.outService.id, out_transfer: best.choice.outTransfer.mode,
+                    ret_service: best.choice.retService.id, ret_transfer: best.choice.retTransfer.mode,
+                    days: best.choice.days,
                 },
-                true_cost: trueCostToDict(best.cost)
+                true_cost: trueCostToDict(best.cost),
             });
             continue;
         }
-        const blocked = durationOk ? Array.from(new Set(combos.flatMap((c)=>c.fails))).sort() : [
-            'duration'
-        ];
+        // 不可行:归因 + duration 换长口径的 wish pool
+        const blocked = durationOk
+            ? Array.from(new Set(combos.flatMap(c => c.fails))).sort()
+            : ['duration'];
         const suggestions = [];
-        for (const name of blocked){
-            const opened = combos.filter((c)=>!c.fails.includes(name));
+        for (const name of blocked) {
+            const opened = combos.filter(c => !c.fails.includes(name));
             if (opened.length > 0) {
-                const cheapest = opened.reduce((a, b)=>a.cost.moneyCny <= b.cost.moneyCny ? a : b);
-                suggestions.push({
-                    relax: name,
-                    resulting_money_cny: cheapest.cost.moneyCny
-                });
+                const cheapest = opened.reduce((a, b) => a.cost.moneyCny <= b.cost.moneyCny ? a : b);
+                suggestions.push({ relax: name, resulting_money_cny: cheapest.cost.moneyCny });
             }
         }
         let wish = null;
         if (!durationOk) {
             const longCombos = enumerateCombos(opt, cand, req, minDays);
-            const budgetDropped = longCombos.filter((c)=>c.fails.length === 0 || c.fails.length === 1 && c.fails[0] === 'budget');
-            const conds = {
-                days: minDays
-            };
+            const budgetDropped = longCombos.filter(c => c.fails.length === 0 || (c.fails.length === 1 && c.fails[0] === 'budget'));
+            const conds = { days: minDays };
             if (budgetDropped.length > 0) {
-                conds['budget_cny'] = Math.min(...budgetDropped.map((c)=>c.cost.moneyCny));
+                conds['budget_cny'] = Math.min(...budgetDropped.map(c => c.cost.moneyCny));
             }
-            if (opt.bestMonths?.length) conds['best_months'] = opt.bestMonths;
-            wish = {
-                name: opt.label,
-                conditions: conds,
-                reason: `${windowDays} 天窗口装不下(目的需 ${minDays} 天)`
-            };
+            if (opt.bestMonths?.length)
+                conds['best_months'] = opt.bestMonths;
+            wish = { name: opt.label, conditions: conds, reason: i18nT('sg.wish_reason_window', { days: windowDays, minDays }) };
         }
         verdicts.push({
-            candidate_id: opt.id,
-            name: opt.label,
-            feasible: false,
-            imagery_match: opt.score ?? 0,
-            unsat_core: blocked,
-            suggestions,
-            wish_pool: wish
+            candidate_id: opt.id, name: opt.label, feasible: false, imagery_match: opt.score ?? 0,
+            unsat_core: blocked, suggestions, wish_pool: wish,
         });
     }
-    const feasible = verdicts.filter((v)=>v.feasible).sort((a, b)=>b.imagery_match - a.imagery_match);
+    const feasible = verdicts.filter(v => v.feasible).sort((a, b) => b.imagery_match - a.imagery_match);
     return {
         verdicts,
         recommended: feasible.length > 0 ? feasible[0]['candidate_id'] : null,
-        answer_md: renderCandidateMarkdown(req, verdicts, feasible.length > 0 ? String(feasible[0]['candidate_id']) : null)
+        answer_md: renderCandidateMarkdown(req, verdicts, feasible.length > 0 ? String(feasible[0]['candidate_id']) : null),
     };
 }
 function renderCandidateMarkdown(req, verdicts, recommended) {
-    const feasible = verdicts.filter((v)=>v['feasible']).sort((a, b)=>b['imagery_match'] - a['imagery_match']);
-    const parked = verdicts.filter((v)=>!v['feasible']);
+    const feasible = verdicts.filter(v => v['feasible']).sort((a, b) => b['imagery_match'] - a['imagery_match']);
+    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(i18nT('md.header', { note: req.note }));
+    lines.push(i18nT('md.constraints', {
+        days: req.windowDays, budget: req.budgetCny,
+        hours: requiredUsableHours(req.motivation).toFixed(1),
+    }));
     lines.push('');
-    for (const v of parked){
+    for (const v of parked) {
         const core = v['unsat_core'] ?? [];
-        lines.push(`**${v['name']}:现在不行**——冲突约束:${core.join('、')}。`);
+        lines.push(i18nT('md.infeasible', { name: String(v['name']), core: core.join('、') }));
         const sug = (v['suggestions'] ?? [])[0];
-        if (sug) lines.push(`- 放宽 ${sug['relax']}:约 ¥${sug['resulting_money_cny']}`);
+        if (sug)
+            lines.push(i18nT('md.relax_one', { relax: String(sug['relax']), money: String(sug['resulting_money_cny'] ?? '') }));
         const wish = v['wish_pool'];
         if (wish) {
             const conds = wish['conditions'];
-            const budgetNote = conds['budget_cny'] ? `、约 ¥${conds['budget_cny']}` : '';
+            const budgetNote = conds['budget_cny'] ? i18nT('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 ? i18nT('md.wish_season', { months: String(months) }) : '';
+            lines.push(i18nT('md.wish_pool', { days: String(conds['days']), budgetNote, season }));
         }
     }
     lines.push('');
-    for (const v of feasible){
+    for (const v of feasible) {
         const ch = v['chosen'];
-        const t = v['true_cost'];
-        lines.push(`**${v['name']}:可行**` + `(${ch['out_service']} 出发,${ch['out_transfer']} 接驳,` + `起床 ${t['wake']},到达精力 ${t['energy_arrival_pct']}%,` + `门到门 ${t['door_to_door_out']},有效休整 ${t['usable_hours']}h,共 ¥${t['money_cny']})`);
+        const tc = v['true_cost'];
+        lines.push(i18nT('md.feasible_unified', {
+            name: String(v['name']), svc: String(ch['out_service']), mode: String(ch['out_transfer']),
+            wake: String(tc['wake']), energy: String(tc['energy_arrival_pct']), d2d: String(tc['door_to_door_out']),
+            hours: String(tc['usable_hours']), money: String(tc['money_cny']),
+        }));
     }
     if (feasible.length) {
         lines.push('');
         const best = feasible[0];
         const alt = feasible[1];
-        lines.push(`**建议:${best['name']}**(意象匹配 ${(best['imagery_match'] * 100).toFixed(0)}%)。` + (alt ? `备选:${alt['name']}(¥${alt['true_cost']['money_cny']},匹配 ${(alt['imagery_match'] * 100).toFixed(0)}%)。` : ''));
+        lines.push(i18nT('md.recommend', { best: String(best['name']), match: (best['imagery_match'] * 100).toFixed(0) })
+            + (alt ? i18nT('md.alt', {
+                name: String(alt['name']), money: String(alt['true_cost']['money_cny']),
+                match: (alt['imagery_match'] * 100).toFixed(0),
+            }) : ''));
     }
     lines.push('');
-    lines.push('**待你决定的两个问题**:');
+    lines.push(i18nT('md.decide_two'));
     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. 所有候选都不可行——考虑放宽哪条约束?');
+        lines.push(i18nT('md.q_choice', { a: String(feasible[0]['name']), b: String(feasible[1]['name']) }));
+    }
+    else if (feasible.length === 1) {
+        lines.push(i18nT('md.q_single', { name: String(feasible[0]['name']) }));
+    }
+    else {
+        lines.push(i18nT('md.q_none'));
     }
     const p0 = parked[0];
     const p0wish = p0?.['wish_pool'];
     if (p0wish) {
         const conds = p0wish['conditions'];
-        lines.push(`2. 把 ${p0['name']} 留给「下一次出发」(${conds['days']} 天起),这次先去可行的?`);
-    } else if (feasible.length) {
+        lines.push(i18nT('md.q_wish', { name: String(p0['name']), days: String(conds['days']) }));
+    }
+    else if (feasible.length) {
         const ch = feasible[0]['chosen'];
-        lines.push(`2. 出发班次选 ${ch['out_service']} 还是更晚的?`);
+        lines.push(i18nT('md.q_depart', { id: String(ch['out_service']), dep: '' }));
     }
     return lines.join('\n');
 }
 export { minToHhmm };
-
-
-//# sourceURL=/Users/bytedance/work/gotry/ts/src/unified.ts