texo

取代：参见 [ADR-003](ADR-003-single-crate-rebuild.md)。 texo 是为团队和代理提供的主张链内存。它摄入 markdown，记录 BatPak 日志中的类型主张，用收据取代过时的主张，并通过 CLI、HTTP、SSE、 和静态编译表面重放确定性的当前上下文。 Git 跟踪代码差异。texo 跟踪主张差异。 参见 [INTELLIGENCE.md](INTELLIGENCE.md) 了解基于代理的 Git/代码工作流、覆盖范围合约、限制和独立可复制的证明。 ## 快速入门 ```sh texo install --workspace demo texo ingest README.md texo doctor --deep ``` `texo install` 是幂等的。它在 `.texo/` 下写入客户端中立的 MCP 和 advisory-hook 清单，检测现有的 Codex、Claude Code 和 Cursor 项目配置，仅合并 Texo 拥有的条目，并在 `AGENTS.md` 中添加一个受管理的块。使用 `--dry-run --json` 预览；使用 `texo 删除仅有的受管理的，或使用 `texo uninstall --client <codex|claude>` 选择一个适配器。Texo 记录它创建的空适配器文件，因此卸载会删除这些文件，而不会删除预先存在的用户 shell。 从此源码检出，一个完整的干净演示是： ```sh just demo-fresh just demo-intelligence ``` 发布证据可以通过 `just measure-intelligence` 复制，文字外部固定兼容性矩阵可以通过 `just verify-old-store` 复制。后者会在不可变的 0.9 固定存档不可用时故意失败；`test-invariants` 是基板烟雾覆盖，而不是旧存储证明。 多工作区范围存在于 `.texo/config.toml` 下的 `[workid>]`。在任何 CLI 命令上使用 `--workspace <id>`。 ## 命令 - `texo init --workspace demo` 创建 `.texo/config.toml` 和存储。 - `texo ingest <path>` 记录源和主张事件。 - `texo claims`、`texo agent-context`、`texo check-staleness <path>`、`texo conflicts` 和 `texo verify` 是重放的读取表面。 - `texo relate` 在存在 `TEXO_LLM_API_KEY` 时运行语义关系传递。 - `texo index` 冻结 Git 源并生成有界代码索引；`texo reconcile` 然后评估缓存的、有界的主张↔代码提议，并仅记录策略接受的精确证据。 - `texo compile --out public` 编写静态 onboarding trophy。 - `texo serve` 运行同步 HTTP 内存代理服务器。 - `texo extract <doc.md>` 运行 LLM 提取器并写入 NDJSON。 - `texo session export <id>` 将车道日记记录的记录写入 stdout。 - `texo mcp` 运行只读行分隔 MCP stdio 服务器。 - `texo ops list` 和 `texo ops describe>` 在不搜索源代码的情况下发现类型化的操作表面。 - `texo doctor [--deep] [--fix]` 组成配置、存储、投影、网关和代理安装诊断。`--fix` 仅触及 Texo 管理的文件。 - `texo backup create <dest>` 使用 BatPak 快照证据创建新的日记/配置备份texo backup verify <dest>` 在离线检查它；o --root <fresh backup restore <source>` 验证、复制、验证恢复的链，并原子地发布新的工作区，而不使用缓存或代理客户端配置。还原拒绝现有的根。创建打印 `manifest_hash_hex`；存储该值在备份之外，并传递 `--expect-manifest-hash <hex>` 以检测协调重写。没有的别针，验证检测到损坏和不完整的发布，而不是清单的伪造。 ## 代理工具 MCP 目录故意保持小，并逐渐披露详细信息： 1. `get_agent_context有界的当前上下文和证据。 2. `search_knowledge` 在一个快照中执行有界的、基于光标的发现。 3. `explain_knowledge` 将一个项目扩展为出处和转换证据。 4. `triangulate` 在信任目标之前检查工作区相对目标。 5. `get_workspace_status` 报告前沿、新鲜度和结算状态。 所有五个工具都是只读的。成功的调用包括简洁的文本和带有`、`data`、`meta` 和 `next_actions` 的 `structuredContent`；失败的调用带有提交/重试/恢复事实。已安装的钩子也是固定的只读 Texo 命令 - 永远不是工作区提供的 shell 命令。 ## 单 crate 映射 - `src/events/` - v2 载荷、转换机、坐标、ID。 - `src/claims/` - 每个实体的投影和确定性的工作区视图。 - `src/extract/` - markdown 启发式、LLM 提取、一次性缓存。 - `src/semantics/` - 兼容 OpenAI 的语义后端和聊天构建器。 - `src/reconcile.rs` - 有界文档↔代码候选和仅策略提议。 - `src/ops/` - 同步操作处理程序和 Texo 效果后端。 - `src/host/` - 存储打开、操作组成、规范指纹。 - `src/surfaces/cli/` - CLI 解析和渲染器。 - `src/surfaces/http/` - 自制同步 HTTP/1.1 服务器/客户端和 SSE。 - `src/surfaces/mcp_stdio.rs` - 同步 MCP JSON-RPC 2.0 stdio 表面 内存代理 运行： ```sh cargo run --o -- serve --rootworkspace memory ``` 服务器 - `GET /` 用于 UI（存在时为 `ui/dist`，否则为嵌入式备用）。 - `POST /api/chat` 用于基于模型的聊天，基于当前主张。 - `GET/memory` 用于重放快照。 - `POST /api/session/end` 用于摄入会话记录。 - `GET /api/stream` 用于 LiteShip 兼容的 SSE 日志信号。 会话回合是 BatPak 车道事件。它们立即持久化，隐藏在车道-0 主张投影中，只有在会话结束记录摄入后才成为正常主张。日记就是会话。 ## Helios 演示 `examples/helios/docs/` 中的 Helios 语料库包含相互矛盾的部署、所有权和存储主张。语义管道提取、关联、取代并编译为 [`examples/helios/onboarding.generated.md`](examples/helios/onboarding.generated.md)。 ```sh TEXO_LLM_API_KEY=sk-... just demo-helios ``` 一次性记录缓存存在于 `.texo/cache/` 下，因此缓存运行在没有网络的情况下重放。始终开启的冻结守卫是： ```sh cargo test --test helios_frozen ``` ## 这不是什么 texo 不是数据库服务器、共识系统、Slack 爬虫、Google Docs 克向量数据库或通用 LLM 提取框架。模型是可选在追加边界处记录一次感知。日记仍然是源头真相。 ## 许可证 根据 [Apache License, Version 2.0](LICENSE-APACHE) 或 [MIT license](LICENSE) 之一许可，由您选择。