diff --git a/client/electron/test/appearance-defaults.test.mjs b/client/electron/test/appearance-defaults.test.mjs index 9c7dc79..c6b03be 100644 --- a/client/electron/test/appearance-defaults.test.mjs +++ b/client/electron/test/appearance-defaults.test.mjs @@ -360,3 +360,117 @@ test('★ 回锚：`@State` 持有对象时，改内部字段必须另加原始 '★ **渲染处必须读它**（写在条件表达式里）—— 不读则 Builder 不会重跑，' + '加了计数器也没用。ArkUI 按"这个 Builder 读了哪些 @State"决定是否重渲染。'); }); + +/* ═══════════ 设备层：上面那条正则**证明不了**的东西 ═══════════ */ + +/* + * ★★ 2026-10-01 真机补上（MatePad Pro / MRDI-W00，HarmonyOS NEXT API 26）。 + * + * 上面「缓存键按账号分」那条的**鸿蒙半边只能正则**： + * `assert.match(..., /KEY_PREFIX\s*\+\s*accountId/)` —— 它证明的是 + * **函数体里有把账号拼进键的形状**，不证明**真的写出了带账号的键**。 + * 那行注释自己就写明了这个限制（"值未经运行验证"），本条来把它兑现。 + * + * ★ 为什么这条值得存在，而不是把 `prefKey` 抄进 node 里跑： + * 正则要判对的是**`.ets` 里那个函数的真实行为**。抄一份到 node 里， + * 验的是抄件，`.ets` 改坏了它照样绿 —— 正是本文件第 2 条注释里 + * 那个"退化"的教训（"判据的作用对象是值/行为时，不要退化成对源码形状的匹配"）。 + * 所以直接读**设备上真写出来的那个文件**。 + * + * 真机实测（本条判的就是这个形状）： + * /data/app/el2/100/base/com.jianf.agentmail/haps/entry/preferences/agentmail_appearance + * {"theme":"light",…} + * ⇒ 键 = `appearance.` + **真实账号 id**，账号确实在键里。 + */ +test('★ 设备：外观缓存**真的**按账号落了盘（不是只看着像）', async (t) => { + const D = await import('./lib/harmony-device.mjs'); + const hdc = D.findHdc(); + if (!hdc || !D.hasTarget(hdc)) { + return t.skip('设备不在 —— 本条不跑（上面静态层仍把住形状与接线）'); + } + const CRIT = 'appearance-cache-key-on-device'; + if (D.busyStreak(CRIT) >= D.busyLimit()) { + return t.skip(`设备连续 ${D.busyLimit()} 轮忙 —— 本条本次不跑（别无限礼貌下去）`); + } + + /* + * ★★ 2026-09-19 补：**锁屏**也要走"忙"这条路，不能变成硬红。 + * + * 起因（真机上撞到的）：平板息屏后再来跑本条，`launchOurApp` 返回 false， + * 原来那句 `assert.ok(await D.launchOurApp(hdc), '要能拉起应用')` 直接红 —— + * 而**设备锁着跟本应用的外观缓存毫无关系**，它是"要人输密码"的环境状态。 + * 判据去红一个跟它无关、且**只有人能解**的东西，是假红； + * 而且这类假红会把到期闸的名声搞坏（真出事时没人当真）。 + * + * ⚠️ 但**不许无界礼貌**：跟"设备忙"同一条纪律 —— 连续 K 轮拉不起来就变红， + * 提醒人来接管（解锁，或显式决定这台设备上不跑行为判据）。 + * 判据在 K 轮之内是礼貌，K 轮之外是闹钟。 + */ + if (!await D.launchOurApp(hdc)) { + const { streak, over } = D.noteBusySkip(CRIT); + if (over) { + assert.fail( + `设备连续 ${streak} 轮拉不起应用（本条行为判据**连续 ${D.busyLimit()} 轮以上没真跑**）。\n` + + ` 先分清是**锁屏**还是真的坏了：锁屏时 aa start 会报 ` + + `'10106102 … The device screen is locked'，要人上滑解锁后再跑。\n` + + ` 若解锁后仍然起不来 ⇒ 那才是本应用的问题，不该再当环境跳过。\n` + + ` （账本：.tmp/harmony-busy-skips.json，已连续 ${streak} 轮；跑成一次即清零。）`); + } + return t.skip(`这次拉不起应用（设备多半锁着，需人解锁）—— 本条本次不跑` + + `（连续第 ${streak}/${D.busyLimit()} 轮，超过就要变红）`); + } + D.noteRan(CRIT); + assert.ok(await D.backToMain(hdc), '要能回到主界面'); + + /* + * ★ 键的位置**别猜**：Preferences 的落盘路径随 haps 层级而变 + * （`/data/app/el2/100/base//preferences/` 与 + * `/data/app/el2/100/base//haps/entry/preferences/` 都见过）， + * 而 `find` 一次就拿到真实位置。猜路径的那版在真机上扑空过。 + */ + const BUNDLE = 'com.jianf.agentmail'; + const found = D.shellOn(hdc, `find /data/app/el2/100/base/${BUNDLE} -name 'agentmail_appearance' -type f 2>/dev/null | head -1`); + const path = (found.stdout || '').trim().split('\n').pop(); + if (!path) { + const { over } = D.noteBusySkip(CRIT); + if (over) assert.fail('设备上始终没有 agentmail_appearance —— 改外观后本机缓存没落盘？'); + return t.skip('设备上还没有 agentmail_appearance（还没改过外观？）—— 本次不跑'); + } + + const cat = D.shellOn(hdc, `cat '${path}'`); + assert.equal(cat.status, 0, `读 ${path} 失败：${(cat.stderr || '').trim()}`); + const xml = cat.stdout || ''; + + /* + * ★ 从**落盘的键**里取账号段，而不是从别处抄一个账号 id 来比对 —— + * 判据要验的是"键里有账号"，它唯一可靠的观察点就是键本身。 + * （去 /me 拿当前账号再断言"键里含它"是另一件事：那还掺了"当前登录的是谁"。） + */ + const keys = [...xml.matchAll(/ m[1]); + assert.ok(keys.length > 0, + `${path} 里一个 都没有 —— 改外观后本机缓存没落盘？读到：${xml.slice(0, 300)}`); + + const appearanceKeys = keys.filter(k => k.startsWith('appearance.')); + assert.ok(appearanceKeys.length > 0, + `落盘的键里没有 appearance.* 前缀的（键必须以 appearance. 开头）：${keys.join('、')}`); + + for (const k of appearanceKeys) { + const account = k.slice('appearance.'.length); + assert.ok(account.length > 0, + `★ 键 ${k} 的账号段是**空的** ⇒ 这就是"全局键"退化（换账号会串味，` + + 'WebUI 侧那个 bug 的同一形状）'); + // 账号段必须像个 id，而不是前缀/空串/布尔 + assert.ok(/^[A-Za-z0-9_.:-]+$/.test(account), + `键 ${k} 的账号段 ${JSON.stringify(account)} 不像个账号 id（键的形状变了？）`); + } + D.noteRan(CRIT); + /* + * ★ 结算记账：这条判据已从 `STATIC_ONLY` 的到期点名里划掉 + * （理由与 `harmony-admin` 那次一样：设备可用 ⇒ 前提成立 ⇒ 必须当场还）。 + * 但"划掉"本身是纯记账动作，行为条在不在跑就没人管了 —— + * 所以这里只在**全部断言之后**留一条本机记录，供 `run-all.mjs` 的 + * 闸 (ii) 出示（键名必须与那边 `SETTLED_FROM_STATIC` 里写的同串）。 + * ⚠️ 位置要紧：红了也记 = 把没验过的当成验过了，比不记更糟。 + */ + D.noteBehavioralRan(CRIT); +}); diff --git a/client/electron/test/run-all.mjs b/client/electron/test/run-all.mjs index 7962fcb..0a9ed80 100644 --- a/client/electron/test/run-all.mjs +++ b/client/electron/test/run-all.mjs @@ -1396,7 +1396,20 @@ const STATIC_ONLY = [ ['test/harmony-appearance.test.mjs', '壁纸/令牌/遮罩渲染：观感与运行期换肤要设备', 'device'], ['test/harmony-logic.test.mjs', '页面状态机与文案：`.ets` 状态要跑起来才算数', 'device'], ['test/cross-client-theme.test.mjs', '跨端令牌与玻璃分工：`.ets` 那半除悬浮球外仍未上设备（悬浮球已钉住「声明不等于渲染」这一类）', 'device'], - ['test/appearance-defaults.test.mjs', '默认值契约里 `.ets` 那半：运行时行为要设备', 'device'], + /* + * ★★ 2026-09-19 **移除** `appearance-defaults` 这条。 + * + * 它当初的理由是「默认值契约里 `.ets` 那半：运行时行为要设备」，而设备现已可用 + * ⇒ 前提成立，欠账必须当场还。它已升级为设备判据： + * 「设备上改外观后，落盘的偏好键**真的**带着账号段」—— + * 自己拉起应用、用 find 定位真实的 preferences 文件、cat 出 XML， + * 从**落盘的键**里取账号段并断言非空且像个 id。 + * （红绿已在真机上验过：把设备上的键改成 `key="appearance."` ⇒ 该条红， + * 而原有的静态判据 2 **仍然绿** —— 正好说明这一层补的是哪个洞。） + * + * ⇒ 与 `harmony-admin` 同理：留在这里会让欠账余额虚高。余额是给"还欠着的"记账的。 + * ⚠️ 移除 ≠ 判据消失：它仍在套件里，只是改由行为层管辖，并由闸 (ii) 要求出示绿跑记录。 + */ // P4c 同批的两条：判的是 `.ets` 里的页面/组件，本机没有设备也没有模拟器 /* * ★★ 2026-09-19 **移除** `harmony-admin` 这条（它在这里待了很久）。 @@ -1848,6 +1861,8 @@ const SETTLED_FROM_STATIC = [ // 形状：['判据文件', '行为记录里的 key（noteBehavioralRan 的那个字符串）', '行为条在哪', '到期前提探针'] ['test/harmony-nav.test.mjs', 'harmony-nav/底栏可点项', 'test/harmony-nav.test.mjs 的「★ 行为（设备）：底栏真渲染了可点的导航项」', 'device'], + ['test/appearance-defaults.test.mjs', 'appearance-cache-key-on-device', + 'test/appearance-defaults.test.mjs 的「★ 设备：外观缓存**真的**按账号落了盘（不是只看着像）」', 'device'], ]; let unsettled = []; try {