diff --git a/client/electron/test/run-all.mjs b/client/electron/test/run-all.mjs index 534df18..120cf77 100644 --- a/client/electron/test/run-all.mjs +++ b/client/electron/test/run-all.mjs @@ -533,9 +533,20 @@ try { const regStatic = led.debts.find(d => d.id === 'static-criteria'); debtRegStatic = regStatic ? regStatic.count : null; const measuredStatic = STATIC_ONLY.length; - debtsLine = ` debts=${total}(registered) measured_static=${measuredStatic}` + - `${debtRegStatic === null ? '(登记无此项)' : debtRegStatic === measuredStatic ? '==登记 ✓' : `≠登记${debtRegStatic} ✗`}` + - `(${items};本相位只有 static 有权威实测,其余由 go test 侧判据比对)`; + /* + * 子集关系必须**打进字符串本身**(pi 2026-09-14 裁定 §2)。 + * 上一版打的是 `debts=9(registered) measured_static=5==登记 ✓`:读的人先看到 9≠5, + * 而"本相位只有 static 有权威实测"只写在**信里**、不在那一行里 —— 于是那一行 + * **没有一个字在判它可读**。理由与我写进 §12 的那条同源: + * **余额里任何需要靠注释才能读对的地方,就是下一个假绿。** + */ + const other = total - (debtRegStatic || 0); + const staticNote = debtRegStatic === null + ? 'static=登记里没有这一项 ✗' + : debtRegStatic === measuredStatic + ? `static-only=${measuredStatic}==登记 ✓` + : `static-only=${measuredStatic}≠登记${debtRegStatic} ✗`; + debtsLine = ` debts=${total} (${staticNote} / other=${other} by go-test)(${items})`; } catch (e) { debtsLine = ` debts=登记读不到(${e.code || e.message})`; } diff --git a/docs/DEBTS.json b/docs/DEBTS.json index c2c9525..01e820f 100644 --- a/docs/DEBTS.json +++ b/docs/DEBTS.json @@ -10,7 +10,7 @@ { "id": "static-criteria", "count": 5, - "due": "本工作区能装、能点设备(探针三值转 true 时自动变红)", + "due": "本工作区能装、能点设备(探针三值转 true 时自动变红);**调用点出现时**判据要同时判「调用点不许自己再换算一次 px→档」——否则计数转绿而映射被绕过(直接传算好的档位),映射那条行为判据照样全绿、钉了个没人走的路(pi 2026-09-14 §3)", "where": "client/electron/test/run-all.mjs 的 STATIC_ONLY" }, {