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

package/README.md

@@ -1,5 +1,7 @@
 # GoTry
 
+[![CI](https://github.com/Danceiny/gotry/actions/workflows/ci.yml/badge.svg)](https://github.com/Danceiny/gotry/actions/workflows/ci.yml)
+
 > **身体和灵魂，更多旅行，更少旅游。**
 > *Body and soul — more travel, less tourism.*
 
@@ -9,9 +11,9 @@
 
 | | |
 |---|---|
-| **Version** | `v0.0.1-rc.9`(npm **latest 直指本版**,`npx @danceiny/gotry` 即得;[release notes](docs/release-notes.md)) |
-| **Status** | M4 记忆域推进中(2026-08-28):记忆写读闭环 + 效用 sidecar + 「下一次出发」0::1 召回;17 工具;事务化状态账本(ADR-15)+ 双形态架构冻结(ADR-16:本地+Web 一套账本语义,tenant_id 一等字段);全栈回归全绿(套件清单见 `scripts/run-all-tests.sh` 分节) |
-| **Repo** | [github.com/Danceiny/gotry](https://github.com/Danceiny/gotry) (private) |
+| **Version** | `v0.0.1-rc.11`(npm **latest 直指本版**,`npx @danceiny/gotry` 即得;[release notes](docs/release-notes.md)) |
+| **Status** | M4 记忆域推进中(2026-08-28):记忆写读闭环 + 效用 sidecar + 「下一次出发」0::1 召回;17 工具;事务化状态账本(ADR-15)+ 双形态架构冻结(ADR-16:本地+Web 一套账本语义,tenant_id 一等字段);**2026-08-29 已知限制清算第一刀**:Z3 WASM race 根治(`z3-shared.ts` 单一实例+会话级互斥,run-all §1 重试止血退役+§30 并发回归闸)、薄壳遗留(`shell/`)物理删除;全栈回归全绿(套件清单见 `scripts/run-all-tests.sh` 分节) |
+| **Repo** | [github.com/Danceiny/gotry](https://github.com/Danceiny/gotry) · CI: typecheck + 全栈回归(Node 22/24) |
 | **Runtime** | DeepSeek Harness 0.1.1-rc.2 (vendored `ts/dsh-runtime/`, [upstream](https://github.com/deepseek-ai/DeepSeek-Harness)) · Z3 (npm `z3-solver`) · LoopX (pipx, `~/.local/pipx/venvs/loopx/bin/loopx`) · Agent-Reach v1.5.0 (`.venv/bin/agent-reach`) |
 | **License** | **MIT** (2026-08-23 落定,见 [LICENSE](LICENSE)) |
 
@@ -47,7 +49,7 @@ npx @danceiny/gotry web          # 首跑会提示在当前目录建 .env(LLM_AP
 装完即得 :3080 对话界面。已装 dsh 的用户同理——上面的命令会自动以 cordis patch
 挂载 gotry 插件,无需任何额外配置(零成本启动)。
 
-> rc.5 为不可用首发(已停止指向);`@rc` tag 当前为 rc.7,`latest` 为 rc.9,两者均可跑。rc.10 在仓(双形态冻结 ADR-16),待发——见 release-notes。
+> rc.5 为不可用首发(已停止指向);rc.9 装得上跑不起(缺依赖声明,被 rc.10 覆盖);`latest` 为 rc.11——`npx @danceiny/gotry` 即得。
 
 ### 源码安装(开发者)
 
@@ -191,10 +193,10 @@ GoTry: 收到。先把约束记下来——
 ## ⚠️ Known limitations · 已知限制
 
 - ✅ **License MIT** (D-1 落地 2026-08-23)
-- **zh-CN 体验** — 当前面向中国出境首发(你的账号语言习惯)。英文界面/wider 国际化未做,等 M4 校准输入落定。
-- **机票实时数据** — 静态包(`data/flights_2026.json`)作为降级。实时票价接入留到 v0.1.x。
-- **Z3 WASM race** — 连续跑多个测试套件时偶发 `memory access out of bounds`(已规避回滚)。M3 早期处理。
-- **薄壳已废弃** — `./gotry shell` 不再推荐;dsh web 是唯一面。本版 README 仍保留旧命令行做迁移证据。
+- ✅ **英文面(工程层)已就绪** — 求解确定性输出面(候选/航班链 answer_md、放宽建议、排除理由)i18n catalog 化:`GOTRY_LOCALE=en` 或 `setLocale('en')` 即英文,默认 zh-CN 与金标准逐字节一致(run-all §32:en 零缺键/切换数据不动)。**残余(诚实声明)**:dsh web 界面属宿主、工具结果卡与人格对话面等 M4 校准输入落定后随校准样本补齐——种子市场仍是中国出境(G1)
+- ✅ **机票实时数据已接入** — dated 航班链段可经 FlyAI 官方只读通道取实时票价覆写(`GOTRY_REALTIME_PRICING=1`,证据链 `[实时API:flyai@ts]`,miss/error/打码价一律降级回静态包 `data/flights_2026.json`);静态包由「唯一来源」变为「显式降级」,零 key 可用
+- ✅ **Z3 WASM race 已根治** — 三模块各自持 WASM 实例 + 候选求解 `Promise.all` 共 Context 并发是双重根因;现收敛 `ts/src/z3-shared.ts`(单一实例+单一 Context+会话级互斥门),run-all §1 的「重试一次」止血已退役,新增 §30 进程内三形态并发回归闸 ×12(D-17)
+- ✅ **薄壳已删除** — `shell/` 目录与 `./gotry shell` 分支已移除(2026-08-29 清理;dsh web 唯一产品面,旧命令行在 git 历史/rc.6 文档内可考)
 
 
 ---
@@ -225,24 +227,21 @@ GoTry: 收到。先把约束记下来——
 异步工单跨进程 · 插件 smoke · hbcli · 进程护栏(含工具异常隔离) · 天气 · 航班 ·
 Anything · probePoi · agent-reach(web/deep/wrapper)· 双路径稳定性 ·
 时间感评测(锚点卡/槽位过期校验/评分器/mock 回放;真模型巡检 `time-eval-tests.ts --real`)·
-记忆域(动机合并守门/效用 sidecar/只读指标投影)。
+记忆域(动机合并守门/效用 sidecar/只读指标投影)· **Z3 并发竞态(§30)· 实时票价桥(§31)· i18n 目录(§32)**。
 
 ---
 
 ## 🤝 参与开发 — Contributing
 
-仓库内 branch 模型:`main` 是唯一分支(没有 dev/staging)。所有迭代在 main 直接推(每次提交需全栈绿)。
+> *PR-based flow: branch off the latest `main`, full suite green, open a Pull Request — `main` never takes direct pushes; merge after review. Full guide: [CONTRIBUTING.md](CONTRIBUTING.md).*
 
-```bash
-./scripts/run-all-tests.sh   # 提交前必跑
+标准开源流程:**`main` 不直接推**——从最新 `main` 切出 `feat/ · fix/ · docs/ · chore/` 分支,本地全栈绿后开 Pull Request,CI（Node 22/24,typecheck + 全部套件）与维护者 review 双绿后 squash 合入。**测试红着不许合。**
 
-# 单独跑某个套件
-cd ts && npx tsx scripts/replay.ts          # 对话重放(mock,不需要 key)
-cd ts && npx tsx scripts/hbcli-tests.ts     # 能力封装
-cd ts && npx tsx scripts/incident-tests.ts  # 进程护栏
-```
+- 完整贡献指南(环境搭建 · 测试 · 分支与提交约定 · PR 流程): **[CONTRIBUTING.md](CONTRIBUTING.md)**
+- Bug / 功能建议:[issue 模板](.github/ISSUE_TEMPLATE/bug_report.yml)(搜过既有 issue 再提)
+- 行为或架构改动先立 ADR(`docs/architecture.md` §8);多 agent 协作契约见 [`AGENTS.md`](AGENTS.md)
 
-ADR 与技术债见 [`docs/architecture.md` §8 / §10](docs/architecture.md)。Agent 协作契约见 [`AGENTS.md`](AGENTS.md)。
+单套件快捷命令等测试细节见上面的 [🧪 跑测试 — Verify](#-跑测试--verify)。
 
 ---
 
@@ -264,4 +263,4 @@ ADR 与技术债见 [`docs/architecture.md` §8 / §10](docs/architecture.md)。
 
 **Built with**: DeepSeek Harness 0.1.1-rc.2 · Cordis · Z3 (WASM) · loopx (pipx) · hotelbyte-cli · Agent-Reach v1.5.0 (`.venv/`) · OpenFlights · TypeScript · Bun
 
-**Last verified against `v0.0.1-rc.9`(已发布,2026-08-28)** — 全栈回归全绿(发布流程见 `scripts/publish-npm.sh`,内部决策见 [docs/decisions-needed.md](docs/decisions-needed.md)、[docs/tokens.md](docs/tokens.md))。
+**Last verified against `v0.0.1-rc.11`(已发布,2026-08-29)** — 全栈回归全绿 §1-§32(发布流程见 `scripts/publish-npm.sh`,内部决策见 [docs/decisions-needed.md](docs/decisions-needed.md)、[docs/tokens.md](docs/tokens.md))。

package/dist/scripts/i18n-tests.js

@@ -0,0 +1,34 @@
+import assert from 'node:assert/strict';
+import { readFile } from 'node:fs/promises';
+import { join } from 'node:path';
+import { enCoverage, getLocale, setLocale, t } from '../src/i18n.js';
+import { solve } from '../src/engine.js';
+import { parseCandidate, parseRequest } from '../src/model.js';
+assert.deepEqual(enCoverage(), [], 'en 目录缺键:' + enCoverage().join(','));
+const erhai = JSON.parse(await readFile(join('..', 'data', 'golden_erhai.json'), 'utf-8'));
+const req = parseRequest(erhai['request']);
+const candidates = erhai['candidates'].map(parseCandidate);
+assert.equal(getLocale(), 'zh-CN', '默认 locale 应为 zh-CN');
+const zhRes = await solve(req, candidates);
+const zhZh = String(zhRes['answer_md']);
+assert.ok(zhZh.includes('千岛湖') && zhZh.includes('下一次出发') && zhZh.includes('待你决定的两个问题'));
+void zhZh;
+setLocale('en');
+const enRes = await solve(req, candidates);
+const enMd = String(enRes['answer_md']);
+assert.ok(enMd.includes('feasible'), '英文判定应含 feasible');
+assert.ok(!enMd.includes('现在不行'), '英文面不得残留中文判定词');
+assert.ok(enMd.includes('千岛湖'), '候选名(数据)跨语言不动');
+assert.ok(/¥\d+/.test(enMd), '金额不翻译');
+assert.equal(t('md.wish_budget', {
+    cny: '4950'
+}).includes('4950'), true, '插值生效(以当前 locale 渲染)');
+setLocale('zh-CN');
+assert.equal(getLocale(), 'zh-CN');
+assert.equal(t('md.wish_budget', {
+    cny: 4950
+}), '、约 ¥4950', 'zh 模板逐字节');
+console.log('\nI18N TESTS: 4/4 OK(en 零缺键/默认 zh 金标准一致/en 切换数据不动/插值+回退)');
+
+
+//# sourceURL=/Users/bytedance/work/gotry/ts/scripts/i18n-tests.ts

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

@@ -0,0 +1,115 @@
+import assert from 'node:assert/strict';
+import { readFile } from 'node:fs/promises';
+import { join } from 'node:path';
+import { overlayRealtimeFlightPrices } from '../src/realtime-pricing.js';
+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
+        ]
+    };
+}
+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'
+    };
+}
+const queries = [];
+const query = async (q)=>{
+    queries.push(q);
+    return q.origin === '香港' ? hit('CX773', 1200) : err();
+};
+const overlay = await overlayRealtimeFlightPrices(parseFlightPackToSpec(packJson), {
+    query
+});
+assert.equal(overlay.matched.length, 1, '仅 CX773 命中覆写(1 条)');
+const m = overlay.matched[0];
+assert.equal(m.segment, 'f1');
+assert.equal(m.option, 'CX773');
+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;
+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];
+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.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 段原价保留');
+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, '实时价不抬高求解总钱');
+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
+                    }
+                }
+            ]
+        }
+    ]
+});
+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=/Users/bytedance/work/gotry/ts/scripts/realtime-pricing-tests.ts

package/dist/scripts/replay-real.js

@@ -10,8 +10,10 @@ import { createMockLlm } from '../src/mock-llm.js';
 import { createOpenAICompatLlm } from '../src/dsh-llm.js';
 import { newState, runTurn } from '../src/loop.js';
 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'));
+const solvePort = realtimeSolvePort(solveUnified);
 console.log(useReal ? `=== 真 LLM 模式(${process.env['LLM_MODEL'] ?? 'MiniMax-M2'})===` : '=== 无 LLM_API_KEY,回退 mock(ADR-8)===\n');
 const state = newState();
 const history = [];
@@ -23,7 +25,7 @@ const turns = [
 for (const t of turns){
     const { reply } = await runTurn(state, t, llm, [
         ...history
-    ], solveUnified);
+    ], solvePort);
     history.push({
         role: 'user',
         text: t

package/dist/scripts/session-tests.js

@@ -137,6 +137,10 @@ if (process.env.GOTRY_SESSION_LIVE === '0') {
         assert(sr.ok === false && sr.verdict === 'challenged', 'challenged = degraded 语义正确(不重试不绕过)');
     } else if (sr.verdict === 'error' && /chrome launch failed/.test(sr.error ?? '')) {
         console.log('  SKIP - 本机无 Chrome(channel:chrome 不可用)');
+    } else if (sr.verdict === 'error' && /chrome launch failed/.test(sr.error ?? '')) {
+        console.log('  SKIP - 本机无 Chrome(channel:chrome 不可用)');
+    } else if ((sr.verdict === 'miss' || sr.verdict === 'error') && /blocked=0/.test(sr.evidence)) {
+        console.log(`  SKIP - 会话数据面 miss(外部方差,合同降级语义):${sr.evidence.slice(0, 90)}`);
     } else {
         assert(sr.ok === true && sr.verdict === 'hit' && (sr.options?.length ?? 0) >= 1, '上海→丽江 会话嗅探 hit', sr);
         assert(sr.options?.every((o)=>o.price > 0 && o.depDateTime.includes('2026-10-01')) ?? false, '班期=查询日,价格>0', sr.options?.[0]);

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

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