From f38fa2bcb5d939475d92e692ba030d7707785417 Mon Sep 17 00:00:00 2001 From: argszero Date: Mon, 12 Oct 2026 19:57:39 +0800 Subject: [PATCH] docs(state_gate): drop the stale count from the r168_block comment The comment on `r168_block` says the end delimiter (`\n });\n`) "appears many times in the whole file (51 times)". 51 was the count in `ui/js/app.js` when the line was written (66c723d, PR #286) -- `66c723d^` and `66c723d` both measure 51 -- but the file has grown two module-level callbacks since (c701584 #334, e8a6e46 #321), so it is 53 today. Nothing owns this number: no constant or gate asserts it, and the positive control asserts a different property. A count that no carrier maintains is a snapshot, so it is deleted rather than refreshed -- the assertion (the delimiter is not required to be unique in the file, take the first one after the opening) is unchanged. --- src/state_gate.rs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/state_gate.rs b/src/state_gate.rs index ee753ce..722aa66 100644 --- a/src/state_gate.rs +++ b/src/state_gate.rs @@ -4845,7 +4845,7 @@ impl R168Reading { /// 全局 keydown 块的**代码行**（已剥注释行）。 /// /// 块的**开头**必须全文件唯一（元素级的 `…addEventListener("keydown", …)` 都不带 `document.`）。 -/// 收尾定界（模块缩进两格的回调结束 + `);`）在整份文件里出现很多次（51 次），所以**不**要求它全局 +/// 收尾定界（模块缩进两格的回调结束 + `);`）在整份文件里出现很多次，所以**不**要求它全局 /// 唯一 —— 取开头之后的**第一处**即为本处理器的收尾：块内每一行都比它缩进更深，不可能提前命中。 /// 开头不唯一（或找不到收尾）时返回 `None`（由规则把它变成响亮失败，而不是在空串上「通过」：坑 68）。 fn r168_block(app: &str) -> Option {