docs: 把一次推送代理复盘的坑落进书里（新建 3 条 + 补例 11 处）

[XuebinMa]

把一次真实的推送代理（push broker）复盘里踩到的坑梳理一遍，按「根因相同就合并、根因独有才新开」的规矩落进书里。

新建 3 条

每条都有独立于本项目的外部硬证据，不是一面之词。

条目	一句话	外部证据
05/shelling-out-inherits-config 外部命令的配置面	我 shell out 调 git 时只审传进去的参数，没审那个进程自己会读的配置、钩子、hooksPath	GHSA-9ccr-r5hg-74gf（GitHub Copilot CLI，CVE-2026-45033，core.fsmonitor，修于 1.0.43）＋ git 2.45.1 那五个 CVE 里的三个
07/documented-limits-not-defenses 文档不是防护	把限制写清楚 ≠ 守住限制；我发明的自查命令测的是我自己的心智模型	NIST SP 800-53A（控制清单与控制评估是两份文件）、Group-IB security theater、Attomus 威胁建模
04/preview-and-execution-diverge 预览与执行不同源	remote get-url 读 url、git push 用 pushurl，同一个 origin 解析出两个地址，签过名的收据说了假话	Checkmarx「Lies-in-the-Loop」（2025-09-15，同一个缝隙被当武器用）、CWE-367

最有分量的一条外部证据：一个真实的编码 agent（Copilot CLI）栽在了第一条上，而它的修法（用 GIT_CONFIG_COUNT 钉住 safe.bareRepository=explicit）正是条目里给出的做法。

三条都已挂进 docs/mechanisms.mdx（工具与权限外溢 / 目标函数错位 / 局部视野不足），中英镜像齐。

补例 11 处（不新开条目）

根因已被现有条目覆盖的，一律补进去，只给具体例子和判据：

• 06/happy-path-only — 外部权威语料 8/8 满分，只因那八行零行触及那条分支；补到 17 行后 9/17，八条失败全是理由名不符契约
• 06/tests-as-verification-loop — 测试和修复出现在同一次提交里，等于你从没见过红
• 06/trust-then-verify — 我用来宣布「编译通过」的命令，覆盖面比我的改动小（不编译测试代码、不编译特性开关后面的分支）
• 00/subagent-no-boundaries — 共享的不只是文件，是 HEAD 和 index
• 03/premature-abstraction — 一次「消除重复」的重构：1043 → 1050，抽象让它更长了；判据是报行数
• 01/confidently-wrong-explanations — 危险的错误是「真于生态、假于本仓」那种，而且会洗进笔记自我传播
• 05/comment-doc-drift — 按性质切 PR 时，模块级文档不属于任何一片，于是没有 owner
• 00/hooks-not-prompts — 子串匹配的 hook 两头都不准；hook 读到的是命令执行前的快照
• 00/destructive-irreversible-actions — 删上游分支后下游 PR 不能重开也不能改基线；标签与注册表写入只能往前
• 07/cicd-permission-blindspot — 自动合并只等 required 的检查，而 required 可能是空集；证明发布路径的是 provenance，不是绿灯
• 07/log-injection-audit-integrity — 给人「照抄就能跑」的命令也是输出面，而且正是把它改得更好用的那次改动让注入变成一步到位

顺手修一个既有 bug

docs/intro.md 中英两版还写着「全书 66 条」（实际 82），而 scripts/check-counts.js 没登记这两处，所以闸门一直报「通过」。

这正是本 PR 新写的那句「两个只查自己想到的东西的检查会互相遮住」的现成例子。已修正，并把这两处补进 CLAIMS（现在查 7 处）。

明确不入书的 9 条

macOS bash 3.2 heredoc 撇号、SSRF 无放行开关、spike 分支被外部规范引用不可删、外部 PR 撞 sec 编号、crates.io API 不带 User-Agent 静默返回空、PyPI 名字折叠、macos-13 runner 退役、npm 令牌类型、某个用例在 macOS 本地挂死。

理由：特定仓库或特定环境的运维知识，不是「用 AI 编码的通用误区」，进书会稀释密度且很快过时。

测试计划

本地已跑通：

• npm run check:counts — 7 处手写计数全部与实际（82）一致
• npm run check:mirror — 157 对中英配对完整
• npm run check:mirror-deep — ## 数 / admonition 序列 / 内链目标集 结构对等
• npx cspell — 0 issue（.cspell.json 新增 14 个技术词）
• npm run build — 两 locale 两实例构建通过，含 onBrokenLinks: throw 死链校验
• vale / autocorrect — 本机未安装，靠本 PR 的 CI 判定。已按 styles/AIWiki/Cliches.yml 的词表逐条 grep 自查，套话零命中，但那是手工核对，不等于闸门通过

按 CLAUDE.md，新增条目类改动合并前需先确认——CI 绿了也先不自行合并。

🤖 Generated with Claude Code