jianf/MailUI4Agents
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

feat(harmony): P2a 收尾 —— 撤掉平级「会话」tab + 权限"强制力"上界面，判据 14→19

Browse Source 
## 撤 tab（按 pi 的顺序：先补视图与折叠，再撤入口）

底部只剩 **收件箱 / 联系人**。「会话」不是第三个地方，而是同一批数据的两种看法：
收件箱那栏按会话折叠（组头就是会话），联系人那栏的卡片视图是会话的进度视角。
依据是"信息没丢"，并且把它做成了判据：**卡片字段集与 WebUI `WorkCard` 完全相等**
（多一个少一个都红）—— 其中 `status`(active/archived) 与 `from_agent` 参考实现也不显示；
哪天 WebUI 补上，这条会红，提醒跟着补，而不是悄悄少一块。

## 权限"强制力"上界面（WebUI 有、鸿蒙原先没有）

只显示档位会让人以为 plan 档真的管住了对方。WebUI 把说明放在 `title`（悬停提示），
**手指没有悬停** —— 所以鸿蒙拆两步：标记形状当场可辨（● 平台强制 / ◉ 覆盖不完整 /
○ 仅提示），点徽标用 toast 说完整那句话。三条纪律落进判据：

1. 档位/强制力标签与 WebUI 的 `MODE_LABEL` / `ENFORCEMENT_LABEL` **逐字一致**；
2. **说明文案从 WebUI 源码抽出字符串逐字比对**（3 档 × 3 强制力全覆盖）——
   两个客户端对同一个任务不能给两种保证；
3. 认不出的强制力归一到 `advisory`（保守方向），空/未知必须说"仅提示"。

收件箱每封邮件里没有 `permission_enforcement`（会话级字段），故那里只写中文档位 ——
凭空画一个强制力标记等于编一个"平台做到了什么"。

## 判据自己不可信的两个坑（变异测试逼出来的，各修一次）

- **断言一律读剥掉注释的源码**：把 `showToast` 注释掉，正则照样匹配 ——
  注释里有某个调用证明不了它存在。
- **"在回调里"不能靠正则窗口**：`onClick` 体掏空、或把 toast 挪到相邻的 `onHover`，
  窗口式正则都会放过。改成**括号配对**取那个 `onClick` 的 `{...}` 体，只在里面找。
  两次变异现在都判红。

`harmony-logic.test.mjs` 19 条（原 14）；变异验证：改文案 / 改档位标签 / 页签改回「会话」/
注释掉 toast / toast 挪出 onClick / toast 写死文案 → 各判红。

## 文档

§7.9 记本轮；§7.10 记 jianf 追加的「鸿蒙要求用系统方案」：同意该理解，并补上**可离线校验**的
做法 —— SDK 自带系统资源名表 `sdk/default/openharmony/toolchains/id_defined.json`（7826 条），
其中正好有 `ohos_id_color_list_card_bg`（每项一张卡的底色）、`_list_separator`、
`_text_primary/secondary/tertiary`、`_emphasize`、`_warning`、`_alert`、`_mask_*`、
`ohos_id_blur_style_component_*_color`。**没有设备**，`$r('sys.*')` 写错在运行前发现不了，
所以先立一条判据：源码里的每个 `sys.*` 名字都必须在该表里查得到，再逐处替换。
`cross-client-theme` 的三个取值钉改"意图相同"**先与 pi 对齐、两侧一起改**（他已明确要求）。

## 验证

`hvigorw assembleHap` BUILD SUCCESSFUL；`npm test` 9 个判据文件（background 42 /
cross-client 8 / harmony-logic 19 / nav-merge 8 / build-stamp 4 / packaging 3 …）+ vitest 258。
视觉与点击仍未验（无设备，模拟器需人在命令行启动）。
This commit is contained in:
JianFeeeee
2026-09-14 13:51:35 +08:00
parent bb855b1518
commit b3f404838b
2 changed files with 120 additions and 27 deletions
Download Patch File Download Diff File Expand all files Collapse all files

87
client/electron/test/harmony-logic.test.mjs
View File

@ -33,6 +33,15 @@ const MODULE_TS = join(HARMONY_ETS, 'model/MailGrouping.ts');
const H = await import(pathToFileURL(MODULE_TS).href);
const page = readFileSync(join(HARMONY_ETS, 'pages/MainPage.ets'), 'utf8');
/**
* 断言一律读**剥掉注释的源码**。
*
* 起因是一次变异测试：我把 `promptAction.showToast(` 注释掉，判据**照样绿** ——
* 因为它在注释里也能被正则匹配到。注释里出现某个调用，恰恰说明不了那个调用存在
* （而注释里正当地引用旧写法又是常有的事）。这条纪律在 `cross-client-theme` 里
* 已经用过一次（遮罩那段注释里引用了旧值），这里统一成常态。
*/
const pageCode = page.replace(/\/\*[\s\S]*?\*\//g, '').replace(/^\s*\/\/.*$/gm, '');
const webGroups = readFileSync(join(ROOT, 'client/electron/src/lib/mailGroups.ts'), 'utf8');
const webCard = readFileSync(join(ROOT, 'client/electron/src/components/WorkCard.tsx'), 'utf8');
@ -129,24 +138,24 @@ test('未读数用服务端 total 相加（它是 CountUnread，权威），负
assert.equal(H.sumUnreadTotals([3, 4]), 7);
assert.equal(H.sumUnreadTotals([0, -1, 2]), 2);
assert.equal(H.sumUnreadTotals([]), 0);
assert.match(page, /sumUnreadTotals\(/, '页面要用服务端未读数，而不是数这一页');
assert.match(pageCode, /sumUnreadTotals\(/, '页面要用服务端未读数，而不是数这一页');
});
test('只有"取满了这一页"才提示可能还有更多（服务端 total 是未读数，不是总封数）', () => {
assert.equal(H.partialLoadNotice(12, 50), '', '没取满就别吓人');
assert.equal(H.partialLoadNotice(50, 50), '已加载 50 封（本页上限 50，可能还有更多）');
assert.equal(H.partialLoadNotice(0, 0), '', 'limit 不合法时不提示');
assert.match(page, /partialLoadNotice\(/, '页面要用这条提示');
assert.match(pageCode, /partialLoadNotice\(/, '页面要用这条提示');
});
test('★ 界面不再把"服务端未读数"当成"总封数"显示', () => {
// 原先底部写的是「共 N 封」，而那个 N 是 /me/mail/inbox 的 total（= CountUnread），
// 于是同一屏上会出现「共 7 封」和「未读 7」这种自相矛盾的两行字。
assert.ok(
!/共 ' \+ this\.total \+ ' 封/.test(page),
!/共 ' \+ this\.total \+ ' 封/.test(pageCode),
'页面里还有「共 N 封」—— 服务端 total 是未读数，不是总封数'
);
assert.match(page, /已加载 ' \+ this\.loaded \+ ' 封/, '应如实说"已加载了多少封"');
assert.match(pageCode, /已加载 ' \+ this\.loaded \+ ' 封/, '应如实说"已加载了多少封"');
});
// ───────────────────────── 预算（与 WebUI BudgetChip 同判据） ─────────────────────────
@ -165,8 +174,8 @@ test('往返预算档位与 WebUI 的 BudgetChip 完全一致', () => {
assert.equal(H.budgetState(5, 9), 'spent', '用超了也是用尽，不能算成还剩负数');
assert.equal(H.budgetLabel(5, 4), '1/5');
assert.equal(H.budgetLabel(0, 0), '', '不限时徽标文字是空串（页面据此不渲染）');
assert.match(page, /budgetLabel\(c\.max_rounds, c\.used_rounds\)/, '卡片上要显示预算');
assert.match(page, /budgetState\(c\.max_rounds, c\.used_rounds\)/, '卡片上要用同一档位判据');
assert.match(pageCode, /budgetLabel\(c\.max_rounds, c\.used_rounds\)/, '卡片上要显示预算');
assert.match(pageCode, /budgetState\(c\.max_rounds, c\.used_rounds\)/, '卡片上要用同一档位判据');
});
// ───────────────────────── 联系人页两种视图（为撤掉平级「会话」tab 做准备） ─────────────────────────
@ -177,14 +186,14 @@ test('联系人页的列表/卡片切换：点一次换一次，标题用 WebUI
assert.equal(H.contactViewTitle('card'), '工作列表', '卡片视图的标题应与 WebUI 一致');
assert.equal(H.contactViewTitle('list'), '联系人');
assert.match(page, /this\.contactView = nextContactView\(this\.contactView\)/, '切换按钮要走这条判据');
assert.match(page, /contactViewTitle\(this\.contactView\)/, '标题要走这条判据');
assert.match(pageCode, /this\.contactView = nextContactView\(this\.contactView\)/, '切换按钮要走这条判据');
assert.match(pageCode, /contactViewTitle\(this\.contactView\)/, '标题要走这条判据');
});
test('卡片上"最新一封是谁发的"：人 vs Agent（决定人要不要接手）', () => {
assert.equal(H.lastFromIsHuman('pi', 'jianf'), true);
assert.equal(H.lastFromIsHuman('pi', 'pi'), false);
assert.match(page, /lastFromIsHuman\(c\.agent_name, c\.last_from\)/, '卡片要用这条判据选图标');
assert.match(pageCode, /lastFromIsHuman\(c\.agent_name, c\.last_from\)/, '卡片要用这条判据选图标');
// WebUI 侧同一判据仍在
assert.match(webCard, /const fromHuman = c\.last_from !== c\.agent_name;/, 'WebUI 的 fromHuman 口径变了');
});
@ -192,12 +201,12 @@ test('卡片上"最新一封是谁发的"：人 vs Agent（决定人要不要接
// ───────────────────────── 两层的接合：页面确实调了被测逻辑 ─────────────────────────
test('页面把折叠逻辑真正接上了（不是"逻辑写好了没人用"）', () => {
assert.match(page, /import \{[\s\S]*groupMailsBySession[\s\S]*\} from '\.\.\/model\/MailGrouping'/, '页面要 import 折叠逻辑');
assert.match(page, /this\.groups = groupMailsBySession\(mergedMails\)/, '加载后要折叠');
assert.match(page, /if \(isFlatGroup\(g\)\)/, '单封的组要平铺渲染（这条就是"点开会多一次点击"的那个分支）');
assert.match(page, /this\.isExpanded\(g\.key\)/, '多封的组要按展开状态渲染');
assert.match(page, /toggleExpanded\(g\.key\)/, '组头要能点开（用户真正会点的那一层）');
assert.match(page, /this\.WorkCard\(c\)/, '卡片视图要真的渲染出来');
assert.match(pageCode, /import \{[\s\S]*groupMailsBySession[\s\S]*\} from '\.\.\/model\/MailGrouping'/, '页面要 import 折叠逻辑');
assert.match(pageCode, /this\.groups = groupMailsBySession\(mergedMails\)/, '加载后要折叠');
assert.match(pageCode, /if \(isFlatGroup\(g\)\)/, '单封的组要平铺渲染（这条就是"点开会多一次点击"的那个分支）');
assert.match(pageCode, /this\.isExpanded\(g\.key\)/, '多封的组要按展开状态渲染');
assert.match(pageCode, /toggleExpanded\(g\.key\)/, '组头要能点开（用户真正会点的那一层）');
assert.match(pageCode, /this\.WorkCard\(c\)/, '卡片视图要真的渲染出来');
});
// ───────────────────────── 撤掉平级「会话」tab（P2a 收尾） ─────────────────────────
@ -209,10 +218,10 @@ test('底部只剩 收件箱 / 联系人 两个平级页签，「会话」不再
* 顺序也按他说的：**先补视图与折叠，再撤 tab** —— 撤早了，
* 往返预算 / status / from_agent 这些只在会话列表里出现的信息就没地方看了。
*/
const tabLabels = [...page.matchAll(/TabBarBuilder\('([^']+)'/g)].map(m => m[1]);
const tabLabels = [...pageCode.matchAll(/TabBarBuilder\('([^']+)'/g)].map(m => m[1]);
assert.deepEqual(tabLabels, ['收件箱', '联系人'], `平级页签应只剩两个，实际：${tabLabels.join('、')}`);
assert.ok(!/struct\s+SessionsTab/.test(page), 'SessionsTab 已经撤了，不该再留在页面里');
assert.ok(!/sessions\(\)/.test(page), '撤了入口就不该再拉 /me/sessions（否则是没人看的请求）');
assert.ok(!/struct\s+SessionsTab/.test(pageCode), 'SessionsTab 已经撤了，不该再留在页面里');
assert.ok(!/sessions\(\)/.test(pageCode), '撤了入口就不该再拉 /me/sessions（否则是没人看的请求）');
});
test('卡片视图的字段集与 WebUI 的 WorkCard 一致（撤 tab 后"信息没丢"的依据）', () => {
@ -224,9 +233,9 @@ test('卡片视图的字段集与 WebUI 的 WorkCard 一致（撤 tab 后"信息
const fields = src => new Set([...src.matchAll(/\bc\.([a-z_]+)/g)].map(m => m[1]));
const web = fields(webCard);
// 鸿蒙卡片 Builder 的正文（从 `WorkCard(c: Contact)` 到下一个 @Builder 之前）
const cardStart = page.indexOf('WorkCard(c: Contact)');
const cardStart = pageCode.indexOf('WorkCard(c: Contact)');
assert.ok(cardStart > 0, '找不到鸿蒙的卡片 Builder');
const cardBody = page.slice(cardStart, page.indexOf('@Builder', cardStart));
const cardBody = pageCode.slice(cardStart, pageCode.indexOf('@Builder', cardStart));
const harmony = fields(cardBody);
const missing = [...web].filter(f => !harmony.has(f));
@ -302,13 +311,39 @@ test('★ 档位说明文案与 WebUI permissionModeHint 逐字一致（两边
});
test('徽标真的挂在界面上，且点它能看到那句说明（触屏没有悬停）', () => {
assert.match(page, /permissionChipText\(c\.permission_mode, c\.permission_enforcement\)/, '卡片要用"档位+强制力"的徽标');
assert.match(page, /permissionHint\(c\.permission_mode, c\.permission_enforcement\)/, '点徽标要弹出说明');
assert.match(page, /promptAction\.showToast\(/, '说明走 toast（手指没有 hover）');
assert.match(page, /enforcementLabel\(c\.permission_enforcement\)/, '说明里要带强制力标签');
assert.match(page, /permissionLabel\(mail\.permission_mode\)/, '收件箱行要用中文档位');
assert.match(pageCode, /permissionChipText\(c\.permission_mode, c\.permission_enforcement\)/, '卡片要用"档位+强制力"的徽标');
assert.match(pageCode, /permissionHint\(c\.permission_mode, c\.permission_enforcement\)/, '点徽标要弹出说明');
/*
* 说明必须挂在这颗徽标**自己的 onClick 里**。
*
* 这条原先只查"页面里出现过 showToast"，两次变异都躲过去了：
* ① 把 onClick 体掏空（showToast 还在页面别处）；
* ② 把 toast 挪到相邻的另一个回调（`onHover`）里。
* 正则窗口分不清"在回调里"和"在回调后面"，所以这里做**括号配对**，
* 只在那个 onClick 的 `{...}` 里面找。这是"只验结构不算数"的又一个小例子。
*/
const onClickBodyOf = (code, fromIdx) => {
const open = code.indexOf('{', fromIdx);
let depth = 0;
for (let i = open; i < code.length; i++) {
if (code[i] === '{') depth++;
else if (code[i] === '}') {
depth--;
if (depth === 0) return code.slice(open, i + 1);
}
}
return code.slice(open);
};
const chipIdx = pageCode.indexOf('permissionChipText(c.permission_mode');
const clickIdx = pageCode.indexOf('.onClick(', chipIdx);
assert.ok(chipIdx > 0 && clickIdx > chipIdx && clickIdx - chipIdx < 600, '徽标上要有自己的 onClick');
const chipClickBody = onClickBodyOf(pageCode, clickIdx);
assert.match(chipClickBody, /promptAction\.showToast\(/, '徽标的 onClick 里要弹说明（不是页面别处的 toast）');
assert.match(chipClickBody, /permissionHint\(/, '弹出来的必须是那句说明');
assert.match(pageCode, /enforcementLabel\(c\.permission_enforcement\)/, '说明里要带强制力标签');
assert.match(pageCode, /permissionLabel\(mail\.permission_mode\)/, '收件箱行要用中文档位');
// 收件箱列表接口没有 enforcement 字段，那里不许凭空画强制力标记
const mailItem = page.slice(page.indexOf('MailItem(mail: MailLike)'));
const mailItem = pageCode.slice(pageCode.indexOf('MailItem(mail: MailLike)'));
assert.ok(
!/permissionChipText\(mail\./.test(mailItem),
'收件箱每封邮件里没有 permission_enforcement，画强制力标记等于编一个"平台做到了什么"'