MailUI4Agents

jianf/MailUI4Agents

Fork 0

Commit Graph

Author	SHA1	Message	Date
JianFeeeee	474cadaf54	跨端: harmony 管理页（用户管理）+ P4c 壁纸上传入口 —— 「功能做全再交付」的两块 pi 的交付清单里缺的两块（`docs/GUI-PLAN-HARMONY.md` 原先把管理后台划在首版之外，用户明确要求「功能做全再给我」之后收进来）。标 `跨端:` 是因为本次的判据落在 `client/electron/test/`（鸿蒙的判据目录一向量在那里），代码本体全在 `client/harmony/`。 ## 管理页（用户管理） - `pages/AdminUsersPage.ets`：新建 / 编辑（显示名·角色·白名单）/ 启停 / 重置密码。排布照 `AdminUsersPage.tsx`，包括「受限」徽标的口径（普通用户且白名单非空才显示）、最后登录缺席与空串都显示「从未登录」、管理员对白名单两项忽略。 - 入口在设置页底部，仅管理员可见（`role === 'admin'` 严格相等，与 `App.tsx` 同口径）。读不到身份时不显示也不报错（乐观放行会让每个普通用户看到一个点进去 403 的入口）。 - `api/AdminApi.ets` + `model/AdminUsers.ts`（纯逻辑，零 import ⇒ 判据能真跑）。 - 启停只发 status 一个字段 —— 服务端是部分更新，多发字段会把显示名与白名单一起改掉。 - `model/Models.ets` 补管理端 DTO；`main_pages.json` 注册路由。 ## P4c 壁纸上传 - `model/ImagePrep.ts`：阈值与两档策略（2560/0.85 → 1280/0.78，入口 20MB，压后上限 3.5MiB）。一处有意不对齐 WebUI 并写明理由：WebUI 卡 data-URL 长度（含 base64 膨胀），鸿蒙内存直传 ArrayBuffer，卡的是字节数。 - `common/BackgroundPicker.ets`：不设 / 预设 / 自定义图片 + 浓度与模糊滑杆。上传链：picker → 判可不可以 → 逐档按 desiredSize 解码压缩 → 上传 → 请页面以服务端为准重新同步。失败必带原因（服务端 415/413 文案原样透出）。 - `ApiClient.uploadBytes`：MultiFormData.data 收 ArrayBuffer（核了 SDK，since 11；本工程 23） ⇒ 内存直传，不需要 base64、也不需要临时文件。 - 用户取消选图不算失败，什么都不说。 ## 顺带修掉的两处真问题（都是变异测试逼出来的） 1. 压缩循环的第二档此前是死代码：循环里的 break 与循环外那句 shouldRetryWithActual 互相抵消 —— 把循环里那处改成 `if (true)`（永远只压一档）整套判据照样全绿。收成一处判定（overLimit），循环外只读结论。 2. 壁纸的模糊档一直是「只写不读」（计划文档 §7.12 登记过）：滑杆能拖、值能存、 blurStyleFor 也写了，就是没有调用点，壁纸一点没糊。本次补上调用点（壁纸层 .blur(px) = 图片内容模糊；导航条材质由 blurStyleFor 映射）。同时按 §7.12 的原承诺更新了那一行。 ## 一并修正的旧判据（都是"太宽/太窄"，不是放宽标准） - 「模糊归属」：原文「壁纸层不许有任何模糊调用」把图片内容模糊与面板材质混为一谈（WebUI 侧核实：.app-backdrop 的 filter 与它之上那层的 backdrop-filter 是两个不同的量）⇒ 改成按两种模糊分别钉。 - 「bgBlur 只写不读，消费侧必须为 0」：值不再成立，形状保留（逐文件登记 + 计数 + 理由），标题与断言里的假话一并改掉。 - isDarkMode 那条 `/dark\s\)/` 断的是参数顺序（加一个入参就误红）⇒ 改成"dark 在实参里"。 - 导航材质三处断言原本钉 `Theme.navMaterial` 字面量 ⇒ 改成钉新的映射写法。 ## 判据新增 `harmony-admin.test.mjs`（22 条）、`harmony-imageprep.test.mjs`（29 条）； `harmony-presets.test.mjs` 加 1 条（模糊档搬运与归一，含 -0 那个洞）。全量 203 条：201 通过，2 条失败为改动前就红的既有项（BUILD_INFO 比对、词表↔余额）—— 用 stash 对照验证过。两个新判据文件上跑了 48 个变异体，全部被抓（含"接线"类：删掉「受限」徽标、组件自己宣布成功、release 不 await、按原图尺寸解码…），其中 2 个变异体红不了，因此又补了 5 条判据（纯逻辑接线、退档判定只有一处、两档都超限必拒、解码尺寸用的是目标尺寸而非原图尺寸、模糊档搬运）。（数字口径：按 runner 的真实条件"锚点恰好命中 1 次才算跑过"统计；另有 4 条锚点不命中、根本没跑，不算在这 48 里。我第一次写的是"40"—— 凭记忆累加的，错了，已更正。）未验*：本机无设备/无模拟器 ⇒ 全部观感未验（管理页排版、滑杆手感、模糊在真机上的实际档位观感）。代码齐 ≠ 真机验过。	2026-09-15 11:03:22 +08:00
JianFeeeee	f5c4f56682	跨端: feat(预设): 静默兜底留一条可观测痕迹；"只写不读"在鸿蒙侧也补上判据（照 LEGACY_BACKUP_KEY 照搬）；§10 出处落地 pi 2026-09-14 的三小条。 1. §3 静默兜底要留可观测痕迹：`normalizePreset` 把认不出的 id 换成 aurora 这件事，原先在真实环境里不留任何痕迹 —— §10 的登记只防"被误报成 bug"，防不住 "没人知道它正在发生"。现在 `BackgroundPlan.presetSubstitutedFrom` 带出原来那个 id （换过非空、没换过空串），页面据此打一行日志 ⇒ 后果从"可能发生"变成"可数"。痕迹记在返回值里而不是在这一层直接打日志，理由写进代码：这一层是纯逻辑（无 `@ohos` 依赖 ⇒ 判据能用 node strip-types 直接跑它）；为打一行日志引入 `@ohos.hilog`，等于把"能真跑的行为判据"换成"只能读源码的形态判据"——不划算的交易。判据两条方向都钉：替换必须留痕（且带出原 id）；没替换时必须为空（痕迹退化成噪声就等于没有）。变异与正反例都在（5 条全绿）。 2. §2 §10 的"谁批准"落成出处：那一格原写"产品决定" —— 按 pi 的话这是事后追认。现在写的是「无人类批准：这是实现时的默认行为（随 `model/Wallpaper.ts` 引入， `git log --diff-filter=A` 可查出处，2e42aac），本行是补登记」，并把意图与批准分开写（不拿意图冒充批准）。另两行也补了出处（`Appearance.ts:39,52,88,104,133` / `AppearanceStore.ets:142-195` / `backgroundStore.ts:200`）。 3. §1 "可扫的字段清册"不必先造 —— 同形状已有一边是判据：他说得对。 WebUI 的 `LEGACY_BACKUP_KEY` 早就钉着"只写不读"，鸿蒙的 `bgBlur` 只有文档 ⇒ 差的是同一个形状只有一边有判据。已照搬：`harmony-appearance.test.mjs` 新增 "消费侧出现次数必须为 0"；豁免按文件登记 + 写理由（域模型 / 状态同步 / 线上 DTO 三处是搬运与传输，不是消费）——与 `mail_status_readers_test.go` 的豁免同一形状，登记表本身就是清册，不必另造一张。变异验证：让 MainPage 读一次 `bgBlur` → 判据红，红的信息写着"停下：那时必须先补 px ↔ 材质档位的映射判据，而不是把登记值从 0 改成 1"。 SUITE 计数同步：harmony-presets 4→5、harmony-appearance 24→25。	2026-09-14 17:17:37 +08:00
JianFeeeee	5e74e0312e	test(预设): 补行为判据 —— "清单里有、渲染器没有"必须红（值判据只挡住一半） pi 2026-09-14 指出：我那条"两端预设清单 id/顺序逐项相等"只挡得住一半 —— 它挡"清单漏一档"，挡不住"清单有、渲染器没有"（第 7 档两边都加、忘了给 `layersFor` 加分支 ⇒ 值判据全绿，用户看到的却是 aurora）。症状与"信息对等缺口" 一模一样，只是路径换了。核对：他说得对，`layersFor` 的兜底就是 `aurora`，所以丢分支是静默的。新增 `test/harmony-presets.test.mjs`（4 条，`--experimental-strip-types` 直接执行纯逻辑 `model/Wallpaper.ts` —— 与 `harmony-logic` 同一先例，能真跑）： 1. 六档 × 两主题：不抛异常、非空、每层 kind/色标/网格字段有效； 2. ★ 清单里有、渲染器没有 → 红：手法是拿一个不存在的 id 调一次当作"兜底长相"，任何一档丢了分支就会与兜底逐字节相同 ⇒ 红。并写明已知边界：`aurora` 自己就是兜底档，它"丢分支"在行为上不可观测（由值判据 + 第 3 条兜住）； 3. 六档两两不同（复制分支没改参数 → 红）； 4. 深色档必须与浅色档不同（"深色没换色" → 红）。不需要设备 ⇒ 按 pi 的提醒不登记进 `static` 欠账（那会虚增余额）。两条变异都验过：删 `mesh` 分支 → 行为判据报"画出来的和兜底档一模一样"；清单加第 7 档不加分支 → 值判据与行为判据同时红（两条一起才闭合）。安装相位 14/14 绿。另按 pi 要求处理两处登记： · §7.12 那行"px ↔ 档位"改成核实后的真相：`bg_blur` 在鸿蒙侧只有搬运没有消费（`Appearance.ts` clamp 存下、`AppearanceStore` 同步，没有任何页面读它），所以不存在映射表可钉 —— 钉一张不存在的表是假判据；并写明"若将来开始消费它，那时必须补映射判据"，作为"人工约定、当前无判据"的登记处。 · 预设 id/顺序那条标清钉的是产品要求（顺序=用户看到的选项次序），理由写进判据注释。	2026-09-14 17:05:15 +08:00

Author

SHA1

Message

Date

JianFeeeee

474cadaf54

跨端: harmony 管理页（用户管理）+ P4c 壁纸上传入口 —— 「功能做全再交付」的两块

pi 的交付清单里缺的两块（`docs/GUI-PLAN-HARMONY.md` 原先把管理后台划在首版之外，
用户明确要求「功能做全再给我」之后收进来）。

标 `跨端:` 是因为本次的判据落在 `client/electron/test/`（鸿蒙的判据目录一向量在那里），
代码本体全在 `client/harmony/`。

## 管理页（用户管理）

- `pages/AdminUsersPage.ets`：新建 / 编辑（显示名·角色·白名单）/ 启停 / 重置密码。
  排布照 `AdminUsersPage.tsx`，包括「受限」徽标的口径（普通用户且白名单非空才显示）、
  最后登录缺席与空串都显示「从未登录」、管理员对白名单两项忽略。
- 入口在设置页底部，**仅管理员可见**（`role === 'admin'` 严格相等，与 `App.tsx` 同口径）。
  读不到身份时**不**显示也不报错（乐观放行会让每个普通用户看到一个点进去 403 的入口）。
- `api/AdminApi.ets` + `model/AdminUsers.ts`（纯逻辑，零 import ⇒ 判据能真跑）。
- 启停**只发 status 一个字段** —— 服务端是部分更新，多发字段会把显示名与白名单一起改掉。
- `model/Models.ets` 补管理端 DTO；`main_pages.json` 注册路由。

## P4c 壁纸上传

- `model/ImagePrep.ts`：阈值与两档策略（2560/0.85 → 1280/0.78，入口 20MB，压后上限 3.5MiB）。
  **一处有意不对齐 WebUI** 并写明理由：WebUI 卡 data-URL 长度（含 base64 膨胀），
  鸿蒙内存直传 ArrayBuffer，卡的是字节数。
- `common/BackgroundPicker.ets`：不设 / 预设 / 自定义图片 + 浓度与模糊滑杆。
  上传链：picker → 判可不可以 → 逐档按 desiredSize 解码压缩 → 上传 → **请页面以服务端为准重新同步**。
  失败**必带原因**（服务端 415/413 文案原样透出）。
- `ApiClient.uploadBytes`：MultiFormData.data 收 ArrayBuffer（核了 SDK，since 11；本工程 23）
  ⇒ 内存直传，不需要 base64、也不需要临时文件。
- 用户取消选图**不算失败**，什么都不说。

## 顺带修掉的两处真问题（都是变异测试逼出来的）

1. **压缩循环的第二档此前是死代码**：循环里的 break 与循环外那句 shouldRetryWithActual
   互相抵消 —— 把循环里那处改成 `if (true)`（永远只压一档）整套判据照样全绿。
   收成一处判定（overLimit），循环外只读结论。
2. **壁纸的模糊档一直是「只写不读」**（计划文档 §7.12 登记过）：滑杆能拖、值能存、
   blurStyleFor 也写了，就是**没有调用点**，壁纸一点没糊。本次补上调用点
   （壁纸层 .blur(px) = 图片内容模糊；导航条材质由 blurStyleFor 映射）。
   同时按 §7.12 的原承诺更新了那一行。

## 一并修正的旧判据（都是"太宽/太窄"，不是放宽标准）

- 「模糊归属」：原文「壁纸层不许有**任何**模糊调用」把**图片内容模糊**与**面板材质**
  混为一谈（WebUI 侧核实：.app-backdrop 的 filter 与它之上那层的 backdrop-filter
  是两个不同的量）⇒ 改成按两种模糊分别钉。
- 「bgBlur 只写不读，消费侧必须为 0」：值不再成立，**形状保留**（逐文件登记 + 计数 + 理由），
  标题与断言里的假话一并改掉。
- isDarkMode 那条 `/dark\s*\)/` 断的是**参数顺序**（加一个入参就误红）⇒ 改成"dark 在实参里"。
- 导航材质三处断言原本钉 `Theme.navMaterial` 字面量 ⇒ 改成钉新的映射写法。

## 判据

新增 `harmony-admin.test.mjs`（22 条）、`harmony-imageprep.test.mjs`（29 条）；
`harmony-presets.test.mjs` 加 1 条（模糊档搬运与归一，含 -0 那个洞）。
全量 203 条：**201 通过**，2 条失败为**改动前就红**的既有项
（BUILD_INFO 比对、词表↔余额）—— 用 stash 对照验证过。

两个新判据文件上跑了 **48 个变异体，全部被抓**（含"接线"类：删掉「受限」徽标、
组件自己宣布成功、release 不 await、按原图尺寸解码…），
其中 2 个变异体**红不了**，因此又补了 5 条判据（纯逻辑接线、退档判定只有一处、
两档都超限必拒、解码尺寸用的是目标尺寸而非原图尺寸、模糊档搬运）。
（数字口径：按 runner 的真实条件"锚点恰好命中 1 次才算跑过"统计；
另有 4 条锚点不命中、根本没跑，不算在这 48 里。我第一次写的是"40"——
凭记忆累加的，错了，已更正。）

**未验**：本机无设备/无模拟器 ⇒ 全部观感未验（管理页排版、滑杆手感、模糊在真机上的
实际档位观感）。代码齐 ≠ 真机验过。

2026-09-15 11:03:22 +08:00

JianFeeeee

f5c4f56682

跨端: feat(预设): 静默兜底留一条可观测痕迹；"只写不读"在鸿蒙侧也补上判据（照 LEGACY_BACKUP_KEY 照搬）；§10 出处落地

pi 2026-09-14 的三小条。

1. **§3 静默兜底要留可观测痕迹**：`normalizePreset` 把认不出的 id 换成 aurora 这件事，
   原先在真实环境里**不留任何痕迹** —— §10 的登记只防"被误报成 bug"，防不住
   "没人知道它正在发生"。现在 `BackgroundPlan.presetSubstitutedFrom` 带出**原来那个 id**
   （换过非空、没换过空串），页面据此打一行日志 ⇒ 后果从"可能发生"变成"**可数**"。
   **痕迹记在返回值里而不是在这一层直接打日志**，理由写进代码：这一层是**纯逻辑**
   （无 `@ohos` 依赖 ⇒ 判据能用 node strip-types 直接跑它）；为打一行日志引入 `@ohos.hilog`，
   等于把"能真跑的行为判据"换成"只能读源码的形态判据"——不划算的交易。
   **判据两条方向都钉**：替换必须留痕（且带出原 id）；**没替换时必须为空**
   （痕迹退化成噪声就等于没有）。变异与正反例都在（5 条全绿）。

2. **§2 §10 的"谁批准"落成出处**：那一格原写"产品决定" —— 按 pi 的话这是**事后追认**。
   现在写的是 **「无人类批准：这是实现时的默认行为（随 `model/Wallpaper.ts` 引入，
   `git log --diff-filter=A` 可查出处，2e42aac），本行是补登记」**，并把**意图**与**批准**分开写
   （不拿意图冒充批准）。另两行也补了出处（`Appearance.ts:39,52,88,104,133` /
   `AppearanceStore.ets:142-195` / `backgroundStore.ts:200`）。

3. **§1 "可扫的字段清册"不必先造 —— 同形状已有一边是判据**：他说得对。
   WebUI 的 `LEGACY_BACKUP_KEY` 早就钉着"只写不读"，鸿蒙的 `bgBlur` 只有文档
   ⇒ 差的是**同一个形状只有一边有判据**。已照搬：`harmony-appearance.test.mjs` 新增
   **"消费侧出现次数必须为 0"**；豁免**按文件登记 + 写理由**（域模型 / 状态同步 / 线上 DTO
   三处是搬运与传输，不是消费）——与 `mail_status_readers_test.go` 的豁免同一形状，
   登记表本身就是清册，不必另造一张。
   变异验证：让 MainPage 读一次 `bgBlur` → 判据红，红的信息写着"**停下：那时必须先补
   px ↔ 材质档位的映射判据**，而不是把登记值从 0 改成 1"。

SUITE 计数同步：harmony-presets 4→5、harmony-appearance 24→25。

2026-09-14 17:17:37 +08:00

JianFeeeee

5e74e0312e

test(预设): 补行为判据 —— "清单里有、渲染器没有"必须红（值判据只挡住一半）

pi 2026-09-14 指出：我那条"两端预设清单 id/顺序逐项相等"只挡得住**一半** ——
它挡"清单漏一档"，挡不住"清单有、渲染器没有"（第 7 档两边都加、忘了给
`layersFor` 加分支 ⇒ 值判据全绿，用户看到的却是 aurora）。症状与"信息对等缺口"
一模一样，只是路径换了。核对：他说得对，`layersFor` 的兜底就是 `aurora`，
所以丢分支是**静默**的。

新增 `test/harmony-presets.test.mjs`（4 条，`--experimental-strip-types` 直接执行
纯逻辑 `model/Wallpaper.ts` —— 与 `harmony-logic` 同一先例，**能真跑**）：

1. 六档 × 两主题：不抛异常、非空、每层 kind/色标/网格字段有效；
2. ★ **清单里有、渲染器没有 → 红**：手法是拿一个不存在的 id 调一次当作"兜底长相"，
   任何一档丢了分支就会与兜底逐字节相同 ⇒ 红。**并写明已知边界**：`aurora` 自己
   就是兜底档，它"丢分支"在行为上不可观测（由值判据 + 第 3 条兜住）；
3. 六档两两不同（复制分支没改参数 → 红）；
4. 深色档必须与浅色档不同（"深色没换色" → 红）。

**不需要设备 ⇒ 按 pi 的提醒不登记进 `static` 欠账**（那会虚增余额）。
两条变异都验过：删 `mesh` 分支 → 行为判据报"画出来的和兜底档一模一样"；
清单加第 7 档不加分支 → **值判据与行为判据同时红**（两条一起才闭合）。
安装相位 14/14 绿。

另按 pi 要求处理两处登记：
· §7.12 那行"px ↔ 档位"改成**核实后的真相**：`bg_blur` 在鸿蒙侧只有搬运没有消费
  （`Appearance.ts` clamp 存下、`AppearanceStore` 同步，**没有任何页面读它**），
  所以不存在映射表可钉 —— 钉一张不存在的表是假判据；并写明"若将来开始消费它，
  那时必须补映射判据"，作为"人工约定、当前无判据"的登记处。
· 预设 id/顺序那条**标清钉的是产品要求**（顺序=用户看到的选项次序），理由写进判据注释。

2026-09-14 17:05:15 +08:00

3 Commits