跨端: 3 处判据基建修正(清册正则 / 变异锚点 / 计数棘轮)+ baseline 第 10 次重算

起因:`node run-all.mjs` 报 `verdict=red` 但四个计数全是 0 ——
红来自**到期闸**(`dueFailed`)与**计数棘轮**,不是断言失败。
逐个查清,三处都做成了真问题并留证。

## ① 跨文件手写色清册的正则从 `{6}` 放宽到 6 或 8 位

`glassCard` / `glassCardWall` 是 **8 位**(`#EBFFFFFF` / `#C7FFFFFF`,
半透明白是 WebUI `.glass-card` 的本质),而那条判据的正则只认 6 位 ⇒
它看不见这两个令牌,却报出「清册里的 glassCard 已不存在(清册过期)」——
**病因报错了**:不是清册过期,是正则比被判的东西窄。

改成 `{6}(?:[0-9A-Fa-f]{2})?`。★ 不能写 `{6,8}`:那会把 7 位这种非法长度也放进来。

同一形状在另两条判据上各出现一次(`B|旧机制不得回来` 与
`遮罩:交给系统的遮罩语义色`),它们原来**全仓**扫 `#……{8}` ⇒ 把这两个
**不是遮罩**的令牌一起撞红。都改成**同名枚举白名单**(不是放宽:
遮罩那个真实约束原样保留 —— `overlay` 写成 8 位单色照样红)。

## ② 变异锚点过期(守具有齿但没挂上)

`jobs/jobs-all.json` 里「写死色值 + 去卡片圆角」那条的锚点,
被 `6ca0113` 插进去的 `.attributeModifier(PressEffectModifier.of())` 隔断 ⇒
`hits=0`、`skipped=1`,而**没有任何东西变红**。

已把锚点补成当前代码形状,`ran` 从 51 回到 52、`skipped=0`。
★ 这是本仓那个老形状的又一次实例:**"清单没跟上代码"不会自己报警**,
得靠 `hits=0` 那条判据;它本次确实报出来了(`diag=mutant-anchor-stale`)。

## ③ 计数棘轮 6 → 7

给 `cross-client-logic` 新增了 `AddressSuggest` 一组(地址补全纯逻辑),
而套件只判**下界** ⇒ 不同步这个数字,将来**删掉**那一组不会有任何东西变红。
已显式改成 7,并写清"为什么必须手改"。

## ④ baseline 第 10 次重算(先证不是残留才重算)

`AdminUsersPage.ets` / `SettingsPage.ets` 哈希对不上,逐个取证:
- `sha256sum -c` → 这 2 个 FAILED(另 5 个 OK)
- `git diff --quiet HEAD` → **空**(与 HEAD 逐字节相同)⇒ 底本**过期**,不是残留
- `git log --oneline -3` → 最后一次动它们是 `f83c233`(我上一批的有意编辑)

★ 值得记一笔:漂移的是**上一轮**的文件,我这一轮完全没碰它们。
若只按"`git diff HEAD` 空就放行",这条**永远发现不了自己漏了一次重算** ——
这次是靠 `summary.py` 的 `baseline-stale` 主动报出来的。

## 结果

`files=34 ran=34 checks=543 pass=542 fail=0 skip=1 red=0 broken=0`
`mutants=52 ran=52 skipped=0 diag=none baseline=7/7✓`
(`verdict=red` 仅剩到期闸:5 条"只能静态"的判据,其到期前提"能装能点设备"
  现已成立,需要各自升级成行为判据 —— 已登记,不由这条提交关闭。)
This commit is contained in:
2026-09-21 14:32:38 +08:00
parent 125aec1191
commit 2fe023735e
3 changed files with 268 additions and 235 deletions

View File

@ -82,7 +82,19 @@ const SUITE = [
* 纯逻辑、无 SDK 依赖)。首轮就在表里报出两处真分叉:
* `formatAddress(undefined)` 抛 与 `monthGrid` 行数 4~6 vs 固定 6。
*/
['test/cross-client-logic.test.mjs', ['--experimental-strip-types', '--no-warnings'], 6],
/*
* ★★ 2026-09-21 **6 → 7**(显式编辑,不是自动跟涨)。
*
* 新增的一组是 `AddressSuggest`(三维地址补全的纯逻辑,22 个用例),
* 为 2in1 键盘能力服务 —— 详细理由见 `cross-client-logic.test.mjs` 里
* 那一对 `PAIRS` 条目的注释。
*
* ★ 为什么必须**手改**这个数字(这是本仓的一条纪律的现场):
* 套件只判**下界**("自报 ≥ 登记"),所以新加判据若不同步登记,
* 将来**删掉**那一组不会有任何东西变红 —— 新判据等于没被保护。
* 它就是靠这个数字把"新加的判据已经进保护圈"这件事说清楚的。
*/
['test/cross-client-logic.test.mjs', ['--experimental-strip-types', '--no-warnings'], 7],
// 预设的**行为**判据:每一档都真的画得出来(能真跑,不需要设备 ⇒ 不进 static 欠账)。
// 与 appearance-defaults 那条「清单 id/顺序相等」配对:值判据管清单,行为判据管渲染器。
['test/harmony-presets.test.mjs', ['--experimental-strip-types', '--no-warnings'], 6],