MailUI4Agents

jianf/MailUI4Agents

Fork 0

Commit Graph

Author	SHA1	Message	Date
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

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

2 Commits