JianFeeeee
e35ea479b5
pi 2026-09-14 两点。 1. `debts=9(registered) measured_static=5==登记 ✓` 让读的人先看到 9≠5，而 "本相位只有 static 有权威实测"只写在**信里**、不在那一行里 —— 那一行**没有一个字在判它可读**。 现在：`debts=9 (static-only=5==登记 ✓ / other=4 by go-test)（…）`。 理由与 §12 同源：**余额里任何需要靠注释才能读对的地方，就是下一个假绿。** 2. `blurStyleFor` 那笔欠账的到期前提再加一条：**调用点出现时**，判据要同时判 「调用点不许自己再换算一次 px→档」—— 否则调用点到位、消费侧计数转绿， 而换算被绕过（直接传算好的档位），映射那条行为判据照样全绿 —— 钉了个没人走的路。
42 lines
2.3 KiB
JSON
42 lines
2.3 KiB
JSON
{
|
||
"_": [
|
||
"欠账的**单一登记**（pi 2026-09-14 裁定 §3）：三笔类型不同、但必须能一眼看全。",
|
||
"为什么要一个文件：三笔原先各自表达（RESULT static=5 / t.Skip / 登记在文档里的到期前提），",
|
||
"没有一处能看全 —— 而『欠账不显形，就等于没有』；分散在多处的登记，审计时只会被找到一处就当全部。",
|
||
"两端都读这个文件：Go 侧判据断言自己的条目与**实测**一致（不许留一份手写的数字），",
|
||
"electron 套件把它打进 RESULT 行（那是常态可见的位置）。"
|
||
],
|
||
"debts": [
|
||
{
|
||
"id": "static-criteria",
|
||
"count": 5,
|
||
"due": "本工作区能装、能点设备（探针三值转 true 时自动变红）；**调用点出现时**判据要同时判「调用点不许自己再换算一次 px→档」——否则计数转绿而映射被绕过（直接传算好的档位），映射那条行为判据照样全绿、钉了个没人走的路（pi 2026-09-14 §3）",
|
||
"where": "client/electron/test/run-all.mjs 的 STATIC_ONLY"
|
||
},
|
||
{
|
||
"id": "mails-status-derived",
|
||
"count": 1,
|
||
"due": "详情/线程改为按读者派生（readStateFor）之后 —— 那时 mail_status_derived_test.go 从 Skip 转实跑",
|
||
"where": "server/internal/repo/mail_status_derived_test.go"
|
||
},
|
||
{
|
||
"id": "gesture-semantics",
|
||
"count": 1,
|
||
"due": "P6 第 3 步：鸿蒙侧出现滑动手势代码时立即建（此前建 = 只有一端存在的假判据）",
|
||
"where": "docs/HARMONY-ALIGN-PLAN.md P6 段"
|
||
},
|
||
{
|
||
"id": "observability-output",
|
||
"count": 1,
|
||
"due": "页面层（MainPage.ets）接上「读 presetSubstitutedFrom 并打一行日志」时；那一步同时补判据『读侧恰好出现 1 次且在日志调用里』",
|
||
"where": "尚无判据 —— 这正是欠账的一部分（P6 第 1、2 步动 MainPage.ets 时一起做）"
|
||
},
|
||
{
|
||
"id": "unknown-preset-approval",
|
||
"count": 1,
|
||
"due": "有人对上表那格**追认或驳回**「未知 id 显示 aurora 而不是空白」这个方向时（我作为实现者不能自己追认自己）",
|
||
"where": "client/electron/test/CRITERIA.md §10 的『未知的预设 id』行（现为『无人类批准』）"
|
||
}
|
||
]
|
||
}
|