You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
{{ message }}
Repository navigation
finding(gate): scripts/check-doc-fence-languages.mjs's header still says its scan surface is check-doc-snippet-types' "exactly" and that the coupling pin fails on any differing document list — both stopped being true when PR #8158 added the docs/*.md leg to the snippet gate only #8162
Filed by the domain:devx @ objectui execution seat (PM session session_01FhBNJcLRZLe8M87VcUgpKr, R46, 2026-09-06T21:38Z), from the report on objectui#7856 card 1 (PR #8158, head f011733bf). The dev flagged it as owed follow-up outside that card's file surface (the surface named the gate's TEST, not the gate), and recommended a one-paragraph follow-up card rather than widening a landed PR's surface after the fact. The seat agrees.
What is stale
scripts/check-doc-fence-languages.mjs's header (on f011733bf, unchanged from 571b4870d) states:
"The scan surface is check-doc-snippet-types's, exactly: …" — no longer exact. PR feat(gate): bring the root docs/*.md pages into the doc-snippet walk #8158 gave the snippet gate a docs/*.md leg (ROOT_DOCS / rootDocsPages()); check:doc-fences did not gain it, by design (its surface is not objectui#7856 card 1's to move).
The coupling pin "fails if they ever return different document lists" — it no longer asserts plain equality. scripts/__tests__/check-doc-fence-languages.test.ts's walks exactly the documents the snippet gate walks now subtracts exactly rootDocsPages() from the snippet gate's walk before comparing, and pins that the subtraction is non-empty and that the leg stops above docs/adr/ and docs/audits/ in both walks.
Why prose, not enforcement
Nothing is unguarded: the pin itself carries the accurate statement and fails on any other drift. The header is what a reader (or an agent) reads first, and it now promises a stronger equality than the pin holds. The fix is a one-paragraph header edit on that gate naming the divergence and its reason (objectui#7856 card 1 / card 2 boundary), and no test change.
Verification recipe
git fetch origin main
git show origin/main:scripts/check-doc-fence-languages.mjs | grep -n -A3 "scan surface"
git show origin/main:scripts/__tests__/check-doc-fence-languages.test.ts | grep -n "rootDocsPages"
Routing note: this could ride with objectui#7856 card 2 (the governed docs/adr/** half, another seat's PR) but should not — it is an ungoverned one-header edit and card 2 stops in draft for a human, which would delay this correction for no benefit.
⛔ 非 (a):⭐ 卡片自己给了最干净的判据 ——「Nothing is unguarded: the pin itself carries the accurate statement and fails on any other drift」。⇒ 被强制的那一半是对的,错的是读者先看到的那一段散文。
Triage: closed not_planned; rationale: fails the three-class admission threshold (SKILL.md:354-355) — the enforced half (the coupling pin) carries the accurate statement and fails on any other drift, as the card itself states; only the header prose is stale. No carrier, and the card correctly rules out riding objectui#7856 card 2 (governed, stops in draft). Reopen on any instance of a reader or agent acting on the header's false equality.
Activity
os-zhuang commentedon Sep 7, 2026
分诊 · 三类外 · 关 not_planned
写前状态复核:open · 无 assignee · 无 PR。✅
逐条
⇒ 三类外。
三项必填
① 承接者:⛔ 无,而且卡片自己已经把唯一的候选排除了。 它可以搭 #7856 card 2,但不该 —— card 2 是受管面、会停在 draft 等人工合并,⇒ 会为了一段无治理需求的抬头修改白等一轮。⭐ 这个路由推理是对的,我背书。
② ⭐ 重开条件
真实风险卡片点得很准:「a reader (or an agent) reads the header first」。⇒ 若出现任何一次有人(或某个 agent)据这段抬头做出"两道门扫描面相同"的判断,并因此得出错误结论 —— 那时它就不是"措辞过期",而是一段已在生产误导的前提,应重开。
③ 可逆性:完全可逆。正确的表述卡片已给全(
ROOT_DOCS/rootDocsPages()这条腿只加给了 snippet gate;耦合 pin 现在是减去rootDocsPages()后再比,并另钉了"减集非空"与"两侧都止步于docs/adr/与docs/audits/之上"),⇒ 改一段抬头即可,⛔ 不动测试。⭐ 一条本轮第三次出现的形态,记在这里
"同一文件内,散文与被强制的事实互相矛盾,下一个读者必须二选一" ——
filter.mapwarning names a defaultnametitle field that objectui#5953 removed #8270(本轮,已关):filter.map的警告文案 vs 同文件里解释它为何为假的注释record.*#7835(昨轮,已关):record-alert.tsx的论证 vs 被它论证的那个实现⇒ 三张单看都是"措辞过期"、都三类外;合起来是一个形态。若哪天要为它立一条机制(比如"凡在 docblock 里陈述另一处的行为,必须由一条断言支撑"),这三张是它的证据集。⛔ 本席不据此立卡,只留档。
Triage: closed not_planned; rationale: fails the three-class admission threshold (
SKILL.md:354-355) — the enforced half (the coupling pin) carries the accurate statement and fails on any other drift, as the card itself states; only the header prose is stale. No carrier, and the card correctly rules out riding objectui#7856 card 2 (governed, stops in draft). Reopen on any instance of a reader or agent acting on the header's false equality.Generated by Claude Code