C14.13 done (R2 ok)

Co-Authored-By: Claude Opus 5.5 (1M context) <noreply@anthropic.com>

apps/ely-mark/src/folder.rs

@@ -56,7 +56,8 @@ pub struct Hit {
 
 /// `ch` without case; final sigma folds as Unicode does.
 fn fold(ch: char) -> impl Iterator<Item = char> {
-    ch.to_lowercase().map(|low| if low == 'ς' { 'σ' } else { low })
+    ch.to_lowercase()
+        .map(|low| if low == 'ς' { 'σ' } else { low })
 }
 
 /// Where folded `query` starts in `line`, in characters.

tasks/TASKS.md

@@ -110,7 +110,7 @@
 - [x] C14.10 附件（MARK-07）：拖放与粘贴图片复制到文档旁 `assets/`，在插入点写相对链接 — R1 FAIL 两项已修：文件名里的换行使图片链接断成两段（控制字符换成空格，以 markdown-rs 核对为一张图）；非规范文字的文件名生成错的地址（复制前即拒绝并说明）。R2 ok
 - [x] C14.11 外部修改（MARK-08，§14.4，QA-22）：干净即重载并保持位置，有改动即比较，合并结果为一步撤销；改名、删除、读错照旧 — R1 FAIL 两项已修：保留修改时间的原子替换不被察觉（指纹加上文件身份）；迟到的旧读取覆盖新版本（读盘编号，落定前核对磁盘）。R2 ok
 - [~] C14.12 书写视图（MARK-09）：专注模式、打字机滚动、正文宽度、字体、字号，存 `look.json`，不改 Markdown — R1 FAIL 已修：打开的块不随字号；首末块与首末行不能居中；缩放后不重新居中。R2 FAIL 已修：源码的上下内边距缩小了列表可见区，居中行以下不画，输入法与点按坐标错开半屏（改为列表首尾的空行）；切换模式的定位覆盖居中。R3 FAIL 已修（三轮用尽，未再审）：编辑器的居中记录只看行号，模式往返、再次跳到同一行、小幅缩放后不再居中（记录加上视图与行高，定位落定后清掉编辑器的记录）
-- [ ] C14.13 搜索（MARK-10）：本文件与文件夹，结果跳到该行该处
+- [x] C14.13 搜索（MARK-10）：本文件与文件夹，结果跳到该行该处 — R1 FAIL 已修：查询整串转小写，原文逐字转小写，词尾 σ 对不上（两边逐字折叠，ς 同 σ）。R2 ok
 - [ ] C14.14 输出（MARK-11）：自包含 HTML、带资源文件夹的 HTML、纯文本（markdown-rs）、PDF（MuPDF Story，经 `ely-pdf-worker`）、打印、富文本复制；缺图、错公式、画不出的图随导出提示
 - [ ] C14.15 会话恢复（MARK-12）：标签、未保存内容、模式、插入点、滚动、视图设置
 - [ ] C14.16 Git 配合与验收（MARK-13）：状态栏 Git 状态与打开 ElyTree 照旧；三端构建，ElyMark 冒烟；逐条核对 MARK-01 至 14、QA-21、QA-22、PERF-07

tasks/reviews/C14.13-r2.md

@@ -0,0 +1 @@
+PASS