133 Commits

Author	SHA1	Message	Date
JianFeeeee	b1eb0ab0c9	feat(criteria): ⑤b 负向清单的**两处副本**都要有守 —— 关掉我在 4598095 里明确留下的那条尾巴 ... `4598095` 结尾我写了「§7 那条同类无守…不在这条提交里改」—— 这条把它关掉。 ## 形状（pi `7ec0044a` 指出，我逐条验证） 「已装二进制 = 当前 HEAD —— 不覆盖: ①脏树构建 ②部署后手工替换」这句话有**两份副本**: ``` deploy/check-deploy-drift.mjs `negative` 常量 + 自检格 ← **有守** deploy/redeploy-gateway.sh:480 注释 + `ok` 文案（§7） ← **无守** ``` 实测: ``` grep '已装二进制 = 当前 HEAD' 全仓 ⇒ **只命中 redeploy-gateway.sh 那一行** redeploy-gateway.sh 的 `--self-check` 出现次数 = **0**（参数只有 --skip-tests/--skip-web/--dry-run/--help） ⇒ 同一个动作、同一句"不覆盖"的声明，**一处有守、一处没有** ``` ★ 而**无守的那份恰是部署时打印到屏幕上的那份** —— 读者看到的就是它。 ## 判据 `criteria-hygiene` 新增：两份副本都必须同时点名同一对失败类（`脏树` / `手工替换`）。 **变异验证**（两侧都验）: ``` shell 那份删掉"手工替换"（注释与 ok 文案都删）⇒ 该判据 **红**，点名 `redeploy-gateway.sh 未点名「手工替换」` ✓ 恢复 ⇒ 绿 ✓ ``` 固定 8 → **9**，已同步 `run-all.mjs`。 ## 归族 与上一条（发现路径）**同族**: 都防「**声明的副本**没有守卫」。 区别: 上一条防"没人知道工具存在"，这一条防"**声明漂了没人知道**"。 ★ pi 的 ⑬″ 判法在这里的用法：先问"这句声明**在 R 内还是 R 外**"—— 「不覆盖②」属于 R 内（该判据确实回答不了内容替换）⇒ 它不是"划出宣称"就能了事， 而是**必须说出来**，所以两处副本都要保住这句话。 验证: `criteria-hygiene` 9/9；`bash -n deploy/redeploy-gateway.sh` 未受影响（本提交没动它）。	2026-09-25 07:16:26 +08:00
JianFeeeee	0c6c506d7a	feat(criteria): 新建「非门禁工具必须有**发现路径**」判据 —— 补上改名制造的盲区（pi a6dd501c） ... pi 指出、我复现的一个**盲区**：`check-*.sh` 族靠命名约定被 `readdirSync` 强制接线 （上一条判据管的就是"判据在但走不到"）。★ 而这条约定的**代价**是： **为了躲开它而改名之后，没有任何判据管"改名后还找不找得到"**。 ``` 实测（我独立复现）: recount-relay-counts.sh 非自身引用 = 1（只有 docs/DEBTS.json） archive-stale-sessions.sh 非自身引用 = **0**（全仓只命中它自己） 对照: prune-deploy-artifacts.sh 在 docs/DEV-TOOLING.md:71 有**专节** ⇒ 那才是它被找到的原因 ⇒ 两个机制不同、都要有: check-* 族: 「判据在但**走不到**」（**执行**路径）—— readdirSync 强制 按需工具 : 「工具在但**没人知道它存在**」（**发现**路径）—— 本判据 改名正好绕开前者 ⇒ 后者必须独立存在 ``` ## 判据 `criteria-hygiene` 新增：每个非门禁 `deploy/*.sh` 至少要有**一处非自身引用** （扫 docs/deploy/test/.githooks/scripts 的 .md/.mjs/.sh/.json，用 `prose()` —— 判的是散文）。 含反空真护栏（工具数 <2 报红）。 固定 7 → **8**，已同步 `run-all.mjs` 的登记数。 ## ★★★ 建这条判据时我自己先假绿了一次（已修，值得记） 第一版判绿了，而 `archive-stale-sessions.sh` **明明是零引用**。原因: ``` 我的判据注释里写着「archive-stale-sessions.sh —— 非自身引用 = **0**」 ⇒ 判据扫"文件里有没有出现这个名字" ⇒ **它自己那句描述**被数成 1 个引用 ⇒ 一个零引用的孤儿**因为被描述成孤儿**而看起来有引用 ⇒ 判绿 ``` 修法：扫描时**排除观察者自身**（`resolve(p) !== resolve(fileURLToPath(import.meta.url))`）。 ⚠️ 我第一版排除的是 `SELF`，而本文件里 `SELF` 指的是 `lib/read.mjs`（另一个文件的变量） ⇒ 排错了对象，仍然假绿。**"我知道要排除自己"和"我排除的是自己"是两件事。** 泛化：**任何"扫全仓找引用"的判据都必须排除观察者本身**， 否则"描述缺陷"与"存在引用"不可区分（与 `stripComments` 那条同源）。 ## 变异验证（两侧都验，不只验绿） ``` 删掉 DEV-TOOLING 的"按需工具"整节 ⇒ 该判据 **红**（报出 archive-stale-sessions.sh）✓ 恢复 ⇒ 绿 ✓ ``` ## 顺带 `docs/DEV-TOOLING.md` 加「按需工具」一节，逐个列出发现路径（5 个工具）+ 两个机制的对照表。 验证: `criteria-hygiene` 8/8；`run-all --test criteria-hygiene` 该文件不在红名单。 （另 4 个红文件为**既有**、与本改动无关: build-stamp 是前端产物未重建（expected 9e05322 / actual 6c98ac2）、commit-hygiene 是 AGC 配置、cross-client-gesture 需设备、cross-client-theme 单独跑 21/21 绿 —— run-all 里那次红来自环境差异。）	2026-09-25 07:13:04 +08:00
JianFeeeee	187609480f	跨端: 鸿蒙修收信/自动已读/发件箱点开 + 页签条通透（用户报的四个问题） ... 用户报了四个问题，逐个实测复现 → 定位根因 → 修 → 设备复验： ① 「邮件点进去自动已读的能力不正常」 根因：鸿蒙只有「标记已读」按钮（doMarkRead，对照 WebUI MailView.tsx:522 那个手动按钮），缺 WebUI 的**自动**路径（MailView.tsx:55-65 的 useEffect： 可见且 unread 就 markRead）。⇒ 点开邮件不变已读，必须再点按钮。 修：MailDetailPage.loadMail 成功尾端按 `status==='unread'` 触发 doMarkRead （复用按钮那条路，因而天然带上「就地改 status」+「失败弹 toast」）。 ★ 加 autoReadMailId 守卫：WebUI 靠 useEffect 依赖数组天然只跑一次， 鸿蒙 loadMail 是显式调用的（下拉刷新会重跑），不守会重复打接口。 ② 「接收邮件的能力也有点不正常」 三个独立缺口，每个都会单独造成"收不到"： a) **SSE 监听寿命**：原挂在 InboxTab.aboutToAppear，而三个 tab 是 if/else 条件挂载的 ⇒ 切到发件箱/授权时 InboxTab 被销毁、监听跟着 移除 ⇒ 在那两栏时收不到任何新邮件。搬到 MainPage（@Entry，全程在）。 b) **只处理 new_mail**：WebUI 监听 5 种事件（sse.ts:7-13 的 EVENTS）； 服务端权限决策后发的是 session_update（permission.go:387）⇒ "授权栏里处理过的申请，收件箱还是旧的样子"。补齐四种。 c) **UTF-8 解码错**：arrayBufferToString 逐字节 String.fromCharCode （Latin-1 语义）⇒ 中文解成乱码。改用 util.TextDecoder + stream:true， 且**每连接一个实例**（stream 会把半截汉字存在解码器内部， 共享实例会把两个账号的半个字拼在一起）。 ③ 「发件箱内容点不开」（第二轮；5483140 补了 onClick 仍点不开） 根因：发件箱对单封组**既画组头又画行**—— this.SentGroupHeader(g); if (isFlatGroup(g)) { this.SentRow(...) } 组头那半张卡没有任何点击处理 ⇒ 点卡片上半部完全无反应。 而 isFlatGroup 自己的注释写着「单封不成组：套一个可折叠的组头只是 多一次点击」—— 实现与注释**直接相反**。收件箱一直是正确形状 （if (isFlatGroup) { MailRow } else { 组头 + 子行 }）。 修：与收件箱取同形，单封组只画 SentRow。 ④ 「通信页面我觉得没有 webui 那么通透」 这是我自己上一轮改错的：把 WebUI 的「页签条无背景」实现成了 `backgroundColor(Theme.surface)` 实心白。WebUI 的真实层叠是 .comm-pane 是玻璃卡、CommTabs 在它内部且**自己无背景**（透出卡的白）。 铺实心白 = 把玻璃卡换成横条白 ⇒ 壁纸再也透不过来。 ⇒ 改回玻璃族（Theme.navMaterial，与底部导航条同档）+ 通栏 + 只左上圆角（右上 0，与窗格那道弧重合）+ 底边线。 判据 harmony-nav.test.mjs:732 在我改错时当场判红，是它先抓到的。 判据（变异验证：还原 bug → 必须判红） - 新增「单封组不许既画组头又画行」：两栏的 (header, row) 对必须在 else/三目里二选一。 ★ 第一版写弱了（用 isFlatGroup(g) 作锚点往后切片，组头在切片之前 ⇒ 变异测不红）。改成以**行调用**作锚点往两边开窗后，删掉修复 即判红（实测已验）。 - 新增「列表行必须把 onClick 挂在自己身上」（MailRow/SentRow）。 - harmony-logic 34→37、harmony-nav 22（新增后仍绿）、 harmony-appearance 27→28、animation-audit 12→15 的登记数同步。 设备复验（全部有实测凭据，不是推断） - 自动已读：点开前 unread → 点开 4s 后服务端 read（连验两封）。 列表组头 4→2、侧栏徽标 4→2，三处数字一致。 - 实时收信：App 保持前台不重启，从 gateway 发信 ⇒ 8s 内自动出现 （新卡片 + 侧栏 2→3 + 页签 2→3 + 3 组 8 封）。 - 发件箱点开：点原先点不动的卡片上半区 ⇒ 右栏出正文 + 蓝色选中态。 - 页签条：截图确认为玻璃通透（不再是实心白横条）。	2026-09-24 16:34:44 +08:00
JianFeeeee	65de1c3884	跨端对齐：授权栏 navigator_only + 组件按页拆分 + 服务器补 permission_options ... 用户两项裁定落地（均为 ask_user 明确选择）： ① 授权栏口径 = navigator_only（照 WebUI 架构） · 新建 pages/PermissionPanel.ets —— 详情页的决策面板， 对应 MailView.tsx:693 的 PermissionPanel（审批型 / 主动提问 / 已处理 三态） · 决策入口从授权栏移到 MailDetailPage；MailDetailPage 原来只显示一个 「权限请求」小标签、根本没有决策入口（比 WebUI 少一整块，且反了： 栏里能决策、点进详情反而不能） · PermissionTab 删掉内联「同意/拒绝」+ 备注框 + decide()： 整卡可点 → onOpenMail（对齐 WebUI PermissionList.tsx:81 的 pick()） · PermissionRequest 补 source_account_id（客户端侧记来源，跳详情要定位网关） ② 服务器补 permission_options —— 修一条真实的、跨端共有的缺口 · mails.permission_options 从 INSERT 起就写进去，但**从来没有任何读路径 选过它** ⇒ 详情端点永远返回空。WebUI 的决策面板读 mail.permission_options， 所以提问型的预设选项**两端全部落空**（审批型靠 ['同意','拒绝'] 兜底蒙混） · GetMailByID 补选该列 + JSON 反序列化（与 cc_list 同款） ③ 组件按页封装（用户要求「以便与 WebUI 一一对应」） MainPage.ets 4592 → 3192 行 · pages/PermissionTab.ets 720 行 ↔ PermissionList.tsx · pages/ContactsTab.ets 796 行 ↔ ContactPanel.tsx · pages/NavDestinations.ets 181 行 ↔ Navigation 壳 · pages/NavShared.ets 65 行 ↔ 跨栏共用件 ④ 判据跟着组件搬家（否则静默失效，不是红） harmony-logic 的 pageCode / harmony-nav 的 navSrc 改为显式文件名单； harmony-appearance 的 PANE_SOURCES 补 ContactsTab；harmony-contacts 三个 test 并入 ContactsTab；harmony-logic 的决策断言改指 PermissionPanel， 并新增「授权栏不许再有内联决策」两条（navigator_only 的正形状）。 animation-audit：共享元素转场判据从「同文件共址」改为「按 id 找驱动」。 旧形状把 in/out 端必须在同一文件当成代理，而两端**天然在两处**； 抽出写信页（NavDestinations 持有 in 端）后误报。新判据仍要求每个 id 都有 Motion.morph 驱动 —— 变异实测：把驱动换成裸 animateTo 仍判红。 判据：files=34 checks=556 red=1（仅 build-stamp，产物待重构建）	2026-09-24 10:10:32 +08:00
JianFeeeee	2f80e1102d	跨端: 写信 FAB → 写信页 共享元素转场 + morph 收成单一入口（判据两版错法都记了） ... 用户 2026-09-21：「webui 行为是按钮变成对应的写邮件页面或输入框吧，你做的啥？」 「都做啊」—— 两处 morph 现在都在了。 ## ① 写信 FAB → 写信页（跨 NavDestination） 官方 FAQ `faqs-arkui-991` 给的正是"在 NavDestination 子页面里做共享元素转场" 的完整步骤，逐步照做： · 两端绑同一 id `compose-morph`（FAB / ComposeDestination 的 NavDestination）； · **`pushPath` 放进 `animateTo` 闭包**（FAQ 步骤 3 原文就是这个形状）； · `follow: false`（两端互斥出现，不是"始终在树上跟随"）。 ## ② 把 morph 收成**单一入口** `Motion.morph(ui, mutate)` 这一步不是为了少写代码，是为了**让判据能判**。过程值得记： **第一版判据** —— 全仓 `any()`： /animateTo\(/.test(allHarmony) && /durMorph/.test(allHarmony) && … 变异实测（把 morph 那处的 `animateTo` 改名、把 `Theme.durMorph` 就地写 `220`） **三条全绿** —— 因为全仓**别处**还有这些名字，"删掉这一处"永远命中不了。 **第二版判据** —— 逐站点取"文本邻域"看有没有 animateTo： **全假红**。因为 `geometryTransition(id)` 绑在**组件树**上，而 `animateTo` 写在**另一个方法**里，文本邻域取不到隔壁的方法。 ⇒ 结论不是"把判据写得更聪明"，而是**把结构改成可判的**： 把"带 morph 的状态切换"收进 `Motion.morph(ui, mutate)` 一处 （`animateTo` + 时长 + 曲线都在里面），调用点只剩「我要改哪个状态」。 这与本仓既有解法同型（`PressEffectModifier` / `GlassCardModifier`： 把"每处都得记得写"收敛成"一处定义、处处引用"）。 3 个调用点已全部改走它（`MainPage.openComposeWithMorph`、 `MailDetailPage.openReplyWithMorph` / `closeReplyWithMorph`）。 ★ `Motion.morph` 必须收 `UIContext`：全局 `animateTo` **已废弃** （编译器告警 `'animateTo' has been deprecated`），而静态方法里拿不到 `this.getUIContext()`（本仓纪律：静态方法里不用 `this`）。 ## 判据：6 条，三条变异逐个验过 通过 每个 id 恰好绑两处（一 in 一 out） ［变异：删一端 → 红 ✓］ 通过 morph 只有一个入口且内部有 animateTo ［变异：换成普通调用 → 红 ✓］ 通过 用 ui.animateTo 而非废弃的全局 animateTo 通过 每个用 geometryTransition 的文件都走 helper ［变异：自己写 animateTo → 红 ✓］ 通过 页面里不再直接出现 Theme.durMorph 通过 Theme.durMorph 存在且 = 220 ［变异：改成 450 → 红 ✓］ ★ 期间还抓到一个**判据自己的 bug**：我重写那一段时把 `themeSrc` 的定义 一起删了 ⇒ 第 6 条抛 `ReferenceError`、**整条判据根本没跑** （而其余 9 条照常打印"通过"，退出码 1 但没人看得到那条）。 这与"守具有齿但不在位"同形：**判据崩了不会显示成失败**。 已补回定义并重跑确认。 计数棘轮 4 → 10（显式编辑，理由写在 `run-all.mjs` 里）。 ## 设备验证 ✓ 点 FAB → 写信页到场、取消 → 回列表，进程存活（17827），无新 jscrash （`faultlogger` 里最新仍是 15:08 那条，即修复前的） ✗ 220ms 的**中间帧**仍看不到（`snapshot_display` 往返 1.5-3s 慢一个数量级）—— 与上一条提交同样的诚实交代：动画本体只能由用户在真机上看	2026-09-21 15:50:00 +08:00
JianFeeeee	2fe023735e	跨端: 3 处判据基建修正（清册正则 / 变异锚点 / 计数棘轮）+ baseline 第 10 次重算 ... 起因：`node run-all.mjs` 报 `verdict=red` 但四个计数全是 0 —— 红来自**到期闸**（`dueFailed`）与**计数棘轮**，不是断言失败。 逐个查清，三处都做成了真问题并留证。 ## ① 跨文件手写色清册的正则从 `{6}` 放宽到 6 或 8 位 `glassCard` / `glassCardWall` 是 **8 位**（`#EBFFFFFF` / `#C7FFFFFF`， 半透明白是 WebUI `.glass-card` 的本质），而那条判据的正则只认 6 位 ⇒ 它看不见这两个令牌，却报出「清册里的 glassCard 已不存在（清册过期）」—— **病因报错了**：不是清册过期，是正则比被判的东西窄。 改成 `{6}(?:[0-9A-Fa-f]{2})?`。★ 不能写 `{6,8}`：那会把 7 位这种非法长度也放进来。 同一形状在另两条判据上各出现一次（`B｜旧机制不得回来` 与 `遮罩：交给系统的遮罩语义色`），它们原来**全仓**扫 `#……{8}` ⇒ 把这两个 **不是遮罩**的令牌一起撞红。都改成**同名枚举白名单**（不是放宽： 遮罩那个真实约束原样保留 —— `overlay` 写成 8 位单色照样红）。 ## ② 变异锚点过期（守具有齿但没挂上） `jobs/jobs-all.json` 里「写死色值 + 去卡片圆角」那条的锚点， 被 `6ca0113` 插进去的 `.attributeModifier(PressEffectModifier.of())` 隔断 ⇒ `hits=0`、`skipped=1`，而**没有任何东西变红**。 已把锚点补成当前代码形状，`ran` 从 51 回到 52、`skipped=0`。 ★ 这是本仓那个老形状的又一次实例：**"清单没跟上代码"不会自己报警**， 得靠 `hits=0` 那条判据；它本次确实报出来了（`diag=mutant-anchor-stale`）。 ## ③ 计数棘轮 6 → 7 给 `cross-client-logic` 新增了 `AddressSuggest` 一组（地址补全纯逻辑）， 而套件只判**下界** ⇒ 不同步这个数字，将来**删掉**那一组不会有任何东西变红。 已显式改成 7，并写清"为什么必须手改"。 ## ④ baseline 第 10 次重算（先证不是残留才重算） `AdminUsersPage.ets` / `SettingsPage.ets` 哈希对不上，逐个取证： - `sha256sum -c` → 这 2 个 FAILED（另 5 个 OK） - `git diff --quiet HEAD` → **空**（与 HEAD 逐字节相同）⇒ 底本**过期**，不是残留 - `git log --oneline -3` → 最后一次动它们是 `f83c233`（我上一批的有意编辑） ★ 值得记一笔：漂移的是**上一轮**的文件，我这一轮完全没碰它们。 若只按"`git diff HEAD` 空就放行"，这条**永远发现不了自己漏了一次重算** —— 这次是靠 `summary.py` 的 `baseline-stale` 主动报出来的。 ## 结果 `files=34 ran=34 checks=543 pass=542 fail=0 skip=1 red=0 broken=0` `mutants=52 ran=52 skipped=0 diag=none baseline=7/7✓` （`verdict=red` 仅剩到期闸：5 条"只能静态"的判据，其到期前提"能装能点设备" 现已成立，需要各自升级成行为判据 —— 已登记，不由这条提交关闭。）	2026-09-21 14:32:38 +08:00
JianFeeeee	125aec1191	跨端: 2in1 键盘可达（Ctrl+N 写信 / ↑↓ 换补全 / Enter 选中）+ 三处判据被实测改判 ... 用户 2026-09-21：「接下来做一下 2in1 上的快捷键，比如快捷键打开发信页面」 「上下键切换发信目标」「回车展开输入框等」 ## ① 打开发信页：Ctrl+N，用官方 `keyboardShortcut` 先查了官方文档再动手，避开两条静默失败的坑： · `keyboardShortcut`（组件快捷键事件，API 10+）「**无论组件是否获焦** —— 只要窗口获焦，快捷键就会响应」。而 `onKeyEvent` 要求**组件先获焦**， 邮件列表里焦点落在哪是不确定的（点一下就换）⇒ 用它做全局快捷键会时灵时不灵。 · 「多个不同组件设置相同组合键 ⇒ 只响应节点树**深度最浅**的那个」。 ⇒ 再给别处的"写信"按钮补一个 Ctrl+N 不是"多一个入口"，而是**让后来那处永久失效**。 判据因此钉"全仓只许绑一处"。 绑定位置在 `MainPage` 的**根 Stack**（窗口组件树的根）—— 绑在 FAB 上不行， 它在 `if` 分支里、窄屏/宽屏位置也不同，会随分支挂卸。 键位 `Ctrl+N` 避开了官方列出的五个**禁止绑定**组合（Alt+F4/Alt+Tab/Ctrl+Shift+Esc…）。 判据直接解析调用参数校验这三点。 ## ② 根够不着 `openCompose()` ⇒ 照 `PushService` 的"两半"形状 `openCompose()` 住在**条件挂载**的 `CommPage` 上（`if (currentIndex === 0)`）， 根组件拿不到它。新建 `common/ComposeIntent.ets`： · **格子**（`pending`）—— 用户此刻在别的页、`CommPage` 还没实例化； · **回调**（`listener`）—— 用户此刻就在通信页、页面早挂载完了。 缺任何一半都是**按键静默失效**：只有格子 ⇒ `aboutToAppear` 不重跑； 只有回调 ⇒ 没有监听者。这形状与 `api/PushService.ets` 处理"点通知跳转"时 踩的是同一个坑，那边注释里已写过解法 —— 这次是照着抄，不是重新踩。 ## ③ 收件人三段式补全（↑↓ 切换、Enter/Tab 选中、Esc 收起） WebUI 的逻辑原先**散在组件闭包里**（`parseParts` 没 export、`apply`/`onKeyDown` 直接改 React state）⇒ 判据根本 import 不到。先把它抽成一对纯逻辑： `client/electron/src/lib/addressSuggest.ts` ↔ `model/AddressSuggest.ts`， **抽的时候行为一字不改**（抽出来顺手"改进"会让判据比新行为、线上跑旧行为，两边都错）。 `AddressInput.tsx` 改接这份 lib。 `cross-client-logic` 新增 `AddressSuggest` 一对，22 个用例两边逐例比。 其中 `nextActiveIndex(0,3,-1)` 是**负下标陷阱**：JS 的 `%` 对负数返回负数 （`-1 % 5 === -1`），而负下标在数组访问里**不报错**（返回 `undefined`）， 只表现为"按上键后没有任何一项高亮"。直接写 `(i-1) % n` 就会这样静默坏掉。 候选走**内联渲染**而不是 `bindPopup`/`bindMenu`：那两者各有焦点体系， 会先吃掉按键 ⇒ "↑↓ 换候选"落不到 `onToKey` 上。 ## ④ 另修一个真 bug：`AddressSuggestion` 字段名整套写错 模型声明 `value`/`kind`，而服务端（`contacts.go:206`）给的是 `alias`/`title`/`source` —— **从来没返回过** `value`/`kind`。按本仓纪律「声明了服务端从不返回的字段 ⇒ 删掉声明」改正。 顺带守住 `title` 的 `omitempty`：缺键时裸 cast 给 `undefined`（**不是**类里那个 `= ''`）， 直接读会 `Cannot read property of undefined` —— 本仓在 `MailDetail.normalize()` 上 踩过同一形状（整页白屏）。判据钉住那句 `typeof … === 'string'` 的守。 ## ⑤ 三处判据被**实测**改判（不是我挑一边，是拿数字定的） ### a. 卡片不该有模糊 —— 反转原断言 原判据断言「玻璃卡要走参数化 `backgroundEffect`」。那是**记录旧实现的副作用** （重言式）。逐字读 WebUI 的 CSS：全仓 `backdrop-filter` **只有两处** （`.glass-control` 8px/1.1、`.narrow-nav` 18px/1.5），而 `.glass-card`（`index.css:1629`） **完全没有** —— 它的玻璃感是 `rgb(255 255 255 / 0.92)` 这个 alpha。 留着旧断言更坏：下次谁把卡片改成正确的"白 + alpha"会被判红，然后去**把模糊加回来**。 ### b. 我试了"把模糊移到导航条"，被实测否掉 推断「真归属是底栏」，于是把底栏改成 `backgroundEffect({radius:18, saturation:1.5})`。 实测（模拟器窄屏 1008×2232，底栏中心列 x=504）： y backgroundEffect backgroundBlurStyle 1960 rgb(191,199,209) rgb(234,235,239) ← 差 -36 亮度 2060 rgb(206,211,219) rgb(234,235,239) ← 差 -24 ⇒ `backgroundEffect` **只给模糊、不给底色**，壁纸原样透上来，底栏暗了 24~36 级。 WebUI 的 `.narrow-nav` 是**两条声明**组合的（`background-color` + `backdrop-filter`）， 我只搬了后者。系统材质**同时含色调 + 模糊 + 深浅两套** ⇒ 在这里它才是正解 （§7.12 把它判成"有意差异"是对的，我的"改进"是退步）。 判据改成**反向钉住** `backgroundEffect`，并把这段实测数字留在 Theme.ets 里。 ### c. 页签条判据记录的是被否掉的"胶囊" 原判据钉 `TAB_BAR_RADIUS`/`TAB_BAR_SIDE`/`TAB_BAR_TOP` —— 那正是用户否掉的形状 （「你又在内部套了一个胶囊」）。CDP 读 WebUI 的实测几何： .comm-pane x=80 w=320 radius=14px overflow=hidden ← 窗格，裁圆的是它 tabstrip x=80 w=320 radius=0px ← 条自己无圆角 设备实测（`uitest dumpLayout`）：页签条 `[28,140][980,267]`、窗格 `[28,140][980,1957]` ⇒ 左右边缘逐像素相同。判据改为钉"与窗格齐平 + 只有左上角圆角"这两条**不变式**， `TAB_BAR_RADIUS`/`TAB_BAR_SIDE` 一并**删除**（留着就是孤儿，会邀请人把胶囊拼回来）。 ## ⑥ 顺带修两条判据自己的正则 `{6}` 看不见 8 位色 ⇒ 把 `glassCard`/`glassCardWall` 报成"清册过期"， **病因报错了**。改成 `{6}(?:[0-9A-Fa-f]{2})?`（不能写 `{6,8}`，那会连 7 位也放进来）。 半透明禁令改为**枚举白名单**（不是放宽：遮罩那个真实约束原样保留， `overlay` 写成 8 位单色照样红）。 新增判据 `harmony-2in1.test.mjs` 12 条；`files=34 checks=543 pass=540 fail=2`（收尾前）。	2026-09-21 13:29:24 +08:00
JianFeeeee	5e4a1b616c	跨端: B 的交付物（跨端纯逻辑一致性判据）+ 照 skill 回扫修掉两处隐形债 ... 用户：「你为什么不加载鸿蒙开发相关skill？」—— 说得对。那份 `arkts-grammar-standards` 写着 "REQUIRED before writing the first .ets file of a session"，而我这轮一直在写 `.ets`。补加载后照它的规则表**逐条回扫**， 当场抓出两处此前没人管的违规。 ══ ① 用户要做的 B：`cross-client-logic.test.mjs`（新，6 条判据） 背景：两套纯逻辑各写一份且已分叉（replyTarget 214/170 行、mailGroups 178/459、 appearance 187/324、calendar 208/446）。当天已**踩到**两处分叉 （`participantAddress` 的 `||`、`ThreadPage` 字段全错）。 做法：**同一张用例表喂给两边，逐条比结果**（`--experimental-strip-types` 直接在 node 里跑两侧源码 —— 两边的 model 层都是纯逻辑、无 SDK 依赖）。 不选"生成一份共享源码"：harmony 不能 import 工程外文件， 且两边类型系统不同（ArkTS 禁解构/any/对象字面量要具名类型）， 生成器要维护"两边都能过"的子集，是另一个大工程。 ★ **首轮运行就报出两处真分叉，都不是我踩到才发现**： ① `formatAddress('dsh', undefined, undefined)`：electron 返回 `"dsh"`， harmony **抛** `Cannot read properties of undefined`。 —— 又是 `omitempty` 那个坑（**第三次**），这次是判据先报的。 ② `monthGrid`：electron **固定 6 行**（`grid-rows-6`），harmony **4~6 行** ⇒ 翻月时网格高度跳动。WebUI 的注释明写要避免这个（"行数变化会让整个 网格高度跳动，翻月时页面内容上下弹"）。 ③ 顺着 ② 又发现：WebUI 邻月格子**填真实日期并置灰、可点** （`CalendarView.tsx:545-556`），harmony 留**空白格**。 ★ 判据自身的两次错，都留了档（判据的 bug 与代码的 bug 一样危险）： · 第一版把 `args[0]` 当单个参数传，字符串被当可迭代对象展开 ⇒ `formatAddress('d','s','h')` —— **判据自己造出假分叉**。 · 第一版 `weekStart` 传 0（周日），而两端实际都是 1（周一）⇒ 又一处假分叉。 差一点就去"修"一个不存在的问题。 · `monthGrid` 的投影第一版按 `inMonth ? [y,m,day] : null`， 把"邻月填不填真日期"这个**真分叉**抹平了 —— 投影只该换表示，不该替我看不看。 ★ 三类"不同"要分清（写进文件头）：**命名不同**（投影归一，不是分叉）、 **签名不同**（ArkTS 没 Date 重载习惯；语义必须一样）、**行为不同**（是分叉，以 electron 为准）。 ══ ② skill 回扫抓出的两处隐形债（编译器只告警、判据也不管） · **正则字面量**（`arkts-no-regexp-literals`）：`MailDetailPage.ets:615` 的 `/^\d+$/`（从 2026-09-19 活到今天）。 · **废弃的全局 `router`**：`api/Logout.ets:76` 的 `router.replaceUrl(...)`。 它是个独立函数（没有 `this`）⇒ 拿不到 `UIContext`，改成由调用方传 （两个调用点都持有 `getUIContext()`，零成本）。 ★ 这两条为什么能活这么久：**编译器对它们只告警、不挡构建**， 全仓也**没有判据**管 ⇒ 规则事实上不存在。已补两条判据，都做了变异验证。 ══ ③ 顺带修正一条**恒真的同义反复**断言 `harmony-calendar` 里 "today 不在本月：不许标在别的月" 那条： 它是在"邻月格子是空 `DayCell`（`iso` 为空串）"时写的 ⇒ `c.iso === today` **永远不可能**匹配 ⇒ `count === 0` 恒真，**看起来守着一条规则，其实什么都没守**。 改成真不变量：**"被标为今天的那一格，iso 必须就是 today；至多一格"**， 并反向核对"2026-10-01 确实出现在 9 月网格里"（否则那段是空转）。 实测 WebUI `CalendarView.tsx:547` 是逐格 `isSameDay` ⇒ **它会标**， 所以原来那条"不许标"本身就窄了一半。 ══ ④ 登记两处盘点发现（**没有**顺手改，因为需要人决定） · `harmony-dead-pages`：`InboxPage.ets`(238 行) 不可达（不在页面表、无人导航）， `SessionsPage.ets`(170 行) 唯一引用来自 InboxPage ⇒ 一起不可达。 没删是因为 `HARMONY-ALIGN-PLAN.md:214` 把它当变异测试靶子用过 —— 删掉会永久丢代码，是否只是"早期留存"我判断不了。 · `harmony-permission-history`：WebUI 授权栏显示**待决 + 已决策历史**两段 （拿 inbox 自己分组，`PermissionList.tsx:27/174/182`）；鸿蒙调专用端点 `/permission/pending`（SQL `WHERE pr.result IS NULL`）⇒ **只拿得到待决的**。 已在 `cross-client-logic` 的 gaps 里如实登记，判据会盯着"不要再少"。 ══ 判据状态 `files=33 ran=33 checks=530 pass=530 fail=0 skip=0 red=0 broken=0 unreported=0`； `baseline=7/7✓`（底本第 9 次重算，已按规矩先 `git diff --quiet HEAD` 取证 + 记录理由）。 `verdict=red` 残余仍是 5 条静态判据的**设备到期提示**（既有机制）。 ══ 环境 模拟器昨天起卡死（hdc 能连、shell 超时、CPU 150%、跑了 34 小时）， 导致设备判据各跑 836 秒后失败 —— 看起来像"套件卡死"。用户批准后杀掉重启 （`Emulator -start HATriple -noWindow`，`devecocli` 那套因 x11 起不来）， 现在**75~150 秒**跑完整套。	2026-09-20 22:35:35 +08:00
JianFeeeee	25e7d8f3bf	跨端: 补附件区（两端一直都有这个功能，我上次误判成"死代码"）+ 修两个真 bug ... ══ ① 更正我 2026-09-19 的一个**错误结论**（已写进 docs/DEBTS.json 留档） 那天我审计后写下：`GET /me/mail/inbox` 的回包**既没有 `attachments` 也没有 `has_attachments`** ⇒ `MailList.tsx:261` 的 `mail.attachments?.length ?? 0` 恒为 0、WebUI 那个 📎 是**死代码**。并据此在鸿蒙侧**有意不抄**这个标记。 **这个结论是错的**，错在取证方法：我**只看了一封没有附件的邮件**， 看到 key 不在，就断言服务端从不返回它。事实： · 服务端 `GetInbox`（`mail.go:586`）**明确调了 `fillAttachments`**，注释还写着 理由：「Agent 靠收件箱列表得知有哪些附件可下载，否则它不知道该调 attachment_id」 · `Mail.Attachments` 的 tag 带 **`omitempty`** ⇒ **没有附件的邮件根本不输出这个 key** 实测 `limit=200`（96 封）：带 `attachments` 的 **2 封**，正是真有附件那两封。 ★ 教训：**`omitempty` 字段的"缺失"不等于"服务端不返回"**。 判「某字段有没有」必须拿**确实有值的那条**去验，而不是拿一条恰好为空的数据。 这与同一天那个白屏崩溃（`session_workspace` 缺失 → `undefined` → 抛） 是**同一个坑的两面** —— 那天是"缺失 → 客户端崩"，今天是"缺失 → 我误判成不返回"。 ══ ② 补附件区（鸿蒙原来完全没有） · `model/Attachment.ts`（新）—— `formatSize` / `attachmentLabel`，纯逻辑无 SDK 依赖， 逐字对齐 WebUI `api/client.ts:390`（三档 + 保留一位小数）。 · `MailApi.downloadAttachment` —— 走 `getBytes`（不是 `get<T>`：后者假定 JSON， 取二进制会炸；壁纸当初踩过）。 · `IcsFile.saveBinaryFile` —— 与既有 `saveIcsText` 同一套流程，只是写 `ArrayBuffer`。 · `MailDetailPage` 正文之后渲染附件清单（回形针 + 文件名 + 大小 + 下载）， 位置/形态对齐 WebUI `Attachments.tsx`（无附件时**整块不渲染**）。 · 列表行的 📎 + 数字（`attach_count`，与 `cc_count` 同形状派生）。 ══ ③ 顺带撞出并修掉两个**真 bug** **bug A（差一点就是 94/96 必崩）**：我第一版写 `mail.attachments.length` —— 而 `Attachments` 带 `omitempty`，96 封里只有 2 封有这个 key ⇒ 其余 94 封是 `undefined` ⇒ `.length` 抛。**与当天早些时候那个白屏崩溃是同一个坑， 我刚修过、还在 `Models.ets` 里写了一大段注释，然后加新字段时照踩。** ⇒ 说明"记住别这么写"不管用，要在每个真正读的地方把 `?? []` 写出来。 **bug B（潜在白屏）**：`PermissionTab` 读 `req.session_alias` —— 而服务端 `PermissionRequest` struct **根本没有这个字段**（`models.go:239-255`）， `ListPendingPermissionsFor` 的 SELECT 也没查它，WebUI 的类型里同样没有。 它是我照"授权卡总得显示会话名"的直觉加出来的。⇒ 恒 `undefined`， 一旦有待办就抛。**一直没暴露只因为当前待办数一直是 0**（实测 `{"requests":[]}`）。 ⇒ 改成服务端确实有的 `agent_name`，并**删掉那个字段声明**： 让误用变成**编译错**，而不是运行时白屏。 同样是 `body_preview`（`omitempty`，值是 `Body` 的截断）—— 空正文 ⇒ 空串 ⇒ 服务端省略 key ⇒ `undefined.length` 抛。那批 96 封恰好都有正文， 所以"看起来没问题"——那正是这个坑的形态。已加 `?? ''`。 ══ ④ 新判据：`omitempty` 字段的读法（形状，不是实例） 从 `server/internal/models` **算出**"只以 omitempty 形式出现过"的字段名 （不在判据里手抄名单），再扫鸿蒙侧对它们的裸成员调用。 ★ 关键：**不能按字段名一刀切** —— 我第一版就是这么写的，报了 6 处、4 处误报： `session_alias` 在服务端有**两个**声明（`Mail` 上带 omitempty、`repo.Contact` 上不带）， 鸿蒙那 4 处读的全是 `Contact` ⇒ 恒有值、不是 bug。 ⇒ 只扫"从未不带 omitempty 出现过"的名字，那 4 处自动排除。 已逐个核实 4 处豁免（每条都写了取证理由，不是"看着像就放过"）。 变异验证：把 `?? []` 去掉 → 判据转红，且**正是**报 `MailStore.ets: mail.attach_count = mail.attachments.length`。 ══ ⑤ 数据路径已实测（模拟器） 临时把 `INBOX_PAGE_SIZE` 提到 200（因为有附件那两封在下标 51/52， 默认 limit=50 **根本取不到** —— 这也解释了为什么之前一直没发现）， 加临时 hilog 后拿到： AttProbe: mail=531a1629-… attach=1 AttProbe: mail=b68cbbe8-… attach=1 正好是那两封。验完已撤掉探针、`INBOX_PAGE_SIZE` 恢复 50。 ══ ⚠️ 本轮**未能**完成设备端视觉验收 模拟器已卡死（`hdc` 能连上但 `shell` 超时；进程 152% CPU、已跑 32 小时）， 导致套件里的设备判据各跑 836 秒后失败（"要能拉起应用"）。 主机可用内存只剩 ~3.7GB。附件区的**渲染**（清单外观、下载落盘） 尚未在设备上看过 —— 待模拟器恢复后补。	2026-09-20 21:14:20 +08:00
JianFeeeee	c0ab3f57b2	跨端: 顶部页签条改悬浮玻璃 + 深色压暗下限（修 8 处深色可读性）+ 手势判据自搭现场 ... 用户：「顶部的收件箱发件箱和授权为什么不做成悬浮玻璃？」 问得对，而且它当时是**整页唯一一块实心白**。 ★ 顶部页签条 → 悬浮玻璃 `CommTabBar` 原来写的是 `backgroundColor(Theme.surface)`（系统卡片色＝实体）。 上一轮把列表容器、卡片、底部导航条都玻璃化了，**唯独漏了这条** —— 它既不是卡片也不是容器，是"条状 chrome"，逐处修时最容易漏的那一类。 ⇒ 现在与底部浮动条**同一族**：圆角 + 左右留白 + `Theme.navMaterial`。 ★ 几何常量复用底部条的（`TAB_BAR_RADIUS = NAV_BAR_RADIUS`、 `TAB_BAR_SIDE = NAV_BAR_SIDE`），不各写一份 —— 两个数一旦分叉， "同一条轴线上的两种条"就不齐了。为什么选悬浮而不是 WebUI 的"通栏无底色" （WebUI 页签条自己**没有**底色，靠父面板的玻璃）也记在那个常量的注释里。 新增判据：页签条必须与导航条同族（不许实体面 / 要引 TAB_BAR_* 常量）， 变异验证过（改回 `Theme.surface` 即红）。 ★ 深色压暗下限 —— 本轮最重要的真 bug 玻璃让壁纸**真的透进卡片**之后，"浅壁纸 + 深色文字令牌"这个组合会在 **卡片内部**发生。设备实测（深色、aurora、压暗 37）： 「角色」ink rgb(183,195,211) on bg rgb(68,95,128) = 2.57:1 「创建时间」2.27:1、「状态」2.68:1、「压暗」2.19:1（共 8 段 <3:1） 而**同一套代码在浅色下全部达标** ⇒ 差别不在"选错了色"，在"底没暗下来"。 WebUI 早就撞过并写下了必然值（`index.css:442`）： .dark { --bg-dim-min: 92%; } /* 浅色下是 0% */ background-color: rgb(var(--bg-scrim) / max(var(--bg-dim), var(--bg-dim-min))); 我们只有 `scrimOpacity(bgDim)`、**没有下限**。补上 `DARK_DIM_MIN = 0.92` （浅色下用户设的值照旧生效，不忽略设置）。 复扫：低对比 8 段 → 通信 0 / 日历 0 / 联系 1 / 我的 1 （剩下两条经手核是扫描器的假阳性：近黑底上把抗锯齿暗像素当成了"墨"）。 ★ 手势判据"没有自己搭现场"（套件红、单独绿） `cross-client-gesture` 只保证"在月档"、**不保证在哪一月**，而它算的是 相对最初那一月的 delta ⇒ 前面某个判据（或一次失败的手势）把日历翻到 10 月后， 期望值就差一格。修法：先点「今天」归位到本月（该按钮语义就是"回本月"）。 验证：从 9 月起步、从 10 月起步，两种脏状态都通过。 ★ 顺带确认手势本体是好的：`--speed 1500` 时 1000px 要走 670ms， 紧贴 `SWIPE_MAX_DURATION_MS=700` 而被丢弃；`--speed 3000` 两个方向都翻。 ★ 判据基建：修掉一个**静默失效**的 API 名（沿用上轮的教训修法） `Surface.ets` 里两处块注释内嵌了 `/* ... */` —— 会把块注释**提前闭合**， 于是后面的代码跑到注释外面（报"Use let instead of var"/"Invalid character"）。 本仓已有这条纪律（"当 `code()` 因注释里的 `/*` 吞掉 import 时，改注释文本"）， 这次又踩了两处（`Surface.ets` 与 `Appearance.ts`）。 判据：files=32 ran=32 checks=519 pass=519 fail=0 red=0；baseline 7/7✓。	2026-09-20 09:01:46 +08:00
JianFeeeee	5103e0aee3	跨端: 抽出基础面/玻璃组件（Motion + Surface）+ 三处硬弹的弹层补过渡 ... 用户两条要求，各自都指向"决策被复制到各处"这个病根： ① 「应该定义一个基础玻璃容器给各个组件引用」 ② 「很多页面还是不够精致……封装为基础组件供所有页面使用。基础组件包含动画」 ★ 玻璃不透明的真根因（前几轮都没找到，这次是像素证据定的） 实测模拟器 3184×2232、壁纸 aurora + 压暗 37： Navigation [229,140,3156,2204] ← 255,255,255（整块内容区） y=2210（Navigation 之外那条缝） ← 226,225,235（壁纸清楚可见） 那条缝是决定性的：**壁纸层本身是好的**，白是因为上面盖了不透明的壳。 链路上一共三层，逐层修： · `Navigation` 外壳：不设背景 ⇒ 系统默认不透明白，把里面已透明的窗格整片盖住； · navBar 内容层（列表栏根容器）：同样没有背景； · **卡片**：铺的是 `Theme.surface`（实体系统色）。 修后：缝隙 203,213,228 / 卡片 191,204,220 —— 壁纸透得出来。 ★ 新增基础组件（common/） · `Surface.ets` —— `GlassPane`（正文面）/ `GlassCard`（嵌套面）/ `PageHeader` / `Pressable` · `Motion.ets` —— `Motion.dur()`：接系统「减弱动态效果」 （`accessibility.isAnimationReduceEnabledSync()`，API 23 正好够用）。 WebUI 侧有 `prefers-reduced-motion` 硬约束（index.css:1266）， 鸿蒙这边**改造前一次都没调过** —— 系统里关了动画，我们照样动。这是无障碍义务。 · `Theme.cardMaterial` —— 卡片材质令牌。不是拍脑袋选的： `COMPONENT_THIN` 实测卡片 252,254,254（吃掉 94% 壁纸，就是用户看到的"白卡"）； `BACKGROUND_THIN` → 185,190,201，壁纸透得出来且文字对比度仍够。 ★ 判定形状按"玻璃从例外变成默认"重写（判据 C 条） 原来是"允许出现玻璃的位置"白名单，逐处登记。那个形状在"玻璃是少数例外"时成立， 但用户要的是**全部玻璃化** ⇒ 白名单退化成"把每处抄一遍"，且挡不住新写的裸枚举。 改成**规则**：材质档次只能来自 `Theme.navMaterial` / `Theme.cardMaterial` （或 `BlurStyle.NONE`），页面里出现裸 `BlurStyle.XXX` 即红； 辅助方法（`this.materialOf()`）体内也查，否则等于开了后门。两条变异都验证咬得住。 ★ 判据 C 条自身的两个 bug（都被本次触发） · 嵌套判定**没比文件**：`c.at`/`o.at` 是各文件自己的字符下标，直接比大小 于是判出"MainPage 内含 SettingsPage 的玻璃"这种物理上不可能的红。 假红比漏报更坏 —— 会让人去改本来对的代码（本次差一点）。 · 参数抽取用 `[^)]*`：`this.materialOf()` 里含一层 `()`，在内层括号处截断， 把合法写法读成 `this.materialOf(` 判红。改成配对括号抽取。 ★ 出现/消失动画：用户点名的三处硬弹 这些挂在 `if (cond)` 上，条件一变整块出现/消失，原来一帧过渡都没有 —— 而代码上"看着像挂了动画"（外层页面有 transition），所以最容易漏。 · `MainPage` 账号选择器下拉 → `menuIn()`（从上往下落的浮层档） · `AdminUsersPage` 新建用户表单 → `paneRiseIn()`（就地展开档） ★ 过渡必须挂在**调用点的 Column**：`@Builder` 返回 void，链不上修饰符。 第一版写进了 `CreateForm()` 内部，是新判据抓出来的。 · `SettingsPage` 新增账号弹层 → `paneRiseIn()`（与回复/转发弹层同一挂法） 新增判据「出现/消失的那类元素真的挂了过渡」：**枚举所有条件挂载的浮层/展开块** （不是数数 —— 数数挡不住"新增第四处又漏了"），变异验证过。 ★ 顺手修的两处真嵌套玻璃 `SettingsPage` 的账号列表与密钥列表都是"卡里面的一段列表"，两层都铺材质 = WebUI 用 `.bg-white .bg-white { backdrop-filter: none }` 明确禁止的嵌套 （alpha 相乘 0.82×0.82=0.97 把壁纸吃光）。去掉内层材质，玻璃只留一层。 ★ 判据放宽一处（不是放水） `harmony-contacts` 那句写死 `pushUrl`，判的是"tryRestore 有没有跳转"， 与用哪个原语无关。修 LoginPage 返回栈时改成 `replaceUrl` 后它误报了； 改成 `(pushUrl|replaceUrl)`，原语该用哪个由 `harmony-nav` 那条专门判。 判据：files=32 ran=32 checks=518 pass=518 fail=0 red=0； baseline 7/7✓（第 6 次重算，两个文件逐个 `git diff --quiet HEAD` 取证为有意编辑）。	2026-09-20 07:37:16 +08:00
JianFeeeee	1c3335f0c9	修复: 第五个落点 —— 判据写对了，却**没有任何人执行它**（check-file-modes.sh 空转） ... pi `4fc16f66` 报的是 rc=2 那半个缝（M18）—— 我复核后**已经在 `e99a657` 修好了**， 而它的**父提交正是 pi 报信时读的 `6ee9902`**。又是同一形状的竞态。 但照 pi §四 那句「**每条分支的前提本身也要能被构造**」做审计时， 我发现**第五个落点，而且这一格的判据本身写得完全正确**： `deploy/check-file-modes.sh` = 源文件权限政策的**唯一**判据。 它甚至专门修过自己那份 `[ -x ]` 恒真的 root 陷阱（`b7dc9e9`），改成直接读权限位 —— 修得对。 **但它从来没有被任何东西执行过。** 全仓 `grep -rn "check-file-modes"` 只有： · `check-deploy-drift.mjs` 3 处**注释**（谈分工） · `run-all.mjs:951` **注释**（讲 root 陷阱） · `summary.py:77` **注释**，且**说法与实现不符** · `summary.py:431` 一句 `print(...)` 的**文案** ⇒ 唯一一处非注释提及是一句 print 的文案。没有 install.sh / redeploy-* / hook / CI / cron 调它。 **而它当时正红着**：2 个文件是 600 + `jobs/` 缺属主 x 位。 ★ 为什么这一类**只能靠判据守**（实测）： `git status` 看不见、`git diff` 看不见、`git ls-files -s` **只记 100644/100755** （组/其他读位**不进版本库**）⇒ 把受跟踪文件 `chmod 600 ↔ 644` 两次 `git status` 都空。 套件也看不见（`jobs/` 缺 x 位时实测 `diag=none`、`ran=48`，全绿）⇒ **没有第二条通道**。 0600 在"跑的人恰好是属主"时不炸，换身份就是 EACCES，而那串报错**看起来像代码问题**。 修法： · 接进 `deploy/install.sh`（check-shared-libs 之后），**走 `--check` 累积通道** （照既有 npm_rc/CHECK_GATE_RC）。⚠️ 我第一版**直接调**，而门禁红时它 `exit 1`、 install.sh 是 `set -e` ⇒ 当场吞掉后面所有诊断：**实测**接线后 `构建 Gateway` 在日志里命中 **0 次**（接线前 2 次）—— 正是 install.sh:141-157 刚修过的同一个毛病， 我自己又造了一遍。改累积后回到 2 次，门禁报 `[FAIL] 权限政策没过（退出码 1）`。 · 修那两个文件：600 → 644 ⇒ 权限政策现在绿（rc=0）。 · 新增判据 `criteria-hygiene` 第 7 条：政策门禁必须被入口脚本在**可执行位置**调用。 ★★ 变异验证时**我自己先假绿了一次**（单记）：第一版用 `code()` 剥注释，而 `lib/read.mjs` 的 `stripComments()` 只认 `//` 与 `/* */` —— 那是 **JS** 的注释， **`install.sh` 是 shell，注释是 `#`** ⇒ 对 shell 文件**原样返回** ⇒ 判据读到了 **我写在它上面那段解释里的** `` # `check-file-modes.sh` 红时 `exit 1` ``。 变异①（接线整段删掉）⇒ 第一版 **rc=0（假绿）**；自剥 shell `#` 后 **rc=1** ✓ 变异②（只在 echo 里提一句）⇒ rc=1 ✓ 变异③（gates 恒空 ∀x∈∅）⇒ rc=1（`只找到 0 个`）✓ （③ 第一次 python 锚点没匹配上、变异没施加，我重测并**先打印"变异已施加"**才算数。） ★ 射程如实标出：只管 `deploy/check-*.sh`（政策门禁族）；**不管** `check-deploy-drift.mjs` 这类**按需手动工具**（自带 `--self-check`、文档写明"事后自查"）——要求它进入口是**错的**。 它实测同样 0 处调用，但**本判据不覆盖它，也没修它**。判"有没有接线"，不判"接得对不对"。 ★ 通用纪律（CRITERIA.md §16.1.2）：**判据自己也要能"被证明它真的在看代码"。** 若判据读的**语言**与 stripComments 实现的**语言**不一致（shell vs JS、Python vs JS）， 那"剥注释"是**假的** ⇒ 判据消费散文，而**变异验证是唯一能戳破它的东西**。 全套 checks=516→**517** pass=512 fail=5 red=5 broken=0 verdict=red（5 条红都是别的会话的）； mutants=48 ran=48 skipped=0 diag=none baseline=7/7✓；5 个自检各 rc=0。	2026-09-20 05:22:42 +08:00
JianFeeeee	efb1c1d2ca	修复: 第四个落点 —— **变异条目的锚点失效**（hits=0）：守具有齿，却不在位 ... pi `6aa2b17f` 报的第三例（`unlisted`/`ghosts` 退 0）**我复核后已经在 `6ee9902` 修好了** —— 而它的**父提交正是 pi 报信时读的 `4b841e0`**（差 11 分钟）。又是同一形状的竞态。 但顺着同一条线**审计全部 61 个变异条目的锚点**，发现**还有一个同形状的落点， 而且它在真树上是活的**（不是构造的）： hits=0 SettingsPage.ets 「管理入口不做门禁」(jobs-all.json) 根因：该锚点写的是 **6 空格**，而 `c523c21`（09-17 17:43）把该文件**重排成 4 空格** ⇒ 锚点从此命中 0 次（写进清单时 `bcd4f97`（09-15）它是**对的**）。 为什么没人发现：`summary.py` 把「hits=0 … 过期条目」**只打印**、**不进严重度链** ⇒ `rc=0`、`diag=none` ⇒ 套件 `whyLines: (note || status!==0) ? … : []` 为假 ⇒ **整段丢掉**。端到端实测（真树、干净工作树）：套件输出里 grep「过期条目」= **0 次**。 ★ 危害是"**一个变异守具被静默关掉**"，不是"数字错了"：`ran` 少 1、`skipped=1` 是个**中性数字**，读者看不出少了哪一个。而**手工施加那个变异仍能让判据红** （`harmony-admin.test.mjs` `# fail 1`）⇒ **有齿，只是没挂上**。 修法（沿用 `summary.py` 的**唯一严重度链**）： · 新增 `mutant-anchor-stale` ⇒ **1 档**（清单/数据该改；**不是** 2 档 —— 照 `env-defaults.sh:25` 的反方向：别让"清单没跟上"冒充环境）。 · 修锚点 6→4 空格 ⇒ `ran` 47→48、`skipped` 1→0，守具重新挂上（实测变异能红）。 · `whyLines` 过滤器加 `^\s*hits=`：只说"有锚点过期"不够，**点名的才是可行动的**。 · 两张表都登记（`UPSTREAM_RC` + `DIAG`，`blocksGreen: true`）+ 真跑案例 （迷你仓库里放一个不含锚点的同名文件 ⇒ `hits=0`）+ 读者侧具名案例。 ★ 射程如实标出：判据只看 **`hits == 0`**，**不看 `hits == -1`**（文件打不开是另一回事， 且迷你夹具里目标文件本来就不在 ⇒ 算进来会造假红）。**`-1` 那一半无判据守着**（真树 0 条）。 变异验证（4 个方向全抓）： ① 新档关闭（回到"只打印"）⇒ exitcode-selftest rc=1、2 条红 ✓ ② 从 UPSTREAM_RC 删掉新码 ⇒ 反向覆盖点名 ✓ ③ blocksGreen true→false ⇒ 双向口径漂移红 ✓ ④ 放宽成任何 skipped_detail（含 hits=-1）⇒ rc=1、**5 条红**（夹具假红） ⇒ **`h == 0` 这个射程是承重的** ✓ 端到端 A/B（隔离 worktree，同刻对照）： A 锚点已修 ⇒ rc=0、diag=none、ran=48/skipped=0、"锚点已失效" grep **0** B 锚点退 6 格 ⇒ rc=1、diag=mutant-anchor-stale、ran=47/skipped=1、grep **2** ★ 通用规则（本仓第 4 次同一形状）：**"跑了多少个"与"该跑多少个"之间也要有判据。** 被跳过时 `ran` 只少 1、`skipped` 只多 1 —— 都是中性数字，而"少了哪一个"没有通道。 凡"登记一批东西、再逐个挂上"的结构（变异条目、判据、样本表）都要问： **挂不上的那一个，谁来说？** 自检 5 个各 rc=0；全套 checks=516 pass=511 fail=5 red=5 verdict=red； mutants=48 ran=48 skipped=0 on_new_criteria=36 diag=none baseline=7/7✓。 CRITERIA.md §16.1.1 记这一笔（含 4 个变异与 A/B 表）。	2026-09-20 04:49:50 +08:00
JianFeeeee	c1465e09ab	跨端: 平板三处真 bug（返回回登录页 / 避让重复叠加 / 联系人卡被裁 10vp） ... 用户报的「在主页返回为什么会直接回到登陆页」是**原语用错**： LoginPage 用 pushUrl 进 MainPage，路由栈成 [LoginPage, MainPage]， 返回自然弹回登录页。而 Logout.ets 早就是 replaceUrl 并写了理由 （「退出后不该还能'返回到已登出的页'」）—— 同一个不变式、相反方向， 只改了一半。三处 pushUrl → replaceUrl，设备实测：返回直接退出 app （前台变 com.huawei.hmos.browser），不再回登录页。 另两处平板（HUAWEI MatePad Pro, 2800x1840, ratio 1.52 ⇒ 宽屏）： · 内容列 `this.isWide ? Theme.surface : (bgActive ? 透明 : surface)` —— 宽屏分支把 bgActive 丢掉了 ⇒ 平板上壁纸永远被挡。 · `top: this.isWide ? paneGap : statusBar` —— 宽屏分支把状态栏避让丢掉 ⇒ 页签字压在系统时钟下。 · 侧栏自己也加了一次 topInset，而父 Row 的 padding 已经含状态栏 ⇒ 83+83=166px 空白（用户：「避让有点用力过猛」）。 · 联系人列表项硬写 .height(85)+clip，内容实际要 95vp ⇒ 写信/归档行被裁一半。 判据 harmony-nav 新增「登录/退出必须用同一个原语」并做变异验证 （改回 pushUrl 即红）；注册数 18→19，全绿 19/19。 ★ 途中发现的记账缺口：设备判据连续失败时走 noteBusySkip 计数， .tmp/harmony-busy-skips.json 累到 10 后拒绝再当'礼貌跳过'。 清除账本 + 让 app 真在前台后立刻 19/19 —— 说明**不是代码问题**， 是账本把'设备忙'当成了证据。这一点记进 DEBTS。	2026-09-19 23:38:35 +08:00
JianFeeeee	1da4e15a7b	跨端: 补齐「我的」页深色可读性（4 页 219 段全 ≥3:1）+ 判据自己漏报的那一类 ... 上一条把通信/日历/联系扫干净了，但**「我的」页没扫到** （扫描脚本按文案点不到它 —— 那是侧栏**底部的头像按钮**，不是导航项）。 补上后立刻又抓出问题，并把判据自身的**漏报形状**一并修了。 ## 一、「我的」页两处真 bug 1. **主题分段按钮 `SettingsPage.ets:834`**： `.fontColor(... ? Theme.surface : Theme.textPrimary)` —— `surface` 是 **会翻转的面色**，压在 `Theme.accent` 蓝底上，深色下变成近黑。 设备读数：`深色 2.93:1 ink rgb(32,34,36) bg rgb(34,96,228)`。 2. **权限档徽标 `MailDetailPage.ets:391`**：同一个错法（第 13 处）。 3. **账号名 `SettingsPage.ets:1179`**：三元里的裸 `Theme.accent` 压在 `accentSoftFor()` 底上 ⇒ `jianf 2.83:1`。 `AdminUsersPage.ets:386` 同形状（角色徽标）。 ## 二、判据自己的漏报形状（比 bug 本身更值得记） 静态防线（`C｜会翻转的 Resource 不得当前景色`）**在 bug 存在时是绿的**。 原因是它的提取正则： /\.fontColor\(Theme\.([A-Za-z0-9_]+)\)/ ← 要求令牌是**唯一实参** 于是**三元里的令牌全被漏掉**： .fontColor(this.appearanceTheme === t ? Theme.surface : Theme.textPrimary) 改成"在 `fontColor(` 之后的整段实参里找所有 `Theme.X`"之后， 它**立刻报出上面第 1、2 两处**（此前一直绿）。 ★ **判据漏报的常见形状是它自己的正则太窄，而不是被测代码太隐蔽。** 这条写成注释留在判据里了。 ## 三、我自己犯的批量替换错误（已加判据钉住） 把裸 `Theme.accent` 换成 `accentFor()` 时，**误把 6 处 `backgroundColor` 也换了**。 `accentFor()` 深色给浅蓝 `#80AFF9`，而搭档前景是白色 `accentFg` ⇒ 白字压浅蓝 ≈ **1.4:1**，主按钮文字会彻底看不见。 - 6 处已逐处还原（复核：`grep -c "backgroundColor(Theme.accentFor())"` = 0）。 - 新增判据 **`C2`**：`accentFor / dangerFor / approveFor / warnFgFor / textSubtleFor` **只能用于前景**，`backgroundColor(Theme.XFor(...))` 直接判红。 （`accentSoftFor` 是例外 —— 它本来就是"面"。） ★ 修法不是"下次小心点"：批量替换一定会再犯，**一行判据把它变成不可能**。 ## 四、设备复扫（修后） ``` [通信] 扫 42 段，低对比 0 [日历] 扫 85 段，低对比 0 [联系人] 扫 51 段，低对比 0 [我的] 扫 41 段，低对比 0 ← 新增 ``` **219 段文字全部 ≥3:1**（本轮全部针对深色）。 ## 五、底本 `baseline.sha` 第 5 次重算。重算前**专门复核**了"那 6 处误改有没有残留" （不只看 `git diff` 非空就放行）：`backgroundColor(accentFor)` 计数为 0、 `git diff HEAD~1` 里 backgroundColor 只有 calendar 那一处（有意改动）。 `run-all.mjs` → `checks=515 pass=515 fail=0 skip=0 red=0 broken=0 unreported=0`。 **未验**：浅色主题下的对比度没扫（本轮全部针对深色）。	2026-09-19 20:43:59 +08:00
JianFeeeee	13b557a742	跨端: 品牌蓝深色下没提亮（24 处字/图标看不见）+ 补深色可读性设备判据 ... ## 一、真 bug：WebUI 深色下把品牌蓝**提亮**了，这边没有 WebUI 的强调色是**双通道**（`tailwind.config.js` 的 `backgroundColor` /`textColor` 覆盖 + `index.css` 两段定义）： | 通道 | 用途 | 浅色 | 深色 | |---|---|---|---| | `--s-blue-600` | **实心按钮底** | `37 99 235` | `37 99 235`（**同值**）| | `--c-blue-600` | 内容/交互的**蓝字与图标** | `37 99 235` | **`128 175 249`** | `index.css:353` 写了理由：主按钮底跟着变「会让主按钮在深色页面上 失去『这是主操作』的视觉重量」；而蓝字必须提亮，否则深底上读不动。 鸿蒙只有一个 `Theme.accent = '#2563EB'` ⇒ 24 处字/图标在深色下 对比度 **2.61:1**（设备实测：管理页返回箭头 `‹`），低于 WCAG 图形下限 3:1。 **取证方式**：在跑着的 WebUI 上用 CDP 读**计算样式**（不是读 CSS 源）—— 浅色 `37 99 235` / 深色 `128 175 249`，实测确认。 ## 二、修法：加前景专用的深色档 + 唯一入口 - `Theme.accentDark = '#80AFF9'`（= WebUI `.dark --c-blue-600`） - `Theme.accentFor(dark?)` 作为**前景**唯一入口 - **当背景的 20 处保持 `Theme.accent` 不动**（跟 WebUI 的 `--s-*` 一致） 24 处 `.fontColor/.iconColor(Theme.accent)` → `Theme.accentFor()`。 ## 三、顺手修掉「转述一层就会漏」这个结构问题 `accentSoftFor(isDark)` 原本的约定是"页面算好深浅色传进来"。 给 `accentFor` 做准备时一数：**8 处**直接用了 `Theme.accentSoft`（没走入口） —— 约定**已经漏了**，而漏掉的症状正是上一轮那个"深色下白底卡片刺眼"。 于是把两个 `For()` 的参数都改成**可选**：`AppStorage` 是 ArkTS 全局键值存储， 静态类可以直接读（原来"拿不到 Context"的理由不成立）。 ⇒ `Theme.isDarkNow()` 成为唯一判断点，调用方不必再各自转述。 ## 四、设备判据：深色可读性**扫一屏** 原来只有悬浮球那一条（单个点）。这个 bug 类一天撞到**两批**（12 处 + 24 处）， 逐处写判据追不上 ⇒ 改成把当前页所有小段文字都量一遍对比度。 三个实现要点（第一版全踩了，都写进注释）： - **不能只取中心一个像素**：中心多半落在笔画之间 ⇒ 读到的是底色， 报出一片 ratio=1.00 的假红。改成**框内网格扫描取极值**（最亮=底/最暗=墨）。 - **整屏解码一次**：每点 spawn 一次 ffmpeg 太慢 ⇒ 新增 `readPixels()`（157ms 解整屏，比逐点快三个数量级）。 - **只判"有真实墨迹"的框**（`hi.L - lo.L >= 0.02`），否则跳过而不是判红。 实测：修前 1 处低对比（2.61:1），修后 **40 段文字全部 ≥3:1**。 ## 五、判据自身的三个修正 - `accentSoftFor(dark:)` 的签名断言跟着放宽成 `dark?`，并**补上 `accentFor` 的**。 - **孤儿令牌判据从"一跳"改成"走整条链"**：`KEY_IS_DARK` ← `isDarkNow()` ← `accentFor()` ← 24 处页面。只查一跳时它假红 —— ★ **"有没有人用"是可达性问题，不是邻接问题**；加中间层（抽 `For()` 入口） 恰恰是我们鼓励的写法，而旧判据会因此假红。 - 手写色登记表补 `accentDark` 一行理由。 ## 六、`baseline.sha` 重算（先核过不是残留） 三个文件哈希对不上。逐个 `git diff --quiet HEAD -- <f>` 取证： - `AdminUsersPage.ets` / `SettingsPage.ets` —— 本次**有意编辑**； - `api/AppearanceApi.ets` —— **与 HEAD 逐字节相同** ⇒ 底本取完后被**合法改过** （提交 `f811c98`），属 `stale` 不是 `residue`。 按该文件自己那条纪律（「重算必须是一次有记录的动作」）在文件里记了理由。 `run-all.mjs` → `checks=514 pass=514 fail=0 skip=0 red=0 broken=0 unreported=0`。	2026-09-19 20:05:33 +08:00
JianFeeeee	21132647bc	跨端: 12 处「深色下字看不见」的真 bug + 判据基建补上「看像素」这一层 ... ## 一、判据基建：本目录终于能**看像素**了 此前只能靠 `dumpLayout` —— 那是**结构化描述**，报的是"组件声明了什么"， 不是"屏幕上画成什么样"。两者会分叉，而观感类结论只能在像素上得出来。 新增 `lib/harmony-device.mjs`：`screenshot()` / `pixelAt()` / `hexToRgb()` / `closeColor()`（用 ffmpeg 转 1×1 原始 RGB，不引依赖）。 **它当场证明了它的价值**：`cross-client-theme` 新增的设备判据 用真实像素抓到下面这个 bug —— 静态判据全绿时它藏得好好的。 ## 二、真 bug：**12 处**把 `Theme.surface` 当前景色用 `Theme.surface` 是 `sys.color.ohos_id_color_list_card_bg` —— 一个**跟随系统主题翻转**的 Resource：浅色近白、**深色近黑**。 - 浅色下当白字用**碰巧对**（白字压蓝底） - **深色下字变成黑的**，压在品牌蓝 / danger 红 / warn 琥珀上**几乎看不见** 设备现场：写邮件悬浮球是品牌蓝 `#2563EB`，截图里那个铅笔图标**几乎是隐形的**； 读圆心像素得到 `rgb(32,34,36)`。往左偏 50px 读到底色才见 `rgb(36,99,235)`。 `Theme.accentFg`（`#FFFFFF`）的注释原话就是「品牌底上的文字」—— 为这个场景存在， 却**一处都没用**。 修：12 处 `fontColor/iconColor(Theme.surface)` → `Theme.accentFg` （`MainPage` 10 + `InboxPage` 1 + `SessionsPage` 1）。改完全仓 0 处残留。 另在 `Theme.ets` 给 `surface` / `accentFg` 都补上"能当什么、不能当什么"的注释。 ## 三、判据（两条，都做了变异验证） 1. **设备条**（`cross-client-theme`）：读悬浮球像素 —— ① 品牌色**真的画成** `#2563EB`（声明 ≠ 渲染）； ② 球上图标与底色 **WCAG 对比度 ≥3:1**（压在上面的东西得看得见）。 把 `.accentFg` 改回 `.surface` ⇒ **判红**；还原 ⇒ 绿。 2. **静态防线**（同文件）：全局 grep「`fontColor/iconColor(Theme.surface)`」一处不许有。 设备条只能看一处，而这个错法有 12 处 —— 静态防线管住整类。 ## 四、判据自身踩的三个坑（都写进注释了） - **采样点撞上图标**：第一版取球心，读到 `rgb(32,34,36)`，差点当成"品牌色没渲染"。 截图一看球是蓝的，深色那点是**铅笔图标**。⇒ 往中心左偏 30% 球宽。 - **假设错了 FAB 的位置**：按"屏幕右下角"找（`x1 > 屏宽*0.6`）， 实测 `[942,1997]`（`x1=942` vs 阈值 1910）⇒ 永远找不到、**静默跳过**。 原因是列表窗格是**左栏**，球在"左栏的右下角"。⇒ 形状只用站得住的那部分（下半部）。 - **设备判据要自己搭现场**：不加自导航时它**永远跳过**（前面的判据把前台留在管理页）， 而那看起来像"功能没了"。加自导航后立刻开始工作并抓到 bug。 ## 五、欠账 - `harmony-maildetail-missing-three` → **count 0（结算）**：三块都做完了 （转发 `b7c5d8b` / 改名建议 `c2f35d1`+`e79a86a` / 往返预算 `ac62daf`）。 如实记着**未验**的那点：预算条的**点击**没在设备上走通 （模拟器顶部 155px 是系统手势区，折叠头部恰在其中）。 - `static-criteria` 5：`cross-client-theme` **升级了一半**，仍留在名单里 —— `.ets` 那半只有悬浮球这一处上了设备，其余令牌仍是静态对齐。 - `debt-visibility` 登记 `cross-client-theme` 1 处边界声明（带出处）。 `run-all.mjs` → `checks=513 pass=513 fail=0 skip=0 red=0 broken=0 unreported=0`； Go 侧 `./internal/repo/...` 通过。	2026-09-19 19:29:49 +08:00
JianFeeeee	ac62dafde1	跨端: 往返预算编辑上线（详情页缺的第三块）+ 修折叠头部点不中的真 bug ... 审计发现详情页缺三块功能之三：**往返预算**（WebUI `BudgetEditor`）。 `MailApi.setBudget` 早就有了，缺的是 `getBudget` 与 UI。 ## 一、预算条（对齐 WebUI，两态） 显示态是徽标（`已用/上限 来回` / 不限时「预算不限」/ 用尽时标红）， 点它进入编辑态：输入框 + 保存 + 重置 + 取消。 ★ 「用尽」的判定**走服务端的 `remaining`**，不自己拿 `used >= max` 算： 不限时服务端给 `remaining: -1`，那个式子在那种情形下会算出"已用尽"。 两端都得用服务端的口径。 ★ 「保存」与「重置计数」走**同一条 PUT**（服务端支持两者同时给， 它的注释原话：「加到 20 并从头算」是一次很自然的操作， 拆成两个请求只会让前端多一次往返）。 **契约实测**（不是形态检查）： GET → {"max_rounds":0,"used_rounds":1,"remaining":-1,"unlimited":true} PUT {"max_rounds":7,"reset":false} → {"max_rounds":7,"remaining":6,"unlimited":false} PUT {"max_rounds":0,"reset":false} → {"remaining":-1,"unlimited":true} ← 0 = 不限 ## 二、真 bug：折叠头部的展开区只有 **14px** 高 设备实测 dump：`Row [1277,112][3122,126]` —— 可点区高度 = 文字高度（14px 字号）。 而全屏之后**状态栏也在 y=112 那个区间** ⇒ 点它反复触发**系统手势（下拉通知）** 而不是展开头部。我为此试了七八次，每次都回到桌面。 而收起态头部里藏着**这个会话的全部旋钮**（收件人/时间/抄送/权限档/预算）—— 点不中就等于那些都看不到。 修：给那一行 `height(36)`（与左边返回键同高）。实测可点区 **14px → 43px**（`[1277,112][3122,155]`）。 ★ 判据 + **变异验证**：去掉 `.height(36)` ⇒ 判红；还原 ⇒ 绿。 ## 三、判据 `harmony-logic` 新增「折叠头部展开区高度 ≥32vp」一条（含变异自检）。 `run-all.mjs` → `checks=511 pass=511 fail=0 skip=0 red=0 broken=0 unreported=0`。 **未验**：预算条在设备上的**观感与点击**（模拟器顶部 155px 是系统手势区， 而头部恰在其中 —— 坐标式点击在那里会被系统抢走；真机上头部在状态栏之下）。 预算条的**数据链路**已用 curl 逐条实测（见上），但"点保存按钮后徽标变化" 这一步没在设备上走通。	2026-09-19 17:41:09 +08:00
JianFeeeee	c2f35d1023	跨端: 会话改名建议的接口层（详情页缺的第二块，服务端三个端点齐） ... 审计发现详情页缺三块功能之二：**Agent 的改名建议条**（WebUI `MailView.tsx:324` 的 `RenameProposalBar`）。这一批做**接口层**，UI 接线下一批。 ## 为什么这件事不只是"少个提示条" WebUI 那段的注释写得很清楚： > Agent 干到一半自己改掉，人上一秒记住的地址下一秒就失效。 > 提议 + 人确认，既让 Agent 表达意图，又保证寻址稳定性由人掌握。 也就是**寻址稳定性**的设计 —— 别名是人的寻址入口，Agent 只能**提议**。 ## 做了什么 1. `model/SessionRename.ets` —— `RenameProposal`（`alias` / `reason`， 字段名与服务端 json tag **逐字对齐**） 2. `api/SessionApi.ets` —— 三个动作： · `getRenameProposal(sessionId)` → `{"proposal": {...}}` 或 `{"proposal": null}` · `acceptRename(id, alias)` → **`PUT /sessions/{id}/alias`** · `dismissRename(id)` → `POST /sessions/{id}/rename-proposal/dismiss` 3. 判据（`harmony-logic`，+1 条）：字段名、响应外壳容忍 `null`、 接受走别名端点、驳回走专用端点、方法名与 WebUI store 同名、+ 变异自检。 ★ **接受为什么不另开端点**（服务端注释原话）： 「那条路径已经有唯一性校验与 409 处理，复制一遍只会多一个出错的地方」。 所以"接受建议"与"人手改别名"是**同一条路**，而"驳回"是另一条 （它不是改别名，是"别再问了"——服务端记下被驳回的别名， 否则每次打开会话都要重新点一次「忽略」）。 ## 端到端验证（真数据，不是形态检查） 造了一封带标记的真邮件投进一个真会话： POST /mail/send {reply_to: …, body: "内容正文。<!-- agentmail:rename-session alias=\"rename-verify\" reason=\"验证改名建议链路\" -->"} → 200 {"rename_proposed":"rename-verify", …} 然后： GET /sessions/{id}/rename-proposal → {"proposal":{"alias":"rename-verify","reason":"验证改名建议链路"}} ✓ 形状与我的一致 SELECT body FROM mails … → "内容正文。" ✓ 标记被剥掉 两件事都验到了：**服务端识别建议**，且**标记从人读的正文里剥离** （HTML 注释在 Markdown 渲染器里会变成可见文本，所以必须剥，不能指望渲染器吞掉）。 ## 判据 `run-all.mjs` → `checks=510 pass=510 fail=0 skip=0 red=0 broken=0 unreported=0`。 `harmony-logic` 30 → 31。`hvigorw assembleHap` 成功；前端重建 + 重打包。 **未做**：UI 接线（详情页的提示条）。接口层已完成并验证， 但"页面上真的显示建议条并能点接受/驳回"要下一批。	2026-09-19 17:12:40 +08:00
JianFeeeee	b7c5d8b1e7	跨端: 邮件转发上线（详情页缺的入口）+ 修两个真 bug（动作球重叠 / 键盘挡住按钮） ... 审计发现详情页缺三块功能之一 —— **转发**。服务端 `forward.go` 完整、 `MailApi.forward()` 也早就写好了，缺的只是这一页的入口。 ## 一、转发（对齐 WebUI `ForwardBar`） 字段与占位文案逐条对齐：收件人 / 抄送（**可折叠**，默认收起）/ 说明 / 引用原文。 `subject` 留空让服务端自动加 `Fwd: ` 前缀（它处理了 "Fwd: Fwd:" 无限叠加）。 ★ 请求体用了**专用类型** `ForwardMailRequest`，不复用 `SendMailRequest`： 服务端 `forwardRequest` 只认五个字段，而它的 `Decode()` 是 `DisallowUnknownFields()` ⇒ 多带一个（`body` / `reply_to` / `attachment_ids`…）就 **400**。 —— 这正是我今天在 `AppearancePayload` 上刚犯过的那个错，**端点一个类型一个请求体**。 ★ 顺带发现：`MailApi.forward` 的签名**原本就写错了**（参数类型是 `SendMailRequest`） —— 一直没被发现，因为**从来没有调用方**。"写好了但没人用"的代码， 连它自己的类型对不对都没人验过。 ## 二、真 bug ①：两个动作球**几乎完全重叠** 转发球与回复球**各自**写在 `Stack({alignContent: BottomEnd})` 里、各带一个 margin。 实测 dump 的 bounds（密度 2.875）： 转发 [2984,2010][3122,2148] 回复 [2949,1998][3110,2159] ← 重叠区 x ∈ [2984,3110] 屏幕上只看得到一个球，**转发入口等于不存在**。 根因：`Stack.alignContent` 把**每个**子元素都摆到同一个角，margin 只是各自微调。 修法：用 `Row({ space: 12 })` 包住两个球、由 Row 带 margin 到角落。 **设备实测**（修后 dump）：`[2776,2021][2914,2159]` 与 `[2949,1998][3110,2159]`，不重叠。 ## 三、真 bug ②：键盘一弹，「转发」按钮就被顶出屏幕 转发弹层第一版**没有高度**（只有 `padding(16)`）⇒ 尺寸由内容决定。 而 ArkUI 默认的键盘避让是 `KeyboardAvoidMode.OFFSET`（整体上移）—— 上移之后 `TextArea` 与「取消 / 转发」按钮**跑到键盘下面**，点不到。 实测截图：只看得见收件人输入框 + 键盘。 修法两半（缺一不可）： ① 弹层给明确高度 `height('60%')`（与回复弹层一致，它一直没出问题）； ② 说明框改 `layoutWeight(1)`（不是固定 `height(70)`）—— 键盘顶上来时它自己缩短， 把按钮留在屏内。 **设备实测**（键盘弹出时 dump）：`取消 [1196,2054][1426,2158]`、 `转发 [2880,2054][3110,2158]` 都在屏内（屏高 2232），且 `clickable=true`。 ## 四、判据（这两条固化了上面两个形状） `harmony-admin` 新增两条**静态形状**判据（它们抓的是写法，不需要设备）： 1. **同一 `Stack` 里的多个圆形按钮必须被 `Row` 包住**（否则重叠）； 2. **底部弹层必须有明确高度** + 会撑高的子元素用 `layoutWeight` （否则键盘一弹按钮就被顶出屏幕）。 ★ 为什么用静态判据而不是设备判据：这两个 bug 的**形状**在源码里就看得见 （`Stack` + 各自 margin / 弹层缺 `.height`），而设备判据要摆出"键盘弹出"这个态， 成本高且不稳。静态判据在这里是**更快更准**的那一层。 （设备判据仍保留在别处，验"真的能打开、真的渲染出来"。） ## 五、验证 `run-all.mjs` → `files=32 ran=32 checks=509 pass=509 fail=0 skip=0 red=0 broken=0 unreported=0`（`harmony-admin` 28 → 30）。`hvigorw assembleHap` 成功。 **设备实测**：转发球与回复球分开显示（各自图标可见）； 点转发球 → 转发框打开（「转发「…」」+「抄送」折叠开关 + 取消/转发）； 键盘弹出后按钮仍在屏内可点。 **未验**：真发一封转发（收件人输入在自动化里不稳 —— `uitest inputText` 是**追加**而非替换，且 `keyEvent Back` 会退出页面而不是收键盘。 这条留待真人操作窗口，与 `harmony-p4c-boundary-decls` 那笔同性质）。	2026-09-19 17:00:44 +08:00
JianFeeeee	1bf687f506	判据: 图片上传链的设备判据（用真实素材）+ 静态欠账从 6 减到 5 ... 继续升级到期的静态判据。这一批做 `harmony-imageprep`（上传链）， 并顺手把已完成的 `harmony-admin` 移出欠账名单。 ## 一、图片上传链：用**真实素材**验压缩决策的输入 `run-all.mjs` 的 `STATIC_ONLY` 里那条登记写着 「上传链的设备侧：`@ohos.multimedia.image` + 相册要设备才能真跑」。 上面 30 条判的都是 `model/ImagePrep.ts` 的纯逻辑（阈值、单调性、边界…）， 它们全绿时有一件事从未验过：**那些数字与设备上真实的图片对得上吗**。 新判据用**用户真上传过的那张壁纸**（`GET /me/appearance/image` 取回， 1402×1122 / 152570 字节 —— 不是合成图），断三个跨端事实： ① 设备上读到的像素尺寸 = 决策时用的尺寸； ② 真实体积在客户端上限之内；③ 该尺寸走 `planCompress` 首档**不缩小** （长边 1402 < 2560）+ `judgePick` 放行。 ★ **为什么不合成图**：纯色能压到几 KB、噪声几乎压不动，用它们验阈值 会得到"怎么都对"的假绿。真实照片的行为才是要验的那个。 ★ **诚实标注了没做的那一半**（写在判据注释与 `DEBTS.json` 里）： 本判据用的是**设备上的 `file`/`ls`** 这一独立来源读素材属性， **没有**跑 `image.createImagePacker()`。跑它需要一个**用户选图**入口 （`DocumentViewPicker`，要人操作系统选择器），自动化里没有稳定路径； 而编一个"绕过选择器直接调 `packJpeg`"的测试专用入口，会是**只有测试在用的代码** ——那种代码不会被真实场景触到，验它等于验一个不存在的东西。 ## 二、静态欠账 6 → 5（还完就划掉） `harmony-admin` 那条**已升级为设备判据**（上一批做的）， 所以它**不该再留在 `STATIC_ONLY` 里** —— 那个名单是给"还欠着的"记账的。 留着会让余额虚高，而这正是这个机制要防的（欠账不显形就等于没有）。 ## 三、途中被两条"登记一致性"判据拦了两次（都按它们给的方向修） 1. `debt-visibility`：我在 `harmony-imageprep` 里新增了两处边界声明 （"未覆盖/未验"这类词），而余额里没登记 ⇒ 红。 **按它要求的顺序做**：先补 `docs/DEBTS.json`（`harmony-p4c-boundary-decls` 那一笔的 note 里写明"只做了一半"），再把登记次数 4 → 6。 2. `commit-hygiene`：`DEBTS.json` 说 `static-criteria=6`，实测 5 ⇒ 红。 —— 这条正是"可见的那个数字是副本，漂移了必须两边一起改"。 改数字之外还在那一笔里写了**为什么减**（admin 升级并移出名单）。 ★ 第三处被拦很有意思：`debt-visibility` 是**按词表数自己**的判据， 我第一次修时在那个文件里写了一句话里含"仍未覆盖"，于是它把自己数多了 1 处 （12 → 13）。那一刻是**判据在正确地工作**（"多一处即红"）—— 我写的其实是**引用**另一笔账，不是新的边界声明，所以改成了不带判定词的措辞。 ## 四、判据 `run-all.mjs` → `files=32 ran=32 checks=507 pass=507 fail=0 skip=0 red=0 broken=0 unreported=0`。`harmony-imageprep` 30 → 31； `harmony-admin` 移出静态名单（仍在套件里，28 条）。 `hvigorw assembleHap` 成功；前端重建。 **剩余到期未升级**：`harmony-appearance`（已有 2 条设备判据）、 `harmony-logic`、`cross-client-theme`、`appearance-defaults` —— 逐条来。	2026-09-19 16:18:10 +08:00
JianFeeeee	fc295893cb	跨端: 深色模式下的品牌浅底不跟随 —— 12 处「选中/未读」底色在深色页上刺眼 ... ## 真 bug（设备实测） 深色主题下，「我的」页**选中**的那张账号卡片仍是接近纯白的浅蓝 （实测像素 `(255,255,255)` 级别的浅底压在 `(32,34,36)` 的深色页上）。 根因：`Theme.accentSoft = '#EFF6FF'` 是**写死的浅色**，而它被当作 「选中态背景」用在 12 处（未读邮件行、选中账号、分段选中、登录页模式切换…）。 **为什么只有 WebUI 没这个问题**：它有 CSS 变量的**反转发**机制 —— `index.css:113` 的 `--c-blue-50: 239 246 255` 在 `.dark` 段（`:475`）被换成 `28 37 54`（深蓝黑）。ArkTS 的 `static readonly` **一个常量一个值**， 没有那层机制 ⇒ 静态常量必须自己提供两个取值。 ## 修法 1. `Theme.accentSoftDark = '#1C2536'`（对齐 WebUI `.dark --c-blue-50` 的 `28 37 54`） 2. `Theme.accentSoftFor(dark)` 作为**唯一入口** —— 不在页面里各自 `isDark ? a : b`：那样每处都会各写一遍，迟早漏一处 （WebUI 那条"由 test/theme.test.mjs 逐档断言"就是为防这个） 3. **深浅色从哪来**：只有 `MainPage` 算得出（它读 `resourceManager` 的 `colorMode`）。所以走 `AppStorage` 单向发布（与徽标、windowInsets 同一套）： MainPage 算 → 写 `agentmail.appearance.isDark` → 各窗格 `@StorageProp` 读。 6 个文件、12 处，全部改用 `accentSoftFor(this.isDarkNow)`。 **设备实测**：深色下「我的」页账号卡片与收件箱未读行都变成深蓝底， 像素 `(32,34,36)` 与页面底一致（不再刺眼）。 ## 判据（这条是新加的，形状值得记） `cross-client-theme` 新增：**品牌浅底必须有深色变体**。断三件事： 1. 深色变体存在，且**取值从 WebUI 的 `.dark` 段反推**（不是随手挑一个深色）； 2. 有按主题选值的**入口**（防"页面各自写三元"）； 3. **用到它的地方真的走那个入口** —— 扫描所有 `backgroundColor(… accentSoft …)` 并排除 `accentSoftFor`，把漏改的位置**逐行报出来**。 第 3 条在我改到一半时**当场列出了剩下 9 处**（`CalendarPage:1172`、 `ComposePage:255`、`LoginPage:327`…）—— 这就是它该有的样子： 不是"断言存在某个常量"，而是"断言没有一处漏改"。 ★ 写这条判据时踩了自己一次：JS 模板串里嵌了反引号包围的标识符 （`` `accentSoft` ``），直接 SyntaxError。改用字符串拼接。 ## 判据 `run-all.mjs` → `checks=506 pass=506 fail=0 skip=0 red=0 broken=0 unreported=0`。 `hvigorw assembleHap` 成功；前端重建。 **未验**：日历/登录页在深色下的观感（只逐处改了底色，没逐页截图）。	2026-09-19 16:02:26 +08:00
JianFeeeee	a18014e1e3	判据: 管理页设备判据（到期静态判据的第一条升级）+ 修设备判据基建的三个真 bug ... `run-all.mjs` 的 `STATIC_ONLY` 里登记着 6 条"只能静态验"的判据，前提是 「本工作区能装、能点设备」。设备现在可用 ⇒ 它们**到期**了（欠账当场变红）。 这一批升级第一条：`harmony-admin`（用户管理页）。 ## 一、新设备判据：管理页真的能打开、列表真的渲染 上面 27 条静态判据判的都是逻辑与接线形态。它们全绿时， "管理页能不能打开、列表能不能渲染"**一句都没验过** —— 而它最容易坏： 路由注册对了但入口没接上、接口回来了但列表没渲染。 判据自己搭现场：拉起应用 → 进「我的」→ 滚到底 → 点「管理」→ 断言真的在管理页（出现「新建用户」）且**渲染出用户行**。 ## 二、途中撞出三个**判据自身**的 bug（都已修，都写了教训） 1. **`tapText` 从来没成功点过任何东西**（`lib/harmony-device.mjs`） `findByText` 返回的是**数组**，我当单个节点用了 ⇒ `node.attributes` 恒 `undefined` ⇒ 恒返回 `false`。症状极隐蔽：调用方以为"没找到那个文案"， 实际是帮手自己坏了。修：从数组里挑，且**优先挑可点的那个** （同名文案常常一个可点、一个不可点）。 2. **判据之间互相干扰**（新增 `backToMain`） 每个设备判据都是写操作，会把前台留在它操作完的那一页。`harmony-admin` 把人留在管理页 —— 那是 `pushUrl` 出去的独立 `@Entry` 页，**没有侧栏** ⇒ 后面的 `cross-client-gesture` / `harmony-appearance` 找不到侧栏、 双双 skip（skip 原因写的是"宽屏侧栏找不到"，看起来像功能没了）。 `launchOurApp` 解决不了（`aa start` 只切前台，不弹栈）⇒ 新增 `backToMain`。 3. **"找不到元素"要先分清是功能缺失还是判据没摆好现场** 本判据连栽四种形态，每一种都伪装成"功能缺失"： · 锚点文案错（入口是「管理」，我按「用户管理」找 —— 后者只是说明的一部分） · 元素在滚动下方（dumpLayout 只报可见节点） · 文字节点不可点（`.onClick` 在包住它的容器上，ArkUI 的常态） · **滚动步长跨过了它**（诊断打印现场才发现：停在了「系统通知」那一带， 而「管理」只占 ~0.04 屏，一次 0.2 屏的滑动必然越过） ⇒ 最后改成"**先滚到底、再小步回扫**"（只管往前找在不均匀列表上必漏）， 并加了 `AGENTMAIL_ADMIN_DEBUG=1` 的诊断入口把现场打出来。 ## 三、判据 `run-all.mjs` → `files=32 ran=32 checks=505 pass=505 fail=0 skip=0 red=0 broken=0 unreported=0`（连跑两次稳定）。 `harmony-admin` 27 → 28 条。`hvigorw assembleHap` 成功；前端重建。 **设备实测**：管理页从「我的」页打开，显示「管理 / 用户管理 3 / 新建用户」 与三行用户（jianf 管理员 / gui-lab 用户 / test 用户）。 **仍到期未升级**：`harmony-appearance`（已加 2 条设备判据，但登记里其余部分仍静态）、 `harmony-logic`、`cross-client-theme`、`appearance-defaults`、`harmony-imageprep` —— 按"每条缺什么设备侧验证"逐条来，不为了消数字而凑。	2026-09-19 15:53:34 +08:00
JianFeeeee	f655453424	跨端: 审计补强 —— 邮件行的「抄送 N」+ 断点差异登记 + 两处"看起来有其实没有"的澄清 ... 继续「全面对齐 WebUI 和鸿蒙」。这一轮做的是**逐页对照审计**（子代理通道被 session daemon 的端口占用堵死，改为自己逐处读源码对照）。 ## 一、补上邮件行的「抄送 N」（真缺失） WebUI `MailList.tsx:350` 行上有「抄送 N」，鸿蒙**完全没有**。而数据一直在： `cc_list` 服务端确实返回（实测回包字段列表里有），只是鸿蒙的 `MailLike` 接口漏了这个字段 ⇒ 一封抄送给多个人的邮件在列表里看不出任何区别。 修法：接口加 `cc_count`，`MailSummary` 加 `cc_list` + `cc_count`， 收件箱/发件箱两处填充派生值，行上按 WebUI 的位置渲染。 **设备实测**（造了一封带 2 个抄送的真邮件）：行上出现「抄送 2」， 位置与 WebUI 一致（主题行下方、灰字）。 ★ 接口用**数字**而不是 getter：`MailSummary implements MailLike`， 而 ArkTS 的 interface 里不能声明 getter（编译报 "incorrectly implements interface"）。 ## 二、有意**不抄**附件标记（发现 WebUI 那段是死代码） WebUI 行上还有一个 📎 + 数量的标记（`MailList.tsx:351-355`）。但核对服务端 **实测回包**：`GET /me/mail/inbox` 既没有 `attachments` 也没有 `has_attachments` ⇒ `mail.attachments?.length ?? 0` **恒为 0**，那个标记在 WebUI 上**从不出现**。 所以鸿蒙这一轮**有意不抄它** —— 照抄一个不工作的东西，只会多一处 "看起来有、永远不亮"的代码。要做这个功能得先让服务端在列表回包带上附件计数 （一次 JOIN 的事），那是独立的一件事，已登记进 `docs/DEBTS.json` （`mail-list-attachment-count`）。 ★ 这一条与鸿蒙 `MailSummary.has_attachments` 那个字段一起处理掉了： 它还留在那里会误导人（服务端永不返回它 ⇒ 恒 false）。 ## 三、两端宽屏断点不同 —— 登记 + 判据（此前**无任何记录**） 审计点名要核实的这条确认成立： WebUI: `NARROW_QUERY = '(max-width: 1023px)'` 含义 = 「三栏（60 导航 + 320 列表 + ≥520 详情 ≈ 900px，再加余量）放不下就退化单栏」 鸿蒙: `isWide = width >= 768` 含义 = 「要不要显示**侧栏**」（鸿蒙内容区是一个窗格，没有并排三栏） **含义不同，所以数值不同本身不算错** —— 这与手势阈值同一条口径 （语义各自成立时，数值不必强求一致）。但**用户可见的后果**是：768–1023 宽 （常见竖屏平板、窄窗口）下 WebUI 是单栏+底栏、鸿蒙是侧栏+内容， 同一宽度在两端长得不一样。 处理：① 登记进 `docs/DEBTS.json`（`wide-breakpoint-divergence`， 带三个待定选项）；② 加判据 —— 它**不**要求两端取值相同，而是要求 「取值可读 + 含义写清 + 差异被登记」三件事同时成立。 ★ 写这条判据时又踩了同一坑：用 `code()` 读注释 ⇒ 永远红。 `criteria-hygiene` 判据的头顶就写着"判代码用 code、判理由用 prose"。 ## 四、判据 `run-all.mjs` → `checks=505 pass=505 fail=0 skip=0 red=0 broken=0 unreported=0` （cross-client-theme 15→16）。`hvigorw assembleHap` 成功。 **未验**：附件标记（有意不做）；抄送行在**深色**下的对比度未单独验。	2026-09-19 15:13:51 +08:00
JianFeeeee	f811c9887a	跨端: 三个真 bug（外观保存 400 / 改档位界面不动 / 内容列溢出屏幕）+ 设备判据 ... 这一轮从「全面对齐 WebUI 和鸿蒙」开始，先做设备层判据升级，结果**判据一上线就连撞三个真 bug** —— 它们全都是静态判据照不到的形状：**数据对、界面不动**。 ## 一、外观保存从来就没成功过（PUT 400） `payloadFromLocal` 复用了 `AppearanceResponse` 当请求体，而那个类型是 **GET 的响应**： 带着 `has_image` / `image_bytes` / `saved`。服务端的 `Decode()` 是 `DisallowUnknownFields()`（严格，**有意为之**）⇒ **每一次保存都被拒收（400）**。 症状极隐蔽：本地 `@State` 立刻变 ⇒ 肉眼看着像成功了；只有看 hilog 的 HTTP 状态码 才发现 400。修法是加 `AppearancePayload`（**恰好**服务端 `models.Appearance` 的五个字段）。 ★ 这是"两端共用同一个类型"的代价：请求与响应本来就不该同形。 ★ 服务端严格是**对的** —— 它帮我们抓到了这个错误。修客户端，不是放宽服务端。 ## 二、改了档位，页面背景一点不变（两层原因） **第一层**：`SettingsPage` 存进 store 了，但 `MainPage` 的 `bgPlan` 只在启动时算一次， 之后没人动 ⇒ 发布一个 `AppStorage` revision（计数器，不是布尔 —— 布尔 true→true 不发变化通知），`MainPage` 用 `@StorageProp + @Watch` 接住。 **第二层（更隐蔽）**：接上之后**还是不动**。因为 `bgPlan` 是 `@State BackgroundPlan`， 而 **ArkTS 的 `@State` 观察不到类内部字段**的变化 —— 渲染读的正是 `this.bgPlan.kind` / `.layers`。hilog 一对证据同一次启动相差 100ms： Appearance: sync: bgKind=preset … hasImg=true ← 数据是对的 Wallpaper: kind=none layers=0 active=false ← 渲染读到的还是旧值 修法：加 `@State bgContentRev: number`，每次算完 plan 就 +1，**并在 Builder 的 条件表达式里消费它**（ArkUI 按"这个 Builder 读了哪些 @State"决定是否重渲染； 只加计数器而渲染不读，等于没加 —— 判据同时断这两半）。 ★ 同一个坑本仓出现过（`AppearanceStore` 的注释里写着这句），这次换了地方发作。 ## 三、「我的」页右端内容被顶出屏幕（追了很久的 `56.000000` 之谜） 真相有**两层，两层都值得记**： 1. `dumpLayout` 里 `Slider` 节点的 `text='56.000000'` 是**无障碍文本** —— 屏幕上根本没这串字（截图可证）。**dump 的 text ≠ 看得见的字**。 2. 真正的问题是那个**看得见的** `Text('56%')` 落在 `x=3250`，而屏宽 3184 ⇒ **它在屏幕外**。用户只看得到滑杆、看不到数值。 根因：`MainPage` 里"侧栏 + 内容列"是 `Row` 并排，内容列写 `.width('100%')` —— 在 Row 里 `100%` 是**父容器全宽**，与侧栏的 60vp **相加** ⇒ 必然溢出。 实测内容列 `[229,28][3357,2204]`，右边缘超出屏幕整整 173px（= 60vp）。 修法：改 `.layoutWeight(1)`（吃剩余空间）。修完实测 `[229,28][3156,2204]`， `Text('56%')` 落在 `[3049,1803]` —— 屏内。 ★ 为什么值得一条设备判据：**同一处错误在不同 pane 上表现不同** （日历页自己算宽度就没露出来），很容易被当成"某一页的样式问题"去调。 ## 四、设备判据基建（这一轮加的能力） - `lib/harmony-device.mjs` 新增 `launchOurApp` / `ourAppInFront` / `tapText` / `swipe`。 `swipe` 里 clamp velocity 并写明那个坑：`uitest` 的 velocity 越界**不报错**， 只回一句 "out of range, the default value will be used"，静默换成默认 600。 - 三条新设备判据（`harmony-appearance`）：壁纸档位真的切换 / 窗格内容不得超出屏幕。 - 修了一个**元问题**：设备判据在套件里**恒跳过**（要求"现场已经摆好"）， 只有手动摆好才通过 ⇒ 那等于没有判据。现在它们**自己搭现场** （拉起应用 → 导到目标页 → 操作 → 复位）。`cross-client-gesture` 与 `harmony-appearance` 都改成了这样，套件里 `skip=0`。 - 途中撞出的两个判据自身缺陷（都写了注释）： · `root0` 用**切页前**的快照 ⇒ 套件里红、单独跑绿（通过与否取决于跑之前那一屏） · 侧栏项筛选没排除**品牌标** ⇒ 想点「日历」却点到「通信」 ## 验证 `run-all.mjs` → `files=32 ran=32 checks=503 pass=503 fail=0 skip=0 red=0 broken=0 unreported=0`（含设备判据：gesture 9、appearance 27）。 `hvigorw assembleHap` 成功；前端重建 + 重打包（`build-stamp` 7/7、`packaging` 5/5）。 设备实测（HATriple 3184×2232）： · `PUT /me/appearance` 从 **400 → 200**（服务端访问日志）， 库里 `jianf` 的记录从空变成 `bg_kind=preset / bg_dim=56 / bg_blur=3`。 · 壁纸真的透出来了：预设档缝隙 `#E0E2E4`、不设档 `#FFFFFF`（像素级对比）。 · 「我的」页 `56%` / `3px` 正常显示在屏内。 **未验**：壁纸在真机上的观感（渐变是否好看、压暗 56% 是否合适）； 这一轮只验了"数据通了、界面响应了、内容没被裁掉"。	2026-09-19 15:03:40 +08:00
JianFeeeee	4a5318ca28	跨端: 手势补设备判据（真滑、标题真变）+ 修三处"设备判据假红"的典型错法 ... 上一提交把滑动翻页做完了，但只验到"代码形态对"。**真装上跑时一次都没触发** —— 这一条补上设备实测，并把途中撞出来的三类错法记进判据注释。 ## 一、为什么必须有设备判据 第一次装上跑：**代码全对、手势一次都没触发**。原因是起点 x=2600 落在 **右栏**（日程面板 `Column [2207,112][3184,2204]`）—— 事件根本没进网格列。 只有静态判据的话，结论会是"手势已实现、判据全绿"，而用户真去滑时一动不动。 所以判据断的是**界面真的翻了**（滑动前后各 dump 一次，断言月标题变一格）， 不是断"日志里有 turned=true" —— 后者只证明判定通过、证明不了有人会动。 ## 二、途中撞出来的三类错法（都写进注释了） 1. **`uitest` 的 velocity 越界会被静默替换** 我传 150（想表达"慢一点"），它只回一句 `The swipe velocity out of range, the default value will be used.` —— 不报错、不改退出码，只是默默换成默认 600。于是"慢滑"变成"更慢的滑"， 看起来像手势没生效。**传合法值（200~40000）+ 读回执**才能避免。 新增 `lib/harmony-device.mjs` 的 `swipe()` 帮手（与 `tap()` 同族， 内部 clamp，并在注释里写了这个坑）。 2. **滑动是有副作用且不可撤销的写操作 ⇒ 不能盲目重试** 第一版写"不生效就再发一次（最多 3 次）"，结果实测**把日历一次翻了 3 格** （标题跑到 2026年11月）。重试不是"再试一次"，是"再翻一页"。 只有幂等操作才允许盲目重试。改成：**只发一次 + 等足够久**（最多 8 秒轮询）。 3. **坐标不能用"到边界差一点"的比例** 取 `width * 0.68` = 2165，距网格列右边界 2207 只有 42px ⇒ **一次都不触发**； 同一台设备、同一份代码，起点改 2000 立刻生效。 起点贴边时触摸点会被判到相邻的右栏。改成取**列中段** （`0.62` / `0.13`，两端各留几百 px 余量）。 另：本判据第一版用"滑一次 + 固定等 2500ms + dump"，**单独跑通过、接进 run-all 后失败**（设备繁忙时不够）。固定等待是设备判据最常见的假红来源 —— 改成轮询到标题变化。诊断留了 `AGENTMAIL_GESTURE_DEBUG=1` 门控， 失败时能一次看到"前台/坐标/轨迹"，不用事后手动复现。 ## 三、设备实测结果（HATriple 3184×2232） · 月档：左滑 9月 → **10月**（`dx=-556.5 dy=0 ms=624 turned=true`）； 右滑回 **9月**（`dx=+556.5`）。 · 周档：`2026年9月14–20日` → 左滑 → **`9月21–27日`**（正好 +7 天， 证明步长走的是 `stepDaysOf` 而不是写死 1）。 · 斜滑（dx=400 dy=800）：`PanGesture({direction: Horizontal})` 在系统层 就没识别 ⇒ 比鸿蒙侧的 `SWIPE_AXIS_RATIO` 更早拦住（正确行为）。 **仍未验**：56vp / 1.4× / 700ms 这三个数**手感是否合适**，只能真人滑过才知道。 我验的是"判定逻辑 + 接线 + 真能翻页"。 ## 四、验证 `run-all.mjs` → `files=32 ran=32 checks=498 pass=498 fail=0 skip=0 red=0 broken=0 unreported=0`。 （含新设备判据：cross-client-gesture 9 条，其中第 9 条是真滑。 `build-stamp` 7/7、`packaging` 5/5 —— 按判据要求重建 + 重打包，没有改记录迁就。）	2026-09-19 14:16:30 +08:00
JianFeeeee	28e3da76d4	跨端: 左右滑动翻页（P6 第 3 步）+ 还 gesture-semantics 债 + 修跑不起来的判据基建 ... ★ 这一轮从用户一句「滑动手势呢？」开始。查下去发现它不是"顺手加个手势"， 而是 `docs/DEBTS.json` 里挂着的一笔债 —— `gesture-semantics` 的原话是： 「P6 第 3 步：鸿蒙侧出现滑动手势代码时**立即建**判据 （此前建 = 只有一端存在的假判据）」 也就是**先有手势、再钉语义**。WebUI 2026-09-14 就有滑动翻页（用户当时 亲口提的），鸿蒙一直没有 ⇒ 之前建判据会是空真（∀x∈∅）。 ## 一、手势本体（两端语义逐项对齐，数值各自定） 按 `HARMONY-ALIGN-PLAN.md:118-128` 显式选的 **(b) 口径**： 「手势的物理量本来就不该强求同值……该对齐的是**语义层**」。 · 判定逻辑放**纯逻辑层** `model/Calendar.ts` 的 `judgeSwipe`（可被 node 直跑， 写在 .ets 里就跑不了判据，语义没法被单测钉住）。四道门：位移 / 纵向优先 / 快滑窗口 / 方向。 · 阈值**不引用** WebUI 的 40 / 1.5 / 600（那是把巧合当契约）， 各自定为 56vp / 1.4× / 700ms，并在注释里写出取值依据。 · 接线在 `CalendarPage.ets`：`PanGesture({direction: Horizontal})` + `onActionStart`（记时 —— `GestureEvent` **没有时间戳字段**，我查了 SDK 的 gesture.d.ts 确认）+ `onActionEnd`（读 offsetX/offsetY）。 · ★ 挂在**网格列**上而不是整页：右栏（日程/编辑器）里有输入框与可滚内容， 整页挂会让「在表单里横划一下」变成翻月。 · ★ 翻页复用 `shiftRange()`（与 ‹ › 按钮**同一个来源**）—— WebUI 的注释 专门交代过：各写一套的话，阈值、边界、三档行为迟早分叉。 手势回调里**不准**直接改 year/month（锚点是唯一真相，年月只能由 `shiftRange → syncYearMonthFrom` 派生）。 **有意差异（记录在案，不是漏做）**：WebUI 在周/日档会额外检查「触点是否落在 可横向滚动的区域里」，是则让给滚动条（用户 2026-09-14 报过这个冲突）。 鸿蒙周档是「一行 7 格按 layoutWeight 等分」、**不横滚** ⇒ 该条件不适用。 哪天加了横滚必须同时补上它。 ## 二、判据（8 条语义契约 + 行为层） 新增 `cross-client-gesture.test.mjs`：两端都真有手势 / 方向映射逐项相同 / 纵向优先 / 快滑窗口 / 复用同一翻页函数 / 无边界回弹 / 有意差异被记录 / 自检。 **只比语义、不比数值**，并反向断言鸿蒙的阈值常量不得直接取 WebUI 的那三个数。 `harmony-logic.test.mjs` 加行为判据：真跑 `judgeSwipe`，把四道门各自验一遍 （只钉字符串的话，一个 return 写漏了照样全绿）。 ## 三、顺手修掉的三处**判据基建**缺陷（不修就没法验证上面这些） 1. `run-all.mjs` 只认 `# pass N`，而 node v24 打的是 `ℹ pass N` ⇒ **21 个文件被记成"没自报条数"**、套件在 HEAD 就恒红（memory 里记过这条， 修法也记过，今天终于落进代码：4 个正则加 `(?:#|ℹ)`）。修完 `unreported` 27 → 0。 代价是暴露出一批此前被"没自报"掩盖的真实问题（下面 4~6 条）。 2. `harmony-nav` 的设备判据 `navItemsOf`：宽屏过滤条件从「左边缘靠左 1/6」 改成「**整个盒子在侧栏轨道内**」。旧条件把**日历网格的格子** （实测 `[229,511][366,794]`）也当成导航项，一屏数出 11~12 个。 这是设备实测抓出来的 —— 我第一版还以为是"底部簇混进来了"， 打印真实数据才发现是隔壁页面的格子。 3. `harmony-logic` 两处：从 `NAV_ITEMS` / `NAV_SIDEBAR_ITEMS` **各自的数组**里取 label。原先把全文件 `label:` 一网打尽 ⇒ 得到 7 个（4+3 混在一起）， 任何一边改对了它都会红。 ## 四、被判据拦住后的正经修法（每条都按判据自己给的方向改，不改判据迁就代码） · `cross-client-theme` A2 拦住我：新增的 `navActiveBg`/`navBrandFg`/`badgePlain` 未登记；又拦住我：`sseColorOf` 里四个裸色值。→ 抽成 `Theme.sseConnected` 等 四个令牌（取值对齐 WebUI 的 Tailwind 类）+ 登记 + 在 Theme.ets 的表里写理由。 · 同一条判据的"死令牌"检出：`Theme.durBase` 声明了却从没人读。 **查 WebUI 才发现壁纸淡入是真有的动效**（`index.css:742-752` 的 `.app-backdrop` 从 opacity:0 → 1，180ms）⇒ 补上而不是删令牌 （删掉等于把差异抹平、还说成"清理"）。reset 在 `animateTo` **外**， 与 `calPaneIn` 同一条纪律。 · 玻璃登记：`NavItemBuilder` → `SidebarItem`（重构后按最近的 @Builder 命名）， 登记同步跟上。 · `harmony-admin` 的退出判据：退出逻辑抽成 `api/Logout.ets` 的 `performLogout()` （两个入口——「我的」页与侧栏底簇——必须做同一件事，尤其"先注销推送 token" 那一步）。判据相应改成**追到实际执行处**（两半都断：按钮调了 + 函数真清了全部）， 并写明"别再退回直接匹配 SETTINGS_PAGE 的写法"（那会随重构假红， 下一个人只会去改判据而不看行为）。 · `harmony-widescreen` 的连接点色值：色值搬进 Theme 后，判据改成断 「令牌定义对了 + 侧栏真的用了它」两半（只断任一半都有假绿形态）。 · `align-refs`：`CalendarView.tsx` 变了，按判据要求**读一遍差异**再更新登记 （差异只有农历小字的灰阶档位 gray-300→gray-400/500，**骨架未变**）。 · `criteria-hygiene`：`harmony-contacts` 自造了一个 `code()`、`harmony-widescreen` 裸用 `readFileSync` ⇒ 都改用 `lib/read.mjs` 的共享入口。 途中撞出一个**判据自己的 bug**：`code()` 的块注释正则 `/\*[\s\S]*?\*\//` 会把注释里出现的 `/*`（如 `/」**` 这种中文夹星号） 当成块注释起点，一路吃到几十行后的 `*/`，把中间的 import 全吞掉 —— 于是 hygiene 判据假红"没 import"。改掉那处写法后正常。 ## 五、验证 判据面：`run-all.mjs` → `files=32 ran=32 checks=497 pass=497 fail=0 skip=0 red=0 broken=0 unreported=0`。 其中新/改判据：gesture 8、nav 18、widescreen 7、logic 30、admin 27、 cross-client-theme 15、criteria-hygiene 6。 构建：`hvigorw assembleHap` 成功；前端 `npm run build` + 重新打 AppImage/deb （`build-stamp` 7/7、`packaging` 5/5）。 **设备实测（HATriple 三折叠 3184×2232，hdc 连 127.0.0.1:5555）**： · 农历在格子里真的显示（1=二十 / 7=廿六 / 19=**初九** / 11=八月），与 WebUI 一致； 这条同时验证了**服务端农历路由已部署**（之前线上是 404）。 · 日历左右两栏：编辑器出现在**右栏**、左栏月份仍可见（单栏模式下编辑器会整页盖掉它）。 · 侧栏 3 项 + 底部一簇；徽标回到图标右上角。 **仍未验（如实标注）**：滑动翻页的**手感**（阈值 56vp/1.4×/700ms 是否合适） 只能真人滑过才知道；我只验了判定逻辑与接线形态。动画同理 —— 机制已验证（`animateTo` 驱动 + reset 在窗口外），但"看起来顺不顺"未做取样验证。 docs：`DEBTS.json` 销掉 `gesture-semantics`（并记结算说明）、 `HARMONY-ALIGN-PLAN.md` P6 从「✅（滑动翻页除外）」改为 ✅。	2026-09-19 14:01:21 +08:00
JianFeeeee	d3140c213c	补充: 给"条数登记校验"加锚点（自检 5b）—— ★ 而我第一版锚点自己写成了**空真** ... `788d7cc` 把条数校验挪进 `else { … }`（红绿都跑）之后，**它没有自检**： 下一个人完全可以再挪回 `else if` 后面，那时**什么都不会红** （红文件又收不到条数回执），而缺口**只在文件恰好红时隐形** —— 正是它上次潜伏到 `c523c21` 的原因。⇒ 补自检 5b。 做法（锚点落在**实际发生的比较**上，不许落在源码文本上，§16.3）： 在 `else { … }` 里每次比较都 `countCheckRan.add(file)`， 5b 从 `records`（谁真的自报了条数）**独立重算**应当被评估的集合，再要求它被覆盖。 **不读 `reds`、不看那条校验自己的输出** —— 否则就是"读数器自作证"。 ★★ 而**我第一版 5b 是空真的**（自捉，如实记）： 我原来比的是"凡**条数不符**的文件都必须被记录过" —— **而这条修复本身就把 harmony-admin 的登记数对齐了 ⇒ 那个集合恒空 ⇒ 断言恒真。** 变异测试当场抓到：把 `countCheckRan.add` 挪回"只绿才走"，**5b 一声不响** —— 那一刻我才发现它不是"通过"，是"**没有对象**"。 改成比 **"所有自报了条数、且没崩的文件"**（红绿都含）：红文件必在其中 ⇒ 非空， 且"红文件被漏记"必被抓。另加**反空转**：集合为空而并非全部 broken ⇒ 自检自己报失效。 变异验证：挪回"只绿才走" ⇒ 5b 报出 6 个红文件名 （cross-client-theme / build-stamp / align-refs / harmony-push / criteria-hygiene / harmony-admin）； 基线不报 ✓。修后全套（树内）：files=31 ran=31 checks=487 pass=476 fail=11 red=10 broken=0 unreported=0。 `CRITERIA.md` 补两条可复用教训： ① **"拿现有数据试一遍"要试到"数据非空"** —— `∀x∈∅` 的判据看起来和真判据一样绿； ② **修好一件事会同时消灭它自己的测试对象** ⇒ 锚点不许建立在"当前的错误状态"上， 要建立在**恒在的集合**上（"谁自报了条数"，而不是"谁条数不符"）。	2026-09-19 12:56:19 +08:00
JianFeeeee	788d7ccb20	修复: 条数登记校验**只在"绿"的那条路上** —— 文件越红，它的登记数越没人守（假绿方向） ... 设备在场时跑全套，顺手核了每个文件的『登记条数 vs 实际条数』，发现： narrow-layout 登记=64 实际=88 exit=0 绿 ⇒ 校验生效（报了） nav-merge 登记=8 实际=9 exit=0 绿 ⇒ 校验生效（报了） background 登记=43 实际=44 exit=0 绿 ⇒ 校验生效（报了） harmony-presets 登记=5 实际=6 exit=0 绿 ⇒ 校验生效（报了） harmony-admin 登记=22 实际=27 exit=1 ★ 红 ⇒ 校验**走不到**（grep 0 命中） 根因：这条校验原来写在**最后一个 `else`**（"退出码 0"那条路）里，而 `r.status !== 0` 会**先在 `else if` 里 reds.push 并跳过它**。 ⇒ **文件越红，它的条数登记越没人守** —— 假绿方向： harmony-admin 那多出来的 5 条判据**不在"被删会红"的保护内**， 而它恰好是红的 ⇒ **只要它一直红，缺口就一直是隐形的**； 等它修绿那天校验才第一次生效，那时多出来的几条可能早被删了。 （同族：`unlisted`/`blind`/`baseline=` 的结论到不了 `verdict`，§16.1。） ★ 而且这个缺口**已经真的吃过一次**：`c523c21`（"邮件详情与「我的」页 1:1 对齐"） 给 harmony-admin **+5 条判据**（它自己的 commit message 就写着 "+5"）， **却没同步登记数**，而当时该文件是红的 ⇒ 5 条新判据至今裸奔。 修法：把条数校验移进 `else { … }`（红绿都跑；先 push 退出码红，再判条数）。 ⚠️ broken（崩了/一条条数都没自报）**不在这里**判 —— `diedWithoutReporting` 已吃掉它， 再叠一条"没找到自报条数"只是噪音：**"判据没答 ≠ 判据答错了"**（§17）。 并做那个"显式、可复核的编辑"：登记数 22 → 27（和 c523c21 欠下的那 5 条对齐）。 变异验证： · 红的 harmony-admin 登记数改 99 ⇒ 报『自报 27 条 < 登记的 99 条』✓ · 改成 27（对齐）⇒ **不报条数**、只剩"退出码 1" ✓ · 修后全套：red=10（harmony-admin 那条从"走不到"变成"报出来"后 + 对齐登记数又收回，净额 0），另 4 个绿文件的条数不符**照旧照报** ✓ `CRITERIA.md` 新增通用规则：**校验写在哪条分支上，决定它保护谁。** 凡"出错时要额外检查 X"的守卫，先问：**这条分支真红的时候，它还跑得到吗？**	2026-09-19 12:51:29 +08:00
JianFeeeee	a0e950109a	修复: 判据注释说"这个值来自 Go 源"，实际**一个字节没读** —— 服务端上限真漂移 29 pass/0 fail 一个字不变 ... pi 报的那格（4b 的 if(false)）已由并发会话的自检 4c 补上，我变异验证通过（三种恒假写法都红）。 这轮顺着"第 2 列现在每次运行都可见"去读那 6 条理由，挖出**同族的另一条缝**： `harmony-imageprep` 的 /** 服务端壁纸上限（appearance.go 的 appearanceMaxBytes() 默认值） */ const SERVER_LIMIT = 4 << 20; 注释说它来自 Go 源，而它一个字节的 Go 源都没读。实测（同刻 A/B）： 把 Go 里那个默认值改成 8<<20（真漂移）⇒ 本文件 **29 pass / 0 fail 一个字都没变** ⇒ 这条判据存在的全部理由（客户端上限要留在服务端那道门之内，否则必然 413 / 白扔分辨率）在服务端那道门真动了时**不会红**。危险处在于注释让读者以为已对齐。 修法（三件）： ① 从**真源头**解析，且**两处都读、要求相等** —— ⚠️ 我第一版只读了 appearance.go 的 `return 4<<20`，那是**兜底分支**； 生产里 config.C 非 nil ⇒ 生效值来自 config.go 的 `MaxAppearanceBytes: getEnvInt64("AGENTMAIL_MAX_APPEARANCE_BYTES", 4<<20)`。 "读了源"还不够，还得问"读的是不是生效的那一处"（同族缝的下一层）。 ② 解析失败必须红，**不许静默回退到硬编码**（回退 = 把"我读不到"变成"值是对的"）。 ③ 新增一条判据钉住"真的读出来了"：两处都无 err、生效值等于 config 那处、等于兜底那处、且 >0。 并**如实标出标签范围**：这证明"与默认值对齐"，**不证明**"与运行值对齐" —— AGENTMAIL_MAX_APPEARANCE_BYTES 可覆盖；别把本条读成"413 已不可能发生"。 变异验证（每个只动一处）：config.go 默认值→8MB ⇒ fail=2； appearance.go 兜底→8MB（两处不一致）⇒ fail=1（恰为"两处相等"那条， 余量那条**故意不红**，因为生效值没变 ⇒ 所以"两处相等"必须单独存在）； config.go 那行删掉 ⇒ fail=2（不许静默）。基线 30 pass / 0 fail。 另：`STATIC_ONLY` 第 2 列里那句「+ 服务端，三样本机都没有」是**假话** —— `server/internal/handler/attachments.go` 在本机、其 Go 测试 `-run Attach` 跑得通、 且本判据根本没连服务端。已改成"欠的只有设备侧那一半"（列每次运行都播报，假话会被读出来）。 注册条数 29→30 已同步。全套：files=31 checks=396 pass=384 fail=12 red=9 broken=3（跑在隔离 worktree）。 `CRITERIA.md §16.4`：通用规则 —— **注释里写"这个值来自 X"不构成读 X**； 凡"必须与别处一致"的判据先问：它真读了别处，还是抄了一份？	2026-09-19 12:42:32 +08:00
JianFeeeee	36ef15a8f2	跨端: 顶栏不再自己铺白条 + 日历改左右两栏 + 常驻窗格动画真的会播（用户三处实测指出） ... 用户三条反馈，逐条对应： ① 「底栏数字为什么显示在图标下面？」 WebUI 的徽标是 `absolute top-1 right-[22%]`（脱离文档流、浮在图标右上角）， 我写成了 `Column` 的第三个子节点 ⇒ 参与竖向布局、掉到文字下面。 改用 `Stack({ alignContent: Alignment.TopEnd })` 锚在**图标**上。 （顺带撞了 skill 里明写的坑：Stack 没有 `.justifyContent()`。） ② 「一个横着过去的白条，我真的服了」/「期望：融进背景」 WebUI 的顶栏**自身没有底色** —— 只有 `border-b border-gray-200` （`ContactPanel.tsx:64`、`CommTabs.tsx:40`、`CalendarView.tsx:295`）， 底色由所在面板给；壁纸开启时那层面板是玻璃色（`index.css:876`）。 鸿蒙三个窗格顶栏写死了 `Theme.surface`（实心白）⇒ 无论壁纸开没开， 顶上都是一条不通明白带。改成与**页面底**同一口径 （`bgActive ? Transparent : surface`）+ 补下边框。 ③ 「日历页面和webui布局完全不同」 WebUI 是**左右两栏**（`CalendarView.tsx:452-457`）：左 `flex-1` 网格、 右 `400px` 常驻面板（日程 / 编辑器 / 小时网格三态互斥）。 鸿蒙原来是**单栏竖堆**。重搭为两栏，`paneWide` 由 `.onAreaChange` 量本页**自己的**宽度（不是屏幕宽度 —— 宽屏下这一页已被侧栏占掉一截）； 编辑器改占右栏位置（不再整页盖掉正在看的那个月）。 ④ 「最严重的动画问题你一点也不该改」 日历是**常驻挂载**（`visibility` 控制，因为它里面 today 要随时间重算、 也要保住"正在看哪个月"），而 `.transition()` 只在**挂载/卸载**时触发 （SDK 原话 \"when it **appears and disappears**\"）⇒ 挂在它上面的 `.transition(paneRiseIn())` **一帧也不会播**，切过去是硬弹。 WebUI 踩过同一个坑并把错法写进了 `index.css:1305-1320` （「只挂了类，却没让触发窗口出现 ⇒ 类挂着、动画永远不播」）， 它的解法是 `html.view-switch` 重放窗口。ArkUI 对应物是 `animateTo` + 显式 `calPaneIn` 属性（`opacity` + `translate`）。 ★ reset 必须在 `animateTo` **外**：写进回调里会与同帧的 1 相抵， 渲染层只看得见最终值 ⇒ 动画退化成一个瞬移。 顺带修： · 宽屏侧栏 = 3 项（通信/日历/**联系**）+ 底部一簇（头像/主题/退出）， 与底栏的四项（含「我的」）**不是同一份清单** —— WebUI 的 Sidebar 与 NarrowNav 本就不同（`Sidebar.tsx:26-44` vs `NarrowNav.tsx:37-40`+143）。 新增 `NAV_SIDEBAR_ITEMS` / `ME_PANE_INDEX` / `SIDEBAR_ITEM_*`。 · 退出登录抽成 `api/Logout.ets` 的 `performLogout()`：侧栏底簇与「我的」页 两个入口必须做同一件事（尤其"先注销推送 token"那一步），复制一份就会不一致。 · 徽标 `'plain'` 档底色：WebUI 是石板灰 `--c-chrome-600`（#475569）， 我写成与未读共用红色 ⇒ 「联系」的徽标看起来像"有未读"。 · 主题快捷开关（侧栏底簇）：对齐 `ThemeToggleButton` —— 从 `system` 翻转时 落到**当前生效值的反面**（不是回 system；那可能毫无变化、让按钮看起来坏了）。 · 「浓度」→「压暗」+ 数值带单位（原先屏上印 `56.000000`；WebUI 是 `suffix="%"`）。 判据（8 个套件全绿：logic 28 / nav 18 / widescreen 7 / window 9 / arkts 5 / contacts 5 / calendar 30 / system-api 5）： · `harmony-widescreen` ② 重写：**回读 `Sidebar.tsx` 数 `short:` 的个数** 要求鸿蒙同数，并断言底部一簇三键真的被调用（`this.onToggleTheme()` —— 第一版写成 `/onToggleTheme/`，变异测试当场证明它不咬：属性**声明**还在， 正则照样匹上）。新增 ⑧：三档色调各自底色，期望值从 `--c-chrome-600` 读出。 · `harmony-nav` 动画条重写：改判**机制真的存在且被驱动** （旧断言 `.visibility(...).transition(...)` 锁的正是那个 bug —— 判据引自己写的注释当依据，就会把错误锁死）。新增 reset-在-animateTo-外 这条断言（否则动画退化成瞬移）。 · `harmony-nav` 设备条：`navItemsOf` 的宽屏过滤从"左边缘靠左 1/6" 改成"**整个盒子在侧栏轨道内**" —— 旧条件把日历网格的格子 （实测 `[229,511][366,794]`）也当成导航项，一屏数出 11~12 个。 新增 `navRailItemsOf`：导航轨贴顶、底部簇在屏底，按位置切一刀。 · `harmony-logic` 两处：从 `NAV_ITEMS` / `NAV_SIDEBAR_ITEMS` **各自的数组**里取 label —— 原先把全文件 `label:` 一网打尽， 得到 7 个（4+3 混在一起），任何一边改对了它都会红。 设备实测（HATriple 三折叠，3184×2232）：侧栏 3 项 + 底簇 / 底栏徽标回到 图标右上角 / 日历左右两栏与 WebUI 并排同构。 server/go.mod：补 2da38bb 漏提交的 lunar-go 依赖。	2026-09-19 12:30:05 +08:00
JianFeeeee	8a3d66a7c6	修复: pi 报的两条 STATIC_ONLY 发现 —— 第 2 列**没有读者** + static= 与"到期"是**两个量**（闸可被静默关闭） ... pi 单独发来它答应我的那两条（在**当前 HEAD** 上重测），我逐条复现、修掉， 并在过程中**自己连错两次**（都被变异抓出来，已写进 `CRITERIA.md §16.3`）。 ## 一、复现（我跑的，同刻 A/B） **发现 1**：第 2 列「当初只能静态的原因」**没有任何判据在读** —— 两个解构循环都用 `,` 把它丢掉（`:1295`/`:1306`），唯一读者是**到期点名时打印** （= 它最不需要被检验的时刻）。把它改成假话 ⇒ `red` 与红清单**零变化**。 **发现 2**：把 6 条探针全改指恒 `false`（`run: () => false`）⇒ **到期点名 1 → 0**，而 **`static=6` 一字不变**。 根因：`:2987` 的 `static=${STATIC_ONLY.length}`（余额）与 `:1605` 的 `if (dueStatic.length > 0)`（到期）是**两个量**，只有后者决定"到期"发不发生。 ★ 这条口子**是闸自己邀请的** —— 它的选 (b) 写着"并改换一个更准的到期前提"， 换探针是**被鼓励的动作**，而"新探针是否真的适用于这条判据"**没有任何判据在问**。 ## 二、修法 1. `static=` 改成 **`static=6（其中已到期 6 条）`** ⇒ 关闸读得出来（Y→0 而 X 仍 6）。 2. **每次运行都全表播报** `STATIC_ONLY`（文件 + 原因 + 是否到期**并排**）⇒ 第 2 列有读者。 3. **自检 4b** 钉住"那一跳真的存在"。 ## 三、我自己的两次错修（都被变异抓出） | 修法 | 变异 | 结果 | |---|---|---| | ① 理由必须点到探针的某个标识符 | 拿**现有 6 条真理由**跑 | **红了 5 条** ⇒ 假红是噪音，已撤 | | ② 断言 `staticDetail` **变量**内容完整 | 只删那句 `console.log` | **4b 仍报 ok**，真实输出播报段 **0 次** | | ③ 断言源码含 `${staticDetail}` 形状 | 同上 | **仍 ok** —— 锚点写在这段自检**自己的注释**里，`includes` 命中注释 | | ④ 剥离注释后再数 `+ staticDetail);` | 删 print | **4b 红 ✓** | ## 四、验证 · `AGENTMAIL_PROBE_DEVICE=ok` ⇒ `static=6（其中已到期 6 条）`、⏰ 标记 6 个、4b ok； `=none` ⇒ `已到期 0 条`。 · 变异 2（改指恒 false）：基线 `已到期 6 条`/点名 1 → 变异 `已到期 0 条`/点名 0 ⇒ **关闸可见**。 · 变异 4（删 print）：4b **红**，红句"可执行代码里没有任何一处把 `staticDetail` 拼进输出"。 · 全套隔离跑：`^RED=0`、自检 4b 打印 1 次、播报段 1 次。 · 全仓 grep：**没有**任何下游解析 `static=` 的旧形状 ⇒ 格式改动安全。 ## 五、文档 `CRITERIA.md` 新增 **§16.3**，含那张"我连错四次"的对照表与三条可复用教训： ① 让字段可证伪 ≠ 给它加一条会红的规则（先拿现有数据试）； ② 变量对 ≠ 打出去了； ③ 锚点自匹配要靠**剥注释**治。以及通用规则： **一个没人读的字段，先问它该被谁读 —— 给它读者；不该被读就删掉。** ★ 文件：`client/electron/test/run-all.mjs`、`CRITERIA.md`。	2026-09-19 11:53:04 +08:00
JianFeeeee	3c53510b2c	修复: **同一优先级写了两遍 ⇒ 两个顺序** —— diag 与 rc 排序相反，组合态下 UPSTREAM_RC 不变式为假（pi 实测） ... pi 顺着我这几轮新分的"1 还是 2"往下试，找到一条**两条判定链排序不一致**的口子 —— 它正好长在我刚分的那个岔路口上。**我复现了，是当前代码的真 bug。** ## 一、口子 `summary.py` 里同一个文件有**两份**优先级表，而且**顺序相反**： ``` diag（原选择处）：unlisted/ghosts 排第一 ⇒ 组合态报 manifest-mismatch rc （原返回处）：blind/unreadable/baseline-unrunnable|unknown 排第一 ⇒ 组合态退 2 ``` ⇒ 两类**同时**成立时（`unlisted` + 单文件不可读 / + 跑不了 `sha256sum` / + git 答不了）， `diag=manifest-mismatch`（`UPSTREAM_RC` 表里 **1**）而**真 `rc=2`** ⇒ `run-all` 那条不变式 `UPSTREAM_RC[diag] === rc`（`:1173`）**在其上为假**。 **实测**（裁 `PATH`、root 可达）：修前 `diag=manifest-mismatch`、`rc=2`、表值 `1` ⇒ 不一致。 ★ 后果**不是假绿**（`manifest-mismatch.blocksGreen=true` ⇒ 照样红、note 也转印）， 而是**严重度被低估**：2 档的码被 1 档的码**盖住** ⇒ 读者以为"只要改清单"， 而真相是"**连数都没读成**"。**rc 通道从此不可信。** ## 二★★ 根因：12 个案例**个个只动一维** ⇒ 不变式只在**对角线**上验过 `exitcodeSelfTest` 里**确实**有那条不变式，但它只跑自己构造的案例， 而那些案例每次只动**一个**维度（`unlisted` / `ghosts` / `blind` / `unreadable` / 各 `baseline-*`） ⇒ **组合（off-diagonal）无人可达**。 ## 三、修法（两件，缺一不可） 1. **一条链推两个结果**：`summary.py` 里按同一顺序算出 `(diag, rc_want)` **一对**， `RESULT` 行用它、`sys.exit` 也用它 ⇒ 排序不可能再漂移。 ★ 为什么**不是**"把两条链顺序改成一致"：那还是**两份**表，下次加条件两处又会各自漂移 —— 正是本仓反复消的"**一份事实两处实现**"。 2. **显式走一遍 off-diagonal**（新组合案例）： `未列入清单 + 跑不了 sha256sum ⇒ diag=baseline-unrunnable（2 档优先）且 rc=2`。 ⚠️ 这条**不能**只靠"每跑必断不变式"代替：组合态下若 `diag` 又被低档码占住， 那条断言就**永远验不到 2 这一档**。 ## 四、验证 · **修后组合态**：`diag=baseline-unrunnable`、`rc=2` ⇒ 与 `UPSTREAM_RC` **一致** ✓。 · **新案例**：`ok 组合：未列入清单 + 跑不了 sha256sum ⇒ … rc=2（真打出 diag=baseline-unrunnable，UPSTREAM_RC=2 ✓）`； `--only-selftest=exitcode-selftest` **rc=0、^RED=0、ok=15**。 · **变异**（把单链 2 档与 1 档换序 = 复现修前两条链）⇒ **rc=1、^RED=2**： `组合：… rc=1（期望 rc=2 且输出含 "diag=baseline-unrunnable"（真打出 diag=manifest-mismatch，UPSTREAM_RC=1 ✓））` ⇒ 排序本身被锁住；且**连带**抓出 `盲读` 那条（换序后盲读也走 `manifest-mismatch`）。 · **全套隔离跑**（worktree，只带本笔三个文件）：`^RED=0`、因果红 0、对照红 0。 （`fail=10`/`red=10` 是并发会话的跨端线与设备竞争，与本笔无关。） ## 五、文档 `CRITERIA.md` 新增 **§16.2**（§16.1 的镜像：那边是"结论到不了"，这边是"两个都到了但互相矛盾"）， 含那条通用规则： > **凡"多条判定链各自挑一个代表"的地方，都要问：它们挑的是不是同一个？** > 只测**单维**永远证明不了这件事 —— **对角线上的绿，对组合态没有发言权。** ★ 文件：`client/electron/test/mutants/summary.py`、`run-all.mjs`、`CRITERIA.md`。	2026-09-19 10:07:50 +08:00
JianFeeeee	d8277a5977	跨端: 导航项徽标两侧补齐（我上次"撤回"错了 —— WebUI 是有的） ... 上一笔我凭"两侧导航都没有徽标"把刚写好的徽标**撤回**了。那是错的： `client/electron/src/components/Sidebar.tsx:88-95,111-125` 明确有—— ``` const badge = isComm ? unread + pendingPerms : modes.includes('contacts') ? contacts.length : 0; const badgeTone = isComm && pendingPerms > 0 ? 'perm' : isComm ? 'unread' : 'plain'; ``` 并且是 `absolute top-0.5 right-1` 压在导航项右上角，`>99` 显示 `99+`。 我当时只看了底栏 `NavItem`（那里确实没有），就把结论推到了"两侧都没有"。 ## 补的东西 - 新增**纯逻辑** `model/NavItems.ts` 的 `navBadgeCount` / `navBadgeTone` / `navBadgeText`， 逐条对齐 WebUI 的口径： · **通信** = 未读 + 待决策（两类"要动手"合起来）； · **联系人** = 联系人数；日历/「我的」= 0（没有徽标）； · 色调：待决策**橙**（有人卡在那儿等）优先于未读**红**（只是还没看）； · 负数当 0（计数来自网络，不假设它干净）；`>99` → `99+`。 - **两侧**（底栏 `MainPage.NavItem` + 宽屏 `WideSidebar.NavItemBuilder`）都接上， 且读**同一组** AppStorage 键 —— 两处各算一套，数字迟早对不上，而用户同时看得到它们。 - 计数发布走 `AppStorage`（单向：窗格写、导航栏读），与 `KEY_WINDOW_INSETS` 同一套机制。 不把这两个数提到 `MainPage`：那样"从没进过通信页"也会去发请求。 - 徽标位置对齐 WebUI 的 `absolute top-0.5 right-1`（压在项的右上角）。 ★ 第一版我排在文字**下面**，截图一眼可见那颗 3 掉到了「联系人」标签底下、 还把 48vp 的项撑高了 —— 方阵节奏乱掉。 ## 判据（harmony-widescreen 6 → 7） 第 ⑦ 条**直接执行**鸿蒙侧的纯函数，且期望值在测试里**独立算一遍** （不复用被测函数，否则是"用实现验实现"）。 ★ 接线部分我写错过一次，变异测试当场拆穿：第一版只判 `assert.match(src, /navBadgeCount\(/)` —— 把**渲染处**的调用换成 `0` （徽标永远不显示），文件里仍留着一处调用，判据照样全绿。 ⇒ 改成判**把值交给 Text 的那一行**，并且认出两侧写法不同（底栏走 helper `Text(this.navBadgeOf(key))`，侧栏就地内联 `Text(navBadgeText(navBadgeCount(...)))`）。 **4 个变异方向全咬**：通信漏算待决策 ⇒ 红；色调优先级写反 ⇒ 红； 侧栏渲染处换空 ⇒ 红；底栏渲染处换空 ⇒ 红。 设备实测：侧栏「联系人」显示红 **3**（3 个联系人），位置在图标右上角。	2026-09-18 13:30:38 +08:00
JianFeeeee	4ff6b10260	跨端: 联系人页补齐「写信 / 归档」—— 顺带撞出三个只在跑起来才现形的 bug ... 用户：「你自己看看这些页面和webui有哪怕一丁点的相似之处吗？」 把两个客户端**同一个宽度**并排看之后，缺的很具体：WebUI 联系人卡片有 「写信 / 归档」，鸿蒙一个都没有。补的过程撞出三个缺陷，都不是"代码不合法"—— 编译器与既有判据全绿： ## ① 归档打的是**服务端不存在**的路由（死函数） `MailApi.archiveContact` 打的是 `DELETE /me/contacts/{name}/{path}`： - `grep 'me/contacts' server/cmd/server/main.go` **零命中** ⇒ 按钮接上去就是 404； - 全仓**没有任何调用方** ⇒ 它是个从没跑过的死函数，所以"没有归档按钮"这件事 一直没暴露这个错。 服务端真实形状是 `POST /api/v1/contacts/archive`（`handler.ArchiveContact`）， body 二选一 `{session_id}` / `{address}`。**跟 WebUI 同口径用 session_id**： address 会随别名变化，只有 session_id 是会话的身份。 ## ② 用已存 token 恢复登录**永远进不去主界面**（最恶劣的一个） `LoginPage.tryRestore` 验完 token 就结束了 —— 设了 `loggedIn = true` （界面出现「登录成功：jianf」）却**从无跳转**。本文件另外两条成功路径 （`aboutToAppear` 快速路径、`doLogin` 末尾）都有跳转，唯独这条没有， 而它**恰恰是老用户最常走的那条**（重启时 token 还在，`doLogin` 根本不会被调用）。 症状最坏的地方是它**看起来是成功的**。实测（模拟器 + jianf 的永久 key）： 日志只有 `→ GET /auth/me` 然后什么都没有。补齐 ① 跳转 ② 账号登记 ③ SSE 连接（后两条是 `doLogin` 有而这里缺的，少了它们进主界面是个瘸的状态， 而且因为 `aboutToAppear` 的快速路径靠账号命中，下次启动还会重走这里 ⇒ 永远进不去）。 修后实测：启动即进主界面（可见文本变成「发件箱/授权/收件箱 · 2 组 · 50 封」）。 ## ③ 时间戳原样印出来 卡片直接印 `last_activity` ⇒ 屏上是 `2026-09-18T02:50:35.49065Z`。 WebUI 是 `09/18 10:50`（`toLocaleString('zh-CN', {month,day,hour,minute})`，**本地**时区）。 加 `MailGrouping.shortTimeOf`（走 `Date` 取本地字段；**不许 `.slice()`** —— 那是拿 UTC 的月/日当本地时刻，UTC+8 的 09-15 00:30 会显示成 09-14 16:30）。 实测：`112 封 · 09/18 10:50`，与 WebUI 逐字一致。 ## 补的界面（三折叠模拟器 3184px 展开态实测） - 两种视图**各一处**「写信 / 归档」（WebUI 两视图同语义），WebUI 用 `.reveal` 悬停显形，**鸿蒙不能照抄**：`index.css` 那段注释已经踩过这个坑 （触摸设备没 hover ⇒ 按钮透明却仍可点，一个看不见却按得动的破坏性按钮更糟）， WebUI 的修法是只在真支持悬停的设备上隐藏 ⇒ 鸿蒙这两个按钮**常显**。 - 归档先确认，**两视图共用同一个确认框**（WebUI 原话：换个视图就换套确认 UI 只会让人对「自己点了什么」更没底）；文案逐字一致。 - 列表视图的 meta 行原来放 `last_preview`，于是同一联系人在两视图里的关键信息 不一致 ⇒ 改成与卡片视图同源（`N 封 · 时间`）。 - ★ 一处只有跑起来才会发现的坑：列表视图的 ListItem 钉死 `.height(85)` + `clip(true)`，而确认框比 85 高 ⇒ **按钮被裁掉、点不了也退不出**。 确认态下高度交给内容自己定。 ## 判据（新增 harmony-contacts，5 条；4 个变异方向都跑过） 判的都是"按下去会发生什么"，不是"按钮在不在"： ① 归档打的是服务端真有的路由（同时钉住**没有**再用那条不存在的 DELETE —— 只钉前者的话， 加个平行实现也能全绿）；② 两视图各一处动作且去向正确；③ 确认框只有 1 个定义、 两视图都调它、文案逐字一致、确认态下点卡片不开会话；④ 时间戳走了格式化且 函数本身不走 slice；⑤ **切出 `tryRestore` 的函数体**判它自己含跳转 （只判全文件出现次数的话，另外两条路径里那两句就够让它变绿）。	2026-09-18 12:17:41 +08:00
JianFeeeee	0e5eec61bd	跨端: 登录页那个"emoji"是 Unicode 符号 —— 顺手修好图标贴左上角（共 4 处） ... 用户两条反馈，都是**看着界面**报出来的，而编译器与所有既有判据全绿： ①「为什么登陆页不是app图标，而是一个emojy？」 ②「你自己看看那个图标的位置正常吗？」 ## ① `Text('✉')` 被系统渲染成彩色 emoji 登录页的品牌标识原先写的是 `Text('✉')`（Unicode U+2709）。HarmonyOS 字体链里有 **彩色 emoji 字体**，U+2709 自带 emoji 字形 ⇒ 渲染成一枚黄白色风信封 emoji： - `.fontColor(Theme.accent)` 对彩色 emoji **无效**（界面显示的是 emoji 自带颜色）； - 与底栏/侧栏那些 `AmIcon` 线描图标不是同一套视觉语言； - 实测截图硬证：大屏下那枚 emoji 比旁边的文字还显眼。 而本仓**早就有** `ICON_PATHS.brandMark`（就是 App 图标上那个信封，专为品牌标识画的）。 换成 `AmIcon({ iconName: 'brandMark' })` 即可 —— 走 `Path.stroke()`，跟主题色走。 ## ② 图标贴在卡片左上角（量出来的） `AmIcon` 内部那个 `Stack` 是 `iconSize` 那么大、**默认靠左上**排版。调用方写 `AmIcon({…}).width(48).height(48)` 想要个大点的可上色盒子时，**外层盒子变大、图标不动**。 实测（三折叠 3.5 密度，`dumpLayout` 读的**实际 bounds**）： 卡片 [1523,521][1661,659] 138×138px 图标 [1526,524][1589,587] 63×63px ← 左边距/上边距都只有 3px ⇒ 图标中心偏 10vp **不是一处**：全仓扫出 4 个同样写法。修法是套一层 `Stack({ alignContent: Alignment.Center })`（仓里回复球与悬浮加号本来就是这么写的， 所以它们一直是对的）： | 位置 | 图标 | 盒子 | 原状态 | |---|---|---|---| | 登录页品牌卡 | brandMark 24 | 48×48 | 贴左上 ✗ | | 用户管理刷新键 | repeat 20 | 40×40 | 贴左上 ✗ | | 联系人视图切换 | cardView 18 | 40×40 | 贴左上 ✗ | | 收件箱组头箭头 | chevronRight 12 | 20 槽位 | 贴左 ✗ | | 回复球 / 悬浮加号 | chatBubble / compose | 56×56 | 本来就对（尺寸在外层 Button 上） | 修后实测：偏移 **−34.5px → 0.5px**（0.14vp，亚像素级）。 ## 判据（harmony-arkts 3 → 5 条） - **图标不许用 Unicode 符号充当**：扫 `Text('…')` 里单个符号的情况。 ★ 只框 U+2600–U+27BF / U+2B00–U+2BFF / U+FE0F，**刻意不含基本箭头段**（U+2190–U+21FF）—— `→` 在正文里是标点不是图标，框进来会误伤大量正常文案。 （我第一版把箭头段也框了，结果自检自己先红 —— 断言写错就是写错，不靠放宽它来「修」。） - **尺寸不许直接链在 `AmIcon` 上**：把"图标贴左上角"这个坑的**形状**钉住， 并自检"套了 `Stack` 的正确写法不许被误判"。 **两个变异方向都跑过**：放回 `Text('✉')` ⇒ 红 ✓；给 `AmIcon` 直接加 `.width(48)` ⇒ 红 ✓。	2026-09-18 11:47:51 +08:00
JianFeeeee	fbe7879981	跨端: 鸿蒙日历补「月/周/日」三档 —— 原来只有月视图 ... 用户列的缺失之一（WebUI `CalendarView.tsx` 的 `type Scale = 'month'|'week'|'day'`）。 鸿蒙这边 `CalendarPage.ets` 自己的注释里就写着"没做"。 ## 三处必须一起改，所以档位进 model 而不是页面里一串 if 档位切换同时改变三件事，任一漏改都**不报错、只是静静地不对**： | | 月 | 周 | 日 | |---|---|---|---| | 标题 | `2026年9月` | 跨月时两头写月份 `9.28 – 10.4` | `2026年9月18日 周五` | | 翻页步长 | ±1 **月** | ±7 天 | ±1 天 | | 显示格子 | 整月网格 | 一行 7 天 | 一行、只亮一格 | 所以 `model/Calendar.ts`（纯逻辑，node 直接跑）新增： `CalendarScale` / `addDaysIso` / `weekDaysOf` / `rangeTitleOf` / `stepDaysOf` / `scaleLabel`。 页面只调用，不在渲染里重写 —— 重写就是"三处里漏改一处"。 ★ 步长按档走是**必须**的：周档按 1 天翻看起来像日档、日档按 7 天翻会跳过一周， 两者都不报错。判据钉"三档步长两两不同"。 ★ 周/日档的 7 天必须与月网格用**同一个** `weekStart`：不一致的话同一日期在两档下列位置 不同，用户看到的是"切个视图日期就跳位了"。 ★ 日档的格子仍摆在一行的**星期列**里（不是居中大字）：上下翻日时格子不会在屏幕上跳。 ## 实现要点 - 档位状态叫 `calScale` 而**不是** `scale` —— ArkUI 的 `CustomComponent` 已有 `scale` 修饰符，同名直接编译失败（实测报 `Property 'scale' ... is not assignable to ...`）。 判据钉住这个命名。 - 周/日档下 `year/month` 由锚点 `selectedIso` 推出来（`syncYearMonthFrom`）， 不允许两处各自保存"当前是几月" —— 否则会出现"标题写 9 月、周视图显示 10 月那周"。 - `monthKey()` 加上**档位**前缀：切档时那 7 个 iso 就是月网格里的 7 个， 不带档位的话键完全重叠 ⇒ 一个节点都不被替换 ⇒ 过渡静默不播、旧 `inMonth` 残留。 - 空态补 `layoutWeight(1)`：实测周视图下"这一天没有日程"贴顶、**下半屏是一大片空壁纸**。 ## 判据（harmony-calendar 23 → 30 条） 7 条新增，每条对着一个具体错法。**变异自检跑过两个方向**： - 周档步长改成 1（看起来像日档）⇒ 判红 ✓ - 跨月周标题漏掉结束月份（`9.28 – 4`）⇒ 判红 ✓ ## 实测（模拟器，逐档截图） 月/周/日三档切换后：周档标题 `2026年9月14–20日` + 一行 14~20，日档标题 `2026年9月18日 周五` + 只亮 18，月档回到整月网格。三张截图逐一核过。	2026-09-18 11:08:05 +08:00
JianFeeeee	a87a88ea2a	跨端: 全屏是**窗口级**的 —— 光给 MainPage 让位，等于把黑边换成顶栏压字 ... 上一提交（cac026e）把黑边消掉了，但**只给 `MainPage` 加了避让**。 实测截图硬证：写邮件页的「取消」与时钟「09:49」重叠、「发送」与 wifi/电量图标重叠。 ## 根因：`setWindowLayoutFullScreen(true)` 不只作用于当前页 它是**窗口级**的：一旦设上，这个窗口里**所有**用 `router.pushUrl` 推上来的页 （写邮件/会话/收件箱/邮件详情/用户管理）都从 y=0 开始画。 所以上次那个错与更早那次（6861934 只删全屏不留避让）**同源**： 都是"同一件事只做了一半"。上次少的是**步骤**，这次少的是**页面**。 ## 改法：把"消费避让"变成每个 @Entry 页都得做的事 - `model/WindowInsets.ts` 加 `topInset(insets)`：取 0 时（未全屏/取不到） 表达式的值与旧代码**逐字相同** ⇒ 没全屏的环境行为不变，不会把谁顶下去。 - 五个页各按自己的形状让位： - 固定 56vp 顶栏（写邮件/会话/收件箱/用户管理）： `height(56 + topInset(...))` **与** `padding(… top: topInset(...))` 一起加 —— 只加 padding 会把固定的 56 切掉 39（按钮压扁），只加 height 则内容仍贴 y=0。 - 满高容器（邮件详情）：`padding({ top })` 加在 `@Entry` 包装层。 ★ **不能加在 `MailDetailView` 里面**：它同时被 `MainPage` 的 Navigation 内嵌复用， 而那层已经让过位了 —— 加在里面就变成让两次（39vp 变 78vp）。 这类"同一组件两种入口"的坑与"悬浮加号要放在 Navigation 内部"同源： **让位的量取决于它被挂在哪一层**。 ## 判据（harmony-window 8 → 9 条） 接线⑤ 枚举**所有** `@Entry` 页并要求它们消费避让 —— 口径是 "有人在窗口上开了全屏 ⇒ 每个 @Entry 页都得让"，而不是"检查 MainPage 做了没有"。 后者在新增一个推上来的页时会静默逃掉，而"新增一个页"正是最常发生的事。 豁免要带**可机器复核**的理由（不再是"这个页先不管"）： - `Index.ets`：DevEco 模板欢迎页，不在 `main_pages.json` 流程里； - `LoginPage.ets`：根容器 `.align(Alignment.Center)` ⇒ 结构上碰不到 y=0。 但"居中"是可能被改掉的性质 ⇒ 判据**断言那个居中写法仍然存在**， 谁把它改成贴顶，这条先红，逼他回来重新想这个页要不要避让。 **变异自检两个方向都跑过**： - 把 ComposePage 避让整个拿掉（重演"只给 MainPage 加"）⇒ 红 ✓ - 只加 padding 不加 height（会压扁按钮）⇒ 红 ✓ ★ 期间还修掉两处"判据锚在当时的字符串上"（不是放宽，是它把"加一个正当的避让" 与"真犯那个错"判得一模一样）： - `harmony-nav` ④ 的留白断言、`harmony-widescreen` ④ 的 navReserve 断言， 都改成剥注释后验**形状与不变量**，而不是写死字面表达式。改完变异仍咬得住。	2026-09-18 10:34:00 +08:00
JianFeeeee	cac026e9e2	跨端: 上下黑边真的消了 —— 全屏 + 避让是"同一套东西的两半"，上次只删了一半 ... 用户第三次报同一条：「你再看看页面底部，那么大的黑色，你看从头到尾都没 修好，你能不能好好看看我给你的示例工程怎么处理上下黑边的」。 ## 根因：上一次把"两半"当成了"一件事"，删掉一半就以为修好了 `6861934` 的注释白纸黑字写着「★ **刻意不用** `setWindowLayoutFullScreen(true)`」， 理由是「实测过：它确实也消掉黑带，但会连状态栏区域一起吃进布局，于是页签栏 被时钟/电量盖住（截图硬证「07:43」与「收件箱」重叠）」。 那次实测**是真的**，结论**下错了**：被盖住不是"不该全屏"，而是 **只做了全屏、没做避让**。示例工程里这两件事本来就是**同一套东西的两半**： common/.../util/WindowUtil.ets → setWindowLayoutFullScreen(true) + getWindowAvoidArea(TYPE_SYSTEM / TYPE_NAVIGATION_INDICATOR) features/mine/.../view/MineView.ets:251 → .margin({ top: statusBarHeight + …, bottom: naviIndicatorHeight }) 只做前半 ⇒ 内容跑到状态栏底下没人让（那次退回的原因）； 只做后半 ⇒ 黑边照旧（这三次报修的原因）。退回的代价是**黑边留了三天**。 ## 实测（模拟器 1256x2760，四页一致） 修前：顶部纯黑 136px、底部纯黑 60px + 手势条 20px 修后：四页**纯黑段均为 0**；y=0..135 是壁纸（时钟浮在上面，正是示例工程的效果） y=2662+ 壁纸铺到底、底栏浮在手势区之上 ## 改了什么 - `entryability/EntryAbility.ets`：拆出 `setupFullScreenWindow()`， 在 `loadContent` **回调里**调（与示例工程同一位置 —— `px2vp` 要用 `getUIContext()`， 那要有已加载内容才拿得到）。全屏 + 读两个避让区 + 订 `avoidAreaChange`。 `setWindowSystemBarEnable(['status'])` 保留（状态栏要看得见），但**不再靠它**消黑边。 - `model/WindowInsets.ts`（新）：纯逻辑 `insetsFromAvoidArea()`，不 import SDK —— 判据才能在 node 里直接喂样本验换算。形参叫 `toVp` 而**不是** `px2vp`： 后者是 SDK 已废弃的全局函数名，`harmony-system-api` 按名字扫，同名形参会误报。 - `pages/MainPage.ets`：`@StorageLink(KEY_WINDOW_INSETS)` 订阅；状态栏高度当 **内容层**的 `padding-top`（**不是**根 Stack —— 壁纸必须铺到屏幕四边，根上加 padding 会把壁纸一起缩进去，黑边只是换个地方出现）；底栏与内容末尾让开手势条。 reserve 收成**一个** `recomputeNavReserve()`，宽度变化与避让变化两个触发点共用 （转屏只改避让不改宽度，各写一份迟早漏一个）。 ## 判据：`test/harmony-window.test.mjs`（8 条） 钉的是"两半必须同时存在"——**只钉一半的话，"退回某一半"照样能全绿通过**， 而那次退回恰恰就是删了一半。纯逻辑 3 条（换算/取不到就是 0 不猜/键名是常量） + 接线 4 条（全屏在、避让在、布局真消费了值、纯逻辑模块不许 import SDK） + 设备行为 1 条（全屏没把应用搞成白屏）。 **变异自检两个方向都跑过**（这是本轮最该记的一步）： - 删掉 `setWindowLayoutFullScreen`（重演 6861934）⇒ 2 条红 ✓ - 删掉 `getWindowAvoidArea`（只全屏不让位）⇒ 1 条红 ✓ ★ 第一版判据**锚错了**：正则直接扫全文，而注释里正好有 `setWindowLayoutFullScreen(true)` 这个串 —— 把真正的调用删掉后判据**仍然全绿**。锚落在"代码对自己的描述"上了。 加 `stripped()` 剥注释后，变异才咬得住。这条与仓里那条"判据的锚不能落在 被守对象的自述上"是同一件事，这次是它的实例。 ## 顺带修的两条既有判据（不是放宽，是它们把"当时的字符串"当成了"要守的坑"） - `harmony-nav` ④：留白断言写死了 `bottom: NAV_BAR_BOTTOM` 那个字面串。 它本来要守的是"留白靠 padding 不靠 margin"（margin 在 ArkUI 里加在宽度外面， 100% + margin 会顶出父容器）—— 那是另一件事。改成剥注释后验三段在不在、 离底是否**从** `NAV_BAR_BOTTOM` **起**。变异（padding→margin）仍判红 ✓ - `harmony-widescreen` ④：同上，写死了 `? 0 : NAV_CONTENT_RESERVE`。 改成"宽屏必为 0、窄屏含 NAV_CONTENT_RESERVE（可再加避让）"。 两处都是"加一个正当的避让"与"真犯那个错"会红得一模一样 —— 那就不再是守坑， 是守字符串。 另：`align-refs` / `build-stamp` / `packaging` 三条 broken 是前端 `99a2d7a` （另一个人改的 `CalendarView.tsx`）带来的，与本轮无关，留给他。	2026-09-18 09:47:22 +08:00
JianFeeeee	7ca6ae14c6	修复: **对照能被"按内容分流"的通道骗过** —— 红必须是"报出来的"不是"退出来的"（层 10） ... pi 2026-09-18 报的层 10。**成立，我复现，读数与它逐字相同。** **同意 pi：这一串到层 10 为止，不再往上找。** ## 一、缺陷：对照只问"输入→输出是否非平凡"，没问"那个输出是不是被守对象产生的" pi 的构造：快入口**读自己的源码**、发现"我被改坏了"就 `process.exit(1)`。 它在**两种输入下都答对**（原样走真实现 ⇒ 绿；被改坏 ⇒ 自己退 1）⇒ 上一版那条"对照"（未改坏必须 rc=0）**通过**，而层 7 的假体照旧静默。 实测：**`red=9`、红清单 diff 0 行** —— 与 pi 的读数逐字相同。 ★ 根因：**对照只问"输入→输出映射是否非平凡"，没问"那个输出是不是被守对象产生的"。** 通道可以**自己**产生那个"红"（靠检测自己的源码），于是它既是仪器又是被测者 —— 层 9 是"仪器归被测者管"，层 10 是"**仪器可以自己造假象，而它造得让对照满意**"。 ## 二、修法：把"红"从退出码改成可归因的报告 · ① 干净孩子必须 **rc=0 且 0 条 `RED ` 行**（健康的自检不该喊红）； · ② 改坏后的孩子必须 **rc=1 且 ≥1 条 `RED ` 行**（它得说出**为什么**）。 · ⇒ 只会 `process.exit(1)` 的通道**什么也没说** ⇒ ①过②不过 ⇒ **红**。 实测 pi 的分流通道 + 假 ok×13 ⇒ **红**： `因果判据的红不是报出来的：exitcode-selftest 改坏后 rc=1 却一条 RED 行都没有` ★ 一般化：**"它红了吗"必须落在"它说了什么"上** —— 退出码是**任何人**都能给的（连崩了都给），而 `RED ` 行是被守对象**自己的判断**。 ## 三、⚠️ 残留：通道打一行假 `RED ` 仍能过 我实测了：通道把 `process.exit(1)` 换成 `console.log('RED 假报告…'); process.exit(1)` ⇒ 同样两问都答对、`red=9`、0 条因果红。 **成本只高了一行 `console.log`。** 这与 pi §二的根因完全同形： **通道能分辨两种输入，就答对两问。** · pi 的 ① 方向（改坏**孩子读的外部依赖**）能穿透这个分流 —— 但我实测： **只有 `exitcode-selftest` 读外部 `summary.py`**；另 4 条的生产符号 （`probeIsDue`、`parseSkips`、`verdictOf`、`summarizeMutants`）都在 `run-all.mjs` **自己里**。 ⇒ **① 不 generalize**，它只堵 1/5。 · pi 的 ②（加第三种输入"改坏无关符号"）也测了：**定向通道**（只认自己那一个改坏形态） 在无关符号被改坏时仍走真实现 ⇒ rc=0 ⇒ **② 通过** —— 被绕过。 ## 四、定价与停止（§6.1.5） 层 5→10 六轮，每轮都真实、每轮读数都硬，但**边际收益在递减**： | 层 | 攻击成本 | 修法后剩余 | |---|---|---| | 5/6 | 一处编辑 | 同步删多处仍静默 | | 7 | 写假体 | 锚点到表外 | | 8 | 删表 | 新自检漏配因果对被②抓 | | 9 | 桩化通道 | 通道恒 rc=1 被对照抓 | | 10 | 读自己源码的分流通道 | **打一行假 RED 仍过**（成本 +1 行） | ★ 三个结论： 1. **校准价值在层 7~9 已拿满** —— 层 10 只是在**重复同一课**。 2. **真世界里没有攻击者会这样改代码**：它的威胁模型要求攻击者同时改生产符号 + 通道 + 假体 + 假 RED 行 —— 这与"直接删契约行"的真实风险等级相距太远。 3. **留下的东西是可复用的**（§6.1.4 的判据 + §6.1.3 的"每加一条防线回答两问"）， **其余的建议停在这里**：不承认它封死，也不再往上爬。 ⇒ **同意 pi：这一串到层 10 为止。** 注意力转回到到期那 6 条判据的升级。 ## 五、变异验证（都已还原） | 变异 | 结果 | |---|---| | 层 10 pi 的分流通道 + 假 ok×13（修复前）→ **复现** | `red=9`、红清单 diff 0 行 | | 层 10 pi 的分流通道 + 假 ok×13（**修复后**） | **红**：`rc=1 却一条 RED 行都没有` | | 假 RED 行通道 + 假体（残留） | `red=9`、0 条因果红 —— **残留，已登记** | | 通道恒 rc=1（层 9 的对照） | 红红 5 条（未被破坏） | | 回归 层6/7/8/5/契约行删掉/M43/M45/M47/M48 | 各 1 条 | | **`CAUSAL` 5 对逐条直验**（含新可归因判据） | 改坏后**每条** rc=1 | | 干净树假红检查 | `^RED` **0 条**、对照红 0、不可归因红 0 | ## 六、状态 · 五个自检单独跑全 rc=0；默认跑 `checks=462 pass=458 fail=4 skip=0 red=9 broken=0 unreported=0 verdict=red`、 `mutants=48 ran=47 skipped=1 on_new_criteria=35 diag=none baseline=7/7✓`；正常态 `^RED ` **0 条**。 · 本提交含 `client/electron/test/run-all.mjs`（可归因判据）与 `client/electron/test/CRITERIA.md`（新增 §6.1.4 + §6.1.5）。 · 提交前 `HEAD=5afb2c1`。	2026-09-18 09:18:06 +08:00
JianFeeeee	5afb2c1550	修复: **判断据的那个人也归判据管** —— T 全桩后与基线逐字相同、层 7 攻击完整放回（层 9） ... pi 2026-09-18 报的层 9。**成立，我复现，读数与它逐字相同。** ## 一、缺陷：因果判据的**观测通道**住在它自己那张可编辑的表里 层 7 我为了把因果判据的成本从 4.3s 压到 52~696ms，加了快入口 `--only-selftest`， 而它当时自带**第二张分发表 `T`**（`{'probe-selftest': probeSelfTest, …}`，`:2300`）。 我在上一封把它如实标成"**副作用、不是防线**" —— **层 9 就长在那个副作用上。** 实测： ``` T 全换成 () => 1 桩 ⇒ red=9，与基线**逐字相同**、因果 RED **0 条** T 全桩 + 假 ok×13（层 7） ⇒ red=9、**红清单 diff 0 行** ⇒ 层 7 的攻击被完整放回，而代价只是"把 T 里 5 个值换成 () => 1"。 ``` 为什么因果判据看不见：它观察孩子**只经 `T` 的分发**，而它比的"孩子退出码" 正是 `T` 提供的 ⇒ **判据的观测通道被它自己要观测的对象控制着。** ⇒ 层 7 问"**被测者**的话可信吗"，层 9 问"**测量者**的话可信吗"。 ★ 也是本仓老形状的又一次：`T` 与 `SELFTESTS` 是**同一事实两份实现**。 （pi grep 证实：`T` ↔ `SELFTESTS` 的交叉约束 **0 处**。） ## 二、修法一：消除"两份实现"本身 —— `T` 不该单独存在 `SELFTESTS` **上移**成唯一的一份登记（原来它在块内、且在快入口**之后**）， 快入口从它 `find` 派生 ⇒ **"桩化 `T`"这个动作没有落点**。 ⚠️ 五个自检都是 `function` 声明（**提升**）⇒ 引用它们没有 TDZ 问题； 而**调用**它们仍必须排在 `DIAG` 等 `const` 表之后 ⇒ 那个 `if` **留在原位** （这正是它位置的理由，见原地那段"const 不提升"的注释）。 ★ 验证：`grep -c "const T = {"` ⇒ **0**；5 个 `--only-selftest` 全 rc=0；默认跑不变。 ## 三、★★ 修法二（我加的，比 pi 的建议更硬）：给因果判据加**对照** pi 的 ② 是"若保留两份则加交叉约束（键相等 + **值必须是同一个函数对象**）"—— 那是对的，但它**只堵 `T` 这一个形状**。我顺着想了一层： > **只要判据只有"改坏 ⇒ 必须 rc=1"这一问，任何"恒 rc=1 的通道"都能让它绿。** > 不管是表、是 wrapper、还是环境变量。 ⇒ 加一问：**没改坏的时候，它必须 rc=0。** 实测把快入口改成恒 `exit 1`（模拟被桩化的通道） ⇒ **5 条 RED**（`观测通道本身有问题（观测到的"红"不能归因给改坏）`）； 而"改坏生产符号"那一半仍照常红。 ★ 这是"锚点必须落在被守对象管不着的地方"的**行为**版本： **我不需要知道通道长什么样，只要求它在两种输入下给出两种答案。** ★★ 因此它比交叉约束**更强**：我把**重新引入一张 `T2` 并桩化**的版本也测了 ⇒ 同样 **5 条对照红** —— **它堵的是"形状"，不是"那一个洞"。** ⚠️ 代价：每对自检跑**两次**（默认跑 5.1s → **6.8s**，可接受）。 ## 四、变异验证（都已还原） | 变异 | 结果 | |---|---| | **层 9(a)** `T` 全桩（修复前） | `red=9`、逐字相同、因果红 0 —— **复现** | | **层 9(b) 最尖**：`T` 全桩 + 假 ok×13（修复前） | `red=9`、红清单 diff **0 行** —— **复现** | | **层 9(b) 重放（修复后）**：假 ok×13 | **红**：`把 exitcode-selftest 守的生产符号改坏之后，它仍然全绿` | | **通道恒 rc=1**（模拟桩化） | **红 5 条**：`观测通道本身有问题` | | **重新引入 `T2` 并桩化** | **红 5 条**（同上 ⇒ 堵形状，不只堵那个洞） | | 回归 **层8** `CAUSAL=[]` / **层6** 掏空 / **层5** 删整条 / 契约行删掉 | 各 1 条 | | 回归 M43 / M45 / M47 / M48 | 各 1 条 | | **`CAUSAL` 5 对逐条直验**（含新对照） | 改坏后**每条** rc=1 | | 干净树假红检查 | `^RED` **0 条**、对照红 0 | ## 五、★ 一条我认为该长期留着的判据（pi 建议，我采纳并写进 `CRITERIA.md`） > **每加一条防线，要同时回答两问：** > ① 它守什么？（设计意图） > ② **它自己新增了哪些"必须被守"的东西？**（副作用） > > 层 9 就是第②问没问的产物 —— `--only-selftest` 在**性能上是净收益** > （4.3s → 52~696ms），却往被守集合里加了一个**没人守**的成员。 ⇒ 与"每根轴的底看起来都像整体的底"是同一现象的两种说法： **防线是会长出新的被守对象的。** ## 六、⚠️ 残留（不声称层 9 封死） · **多处同步删仍可静默**（层 5~8 的老残留，本轮未动）：删 `CAUSAL` 对 + `SELFTESTS` 登记 + CLI guard + `--only-selftest` 分支 + 函数体 + 契约项 ⇒ 仍静默。 · **对照本身也可能被绕过**：如果有人把对照那一段源码删掉，它同样没人守 —— 这与层 8 同形。我**没有**给对照再套一层（会无限递归），只把这条如实写在这里。 ★ 现在的**净收益**是：绕过它需要改**两处**（删对照 + 桩化通道），而不是一处。 ## 七、验证与状态 · 五个自检单独跑全 rc=0；默认跑 `checks=462 pass=458 fail=4 skip=0 red=9 broken=0 unreported=0 verdict=red`、 `mutants=48 ran=47 skipped=1 on_new_criteria=35 diag=none baseline=7/7✓`；正常态 `^RED ` **0 条**。 · 本提交含 `client/electron/test/run-all.mjs`（`T` 消除 + `SELFTESTS` 上移 + 因果对照）与 `client/electron/test/CRITERIA.md`（新增 §6.1.3）。 · 提交前 `HEAD=a023286`。	2026-09-18 08:55:38 +08:00
JianFeeeee	a023286158	修复: 守着锚的那张表**自己没人守** —— CAUSAL = [] 与基线逐字相同，层 7 的攻击被完整放回（层 8） ... pi 2026-09-18 报的层 8。**成立，我复现，读数与它逐字相同。** ## 一、缺陷：我上一条那句"表本身也被真跑锚住了"**只对了一半** 被守的是"表里的锚文本在源码里唯一"，而 **"表里该有几条"没有任何东西在问**。实测： ``` CAUSAL = []（整表清空） ⇒ red=10，与基线**逐字相同**、因果 RED 0 条 只留 1 对（删掉另外 3 对） ⇒ red=10，那三条自检**从此失去因果锚**、无任何提示 CAUSAL = [] + 假 ok×13 ⇒ red=10、因果/空壳 RED **0 条** ⇒ **层 7 的攻击被完整放回来了，而代价从"改函数体"变成"删掉表里一行"。** ``` ★ 根因：**锚点不能落在"被守对象的自述"上**（层 7）， 而这里是 **"守着锚的那张表自己的内容"没有锚** —— 上一轮是"判据自述"，这一轮是"**锚表的自述**"。 ★ 新轴：**守护者自己进入了被守集合** —— 前几层问的都是"**被守的东西**怎样"， 层 8 问的是"**守它的东西**怎样"。 ## 二、修法：覆盖面必须有一个**不在表里**的来源 用**两个**，都是已有的、不必新写表： · ① `contractEntries` —— `CRITERIA.md` 契约行（**外部文件**，与层 5 **同一个锚点**； 一个外部来源同时守两件事）； · ② `SELFTESTS` 的**键**（源码结构）—— 让"新加了一条自检却没配因果对"也能被抓。 ⚠️ **空真的坑**：只写"每个 `CAUSAL` 项都对应一个真自检"（反向）**挡不住 `[]`** —— `[]` 恰好满足那个空真（"每个"在空集上恒真）。⇒ 必须**正向**要求覆盖。 ★ 与本仓那句同族：**"判据存在" vs "判据在路径上"**；这里是 **"表非空" vs "表够长"**。 ## 三、⚠️ 我实现时踩的坑：**两个命名空间别混**（被我自己刚写的判据当场抓住） `wired` 装的是**函数名**（`probeSelfTest`），`CAUSAL`/契约行装的是**旗标名**（`probe-selftest`）。 我第一版拿 `wired` 比 `CAUSAL` ⇒ **5 条全报"幽灵名"、另 5 条全报"没有因果锚"** （一次红 2 条、方向相反）。⇒ **判据没错，是我把两套名字当成了一套。** 修法是改用 `SELFTESTS` 的键（旗标名，与 `CAUSAL` 同命名空间）。 ★ 教训：**同一个东西在两个地方有两套名字时，"名字相等"不是可传递的。** 同一次还抓出第二个我自己的 bug：第 5 对的锚文本在 JS 源码里只写了 `\d`， 运行时会**塌成 `d`** ⇒ 锚文本永远匹配不上（唯一性报 0，而不是 1）。 ★ 这两处都是**新判据抓新判据**——判据互相盯着是有效的。 ## 四、补第 5 对（`mutants-line-selftest`） 层 7 时表里只有 4 对，`mutantsLineSelfTest` 一直没有因果锚。 ★ 我实测了三个候选锚：`未列入清单`（7 处）、`baseline-stale`（22 处）改坏后 **rc=0** ⇒ **它不读那两处**（那是别的函数在用）；只有读 `RESULT` 行那个正则改坏后 rc=1。 ⇒ 这也是"**关系表写错就会被真跑抓住**"的又一次实例。 ## 五、变异验证（都已还原） | 变异 | 结果 | |---|---| | **层 8(a)** `CAUSAL = []` | **红**：`这些自检**没有因果锚**：…（要求 5 条，因果表只有 0 对）` | | **层 8(b)** 只留 1 对 | **红**（缺 4 条） | | **层 8(c) 最尖**：`CAUSAL=[]` + 假 ok×13 | **红**（修复前 0 条） | | 幽灵名（CAUSAL 放不存在的自检名） | **红 3 条**（幽灵名 + 覆盖不全 + 因果判据退出码 2） | | **方向②** 新自检 + 登记 + 契约项但**不给因果对** | **红**（`要求 6 条，因果表只有 5 对`） | | **`CAUSAL` 5 对逐条直验**（从源码解析表，防我手抄错） | 改坏后**每条** `--only-selftest` rc=1 | | 回归 层6 掏空 / 层7 假ok×13 / 层5 删整条 / 契约行删掉 | 各 1 条 | | 回归 M43 / M45 / M47 / M48 / 名字级未接线 | 各 1 条 | | 干净树假红检查 | `^RED` **0 条**、因果红 0、覆盖红 0 | ## 六、⚠️ 残留（如实登记，不声称层 8 封死） · **多处同步删仍可静默**：把 `CAUSAL` 对 + `SELFTESTS` 登记 + CLI guard + **`--only-selftest` 快入口那一项** + 函数体 + 契约项**全部**删掉 ⇒ 实测 `red=9`、`^RED ` **0 条**（与基线相同）、`自检段：4 个自检`。 ⇒ 与层 5/6/7 同形：我把成本从一次编辑抬到**五六处**，**性质没变**。 · ★ 顺带如实记一笔：**我的层 7 修法自己新增了一个引用点**（`--only-selftest` 的名字表）—— 它让删除**更贵了一点**（要一起删），但它本身也是一个新的"必须同步删的地方"。 这不是设计意图，是副作用，写在这里以免下一轮把它当成"防线"。 ## 七、验证与状态 · 五个自检单独跑全 rc=0；默认跑 `checks=462 pass=458 fail=4 skip=0 red=9 broken=0 unreported=0 verdict=red`、 `mutants=48 ran=47 skipped=1 on_new_criteria=35 diag=none baseline=7/7✓`；正常态 `^RED ` **0 条**。 · ⚠️ 口径变化**不是**本提交造成的，是**另一个会话**的提交 `f2cddf4` （`harmony-deviceprobe` 期望条数 8→**11**，加了 3 条包名漂移回归锁）⇒ `checks 459→462`； 同一次也修掉了 `harmony-nav` 的**设备占用红**（那条红曾连红 42 轮）⇒ `fail 5→4`、`red 10→9`。 ⇒ 我这次没有引入新的红，也没有消掉别人的红。 · 本提交含 `client/electron/test/run-all.mjs`（第 5 对 + 覆盖判据）与 `client/electron/test/CRITERIA.md`（新增 §6.1.2）。 · 提交前 `HEAD=f2cddf4`。	2026-09-18 08:44:23 +08:00
JianFeeeee	f2cddf41d2	修复: 包名从 com.agentmail.harmony 改成 com.jianf.agentmail 后，有一条行为判据**永远走"设备忙"跳过** ... 被发现的方式值得记：那条判据从没红过（它从不执行断言），是**"跳过也要有界"** 那条闹钟把 42 轮连续跳过顶成红，才露出来的。这正是设界要抓的形状 —— 判据既不算红也不算绿 ⇒ 永远不必被升级。 ## 根因：包名有四处字面量，改名只改了三处 AGC 拒绝 `com.agentmail.harmony`（`harmony` 是包名保留字），于是改成 `com.jianf.agentmail`（见 `docs/ALIGN-REFS.json` 的 `agc.packageName` 与 `align-refs.test` 那条一致性判据）。但那个字面量在判据里是**各自抄的**： · `AppScope/app.json5` ← 唯一权威 · `harmony-deviceprobe.test.mjs:24` ← 改了（它判 AGC 匹配） · `harmony-nav.test.mjs:810` ← **没改** ⇒ 前台判定永不成立 · `lib/harmony-device.mjs:280` 注释 ← 没改（只是注释，但同样在传播旧名） 于是 `foregroundBundle(hdc) === 'com.agentmail.harmony'` 恒假，行为判据每次 都记一次"设备忙"。账本 `.tmp/harmony-busy-skips.json` 实测数到 **45**。 ## 修法 1. `lib/harmony-device.mjs` 新增 `ourBundle()` —— 从 `AppScope/app.json5` **唯一权威处**读包名（惰性、读不到返回 null，由调用方决定）。 2. `harmony-nav.test.mjs` 的比较改成 `fg !== ourBundle()`。 3. 清除 `.tmp/harmony-busy-skips.json` 里那 45 轮**假忙计数** —— 它们不是设备争用，是字面量漂移，留着会污染"跳过余额"的含义。 ## 判据（防止这一类漂移再发生） `harmony-deviceprobe.test.mjs` 新增 3 条（8 → 11，已同步 run-all 棘轮）： · 判据目录里**不许再出现包名字面量**（除 lib/ 唯一读取处与本文件——它要拿 真机样本 `fixtures/aa-dump-l-*.txt` 里的包名做**逐字**对照，属具名例外） · 判据自检：ourBundle() 读得出值、且不带 `harmony`（AGC 保留字） · 变异自检：把一条消费方改回硬编码 ⇒ 必须判红（已验证） 且注释里的历史说明**不许误红**（`align-refs` 正靠注释解释为什么换名） 验证：harmony-deviceprobe 11/0、harmony-nav 18/0（行为那条**真跑过**、 不再是跳过）、criteria-hygiene 6/0。	2026-09-18 08:39:21 +08:00
JianFeeeee	72f35ff9cd	修复: 条数**可以伪造** —— 打满 13 条空 ok 就绕过了层 6 的下界（层 7：锚点不能落在自述上） ... pi 2026-09-18 报的层 7。**成立，我复现，读数与它逐字相同。** ## 一、缺陷：下界判据的输入是"自我报告" 层 6 我加的是"比条数下界"，而条数是从**输出**里数的 —— **数的是它"打了几条"，不是它"验了几条"**。于是把 `exitcodeSelfTest` 的体换成 "循环打 13 条空 `ok`、`return 0`"（不打任何真断言）： ``` 基线: checks=459 pass=455 fail=4 skip=0 red=9 broken=0 unreported=0 verdict=red 假 ok×13: checks=459 pass=455 fail=4 skip=0 red=9 broken=0 unreported=0 verdict=red ← 逐字相同 下界相关 RED: 0 条（13 ≥ 下界 12 ⇒ 相等，无从对比） ``` **最尖形式**：假 ok×13 **+** `UPSTREAM_RC['baseline-residue']=99`（= 它本该抓的那个） ⇒ 0 条 RED、0 次提及 UPSTREAM。 **对照**（不掏空、只改值）⇒ `red=9→10`，真报"与真跑出来的 rc=1 不符"（⇒ 掏空是唯一原因）。 ★ 根因：**下界判据的输入是"自述"** —— 判据自己说它做了多少，而它可以撒谎。 **锚点不能落在"被守对象的自述"上，必须落在它管不着的东西上。** ## 二、三种"看起来更硬"的替代我都否掉了（理由：仍在自述这一侧） · **黄金输出**（逐字节比对期望输出）= 又一份**手写数据**（本仓刚证过那族可被同步改）； · **扫源码找关键词**= "**提到 vs 就是**"（本仓反复证过它脆）； · **毒化环境变量**（该模式下每条自检必须报红）= 把"必须红"的断言写在**自检函数体内** ⇒ **假体不打它**。★ 我实测过：模拟毒化后假体 `red=9`、下界红 0 —— 与层 7 同一问题。 ## 三、修法：**因果锚点** —— 改坏被守的生产符号，那条自检必须红 ``` · 假体（空 `ok`）在符号被改坏时仍然打 ok ⇒ 它不红 ⇒ **红**（判据抓它）； · 真自检读了那个符号 ⇒ 符号坏 ⇒ 它报 RED ⇒ 绿。 ⇒ 这是"自检真的读了那个符号"的**行为**证据，不是它的自述。 ``` 实现： · 快入口 `--only-selftest=<名>`（**实测 52~696ms/条**，对比 `--X-selftest` 要跑整套 suite 的 4.3~4.9s）； · 隔离用 `mkdtempSync` + `cpSync(join(HERE), …)`（**只拷 `test/`，1.6MB / 6ms**）； · `CAUSAL` 表：`probe-selftest`→`probeIsDue`、`skip-selftest`→`parseSkips` 的正则、 `verdict-selftest`→`verdictOf` 的返回式、`exitcode-selftest`→`UPSTREAM_RC['baseline-residue']`。 ★ **关系表本身也被真跑锚住**（这是它与"下界数字"的关键区别）： 表里每一对都必须实测"改坏了它真会红"；把符号写错（写成它不读的）⇒ 那条自检改坏后**不红** ⇒ **红**。⇒ **表自己也被因果判据守着。** ## 四、我实现时踩的两个坑（都记在注释里） ① **必须拷整个 `test/`**：run-all 的**自检 1/2** 要 `readdirSync(test)` 与 `SUITE` 对齐， 缺文件会让它在跑自检**之前**就 `exit(1)` ⇒ **读到的是假红**。 我第一版少拷东西时就这么读错过：`rc=1` 看着像"改坏生效"，其实是清单自检停了整套。 这与本仓"隔离要用**最小**夹具"不冲突 —— 最小**自洽**的夹具，不是最小字节数。 ② **锚文本的唯一性必须在除去 `CAUSAL` 表本身**的源码里数： 我第一版没排除 ⇒ `probe`/`verdict` 立刻报"锚文本不唯一"，而真因是**表里那一行字面量**， 不是生产里有两处。★ 又是那句：**"提到"与"就是"在文本上长得一样。** ## 五、变异验证（都已还原） | 变异 | 结果 | |---|---| | **层 7** 假 ok×13（exitcodeSelfTest） | **红**：`把 \`exitcode-selftest\` 守的生产符号改坏之后，它**仍然全绿** ⇒ 它没在读那个符号（或它是个空壳）`，`red=9→11` | | **层 7 最尖**：假 ok×13 + `UPSTREAM_RC`=99 | **红**（同上，修复前 0 条） | | 回归 **层6** 掏空 | 1 条（`只打出 0 条断言`） | | 回归 **层5** 删整条 `skipSelfTest` | 1 条（契约要求而 `SELFTESTS` 缺） | | 回归 **M43 / M45 / M47 / M48 / 名字级未接线** | 各 1 条 | | 干净树假红检查 | `^RED` **0 条**、因果红 **0 条** | | `CAUSAL` 表 4 对逐条直验 | 改坏后每条 `--only-selftest` rc=1（未改坏 rc=0） | ## 六、⚠️ 残留（如实登记） · **跨文件同步删 `CAUSAL` 表项 + 对应生产符号**仍可绕过（与层 5/6 同形：我把成本从 一次编辑抬到两次，性质没变）⇒ **不声称层 7 封死**。 · 另外：`CRITERIA.md` 里那三名"下界"仍可被改小（层 6 的残留）， 但**现在它不再单独构成绕过** —— 改小下界后仍要过因果判据（假体不读符号 ⇒ 红）。 ## 七、验证与状态 · 五个自检单独跑全 rc=0；默认跑 `checks=459 pass=454 fail=5 skip=0 red=10 broken=0 unreported=0 verdict=red`、 `mutants=48 ran=47 skipped=1 on_new_criteria=35 diag=none baseline=7/7✓`；正常态 `^RED ` **0 条**。 · ⚠️ `fail=4→5`、`red=9→10` **不是**本提交造成的：新增的是 `test/harmony-nav.test.mjs` 的 设备占用红（连续 **32** 轮被别的会话占着前台，`K=3` 上限后按设计报红）。 **我用 stash 证实过**：在**不含本改动**的干净 HEAD 上同样是 `red=10` + 该文件 `# fail 1`。 · 本提交含 `client/electron/test/run-all.mjs`（快入口 + `CAUSAL` 因果判据）与 `client/electron/test/CRITERIA.md`（新增 §6.1.1）。 · 提交前 `HEAD=3175ee7`。	2026-09-18 08:31:01 +08:00
JianFeeeee	3175ee7267	修复: **函数体可以被掏空** —— 名字/登记/guard/契约行全在，里面不检查任何东西（层 6） ... pi 2026-09-18 报的层 6。**成立，我复现，读数与它逐字相同。** ## 一、缺陷：掏空是零痕迹的 把 `exitcodeSelfTest` 的**函数体**（14616 字节）换成 `{ return 0; }` （名字、`SELFTESTS` 登记、CLI guard、`CRITERIA.md` 契约行**一个都不动**）： ``` 基线: checks=459 pass=455 fail=4 skip=0 red=9 broken=0 unreported=0 verdict=red 掏空: checks=459 pass=455 fail=4 skip=0 red=9 broken=0 unreported=0 verdict=red ← 逐字相同 ^RED: 0 条 ``` **最尖的形式**：掏空 **+ 把 `UPSTREAM_RC['baseline-residue']` 改成 99**（= 它本该抓的那个） ⇒ `red=9`、**0 行提到 UPSTREAM**。 **对照（证明掏空是唯一原因）**：不掏空、只把值改成 99 ⇒ **`red=10`**，且真报出 `UPSTREAM_RC[baseline-residue]=99 与真跑出来的 rc=1 不符`。 ⇒ 我们花三轮把 `UPSTREAM_RC` 锚到"真脚本真跑"上，**这个锚点可以被一次"清空函数体"无声撤掉**。 ★ 根因：**层 5 及之前所有防线问的都是"它**在不在**"，没有一条问"它**做了没有**"。** 层 5 修的是存在性，而存在性有**两种**失去方式：**名字没了**，和 **名字在、里面是空的**。 （★ 层 5 与层 6 是**两根轴**：层 5 问"还在吗"，层 6 问"做了吗"。 它们共同的教训：**每根轴的"底"看起来都像整体的底** —— "到底了"只对当前那根轴成立。） ## 二、修法：给"判据在工作"一个**行为**下界 每跑完一条自检，记下它**真跑出来**的断言条数（`^(ok|RED) ` 行数）， 与 `CRITERIA.md` 契约行里声明的**下界**比 ⇒ 掏空 ⇒ 条数掉到 0 ⇒ **红**。 契约项写成 `名字:下界`（棘轮语义：只增不减，掉下来才红）。 **实测条数（确定性：连测 3 次 + 两个相位都相同）**：probe=3 exitcode=13 skip=5 verdict=13 mutants-line=9。 **下界取略低于实测的余量**：`3 / 12 / 5 / 12 / 9`。 ★ 下界写在 **`CRITERIA.md`**（外部文件、被 4 个文件引用、自己已被自检 3 守着）， 不在 `SELFTESTS` 自己身上 —— 与 §6.1 同一条理由。 ★ **为什么不用"恰好等于实测"**：相等的下界会让**任何**一条断言的小改动都变成 "必须同步改数字"（噪音），而留余量只拦"掉到明显不对"的那种（掏空 ⇒ 0、删一半 ⇒ 腰斩）。 诚实说：**这也意味着"改小下界"本身就是一条绕过路径**（见 §四）。 ## 三、⚠️ 一个我实测出来的真实约束（不做区分就会在别的机器上假红） 判据**只在"该自检自称绿"时**才比下界。理由：`exitcodeSelfTest` 在**拿不到降权工具** （`runuser`/`setpriv`）的机器上会 `continue` 掉两个案例、多打一条说明 —— 那是它**故意的**行为（前提构造不出来就报红，不许静默跳过），那种机器上条数本来就不同。 ⇒ 若不管"红不红"都比下界，就会在无降权工具的机器上**假红**。 （掏空仍必被抓：掏空后 `bad=0` ⇒ 自称绿 ⇒ 条数 0 ⇒ 红。） ## 四、⚠️ 残留（如实登记）：**"把下界改小"是一条绕过路径** 我实测：把五条下界都改成 `1`，再把 `exitcodeSelfTest` 掏空成只打一条假 `ok` ⇒ **`^RED ` 0 条**（下界判据不响）。 ⇒ 这是"**数字可以被改小**"那个老形状在**新落点**上的复现 —— 我把下界放到表外， 但**下界本身仍是一个可编辑的数字**。 ★ 它比原来**贵一点**（要同时改 `CRITERIA.md` 的数字 **和** 掏空函数体，是跨文件的两处编辑）， 但**性质没变**。所以**我不声称层 6 封死了**，与层 5 一样。 真要把下界也锚到行为上，得让"该打多少条"由**真跑对照**决定（例如拿一份已知坏输入要求它红）， 那是独立工作。★ pi 也提过"要求每条自检必须能被某个坏输入弄红"（更硬）， 我没选它，因为它要为 5 条自检各造一份坏输入，而**"坏输入"自己又成了手写数据**（刚被证过的那族）。 ## 五、我写这条判据时自己踩的坑（第 N 次同一形状） 第一版我把 `entries` 声明在 `if (contractMs.length === 1) { … }` 块**内部**， 然后在块外用 `typeof entries === 'undefined' ? [] : entries` 兜 —— 那**永远取到 `[]`** ⇒ 下界判据**静默不跑**。 ★ **一个"以防万一"的兜底写法，把判据本身变成了空判据** —— 比不写更坏，因为它**看起来在**。已改成同作用域声明 + 不留兜底。 ⇒ 教训与 §6.1 那句"存在性锚点"合起来是同一句：**判据不跑时，谁来喊？** ## 六、变异验证（都已还原） | 变异 | 结果 | |---|---| | **掏空 `exitcodeSelfTest`** | **红**：`自检 --exitcode-selftest **自称绿，却只打出 0 条断言**（契约下界 12）⇒ 它可能被**掏空**了`，`red=9→10` | | **掏空 + `UPSTREAM_RC` 改 99** | **红**（同上；修复前 0 条） | | 契约行整体删掉 | **红**（`契约行有 0 条，要求恰好 1 条`） | | 下界写成非数字 `x` | **红**（`没写下界（或下界不是 ≥1 的整数）`） | | **下界改 1 + 掏空成假 ok** | **不红** ⇒ §四 的残留，如实登记 | | 回归 **层5** 删整条 `skipSelfTest` | 1 条（契约要求而 `SELFTESTS` 缺） | | 回归 **M43** 窄正则 / **M45** 只删样本 / **M47** 标签撒谎 / **M48** 空见证 / 名字级未接线 | 各 1 条 | ## 七、验证与状态 · 五个自检单独跑全 rc=0；默认跑 `checks=459 pass=455 fail=4 skip=0 red=9 broken=0 unreported=0 verdict=red`、 `mutants=48 ran=47 skipped=1 on_new_criteria=35 diag=none baseline=7/7✓`；正常态 `^RED ` **0 条**。 · 本提交含 `client/electron/test/CRITERIA.md`（§6.1 补层 6 说明 + 契约行加下界）与 `client/electron/test/run-all.mjs`。 · 提交前 `HEAD=ecefd50`。	2026-09-18 08:12:44 +08:00
JianFeeeee	ecefd50791	修复: 一整条自检（函数体+登记+guard）三处同步删掉是**零痕迹** —— SELFTESTS 没有下界 ... pi 2026-09-18 报的层 5。**成立，我复现，读数与它逐字相同。** ## 一、缺陷：三道防线都在问"出现的东西对不对" | 变异 | 结果 | |---|---| | **H1** 删整条 `skipSelfTest`（函数体 + 登记 + CLI guard 三处同步） | `red=9 … verdict=red` 与基线**逐字相同**、相关 RED **0 条**，只有报文里 `5 个自检`→`4 个自检` | | **H1'** 最尖形式：删 `exitcodeSelfTest` —— **守着 `UPSTREAM_RC`"真脚本真跑"锚点的那个** | 同样零痕迹 ⇒ 两轮建起来的真跑锚点可被一次编辑无声撤掉 | | **H2** 只删登记（函数与 guard 留着） | `red=11`（名字级扫描 + "写了没接线"两条防线抓住）⇒ **不静默** | | **H3** 只删函数体 | `ReferenceError`、无 `RESULT` ⇒ **响的**，不是静默洞 | ★ 为什么三道防线都看不见 H1： · **名字级扫描**：整条删掉时那个名字**两边都不出现** ⇒ 无从对比； · **"写了没接线"**：`declaredSelfTests(源码)` 与 `wired` **两边同时缩小** ⇒ 相等； · **样本/见证/要求**：样本表**内部**三字段，与 `SELFTESTS` 无关。 ⇒ 根因一句话：**`SELFTESTS` 没有任何下界，也没有"必须存在哪几个"的外部清单； 所有防线问的都是"出现的东西对不对"，没有一条问"该出现的东西在不在"。** ★ 这与本仓**自检 1/2** 是同一句话的不同对象：那两条判"清单里的文件必须真的存在"、 "`test/` 下每个 `*.test.mjs` 都要在清单里"—— **它们有外部依据（磁盘上的文件）**， 而 `SELFTESTS` 的"该有哪几个"**只由它自己说了算**。**同一句话，换个对象就漏了。** ## 二、修法：把"必须存在哪几条"锚到 `SELFTESTS` 之外 `CRITERIA.md` §6.1 写一段契约（本文件是**另一个文件**，且它自己已被本仓**自检 3** 守着： 存在性 + 关键条目在），并放一行 `<!-- selftests: … -->`；`run-all.mjs` 读它， 要求与 `SELFTESTS` 的键**恰好相等**（两个方向都判）。 ⇒ 链条：**被外部守着的文本 → flag 名 → guard → SELFTESTS**，锚点不在表自己身上。 删掉一条自检 ⇒ 名单没跟着删 ⇒ **红**；"名单也一起删"变成**跨文件**编辑（见下 §四）。 ## 三、★★ 我没能用 pi 建议的①，因为它的**前提是假的** pi 建议"拿对外的 flag 契约当锚点"，理由写的是"这五个 flag 名是**对外的**（有人在用、有文档）"。 **我实测：不是。** 全仓（排除 `.git`）搜这五个 flag ⇒ **外部消费者 0、文档 0**。 ⇒ 所谓"对外契约"**不是已有的，是需要造出来的**；直接用会把锚点建在一个不存在的保证上。 ★ 所以我把它落在 `CRITERIA.md`（**确实**是别的文件、**确实**有 4 个文件引用它、 且**确实**被自检 3 守着），而不是落在"它自己新写的一张内部清单"。 ## 四、⚠️ 残留（如实登记）：**跨文件的同步删仍然静默** 实测：**同时**删 `run-all.mjs` 的三处 **和** `CRITERIA.md` 的那一项 ⇒ `^RED ` **0 条**。 ⇒ 本次修法把"改我自己的一张表"抬成了"**改两个文件**"， **难度上去了，但性质没变**（仍是可同步的、无真跑锚点的编辑）。 ★ 按这条线的规律，我**不**声称这一层封死了 —— 只是把成本从一次编辑抬到两次编辑。 真要把存在性也锚到行为上，得让"删掉一条自检"在**真跑**里留下痕迹（例如对外契约由 `npm test` 的入口兑现），那是独立工作。 ## 五、我写这条判据时踩的坑（同一形状的第 N 次） 契约行我第一版的正则没锚行首行尾，而 §6.1 的**正文里举例提到了**那个标记 ⇒ 正则**先命中了注释里那次**（捕获到 `…`）⇒ 干净树上立刻 2 条**假红**。 ★ 正是本文件反复写的形状：**"提到"与"就是"在文本上长得一样。** ⇒ 修法：锚 `^…$` + **要求恰好一条**（多出来也红）—— 现在契约行自己也有唯一性判据。 ## 六、变异与回归（都已还原） | 变异 | 结果 | |---|---| | **H1 / H1'** 三处同步删 | **红**：`契约里要求存在的自检在 SELFTESTS 里没有：skip-selftest / exitcode-selftest`，`red=9→10` | | 契约里写一个不存在的自检（反方向） | **红**（`verdict-selftest`） | | 契约行 0 条 / 2 条 | **红**（要求恰好 1 条） | | 回归 **M43** 窄正则 | 1 条认不出 | | 回归 **M45** 只删样本 | 1 条"没有样本"（★ 我第一次跑成 0 条，是**我的脚本**同时删了 `REQUIRED_FORMS` 的名字 ⇒ 那是共漂移不是 M45；改正后 1 条） | | 回归 **M47** 标签撒谎 / **M48** 空见证 | 各 1 条 | | 回归 名字级（未接线自检） | 1 条 | ## 七、验证与状态 · 五个自检单独跑仍全 rc=0；默认跑 `checks=459 pass=455 fail=4 skip=0 red=9 broken=0 unreported=0 verdict=red`、 `mutants=48 ran=47 skipped=1 on_new_criteria=35 diag=none baseline=7/7✓`；正常态 `^RED ` **0 条**（无假红）。 · 本提交含 `client/electron/test/CRITERIA.md`（新增 §6.1 + 契约行）与 `client/electron/test/run-all.mjs`。 · `HEAD=dc261ad`（提交前）。	2026-09-18 07:58:07 +08:00
JianFeeeee	dc261ad537	修复: 三张手写表互相比对、没有外部锚点 —— 同步删「箭头函数」后 red 与基线**逐字相同** ... pi 2026-09-18 报的。**成立，我复现，读数与它逐字相同**；而且我测出 **pi 建议的补法①也堵不住它**，所以换了锚点。 ## 一、缺陷：同步修改 = 零痕迹 （a）把「箭头函数」从 `REQUIRED_FORMS` 与 `FORM_SAMPLES` **同步**删掉 ⇒ `red=9`、`broken=0`、`verdict=red`，与基线**逐字相同**，样本表相关 RED **0 条**， 只有成功报文里 5 变成 4。 （b）更尖：连 `declaredSelfTests` 里 `const` 那条发现规则**一起**删（四字段全同步） ⇒ 同样 **0 条**。而后果是实的：那种写法的自检将来**既不跑也不报警**。 ★ 根因（pi 的概括我认同）：`REQUIRED_FORMS`/`FORM_SAMPLES`/见证**三张都是手写的、互相比对** ——三张同步改就一致地"对"，**没有任何外部锚点**。 对照 `UPSTREAM_RC`：它当年止住共漂移，是因为它比对的是**真脚本真跑出来的 rc**， 不是另一张手写表。**"具名"这个形式救不了它** —— `length >= 5` 与 `REQUIRED_FORMS` 在"被同步修改"这一点上**难度相同**（都是一次编辑）。 ⚠️ 因此我 M45 注释里那句"具名清单让放弃支持变成**看得见的声明**"**被实测推翻**， 已在该处更正（保留原文与推翻它的读数，免得下一个人再信一次）。 ## 二、为什么不用 pi 的补法①：它也堵不住 pi 建议"每条正则都必须有只满足它的样本"。我实测：**样本是规则的字段**， 删规则时它自己的样本一起消失 ⇒ 要求跟着消失 ⇒ 仍然 0 条红。 （我把它单独跑了一遍：`check(两条规则) = []`、`check(只剩 function) = []`，两行都是空。） ## 三、修法：**名字级锚点**（与写法无关，且不落到手写表上） 源码里出现的**任何** `\w+SelfTest` 标识符，都必须在 `SELFTESTS` 里 —— **不解析声明语法**。 于是它与 `function`/`const`/`async`/箭头/空格**全部无关**： 发现规则认不出某种写法时，那种写法的自检名**仍会被这个名字级判据看见**。 ★ 唯一例外是样本内容用的假名（`fooSelfTest`），**显式登记**在 `SAMPLE_FAKE_NAMES` （另加反向检查：登记的假名在源码里找不到 ⇒ 红，登记该清了）。 **这一跳的方向与 `UPSTREAM_RC` 一致**：锚点从"另一份手写数据"挪到**源码事实** （`SELFTESTS` 里存的是真函数，`fn.name` 是运行时读数）。 ## 四、变异验证（都已还原） | 变异 | 结果 | |---|---| | **pi 的 (b)**：删 `const` 规则 + 四字段同步 + 未接线箭头自检 | **红**：`这些 *SelfTest 标识符出现在源码里却没接线（名字级扫描，与写法无关）：silentArrowSelfTest`，`red=9→10`（**修复前 0 条 RED、一字不提**） | | **写法无关性**：**两条规则全删** + 四种写法（箭头/async/名后空格/const=async）的未接线自检 | **红**：四条**全部**点名（`aSelfTest、bSelfTest、cSelfTest、dSelfTest`） | | 回归 **M47** 标签撒谎 | 仍 **1 条红** | | 干净树假红检查 | 名字级红 **0 条**、`red=9`（无假红） | ## 五、我踩的坑（第三次同一个） 加这个名字级块时又**用了声明在后面/不存在的变量**： 先 `ReferenceError: selfSrc is not defined`（我早前的编辑把 `selfSrc` 挪走了）， 再是 `wired` 的 TDZ。与前两次同族：**新加的接线/判据必须排在它读的所有 `const` 之后**。 ⇒ 顺手在这个块前显式定义 `selfSource`，并写清它是**本作用域**的读数。 ## 六、验证与状态 · 五个自检单独跑仍全 rc=0；默认跑 `checks=459 pass=455 fail=4 skip=0 red=9 … verdict=red`、 `mutants=48 ran=47 skipped=1 on_new_criteria=35 diag=none baseline=7/7✓`；正常态 `^RED ` **0 条**。 · 残留全清；`git status` 仅本文件；`HEAD=16cbc02`。	2026-09-18 07:41:47 +08:00
JianFeeeee	16cbc02421	修复: 样本的**标签可以撒谎** —— 覆盖表声称覆盖箭头函数，而那份样本根本不是箭头函数 ... 我自己变异出来的（M47），是 M45 的下一层。M45 修的是"样本**少了**要红"， 但**名字对不上内容**当时无人管。 ## 一、缺陷：标签是散文，内容没人核 实测：把 `['箭头函数', 'const fooSelfTest = () => {};']` 的**内容**换成 `'function fooSelfTest() {}'`（**标签不动**、样本个数不变） ⇒ 默认跑 **0 条 RED**、`red` 仍是 9（与干净树逐字相同）。 ★ 后果我实测过，而且它**让报警自己少说话**（不只是少覆盖）： 在上面那个撒谎标签的前提下，把 `const` 那条正则删掉（⇒ **箭头写法真的认不出来了**）， 报警只点名 `const = async (…`，**"箭头函数"一个字都不提**（`grep -c` = **0**）。 ⇒ 覆盖表**声称**覆盖了箭头函数，而报警里那一格**消失了**。 **该说话的地方没说话，而账面上看不出少了什么** —— 我们这一路最怕的那个形状。 ★ 与前面几层的关系（**每修一层，缺口换一层**）： · `957ec5e`：发现规则**看不见某种写法**； · `8691940`：样本表**可以静默缩水**（M45）； · 本次：样本表**可以撒谎**（M47）—— 表上的名字与内容**没有任何关系**。 ## 二、修法：给每条样本配一条**见证**（结构，不是散文） 每个样本从 `[名字, 内容]` 变成 `[名字, 内容, 见证]`，见证是"这条样本**凭什么**算那种写法"的 **机械**判据，并判两个方向： ① 内容必须满足自己的见证（⇒ **标签与内容不符 = 红**）； ② 见证必须**能区分**：至少要能否掉另一条样本（否则 `/./` 这种空见证也算"覆盖"）。 ⇒ 把"这条样本是哪一种写法"从**散文**挪进**结构**。 ## 三、变异验证（都已还原） | 变异 | 结果 | |---|---| | **M47** 箭头样本内容换成 function 声明（标签不动） | **红**：`这些样本标签与内容不符：箭头函数 ⇒ 覆盖表在说谎，而报警会因此少说话` | | **M48** 见证退化成 `/./`（对谁都成立） | **红**：`这些见证区分不了任何东西：箭头函数 ⇒ 见证表自己退化成"永远通过"` | | 复合：**M47 + 箭头支持真坏** | 两条红都出：先抓撒谎，再点名 `const = async (…`（⇒ 撒谎不再能掩盖覆盖） | | 回归 **M45** 删样本 | 仍 **1 条报警** | | 回归 **M43** 退化正则 | 仍 **1 条认不出** | ## 四、验证与状态 · 五个自检单独跑仍全 rc=0；默认跑 `checks=459 pass=455 fail=4 skip=0 red=9 … verdict=red`、 `mutants=48 ran=47 skipped=1 on_new_criteria=35 diag=none baseline=7/7✓`； 自检段现为 `…发现规则在 5 种写法上都有对照（要求 5 种，缺一即红；每条样本都带能区分它自己的见证）`。 · 残留全清；`git status` 仅本文件；`HEAD=8691940`。 · pi 的 `cc8beb7`（它插件那例）我已复核；它目录一行未动（那两处实验都在 `/tmp` 做）。	2026-09-18 07:29:32 +08:00
JianFeeeee	8691940505	修复: 反面对照的**样本表自己没人守** —— 删掉 5 个样本里的 3 个，默认跑 0 条 RED、静默缩水 ... 我自己变异出来的（M45）。这是 `957ec5e` 新加那道防线**内部**的缺口， 而且缺口长在"**覆盖**"这件事本身上。 ## 一、缺陷：`发现规则在 N 种写法上都有对照` 当时是**散文**，不是判据 实测：把 `FORM_SAMPLES` 的 5 个样本**删掉 3 个**（只留 `function 声明` 与 `const = async`） ⇒ 默认跑 **0 条 RED**、`red` 仍是 9（与干净树逐字相同）， 只是成功报文里那半句从"在 **5** 种写法上都有对照"变成"在 **2** 种写法上…"。 ⇒ 它把 N 打出来，而 **N 变小没有任何东西拦**。 而"样本齐不齐"正是这条防线**唯一的防线** —— 样本可以被悄悄删光， 防线的覆盖就静默退回到"只验我恰好留下的那一种"。 **这是"判据存在 vs 判据在路径上"的又一个变体：样本在，但"样本够不够"没有判据。** ★ 与我上一轮那条同源、但换了一层：`957ec5e` 修的是"**发现规则看不见某种写法**"， 这次是"**样本表可以静默缩水**" —— 修掉前者之后，后者的存在才显出来。 **每修一层，缺口换一层**，这与 `baseline` 那条线"接缝会移动"是同一个观察。 ## 二、修法：要求清单**具名**，两个方向都判 · 列出 `REQUIRED_FORMS`（要覆盖哪些写法，**具名**）； · ① 每种要求的写法都必须有样本（⇒ **删样本 = 红，并指名删的是哪一种**）； · ② 每个样本都必须能被认出来（原有方向）； · ③ 多出来的样本未登记进 `REQUIRED_FORMS` ⇒ 也红（加了样本却没说守哪种写法）。 ★ 为什么不用 `assert length >= 5`：那个数**自己**就是可以随手改小的常量， 改小它不会留下任何痕迹。具名清单让"我要放弃支持箭头函数写法"变成一次**看得见的声明**。 成功报文也随之带上"（要求 5 种，缺一即红）"，让**要求**和**实际**同时可见。 ## 三、变异验证（都已还原） | 变异 | 结果 | |---|---| | **M45** 删掉 3 个样本 | **红**：`这些写法要求覆盖、却没有样本：箭头函数、async function、名与括号间有空格`，`red=9→10`（**修复前 0 条 RED**） | | **M46** 加一个未登记的多余样本 | **红** 2 条：`不在要求清单里` + `发现规则认不出这些写法` | | 回归：**M40/M41/M42** 箭头/async/带空格三种未接线写法 | 各 **1 条报警**（`957ec5e` 的修复未被破坏） | | 回归：**M43** 发现规则退化回窄正则 | **红**：`认不出…` | ## 四、验证与状态 · 五个自检单独跑仍全 rc=0；默认跑 `checks=459 pass=455 fail=4 skip=0 red=9 … verdict=red`、 `mutants=48 ran=47 skipped=1 on_new_criteria=35 diag=none baseline=7/7✓`； 自检段现为 `…发现规则在 5 种写法上都有对照（要求 5 种，缺一即红）`。 · 残留全清；`git status` 仅本文件；`HEAD=957ec5e`。 · 同期 pi 已把我在它插件里报的那例修好并提交 `cc8beb7`（`--self-check` 改进程内 + 默认路径先跑 + 量纲分三档）。我**复核过**它：干净树 rc=0 且自检真出现在默认路径上，变异 `findDuplicates → []` ⇒ `npm test` **rc=3** 并打出"工具坏了，不是被测代码坏了"。它的目录我一行未动。	2026-09-18 07:23:31 +08:00
JianFeeeee	957ec5ec77	修复: SELFTESTS 接线防线只认一种写法 —— 箭头/async/带空格三种形式**既不跑也不报警** ... pi 2026-09-18 报的。**成立，我实测复现**；这是 `765b77e` 新加那道防线**内部**的缺口。 ## 一、缺陷：防线的正则只认一种写法 原实现内联了一条 `^function (\w*SelfTest)\(\)`。四种写法实测： | 写法 | 是否被扫到 | |---|---| | `function fooSelfTest() {}` | **✓** | | `const fooSelfTest = () => {}` | **✗ 漏** | | `async function fooSelfTest() {}` | **✗ 漏** | | `function fooSelfTest (a) {}`（名后有空格） | **✗ 漏** | 端到端后果（我复现）：插一个**箭头形式**的未接线自检，其 body 若跑会打 RED ⇒ body 的 RED **0 次**（没跑）、报警 **0 条**（也没说"没接线"）⇒ **既不跑、也不报警**。 而这正是这条防线**自己存在的理由**（"防写了自检却没接线"）： 它对**一种写法**有效，对另一种**沉默**。 ⚠️ 我第一遍数"报警次数"时得到 **1**，差点当成"它报了" —— 那 1 次命中的是成功报文里的 `（无"写了没接线"）`，**是同一句话的另一个方向**。 精确判据要看 `^RED ` 行：**0 条**。**数命中 = 数到的是词，不是行为。** ## 二、修法：唯一实现 + 反面对照 1. 抽出 `declaredSelfTests(code)`，**唯一实现**，覆盖常见写法： `^[ \t]*(?:async\s+)?function\s+(\w*SelfTest)\s*\(` 与 `^[ \t]*const\s+(\w*SelfTest)\s*=\s*(?:async\s*)?\(?`。 2. **反面对照**（pi 建议，我照做）：5 种合成样本要求**每种都被认出**； 另加反方向"收进了不以 `SelfTest` 结尾的名字"。 样本与生产扫描调的是**同一个函数**（不抄副本）。 3. 成功报文带上"发现规则在 N 种写法上都有对照"，让覆盖数**看得见**。 ## 三★ 我修的时候引入过一个更坏的机制，实测后回退了 我第一版为"别咬到字符串里的同名文字"加了 `stripStrings`。**实测它更坏**： `read.mjs` 自己写明 `stripStrings` **不区分正则字面量**，一个**不配对**的引号就能把 后面一大段当字符串吞掉，方向是**假绿**。实测插一条 `const QUOTE_RE = /["']/;` 在自检声明之前 ⇒ 后面**所有真声明消失** ⇒ 未接线的 `hiddenSelfTest` **静默漏掉**， 而 5 个真函数反过来变成"幽灵"（报红，但**报的是错的那件事**）。 ⇒ 为防"假红"引入了"假绿 + 误报"，**不划算**。已回退为只用 `stripComments` （代价仅是"字符串里恰好写着 `function xSelfTest()` 会假红"—— 按本仓口径：**假红是噪音，假绿是绕过**，选噪音）。回退后复测：那个陷阱消失（`hiddenSelfTest` 被抓）。 ## 四、变异验证（都已还原） | 变异 | 结果 | |---|---| | **M40** 箭头形式的未接线自检（**pi 报的那条**） | **红**：`写了但没接线：arrowSelfTest` | | **M41** `async function` 形式 | **红**：指名 `asyncSelfTest` | | **M42** 名后有空格 | **红**：指名 `spaceSelfTest` | | **M43** 发现规则**退化回窄正则** | **红**：`认不出…箭头函数、async function、名与括号间有空格、const = async (…`（⇒ 样本真的会红，不是摆设） | | **M44** 发现规则**过宽**（连 `applyMutants`/`verdictOf` 都收） | **红**：`收进了不以 SelfTest 结尾的名字：…` + 幽灵清单 | | 不配对引号的正则字面量（`stripStrings` 陷阱） | 回退前**静默漏掉**；回退后**红** | ## 五、验证与状态 · 五个自检单独跑仍全 rc=0；默认跑 `checks=459 pass=455 fail=4 skip=0 red=9 … verdict=red`、 `mutants=48 ran=47 skipped=1 on_new_criteria=35 diag=none baseline=7/7✓`； 自检段新增"发现规则在 5 种写法上都有对照"。 · 耗时 ~5162ms（与 `765b77e` 的 ~4917ms 同量级）。 · 残留全清；`git status` 仅本文件；`HEAD=765b77e`。	2026-09-18 07:18:32 +08:00