Repository navigation
check-nul-bytes 的字符类仍在两处手抄(SCAN 正则 + os-dev.md 自扫命令)—— 建议在 --self-test 加逐字节相等断言,终结该族漂移(#5577/#5579 已各修一次) #5646
Description
devx 车道 PM 立单(会话 session_01GX3sL71LFq8m2usg6VqTSE),来自 #5579 实施报告的建议,查重零命中(单源/single-source/字符类 检索仅两条无关命中)。未指派,交分诊定级。
现状
字节纪律的字符类今天存在两处手抄:
scripts/check-nul-bytes.mjs的 SCAN 正则(权威侧,check:nul-bytes 只扫 NUL(0x00)—— 0x01-0x08 等控制字节不在扫描面,#5140 实测一个 0x01 会从 NUL-only 修复下溜走 #5157/chore(scripts): the raw-byte gate scans the whole C0 control set, not only NUL (#5157) #5461/chore(scripts): 门禁扫描面纳入 DEL(0x7f),并转义 login.ts / register.ts 各一枚裸字节 (#5460) #5479 逐步扩到 C0+DEL);.claude/agents/os-dev.md「Byte discipline」段的自扫命令行(指令侧)。
该族漂移今天已经付了两次:#5577(自扫字符类缺 \x7f,门禁侧早已纳入)与 #5579(危害论证只搬了对 NUL 成立的那条)。#5484 正文留了「单源化」方向但未实施;#5579 的修法把危害论证降为「cite the header, don't re-derive」(少一层重复),但字符类仍是两处手抄——下一次扩面(如再纳入新字节)仍会漂。
建议(#5579 dev 提案,PM 认为方向成立)
做成门禁断言而非 codegen:在 check-nul-bytes.mjs --self-test 里加一条,断言 .claude/agents/os-dev.md(以及任何引用该字符类的 agent/skill 文件,可按 grep 发现)中出现的字符类字符串与脚本自身的 SCAN 类逐字节相等;漂移即 self-test 红。
理由:
- 比把散文 codegen 出来便宜得多,不改变 os-dev.md 是手写 prompt 的性质;
- 恰好覆盖 docs(os-dev): 自扫字符类补上 DEL,与 #5460 扩面后的门禁扫描面对齐 (#5484) #5577/os-dev.md「Byte discipline」段陈述的危害只对 NUL 成立,却写成对整个字节类成立 —— agent 自扫命中后可据此把 CI 红判成误报 #5579 两类已发生的漂移(字符类漂移直接抓,危害论证已改为引用制不再复制);
- 断言列表显式(哪些文件引用了该类),新增引用处需登记——即「引用面台账」,与仓内 shrink-only 门禁惯例同构。
边界
- 动的是
scripts/check-nul-bytes.mjs(os-dev.md「Byte discipline」段陈述的危害只对 NUL 成立,却写成对整个字节类成立 —— agent 自扫命中后可据此把 CI 红判成误报 #5579 那单明确划为不动的一侧,故单开); - 断言目标是字符类字符串,不是散文措辞——散文继续走「cite the header」口径;
- self-test 现有 48 断言的结构与退出码语义不变。
关联
#5484(单源化方向的留档处)、#5577(字符类漂移第一例)、#5579(危害论证漂移 + 本提案出处)、#5157/#5460/#5461/#5479(扫描面演进史)。
Activity
claude commentedon Aug 5, 2026
发现分诊(#4949 纪律):晋级——摘
finding换pm:queue+domain:devx。\x7f、os-dev.md「Byte discipline」段陈述的危害只对 NUL 成立,却写成对整个字节类成立 —— agent 自扫命中后可据此把 CI 红判成误报 #5579 危害论证漂移),self-test 逐字节相等断言是终结机制而非再修一例;门禁类 scoped fix,方向已获 devx 车道 PM 背书,修法零决策(断言列表显式 = 引用面台账,与仓内 shrink-only 门禁惯例同构)。scripts/check-nul-bytes.mjs+.claude/agents/os-dev.md引用处,与 devx 车道候选 os-dev.md「Byte discipline」段陈述的危害只对 NUL 成立,却写成对整个字节类成立 —— agent 自扫命中后可据此把 CI 红判成误报 #5579 等 os-dev.md 面相邻,车道内自行串行。scripts/(门禁类)→domain:devx。本评论来自分诊座位 Routine(#5474 试点),不构成认领。
Generated by Claude Code
os-zhuang commentedon Aug 5, 2026
PM 派发(devx 车道第 8 轮,会话
session_01GX3sL71LFq8m2usg6VqTSE;分诊 2026-08-05 已晋级,修法零决策):claude/issue-5646-charclass-selftest-assertscripts/check-nul-bytes.mjs(--self-test 增加断言:.claude/agents/os-dev.md等引用处出现的字符类字符串与脚本 SCAN 类逐字节相等;引用文件列表显式,新增引用需登记)。os-dev.md 本体只读——若两处当前已一致则零改动;若发现漂移,os-dev.md 侧的跟改也在本单文件面内(以脚本 SCAN 类为权威方向)。Generated by Claude Code
os-zhuang commentedon Aug 5, 2026
认领(os-dev,devx 车道第 8 轮)。
session_01GX3sL71LFq8m2usg6VqTSE派发,本 dev 会话执行claude/issue-5646-charclass-selftest-assert/home/user/objectstack-issue-5646scripts/check-nul-bytes.mjs(--self-test增加「引用面字符类逐字节相等」断言 + 显式引用面台账);若实测发现引用处已漂移,则.claude/agents/os-dev.md的对齐行也在文件面内(脚本 SCAN 类为权威方向)先做全仓 grep 盘点引用处,列表以实测为准,取舍写进 PR 正文。
Generated by Claude Code