搜索记忆
搜索是「先资格、后排序、最后按预算装箱」的只读操作。查询本身不会记录曝光、改变记忆真值或调用模型。
一次查询如何完成
Section titled “一次查询如何完成”| 步骤 | 输入或动作 | 输出 |
|---|---|---|
| 1. 定义范围 | 当前工作区、scope_epoch、known_at、valid_at |
明确的 Query |
| 2. 资格筛选 | 状态、来源支持、时间和作用域 | 可读取的 Claim 候选 |
| 3. 生成候选 | 词法、实体和可选语义索引 | 带分数的候选 |
| 4. 排列与装箱 | 相关性排序、max_items、max_bytes |
有界 MemoryPack |
| 5. 展示前复核 | revision、epoch、来源和大小 | 可交给 Cue、问答或回顾的快照 |
没有明确作用域时，查询不会扩大到其它工作区。候选索引只能加速查找，不能绕过第 2 步的资格门。
| 信号 | 做什么 | 适合回答 |
|---|---|---|
| 作用域 | 限制在当前工作区或明确授权的全局偏好 | 避免不同项目互相混入 |
| 状态与来源 | 排除被纠正、冲突、失效、遗忘或失去依据的 Claim | 当前能否可靠使用 |
| 词法 | 用 BM25 风格统计和中文相邻双字词匹配原词 | 名称、编号和事实查找 |
| 实体 | 使用真实的人物、项目和来源连接增强候选 | 关于某个人或项目的问题 |
| 语义 | 接收作用域和版本一致的可选语义候选 | 概念相近但用词不同的问题 |
| 时间 | 根据 known_at、valid_at 和 Transitions 判断状态 |
「什么时候」「现在是否仍然」 |
多个通道合并时，每个通道只贡献一次确定性排名。Grounded 只表示引用片段仍可读取，不表示模型推断已经被语义证明。
Cue、问答和检查页
Section titled “Cue、问答和检查页”| 查询模式 | 会返回什么 | 典型入口 |
|---|---|---|
Cue |
Current + Grounded 的当前记忆 |
停顿建议、原位续写 |
Inspect |
用于核对的完整状态，包括部分支持或历史项 | 记忆列表、来源和图谱 |
| 恢复 | 用户确认的决定和承诺，再加近期有依据的事实 | query_resume |
| 偏好 | 用户明确确认的偏好 | query_preferences |
query_resume 不用问题文本的相似度假装待办事项；query_preferences 也不会自动读取其它工作区。
max_items限制返回条目数。max_bytes计算序列化items数组的 UTF-8 字节。- 放不下的完整条目会跳过，不会截断一句 Claim。
- 记忆包是某个 revision 上的快照；删除、纠正或切换工作区后必须重新查询。
桌面 Cue 会把结果转换为有界的 TabFuel。显示前和按 Tab 接受前，ProductMemoryService::validate_pack 会重新比较作用域、revision、epoch、有效性、来源和序列化大小。输入、焦点、插入点或工作区变化时，旧提示会被清除。
明确的 / 问答可以继续读取当前输入和按需工具结果。它与自动 Cue 共用同一记忆资格规则，但问题本身是用户主动触发。
| 关注点 | 代码证据 |
|---|---|
| Query 资格、时间和预算 | crates/harocue-memory/src/retrieval.rs |
| 版本绑定的词法索引 | crates/harocue-memory/src/indexed.rs |
| 语义向量适配约束 | crates/harocue-memory/src/semantic.rs |
| 工作区、恢复和偏好查询 | crates/harocue-runtime/src/product_memory.rs |
| Cue 燃料、焦点绑定和接受前复核 | crates/harocue-runtime/src/completion_engine.rs |