MailUI4Agents

jianf/MailUI4Agents

Fork 0

Commit Graph

Author	SHA1	Message	Date
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
JianFeeeee	eeb8f277fd	test(mails.status): "正当"落成可判约束（只许比 archived）；欠账补一条"还清即转绿"的判据 pi 2026-09-14 的三点接续。 1. §1「正当」不能只是标注，要是可判的约束：按文件+计数登记挡得住"新增一处"，挡不住"已登记的那一处改变性质"。已判出来：任何与 m.status 的比较只允许比 'archived'（全局属性），与 'read'/'unread' 比较 ⇒ 红（per-reader 属性必须走 mail_reads）。第一次跑就抓到第三处：`migrate.go` 的 `WHERE m.status = 'read'` ×2 —— 它是回填，职责就是读那个遗留值，所以按文件登记窄豁免（allowedCompareExempt，带理由），而不是"凡是迁移都放行"。 2. §2 欠账要有"还清即转绿"的判据：新增 `mail_status_derived_test.go`，三态形状（与套件探针同族）—— 欠账未清 ⇒ `t.Skip` 并写明还欠什么（不假红也不假绿）；还清 ⇒ 开始实跑并断言"详情路径的 status == 按读者派生的值"，转绿即可测事件；迁一半（只改 GetMailByID 漏 GetThread）⇒ 红。实测当前状态：`--- SKIP ... 详情路径返回行级 status="read"，而按读者派生说 "unread"`。没写成"现在就红"：恒红的门 = 挂在错误相位的门（CRITERIA.md §11 已为它付过学费）。另按他的更正把 `migrate.go` 的理由写准：不是"跑过即结束"，而是 "全新安装/空库路径必须存在"（措辞会影响下一个人敢不敢删它）。 3. §3 (b) 的语义契约补归属：归属 = dsh（鸿蒙侧实现者），WebUI 侧不需改动；落点 = 跨端对齐判据那一族（形状与"预设清单逐项一致"同构，比语义不比数值）；如实标注当前未建及原因（鸿蒙侧还没有日历页/手势代码 ⇒ 此时"两端逐项相同"只有一端存在，建出来就是假判据）；到期前提 = P6 第 3 步出现手势代码时立即建，此前是登记的欠账。	2026-09-14 17:11:36 +08:00

Author

SHA1

Message

Date

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

JianFeeeee

eeb8f277fd

test(mails.status): "正当"落成可判约束（只许比 archived）；欠账补一条"还清即转绿"的判据

pi 2026-09-14 的三点接续。

1. **§1「正当」不能只是标注，要是可判的约束**：按文件+计数登记挡得住"新增一处"，
   挡不住"**已登记的那一处改变性质**"。已判出来：**任何与 m.status 的比较只允许比
   'archived'**（全局属性），与 'read'/'unread' 比较 ⇒ 红（per-reader 属性必须走 mail_reads）。
   第一次跑就抓到第三处：`migrate.go` 的 `WHERE m.status = 'read'` ×2 —— 它是**回填**，
   职责就是读那个遗留值，所以按文件登记**窄豁免**（allowedCompareExempt，带理由），
   而不是"凡是迁移都放行"。

2. **§2 欠账要有"还清即转绿"的判据**：新增 `mail_status_derived_test.go`，三态形状
   （与套件探针同族）—— 欠账未清 ⇒ `t.Skip` 并写明还欠什么（**不假红也不假绿**）；
   还清 ⇒ 开始实跑并断言"详情路径的 status == 按读者派生的值"，**转绿即可测事件**；
   迁一半（只改 GetMailByID 漏 GetThread）⇒ 红。
   实测当前状态：`--- SKIP ... 详情路径返回行级 status="read"，而按读者派生说 "unread"`。
   **没写成"现在就红"**：恒红的门 = 挂在错误相位的门（CRITERIA.md §11 已为它付过学费）。
   另按他的更正把 `migrate.go` 的理由写准：不是"跑过即结束"，而是
   **"全新安装/空库路径必须存在"**（措辞会影响下一个人敢不敢删它）。

3. **§3 (b) 的语义契约补归属**：归属 = dsh（鸿蒙侧实现者），WebUI 侧不需改动；
   落点 = 跨端对齐判据那一族（形状与"预设清单逐项一致"同构，比语义不比数值）；
   **如实标注当前未建**及原因（鸿蒙侧还没有日历页/手势代码 ⇒ 此时"两端逐项相同"只有一端存在，
   建出来就是假判据）；到期前提 = P6 第 3 步出现手势代码时立即建，此前是**登记的欠账**。

2026-09-14 17:11:36 +08:00

2 Commits