docs(agents): delete locale siblings when an English correction reverses a capability claim; record the type-check order

[objectstack-fleet]

Fixes #256

Suggested title: docs(agents): criterion A for locale siblings, the type-check order, and no stale coverage count

维护者速读(草稿)

改了什么

• AGENTS.md 翻译流程第 3 步加一条判据:英文修正如果删除或反转了一条能力断言(例如「计划中」改成「已发布」,或撤掉一条功能声明),同一个 PR 里删掉该页的各语言翻译。措辞漂移和数字漂移(端口号、时长)不算,照第 2 步留给翻译 pass。
• Commands 一节的 npm run type-check 改成现在真实的顺序 next typegen && fumadocs-mdx && tsc --noEmit,并用一句话说明为什么不能调换。
• 繁体中文一节删掉写死的覆盖数字。原文是「62 of 79」,两天里已变成 48,Docs code samples, family close-out: workflows, approvals, actions and cel pages show flow and view samples that @objectstack/spec 17.7.0 refuses; add a docs-sample parse gate so the family stays closed #316 删掉过期翻译后又少了;规则本身保留:有简体才有繁体,没有的页面显示英文、不进 sitemap。
• 只改 AGENTS.md 一个文件,三个提交,+5 / −5 行。

为什么改

• 第 1 条是 [Decision] An English docs correction leaves its locale siblings asserting the corrected-away claim — #59 says delete them, the seat post says leave them, and #68 blocks the pass that would fix them #256 裁决 A(你回复「同意」)的第二部分。第一部分 PR docs: delete the 14 locale siblings that still forecast federation as unshipped #290 已删掉 14 个过期翻译并上线;这里把判据写进规则,以后不再每个 PR 临时判断。
• 第 2 条来自 CI type-check can fail with TS2306 ".source/server.ts is not a module": next typegen exits while fumadocs-mdx's un-awaited regeneration is still writing .source #311:CI 偶发红,PR fix(docs): run the awaited fumadocs-mdx write after next typegen in type-check #313 已把 package.json 改成新顺序;AGENTS.md 需人工合并,所以这一行留到这里。文档现在还写着旧顺序,照着它改回去会把竞态带回来。
• 第 3 条:这个数字两天里变了两次(62 → 60 → 48),没有任何门禁会提醒它过期。去掉数字,它就不会再变成错的。
• 配套的非受管 PR docs(translation): delete siblings only when a correction reverses a capability claim #319 已把 docs/TRANSLATION.md 的同一条规则对齐到这条判据,已合并上线(dc8213d)。

风险与代价(含回滚)

• 只是说明文字,不改代码或页面,CI 没有门禁读这个文件。
• 判据会让以后符合条件的英文修正 PR 删除翻译。删除不可逆(要等 The ownership check is inert on main until TRANSLATION_BOT_LOGIN is set #68 的翻译账号才能重译),但读者看到的是正确的英文回退页。
• 回滚:revert 这个 PR 即可,没有连带。合并会关闭 [Decision] An English docs correction leaves its locale siblings asserting the corrected-away claim — #59 says delete them, the seat post says leave them, and #68 blocks the pass that would fix them #256。

席位意见

建议合并。三处都是说明文字,和已落地的事实一致:第 3 步的判据逐字来自 #256 裁决 A,且 #290、#310、#315、#320、#321 已按这条判据执行过;type-check 的顺序与 main 上 apps/docs/package.json 一致(#313);覆盖数字去掉后不会再过期。本 PR 只改 AGENTS.md 一个文件,+5/−5,基于 main @ 84e747a,补丁与暂存分支逐字节相同。

你要做的

• 读一下第 3 步的新句子,看判据的措辞是否就是你同意的意思;同意就合并。

What changed

Three commits, AGENTS.md only (+5 / −5).

1. fe36dbf, Translation workflow step 3. A second exception sits next to retiring or renaming a page: an English correction that removes or reverses a capability assertion deletes that page's locale siblings in the same PR. Wording drift and number drift (a port number, a timing) stay with the translation pass, as step 2 says. The sentence links the ruling on [Decision] An English docs correction leaves its locale siblings asserting the corrected-away claim — #59 says delete them, the seat post says leave them, and #68 blocks the pass that would fix them #256 (comment 5989567068, letter A). Step 3's existing reasoning, that a translation of a page rewritten to assert something different is worse than none, is the justification. No new reasoning is added.
2. fdc30ca, Commands. The npm run type-check line now shows the order apps/docs/package.json runs on main @ 94ce848 (next typegen && fumadocs-mdx && tsc --noEmit), with one sentence on why the order matters (CI type-check can fail with TS2306 ".source/server.ts is not a module": next typegen exits while fumadocs-mdx's un-awaited regeneration is still writing .source #311).
   • This is a tighter rewrite of the staged line 4afa327. That line applied cleanly but ran to five sentences.
   • The mechanism was re-read from the installed fumadocs-mdx 15.0.7: in dist/next/index.js, createMDX() calls init(isDev, core) without awaiting it.
3. f49f796, Traditional Chinese section. "Coverage tracks Simplified exactly (62 of 79 pages today). The 17 without …" now reads "Coverage tracks Simplified exactly. A page without a Simplified sibling has no Traditional one either, so it is never advertised in the sitemap or an hreflang cluster — it simply renders English."
   • On 94ce848, git ls-files counts 79 English pages and 48 zh-Hans siblings.
   • The rule stays; only the count, which nothing keeps current, is removed.
   • The bullets on either side (retiring a page prunes its Traditional file; committed output, not on-the-fly conversion) read unchanged.

Why

• The ruling's execution has two items. Item 1 (PR docs: delete the 14 locale siblings that still forecast federation as unshipped #290) deleted the 14 stale siblings and has been published. This PR is item 2.
• The part-1 landing note also put the coverage figure on this card.
• PR fix(docs): run the awaited fumadocs-mdx write after next typegen in type-check #313 left AGENTS.md out because the file is governed. So the Commands line still shows the old order, and that order is the one that reintroduces the race.
• docs/TRANSLATION.md (rule 3 and § Retiring a page) is aligned with the same criterion in a separate, non-governed docs PR that lands before this one. That PR, docs(translation): delete siblings only when a correction reverses a capability claim #319, has landed (dc8213d). This one completes the card.

Checks

Measured on f49f796. git status was empty and the merge-base with origin/main is 94ce848.

• Ownership gate, with the workflow's argv (git diff --name-status --no-renames origin/main...HEAD gives one line, M AGENTS.md):
  • --actor "objectstack-fleet[bot]", variable unset as it is live: exit 0, ⚠ TRANSLATION_BOT_LOGIN is not set — ownership is not enforced yet. … This PR touches 0 translation artifact(s) and 1 other file(s).
  • The same, with TRANSLATION_BOT_LOGIN=placeholder-translator: exit 0, ✓ 1 file(s) changed, no translation artifacts touched.
  • Control, actor = the placeholder translation account: exit 1, ✗ translation PRs may only touch translation artifacts.
  • --self-test: exit 0, ✓ self-test: 21 case(s), …
• Governed predicate, objectstack scripts/pm/check-governed-merges.mjs --test AGENTS.md --additions 5 --deletions 5 (objectstack @ ba5927f7): exit 3, ⛔ GOVERNED — a human merge is the review record for this PR, landing tier: H(人合), size: 10 changed line(s) (+5 / -5) ≤ 5000.
• Control-byte scan, grep -naP '[\x00-\x08\x0b\x0c\x0e-\x1f\x7f]' over the diff and over AGENTS.md: grep exit 1 both times (no match). A positive control holding a DEL byte matched (exit 0).
• Order check: the type-check script read from apps/docs/package.json on origin/main appears verbatim as a code span in the new line (1 hit). The stale-count grep (62 of 79|17 without) on AGENTS.md returns no match.
• Not applicable, with reasons:
  • objectos .github/scripts has no governed-prose, skill-lint or line-ratchet gate, and none of its scripts reads AGENTS.md as input.
  • objectstack's check-governed-prose, check-skill-id-lint and check-skill-line-ratchet locate their files from their own repo root, so they cannot read this file.
  • No package changed, so no build or test is owed locally. CI's build job runs on this PR anyway.

Acceptance notes

• The gate admits criterion-A deletions once it is enforced. With TRANSLATION_BOT_LOGIN set, a synthetic list (M English page plus three D locale siblings) exits 0 with 3 translation artifact(s) deleted, none added or modified. The control with a locale M exits 1. The gate's header and failure text name only retire/rename as the reason to delete. That stays true, but it no longer covers every case; left alone, outside this PR's surface.
• Ownership & freshness will not run on this PR. Its paths filter does not include AGENTS.md, so the ownership result above is local only. CI (build, Node floor) has no path filter and runs.

Pushed head

86fd18c on claude/pm-dispatch-objectos-ju9td1, a fast-forward with no force. It starts at the remote branch head a8ce2ea (#321), merges origin/main @ 84e747a (after the merge the diff against main is empty), and cherry-picks fe36dbf, fdc30ca and f49f796. git diff origin/main 86fd18c is byte-identical to the staged branch's diff. Governed: the maintainer merges this PR; the seat does not.

---

Generated by Claude Code