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

package/README.zh-CN.md

@@ -0,0 +1,222 @@
+[English](README.md) | [简体中文](README.zh-CN.md)
+
+# GoTry
+
+> **身体和灵魂，更多旅行，更少旅游。**
+> *Body and soul — more travel, less tourism.*
+
+**GoTry 是「从出发到下一次出发」的 AI 旅行 Agent**：你只管说想去哪、为什么出发；它把该问的问清楚，然后让代码替你拍板——能不能去、怎么去、真实代价多少，每个数字都带出处，不靠模型脑补。
+
+[![GitHub Stars](https://img.shields.io/github/stars/Danceiny/gotry?style=social)](https://github.com/Danceiny/gotry/stargazers)
+[![CI](https://github.com/Danceiny/gotry/actions/workflows/ci.yml/badge.svg)](https://github.com/Danceiny/gotry/actions/workflows/ci.yml)
+[![npm](https://img.shields.io/npm/v/@danceiny/gotry)](https://www.npmjs.com/package/@danceiny/gotry)
+[![License: MIT](https://img.shields.io/badge/License-MIT-informational)](LICENSE)
+[![Node](https://img.shields.io/badge/node-%E2%89%A5%2022.15-blue)](https://www.npmjs.com/package/@danceiny/gotry)
+[![Docs](https://img.shields.io/badge/docs-architecture.md-blue)](docs/architecture.zh-CN.md)
+
+**[它做什么](#它做什么)** · **[工作原理](#工作原理)** · **[一段对话](#一段对话)** · **[同题横评](#同题横评)** · **[快速开始](#快速开始)** · **[隐私与可信](#隐私与可信)** · **[状态与路线图](#状态与路线图)** · **[参与开发](#参与开发)** · **[文档](#文档)**
+
+## 它做什么
+
+把「想去哪」变成「能不能去、怎么去、真实代价是多少」。这周末去不了？它不会把你的念头一丢了之——目的地连同一个「满足就再试」的条件一起存进愿望池。
+
+- **给旅行者** —— 先问对人问题（哪几天能走 / 从哪出发 / 预算多少），再给每个目的地一句痛快话：能去、不能去、为什么，以及让它能去的最小改动。
+- **给 Agent 工程师** —— LLM 只负责听懂、翻译、解释；数字由代码算，判决由代码下。交付的每个数字带来源标签；写操作从设计上被闸住。
+
+## 工作原理
+
+模型只占语言密集的两端，数值全部归确定性代码：
+
+```mermaid
+flowchart LR
+  U(["旅行者:「我想去大理躺三天」"]) --> A
+  subgraph LANG["LLM 负责——语言"]
+    A["动机访谈<br/>工作窗口 · 已订资源 · 出发城市"] --> B["事实抽取<br/>工时与休假语义"]
+  end
+  subgraph NUM["确定性 TypeScript 内核——普通候选路径"]
+    C["候选枚举<br/>solveChoiceSegment"] --> D["逐个评估选择<br/>evaluateChoice · 真成本检查"] --> V["选择判决<br/>可行 / 不可行 · 推荐"]
+  end
+  subgraph Z3PATH["独立脚本/控制面入口"]
+    Z["solveUnified<br/>脚本/控制面航班链 · Z3"]
+  end
+  subgraph GATE["闸与记忆"]
+    E["证据链<br/>每个数字带来源标签"] --> F{"事实闸"}
+    F -->|"全部可回溯到 exact-date 工具"| G["交付已验证行程"]
+    F -->|"回溯不到"| H["blocked——绝不冒充已验证"]
+    I[("愿望池<br/>带显式召回条件")]
+  end
+  B --> C
+  V --> E
+  B -.->|"独立脚本/控制面入口"| Z
+  Z --> E
+  V -.->|"今天装不下"| I
+  I -.->|"条件满足,重新枚举"| C
+  classDef llm fill:#1f6feb22,stroke:#1f6feb,color:#1f6feb;
+  classDef solver fill:#2ea04322,stroke:#2ea043,color:#2ea043;
+  classDef gate fill:#d2992222,stroke:#d29922,color:#9e6a03;
+  class A,B llm;
+  class C,D solver;
+  class E,F,G,H,I gate;
+```
+
+架构——同步主链从对话经内核到事实闸，外加状态与异步控制面、只读数据层：
+
+<a href="docs/assets/gotry-system-architecture.html">
+  <picture>
+    <source media="(prefers-color-scheme: dark)" srcset="docs/assets/gotry-system-architecture.dark.png" />
+    <source media="(prefers-color-scheme: light)" srcset="docs/assets/gotry-system-architecture.light.png" />
+    <img alt="GoTry 系统架构——同步主链从对话经 TypeScript 候选枚举、评估与选择到事实闸,另示显式航班链 Z3 路径,外加状态与异步控制面、只读数据层" src="docs/assets/gotry-system-architecture.light.png" />
+  </picture>
+</a>
+
+> 交互版：[`docs/assets/gotry-system-architecture.html`](docs/assets/gotry-system-architecture.html)（archify 生成，showcase 校验通过）。分层：L2 dsh 插件 · L3 `ts/src/unified.ts` 内核 · L4 效应解译 + 实时桥 · L5 loopx 治理。ADR：[`docs/architecture.md`](docs/architecture.zh-CN.md)。
+
+能力分组：
+
+- **证据优先的检索与路由** —— 实时来源与本人浏览器会话保持只读，并明确来源标签、通道健康建议和 fail-closed 事实边界。见[`docs/tools.md`](docs/tools.zh-CN.md)、[`docs/data-sources.md`](docs/data-sources.zh-CN.md)与[会话数据 RFC](docs/rfc/user-session-data-rfc.zh-CN.md)。
+- **产物与本地复核** —— 行程 Markdown／HTML 产物可列出并作为源码阅读；原生预览与显式选择的 Lavish 反馈保持为独立宿主能力。见[产物与 Lavish 契约](docs/design/lavish-local.zh-CN.md#9-注册到产品工具面)。
+- **外部事件** —— W2A 信封默认有界且 inert；监听器与传感器激活仍属于独立接缝。见[外部事件设计](docs/design/external-event-seam.zh-CN.md)。
+
+
+
+## 一段对话
+
+https://github.com/user-attachments/assets/6d537bb7-7992-4cc7-8e89-6f111ef6793b
+
+*说明性 animation-harness 对精简对话的录制——不是 `gotry web` 产品 UI 的真实 E2E（源文件：[SVG](docs/assets/demo.zh-CN.svg) · [webm](docs/assets/demo.zh-CN.webm)）：*
+
+```
+> 我想去洱海边发呆两三天，上海出发，预算 3000，年假别让我办公。
+
+GoTry: 收到。先把约束记下来——
+  • 窗口: 2 天  • 出发: 上海  • 预算: ¥3000 全含
+  • 动机: 休整 / [escape_rest: 0.7]  • 还没订任何东西
+
+引擎判定:
+  **大理·洱海: 现在不行** —— 2 天窗口装不下「至少 5 天的洱海休整」。
+    放宽方案: 行程延长到 5 天,约 ¥4950。★已放入「下一次出发」清单。
+  **千岛湖: 可行** (G7315 06:35 出发,¥996,到达精力 84%,有效休整 4.4h)
+  **太湖: 可行** (G101 09:00 出发,¥716,有效休整 4.6h)
+  建议: 千岛湖(意象匹配 80%)。
+
+[骨架:openflights] ✓ SZX↔PVG 已校验 [实时API:hbcli] 上海机场在跑
+[静态包:估算] G7315/G7316 价格按 7-8 月淡季估算
+```
+
+> 标签：`[骨架:openflights]` 航线经公开航线库校验 · `[实时API:*]` 刚从实时接口拉回 · `[静态包:估算]` 估算，**订前核实**。标签由渲染层附加，模型无权染指。
+
+## 同题横评
+
+同一段真实的跨国 workation prompt（埋了考点：不给年份、模糊指代「万xx」、用户已自行消解的歧义）逐字投喂各家主流 AI，回答逐字存档、对照地面真值打分（[`docs/evaluation/persona-bench/`](docs/evaluation/persona-bench/README.zh-CN.md)）。
+
+| 维度 | 通用助手（Kimi，真实 13 轮） | OTA Agent（飞猪开放平台，单轮） | GoTry 契约 |
+|---|---|---|---|
+| 日历 grounding | ✗ 2025 年历；用户三次纠正、三次道歉式重排 | ✗ 派生星期落 2025 年历，与同页自答自相矛盾 | （2）（8）（9）+时间锚点卡 |
+| 约束访谈 | ✗ 零提问；两个要害约束第 6 轮才由用户说出 | △ 只问销售资质（预算/星级/靠海），必答题零命中 | （1）（10） |
+| 可行性与时间账 | ✗ 密度幻觉，被用户点破 | ✗ 香港办事+当天飞普吉无时间账；「约8小时」与自己的到达时刻矛盾 | （4）+门到门全成本 |
+| 事实可证性 | △ 目的地研究经得起对 | ✗ 停业航司（2020 年歇业）仍在售；价格全部无出处 | （3）（7）（13）（20） |
+| 结构完整性 | △ 第 13 轮才长出像样的对比表 | ✓✓ 单轮骨架最全——完整是基本盘 | 验证过的完整（事实闸） |
+| 人格一句话 | 博学但无状态的聊天者——用户被迫干四份工 | 版式完美的 OTA 导购——每段止于价格表 | 可信赖的行程工程师：访谈先行、求解器判决、不可行明说 |
+
+> **证据边界：**这是定性比较，不是分数表。Kimi/飞猪两列来自存档 transcript（13 轮 vs 单轮）；GoTry 一列是仓库行为契约。不主张排名或提升。
+
+单条最有价值的发现：两家互不相关的产品，星期全落在 2025 年历上——日历锚定必须是产品机制，不是模型运气（[复盘全文](docs/research/kimi-postmortem.zh-CN.md)）。
+
+## 快速开始
+
+```bash
+npx @danceiny/gotry web        # → 浏览器打开 http://127.0.0.1:3080
+npx @danceiny/gotry doctor     # 可选渠道体检(--fix 补装)
+npx @danceiny/gotry "我想从深圳休整两天,预算 3000"   # headless 一问一答
+```
+
+前置 Node ≥ 22.15。LLM key 由 dsh 宿主 UI 配（OpenAI 兼容端点同），gotry 不问也不回显。任何 npm 兼容 registry 皆可；镜像 `latest` 滞后时钉精确版本。仓内请走源码入口 `./gotry web`（裸名 npx 在仓内会失败）。符合条件的启动可能提供一次可选能力检查；CI / 非 TTY 不询问、不安装。onboarding 细节与运维脚本：[`docs/tools.md`](docs/tools.zh-CN.md)。源码安装：`npm ci && npm --prefix ts ci && node scripts/build-dist.mjs`——与 npm 包同一组钉死的 DSH `0.2.0-rc.2` closure。全栈验证：`./scripts/run-all-tests.sh`。
+
+## 隐私与可信
+
+个人桌面账号会话通道用**你本人已登录的 Chrome** 读实时数据，四条规则：
+
+1. **登录在外部网站完成** —— 不碰密码、验证码、cookie 值；只读 cookie **名字**。
+2. **授权卡，每会话一次** —— 拒绝即吊销；总闸 `sessionAccess: ask|allow|off`。
+3. **物理只读** —— ReadGuard 在网络层中止写请求；遇验证码立即停。
+4. **绝不劫持你的浏览器** —— 只开独立标签页；测试永不自动开窗。
+
+前置（一次性）：[Stai Travel Bridge 扩展](https://chromewebstore.google.com/detail/gotry-session-bridge/oeajpiccmonococjcegddlooeeohlbgd)（一键装、自动更新）；未安装时工具返回 `needs-extension` 并附链接，不消耗配额。独立的 HotelByte 员工门户形态可将检索数据发往获准的后端桥，也会在内存中处理一次性供应商登录凭据；详见[扩展隐私政策](docs/ops/extension-privacy.zh-CN.md)。
+
+可信不靠承诺，靠构造：
+
+1. **模型只翻译，代码才判决** —— LLM 不产出可行性判决与算术。
+2. **每个数字带来源标签** —— 渲染层附加，降级如实更换。
+3. **不存在已激活的供应商预订／支付写路径** —— 机制存在但尚未激活；此类工具必须先过 WriteGate。
+4. **回溯不到就是 blocked** —— 无法回溯到 exact-date 工具结果的 claim 绝不交付为「已验证」；锚点带指纹。
+5. **价格 fail-closed** —— 未知模型不猜价；价表只经 PR 变更。
+6. **你的数据是你的** —— 状态在 `gotry-state/`；测试用隔离 state root。
+
+## 状态与路线图
+当前边界：确定性规划与有证据边界的只读能力已经可用；预订与真实用户验收仍不属于当前交付声明。见[架构权威文档](docs/architecture.zh-CN.md)与[路线图](docs/roadmap.zh-CN.md)。
+
+npm `latest`：**v0.0.1-rc.24**。未到 1.0：核心链路已端到端可用；评测仍停留在确定性合同与校验器阶段，无外部分数、无 uplift 声明。外部 W2A 事件仍是合同层、默认 inert；尚无真实 sensor 桥或 consumer 激活。
+
+**今天可用**
+
+- 访谈、确定性可行性判决，以及带门到门真成本的行程。
+- 只读实时检索，事实 typed、与调用绑定，并明确标注来源。
+- tenant-scoped 记忆，覆盖动机、愿望、同行人、时间线与 durable 工单。
+- 从注册的会话事实生成不覆盖的行程 HTML，并提供有范围的自检和经批准的修复路径。
+
+**还没有**
+
+- 当前没有供应商预订或支付路径；未来写入仍受 WriteGate 与可信用户确认约束。
+- 实时可订证据仍部分覆盖，真实用户 cohort 尚未达到退出口径。
+- 英文仍只覆盖求解输出层。
+
+```mermaid
+timeline
+  title 从出发到下一次出发
+  M0 ✅ : 确定性管道——双引擎对账
+  M1 ✅ : Agent 形态——对话即界面
+  M2 ✅ : 实时数据——证据链换实时标签
+  M3 ◀ 当前 : MVP——最小 Web 面 + 50–200 种子用户,evidence 未收口
+  M4 : 记忆与「下一次出发」——愿望池 · cohort 证据
+  M5 : 交易闭环——WriteGate 闸下的预订
+  M6 : B2B 包裹——内核零改动的 sponsor 插件
+```
+
+里程碑进出闸：[`docs/roadmap.md`](docs/roadmap.zh-CN.md) · 工程状态：[`docs/architecture.md`](docs/architecture.zh-CN.md) · 逐版本决策：[`docs/release-notes.md`](docs/release-notes.zh-CN.md) + [CHANGELOG.md](CHANGELOG.md)。
+
+## 参与开发
+
+从最新 `main` 切 `feat/ · fix/ · docs/ · chore/` 分支，typecheck + 全栈回归全绿后开 PR。**测试红着不许合。** 指南：[CONTRIBUTING.md](CONTRIBUTING.zh-CN.md)。
+
+AI agent：[`AGENTS.md`](AGENTS.zh-CN.md) 是绑定契约——入场先清扫异步工单 · 算术只在 evaluate 层、求解只在 `unified.*` · 绝不写共享状态（`ts/dsh-runtime/gotry-state/`）· 只更新 `architecture.md` §11 定义的受影响文档权威 · 只暂存具名文件，禁止 `git add -A`。
+
+## 文档
+
+每篇文档以双语对（英文 `x.md` + 中文 `x.zh-CN.md`）为准绳，成对不一致视为 bug（机器生成的 `CHANGELOG.md` 与工具自管的 `superpowers/` 豁免）。
+
+| 文档 | 内容 |
+|---|---|
+| [`docs/architecture.md`](docs/architecture.zh-CN.md) | 系统 / ADR / 演进 / 债务（权威） |
+| [`docs/roadmap.md`](docs/roadmap.zh-CN.md) | M0–M6 时间线与当前位置 |
+| [`docs/user-guide.md`](docs/user-guide.zh-CN.md) | 终端用户使用指南 |
+| [`docs/tools.md`](docs/tools.zh-CN.md) | 工具参考面：契约 · 路由 · onboarding |
+| [`docs/data-sources.md`](docs/data-sources.zh-CN.md) | 数据源与证据链政策 |
+| [`docs/release-notes.md`](docs/release-notes.zh-CN.md) | 逐版本发布决策（「为什么」） |
+| [`CHANGELOG.md`](CHANGELOG.md) | 机器衍生变更日志 |
+| [`docs/README.md`](docs/README.zh-CN.md) | 文档规范与总索引 |
+
+## License
+
+**MIT**——与上游 dsh 一致。文本见 [LICENSE](LICENSE)。
+
+**Built with**: DeepSeek Harness 0.2.0-rc.2 (root-pinned) · Cordis · Z3 (WASM) · loopx (pipx) · hotelbyte-cli · Agent-Reach v1.5.0 · OpenFlights · TypeScript
+
+**版本基线：`v0.0.1-rc.24`（npm `latest`）。** 验证闸：`scripts/run-all-tests.sh`；发布流程：`scripts/publish-npm.sh`。
+
+<a href="https://www.star-history.com/?repos=danceiny%2Fgotry&type=date&legend=top-left">
+ <picture>
+   <source media="(prefers-color-scheme: dark)" srcset="https://api.star-history.com/chart?repos=danceiny/gotry&type=date&theme=dark&legend=top-left" />
+   <source media="(prefers-color-scheme: light)" srcset="https://api.star-history.com/chart?repos=danceiny/gotry&type=date&theme=light&legend=top-left" />
+   <img alt="Star History Chart" src="https://api.star-history.com/chart?repos=danceiny/gotry&type=date&legend=top-left" />
+ </picture>
+</a>

package/bin/gotry-backend.js

@@ -0,0 +1,53 @@
+#!/usr/bin/env node
+/** Standalone GoTry backend — one service, modules mount routes (booking-copilot, session-search). */
+
+import { existsSync, readFileSync } from 'node:fs'
+import { dirname, join } from 'node:path'
+import { fileURLToPath, pathToFileURL } from 'node:url'
+
+const here = dirname(fileURLToPath(import.meta.url))
+const root = join(here, '..')
+const entryPath = join(root, 'dist/src/gotry-backend.js')
+
+function safeError(error) {
+  let message = error instanceof Error ? error.message : String(error)
+  for (const secret of [
+    process.env.GOTRY_BOOKING_COPILOT_API_KEY,
+    process.env.GOTRY_BACKEND_SESSION_API_KEY,
+    process.env.DEEPSEEK_API_KEY,
+    process.env.LLM_API_KEY,
+  ]) {
+    if (secret) message = message.replaceAll(secret, '[REDACTED]')
+  }
+  return message.slice(0, 512)
+}
+
+async function main() {
+  if (!existsSync(entryPath)) throw new Error('gotry_backend_compiled_runtime_missing')
+  const artifactPath = join(root, 'ARTIFACT_ID')
+  if (existsSync(artifactPath)) {
+    const artifactId = readFileSync(artifactPath, 'utf8').trim()
+    if (!/^[0-9a-f]{40}$/.test(artifactId)) throw new Error('gotry_backend_artifact_id_invalid')
+    process.env.GOTRY_BOOKING_COPILOT_ARTIFACT_ID = artifactId
+  }
+  const backend = await import(pathToFileURL(entryPath).href)
+  const handle = await backend.startGotryBackendFromEnvironment(process.env)
+  process.stderr.write(`[gotry-backend] listening on http://127.0.0.1:${handle.port}; modules=${handle.moduleNames.join(',')}\n`)
+
+  let stopping = false
+  const stop = () => {
+    if (stopping) return
+    stopping = true
+    void handle.close().then(() => process.exit(0), (error) => {
+      process.stderr.write(`[gotry-backend] shutdown failed: ${safeError(error)}\n`)
+      process.exit(1)
+    })
+  }
+  process.once('SIGINT', stop)
+  process.once('SIGTERM', stop)
+}
+
+main().catch((error) => {
+  process.stderr.write(`[gotry-backend] startup failed: ${safeError(error)}\n`)
+  process.exitCode = 1
+})

package/bin/gotry-booking-copilot.js

@@ -0,0 +1,53 @@
+#!/usr/bin/env node
+/** Standalone, BFF-only Booking Copilot HTTP/SSE service. */
+
+import { existsSync, readFileSync } from 'node:fs'
+import { dirname, join } from 'node:path'
+import { fileURLToPath, pathToFileURL } from 'node:url'
+
+const here = dirname(fileURLToPath(import.meta.url))
+const root = join(here, '..')
+const startupPath = join(root, 'dist/src/booking-surface/startup.js')
+
+function safeError(error) {
+  let message = error instanceof Error ? error.message : String(error)
+  for (const secret of [
+    process.env.GOTRY_BOOKING_COPILOT_API_KEY,
+    process.env.DEEPSEEK_API_KEY,
+    process.env.LLM_API_KEY,
+  ]) {
+    if (secret) message = message.replaceAll(secret, '[REDACTED]')
+  }
+  return message.slice(0, 512)
+}
+
+async function main() {
+  if (!existsSync(startupPath)) throw new Error('booking_copilot_compiled_runtime_missing')
+  const artifactPath = join(root, 'ARTIFACT_ID')
+  if (existsSync(artifactPath)) {
+    const artifactId = readFileSync(artifactPath, 'utf8').trim()
+    if (!/^[0-9a-f]{40}$/.test(artifactId)) throw new Error('booking_copilot_artifact_id_invalid')
+    process.env.GOTRY_BOOKING_COPILOT_ARTIFACT_ID = artifactId
+  }
+  const startup = await import(pathToFileURL(startupPath).href)
+  const config = startup.resolveBookingCopilotStartupConfig(process.env)
+  const handle = await startup.startBookingCopilotFromEnvironment(process.env)
+  process.stderr.write(`[gotry-booking-copilot] listening on http://${config.host}:${handle.port}/a2a/booking-copilot/turn\n`)
+
+  let stopping = false
+  const stop = () => {
+    if (stopping) return
+    stopping = true
+    void handle.close().then(() => process.exit(0), (error) => {
+      process.stderr.write(`[gotry-booking-copilot] shutdown failed: ${safeError(error)}\n`)
+      process.exit(1)
+    })
+  }
+  process.once('SIGINT', stop)
+  process.once('SIGTERM', stop)
+}
+
+main().catch((error) => {
+  process.stderr.write(`[gotry-booking-copilot] startup failed: ${safeError(error)}\n`)
+  process.exitCode = 1
+})