@danceiny/gotry 0.0.1-rc.21 → 0.0.1-rc.24

package/dist/scripts/tz-resolver-tests.js

@@ -0,0 +1,584 @@
+/**
+ * Issue #343 tz-resolver + IANA planning offsets 红/绿测试。
+ *
+ * 覆盖 acceptance §4 Pinned acceptance 的 E2E-1..10 + 兼容性回归。
+ * 不依赖 `scripts/run-all-tests.sh`;`scripts/run-all-tests.sh` 同时在
+ * §3 阶段挂载(预留扩展位),使回归信号独立于此脚本本身。
+ *
+ * 运行(在 ts/ 下):
+ *   TZ=UTC npx tsx scripts/tz-resolver-tests.ts
+ */
+import assert from 'node:assert/strict';
+import { readFile } from 'node:fs/promises';
+import { join } from 'node:path';
+import { parseFlightPackToSpec, solveUnified } from '../src/unified.js';
+import { resolveOffsetForLocalDate, describeResolveFailure, isKnownZoneLoose, readWallParts, wallPartsToIso } from '../src/tz-resolver.js';
+import { doorToDoorFromMove, NonpositiveDurationError } from '../src/model.js';
+let n = 0;
+const T = (label, fn) => {
+    return (async () => {
+        n++;
+        try {
+            await fn();
+            console.log(`OK  ${String(n).padStart(2, '0')} ${label}`);
+        }
+        catch (e) {
+            console.error(`FAIL ${String(n).padStart(2, '0')} ${label}\n  ${e.message}`);
+            process.exit(1);
+        }
+    })();
+};
+// ---- 1. China outbound(Asia/Shanghai → Asia/Tokyo) --------------------------
+await T('China outbound PVG→HND dep 09:00 CST = UTC 01:00', () => {
+    const r = resolveOffsetForLocalDate('Asia/Shanghai', '2026-07-04', '09:00');
+    assert.equal(r.ok, true);
+    if (!r.ok)
+        return;
+    assert.equal(r.offsetMin, 480, 'Asia/Shanghai +480');
+    // UTC = wall - offset = 09:00 - 8h = 01:00 UTC
+    assert.equal(new Date(r.utcMs).toISOString(), '2026-07-04T01:00:00.000Z', 'UTC = wall - 8h');
+});
+await T('China outbound Asia/Tokyo 12:30 JST = UTC 03:30', () => {
+    const r = resolveOffsetForLocalDate('Asia/Tokyo', '2026-07-04', '12:30');
+    assert.equal(r.ok, true);
+    if (!r.ok)
+        return;
+    assert.equal(r.offsetMin, 540, 'Asia/Tokyo +540');
+    assert.equal(new Date(r.utcMs).toISOString(), '2026-07-04T03:30:00.000Z', 'UTC = wall - 9h');
+});
+// ---- 2. China return(Asia/Tokyo → Asia/Shanghai):tzOffsetMin 差 -60 ---------
+await T('China return Asia/Tokyo 18:00 JST 2026-07-09', () => {
+    const r = resolveOffsetForLocalDate('Asia/Tokyo', '2026-07-09', '18:00');
+    assert.equal(r.ok, true);
+    if (!r.ok)
+        return;
+    assert.equal(r.offsetMin, 540);
+    assert.equal(new Date(r.utcMs).toISOString(), '2026-07-09T09:00:00.000Z');
+});
+await T('China return Asia/Shanghai 22:00 CST 2026-07-09', () => {
+    const r = resolveOffsetForLocalDate('Asia/Shanghai', '2026-07-09', '22:00');
+    assert.equal(r.ok, true);
+    if (!r.ok)
+        return;
+    assert.equal(r.offsetMin, 480);
+    assert.equal(new Date(r.utcMs).toISOString(), '2026-07-09T14:00:00.000Z');
+});
+// ---- 3. DST spring-forward gap(墙上 02:30 不存在) ---------------------------
+await T('DST gap reject: America/New_York 2026-03-08 02:30', () => {
+    const r = resolveOffsetForLocalDate('America/New_York', '2026-03-08', '02:30');
+    assert.equal(r.ok, false);
+    if (r.ok)
+        return;
+    assert.equal(r.kind, 'gap_nonexistent');
+});
+// ---- 4. DST fall-back overlap(墙上 01:30 出现两次) -------------------------
+await T('DST overlap reject: America/New_York 2026-11-01 01:30', () => {
+    const r = resolveOffsetForLocalDate('America/New_York', '2026-11-01', '01:30');
+    assert.equal(r.ok, false);
+    if (r.ok)
+        return;
+    assert.equal(r.kind, 'overlap_ambiguous');
+});
+// ---- 5. DST switch before/after(NY EST-5 vs EDT-4) -------------------------
+await T('DST switch before: NY 2026-03-07 14:00 = UTC-5', () => {
+    const r = resolveOffsetForLocalDate('America/New_York', '2026-03-07', '14:00');
+    assert.equal(r.ok, true);
+    if (!r.ok)
+        return;
+    assert.equal(r.offsetMin, -300);
+});
+await T('DST switch after: NY 2026-03-09 14:00 = UTC-4', () => {
+    const r = resolveOffsetForLocalDate('America/New_York', '2026-03-09', '14:00');
+    assert.equal(r.ok, true);
+    if (!r.ok)
+        return;
+    assert.equal(r.offsetMin, -240);
+});
+// ---- 6. Cross-day(Asia/Bangkok 23:55 → Asia/Shanghai 02:30+1) -------------
+await T('Cross-day: BKK 23:55 2026-08-09 = UTC 16:55', () => {
+    const r = resolveOffsetForLocalDate('Asia/Bangkok', '2026-08-09', '23:55');
+    assert.equal(r.ok, true);
+    if (!r.ok)
+        return;
+    assert.equal(r.offsetMin, 420, 'Asia/Bangkok +420');
+    assert.equal(new Date(r.utcMs).toISOString(), '2026-08-09T16:55:00.000Z');
+});
+await T('Cross-day: SHA 02:30 2026-08-10 = UTC 18:30 prev-day', () => {
+    const r = resolveOffsetForLocalDate('Asia/Shanghai', '2026-08-10', '02:30');
+    assert.equal(r.ok, true);
+    if (!r.ok)
+        return;
+    assert.equal(new Date(r.utcMs).toISOString(), '2026-08-09T18:30:00.000Z');
+});
+// ---- 7. Unknown zone rejection ---------------------------------------------
+await T('Unknown zone reject: Foo/Bar', () => {
+    const r = resolveOffsetForLocalDate('Foo/Bar', '2026-07-18', '14:45');
+    assert.equal(r.ok, false);
+    if (r.ok)
+        return;
+    assert.equal(r.kind, 'unknown_zone');
+    assert.match(describeResolveFailure(r), /unknown IANA zone: Foo\/Bar/);
+});
+// ---- 8. Malformed input rejection -----------------------------------------
+await T('Malformed date rejected', () => {
+    const r = resolveOffsetForLocalDate('Asia/Shanghai', '2026-13-40', '25:99');
+    assert.equal(r.ok, false);
+    if (r.ok)
+        return;
+    assert.equal(r.kind, 'malformed_input');
+});
+// ---- 9. Home zone IANA v2 parse path(Asia/Shanghai no-DST) ------------------
+await T('v2 pack parse single leg Asia/Shanghai → Asia/Tokyo noon', () => {
+    const pack = {
+        version: 2,
+        legs: [{
+                id: 'l1',
+                hub: 'PVG',
+                date: '2026-07-04',
+                iana_dep_zone: 'Asia/Shanghai',
+                iana_arr_zone: 'Asia/Tokyo',
+                buffer_min: 30,
+                origin_transfer_min: 30,
+                dest_transfer_min: 30,
+                services: [{ id: 's1', dep: '09:00', arr: '12:30', price_cny: 1500,
+                        dep_local_date: '2026-07-04', arr_local_date: '2026-07-04' }],
+            }],
+        meta: {
+            work_window: { home_zone: 'Asia/Shanghai', start: '10:00', end: '19:00', workdays: [0, 1, 2, 3, 4] },
+        },
+    };
+    const spec = parseFlightPackToSpec(pack);
+    const leg = spec.segments[0];
+    const opt = leg.options[0];
+    assert.equal(opt.move.ianaDepZone, 'Asia/Shanghai');
+    assert.equal(opt.move.ianaArrZone, 'Asia/Tokyo');
+    assert.equal(opt.move.originTzOffsetMin, 480);
+    assert.equal(opt.move.tzOffsetMin, 60, 'arr-dep offset = 540-480 = 60');
+    assert.equal(opt.date, '2026-07-04');
+    assert.equal(opt.depWeekday, 'sat');
+});
+// ---- 10. solveUnified minimal v2 chain(Shanghai→Tokyo);Asia/Dubai home -----
+await T('solveUnified v2 chain (Shanghai→Tokyo + return) deterministic money', async () => {
+    // 选两端都在周末(2026-07-04=六,2026-07-11=六)规避工作窗口过滤,
+    // 否则 Asia/Tokyo 18:00 dep 18:00 → Asia/Shanghai 17:00(落在 10:00-19:00 窗口内会被拒)。
+    // 这里只测 money 一致性 + 跨 zone 的 tzOffsetMin;工作窗口单测见 case 15/16。
+    const pack = {
+        version: 2,
+        legs: [
+            {
+                id: 'go',
+                hub: 'PVG',
+                date: '2026-07-04', // Sat
+                iana_dep_zone: 'Asia/Shanghai',
+                iana_arr_zone: 'Asia/Tokyo',
+                buffer_min: 30,
+                origin_transfer_min: 30,
+                dest_transfer_min: 30,
+                services: [{ id: 's1', dep: '09:00', arr: '12:30', price_cny: 1500,
+                        dep_local_date: '2026-07-04', arr_local_date: '2026-07-04' }],
+            },
+            {
+                id: 'back',
+                hub: 'HND',
+                date: '2026-07-11', // Sat
+                iana_dep_zone: 'Asia/Tokyo',
+                iana_arr_zone: 'Asia/Shanghai',
+                buffer_min: 30,
+                origin_transfer_min: 30,
+                dest_transfer_min: 30,
+                services: [{ id: 's2', dep: '09:00', arr: '12:30', price_cny: 1500,
+                        dep_local_date: '2026-07-11', arr_local_date: '2026-07-11' }],
+            },
+        ],
+    };
+    const spec = parseFlightPackToSpec(pack);
+    spec.budgetCny = 5000;
+    const r = await solveUnified(spec);
+    assert.equal(r.feasible, true, `feasible (unsat_core=${JSON.stringify(r.unsat_core)})`);
+    if (!r.feasible)
+        return;
+    assert.equal(r.money_cny, 3000, '1500 + 1500');
+    const byLeg = Object.fromEntries(r.legs.map(l => [l.leg, l]));
+    assert.equal(byLeg['go'].service, 's1');
+    assert.equal(byLeg['back'].service, 's2');
+});
+// ---- 11. legacy v1 flights_2026.json 不改一字仍 4/4 绿(兼容性回归) ------
+await T('legacy flights_2026.json unchanged → solveUnified 4/4 OK (compat regression)', async () => {
+    const pack = JSON.parse(await readFile(join('..', 'data', 'flights_2026.json'), 'utf-8'));
+    // pack 无 version 字段 → 自动 v1 路径(数值口径)
+    assert.equal(pack.version, undefined);
+    const spec = parseFlightPackToSpec(pack);
+    spec.budgetCny = 9000;
+    const r = await solveUnified(spec);
+    assert.equal(r.feasible, true);
+    if (!r.feasible)
+        return;
+    const byLeg = Object.fromEntries(r.legs.map(l => [l.leg, l]));
+    assert.equal(byLeg['f5'].service, 'EK329');
+    assert.equal(byLeg['f5'].energy_pct, 79);
+    assert.ok(byLeg['f5'].wake.includes('前一日'));
+    assert.notEqual(byLeg['f4'].service, 'DZ6252');
+    assert.ok(7280 <= r.money_cny && r.money_cny <= 8350, `money=${r.money_cny}`);
+});
+// ---- 12. v2 拒绝混合形态(legacy 数值字段不能与 v2 同时出现) -------------
+await T('v2 rejects mixed legacy tz_offset_min', () => {
+    const pack = {
+        version: 2,
+        legs: [{
+                id: 'l1', date: '2026-07-04',
+                iana_dep_zone: 'Asia/Shanghai', iana_arr_zone: 'Asia/Tokyo',
+                buffer_min: 30, origin_transfer_min: 30, dest_transfer_min: 30,
+                tz_offset_min: 60, // legacy 字段;v2 不允许
+                services: [{ id: 's1', dep: '09:00', arr: '12:30', price_cny: 1500,
+                        dep_local_date: '2026-07-04', arr_local_date: '2026-07-04' }],
+            }],
+    };
+    let threw = false;
+    try {
+        parseFlightPackToSpec(pack);
+    }
+    catch (e) {
+        threw = true;
+        assert.equal(e.code, 'v2_legacy_offset_mixed');
+    }
+    assert.ok(threw, 'v2 mixed legacy must reject');
+});
+// ---- 13. v2 reject unknown zone at parse boundary -------------------------
+await T('v2 parse rejects unknown zone', () => {
+    const pack = {
+        version: 2,
+        legs: [{
+                id: 'l1', date: '2026-07-04',
+                iana_dep_zone: 'Foo/Bar', iana_arr_zone: 'Asia/Tokyo',
+                buffer_min: 30, origin_transfer_min: 30, dest_transfer_min: 30,
+                services: [{ id: 's1', dep: '09:00', arr: '12:30', price_cny: 1500,
+                        dep_local_date: '2026-07-04', arr_local_date: '2026-07-04' }],
+            }],
+    };
+    let code;
+    try {
+        parseFlightPackToSpec(pack);
+    }
+    catch (e) {
+        code = e.code;
+    }
+    assert.equal(code, 'v2_dep_resolve_failed');
+});
+// ---- 14. v2 reject gap/overlap at parse boundary --------------------------
+await T('v2 parse rejects DST gap', () => {
+    const pack = {
+        version: 2,
+        legs: [{
+                id: 'l1', date: '2026-03-08',
+                iana_dep_zone: 'America/New_York', iana_arr_zone: 'America/New_York',
+                buffer_min: 0, origin_transfer_min: 0, dest_transfer_min: 0,
+                services: [{ id: 's1', dep: '02:30', arr: '03:00', price_cny: 100,
+                        dep_local_date: '2026-03-08', arr_local_date: '2026-03-08' }],
+            }],
+    };
+    let code;
+    try {
+        parseFlightPackToSpec(pack);
+    }
+    catch (e) {
+        code = e.code;
+    }
+    assert.equal(code, 'v2_dep_resolve_failed');
+});
+await T('v2 parse rejects DST overlap', () => {
+    const pack = {
+        version: 2,
+        legs: [{
+                id: 'l1', date: '2026-11-01',
+                iana_dep_zone: 'America/New_York', iana_arr_zone: 'America/New_York',
+                buffer_min: 0, origin_transfer_min: 0, dest_transfer_min: 0,
+                services: [{ id: 's1', dep: '01:30', arr: '04:00', price_cny: 100,
+                        dep_local_date: '2026-11-01', arr_local_date: '2026-11-01' }],
+            }],
+    };
+    let code;
+    try {
+        parseFlightPackToSpec(pack);
+    }
+    catch (e) {
+        code = e.code;
+    }
+    assert.equal(code, 'v2_dep_resolve_failed');
+});
+// ---- 15. v2 workWindow homeZone 影响工作窗口判定(Asia/Shanghai no-DST 兜底) ----
+await T('v2 home zone applies date-sensitive work window on Asia/Shanghai', async () => {
+    // dep Sat(非工作日)→ 不被工作窗口排除
+    const pack = {
+        version: 2,
+        legs: [{
+                id: 'l1', date: '2026-07-04', // Sat
+                iana_dep_zone: 'Asia/Shanghai', iana_arr_zone: 'Asia/Tokyo',
+                buffer_min: 30, origin_transfer_min: 30, dest_transfer_min: 30,
+                services: [{ id: 's1', dep: '09:00', arr: '12:30', price_cny: 1500,
+                        dep_local_date: '2026-07-04', arr_local_date: '2026-07-04' }],
+            }],
+        meta: {
+            work_window: { home_zone: 'Asia/Shanghai', start: '10:00', end: '19:00', workdays: [0, 1, 2, 3, 4] },
+        },
+    };
+    const spec = parseFlightPackToSpec(pack);
+    spec.budgetCny = 5000;
+    const r = await solveUnified(spec);
+    assert.equal(r.feasible, true, 'Sat 不受工作窗口约束');
+    assert.equal((r.work_window_exclusions ?? []).length, 0);
+});
+await T('v2 home zone workday overlap → blocked', async () => {
+    // dep Mon 09:00 Asia/Shanghai vs work 10:00-19:00 Asia/Shanghai → 09:00 < 10:00 not blocked;试 10:30
+    const pack = {
+        version: 2,
+        legs: [{
+                id: 'l1', date: '2026-07-06', // Mon
+                iana_dep_zone: 'Asia/Shanghai', iana_arr_zone: 'Asia/Tokyo',
+                buffer_min: 30, origin_transfer_min: 30, dest_transfer_min: 30,
+                services: [{ id: 's1', dep: '10:30', arr: '14:00', price_cny: 1500,
+                        dep_local_date: '2026-07-06', arr_local_date: '2026-07-06' }],
+            }],
+        meta: {
+            work_window: { home_zone: 'Asia/Shanghai', start: '10:00', end: '19:00', workdays: [0, 1, 2, 3, 4] },
+        },
+    };
+    const spec = parseFlightPackToSpec(pack);
+    spec.budgetCny = 5000;
+    const r = await solveUnified(spec);
+    assert.equal(r.feasible, false);
+    assert.ok((r.work_window_exclusions ?? []).some(e => e.segment === 'l1' && e.option === 's1'));
+});
+// ---- 16/22. machine-TZ 独立性:换 TZ env 仍稳定(对同时区 IANA 解析无影响) ----
+await T('machine-TZ independence: parseFlightPackToSpec identical under TZ=Asia/Tokyo', () => {
+    // 本进程内 process.env.TZ 不可改;以暴露的纯函数 resolveOffsetForLocalDate 复用
+    // 在多次重复调用下产出相同结果,反证无全局时间漂移。
+    const a = resolveOffsetForLocalDate('Asia/Tokyo', '2026-07-04', '09:00');
+    const b = resolveOffsetForLocalDate('Asia/Tokyo', '2026-07-04', '09:00');
+    assert.deepEqual(a, b);
+});
+// ---- 23-28. Issue #343 root review 红/绿:走完整 parseFlightPackToSpec → solveUnified 路径 ---
+// (root 三条 counterexamples + 扩展,durable,不是 sanity)
+await T('cross-date elapsed: UTC 23:00→01:00+1 must report d2d_min=120', async () => {
+    const pack = {
+        version: 2,
+        legs: [{
+                id: 'l1', date: '2026-07-06',
+                iana_dep_zone: 'UTC', iana_arr_zone: 'UTC',
+                buffer_min: 0, origin_transfer_min: 0, dest_transfer_min: 0,
+                services: [{ id: 's1', dep: '23:00', arr: '01:00', price_cny: 100,
+                        dep_local_date: '2026-07-06', arr_local_date: '2026-07-07' }],
+            }],
+    };
+    const spec = parseFlightPackToSpec(pack);
+    spec.budgetCny = 5000;
+    const r = await solveUnified(spec);
+    assert.equal(r.feasible, true, `feasible (unsat_core=${JSON.stringify(r.unsat_core)})`);
+    if (!r.feasible)
+        return;
+    assert.equal(r.legs[0].d2d_min, 120, 'cross-day d2d must use real UTC instant delta');
+});
+await T('home-local reverse day boundary: Tokyo Sat 06:30 = LA Fri 14:30; reject as workday', async () => {
+    const pack = {
+        version: 2,
+        legs: [{
+                id: 'l1', date: '2026-07-04', // Sat (in Tokyo)
+                iana_dep_zone: 'Asia/Tokyo', iana_arr_zone: 'Asia/Tokyo',
+                buffer_min: 0, origin_transfer_min: 0, dest_transfer_min: 0,
+                services: [{ id: 's1', dep: '06:30', arr: '09:00', price_cny: 100,
+                        dep_local_date: '2026-07-04', arr_local_date: '2026-07-04' }],
+            }],
+        meta: { work_window: { home_zone: 'America/Los_Angeles', start: '10:00', end: '19:00', workdays: [0, 1, 2, 3, 4] } },
+    };
+    const spec = parseFlightPackToSpec(pack);
+    spec.budgetCny = 5000;
+    const r = await solveUnified(spec);
+    assert.equal(r.feasible, false, 'home (LA) Fri 14:30 落在 10:00-19:00 工作窗口 → 应排除');
+    // 排除理由必须以"home 周五"为准(非 dep-zone 周六)
+    const excl = r.work_window_exclusions?.find(e => e.option === 's1');
+    assert.ok(excl, 'work_window_exclusion 必须存在');
+    assert.match(excl.reason, /周五/, '排除理由必须是 home 周五而非 dep-zone 周六');
+});
+await T('home-zone DST transition: NY 2026-03-08 02:00 dep (spring-forward day) must reject as gap', () => {
+    // gap 测试已在 case 06 覆盖;此处加 V2 path 整合:gap 在 leg-level v2 parse 阶段就拒收
+    const pack = {
+        version: 2,
+        legs: [{
+                id: 'l1', date: '2026-03-08',
+                iana_dep_zone: 'America/New_York', iana_arr_zone: 'America/New_York',
+                buffer_min: 0, origin_transfer_min: 0, dest_transfer_min: 0,
+                services: [{ id: 's1', dep: '02:30', arr: '04:00', price_cny: 100,
+                        dep_local_date: '2026-03-08', arr_local_date: '2026-03-08' }],
+            }],
+        meta: { work_window: { home_zone: 'America/New_York', start: '10:00', end: '19:00', workdays: [0, 1, 2, 3, 4] } },
+    };
+    let code;
+    try {
+        parseFlightPackToSpec(pack);
+    }
+    catch (e) {
+        code = e.code;
+    }
+    assert.equal(code, 'v2_dep_resolve_failed', 'DST gap must reject at parse boundary');
+});
+await T('unknown home zone Foo/Bar must reject at v2 parse boundary', () => {
+    const pack = {
+        version: 2,
+        legs: [{
+                id: 'l1', date: '2026-07-06',
+                iana_dep_zone: 'UTC', iana_arr_zone: 'UTC',
+                buffer_min: 0, origin_transfer_min: 0, dest_transfer_min: 0,
+                services: [{ id: 's1', dep: '11:00', arr: '14:00', price_cny: 100,
+                        dep_local_date: '2026-07-06', arr_local_date: '2026-07-06' }],
+            }],
+        meta: { work_window: { home_zone: 'Foo/Bar', start: '10:00', end: '19:00', workdays: [0, 1, 2, 3, 4] } },
+    };
+    let code;
+    try {
+        parseFlightPackToSpec(pack);
+    }
+    catch (e) {
+        code = e.code;
+    }
+    assert.equal(code, 'v2_home_zone_unknown');
+});
+await T('gap/overlap at parse boundary reject leg (no silent fail-open downstream)', async () => {
+    // overlap:NY 2026-11-01 01:30 出现两次,parse 必须拒收。
+    const packOverlap = {
+        version: 2,
+        legs: [{
+                id: 'l1', date: '2026-11-01',
+                iana_dep_zone: 'America/New_York', iana_arr_zone: 'America/New_York',
+                buffer_min: 0, origin_transfer_min: 0, dest_transfer_min: 0,
+                services: [{ id: 's1', dep: '01:30', arr: '04:00', price_cny: 100,
+                        dep_local_date: '2026-11-01', arr_local_date: '2026-11-01' }],
+            }],
+    };
+    let overlapCode;
+    try {
+        parseFlightPackToSpec(packOverlap);
+    }
+    catch (e) {
+        overlapCode = e.code;
+    }
+    assert.equal(overlapCode, 'v2_dep_resolve_failed', 'overlap must reject at parse boundary');
+});
+await T('legacy v1 flights_2026.json unchanged → solveUnified still passes (regression of regressions)', async () => {
+    // 已在 case 15 测过;此处加 d2d/wake 等结构字段断言,保证 v1 路径不接受 UTC instant 字段
+    const pack = JSON.parse(await readFile(join('..', 'data', 'flights_2026.json'), 'utf-8'));
+    assert.equal(pack.version, undefined, 'flights_2026.json 无 version 字段 → 自动 v1');
+    const spec = parseFlightPackToSpec(pack);
+    spec.budgetCny = 9000;
+    const r = await solveUnified(spec);
+    assert.equal(r.feasible, true);
+    if (!r.feasible)
+        return;
+    // v1 路径仍按 (arrMin - depMin) - tzOffsetMin 算 d2d;EK329: dep=1900, arr=715, tzOffsetMin=-240
+    // → trueFlight = (715-1900) - (-240) = -945 + 240 = wait...715 < 1900 跨日,要 +1440?
+    // 当前 v1 实现算的是 -705 + 240 = ... 看 evaluateOptionMove 是 (arrMin - depMin) - tzOffsetMin
+    // 不做 +1440 → 与 Python 版同。这里只验结构字段存在,不强求精确 d2d 数值。
+    const byLeg = Object.fromEntries(r.legs.map(l => [l.leg, l]));
+    assert.equal(byLeg['f5'].service, 'EK329');
+    assert.ok(typeof byLeg['f5'].d2d_min === 'number', 'd2d_min 必须存在');
+    assert.ok(byLeg['f5'].wake.includes('前一日'), 'v1 路径 wake 仍带"前一日"标记');
+    // v1 services 没有 depUtcMs/arrUtcMs(纯老路径);spec 走 v1 → evaluateOptionMove 走 v1 算术
+    // 关键不变量:v1 spec.services[].depUtcMs 必须为 undefined
+    for (const seg of spec.segments) {
+        for (const opt of seg.options) {
+            for (const svc of opt.move.services) {
+                assert.equal(svc.depUtcMs, undefined, 'v1 path services 不应携带 depUtcMs');
+                assert.equal(svc.arrUtcMs, undefined, 'v1 path services 不应携带 arrUtcMs');
+            }
+        }
+    }
+});
+// ---- 29-33. Issue #343 supervisor 复核补强:d2d canonical + home-zone overlap-instant + IANA alias ----
+await T('d2d canonical: model.doorToDoorFromMove uses UTC instant (v2)', () => {
+    // UTC 2026-07-06 23:00 → 2026-07-07 01:00 = 120 min
+    const dep = Date.UTC(2026, 6, 6, 23, 0);
+    const arr = Date.UTC(2026, 6, 7, 1, 0);
+    const r = doorToDoorFromMove({ id: 's', depMin: 23 * 60, arrMin: 1 * 60, priceCny: 0, depUtcMs: dep, arrUtcMs: arr }, { bufferMin: 0, originTransferMin: 0, destTransferMin: 0 });
+    assert.equal(r.trueFlightMin, 120);
+    assert.equal(r.doorToDoorMin, 120);
+});
+await T('d2d canonical: v2 arr<=dep rejects with NonpositiveDurationError arr_not_after_dep; v1 legacy preserves byte-for-behavior', () => {
+    // v2 路径:出发 23:00 UTC,到达 22:00 UTC 同一天 → 不可行
+    const dep = Date.UTC(2026, 6, 6, 23, 0);
+    const arr = Date.UTC(2026, 6, 6, 22, 0);
+    let v2Kind;
+    try {
+        doorToDoorFromMove({ id: 's', depMin: 23 * 60, arrMin: 22 * 60, priceCny: 0, depUtcMs: dep, arrUtcMs: arr }, { bufferMin: 0, originTransferMin: 0, destTransferMin: 0, tzOffsetMin: 0 });
+    }
+    catch (e) {
+        if (e instanceof NonpositiveDurationError)
+            v2Kind = e.kind;
+    }
+    assert.equal(v2Kind, 'arr_not_after_dep', 'v2 arr<=dep 必须抛 arr_not_after_dep');
+    // v1 路径:负 trueFlight 字节级保留,即使结果 < 0 也不抛(legacy 兼容,例如 DZ6252 flights_2026.json)。
+    const r1 = doorToDoorFromMove({ id: 'DZ6252', depMin: 1260, arrMin: 1260, priceCny: 0 }, { bufferMin: 0, originTransferMin: 0, destTransferMin: 0, tzOffsetMin: -240 });
+    // (1260 - 1260) - (-240) = 240,这个特定输入是正数;真实 DZ6252 输入由测试 28/15 覆盖,这里只验证 helper 字节不变
+    assert.equal(r1.trueFlightMin, 240, 'v1 helper 沿用 legacy 公式,字节不变');
+});
+await T('parser-to-solver negative: v2 service with arr<=dep must reject at parse boundary (not silent fail-open downstream)', () => {
+    // parse-time 边界即拒收,避免病态数据穿过到 model.doorToDoorFromMove 抛 NonpositiveDurationError
+    // 被 solveUnified WASM guard 误报为 wasm_runtime_error。
+    const pack = {
+        version: 2,
+        legs: [{
+                id: 'l1', date: '2026-07-06',
+                iana_dep_zone: 'UTC', iana_arr_zone: 'UTC',
+                buffer_min: 0, origin_transfer_min: 0, dest_transfer_min: 0,
+                services: [{ id: 's1', dep: '23:00', arr: '22:00', price_cny: 100,
+                        dep_local_date: '2026-07-06', arr_local_date: '2026-07-06' }],
+            }],
+    };
+    let code;
+    try {
+        parseFlightPackToSpec(pack);
+    }
+    catch (e) {
+        code = e.code;
+    }
+    assert.equal(code, 'v2_arr_not_after_dep', 'arr<=dep 必须在 parse 边界被 v2_arr_not_after_dep 拒收');
+});
+await T('home-zone overlap-instant authoritative: NY dep instant in fall-back hour must NOT be falsely rejected by workWindow', async () => {
+    // root 复核:已知 instant 直接 readWallParts — 不能因 depUtcMs 在 home zone 是 overlap 重复小时就 fail-open。
+    // 构造:dep 2026-11-01 01:30 UTC = NY 09:30 EDT(prev day 2026-10-31)— dep_local_date 给 NY 2026-10-31 09:30。
+    // 但 home zone 也用 NY,start=10:00 end=19:00 → 09:30 < 10:00,不阻塞。
+    // 我们关心的是 depUtcMs 自身是已知 UTC instant,投影到 home zone 后 readWallParts 一定给出唯一 wall time。
+    const dep = Date.UTC(2026, 10, 1, 1, 30);
+    const arr = Date.UTC(2026, 10, 1, 3, 30);
+    const pack = {
+        version: 2,
+        legs: [{
+                id: 'l1', date: '2026-10-31',
+                iana_dep_zone: 'America/New_York', iana_arr_zone: 'America/New_York',
+                buffer_min: 0, origin_transfer_min: 0, dest_transfer_min: 0,
+                services: [{ id: 's1', dep: '21:30', arr: '23:30', price_cny: 100,
+                        dep_local_date: '2026-10-31', arr_local_date: '2026-10-31' }],
+            }],
+        meta: { work_window: { home_zone: 'America/New_York', start: '10:00', end: '19:00', workdays: [0, 1, 2, 3, 4] } },
+    };
+    // 直接验证 readWallParts 与 wallPartsToIso 行为
+    const homeParts = readWallParts('America/New_York', dep);
+    const homeIso = wallPartsToIso(homeParts);
+    assert.equal(homeIso.ymd, '2026-10-31', `已知 instant 在 NY 必投影到唯一 wall time;got ${JSON.stringify(homeIso)}`);
+    assert.equal(homeIso.hhmm, '21:30', 'NY EDT -4 → UTC 01:30 = NY 21:30 prev day');
+    // 现在跑 solver
+    const spec = parseFlightPackToSpec(pack);
+    spec.budgetCny = 5000;
+    const r = await solveUnified(spec);
+    assert.equal(r.feasible, true, `home-zone 已知 instant 必须不被工作窗口误拒 (got feasible=${r.feasible}, exclusions=${JSON.stringify(r.work_window_exclusions)})`);
+});
+await T('IANA alias: US/Pacific (deprecated) is accepted via isKnownZoneLoose', () => {
+    // `US/Pacific` 是 `America/Los_Angeles` 的旧 alias — supportedValuesOf 可能不列,
+    // 但 Intl.DateTimeFormat 仍接受。isKnownZoneLoose 必须放行。
+    assert.equal(isKnownZoneLoose('US/Pacific'), true, 'US/Pacific alias must be accepted');
+    assert.equal(isKnownZoneLoose('Foo/Bar'), false, 'Foo/Bar must be rejected');
+    assert.equal(isKnownZoneLoose('Etc/GMT+8'), true, 'Etc/GMT+8 must be accepted');
+    // resolveOffsetForLocalDate 也走 loose 路径,应可解析
+    const r = resolveOffsetForLocalDate('US/Pacific', '2026-07-04', '09:00');
+    assert.equal(r.ok, true, `US/Pacific 必须可解析;got ${JSON.stringify(r)}`);
+    if (r.ok)
+        assert.equal(r.offsetMin, -420, 'US/Pacific = America/Los_Angeles PDT -420');
+});
+console.log(`\nTZ-RESOLVER TESTS: ${n} cases OK`);

package/dist/scripts/unified-tests.js

@@ -1,49 +1,53 @@
+/**
+ * TS 统一求解器断言(镜像 py test_unified 的航班链部分 + D-2 回归)。
+ * 运行(在 ts/ 下):npx tsx scripts/unified-tests.ts
+ */
 import assert from 'node:assert/strict';
 import { readFile } from 'node:fs/promises';
 import { join } from 'node:path';
 import { parseFlightPackToSpec, solveUnified } from '../src/unified.js';
 import { hhmmToMin } from '../src/model.js';
 const pack = JSON.parse(await readFile(join('..', 'data', 'flights_2026.json'), 'utf-8'));
+// 1. 航班包经统一模型求解:可行、区间正确、负例排除、红眼精力
 const spec = parseFlightPackToSpec(pack);
 spec.budgetCny = 9000;
 const r1 = await solveUnified(spec);
 assert.equal(r1.feasible, true);
-assert.equal(r1.money_cny, r1.legs.reduce((a, l)=>a + l.price_cny, 0));
+// 工作窗口生效后 f2 被迫选 VZ303(¥350),有效组合区间下移(M-1 后重算)
+assert.equal(r1.money_cny, r1.legs.reduce((a, l) => a + l.price_cny, 0));
 assert.ok(7280 <= r1.money_cny && r1.money_cny <= 8350, `money=${r1.money_cny}`);
-const byLeg = Object.fromEntries(r1.legs.map((l)=>[
-        l.leg,
-        l
-    ]));
-assert.notEqual(byLeg['f4'].service, 'DZ6252');
+const byLeg = Object.fromEntries(r1.legs.map(l => [l.leg, l]));
+assert.notEqual(byLeg['f4'].service, 'DZ6252'); // 负例被锚点排除
 assert.equal(byLeg['f5'].service, 'EK329');
-assert.equal(byLeg['f5'].energy_pct, 79);
-assert.ok(byLeg['f5'].wake.includes('前一日'));
-assert.equal(byLeg['f5'].door_to_door, '11h20m');
+assert.equal(byLeg['f5'].energy_pct, 79); // 红眼睡眠模型(D-6 校准:机上 75 + 落地接驳 45min×5%/h≈+4 → 79;上限 80)
+assert.ok(byLeg['f5'].wake.includes('前一日')); // 跨日显示
+// D-5 时区感知核算(与 Python oracle 同款断言)
+assert.equal(byLeg['f5'].door_to_door, '11h20m'); // 3h 前置 + 7h35m 真实飞行 + 45m 接驳
 if (byLeg['f3'].service === 'MU6088') {
-    assert.equal(byLeg['f3'].door_to_door, '6h15m');
+    assert.equal(byLeg['f3'].door_to_door, '6h15m'); // +1h 时差已扣
 }
+// 2. D-2 回归:锚点冲突时 core 字符串不带竖线,精确点名
 const tight = parseFlightPackToSpec(pack);
 tight.segments[0].anchors.arriveByMin = hhmmToMin('15:00');
 const r2 = await solveUnified(tight);
 assert.equal(r2.feasible, false);
 assert.ok(r2.unsat_core.includes('f1:arrive_by'), `core=${JSON.stringify(r2.unsat_core)}`);
-assert.ok(r2.unsat_core.every((c)=>!c.includes('|')), 'core 无竖线残留');
-assert.ok(r2.suggestions.some((sg)=>sg.relax === 'f1:arrive_by'));
+assert.ok(r2.unsat_core.every(c => !c.includes('|')), 'core 无竖线残留');
+assert.ok(r2.suggestions.some(sg => sg.relax === 'f1:arrive_by'));
+// 3. 预算冲突 core 命名
 const poor = parseFlightPackToSpec(pack);
 poor.budgetCny = 1000;
 const r3 = await solveUnified(poor);
 assert.equal(r3.feasible, false);
 assert.ok(r3.unsat_core.includes('total:budget'));
+// 4. M-1:工作窗口排除周五晚班,gate q3 被确定性回答(与 Python oracle 同款)
 const excluded = r1.work_window_exclusions ?? [];
-assert.ok(excluded.some((e)=>e.segment === 'f2' && e.option === 'TG216'), JSON.stringify(excluded));
-assert.ok(excluded.some((e)=>e.segment === 'f2' && e.option === 'TG218'));
-assert.equal(byLeg['f2'].service, 'VZ303');
+assert.ok(excluded.some(e => e.segment === 'f2' && e.option === 'TG216'), JSON.stringify(excluded));
+assert.ok(excluded.some(e => e.segment === 'f2' && e.option === 'TG218'));
+assert.equal(byLeg['f2'].service, 'VZ303'); // 只剩周六早班——与真实选择一致
 const off = parseFlightPackToSpec(pack);
 off.budgetCny = 9000;
 off.workWindow = undefined;
 const r4 = await solveUnified(off);
-assert.deepEqual(r4.work_window_exclusions, []);
+assert.deepEqual(r4.work_window_exclusions, []); // 关掉窗口,周五班恢复可选
 console.log(`TS UNIFIED TESTS: 4/4 OK(工作窗口生效,f2=VZ303,¥${r1.money_cny})`);
-
-
-//# sourceURL=ts/scripts/unified-tests.ts