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

package/README.md

@@ -2,161 +2,89 @@
 
 [![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.*
 
-**GoTry 是「从出发到下一次出发」的 AI 旅行 Agent**：你用一句话说想去哪、为什么想出发；它先问清楚你的工作时间和已订资源，再用**数学求解器**给你一份经过验证的行程方案。
+**GoTry 是「从出发到下一次出发」的 AI 旅行 Agent**:你用一句话说想去哪、为什么想出发;它先问清楚你的工作时间和已订资源,再用**数学求解器**给你一份经过验证的行程方案。
 
 **GoTry is an AI travel agent for departure-to-next-departure.** Tell it where you want to go and why. It asks what's missing, then hands you a **formally verified itinerary** — not vibes.
 
-| | |
-|---|---|
-| **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)) |
-
-
----
-
-## ✨ 它做什么 — What it does
-
-GoTry 把「想去哪」变成「能不能、怎么去」：
-
-| 阶段 | AI/Engine | 输什么 |
-|---|---|---|
-| **动机访谈** | LLM | 必问项：工作窗口 / 已订资源 / 出发城市 |
-| **事实抽取** | LLM | 工作窗口生效 + 休假语义识别 |
-| **可行性判定** | **Z3** | 哪些候选目的地**可行**、哪些**不可行**、为什么、**如何最小化改动让它变可行** |
-| **门到门全成本** | 求解器 | 真实飞行时长（含时差）+ 醒来起夜惩罚 + 接驳代价 + 到达精力 % |
-| **证据链** | 渲染层 | 每个数字标 `[骨架:openflights]`、`[实时API:hbcli]`、`[静态包:估算]` |
-
-**不像普通 AI 聊天**——LLM 只做理解和解释，**判定与算术是数学求解器**算的。
-
-> **Unlike a regular AI chat**, the LLM only translates and explains. **Decisions and arithmetic are computed by a Z3 solver**, not guessed.
-
 ---
 
-## 🚀 快速开始 — Quick start
-
-### 一行启动(npm,推荐)
+## 🚀 30 秒上手
 
 ```bash
-npx @danceiny/gotry web          # 首跑会提示在当前目录建 .env(LLM_API_KEY=<DeepSeek key>)
+npx @danceiny/gotry web
+# 首跑会提示建 .env:LLM_API_KEY=<DeepSeek key 或 OpenAI 兼容 key>
+# → 浏览器打开 http://127.0.0.1:3080,像聊天一样说「我想去大理三天」
 ```
 
-装完即得 :3080 对话界面。已装 dsh 的用户同理——上面的命令会自动以 cordis patch
-挂载 gotry 插件,无需任何额外配置(零成本启动)。
-
-> rc.5 为不可用首发(已停止指向);rc.9 装得上跑不起(缺依赖声明,被 rc.10 覆盖);`latest` 为 rc.11——`npx @danceiny/gotry` 即得。
-
-### 源码安装(开发者)
-
-```bash
-git clone https://github.com/Danceiny/gotry
-cd gotry
-```
-
-#### A. 装 vendored dsh runtime(一次性,约 1 分钟)
-
-```bash
-cd ts/dsh-runtime
-pnpm install    # 拉 @deepseek-ai/dsh 0.1.1-rc.2 + 依赖(实测 51 秒)
-cd ../..
-```
-
-> 为什么这一步:dsh runtime 是 vendored 的(`ts/dsh-runtime/`)——
-> 避免 npm 一键分发时把整个 dsh 也打包进去。
-> 之后可以重复使用,无需重装。
-
-#### B. 环境前置 — Prerequisites
+| 你想要的 | 命令 |
+|---|---|
+| 🖥️ 对话规划(推荐) | `npx @danceiny/gotry web` → :3080 对话界面 |
+| 🤖 脚本/一次性问答 | `npx @danceiny/gotry "我想从深圳休整两天,预算 3000"` |
+| 🛠️ 开发者:仓内运行 | 见下方[源码安装](#-快速开始) |
 
-- **Node 22+**(`nvm install 22` 或更高)
-- 一个 LLM API key(默认走 DeepSeek,也支持 OpenAI 兼容协议)
+- 前置:Node 22+;一个 LLM API key。零成本启动——dsh 运行时以 cordis patch 自动挂载,无额外配置。
+- 例外提示:`:3080` 端口被占时先 `kill <PID>`;首启 6–15 秒属正常冷启动;异常退出会留证据到 `gotry-state/incidents.jsonl`(不静默)。
 
-#### C. 配 — Configure
+<details>
+<summary>🛠️ 开发者:源码安装(仓内运行)</summary>
 
 ```bash
-cp .env.example .env
-# 填 LLM_API_KEY(deepseek: sk-...; 也兼容 OpenAI/Anthropic 兼容协议)
+git clone https://github.com/Danceiny/gotry && cd gotry
+cd ts/dsh-runtime && pnpm install && cd ../..    # ① vendored dsh 0.1.2-alpha.1(一次性)
+cp .env.example .env                              # ② 填 LLM_API_KEY
+./gotry web                                       # ③ 仓内入口,同 npm 形态
 ```
 
-#### D. 跑 — Run(仓内入口,开发者)
-
-gotry 把 **DeepSeek Harness (dsh) 运行时**作为唯一推荐面——任何自然语言输入在那里面都能跟 GoTry 正常对话(自动调用引擎、追问缺失字段、给出证据链)。
-
-启动方式有三种,对应三种使用场景:
-
-| 入口 | 命令 | 什么时候用 | 给你什么 |
-|---|---|---|---|
-| **① dsh Web 对话框**(推荐) | `./gotry web` | 第一天上手;持续多轮规划;想看推理过程可视化 | `http://127.0.0.1:3080` 浏览器界面;带 GoTry 人格的对话框 |
-| **② headless 一次性问答** | `./gotry "一句完整任务..."` | 写脚本、CI 自动化、定向 LLM 调试 | stdout 输出 markdown 回答 |
-| **③ help** | `./gotry help` | 不知道用法 | 三行帮助 |
+| 入口 | 命令 | 什么时候用 |
+|---|---|---|
+| dsh Web 对话(推荐) | `./gotry web` | 持续多轮规划,看推理可视化 → :3080 |
+| headless 一问一答 | `./gotry "一句任务"` | 脚本 / CI / 定向调试 → stdout |
+| help | `./gotry help` | 三行帮助 |
 
-```bash
-# 推荐:打开对话框,正常打「我想去大理三天」,看引擎回答
-./gotry web
-#   → http://127.0.0.1:3080,在输入框里像跟 DeepSeek 对话一样打字
+为什么源码模式要先装 runtime:dsh 以 vendored tarball 进 git(`ts/dsh-runtime/`),npm 一键分发不打包它;源码检出读 `.ts` 源码,装完一次重复可用。
 
-# 调试/自动化:直接一问一答,无浏览器
-./gotry "我想从深圳休整两天,预算 3000"
-#   → stdout 拿到引擎判定 + 证据链 + 候选 gate
+</details>
 
-# 不知道用法
-./gotry help
-```
+---
 
-> ⚠️ **dsh 运行时端口冲突**:如果你之前已经手动 `node ...dsh web` 跑过,而后再 `./gotry web`,会因 `:3080` 占用启动失败。要么先 `kill <PID>`,要么直接用已经在跑的那个。
->
-> **dsh 启动耗时**:第一次 cold start 6–15 秒(cordis 组合 + plugin 加载 + LLM 准备);之后热启动 < 2 秒。
->
-> **headless 报错兜底**:意外退出(exit ≠ 0 / signal)会 fsync 一条记录到 `gotry-state/incidents.jsonl`,作为事故证据而不是沉默(D-NEW 进程护栏)。
+## ✨ 它做什么 — What it does
 
-<br>
+GoTry 把「想去哪」变成「能不能、怎么去」:
 
-*One-liner mental model: `npx @danceiny/gotry@rc web` + `.env` 一行 key — done。dsh 对话框是唯一产品面(旧 shell 前端已删除)。*
+| 阶段 | 由谁做 | 给你什么 |
+|---|---|---|
+| **动机访谈** | LLM | 必问项:工作窗口 / 已订资源 / 出发城市 |
+| **事实抽取** | LLM | 工作窗口生效 + 休假语义识别 |
+| **可行性判定** | **Z3 求解器** | 哪些候选可行、哪些不可行、为什么、**最小改动让它可行** |
+| **门到门全成本** | 求解器 | 真实飞行时长(含时差)+ 醒来起夜惩罚 + 接驳代价 + 到达精力 % |
+| **证据链** | 渲染层 | 每个数字带标签:`[骨架:openflights]` / `[实时API:flyai]` / `[静态包:估算]` |
 
-> 一行安装的关键点: `./gotry web`(终端粘贴即用),或 `./gotry "任务"`(一句问答)。**任何自然语言都能用**(这是 dsh runtime 投资的最大价值)。详见 [known limitations](#-known-limitations)。
+**不像普通 AI 聊天**——LLM 只做理解和解释,**判定与算术是数学求解器**算的。
 
+> **Unlike a regular AI chat**, the LLM only translates and explains. **Decisions and arithmetic are computed by a Z3 solver**, not guessed.
 
 ---
 
 ## 🎬 一段对话 — Demo
 
-输入 → 引擎判定 → 输出（真实截图，monospace 保留原味）：
+输入 → 引擎判定 → 输出(真实输出,milliseconds 保留原味):
 
 ```
-> 我想去洱海边发呆两三天，上海出发，预算 3000，年假别让我办公。
+> 我想去洱海边发呆两三天,上海出发,预算 3000,年假别让我办公。
 
 GoTry: 收到。先把约束记下来——
-  • 窗口: 2 天(2026 年窗口)
-  • 出发: 上海
-  • 预算: ¥3000 全含
-  • 动机: 休整 / [escape_rest: 0.7]
-  • 不要求工作窗口(年假)
-  • 还没订任何东西
+  • 窗口: 2 天(2026 年窗口)  • 出发: 上海  • 预算: ¥3000 全含
+  • 动机: 休整 / [escape_rest: 0.7]  • 还没订任何东西
 
 引擎判定:
-
-  **大理·洱海: 现在不行** —— 冲突约束: duration。
-    你的 2 天窗口装不下「至少 5 天的洱海休整」(你之前的画像也有此约)。
-    放宽方案: 把行程延长到 5 天,约 ¥4950。
-  ★已放入「下一次出发」清单: 需 5 天起,3-5 / 9-11 月最佳。
-
-  **千岛湖: 可行** (G7315 06:35 出发,bus 接驳,
-   ¥996,起床 06:35,到达精力 84%,门到门 5h20m,
-   有效休整 4.4h)
-  **太湖: 可行** (G101 09:00 出发,
-   ¥716,起床 07:12,到达精力 84%,
-   有效休整 4.6h)
-
+  **大理·洱海: 现在不行** —— 2 天窗口装不下「至少 5 天的洱海休整」。
+    放宽方案: 行程延长到 5 天,约 ¥4950。★已放入「下一次出发」清单。
+  **千岛湖: 可行** (G7315 06:35 出发,¥996,到达精力 84%,有效休整 4.4h)
+  **太湖: 可行** (G101 09:00 出发,¥716,有效休整 4.6h)
   建议: 千岛湖(意象匹配 80%)。
-  备选: 太湖(¥716,匹配 60%)。
-
-**待你决定**:
-  1. 千岛湖还是太湖?(前者更贴意象,后者更省)
-  2. 出发班次选 G7315(06:35)还是更晚的?
 
 [骨架:openflights] ✓ SZX↔PVG 已校验 [实时API:hbcli] 上海机场在跑
 [静态包:估算] G7315/G7316 价格按 7-8 月淡季估算
@@ -166,12 +94,45 @@ GoTry: 收到。先把约束记下来——
 
 ---
 
+## 🧰 18 个工具 — Tools
+
+| 组 | 工具 | 干什么 |
+|---|---|---|
+| **实时检索(OTA/官方只读)** | `gotry_flyai_search` | 机票/火车/酒店实时报价(飞猪官方通道;酒店价格为上游打码展示,真实价以 jumpUrl 为准) |
+| | `gotry_session_search` | 在**用户本人登录态**里查携程机票(授权后,只读) |
+| | `gotry_session_login` | 登录引导:自动检测已登录与否,未登录才在用户 Chrome 弹登录入口(**零终端**) |
+| | `gotry_weather_check` | Open-Meteo 预报≤16 天 + 历史气候基线 |
+| | `gotry_flight_verify` | OpenSky ADS-B 航班实时观测(三值) |
+| | `gotry_skeleton_check` | OpenFlights 168 对枢纽通航性(三值) |
+| **库存与目录** | `gotry_hotel_search` | hotel-byte 实时桥,降级静态包(证据标注) |
+| | `gotry_anything_search` | 城市/酒店/地标混合目录(hotel-be Anything) |
+| **判定引擎** | `gotry_feasibility_check` | 门到门真成本可行性(Z3),逐候选判定 |
+| **记忆与触达** | `gotry_motivation_save` | 动机画像落盘(evidence 强制,反幻觉) |
+| | `gotry_wish_pool_add` / `gotry_wish_pool_list` | 「下一次出发」愿望池 + 0..1 条件召回 |
+| | `gotry_companion_save` · `gotry_trip_log` | 同行人档案 / 旅行时间线 |
+| **通用外部** | `gotry_web_search` · `gotry_video_subtitle` · `gotry_github_search` · `gotry_agent_reach` | 网页/字幕/GitHub/全渠道外部信息(经 Agent-Reach) |
+
+---
+
+## 🔐 账号会话:授权与隐私 — Account consent
+
+会话检索使用**你本人已登录的 Chrome**读取酒店/机票实时数据,为此立了四条 hard 规则:
+
+1. **登录在外部网站完成** —— gotry 从不提供、不代填、不收集任何密码/验证码/cookie 值。它只回答一个布尔问题:"登录票据 cookie 存在吗"(只读**名字**,0 值过手)。
+2. **授权卡,每会话一次** —— 首次动用账号会话会弹运行时审批卡;批准后会话内记住,拒绝即本会话吊销,不再打扰。总闸 `sessionAccess: ask|allow|off` 随时可关。
+3. **物理只读** —— ReadGuard 在网络层中止一切写请求(下单/支付在传输层不可达),agent 永不接触凭证与验证码;遇到验证码立即停,交还给你。
+4. **绝不劫持你的浏览器** —— 检索/登录只开自己的独立标签页,登录页置前台、留在你那;例行动测试永不自动开浏览器窗。
+
+> 前置(一次性):日常 Chrome 打开 `chrome://inspect/#remote-debugging` 打开开关(Chrome 144+),并保持 Chrome 在线。未开启时工具返回 `needs-attach` 并给出指引,不消耗执行配额。
+
+---
+
 ## 🏛️ 架构 — Architecture
 
 ```
 ┌──────────────────────────────────────────────────────────────┐
 │ L1  对话即界面  chat-as-UI; gates 是消息内选择题                 │
-│ L2  编排  dsh 运行时 + GoTry 插件(ReAct);13 个工具            │
+│ L2  编排  dsh 运行时 + GoTry 插件(ReAct);18 个工具            │
 │ L3  领域  统一行程模型 + Z3 可行性引擎(枚举/Z3 双形态)        │
 │ L4  数据  静态数据包 + hotelbyte-cli 实时桥 + OpenFlights 骨架 │
 │ L5  治理  LoopX(objective / gates / evidence / quota)         │
@@ -180,24 +141,37 @@ GoTry: 收到。先把约束记下来——
 
 | 层 | 模块 | 角色 |
 |---|---|---|
-| L2 | `ts/src/index.ts` (dsh 插件) | 注册 13 个工具,挂 `{{current_date}}`/`{{time_anchor_card}}`/`{{motivation_brief}}` 变量,工具 execute 异常隔离 + 平铺观察 envelope + uncaughtException 护栏 |
-| L3 | `ts/src/unified.ts` · `py/gotry_feasibility/unified.py` | 唯一求解入口(候选枚举 + 航班链 Z3) |
-| L4 | `ts/capabilities/hbcli.ts` | hotelbyte-cli 进程封装 + 降级到 `data/hotels_2026.json` |
-| L4 | `ts/scripts/skeleton-check.ts` | OpenFlights 168 对枢纽,三值语义(阳性/枢纽对否定≠证伪/枢纽外=无结论) |
-
-> 📖 完整 ADR / 演进阶段 / 债务清单见 [`docs/architecture.md`](docs/architecture.md)。
+| L2 | `ts/src/index.ts`(dsh 插件) | 注册 18 工具,挂时间锚点/记忆 brief 变量;execute 异常隔离 + 授权闸 + 进程护栏 |
+| L3 | `ts/src/unified.ts` · `py/gotry_feasibility/` | 唯一求解入口(候选枚举 + 航班链 Z3) |
+| L4 | `ts/capabilities/hbcli.ts` · `skeleton-check.ts` | 实时库存桥 + OpenFlights 骨架(三值语义) |
+| L5 | loopx 治理面 | objective / gates / evidence / quota |
 
+> 📖 完整 ADR / 演进 / 债务清单: [`docs/architecture.md`](docs/architecture.md)
 
 ---
 
-## ⚠️ Known limitations · 已知限制
+## ⚠️ 状态与限制 — Status & limitations
+
+**已就绪(全绿可验)**:
 
-- ✅ **License MIT** (D-1 落地 2026-08-23)
-- ✅ **英文面(工程层)已就绪** — 求解确定性输出面(候选/航班链 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 文档内可考)
+- ✅ **Z3 WASM race 已根治**(`z3-shared.ts` 单实例+会话级互斥;run-all §30 并发回归闸)
+- ✅ **实时机票/酒店/会话检索**已接入:FlyAI 官方通道(机/火/酒;`GOTRY_REALTIME_PRICING=1` 可选把实时票价覆写进求解)
+- ✅ **英文面(工程层)**:`GOTRY_LOCALE=en` 一键切换,en 零缺键,金标准行为不变
+- ✅ **账号会话:授权闸 + 登录产品化 + 自动检测**(见上方 [🔐 账号会话](#-账号会话授权与隐私--account-consent))
+- ✅ License MIT;薄壳遗留已删除(dsh web 唯一产品面)
 
+**未收口(诚实清单)**:
+
+- ⏳ **M3 Exit 未关闭** —— 工程与分发面就绪,但真实种子用户 evidence(50–200 人 cohort)未积累;合成 fixture 只证明合同不证明 business pass
+- ⏳ **中文之外的界面残余** —— dsh web 界面属宿主;工具结果卡与人格对话面的英文校准件挂 M4 校准样本
+- ⏳ **携程酒店/美团会话适配器** —— 机票已通,酒店会话面等登录态实测回填(下一 tick)
+
+<details>
+<summary>📖 展开完整状态表(账本/证据合同/里程碑口径)</summary>
+
+事务化状态账本(ADR-15,`gotry_async_terminal.v1`:4/4→`succeeded`/ledger `settled`/exit 0,非 4/4→`failed`/`failed`/exit 2,终态复诵零重算);双形态架构冻结(ADR-16:本地+Web 一套账本语义,tenant_id 一等字段);会话数据面 #21 的字段 fixture scorer、双源合同与 waiting-attach no-spend 已进确定性回归,真实 sf-01..08 尚未验收;里程碑口径(2026-08-29):M3 工程与分发面已就绪但真实种子用户 evidence 未收口,M4 由 founder 授权并行推进不构成 M3 Exit 证明,M5/M6 仅在各自 Entry gate 满足后启动——细则见 [`docs/roadmap.md`](docs/roadmap.md) 与 [`docs/architecture.md`](docs/architecture.md)。
+
+</details>
 
 ---
 
@@ -214,7 +188,6 @@ GoTry: 收到。先把约束记下来——
 | [`docs/kimi-postmortem.md`](docs/kimi-postmortem.md) | 所有人:真实 AI 旅行规划失败复盘(反面教材) |
 | [`docs/release-notes.md`](docs/release-notes.md) | 历史:每个 tag 的发布闸勾稽 |
 
-
 ---
 
 ## 🧪 跑测试 — Verify
@@ -223,11 +196,7 @@ GoTry: 收到。先把约束记下来——
 ./scripts/run-all-tests.sh
 ```
 
-全栈一次性绿(纯 TS,无 Python 依赖):engine/journey/unified 金标准 · 对话重放 ·
-异步工单跨进程 · 插件 smoke · hbcli · 进程护栏(含工具异常隔离) · 天气 · 航班 ·
-Anything · probePoi · agent-reach(web/deep/wrapper)· 双路径稳定性 ·
-时间感评测(锚点卡/槽位过期校验/评分器/mock 回放;真模型巡检 `time-eval-tests.ts --real`)·
-记忆域(动机合并守门/效用 sidecar/只读指标投影)· **Z3 并发竞态(§30)· 实时票价桥(§31)· i18n 目录(§32)**。
+全栈一次性绿(纯 TS,无 Python 依赖):engine/journey/unified 金标准 · 对话重放 · 异步工单跨进程 · 插件 smoke · hbcli · 进程护栏(含工具异常隔离)· 天气 · 航班 · Anything · probePoi · agent-reach(web/deep/wrapper)· 双路径稳定性 · 时间感评测(锚点卡/槽位过期校验/评分器/mock 回放;真模型巡检 `time-eval-tests.ts --real`)· 记忆域(动机合并守门/效用 sidecar/只读指标投影)· **Z3 并发竞态(§30)· 实时票价桥(§31)· i18n 目录(§32)· M3 cohort 证据合同(§33)· M4 价值证据合同(§34)**。
 
 ---
 
@@ -235,21 +204,17 @@ Anything · probePoi · agent-reach(web/deep/wrapper)· 双路径稳定性 ·
 
 > *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).*
 
-标准开源流程:**`main` 不直接推**——从最新 `main` 切出 `feat/ · fix/ · docs/ · chore/` 分支,本地全栈绿后开 Pull Request,CI（Node 22/24,typecheck + 全部套件）与维护者 review 双绿后 squash 合入。**测试红着不许合。**
+标准开源流程:**`main` 不直接推**——从最新 `main` 切出 `feat/ · fix/ · docs/ · chore/` 分支,本地全栈绿后开 Pull Request,CI(Node 22/24,typecheck + 全部套件)与维护者 review 双绿后 squash 合入。**测试红着不许合。**
 
 - 完整贡献指南(环境搭建 · 测试 · 分支与提交约定 · PR 流程): **[CONTRIBUTING.md](CONTRIBUTING.md)**
 - Bug / 功能建议:[issue 模板](.github/ISSUE_TEMPLATE/bug_report.yml)(搜过既有 issue 再提)
 - 行为或架构改动先立 ADR(`docs/architecture.md` §8);多 agent 协作契约见 [`AGENTS.md`](AGENTS.md)
 
-单套件快捷命令等测试细节见上面的 [🧪 跑测试 — Verify](#-跑测试--verify)。
-
 ---
 
 ## 📜 License
 
-**MIT**（2026-08-23 落定）。与上游 dsh（MIT）/ loopx 一致——宽松、可商用、可闭源分叉。
-
-文本见 [LICENSE](LICENSE)。
+**MIT**(2026-08-23 落定)。与上游 dsh(MIT)/ loopx 一致——宽松、可商用、可闭源分叉。文本见 [LICENSE](LICENSE)。
 
 ---
 
@@ -257,10 +222,10 @@ Anything · probePoi · agent-reach(web/deep/wrapper)· 双路径稳定性 ·
 
 - **English section summaries** are inline above (italic blockquotes).
 - 本 README 主语言是中文,面向中国出境首发种子用户群。
-- 完整英文版 README 计划在 v0.1.0 同步([issue 路线](#-known-limitations))。
+- 完整英文版 README 计划在 v0.1.0 同步。
 
 ---
 
-**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
+**Built with**: DeepSeek Harness 0.1.2-alpha.1 (vendored) · Cordis · Z3 (WASM) · loopx (pipx) · hotelbyte-cli · Agent-Reach v1.5.0 (`.venv/`) · OpenFlights · TypeScript
 
-**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))。
+**Last verified against `v0.0.1-rc.13`(已发布,2026-08-29)** — 全栈回归全绿 §1-§34(发布流程见 `scripts/publish-npm.sh`)。

package/cordis.gotry-patch.yml

@@ -77,10 +77,17 @@
       evidence=用户原话),不等确认;班次/房型/落脚点等开放性选择不外问
       用户——基于已知动机与约束给出最有说服力的方案并说明理由,用户否决
       才改。校准类疑问永不阻塞推进。
-      (19)实时价与班期三级路由:机票/火车班次与票价先 gotry_flyai_search
-      (飞猪官方只读,主链路);关键决策(临近下单/价差存疑)再用
-      gotry_session_search 在用户本人登录态交叉验证,直达/中转分桶比对,
-      不比裸最低价;两源皆不可用退静态包并显式标 [静态包:估算]。
-      会话工具返回 needs-login→请用户跑 scripts/session-login.ts 并
-      继续用官方源推进;返回 challenged→立即停手如实告知,绝不重试
-      绝不绕过。[会话:*] 证据链随结论必达用户。
+      (19)OTA 检索(平铺工具,无预设路由优先级):实时机票/火车用
+      gotry_flyai_search(kind=flight|train),实时酒店报价也用它
+      (kind=hotel;未鉴权价格多为打码如 ¥7xx,如实以区间呈现并请用户到
+      jumpUrl 酒店页核实真实价)。账号会话面 gotry_session_search(用户本人
+      登录态,现携程机票):**首次调用**经运行时审批卡向用户请求授权,本会话
+      内记住、不再重复弹卡;用户拒绝即本会话吊销——不再请求也不再执行,改走
+      其他工具推进;无审批通道(headless)不执行。返回 needs-login→调
+      gotry_session_login 产品工具(先自动检测票据——已登录则直接确认零弹窗;未登录才
+      打开登录入口等待其完成,不需要任何终端命令;**登录永远发生在携程官网、不在 gotry
+      里进行**——gotry 永不收集/存储/传输密码、验证码或任何 cookie 值,只检查
+      "是否已登录"这一个事实;向用户说明这一点),完成前用官方源推进,不反复
+      开页探测;返回 challenged→立即停手如实告知,绝不重试
+      绝不绕过。跨源结论各带来源标注([实时API:flyai@ts]/[会话:ctrip-flight@ts]/
+      [静态包:估算]),分桶比对直达/中转,不比裸最低价;证据链随结论必达用户。

package/dist/capabilities/flyai.js

@@ -1,4 +1,44 @@
 import { spawn } from 'node:child_process';
+export function parseFlyaiItemList(stdout) {
+    let start = -1;
+    let depth = 0;
+    let inString = false;
+    let escaped = false;
+    let sawIncompleteObject = false;
+    for(let index = 0; index < stdout.length; index += 1){
+        const char = stdout[index];
+        if (start < 0) {
+            if (char === '{') {
+                start = index;
+                depth = 1;
+                inString = false;
+                escaped = false;
+                sawIncompleteObject = true;
+            }
+            continue;
+        }
+        if (inString) {
+            if (escaped) escaped = false;
+            else if (char === '\\') escaped = true;
+            else if (char === '"') inString = false;
+            continue;
+        }
+        if (char === '"') inString = true;
+        else if (char === '{') depth += 1;
+        else if (char === '}') {
+            depth -= 1;
+            if (depth !== 0) continue;
+            const candidate = stdout.slice(start, index + 1);
+            start = -1;
+            sawIncompleteObject = false;
+            try {
+                const parsed = JSON.parse(candidate);
+                if (Array.isArray(parsed.data?.itemList)) return parsed.data.itemList;
+            } catch  {}
+        }
+    }
+    throw new Error(sawIncompleteObject ? 'incomplete FlyAI JSON object' : 'no complete FlyAI itemList JSON object');
+}
 function sh(cmd, args, opts) {
     const child = spawn(cmd, args, {
         env: process.env,
@@ -33,6 +73,7 @@ function sh(cmd, args, opts) {
         });
     }).finally(()=>clearTimeout(timer));
 }
+const YMD = /^\d{4}-\d{2}-\d{2}$/;
 export async function flyaiSearch(q) {
     const started = Date.now();
     const ts = new Date().toISOString();
@@ -40,29 +81,56 @@ export async function flyaiSearch(q) {
         kind: q.kind,
         latencyMs: 0
     };
-    const origin = (q.origin ?? '').trim();
-    const destination = (q.destination ?? '').trim();
-    if (!origin || !destination || !/^\d{4}-\d{2}-\d{2}$/.test(q.depDate ?? '')) {
-        return {
+    const argErr = (error)=>({
             ...base,
             ok: false,
             via: 'flyai-error',
             verdict: 'error',
             evidence: `[实时API:flyai@error@${ts}] bad args`,
-            error: 'origin/destination/depDate(YYYY-MM-DD) required'
-        };
+            error
+        });
+    let cliArgs;
+    if (q.kind === 'hotel') {
+        const dest = (q.destName ?? q.destination ?? '').trim();
+        if (!dest) return argErr('hotel 需要 to/destName(目的地中文)');
+        const badPair = (q.checkInDate ? 1 : 0) !== (q.checkOutDate ? 1 : 0) || q.checkInDate && q.checkOutDate && (!YMD.test(q.checkInDate) || !YMD.test(q.checkOutDate));
+        if (badPair) return argErr('checkInDate/checkOutDate 须成对且为 YYYY-MM-DD(未定档期可不带日期先摸底)');
+        cliArgs = [
+            'search-hotel',
+            '--dest-name',
+            dest,
+            ...q.checkInDate && q.checkOutDate ? [
+                '--check-in-date',
+                q.checkInDate,
+                '--check-out-date',
+                q.checkOutDate
+            ] : [],
+            ...q.keyWords ? [
+                '--key-words',
+                q.keyWords
+            ] : []
+        ];
+    } else {
+        const origin = (q.origin ?? '').trim();
+        const destination = (q.destination ?? '').trim();
+        if (!origin || !destination || !YMD.test(q.depDate ?? '')) {
+            return argErr('origin/destination/depDate(YYYY-MM-DD) required');
+        }
+        const sub = q.kind === 'flight' ? 'search-flight' : 'search-train';
+        cliArgs = [
+            sub,
+            '--origin',
+            origin,
+            '--destination',
+            destination,
+            '--dep-date',
+            q.depDate ?? ''
+        ];
     }
-    const sub = q.kind === 'flight' ? 'search-flight' : 'search-train';
     const r = await sh(q.cliBin ?? 'npx', [
         '-y',
         '@fly-ai/flyai-cli',
-        sub,
-        '--origin',
-        origin,
-        '--destination',
-        destination,
-        '--dep-date',
-        q.depDate
+        ...cliArgs
     ], {
         timeoutMs: q.timeoutMs ?? 30_000
     });
@@ -80,21 +148,46 @@ export async function flyaiSearch(q) {
     }
     let items;
     try {
-        const jStart = r.stdout.indexOf('{');
-        const parsed = JSON.parse(jStart >= 0 ? r.stdout.slice(jStart) : r.stdout);
-        items = parsed.data?.itemList ?? [];
-    } catch  {
+        items = parseFlyaiItemList(r.stdout);
+    } catch (e) {
         const raw = r.stdout.replace(/\s+/g, ' ').slice(0, 160);
+        const reason = e instanceof Error ? e.message : String(e);
         return {
             ...base,
             latencyMs,
             ok: false,
             via: 'flyai-error',
             verdict: 'error',
-            evidence: `[实时API:flyai@error@${ts}] parse failed: ${raw}`,
-            error: `failed to parse flyai output as JSON: ${raw}`
+            evidence: `[实时API:flyai@error@${ts}] parse failed(${reason}): ${raw}`,
+            error: `failed to parse flyai output as JSON (${reason}): ${raw}`
+        };
+    }
+    if (q.kind === 'hotel') {
+        const hotels = parseHotelItems(items);
+        const verdict = hotels.length > 0 ? 'hit' : 'miss';
+        return {
+            kind: q.kind,
+            latencyMs,
+            ok: true,
+            via: 'flyai',
+            verdict,
+            evidence: `[实时API:flyai@${ts}] ${hotels.length}/${items.length} hotel options`,
+            hotels
         };
     }
+    const options = parseTransportItems(items);
+    const verdict = options.length > 0 ? 'hit' : 'miss';
+    return {
+        kind: q.kind,
+        latencyMs,
+        ok: true,
+        via: 'flyai',
+        verdict,
+        evidence: `[实时API:flyai@${ts}] ${options.length}/${items.length} ${q.kind} options`,
+        options
+    };
+}
+function parseTransportItems(items) {
     const options = [];
     for (const it of items){
         const seg = it.journeys?.[0]?.segments?.[0];
@@ -115,16 +208,28 @@ export async function flyaiSearch(q) {
             jumpUrl: it.jumpUrl
         });
     }
-    const verdict = options.length > 0 ? 'hit' : 'miss';
-    return {
-        kind: q.kind,
-        latencyMs,
-        ok: true,
-        via: 'flyai',
-        verdict,
-        evidence: `[实时API:flyai@${ts}] ${options.length}/${items.length} ${q.kind} options`,
-        options
-    };
+    return options;
+}
+function parseHotelItems(items) {
+    const hotels = [];
+    for (const it of items){
+        if (!it.name) continue;
+        const rawPrice = String(it.price ?? '');
+        const bare = rawPrice.replace(/^[¥]/, '');
+        const numericPrice = Number(bare);
+        hotels.push({
+            name: it.name,
+            star: it.star,
+            price: /^\d+(\.\d+)?$/.test(bare) && numericPrice > 0 ? numericPrice : 0,
+            priceRaw: rawPrice || undefined,
+            rate: it.rate != null ? String(it.rate) : undefined,
+            address: it.address,
+            poi: it.interestsPoi,
+            hotelId: it.shId,
+            jumpUrl: it.detailUrl
+        });
+    }
+    return hotels;
 }
 
 

package/dist/capabilities/hbcli.js

@@ -115,10 +115,22 @@ export async function searchHotels(query, opts = {}) {
         try {
             const { readFile } = await import('node:fs/promises');
             const pack = JSON.parse(await readFile(fallback, 'utf-8'));
+            const kw = query.destination.trim();
+            const stays = Array.isArray(pack.stays) ? pack.stays : [];
+            const matched = kw ? stays.filter((s)=>JSON.stringify(s).includes(kw)) : stays;
+            if (matched.length) {
+                return {
+                    ...live,
+                    hotels: {
+                        stays: matched
+                    },
+                    summary: `${query.destination}:hbcli 不可用(${live.error ?? live.via}),降级到静态包,命中 ${matched.length} 个住宿块`
+                };
+            }
             return {
                 ...live,
-                hotels: pack,
-                summary: `${query.destination}:hbcli 不可用(${live.error ?? live.via}),降级到静态包`
+                hotels: null,
+                summary: `${query.destination}:hbcli 不可用(${live.error ?? live.via}),且静态包无「${query.destination}」住宿数据(静态包仅覆盖内置场景)`
             };
         } catch  {}
     }