From 863b583838ba33ec79c353fabe49cd21bcd24644 Mon Sep 17 00:00:00 2001 From: JianFeeeee Date: Mon, 14 Sep 2026 17:03:16 +0800 Subject: [PATCH] =?UTF-8?q?fix(=E5=B7=B2=E8=AF=BB/=E6=96=87=E6=A1=A3):=20?= =?UTF-8?q?=E7=A9=BA=20reader=20=E6=8A=A5=E9=94=99=EF=BC=88=E6=8A=8A?= =?UTF-8?q?=E7=BA=A6=E5=AE=9A=E5=8F=98=E6=88=90=E5=81=9A=E9=94=99=E4=BC=9A?= =?UTF-8?q?=E7=BA=A2=EF=BC=89=EF=BC=9BP6=20=E6=96=B9=E6=A1=88=E8=A1=A5?= =?UTF-8?q?=E5=88=86=E6=94=AF=E5=A3=B0=E6=98=8E=E4=B8=8E=E5=8F=AF=E9=AA=8C?= =?UTF-8?q?=E6=94=B6=E6=80=A7=EF=BC=9B"=E4=B8=8E=20X=20=E4=B8=80=E8=87=B4"?= =?UTF-8?q?=E5=85=A5=E5=86=8C?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit pi 2026-09-14 对 P6 方案的五条，逐条处理（都不改方向）。 1. **§4 已读按读者的强制点** —— 他说得对，但实际情况比他担心的更靠前也更靠后： HTTP 层取的是 `user.Username`（**不是请求参数**，所以根本不可能"省略 reader"）， 但 **repo 函数本身接受空串**：`MarkMailRead(ctx, id, reader)` 会照写一行 `reader_name=''` —— 不属于任何人，却会让"未读"统计出偏差，而且没有任何东西会红。 已加守卫（空/纯空白 → 报错，不兜底）＋判据（不仅"不许插垃圾行"，且**必须返回错误**； 另含正例，防止把守卫写成"一律拒绝"）。变异验证：撤掉守卫 → `空 reader（""）必须报错`。 顺带一条给他的更正：同一个函数结尾还有 `UPDATE mails SET status='read'`（**行级**全局写）， 所以"按读者"这个性质只对**用 `mail_reads` 派生的数据**成立（`CountUnread`/`ListInbox` 是）， 读 `mails.status` 的客户端仍然是邮件级语义 —— 两件事在同一个函数里，容易被看漏。 2. **§2 手势阈值**：核实结果 —— **WebUI 侧没有被任何判据钉住**（`CalendarView.tsx:204` 裸字面量 `Math.abs(dx) < 40 || Math.abs(dx) < Math.abs(dy) * 1.5 || !fast(600ms)`）。 所以撤掉"与 WebUI 一致"的写法，改标 **「待两边对齐」**（文档两处），并把他给的推广写成 规范 `CRITERIA.md` §12：**凡"与 X 一致"的判据，前置条件是 X 侧那个值自己有判据钉住**， 否则测的是"我抄的那一份" —— 与"两张表各缺一半时必须按 id 联接"同一族。 3. **§1 分支声明（最要紧的一条）**：写进 P6 分期段 —— 本步实现的是**窄屏那条** （**容器自身带圆角 + 那一层能裁剪**）；宽屏那条（起始侧/结束侧分开给）**不适用**， 因为它的理由是"中间是分隔线、四角全给会露底色"，而手机是单栏、中间没有分隔线。 并写死这句：**"给对边"是跟着"中间有没有分隔线"来的，不是无条件的三件套。** 同时核实并写清现状：鸿蒙侧**还没有日历页**（全 ets 树无任何 calendar 提及）⇒ P6 是整页新建。 4. **§3 可验收性**：P6 三步各加一列 —— 第 1、2 步**本工作区可验收**（读 `.ets` 层结构）， 并明确"**第 2 步不需要设备，不许登记成 `static` 欠账**"（那会虚增余额）；第 3 步 **必然进欠账**（要设备：能装、能点），到期前提见探针表。 5. **§5 路由**：不再把 WebUI 改动挂成"等 pi"（他这条链上没有 shell）。按他给的三级路由执行： 优先在鸿蒙侧引用**已有令牌**解决；必须动 WebUI 时找 gui-lab 或按先例自己改。 --- client/electron/test/CRITERIA.md | 14 ++++++++++++ docs/HARMONY-ALIGN-PLAN.md | 30 +++++++++++++++++++++++--- server/internal/repo/readstate_test.go | 30 ++++++++++++++++++++++++++ server/internal/repo/repo.go | 12 +++++++++++ 4 files changed, 83 insertions(+), 3 deletions(-) diff --git a/client/electron/test/CRITERIA.md b/client/electron/test/CRITERIA.md index d07c073..64dc6da 100644 --- a/client/electron/test/CRITERIA.md +++ b/client/electron/test/CRITERIA.md @@ -375,3 +375,17 @@ pi 2026-09-14 提的形状：**不是无条件 fail-closed** —— 缺字段可 三个真实实例（同一天撞到，都不是巧合）：`check-shared-libs`（从 `153985e` 起在部署路径恒红）、 `packaging`（前端一改就卡死 —— 部署路径不重新打包）、`HOME: unbound variable` （在**所有门禁跑完之后**才炸：最贵的位置）。 + +## 12. 「与 X 一致」的前置条件：X 侧那个值自己得有判据钉住 + +**规则**：凡判据说"本端的值与 X 端的值一致"，先确认**X 端那个值在 X 端被判据钉着**。 +否则它测的是"**我抄的那一份**"，而不是"两边一致"：X 端改一下，两边悄悄分叉， +而没有任何东西会红 —— 判据会一直绿着，因为它比较的是自己的副本。 + +这与"两张表各缺一半时必须按 id 联接，不能按相邻关系配对"是同一族： +**比较的对象必须是权威来源，不是手边可得的那个副本。** + +真实例子（2026-09-14）：鸿蒙 P6 的手势阈值（水平 ≥40px、≥1.5× 垂直、<600ms） +在 `client/electron/src/components/CalendarView.tsx:204` 是**裸字面量**， +没有任何判据引用它 ⇒ 当时写"与 WebUI 一致"是把**当下的巧合**当契约。 +处理：先标"待两边对齐"，再让两边各自钉住数值本身。 diff --git a/docs/HARMONY-ALIGN-PLAN.md b/docs/HARMONY-ALIGN-PLAN.md index 383b8cd..57ae129 100644 --- a/docs/HARMONY-ALIGN-PLAN.md +++ b/docs/HARMONY-ALIGN-PLAN.md @@ -80,8 +80,32 @@ WebUI 侧踩过这个坑，见 `gateway/handler/permission.go` 的 Note 传递 取代系统 TabBar。**注意**：视觉验收需要设备或签名 HAP， 本机 `hdc list targets` 为空 ⇒ 只能保证编译与结构，观感要人眼确认。 -**P6 日历**：网格 + 事件读写 + 左右滑动翻页（复用 WebUI 的手势阈值： -水平 ≥40px、≥1.5× 垂直、<600ms）。这一块最大，单独排。 +**P6 日历**：网格 + 事件读写 + 左右滑动翻页。这一块最大，单独排。 + +**现状（2026-09-14 核实）**：鸿蒙侧**还没有日历页** —— 全 `ets` 树里没有任何文件提到 calendar。 +所以 P6 是**整页新建**，不是"修形状"；`narrow-layout` 那套口径是用来定"新建时别犯同一个错"的。 + +**分支声明（pi 2026-09-14 要求先声明，否则会重现上一轮的失败）**： +本步实现的是**窄屏那条规则** —— **容器自身带圆角 + 那一层能裁剪**（`clip(true)`）。 +宽屏那条（`.cal-panes > :first-child/:last-child` **起始侧/结束侧分开给**）**不适用**： +它的理由是"两块面板中间是**分隔线**，四角全给会在分隔线两边露底色"， +而手机是单栏、**中间没有分隔线** ⇒ 照抄会做出"既非窄屏也非宽屏"的形状。 +**一句话："给对边"是跟着"中间有没有分隔线"来的，不是无条件的三件套。** +（若将来做平板/横屏两栏，那时再引入宽屏那条，并在判据里区分两种形态。） + +**每一步"能不能在本工作区验收"（pi 要求逐条标注，避免交付时那句话变成"已记录未验"）**： + +| 步骤 | 内容 | 本工作区可验收？ | +| --- | --- | --- | +| 第 1 步 | 页面/网格结构（哪些层存在、谁有底色） | ✅ 可验收（读 `.ets` 的层结构与类名联接） | +| 第 2 步 | **圆角 + 能裁剪 + 给对边** | ✅ **可验收，且不需要设备** —— 只读 `.ets` 的层结构。**不许登记成 `static` 欠账**（那会虚增余额，而它本来就能判） | +| 第 3 步 | 交互：点某天/翻页/滑动阈值/ics | ⚠️ **必然进 `static` 欠账**（要设备：能装、能点）。到期前提见套件的探针表 | + +**手势阈值（pi §2：先证明那个值在 WebUI 侧被钉着，否则"一致"只是当下的巧合）**： +核实结果 —— **WebUI 侧没有被钉**：`client/electron/src/components/CalendarView.tsx:204` +是裸字面量 `Math.abs(dx) < 40 || Math.abs(dx) < Math.abs(dy) * 1.5 || !fast`（`fast` = `<600ms`）， +没有任何判据引用这三个数。所以本步**不写"与 WebUI 一致"**：先取鸿蒙侧已合入的值， +并在本节标 **「待两边对齐」**；要让"一致"成为契约，得先在**两边各自钉住数值本身**（下一步做）。 ## 四、验收纪律（照 WebUI 那套） @@ -176,7 +200,7 @@ WebUI 侧 `npm test` 在 **HEAD 上就是红的**（`test/background.test.mjs` | P3 ⚠️ 主体完成 | 授权页：`GET /permission/pending` + `POST /permission/decide` | 未决口径与 WebUI 一致（无 `permission_result`）✅；拒绝可填备注且备注送出 ✅；`expired` 当场说清"这次批准不会恢复原调用" ✅。**未验**：真机上点同意/拒绝后状态是否"立刻变"（判据只钉到"决策后重新拉列表"这一层） | | P4 ✅（P4c 上传除外） | 主题/壁纸（`/me/appearance`） | 换账号外观跟随 ✅（缓存键带账号）；服务端无记录时以本地为准 ✅（§7.16）；**预设 6 档都能画出来** ✅、图片壁纸渲染 ✅（§7.17 —— 这一版补的，第一版只有数据没有画面）。**未做**：P4c 上传入口。**未验**：真机观感（配色/对比） | | P5 ✅ 主体完成 | 悬浮玻璃导航（取代系统 TabBar） | **已换**：自绘浮动玻璃条 `NavBar`（留白 + 胶囊圆角 + 系统材质），内容按 `currentIndex` 挂载；命中区 ≥44vp（数值在 `NavItems.ts`，判据直接 import）；内容底部让出 76vp（不让位则最后一行压在条底下：看得见、点不到）—— §7.21。判据 6 条全绿、4 种变异都能红。**未验**：玻璃条在真机上的观感（材质浓度/圆角/阴影）、深色主题下的表现、字形图标渲染 —— **原因是环境硬约束**（模拟器要写工作区外 + 审批无人可送 + 许可协议不接受代签），见 §7.21 末节的「视觉验收的实测阻塞」 | -| P6 ⬜ 未做 | 日历（`/calendar/events`，含 ics 导入导出） | 手势阈值与 WebUI 一致（水平 ≥40px、≥1.5× 垂直、<600ms）。**有意排序**：入口与内容一起上，不留空页签（§7.15） | +| P6 ⬜ 未做 | 日历（`/calendar/events`，含 ics 导入导出） | 手势阈值**待两边对齐**（水平 ≥40px、≥1.5× 垂直、<600ms 目前只在鸿蒙侧与 WebUI 源码里各写一份，**WebUI 侧没有被判据钉住** ⇒ 现在写"一致"是把巧合当契约）。**有意排序**：入口与内容一起上，不留空页签（§7.15） | **视觉/交互怎么验**：本机有 `harmony-emu`（实例 `HarmonyPhone`，hdc 在 `/opt/harmonyos/ohos-sdk/linux/toolchains`），能起来就能截图 + 真点， diff --git a/server/internal/repo/readstate_test.go b/server/internal/repo/readstate_test.go index c556027..d33c022 100644 --- a/server/internal/repo/readstate_test.go +++ b/server/internal/repo/readstate_test.go @@ -240,3 +240,33 @@ func TestDecisionMailCarriesTypeAndNote(t *testing.T) { t.Fatalf("决策邮件正文必须带备注，实际：%q", body) } } + +// ★ 空读者必须报错，不许兜底成某个读者（pi 2026-09-14）。 +// +// 这条约定原先只活在注释里：HTTP 层取 `user.Username`（不是请求参数），所以线上不会传空， +// 但 repo 函数本身接受空串 —— 将来新调用方传 `""` 就会写一行 `reader_name=”` 的垃圾： +// 它不属于任何人，却会让"未读"统计出偏差，而且没有任何东西会红。 +// 判据要点：不仅"不许插垃圾行"，而且**必须返回错误**（静默忽略同样是一种兜底）。 +func TestMarkMailReadRejectsEmptyReader(t *testing.T) { + setupTestDB(t) + ctx := context.Background() + id := seedMailTo(t, "alice", "") + + for _, empty := range []string{"", " "} { + if err := MarkMailRead(ctx, id, empty); err == nil { + t.Fatalf("空 reader（%q）必须报错 —— 否则会静默写入不属于任何人的已读行", empty) + } + } + var n int + if err := db.DB.QueryRowContext(ctx, + `SELECT COUNT(*) FROM mail_reads WHERE mail_id = $1`, id).Scan(&n); err != nil { + t.Fatalf("查 mail_reads: %v", err) + } + if n != 0 { + t.Fatalf("空 reader 不该写入任何 mail_reads 行，实际写了 %d 行", n) + } + // 正例：正常读者仍然能标记（别把守卫写成"一律拒绝"） + if err := MarkMailRead(ctx, id, "alice"); err != nil { + t.Fatalf("正常读者不该被守卫拦下：%v", err) + } +} diff --git a/server/internal/repo/repo.go b/server/internal/repo/repo.go index 08e7909..a0e6950 100644 --- a/server/internal/repo/repo.go +++ b/server/internal/repo/repo.go @@ -493,6 +493,18 @@ func markReadFor(ctx context.Context, reader string, where string, args ...any) // MarkMailRead 记下**这个读者**读过这封邮件（人类端点）。 func MarkMailRead(ctx context.Context, id uuid.UUID, reader string) error { + /* + * 空读者**直接报错**，不兜底成某个读者（pi 2026-09-14 提的"把约定变成做错会红"）。 + * + * 这条约定（"已读是**按读者**记的"）原先只靠注释和调用方的自觉：HTTP 那一层取的是 + * `user.Username`（不是请求体里的参数），所以线上不会传空 —— 但**函数本身**接受空串， + * 于是将来任何一个新调用方传 `""`，就会写入一行 `reader_name=''` 的垃圾： + * 它不属于任何人，却会让"某人的未读"统计出偏差，而且**没有任何东西会红**。 + * 按读者记账的东西，"读者是谁"是必填语义，不是可选项。 + */ + if strings.TrimSpace(reader) == "" { + return fmt.Errorf("MarkMailRead: reader 不能为空（已读按读者记录，reader 是必填语义）") + } if _, err := db.DB.ExecContext(ctx, `INSERT INTO mail_reads (mail_id, reader_name) SELECT $1, $2