JianFeeeee
38b0e07415
pi 邮件 `9fed4386`：`harmony-push` 实报 13 / 清单登记 12 —— 因为 `ran < expected` 只判**下界**，
所以多出来的第 13 条**不在"被删会红"的保护内**（删掉它不会有任何东西变红，保护只覆盖前缀）。
两处改：
1. `harmony-push` 登记 12 → **13**；
2. 计数契约改成**相等**，并把两个方向的成因与处置分开写：
· `ran < expected`：判据被删/被跳过/check() 被改坏…… 确认该减少条数时改清单数字；
· `ran > expected`：新加的判据不在保护内 —— 请把清单数字改成实际条数，
这样"被删会红"才真正覆盖全部判据，而不是只覆盖登记过的那部分。