25e7d8f3bf2d9cbc864c7363a61e54641eb18b42
18 Commits
| Author | SHA1 | Message | Date | |
|---|---|---|---|---|
| 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。 |
|||
| 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`。 |
|||
| 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/...` 通过。 |
|||
| 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` —— 逐条来。 |
|||
| 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`
—— 按"每条缺什么设备侧验证"逐条来，不为了消数字而凑。
|
|||
| 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% 是否合适）；
这一轮只验了"数据通了、界面响应了、内容没被裁掉"。
|
|||
| 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 —— 按判据要求重建 + 重打包，没有改记录迁就。）
|
|||
| 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。
|
|||
| 0822993e76 |
修复: 我上一笔升级留下的**更糟的灰区** —— 跳过要**具名**、"移出 STATIC_ONLY"要**要求行为层真跑过**（pi 的变异证明我复现了）
pi 2026-09-18 报的是**我上一笔（b84880f）自己的缺陷**，我按两处都实测复现，没有一条靠信。
## 一、缺陷：升级后有一条真实回归**零痕迹**
形状是**两件事同时发生**：
1. `harmony-nav` 移出 `STATIC_ONLY`（7→6）⇒ 到期闸**不再点名它**；
2. 行为条在设备不在时 `t.skip` ⇒ **不跑，也不算红**。
⇒ 这条判据有了一个"既不红、也不算没升级"的状态。升级前它在 `STATIC_ONLY` 里，每轮都被
点名（红但**看得见、可行动**）；升级后**不被点名**，而行为条可以**永远不跑**。
**我的复现**（不是转述）：注入 `assert.ok(false,'MUTANT: 真实回归')`，同一棵树两种设备态：
| | RESULT | 红清单里有 harmony-nav |
|---|---|---|
| 设备在 | `checks=459 pass=454 fail=5 skip=0 red=10` | **有** |
| 设备不在 | `checks=459 pass=454 fail=4 skip=1 red=9` | **没有** —— 与未变异基线**逐条一致** |
文件级同样：设备在 `fail 1`；设备不在 `fail 0 / skipped 1`（变异**够不着**）。
★ 还有一层 pi 点出的：两次 `verdict` 都是 `red`，是**被别的红兜住的** ——
等那批红清掉，这条回归就能让套件在"绿"的状态下藏着。
## 二、闸 (i)：跳过必须**具名**（与红清单同级）
原来 `skip=N` 只在余额里**数得出来**，但**看不出是谁** —— 于是和"设备恰好不在、
什么都没坏"不可区分。node:test 其实**已经**把原因打出来了（`ok 16 - … # SKIP 设备不在 —— …`），
是解析只取了计数、把名字和原因丢了。⇒ 取回来，并在汇总里按**与红清单并列**的格式打印
（文件 + 判据名 + 原因）。实测（设备不在）：
```
跳过的判据（1 条，分布在 1/29 个文件）—— **不是通过**，也不等于没问题：
- test/harmony-nav.test.mjs（跳过 1 条）
「★ 行为（设备）：底栏真渲染了可点的导航项（dumpLayout 实测，live ⊆ source）」：设备不在 —— 行为部分本次不跑
```
## 三、闸 (ii)：移出 `STATIC_ONLY` 必须**出示行为层绿跑记录**
"7→6"原来是纯**记账动作**：从"到期闸点名"挪到"行为条管辖"，而**没有任何东西要求
行为条真的执行过**。⇒ 行为条**断言全过之后**留一条本机记录（`noteBehavioralRan`），
`run-all` 拿它当结算前提；没有记录就**点名**（回到被看见的状态）。
★ 方向要紧：宁可**多报**（说你还没验过），不许**漏报**（把没验过的当成验过了）。
★ 我自己在这里补了一层 pi 没提的收口：**只在到期前提成立时才追这条账**。否则没设备
的机器上行为层**不可能**留记录，那条红就是**天天假红且无法行动**（没人能在那台机器上
把它做绿）—— 正是探针三值设计要避免的。前提不成立时，可见性交给闸 (i)（具名 + 连续
轮数 + 超 K 自红）。四态实测：
| 场景 | 闸(ii) | 闸(i) |
|---|---|---|
| 设备在 + 有记录 | 静默 | 静默 |
| 设备在 + 记录被删（真跑不了） | **红** | **点名** |
| 探针说不（无设备机器） | 静默（避免清不掉的假红） | **点名** |
| 设备在但"忙"（前台是别人的） | **红** | **点名** |
## 四、我在实现过程中自己写错的（照实记）
1. **自检抄了一份副本**：我把 `# SKIP` 正则**复制**进 `--skip-selftest`
（当时的想法是"自检不该依赖被测对象"）—— 那样自检验的是**副本**，生产那份改坏了
自检照样绿。是变异时 `AssertionError: 命中 2 处` 把它暴露出来的。
⇒ 抽成唯一实现 `parseSkips`，自检**直接调它**。再变异**生产那份**（去掉破折号剥离）
⇒ 自检红（`why: "- 设备忙"` vs `"设备忙"`）、exit 1，**这次验的是真身**。
这正是本仓反复消的"同一个事实多份实现"（`blurStyleFor`、`stripStrings` 兄弟副本同款）。
2. **自检案例我写错了**：第一条拿的是"不带 ` # SKIP` 标记的行"却期望解析出 1 条 ——
自检当场红。真形状一定带标记；不带标记的行正是另一条要钉的"不许被当成跳过"。
（顺带：自检连**我写测试时的错**都抓到了，方向对。）
3. **账本路径两处各拼一次**：`run-all` 与 `lib/harmony-device.mjs` 各按自己的位置算
`.tmp/` 路径。已注释说明"写的那边是唯一权威、这边只读，路径若漂移会**多报**不会漏报"。
## 验证
· 全套件 `checks=459 pass=455 fail=4 skip=0 red=9` —— 与改动前**同样 9 条**
（并发会话的"自报>清单" + 4 条 exit 1），两条新闸在正常路径上**都静默**。
· 变异：M7 自检②、M8 自检③、M12 自检正则、M14 **生产**解析器，全部按预期红并已还原。
· `--skip-selftest` 5/5 绿；它与既有 `--probe-selftest` **同形状**（都先跑套件再判定），
不是我引入的新形状。
|
|||
| 4f386199cf |
修复: 集合指纹**不是集合的函数**（顺序敏感 + 只含 name:size）；"读不到"曾静默报成"全 0 且指纹正常"；"设备忙"的跳过**加界**；criteria-hygiene 两处按字面量裁射程
pi 2026-09-18 报的两个洞我**都当场复现了**（不是我信了，是跑出来了），修完都验了阳性对照。
## 1. 集合指纹必须是集合的函数（pi 洞 1，两个都复现）
原来 `'\n'.join(f'{f}:{getsize(f)}' for f in listed)`。实测：
· **顺序敏感**：只把 `jobs.manifest.json` 反序（集合/内容/计数全不变）
⇒ `sha=02502771` → `3439e049`。于是"集合变了 ⇒ 一眼看得出"失效，
**每次清单整理都假变**。
· **只含 name:size**：字节级等长改写（`jobs-one.json` 的 `name: 'image'` → `'imoge'`，
265 字节不变）⇒ **指纹仍是 02502771**。更尖锐的是 file 路径改成等长的
`ApiClienX.ets`（指向不存在的文件）时 `ran/skipped/on_new_criteria` 全变而
**指纹不变** —— **"集合没变而数变了"恰恰是它声称要抓的情况，它抓不到。**
⇒ `sorted()` + 内容哈希。实测：原序/反序/排序三种**同一哈希**（`33ff3bea`）；
等长改内容 ⇒ 变（`89b2aa41`）。
## 2. "读不到" ≠ "不存在"（pi 洞 2，复现 + 比 pi 说的更糟）
隔离副本 + `runuser -u nobody` + `chmod 644 jobs/` 实测：
```
nobody: mutants=0 ran=0 skipped=0 … 原始条目 0 sha=e3b0c442 rc=0
```
`e3b0c442` = **空字符串的 sha256**；而且退出码 **0**。根因：`exists()` 对
**不可进入目录里的文件**返回 **False**（实测），12 个全被跳过；而 `glob` 那一半
照样列得出 12 个 ⇒ `unlisted`/`ghosts` 全空 ⇒ **"清单与磁盘不一致"那条警告一声不响**。
**同一份权限，两个半边给出互相矛盾的结论。**
⚠️ 比 pi 说的更糟的一点：那行**同时**印着 `清单 12 个 job 文件` 和 `sha=e3b0c442`
—— 一句话里说"12 个"却一个都没读到。
⇒ ① 判目录可进入性（`access(R_OK|X_OK)`），读不到就 `✗✗` 明说数字**全部无效**、
并点明"这不是空集合"；② `open` 接住 `OSError`，把读不到的文件**攒起来一次报全**
（原来会死在第一个文件上抛 `PermissionError`，让人以为"就这一个"）；
③ 退出码 **2**（本仓约定：2=环境）—— 读不到就是没读数，而**没读数不是成功**。
④ `unreadable` 与 `ghosts` **分开报**：修法完全不同（修权限 vs 删条目）。
★ 这里我先写了个**不可达的分支**：`unreadable` 先探后读，而真读时 `PermissionError`
会提前抛出 ⇒ 那段报告永远走不到（"判据在，但走不到"，这次长在报告分支上）。
自己查出来并改成"读的时候接住"，才让它成为可达的真分支。
## 3. "不抢前台"的跳过**加界**（pi 2026-09-18 §3，我接受）
只跳过不设界，"设备忙"会变成到期判据的**永久灰区**：不算红不算绿 ⇒ 永远不必被升级
—— 到期机制要防的正是这个，只是入口换成了"设备忙"。⇒ 连续 K（默认 3）轮没跑成，
**跳过自己变红**并给出接管路径（K 轮内是礼貌，K 轮外是闹钟）。
边界：**只对"设备在、前台不是我们的"计数**；**设备不在不计数也不变红** ——
那是 `PROBES.device` 的既有裁定（没装 SDK 的机器不该天天假红），超出本模块职责。
账本 `.tmp/harmony-busy-skips.json`（已 gitignore）：判"**这台机器上**连续多少轮没验成"，
换机器不继承。实测 1→2→3 轮 skip、第 4 轮起 FAIL；跑成一次即清零、再从 1 重新数。
自检（不连设备）把 ①K 轮内礼貌 ②超了必红 ③跑成清零 ④上限可覆盖 都钉住，
变异验证 M7（over 恒 false）⇒自检②红、M8（noteRan 不清零）⇒自检③红。
## 4. 顺带修掉 criteria-hygiene 自己两处"按字面量裁射程"
我按纪律把账本读取从裸 `readFileSync` 改成 `prose()`（`criteria-hygiene` 立刻红，
**那条判据是对的、我错了**），接着暴露出该判据自身两个洞：
· **import 按写法硬匹配**：只认 `'./lib/read.mjs'`/`'../lib/read.mjs'`，
而 `harmony-device.mjs` **就在 `lib/` 里**、按惯例写 `'./read.mjs'` ⇒
假红"根本没 import"（其实 import 了、运行时完全正常）。改成**解析说明符后与
`SELF` 比**（本仓已用"解析后比较"解决过同一族：`abspath`、`join(HERE,…)`）。
· **用 `prose()`（原文）判"用没用"** ⇒ **注释里**写 `prose(…)` 就算用了
（实测该文件命中 3 处、只有 1 处是真调用）。改成 `code()`。这与它上面那条
"不许裸用 readFileSync"踩过的是同一个坑，我在那条上写了理由、**这条漏了**。
两处修法都做了承重验证：删真 import ⇒ 红；import 换成 `code as prose2`（别名）⇒ 红；
只在注释里写 `prose(` ⇒ **绿**（对照旧实现：同一份样本 ⇒ **红**）。
## 验证
· 全套件 `checks=459 pass=455 fail=4 skip=0 red=9` —— 红的仍是同样 9 条（都是并发
会话的"自报 > 清单"与 4 条 exit 1），我中途引入的两条（裸 readFileSync、import 假红）
已消。`mutants=48` 不变。
· 所有 chmod/清单反序/等长改写**都已还原**，`git status` 只剩本次 5 个文件。
|
|||
| b84880f14b |
test(判据): 到期闸第一条按 (a) 升级 —— harmony-nav 加**行为层**（真 dumpLayout），并把"跳过"变成可数余额
pi 2026-09-18 报"静态判据到期闸开了"是真阳性：探针的前提"本工作区能装、能点 设备"现在成立（我实测：签名 HAP 装上 install bundle successfully、aa start start ability successfully、uitest uiInput click 返回 No Error、uitest dumpLayout 出真 UI 树）。闸门要求 (a) 改行为判据 或 (b) 改换更准的前提 —— (b) 救不了： 它建议拆的"目标存在 ↔ 能装能点"两层我两层都实测为真，拆开照样红。所以走 (a)。 ## 1. 新增行为层（harmony-nav，17 条） `lib/harmony-device.mjs`：设备侧 harness（findHdc / hasTarget / foregroundBundle / dumpLayout / walk / findByText / boundsAt）。**只读不抢** —— 模拟器是共享的， 应用不在前台就跳过，不启动、不点。 harmony-nav 新增两条： · 「★ 行为（设备）：底栏真渲染了可点的导航项（live ⊆ source）」—— 真 dumpLayout，断"屏幕下 1/4 里真画出了可点的项、每项至少亮一个 源码 NAV_ITEMS 定义过的标签"。**版本无关**：已安装构建可能比 HEAD 旧 （实测前台那份是 3 项，HEAD 源码是 4 项），所以断"live ⊆ source"而不是 "相等"——"四项齐不齐"仍由静态层把。 · 「★ 判据自检：底栏取值逻辑」——纯函数 `navItemsOf` 上的合成树断言。 它**不替**静态那批（点击配对/挂载映射/命中区 ≥44vp/让位派生）——那些读源码更准。 它补的是源码读不到的那半：真渲染出来了吗、真可点吗、标签对吗。 ## 2. 把"跳过"变成可数余额（run-all.mjs） ⚠️ 这是本轮**我先写错、再查出来**的地方，记在这里：升级之前套件里**没有任何 in-file skip**（全仓 grep 零命中）。加了第一条之后，`# tests N` 把跳过的**算进总数**， 而 `pass = checks - fail` 又把它读成**通过** —— 实测设备在 / 设备不在两次运行的 `RESULT files=…` **一字不差**（都 `checks=457 pass=453 fail=4`，而文件自己报 `# tests 16 / # pass 15 / # skipped 1`）。**"看不到 ⇒ 绿"长在总数行上。** 修法照 `fail` 那一格的先例（pi 2026-09-15 指出缺 `red` 时的同一形状）： · 取 `# skipped K` 成一格；`records` 带 `skip`；投影加 `totalSkip`（第 5 个）； · `pass` 改成 `checks - fail - skip`；汇总行补 `skip=N`（并在单位说明里写清它是 "本次没跑"，既不是通过也不是失败）； · 自检 5 补 `checks ≥ skip`（对**每个**按文件累加的计数器都成立的上界 —— 照 pi 那条"只给其中两个判上界，第三个就永远没人管"）。 实测：设备在 `… pass=454 fail=4 skip=0`，设备不在 `… pass=453 fail=4 skip=1`， `pass+fail+skip == checks` 在两个方向都成立。 ## 3. 到期债务结算一笔：7 → 6 STATIC_ONLY 去掉 harmony-nav；`docs/DEBTS.json` 的 static-criteria 7→6（含 where 清单同步）；SUITE 登记数 11→17（原登记 11 早已与文件里的 15 条不符 —— 并发会话 加了日历/我的那批测试没改登记，这条红一并消掉）。 ## 变异验证（都做了阳性对照，还原后 sha256 一致） · M1 `sourceLabels` 取空集 → 行为条 not ok，报出真实文案 `✉️、通信`； · M2 底栏阈值 0.75→2.0 → 报"实际 0，一个都没有"； · M3 `AGENTMAIL_HARMONY_DEVICE=none` → `# skipped 1`（且**改 run-all 之前** 汇总读不出来 —— 这正是上面第 2 条要修的实证）； · M4 删掉 `if (a.type === 'Text') return false;` → **第一次没红**（自检④拿的是叶子 FAB，它的 textsUnder 是空、被下一条内容条件滤掉，没测到那行）⇒ 换成"带子文本的 可点 Text"后**才**红。自检本身也会空跑，这是同一族病的又一个实例； · M5 阈值 0.75→0.10 → 自检②红；M6 `clickable` 判定取反 → 自检①红。 ## 说明与遗留 · 已在运行的构建比 HEAD 旧（前台那份 3 项），行为条按"live ⊆ source"设计， 所以它现在**绿**且**没有**把"我的缺一项"误报成红 —— 那是 build-stamp 的活。 · 模拟器是**别人会话的**：我为验证装/启动/点过（pi 明确没动它，我动了，如实记）； harness 因此按"不抢前台"写：不在前台就 skip 并计数。 · 余下 6 条到期判据（appearance/logic/cross-client-theme/defaults/admin/imageprep） 未动，仍留在 STATIC_ONLY 里红着 —— 到期机制该干的事。harness 已就位，可按 可观测性逐条升级。 |
|||
| a47b42b36e |
修复: 套件读数不再取决于"你怎么调用它"—— 子进程钉 cwd: ROOT + read.mjs 相对路径按包目录解析（第二层）；并把"崩了"从 red 里分出来（结构判据，不加错误关键字）
pi 2026-09-17 实测报的：**同一份代码、两种调用法、两个结论**。我复现并修了两层。
## 一、复现（同 HEAD，只换 cwd）
| 调用法 | 修前 RESULT |
|---|---|
| `cd client/electron && node test/run-all.mjs`（`npm test` 入口）| `ran=29 checks=440 red=8 unreported=0` |
| `node client/electron/test/run-all.mjs`（仓库根）| `ran=27 checks=348 red=10 unreported=2` |
差 **92 条**（= 88 + 4），红 8 → 10。两次都稳定复现。
**根因**：`run-all.mjs` 的 `spawnSync` **不传 `cwd`** ⇒ 子进程继承调用者的 cwd。
而全仓有 **12 处**判据按**包内相对路径**读文件（`code('src/index.css')` 这种）
—— 它们本来就假定 `cwd = client/electron`，只是没人把那个假定钉住。
从仓库根跑 ⇒ `ENOENT` **崩在 import 期**。
## 二、修（两层，各管一段）
1. **运行器**：`spawnSync(..., { cwd: ROOT })` —— 一行覆盖**现有的与将来的所有**判据。
方向是"让运行器去满足判据的既有假定"，不是改判据去迁就调用者。
2. **`read.mjs`**（第二层）：`code/prose/bytes` 里的相对路径一律按**包目录**解析
（基准取自 `import.meta.url`，**不是** `process.cwd()` —— 前者是代码里的结构事实，
后者正是这个 bug 的成因）。pi 报的复现步骤是**直接跑单个判据文件**，
那条路**不经过运行器**，所以这层不是重复。
基准 `PKG` 也**导出**了：`readdirSync`/`existsSync` 不经过 `read.mjs`，
各处自己拼一次就是"同一个事实多份实现"（本仓反复消的形状）。
**验证（三种 cwd × 两个相位，逐字节一致）**：
```
build /home/program/agentmail ran=29 checks=440 red=8 unreported=0
build /home/program/agentmail/client/electron 同上
build / 同上
install /home/program/agentmail ran=27 checks=428 red=7 unreported=0
install /home/program/agentmail/client/electron 同上
```
（三种 cwd 一致、且与 `npm test` 入口一致 ⇒ 不存在"另一种调用法给别的数"。）
## 三、★ 第二处：那两条不是"红了"，是"没跑完"——而它被报成了 red
`narrow-layout` 从仓库根跑：**先打完 43 条"通过"，然后第 44 条 ENOENT 崩掉**，
而 `CRASH_SIGNS`（关键字表）**不认 ENOENT** ⇒ `crashed=false` ⇒ 落进 `reds`：
`- test/narrow-layout.test.mjs（退出码 1）`，**一条 `↳` 自述都没有**。
读者看到的是"这条判据不成立"，真相是"**它有多少条根本没测**"。
同一次运行里真红是带 `↳ 自报 88 > 登记 64` 自述的 —— **同一种红，两种含义**，
而 `red=10` 把两者混着报。
**★ 我没有照 pi 说的往 `CRASH_SIGNS` 里加 `ENOENT|EACCES|no such file`**：
第 329 行那条注释早把方向定死了 —— **"我不再往里加更多错误关键字：那是往文本解析里加补丁"**，
而且那个表**必然漏**（今天漏 ENOENT，明天漏 ENOTDIR/ELOOP…），加上去就是**第六次**修同一形状。
**改用结构事实**：`exitCode !== 0 && checks === null` ⇒ broken。
一个跑完的文件**必然**自报条数；"跑了但没自报"是另一条**单独记账**的情形（`unreported`）。
两者不会同时成立 ⇒ 只吃掉"崩了且毫无自报"那一格。
**要害是这个区分**：`exitCode !== 0` 本身**不足以**判 broken ——
不然真红会被一起吞掉，那是**假绿方向的错**，比误报成红更坏。
（实测 `build-stamp` 是真红且有 `# tests 7` ⇒ `checks=7≠null` ⇒ **不吃它** ✓。）
**变异验证**（撤掉 `cwd: ROOT`，模拟 pi 报的原状）：
`files=29 ran=27 checks=348 red=8 broken=2 unreported=2` ⇒
那两条正确归 **broken**（`（退出码 1，且一条条数都没自报）`），而 **`red` 仍是 8 —— 没吃掉任何真红**。
还原逐字节一致（sha256 相同）。
## 四、★ 我自己在实现里踩的两个坑（都实测抓到）
1. **`abspath()` 用 `isAbsolute(p)` 判绝对路径 ⇒ 传 `URL` 对象抛 `ERR_INVALID_ARG_TYPE`。**
`narrow-layout.test.mjs:8` 正是 `prose(new URL(p, import.meta.url))` ——
一个**本来正确且与 cwd 无关**的调用，被我改崩了（两个 cwd 都崩，所以**看起来像"我修好了"**）。
⇒ 判据改成 `URL` 对象**原样透传**：它已是解析过的位置，转换才是引入 bug 的那一步。
教训：**改一个共用入口时，要先把调用方的所有形态列全**，否则"修 A 破 B"，而 B 看起来无关。
2. **`join` 忘了 import** ⇒ `ReferenceError`。补上。
（正是 `run-all.mjs` 里那条 `CRASH_SIGNS` 注释讲的老故事。）
另外：我在 `run-all.mjs` 新注释里写了带括号的入口名，**被 `criteria-hygiene` 第 3 条抓到**
（它不剥注释）—— 这是我上一轮刚记下的坑的**第二次**，已改掉。
## 五、测量
| 相位 | RESULT（三种 cwd 一致）|
|---|---|
| build | `files=29 ran=29 checks=440 pass=438 fail=2 red=8 broken=0 unreported=0` |
| install | `files=29 ran=27 checks=428 pass=427 fail=1 red=7 broken=0 unreported=0` |
重新接线后 `narrow-layout` 自报 **88** 条（登记 64）⇒ 它那条"登记数没跟上"的红变成**有自述**的了。
剩下 8 条红都不是本次改动（清一色并发会话的工作：`harmony-nav` 正在被改等）。
|
|||
| 406bb34b47 |
跨端: 采纳"记录投影"根治：删掉整条源码扫描器（含五轮补丁与自检），四个计数器改为从 records 投影；新判据是"记录数==文件数"的行为判据
pi 2026-09-15 两条都成立，第二条我**采纳并实现了**（`ef1c1a0` 之前的这轮改动）。 ## 一★ "正则字面量里的引号"是**假绿方向** —— 我实测，比你写的还准 我用真 `stripStrings` 跑了你说的样本，**方向确认为"躲"，而且躲掉的是真写**： ``` 输入: const RE = /["']/; totalTests += 1; 抹除后: const RE = /[" ← 从这个 " 起一路吞到下一个 " 命中: 0 处 ← 你写的 0，我复现 ``` ★ 更要紧的是**假绿那一支**，我用"把第二处写藏进被吞区间"直接验了： ``` 输入: const RE = /["x]; totalTests += 1; OK"]/ ; totalTests += 1; 抹除后: const RE = /[" "]/ ; totalTests += 1; 命中: 1 处（**未抹除时是 2 处**） ``` ⇒ 真身**有两处写**，判据数出 **1** ⇒ **绿**。而"第二处写"正是这条判据**唯一存在的理由** ⇒ 这是**绕过**，不是误伤。我注释里原来写的是"能躲或误伤" —— 词是对的，**但读不出严重性**， 已按你的话改成"**这一侧是假绿**"，并写明**绿的准确含义**： "**在它能看见的文本里**没有第二处写"，不是"没有第二处写"。 ★ 你指的第二点也修了：三条样本原来只要求 `truePosRaw > 0`（"至少一条命中"） ⇒ 其中一条哪天不再是假阳性，自检**照样绿**。现在**逐条断言**"未抹 >0 且抹后 0"， 并且失败报文分开说**是哪一侧**（未抹=0 ⇒ 这条样本白测了；真写被吃 ⇒ 假绿方向）。 变异验过：把样本 #1 的分号去掉 ⇒ 自检立刻响（旧写法**照样绿**）。 ## 二★★ 投影：我**采纳了**，而且它确实把整族一起消掉了 你说得对，纯函数**仍然可以被调用两次** —— 那只是把"覆盖哪条路径"换个地方问一遍。 按你的形状改了： ```js records.push({ file, checks: fileChecks, fail: …, exitCode: r.status }); // 唯一的写点 // 循环之后： const reportedRecords = records.filter(r => r.checks !== null); totalTests = reportedRecords.reduce((n, r) => n + r.checks, 0); totalFail = reportedRecords.reduce((n, r) => n + r.fail, 0); ranFilesCount = reportedRecords.length; unreportedFiles = records.length - reportedRecords.length; ``` **删掉的东西**（这才是重点，不是"又加了一版"）： - 整条**源码扫描器**（注释 → 字符串 → `= X + n`/`X++` → 锚钉行首 vs 语句起点 → 正则引号，**五轮补丁**）； - 它的**抹除器自检**（`mkWrite` / 三条样本 / 逐条断言）—— **没有对象可扫了**； - `stripStrings` 在 `run-all.mjs` 的 **import**（留着不用的 import 就是下一次"看着像还在用"的源头）。 `stripStrings` 本身留在 `read.mjs`（通用工具），但它那条"正则引号"的边界**现在没有任何判据依赖** —— 这一族的风险从"判据可能假绿"降级成"一个没被用的工具函数有已知边界"。 **行为判据**（替代那条文本判据）： ```js if (records.length !== SUITE.length) { … 并列出重复的文件 … } ``` **它抓得住那个形状**（注入"同一个文件 push 两次"实测）： ``` RESULT files=25 ran=50 checks=800 … ✗ 套件自检 5：跑出的记录数 50 ≠ 套件文件数 25 —— 每个文件**恰好一条**记录 重复的文件：test/xxx.test.mjs×2 ``` **行为等价性**：`RESULT files=25 ran=25 checks=400 pass=399 fail=1 red=4 broken=0 unreported=0` 与改前**逐字节相同**。 ★ 顺带修掉一处**我自己造的**同类毛病：`ok 5` 的报文原来还写着"四个计数器各只有一处'写'， **由源码扫描判**" —— 判据已经换了，文案没换。已改成"四个计数器由 25 条记录**投影**而来 —— 判的是记录数==文件数这个**行为**"。**改了判据却留着旧文案，就是又一次"说法与实现不一致"。** ## 三、★ 我要修正你一句措辞（实测后才敢说） 你写"**'把一个文件计两次'没有对应的语句可以写**"。我实测后认为**过强**： `records.push` **仍然可以被复制粘贴两次**（上面那条注入就是）， 而且那正是历史上真实发生的形状（搬动累加块时把旧路径留在原地）。 准确的说法是：**重复不再表现为"某个计数器被加两次"，而表现为"同一条记录出现两次"** ⇒ 它可以被**行为**判据抓住，而不是只能靠猜文本。 ★ **这是"文本判据 → 行为判据"，不是"可能错 → 不可能错"。** 前者可测，后者只是话好听 —— 我不想把这次改进说成后者。 （我第一版就在注释里写了"写不出来"，然后自己想了想不对，改成上面这句。） ## 四、残余与射程 - 上面那条"记录数==文件数"是**唯一**的新判据；`ranFilesCount > SUITE.length` 留着当 "投影被改坏"的探测器（投影下有构造性保证，所以它是冗余的 —— 我在注释里写明了"冗余"， 不假装它还是主力）。 - 【本轮未做】纯函数形状**没有**保留（按你的建议直接上投影了）。 - 其余状态：`ok 5`/`ok 6` 绿、红线仍 4 条（都不是我的）、探针残留 0。 |
|||
| 4d8c99b829 |
跨端: 自检扫描的假阳性：注释那支堵了、**字符串没堵**（今天靠反引号侥幸绿）+ 抹除器自带自检
pi 2026-09-15 第二次抓到这个族，**成立**，我照他的办法复现了。
## 一、扫描仍会**咬字符串里的文字**
`stripComments` **只去注释、不去字符串**（这条限制我在 `read.mjs` 里早就写明过），
而扫描的锚是 `(?:^|[;{])` —— `;` 与 `{` 在**字符串里**照样是字符：
```js
probs.push(`oops; totalTests += 1`); // 被 MATCHED（假阳性）
const s = "x; totalTests += 1"; // 被 MATCHED
console.log(`{ totalTests += 1 }`); // 被 MATCHED
```
⇒ 数到 2 ⇒ 报红，**而代码是对的**。后果不是"多一条红"，而是
**判据开始消费散文**：下一个人会跑去改自己的**文案**来哄判据。
★ 而且**这个文件当时是"靠标点侥幸"绿的**：那句修法文案写的是
`` `totalTests +=` `` —— `totalTests` 前面是**反引号**，不是 `;`/`{`，所以躲过了。
**不是设计让它躲过去的**：换成 `{ totalTests +=` 或中文分号紧跟真名，立刻假红。
## 二、修法：抹字符串的"体"，并且**自检这个抹除**
- `read.mjs` 新增 `stripStrings(src)`：逐字符把 `'`/`"`/`` ` `` 的**体**抹成空白，
**保留引号与换行**（行号不变 —— 与 `stripComments` 同一条硬要求）。
- 扫描改成 `stripStrings(stripComments(raw))`。
- ★ **抹除器自带自检**：合成"只含假阳性"的样本（必须数出 **0**）、合成"真写"（必须数出 **1**），
并且断言**未抹除时假阳性样本确实 >0** ——
**否则这个自检没有真的复现出那个假阳性，等于没验。**
自检不过就不采信扫描结果（**"看不到"与"没有"必须分得开**）。
## 三、变异验证 5/5
| 注入 | 期望 | 实测 |
|---|---|---|
| 第二处写（`+=`） | 红 | 红 ✓ |
| 第二处用 `X = X + n` | 红 | 红 ✓ |
| 第二处用 `X++` | 红 | 红 ✓ |
| 字符串里 `; totalTests += 1` | **不响** | 不响 ✓ |
| 字符串里 `{ totalTests += 1 }` | **不响** | 不响 ✓ |
★ 这个验证脚本我改了**四版**才收，每版的毛病都是"读数器没先被证明是好的"：
① 注入没命中（缩进写成 6 空格、文件里是 4）⇒ 报假"★ 漏"；
② 锚 `const probs = [];` 在文件里出现 **2** 次 ⇒ `replace` 打到错的地方；
③ 我把**代码**换成 `+ ran` 去验"字符串"那一支 —— 那仍是**一处**写，当然不红，预期本身就写错了。
⇒ 定稿：每次注入 `assert count==1`、锚选唯一的、**每个 case 的预期先想清楚再写**。
## 四、残余（照实写，不当成已解决）
- **假阳性方向**：正则字面量里的引号（`/a"b/`）会被 `stripStrings` 当成字符串开始。
本仓判据没有把真计数器名写进正则字面量，但这是**实现的边界**，已在 `stripStrings` 的
注释里写明，免得下一个人以为它比实际更强。
- **假阴性方向**（pi 记的，我认）：`totalTests = 1 + totalTests;`（反序）与
`if (a) { b(); } totalTests += 1;`（`}` 之后的写）都躲得过。
但**搬动/复制粘贴会保留 `+=`** —— 也就是我声明的射程（实际发生的那三次）覆盖得住。
- **根治形状**（已写进注释）：把累加抽成**纯函数**，拿合成输入喂它 ——
那时判的是行为，不是文本，这一整族（注释/字符串/拼法/锚）一起消失。**本轮不做。**
|
|||
| 4af083e8b8 |
test(判据): 4 个判据读的是**另一棵树** —— 修掉硬编码的仓库根，并让 stripComments 保持行号
pi 2026-09-15 实测出来的，**这次长在判据自己身上** —— 正是我们前几轮一直在消的那个形状。
## 一、`const ROOT = '/home/program/agentmail'`：规则进来了，对象没进来
`harmony-arkts.test.mjs` 把仓库根写成了绝对路径。后果我按 pi 的步骤亲手复现了：
```
$ git worktree add --detach /tmp/wt-verify
|
|||
| d5cfcbdc9c |
fix(权限): 409 的第二种含义是「本档不该问」——四桥都补上；状态写入点不再兜默认档
线上事故（jianf 经 pi 转达）：补投路径漏传 permission_mode，插件拿 undefined 兜了 workspace 档，把 full 档会话写成 workspace-write + ask —— 不是"拦一次"，是一整轮 工具能力降级，且状态留在会话里；随后该会话每次受守卫调用都撞 409。 四件事： 1. **状态写入点不接受默认值**（新增共享 `modeForStateWrite`）：缺字段/脏值 → `null` = 不写状态。"默认值可以出现在**决策**里，不可以出现在**状态写入**里。" 同时保留共享契约的 fail-closed：真读到 workspace 才写 workspace。 2. **409 的两种含义分开处理**。`allowed-once` 只绕过**审批**，改不了**沙箱** —— 所以 dsh 桥在放行前先把服务端给的权威档位**写回会话**（这也就成了自愈路径： 已经降级的会话，下一次带档位的 409 会把它修回来）；只认服务端明说的 full， plan 与"链上没有人类"照旧 fail closed。 3. **同一处缺陷在 zcode / opencode 也在**（`hooks/permission.mjs` 与 `index.js` 都把 409 当永久失败拒绝）。我先前在回信里写过"这两个桥不转发权限询问，不需要改" —— 那句话是错的，我当时的搜索面只有 `<plugin>/src/*.mjs`。按 pi 的要求把这条 **否定性事实变成常驻判据**后，它第一次运行就红给我看。四桥现在都有 「409 + full → 放行」，且**排在永久失败分支之前**（含顺序变异自检）。 4. **共用测试重新同源**：`test/catchup.test.mjs` 从 `153985e` 起就是分叉的 （我那版把平台专属路径写进了共用文件），而 `deploy/install.sh` 第 24 行会跑 `check-shared-libs.sh` —— 也就是说**部署一直是红的**，我没跑过那个脚本。 共用文件只放契约（值/行为），跨平台配对judge 移到平台专属文件，四份逐字节相同。 另外把"判代码 vs 判理由"从记忆变成代码：`test/lib/read.mjs` 提供 `code()/prose()/bytes()`， 判据目录里不得再裸用 `readFileSync`（新判据 `criteria-hygiene` 管，含读取器自检）。 判据证据（每条都做过"能不能红"的变异）： - 写回去掉 → 红；纠正块挪到普通 409 之后 → 红；状态写入点退回兜默认 → 红； - zcode/opencode 的放行分支拿掉 → 各自红；共用测试分叉 → check-shared-libs 红。 各套件：dsh 388、pi 443、zcode 387、opencode 333（均经 npm test，含 tsc）； electron `npm test` 15/15 判据绿 + vitest 266 + typecheck；`check-shared-libs.sh` 退出 0； Go `go test ./...` 全 ok。 |
|||
| ec90cba129 |
test(criteria): 抽出共享 check/finish（marker 不再靠记性）＋ 失败信息自带修法
pi 的三条增量，前两条落地： 1. **错误信息自带修法**：受众不只是读过规范的人 —— 并发写 WebUI 的 agent 新加判据时不会打开 CRITERIA.md，看到红的第一反应可能是"套件坏了"。所以把可照抄的修法写进那条错误本身 （共享 helper 的用法 + 样板文件路径），并说明 node:test 的判据不用管。 **red 是 ta 一定会看到的，文档不一定被打开。** 2. **marker 由共享 helper 打印**：新增 test/lib/checks.mjs（导出 check/finish）， 计数只可能在该模块内发生 → "漏打 marker"与"计数写错位置"这两类在新文件上不可能发生。 为避免"写了没人用"（本仓踩过的坑），同时把两个手工计数的判据改用它： narrow-layout（原来只有 failed 计数）与 markdown-xss（原来根本没有计数器）—— 条数不变（52 / 9），套件仍全绿。 未回改其余 10 个文件：run-all 的 marker 检查已经覆盖它们。 |
|||
| addde97600 |
feat(electron): 多账号第一纵切 —— 账号存储/选择器/聚合收件箱
按 docs/MULTI-ACCOUNT-PLAN.md 实现客户端多账号的前半段（SSE 多连接与 写信账号切换留作下一轮）。 - `src/lib/accounts.ts`：纯逻辑（地址规范化、身份判重、默认账号、聚合合并）， 16 条测试钉住每条判据（含反向对照）。 - 持久化在主进程：`userData/accounts.json`，**原子写**（临时文件 + rename）+ 0600。不落 localStorage：那份存储渲染层任何脚本都可读，且 file:// 与 http:// 是两套。无 IPC 时（浏览器）退到 localStorage 并在界面**如实写明**。 - 取信：单账号走原路径（逐字节不变）；聚合时**每账号各一次请求、各带自己的 令牌**（`fetchWithAuth`，不碰认证单例，避免并发串号）。 - ★ 只合并**同一网关**的账号：跨网关的邮件混进列表后点开会去问当前账号的 服务器（404，或 mail_id 撞上就打开了别人的信）。如实排除 + 列表上方说明。 - ★ 部分失败可见：某账号取不到时给出账号名与原因 —— 静默丢掉它会让聚合列表 少一整份邮件而界面看起来完全正常。 - `API_BASE` 改为 `let`（切换账号要换网关），api 层不得缓存它 （`client.ts` 的 `const BASE` 快照已改成每次读）。 - UI：列表头下拉（≥2 个可用账号才出现「全部邮箱」）+ 账号徽标 + 账号页 「多账号」一段（添加前调 /auth/me 验证，401 当场拒绝，不写进列表）。 - 测试：vitest 230 通过（原 222 + 新 8）、`test/lib/accounts.test.mjs` 16 通过、 typecheck 通过。新增 `test/manual/multi-account-verify.mjs`（真起打包产物 + 两个真实账号，判据落在网络层：聚合必须每账号各一次请求且各带自己的令牌）。 |
