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

package/dist/scripts/publish-preverify.js

@@ -1,43 +1,51 @@
+/**
+ * 发布前离线预验证(发布闸,rc.9 教训固化):
+ * 1. npm pack 产 tarball;
+ * 2. 装进 mktemp 干净目录(--ignore-scripts 快速);
+ * 3. 核验:版本号一致 + dependencies 闭包可达 + 关键入口文件在 + 账本模块可 import。
+ * 任何一步失败即 FAIL——rc.9「装得上跑不起」教训的永久闸。
+ * 运行:cd ts && npx tsx scripts/publish-preverify.ts
+ */
 import { execSync } from 'node:child_process';
 import { mkdtempSync, rmSync, existsSync, readFileSync } from 'node:fs';
 import { tmpdir } from 'node:os';
 import { join } from 'node:path';
 import { pathToFileURL } from 'node:url';
 import { REQUIRED_BENCHMARK_DSH_VERSION } from '../../bin/gotry-runtime-resolution.js';
-import { parsePnpmDshLock, parsePnpmRootDshImporter, REQUIRED_DSH_RUNTIME_PACKAGE_COUNT, validateDshRuntimeClosure, validatePnpmRootDshImporter } from './dsh-runtime-closure.js';
+import { parsePnpmDshLock, parsePnpmRootDshImporter, REQUIRED_DSH_RUNTIME_PACKAGE_COUNT, validateDshRuntimeClosure, validatePnpmRootDshImporter, } from './dsh-runtime-closure.js';
 const repoRoot = join(import.meta.dirname, '..', '..');
 process.chdir(repoRoot);
-const pkg = JSON.parse(execSync('cat package.json', {
-    encoding: 'utf-8'
-}));
+const pkg = JSON.parse(execSync('cat package.json', { encoding: 'utf-8' }));
 const version = pkg.version;
 console.log(`pre-verify: @danceiny/gotry@${version}`);
 let tgz = '';
 let dest = '';
 try {
+    // 1) pack(产物落临时目录,不污染仓根;输出走文件防 ENOBUFS)
     const outDir = mkdtempSync(join(tmpdir(), 'gotry-preverify-out-'));
-    execSync(`npm pack --pack-destination ${outDir}`, {
-        stdio: 'ignore'
-    });
+    execSync(`npm pack --pack-destination ${outDir}`, { stdio: 'ignore' });
     const tgzPath = `danceiny-gotry-${version}.tgz`;
-    if (!existsSync(join(outDir, tgzPath))) throw new Error('npm pack 未产出 tarball');
+    if (!existsSync(join(outDir, tgzPath)))
+        throw new Error('npm pack 未产出 tarball');
     tgz = join(outDir, tgzPath);
     console.log(`tarball: ${tgzPath}`);
+    // 2) 直接解 tarball(免网络:验证的是 tarball 自身内容,声明依赖可达性交由 npm registry 安装时保证)
     dest = mkdtempSync(join(tmpdir(), 'gotry-preverify-'));
-    execSync(`tar -xzf "${tgz}" -C "${dest}"`, {
-        stdio: 'pipe'
-    });
+    execSync(`tar -xzf "${tgz}" -C "${dest}"`, { stdio: 'pipe' });
     const pkgDir = join(dest, 'package');
-    const installedPkg = JSON.parse(execSync(`cat ${join(pkgDir, 'package.json')}`, {
-        encoding: 'utf-8'
-    }));
-    if (installedPkg.version !== version) throw new Error(`版本不符:${installedPkg.version}`);
+    const installedPkg = JSON.parse(execSync(`cat ${join(pkgDir, 'package.json')}`, { encoding: 'utf-8' }));
+    if (installedPkg.version !== version)
+        throw new Error(`版本不符:${installedPkg.version}`);
+    // DSH prerelease packages publish their internal edges as caret ranges. A
+    // clean consumer must therefore receive the whole tested family as exact
+    // top-level dependencies; otherwise a newly published alpha can be mixed
+    // into the older runtime even though the source lockfile is coherent.
     const rootLock = JSON.parse(readFileSync(join(repoRoot, 'package-lock.json'), 'utf-8'));
     const dshClosure = validateDshRuntimeClosure({
         dependencies: installedPkg.dependencies ?? {},
         lockPackages: rootLock.packages ?? {},
         runtimeVersion: REQUIRED_BENCHMARK_DSH_VERSION,
-        expectedPackageCount: REQUIRED_DSH_RUNTIME_PACKAGE_COUNT
+        expectedPackageCount: REQUIRED_DSH_RUNTIME_PACKAGE_COUNT,
     });
     console.log(`dsh closure: ${dshClosure.names.length} packages pinned at ${dshClosure.version}`);
     const pnpmLock = readFileSync(join(repoRoot, 'pnpm-lock.yaml'), 'utf-8');
@@ -45,24 +53,26 @@ try {
         dependencies: installedPkg.dependencies ?? {},
         lockPackages: parsePnpmDshLock(pnpmLock),
         runtimeVersion: REQUIRED_BENCHMARK_DSH_VERSION,
-        expectedPackageCount: REQUIRED_DSH_RUNTIME_PACKAGE_COUNT
+        expectedPackageCount: REQUIRED_DSH_RUNTIME_PACKAGE_COUNT,
     });
     const pnpmImporter = validatePnpmRootDshImporter({
         dependencies: installedPkg.dependencies ?? {},
         importerEntries: parsePnpmRootDshImporter(pnpmLock),
         runtimeVersion: REQUIRED_BENCHMARK_DSH_VERSION,
-        expectedPackageCount: REQUIRED_DSH_RUNTIME_PACKAGE_COUNT
+        expectedPackageCount: REQUIRED_DSH_RUNTIME_PACKAGE_COUNT,
     });
     console.log(`pnpm closure: ${pnpmClosure.names.length} packages, root importer ${pnpmImporter.names.length}`);
+    // 3) dependencies 声明完整性:每个依赖必须存在于安装树(rc.9 缺陷=声明了运行时使用但根本没声明依赖)
     const deps = Object.keys(installedPkg.dependencies ?? {});
     console.log(`dependencies: ${deps.length} declared`);
-    const runtimeImports = [
-        'better-sqlite3'
-    ];
-    for (const dep of runtimeImports){
-        if (!deps.includes(dep)) throw new Error(`运行时依赖 ${dep} 未声明进 dependencies(rc.9 缺陷形态)`);
+    // 3b) 运行时 import 的重依赖必须在 dependencies 里声明(可用性由 npm 安装时保证;rc.9 缺陷=用了但没声明)
+    const runtimeImports = ['better-sqlite3'];
+    for (const dep of runtimeImports) {
+        if (!deps.includes(dep))
+            throw new Error(`运行时依赖 ${dep} 未声明进 dependencies(rc.9 缺陷形态)`);
     }
     console.log('deps resolvable: OK');
+    // 4) 关键入口文件在包内 + 账本模块真实 import
     for (const e of [
         'dist/src/state-ledger.js',
         'dist/src/index.js',
@@ -72,13 +82,13 @@ try {
         'dist/scripts/sf-live-benchmark.js',
         'dist/data/session-golden-20.json',
         'dist/data/sf-golden-manifest.json',
-        'dist/data/sf-static-routes.json'
-    ]){
-        if (!existsSync(join(pkgDir, e))) throw new Error(`发布缺文件: ${e}`);
+        'dist/data/sf-static-routes.json',
+    ]) {
+        if (!existsSync(join(pkgDir, e)))
+            throw new Error(`发布缺文件: ${e}`);
     }
-    if (!execSync(`grep -c "better-sqlite3" ${join(pkgDir, 'dist/src/state-ledger.js')}`, {
-        encoding: 'utf-8'
-    }).trim().match(/^[1-9]/)) {
+    // import 冒烟改静态:state-ledger 的 better-sqlite3 引用已被 §3b 声明检查覆盖(无安装树时无法真 import)
+    if (!execSync(`grep -c "better-sqlite3" ${join(pkgDir, 'dist/src/state-ledger.js')}`, { encoding: 'utf-8' }).trim().match(/^[1-9]/)) {
         throw new Error('dist/src/state-ledger.js 未引用 better-sqlite3(声明与实现不符)');
     }
     const staticProvider = await import(pathToFileURL(join(pkgDir, 'dist/capabilities/session/static-flight-golden.js')).href);
@@ -87,18 +97,14 @@ try {
         throw new Error('发布 static golden 快照不可加载或覆盖不足 8 条');
     }
     console.log('PUBLISH PREVERIFY: OK');
-} catch (e) {
+}
+catch (e) {
     console.error(`PREVERIFY FAILED: ${e.message}`);
     process.exit(1);
-} finally{
-    if (tgz) rmSync(tgz, {
-        force: true
-    });
-    if (dest) rmSync(dest, {
-        recursive: true,
-        force: true
-    });
 }
-
-
-//# sourceURL=ts/scripts/publish-preverify.ts
+finally {
+    if (tgz)
+        rmSync(tgz, { force: true });
+    if (dest)
+        rmSync(dest, { recursive: true, force: true });
+}

package/dist/scripts/realtime-pricing-tests.js

@@ -1,3 +1,13 @@
+/**
+ * 实时票价 overlay 回归(FlyAI 实时桥 + 静态降级,三值语义;纯离线——查询注入,零网):
+ *   1. hit:dated 段按航班号精确匹配 → 价格覆写 + `[实时API:flyai@ts]` 证据链 + 静态原价留档;
+ *   2. error/miss:段原样保留(静态价即降级),降级证据行进 notes;
+ *   3. 非 YYYY-MM-DD 日期段(如「2026-07-31 或 08-01」):不查询、不触碰;
+ *   4. 无匹配航班号/打码价(NaN):不覆写不抛错;
+ *   5. 求解集成:覆写后的 spec 进 solveUnified 判定可算、钱不低于降价前。
+ *
+ * 运行(在 ts/ 下,零网):npx tsx scripts/realtime-pricing-tests.ts
+ */
 import assert from 'node:assert/strict';
 import { readFile } from 'node:fs/promises';
 import { join } from 'node:path';
@@ -6,46 +16,25 @@ import { parseFlightPackToSpec, solveUnified } from '../src/unified.js';
 const packJson = JSON.parse(await readFile(join('..', 'data', 'flights_2026.json'), 'utf-8'));
 function hit(no, price) {
     const opt = {
-        no,
-        name: '测试航司',
-        depDateTime: '2026-07-18 14:45:00',
-        arrDateTime: '2026-07-18 17:20:00',
-        depStation: 'HKG',
-        arrStation: 'HKT',
-        durationMin: 155,
-        price
-    };
-    return {
-        ok: true,
-        via: 'flyai',
-        verdict: 'hit',
-        kind: 'flight',
-        evidence: '[实时API:flyai@2026-08-29T06:00:00.000Z] hit',
-        latencyMs: 1,
-        options: [
-            opt
-        ]
+        no, name: '测试航司',
+        depDateTime: '2026-07-18 14:45:00', arrDateTime: '2026-07-18 17:20:00',
+        depStation: 'HKG', arrStation: 'HKT', durationMin: 155, price,
     };
+    return { ok: true, via: 'flyai', verdict: 'hit', kind: 'flight', evidence: '[实时API:flyai@2026-08-29T06:00:00.000Z] hit', latencyMs: 1, options: [opt] };
 }
 function err() {
-    return {
-        ok: false,
-        via: 'flyai-error',
-        verdict: 'error',
-        kind: 'flight',
-        evidence: '[实时API:flyai@error@2026-08-29T06:00:00.000Z] synthetic-timeout',
-        latencyMs: 1,
-        error: 'synthetic-timeout'
-    };
+    return { ok: false, via: 'flyai-error', verdict: 'error', kind: 'flight', evidence: '[实时API:flyai@error@2026-08-29T06:00:00.000Z] synthetic-timeout', latencyMs: 1, error: 'synthetic-timeout' };
 }
 const queries = [];
-const query = async (q)=>{
+const query = async (q) => {
     queries.push(q);
-    return q.origin === '香港' ? hit('CX773', 1200) : err();
+    // f1 香港→普吉:仅 CX773 有实时价(1200),HX741 无条目(无匹配分支)
+    return q.origin === '香港' ? hit('CX773', 1200) : err(); // f5 深圳→迪拜:error 降级分支
 };
-const overlay = await overlayRealtimeFlightPrices(parseFlightPackToSpec(packJson), {
-    query
-});
+// 五段链 spec:f1(HKG->HKT, 2026-07-18)、f5(SZX->DXB, 2026-08-10)进查询;
+// f2/f3 日期为「2026-07-31 或 08-01」非严格形 → 词表/日期闸跳过;f4 无 arrive_by 仍是 dated。
+const overlay = await overlayRealtimeFlightPrices(parseFlightPackToSpec(packJson), { query });
+// 1. hit 覆写:仅精确匹配的 CX773 被覆写,静态原价留档在证据链里
 assert.equal(overlay.matched.length, 1, '仅 CX773 命中覆写(1 条)');
 const m = overlay.matched[0];
 assert.equal(m.segment, 'f1');
@@ -54,62 +43,34 @@ assert.equal(m.staticCny, 2300);
 assert.equal(m.realtimeCny, 1200);
 assert.ok(m.evidence.includes('[实时API:flyai@2026-08-29T06:00:00.000Z]'), '证据链带时间戳');
 assert.ok(m.evidence.includes('静态包原价 ¥2300'), '静态原价留档');
-const f1svc = (id)=>overlay.spec.segments.find((s)=>s.id === 'f1').options.find((o)=>o.id === id).move.services[0].priceCny;
+const f1svc = (id) => overlay.spec.segments.find(s => s.id === 'f1').options.find(o => o.id === id).move.services[0].priceCny;
 assert.equal(f1svc('CX773'), 1200, '实时价覆写进 spec');
 assert.equal(f1svc('HX741'), 1600, '无匹配条目原价保留');
-const f5svc = overlay.spec.segments.find((s)=>s.id === 'f5').options[0].move.services[0];
+// 2. error 降级:f5 段原样 + 降级证据行
+const f5svc = overlay.spec.segments.find(s => s.id === 'f5').options[0].move.services[0];
 assert.equal(f5svc.id, 'EK329');
 assert.equal(f5svc.priceCny, 3400, 'error 段不覆写');
-assert.ok(overlay.notes.some((n)=>n.startsWith('f5:') && n.includes('未取回(error')), 'error 降级证据行存在');
+assert.ok(overlay.notes.some(n => n.startsWith('f5:') && n.includes('未取回(error')), 'error 降级证据行存在');
+// 3. 查询面:仅 dated + route 词表内城市对的段被查询(f1/f4/f5;f2/f3 非严格日期不查)
 assert.equal(queries.length, 3, '仅 f1/f4/f5 被查询(f2/f3 非严格日期)');
-assert.deepEqual(queries.map((q)=>q.origin), [
-    '香港',
-    '深圳',
-    '昆明'
-]);
-const f4prices = overlay.spec.segments.find((s)=>s.id === 'f4').options.map((o)=>o.move.services[0].priceCny);
-assert.deepEqual(f4prices, [
-    1150,
-    980,
-    700
-], 'f4 error 段原价保留');
+assert.deepEqual(queries.map(q => q.origin), ['香港', '深圳', '昆明']);
+// f4(昆明→深圳)error 降级:两班原价不动
+const f4prices = overlay.spec.segments.find(s => s.id === 'f4').options.map(o => o.move.services[0].priceCny);
+assert.deepEqual(f4prices, [1150, 980, 700], 'f4 error 段原价保留');
+// 4. 求解集成:覆写后 spec 判定可算(价格只降,结果钱 ≤ 基线)
 const baseline = await solveUnified(parseFlightPackToSpec(packJson));
 const overlaid = await solveUnified(overlay.spec);
 assert.equal(overlaid.feasible, true, '覆写后 spec 求解可行');
 assert.ok(baseline.money_cny !== undefined && overlaid.money_cny !== undefined, '两条路径都出总价');
 assert.ok(overlaid.money_cny <= baseline.money_cny, '实时价不抬高求解总钱');
+// 5. 无 dated 段 spec:零查询零改动(结构化直验)
 const bare = await overlayRealtimeFlightPrices({
     note: 'no-dates',
-    segments: [
-        {
-            id: 'dest',
-            role: 'choice',
-            options: [
-                {
-                    id: 'a',
-                    label: 'x',
-                    move: {
-                        hub: 'SZX',
-                        services: [
-                            {
-                                id: 'EK329',
-                                depMin: 45,
-                                arrMin: 260,
-                                priceCny: 3400
-                            }
-                        ],
-                        bufferMin: 30,
-                        originTransferMin: 0,
-                        destTransferMin: 30
-                    }
-                }
-            ]
-        }
-    ]
+    segments: [{
+            id: 'dest', role: 'choice',
+            options: [{ id: 'a', label: 'x', move: { hub: 'SZX', services: [{ id: 'EK329', depMin: 45, arrMin: 260, priceCny: 3400 }], bufferMin: 30, originTransferMin: 0, destTransferMin: 30 } }],
+        }],
 });
 assert.equal(bare.matched.length, 0, '无 dated 段 → 不查询');
 assert.equal(bare.spec.segments[0].options[0].move.services[0].priceCny, 3400, '价格原样');
 console.log('\nREALTIME PRICING TESTS: 5/5 OK(hit 覆写+证据/error 降级/日期词表闸/求解集成/无段零触碰)');
-
-
-//# sourceURL=ts/scripts/realtime-pricing-tests.ts

package/dist/scripts/replay-async.js

@@ -1,3 +1,8 @@
+/**
+ * S5 架构段重放:异步深度规划的会话形态(mock,零 API key)。
+ * 运行(在 ts/ 下):npx tsx scripts/replay-async.ts
+ * 验收:复杂行程 → 「一小时后回来看看」→ 回访交付已验证方案 + 选择题,不失望四条 4/4。
+ */
 import { join } from 'node:path';
 import { createMockLlm } from '../src/mock-llm.js';
 import { collectDeepPlanning, isComplex, newState, persistAsyncTicket, requestDeepPlanning, runTurn } from '../src/loop.js';
@@ -5,40 +10,37 @@ import { solveUnified } from '../src/unified.js';
 const llm = createMockLlm(join('..', 'data', 'flights_2026.json'));
 const state = newState();
 const history = [];
+// 前三轮与 replay 相同:brief → 工作时间 → 已订酒店
 const turns = [
     '7.17周五22:40落地深圳……8.10周一凌晨从深圳起飞周一上班前到迪拜。请给我做机票和酒店的行程规划和推荐。',
     '我的工作时间是UTC+4的早上10点到下午7点',
-    '我订了酒店:The Title East Wing Rawai,7.18入住 7.23 退房'
+    '我订了酒店:The Title East Wing Rawai,7.18入住 7.23 退房',
 ];
 let lastReply = '';
-for (const t of turns){
-    const { reply } = await runTurn(state, t, llm, [
-        ...history
-    ], solveUnified);
-    history.push({
-        role: 'user',
-        text: t
-    }, {
-        role: 'assistant',
-        text: reply
-    });
+for (const t of turns) {
+    const { reply } = await runTurn(state, t, llm, [...history], solveUnified);
+    history.push({ role: 'user', text: t }, { role: 'assistant', text: reply });
     lastReply = reply;
 }
-if (!isComplex(state)) throw new Error('复杂度判据未命中,重放脚本与判据不一致');
+// 第 4 轮:复杂度命中 → 切深度规划模式;工单持久化(跨进程存续,S5 编排半段)
+if (!isComplex(state))
+    throw new Error('复杂度判据未命中,重放脚本与判据不一致');
 const { reply: asyncReply, ticket } = await requestDeepPlanning(state);
 const saved = await persistAsyncTicket(ticket, state);
 console.log('用户> (约束齐备,行程复杂)\n');
 console.log(`GoTry> ${asyncReply}\n`);
 console.log(`(工单已持久化:${saved}——任意后续进程可执行回收)\n`);
+// --request-only:只请求不回收(种一张待回收工单,供调度器/下一进程实证)
 if (process.argv.includes('--request-only')) {
     console.log(`(request-only 模式结束;回收命令:npx tsx scripts/async-collect.ts ${ticket.id})`);
-} else {
+}
+else {
+    // 模拟一小时(mock 期秒级)——真实形态:另一个进程/loopx tick 执行 async-collect
     console.log('……(一小时后,另一个进程执行回收)……\n');
     const { reply: deliverable } = await collectDeepPlanning(state, ticket, solveUnified);
     console.log(`GoTry> ${deliverable}`);
-    if (!deliverable.includes('4/4')) throw new Error('FAIL: 不失望四条未全过');
+    // 不失望四条是交付物的自检契约,未全过即重放失败
+    if (!deliverable.includes('4/4'))
+        throw new Error('FAIL: 不失望四条未全过');
     console.log(`\n(真实形态命令:npx tsx scripts/async-collect.ts ${ticket.id})`);
 }
-
-
-//# sourceURL=ts/scripts/replay-async.ts

package/dist/scripts/replay-real.js

@@ -1,11 +1,19 @@
+/**
+ * 真实重放(S4 验收入口):有 LLM_API_KEY(或旧别名 DEEPSEEK_API_KEY)走真 LLM,无则明确回退 mock。
+ * 运行(在 ts/ 下):npx tsx scripts/replay-real.ts
+ * S4 验收:同一开场白,真实对话质量 ≥ mock 重放(Kimi 复盘的验收标准)。
+ */
 import { join } from 'node:path';
 import { readFileSync } from 'node:fs';
+// 仓根 .env(gitignored):每行 KEY=VALUE,不覆盖已有环境变量
 try {
-    for (const line of readFileSync(join('..', '.env'), 'utf-8').split('\n')){
+    for (const line of readFileSync(join('..', '.env'), 'utf-8').split('\n')) {
         const m = line.match(/^([A-Z_]+)=(.*)$/);
-        if (m && !process.env[m[1]]) process.env[m[1]] = m[2].trim();
+        if (m && !process.env[m[1]])
+            process.env[m[1]] = m[2].trim();
     }
-} catch  {}
+}
+catch { /* .env 可选 */ }
 import { createMockLlm } from '../src/mock-llm.js';
 import { createOpenAICompatLlm } from '../src/dsh-llm.js';
 import { newState, runTurn } from '../src/loop.js';
@@ -13,6 +21,7 @@ import { solveUnified } from '../src/unified.js';
 import { realtimeSolvePort } from '../src/realtime-pricing.js';
 const useReal = Boolean(process.env['LLM_API_KEY'] ?? process.env['DEEPSEEK_API_KEY']);
 const llm = useReal ? createOpenAICompatLlm(join('..', 'data', 'flights_2026.json')) : createMockLlm(join('..', 'data', 'flights_2026.json'));
+// 实时票价接缝(默认关):GOTRY_REALTIME_PRICING=1 时 dated 段经 FlyAI 实时价覆写,证据并进 skeleton_notes
 const solvePort = realtimeSolvePort(solveUnified);
 console.log(useReal ? `=== 真 LLM 模式(${process.env['LLM_MODEL'] ?? 'MiniMax-M2'})===` : '=== 无 LLM_API_KEY,回退 mock(ADR-8)===\n');
 const state = newState();
@@ -20,21 +29,10 @@ const history = [];
 const turns = [
     '7.17周五22:40落地深圳,7.18早上去香港办银行开户&保险签约;争取7.18当天飞泰国普吉岛……8.10周一凌晨从深圳起飞,周一上班前到迪拜。请给我做机票和酒店的行程规划和推荐。',
     '我的工作时间是UTC+4的早上10点到下午7点',
-    '我订了酒店:The Title East Wing Rawai,7.18入住 7.23 退房'
+    '我订了酒店:The Title East Wing Rawai,7.18入住 7.23 退房',
 ];
-for (const t of turns){
-    const { reply } = await runTurn(state, t, llm, [
-        ...history
-    ], solvePort);
-    history.push({
-        role: 'user',
-        text: t
-    }, {
-        role: 'assistant',
-        text: reply
-    });
+for (const t of turns) {
+    const { reply } = await runTurn(state, t, llm, [...history], solvePort);
+    history.push({ role: 'user', text: t }, { role: 'assistant', text: reply });
     console.log(`\n用户> ${t.slice(0, 46)}…\nGoTry> ${reply}`);
 }
-
-
-//# sourceURL=ts/scripts/replay-real.ts

package/dist/scripts/replay.js

@@ -1,3 +1,9 @@
+/**
+ * S2 重放:真实对话的用户侧(压缩版)喂给循环,mock-LLM 扮演智能侧。
+ * 运行(在 ts/ 下):npx tsx scripts/replay.ts
+ * 验收:① 日历一次断言零反复 ② 系统先问工作窗口与已订资源(Kimi 第 6 轮才问)
+ *       ③ 用户提供后 profile 填充,访谈收敛
+ */
 import { createMockLlm } from '../src/mock-llm.js';
 import { interviewNext, newState, runTurn } from '../src/loop.js';
 import { solveUnified } from '../src/unified.js';
@@ -7,110 +13,74 @@ let state = newState();
 const userTurns = [
     '7.17周五22:40落地深圳,7.18早上去香港办银行开户&保险签约;争取7.18当天飞泰国普吉岛……8.10周一凌晨从深圳起飞,周一上班前到迪拜。请给我做机票和酒店的行程规划和推荐。',
     '我的工作时间是UTC+4的早上10点到下午7点,晚上不一定有时间(至少得带电脑保持在线)',
-    '我订了酒店:The Title East Wing Rawai,7.18入住 7.23 退房'
+    '我订了酒店:The Title East Wing Rawai,7.18入住 7.23 退房',
 ];
 const history = [];
-for (const turn of userTurns){
-    const { reply } = await runTurn(state, turn, llm, [
-        ...history
-    ], (spec)=>{
-        spec.skeletonHub = true;
-        return solveUnified(spec);
-    });
-    history.push({
-        role: 'user',
-        text: turn
-    }, {
-        role: 'assistant',
-        text: reply
-    });
+for (const turn of userTurns) {
+    const { reply } = await runTurn(state, turn, llm, [...history], ((spec) => { spec.skeletonHub = true; return solveUnified(spec); }));
+    history.push({ role: 'user', text: turn }, { role: 'assistant', text: reply });
     console.log(`\n用户> ${turn.slice(0, 50)}…`);
     console.log(`GoTry> ${reply}`);
 }
 console.log('\n===== 终态校验 =====');
 console.log('日历断言数:', Object.keys(state.calendar.assertedWeekdays).length, '| 2026-07-17 =', state.calendar.assertedWeekdays['2026-07-17']);
-console.log('workWindow:', state.profile.workWindow ? `${state.profile.workWindow.startMin / 60}:00-${state.profile.workWindow.endMin / 60}:00 UTC+${state.profile.workWindow.homeTzOffsetMin / 60}(证据:${state.profile.workWindow.evidence.slice(0, 24)}…)` : '缺失');
-console.log('bookedResources:', state.profile.bookedResources?.map((b)=>b.ref).join('; ') ?? '缺失');
+const replayWorkWindow = state.profile.workWindow;
+console.log('workWindow:', replayWorkWindow?.vacation === true
+    ? '休假(无工作窗口)'
+    : replayWorkWindow
+        ? `${replayWorkWindow.startMin / 60}:00-${replayWorkWindow.endMin / 60}:00 ${replayWorkWindow.homeTzOffsetMin === undefined ? 'IANA home zone' : `UTC+${replayWorkWindow.homeTzOffsetMin / 60}`}(证据:${replayWorkWindow.evidence.slice(0, 24)}…)`
+        : '缺失');
+console.log('bookedResources:', state.profile.bookedResources?.map(b => b.ref).join('; ') ?? '缺失');
 const { missing } = interviewNext(state);
 console.log('剩余待问:', missing.length === 0 ? '无(除预算档未答,见下)' : missing.join(','));
+// 终态断言——进 CI 的硬门槛:日历零反复、首轮问出工作窗口与已订资源、访谈收敛到只剩预算档
 const weekday = state.calendar.assertedWeekdays['2026-07-17'];
-if (weekday !== 'fri') throw new Error(`FAIL: 2026-07-17 应为 fri,实为 ${weekday}`);
-if (!state.profile.workWindow?.evidence) throw new Error('FAIL: workWindow 缺失或无证据');
-if (!state.profile.bookedResources?.length) throw new Error('FAIL: bookedResources 缺失');
-if (!(missing.length === 1 && missing[0] === 'budgetTier')) throw new Error(`FAIL: 剩余待问应为 [budgetTier],实为 [${missing.join(',')}]`);
+if (weekday !== 'fri')
+    throw new Error(`FAIL: 2026-07-17 应为 fri,实为 ${weekday}`);
+if (!state.profile.workWindow?.evidence)
+    throw new Error('FAIL: workWindow 缺失或无证据');
+if (!state.profile.bookedResources?.length)
+    throw new Error('FAIL: bookedResources 缺失');
+if (!(missing.length === 1 && missing[0] === 'budgetTier'))
+    throw new Error(`FAIL: 剩余待问应为 [budgetTier],实为 [${missing.join(',')}]`);
 console.log('REPLAY ASSERTS OK');
+// ---- D-10 切片 C:spec↔槽位日期一致性闸 ------------------------------------------
+// 两个面:① 单日期段 + 冲突槽位 → 闸拦下求解并追问,不猜、不静默采信;
+// ② 多段行程(pack 全 spec)→ 槽位 v1 无逐段真值,闸必须旁路(2026-08-28 巡检
+// 修正的回归:金标准六段行程曾被全段误判分歧,求解被永久拦截)。
 {
-    const conflictScript = [
-        {
+    const conflictScript = [{
             when: '重新算一下',
             extraction: {
                 schema_version: 'travel_slot_extraction.v1',
                 language: 'zh',
-                domains: [
-                    'requisition'
-                ],
-                slots: {
-                    requisition: {
-                        mode: 'create',
-                        destination: '普吉岛',
-                        start_date: '2026-12-25',
-                        trip_type: 'round_trip'
-                    }
-                },
-                missing_slots: []
-            }
-        }
-    ];
-    const solvePort = (spec)=>{
-        spec.skeletonHub = true;
-        return solveUnified(spec);
-    };
+                domains: ['requisition'],
+                slots: { requisition: { mode: 'create', destination: '普吉岛', start_date: '2026-12-25', trip_type: 'round_trip' } },
+                missing_slots: [],
+            },
+        }];
+    const solvePort = ((spec) => { spec.skeletonHub = true; return solveUnified(spec); });
+    // ① 单日期段:分歧 → 拦截 + 追问 + 不求解
     const base = createMockLlm(join('..', 'data', 'flights_2026.json'), conflictScript);
     const singleSpecLlm = {
         ...base,
-        extractSpec: async ()=>({
-                segments: [
-                    {
-                        id: 's1',
-                        role: 'choice',
-                        date: '2026-07-01',
-                        options: [
-                            {
-                                id: 'o1',
-                                label: 'o1',
-                                move: {
-                                    hub: 'SZX',
-                                    services: [
-                                        {
-                                            id: 'f1',
-                                            depMin: 600,
-                                            arrMin: 700
-                                        }
-                                    ],
-                                    bufferMin: 60,
-                                    originTransferMin: 30,
-                                    destTransferMin: 30
-                                }
-                            }
-                        ]
-                    }
-                ]
-            })
+        extractSpec: async () => ({
+            segments: [{ id: 's1', role: 'choice', date: '2026-07-01', options: [{ id: 'o1', label: 'o1', move: { hub: 'SZX', services: [{ id: 'f1', depMin: 600, arrMin: 700 }], bufferMin: 60, originTransferMin: 30, destTransferMin: 30 } }] }],
+        }),
     };
     const state1 = structuredClone(state);
     const solveBefore = state1.solve;
-    const r1 = await runTurn(state1, '12月25日出发,重新算一下', singleSpecLlm, [
-        ...history
-    ], solvePort);
-    if (!r1.reply.includes('日期分歧')) throw new Error(`FAIL: 单日期段分歧应被闸拦下,实际:${r1.reply.slice(0, 160)}`);
-    if (r1.state.solve !== solveBefore) throw new Error('FAIL: 分歧时不应求解(spec 日期未确认)');
+    const r1 = await runTurn(state1, '12月25日出发,重新算一下', singleSpecLlm, [...history], solvePort);
+    if (!r1.reply.includes('日期分歧'))
+        throw new Error(`FAIL: 单日期段分歧应被闸拦下,实际:${r1.reply.slice(0, 160)}`);
+    if (r1.state.solve !== solveBefore)
+        throw new Error('FAIL: 分歧时不应求解(spec 日期未确认)');
+    // ② 多段行程:闸旁路 → 正常求解(无日期分歧文案)
     const state2 = structuredClone(state);
-    const r2 = await runTurn(state2, '重新算一下', base, [
-        ...history
-    ], solvePort);
-    if (r2.reply.includes('日期分歧')) throw new Error(`FAIL: 多段行程应旁路日期闸(无逐段真值不判),实际:${r2.reply.slice(0, 160)}`);
-    if (!r2.state.solve) throw new Error('FAIL: 多段旁路后应正常求解');
+    const r2 = await runTurn(state2, '重新算一下', base, [...history], solvePort);
+    if (r2.reply.includes('日期分歧'))
+        throw new Error(`FAIL: 多段行程应旁路日期闸(无逐段真值不判),实际:${r2.reply.slice(0, 160)}`);
+    if (!r2.state.solve)
+        throw new Error('FAIL: 多段旁路后应正常求解');
     console.log('SPEC-SLOT DATE GATE OK(单日期段分歧拦截 + 多段旁路不误伤)');
 }
-
-//# sourceURL=ts/scripts/replay.ts

package/dist/scripts/session-attach-diagnose.js

@@ -1,8 +1,12 @@
+/**
+ * CDP attach 诊断(RFC §2.2 路线 A=primary,founder「不能匿名实例」定案):
+ * 前置=日常 Chrome 开 chrome://inspect/#remote-debugging 开关(Chrome 144+)。
+ * 输出:attach 状态 + ctrip/meituan cookie 名单(登录票据校准)+ 登录态判定。只读,不导航。
+ * 注:Chrome 147 调试服务与 playwright 不兼容(握手后悬挂,实测),传输层一律 puppeteer-core(实测 2256 cookies)。
+ */
 import { openSession } from '../capabilities/session/transport.js';
 import { LOGIN_COOKIE_NAMES } from '../capabilities/session/adapters/ctrip-flight.js';
-const t = await openSession({
-    mode: 'cdp'
-});
+const t = await openSession({ mode: 'cdp' });
 if (!t.ok) {
     console.log('ATTACH 失败:', t.summary);
     process.exit(1);
@@ -10,18 +14,18 @@ if (!t.ok) {
 try {
     const all = await t.browser.cookies();
     const byDom = {};
-    for (const c of all){
+    for (const c of all) {
         const d = c.domain.replace(/^\./, '');
-        if (/ctrip\.com$|meituan\.com$/.test(d)) (byDom[d] ??= []).push(c.name);
+        if (/ctrip\.com$|meituan\.com$/.test(d))
+            (byDom[d] ??= []).push(c.name);
     }
     console.log('ATTACH ok,共', all.length, '条 cookie;相关域:');
-    for (const [d, names] of Object.entries(byDom))console.log(' ', d, '=>', names.sort().join(','));
-    const ctripNames = new Set(Object.entries(byDom).filter(([d])=>d.includes('ctrip')).flatMap(([, n])=>n));
-    const known = LOGIN_COOKIE_NAMES.filter((k)=>ctripNames.has(k));
+    for (const [d, names] of Object.entries(byDom))
+        console.log(' ', d, '=>', names.sort().join(','));
+    const ctripNames = new Set(Object.entries(byDom).filter(([d]) => d.includes('ctrip')).flatMap(([, n]) => n));
+    const known = LOGIN_COOKIE_NAMES.filter((k) => ctripNames.has(k));
     console.log(known.length > 0 ? `携程登录态:在(${known.join(',')})` : '携程登录态:未检出——在你日常 Chrome 里正常登录携程即可(无需专门窗口)');
-} finally{
+}
+finally {
     await t.close();
 }
-
-
-//# sourceURL=ts/scripts/session-attach-diagnose.ts