docs(debt): 登记 recount-labels-must-match-predicates —— 本轮的标签漏限定符是"已写下的口径自身不完整"

Browse Source

为什么单独立一条（而不是并进刚修的那个提交）:
· 我刚修的只是**那两个标签**（实例），没有任何判据保证"标签与它数的谓词一致"（形状）
· 这个脚本存在的全部理由就是"把口径写下来"（文件头「口径声明」节），
  而它最显眼的两行标签没写全限定符 ⇒ 读的人拿去对账必然对不上，且已实际发生一轮
  （09-25 我报的 loose 459 与 09-26 脚本打的 bound 459 是同一个数字、不同集合）

可判形状（到期时建）:
① 每个读数变量在**定义处**与**标签处**的谓词一致 —— 把"标签字面"当查询跑一遍比对
   （本轮就是这么抓到的，比读代码可靠）
② 两个口径并存时**两个数都要打** —— 只打一个时读者判不出手里那个是哪个口径

due = 下一次往 recount 扩充读数/口径时（防复发，不是修当下 bug —— 当下两处已修）
余额 27→28（26 条）；go test ./internal/repo/ -run Debt ⇒ ok

...

This commit is contained in:

JianFeeeee

2026-09-26 03:44:35 +08:00

parent 2a9be0e706

commit a90f664962

1 changed files with 8 additions and 0 deletions

Show all changes Ignore whitespace when comparing lines Ignore changes in amount of whitespace Ignore changes in whitespace at EOL

Download Patch File Download Diff File Expand all files Collapse all files

8

docs/DEBTS.json

File diff suppressed because one or more lines are too long