[R1-05] 在有界历史中查找、跳转和取消搜索 #15

交付结果

已按 R1-05 限定合同 验收：当前会话的有界历史可字面量搜索、定位、高亮和前后跳转；持续输出时仍可操作并可取消/替换查询。

实现和范围

稳定行/版本、按值投影、query generation、有界分批扫描与原生 modeless EDIT 已整合。查询上限 4096 UTF-8 字节、窗口最多 1024 命中；精确字面量、可选 ASCII 大小写折叠、不规范化、不重叠；软行连接、硬行 LF。这些是明确项目策略，每 tick 工作量不是完整 UI 延迟预算。

扫描完成后支持全局方向/循环和末尾初选；扫描中用户可显式使用经版本验证的局部命中，显示仍在搜索，不宣称全局末端或循环。该洪流策略不冒充 WindTerm 已观察事实。

最终验收

• 纯模块独立 oracle：Unicode/软硬行、重复/无结果、内容覆盖与相邻行变化、淘汰、query generation、持续输出小预算和容量。
• 普通真实窗口 15 阶段 ×2：原生 EDIT、方向/循环、中文/大小写/无结果、焦点、蓝黄高亮、追加、淘汰与 Escape。
• 流式真实窗口 10 阶段 ×2：实际 running 后局部导航、替换/取消查询、输出中关闭目标，无旧结果回写。
• 50 阶段日志与 manifest 一致；四轮 raw 接收端逐字比较，24 个实际文件负例拒绝，BMP 全尺寸/hash、会话关闭2、Job0/desktop 删除与无 timeout/stderr 均复核。
• 固定源码/产物身份和精简证据已公开，能力矩阵同步。

固定验收源码 6efe3e2，Actions 40010995723，独立 artifact 审计。证据于 c206324 发布；同批最终本地 26/26 CTest 套件通过。

边界

前置 #11/#12 已完成。完整文字动作/DPI 交叉和资源工作流分别由 #17/#18 验收；正则、预览、跨会话、完整 Unicode caseless 和百万行性能归 R4。本项不包含完整 R1 或 WindTerm 性能等价，路标 #6。