Files
MailUI4Agents/client
JianFeeeee d9bb4f766b 跨端: 三条判据转绿(登记新令牌 + 把一条断言错实现的判据改成断言真不变式)
上一步(写邮件右栏)之后整套跑红 3 条,逐个查清:

══ ① cross-client-theme —— 判据是对的,我漏登记

新加的 `accentEdge` / `accentEdgeDark` 是**手写色**,而这个仓有一条硬规矩:
`Theme.ets` 里每个 `static readonly X: string = '#……'` 都必须在
`SELF_OWNED_COLORS` 名单里 + 在文件内的「手写色登记表」注释里写一行理由。
(这条规矩本身就是为防"新写死一个色悄悄溜过去"而立的 —— 第二处断言
 会检查名单里没有化石名,所以名单不能只加不改。)

按规矩补两处:
· 名单里登记,并写清它对齐的是 WebUI 的哪个 token
  (`MailList.tsx:280` 的 `border-blue-200`,与 `bg-blue-50` 成对)
· `Theme.ets` 登记表里写一行理由 —— 重点记下**为什么"选中"必须两个 token**:
  选中与未读的底色相同(都是 `accentSoft`),只靠底色的话
  "选中一封未读邮件"看不出任何变化,那圈边才是信息。
  并把表头计数 24 → 26 同步改掉。

══ ② harmony-widescreen —— 判据错了,它断言的是一个 WebUI 明令禁止的实现

原断言:`assert.match(code_, /clip\(this\.isWide\)/, '面板内容要被圆角裁剪')`
—— 它把"圆角"和"裁切"当成**同一件事**。而 WebUI `index.css:968`
在**同一个规则块**里就写明了这条教训:

    .app-shell > * {
      border-radius: var(--radius-card);
      // ★ 这里**不能**写 overflow: hidden(2026-09-14 用户:
      //   「通信页面完全无法上下滑动」)。
      // 面板自己就是滚动容器,而这条规则的特异性比 Tailwind 的 .overflow-y-auto
      // 高 ⇒ 滚动被静默干掉:实测当时**一个可滚动容器都不存在**(scrollerCount=0)。
      // 圆角仍然生效(border-radius 不影响滚动)

鸿蒙这边同一个形状:那层是内容列的根、`Navigation` 的 `List` 在它里面,
写了 `.clip(this.isWide)` 就是 `List` 节点还在(高 1750px)但**滚不动**
(实测 fling 后第一封仍在 y=526)——这正是用户当时报的"列表没法滚动"。

⇒ 判据改成断言**真正的不变式**:宽屏「圆角开(14)+ 面来自设计令牌 +
**不写** `.clip(this.isWide)`」。原来那句测的是"某句实现写着没写着",
而且那个实现是错的 —— 判据跟着错误实现一起钉住了 bug。

══ ③ build-stamp —— 判据要求重构建,照做(**没有**去改 BUILD_INFO.json)

产物记的是 `c0ab3f5`,HEAD 已是新提交。这条判据自己的文本写得很清楚:
> **别去改 BUILD_INFO.json 里的 gitRev / srcHash 了事** —— 那是把这条判据废掉。
> 正确修法只有一个:重跑构建。

所以 `npm run build` 重跑(rev 0)。注意 srcHash 本来就没变
(`6d1195a4008ebca7`)—— 因为 TRACKED 只扫 electron 侧(`src`/`index.html`/
`vite.config.ts`/…),我这几步改的全是 harmony;**变的只有 gitRev**。
这正说明这条判据在比对"产物来自哪个提交",而不是"文件内容有没有动"。

★ 三条各自的性质不同,值得分开记:① 是判据对、我漏登记(补);
② 是判据错、钉住了一个反向实现(改判据);③ 是判据对且给了唯一正确修法(照办)。
2026-09-20 13:05:59 +08:00
..