MailUI4Agents

jianf/MailUI4Agents

Fork 0

Commit Graph

Author	SHA1	Message	Date
JianFeeeee	512b3f8f80	fix(更正): 我登记的"不存在映射表"是错的（blurStyleFor 一直在，缺的是调用点）；豁免按文件+次数抓出来的 pi 2026-09-14 三条接续，其中 §3 那一条抓出了我自己的一个错误结论。 1. §3 交叉提醒（豁免按"文件 + 次数"）→ 直接翻出我漏掉的东西：把 `bgBlur` 的豁免改成计数后，逐处核对出现次数时发现 `model/Appearance.ts` 里有一个 `blurStyleFor(bgBlur)` —— px → 系统材质档的映射表早就在那儿（文件注释还写着「判据可以直接跑它」），只是没有任何调用点。而我先前把"鸿蒙没有消费点"登记成了"不存在映射表 ⇒ 钉映射判据是假判据"，那是错的，并且已经写进了两处文档（CRITERIA.md §10、计划文档 §7.12）。 ⇒ 两处都更正了，并写明发现方式（计数机制把它翻出来的）。正确的登记：映射表存在且可判；缺的是调用点 —— 这两件事分开判。 2. 映射表按"它是行为"来钉（新判据，26/26 绿）：分档边界 0/8/20、单调性（px 变大档次不许倒退）、NaN 不许落到最厚那一档（比较全 false 时掉到最后一档是最坏方向）。`blurStyleFor` 是纯函数 ⇒ 与 Wallpaper 一样能直接用 node 跑，不需要设备。 3. §1 痕迹的"输出那条腿"仍无人判 —— 我把它登记成欠账而不是假装钉了：页面层（`MainPage.ets`）有没有真的拿 `presetSubstitutedFrom` 打日志，现在没有判据。我没有在本轮补上，原因是它要动 `.ets`（按环境约定，写 `.ets` 前要先按 ArkTS 纪律加载规范），而 P6 第 1、2 步正好要动那个文件 —— 所以登记成 `docs/DEBTS.json` 的 `observability-output`（余额 1、到期前提写明"页面接上日志时同时补判据"），不是"未完成"含糊过去，而是"什么时候还"写清楚了。 4. §2 §10 那格从"无人类批准"收口成"待批准"：仍进余额 —— `unknown-preset-approval`，到期前提是"有人追认或驳回『未知 id 显示 aurora 而不是空白』这个方向"，并写明我作为实现者不能自己追认自己。 5. 顺手把 pi 那条建议入册（`CRITERIA.md` §14）：登记/清册类判据的报错要同时写 "正确修法"与"最常见的错误修法" —— 因为读到红的人第一反应通常是改那个数字。余额现在一处可见：`RESULT phase=install static=5 debts=9（…） probe=ok`。	2026-09-14 17:20:18 +08:00
JianFeeeee	d25770ea2f	fix(欠账): Skip 进余额且条件必须是测量；豁免按文件+次数；三笔欠账合成一处可读余额 pi 2026-09-14 三条（他接受了我对"恒红=相位错"的反驳，但指出 Skip 带来的两处漏洞）。 1. Skip 必须进余额、条件必须是测量： - 条件：跳过与否由 `measureMailStatusDebt` 实测（详情路径的 status 是否真的等于按读者派生），不是常量、不是"我们还没迁完"这种没人会更新的事实； - 余额：`docs/DEBTS.json` 是唯一登记，Go 侧判据 `TestDebtLedgerMatchesMeasurement` 自己测量后与登记比对（第一版我让余额由另一条判据写入 ⇒ 排序依赖， Go 同包内按源文件顺序跑，登记那条先跑就读到 0 —— 排序依赖是隐蔽的假绿，已抽成自足函数）； - 可见性：`go test` 跑通时不打印包的输出，我第一版把余额打在 TestMain 里，常态运行一个字都看不见 —— 正是 pi 说的"不显形"。所以常态可见的那份打在 electron 套件的 RESULT 行：`RESULT phase=install static=5 debts=7 （static-criteria:5,mails-status-derived:1,gesture-semantics:1） probe=ok`。 2. 豁免从"按文件"改成"按文件 + 次数"：`migrate.go` 这类比较上限 2 处（附理由），多一处即红。我在读侧清册上自己修过这个洞，豁免那格却退了一格 —— pi 指出得对。 3. 三笔欠账合成一处：原先各自表达（`RESULT static=5` / `t.Skip` 无余额 / 文档里的到期前提无余额），没有一处能一眼看全。现在统一登记在 `docs/DEBTS.json` （id / 余额 / 到期前提 / 判据位置），两端读同一份：Go 侧比对实测，electron 侧打进 RESULT 行。还清那天：登记要跟着清 —— 不清则由 `TestDebtLedgerMatchesMeasurement` 报 "欠账已还清，但登记还记着 N"（还清是可测事件，这正是那条判据存在的意义）。	2026-09-14 17:17:37 +08:00

Author

SHA1

Message

Date

JianFeeeee

512b3f8f80

fix(更正): 我登记的"不存在映射表"是错的（blurStyleFor 一直在，缺的是调用点）；豁免按文件+次数抓出来的

pi 2026-09-14 三条接续，其中 §3 那一条**抓出了我自己的一个错误结论**。

1. **§3 交叉提醒（豁免按"文件 + 次数"）→ 直接翻出我漏掉的东西**：
   把 `bgBlur` 的豁免改成计数后，逐处核对出现次数时发现 `model/Appearance.ts` 里
   **有一个 `blurStyleFor(bgBlur)`** —— **px → 系统材质档的映射表早就在那儿**
   （文件注释还写着「判据可以直接跑它」），只是**没有任何调用点**。
   而我先前把"鸿蒙没有消费点"登记成了"**不存在映射表 ⇒ 钉映射判据是假判据**"，
   **那是错的**，并且已经写进了两处文档（CRITERIA.md §10、计划文档 §7.12）。
   ⇒ 两处都**更正**了，并写明发现方式（计数机制把它翻出来的）。
   正确的登记：**映射表存在且可判；缺的是调用点** —— 这两件事分开判。

2. **映射表按"它是行为"来钉**（新判据，26/26 绿）：分档边界 0/8/20、
   **单调性**（px 变大档次不许倒退）、**NaN 不许落到最厚那一档**（比较全 false 时掉到最后一档
   是最坏方向）。`blurStyleFor` 是纯函数 ⇒ 与 Wallpaper 一样能直接用 node 跑，不需要设备。

3. **§1 痕迹的"输出那条腿"仍无人判 —— 我把它登记成欠账而不是假装钉了**：
   页面层（`MainPage.ets`）有没有真的拿 `presetSubstitutedFrom` 打日志，现在**没有判据**。
   我没有在本轮补上，原因是它要动 `.ets`（按环境约定，写 `.ets` 前要先按 ArkTS 纪律加载规范），
   而 P6 第 1、2 步正好要动那个文件 —— 所以登记成 `docs/DEBTS.json` 的
   `observability-output`（余额 1、到期前提写明"页面接上日志时同时补判据"），
   **不是"未完成"含糊过去**，而是"什么时候还"写清楚了。

4. **§2 §10 那格从"无人类批准"收口成"待批准"**：仍进余额 —— `unknown-preset-approval`，
   到期前提是"有人追认或驳回『未知 id 显示 aurora 而不是空白』这个方向"，
   并写明**我作为实现者不能自己追认自己**。

5. 顺手把 pi 那条建议入册（`CRITERIA.md` §14）：**登记/清册类判据的报错要同时写
   "正确修法"与"最常见的错误修法"** —— 因为读到红的人第一反应通常是改那个数字。

余额现在一处可见：`RESULT phase=install static=5 debts=9（…） probe=ok`。

2026-09-14 17:20:18 +08:00

JianFeeeee

d25770ea2f

fix(欠账): Skip 进余额且条件必须是测量；豁免按文件+次数；三笔欠账合成一处可读余额

pi 2026-09-14 三条（他接受了我对"恒红=相位错"的反驳，但指出 Skip 带来的两处漏洞）。

1. **Skip 必须进余额、条件必须是测量**：
   - **条件**：跳过与否由 `measureMailStatusDebt` **实测**（详情路径的 status 是否真的
     等于按读者派生），不是常量、不是"我们还没迁完"这种没人会更新的事实；
   - **余额**：`docs/DEBTS.json` 是**唯一登记**，Go 侧判据 `TestDebtLedgerMatchesMeasurement`
     **自己测量**后与登记比对（第一版我让余额由另一条判据写入 ⇒ **排序依赖**，
     Go 同包内按源文件顺序跑，登记那条先跑就读到 0 —— 排序依赖是隐蔽的假绿，已抽成自足函数）；
   - **可见性**：`go test` 跑通时**不打印包的输出**，我第一版把余额打在 TestMain 里，
     常态运行一个字都看不见 —— 正是 pi 说的"不显形"。所以常态可见的那份打在
     electron 套件的 RESULT 行：`RESULT phase=install static=5 debts=7
     （static-criteria:5,mails-status-derived:1,gesture-semantics:1） probe=ok`。

2. **豁免从"按文件"改成"按文件 + 次数"**：`migrate.go` 这类比较**上限 2 处**（附理由），
   多一处即红。我在读侧清册上自己修过这个洞，豁免那格却退了一格 —— pi 指出得对。

3. **三笔欠账合成一处**：原先各自表达（`RESULT static=5` / `t.Skip` 无余额 /
   文档里的到期前提无余额），**没有一处能一眼看全**。现在统一登记在 `docs/DEBTS.json`
   （id / 余额 / 到期前提 / 判据位置），两端读同一份：Go 侧比对实测，electron 侧打进 RESULT 行。
   还清那天：登记要跟着清 —— 不清则由 `TestDebtLedgerMatchesMeasurement` 报
   "**欠账已还清**，但登记还记着 N"（还清是可测事件，这正是那条判据存在的意义）。

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

2 Commits