docs(plan): the design document, aligned with what shipped

`.agents/docs/2026-09-07-module-first-heterogeneous-surface.md` 已经变成一个标题下的
**四份文档**:第 1–12 节是写在早于发布的 base commit 上的设计,第 13 节是计划与实施
记录,第 14 节是现状登记。读到前面就停下的人会被误导,而这份文档正是别人理解这套设计
的入口。

十四处就地更正,分三类
----------------------

**被设计后撤回的语法。** `[rules]` 这张 manifest 表从未实现也不打算实现(该文 13.1.2
给了论证,`grep '"rules"' modules/manifest/src/toml.cppm` 为空),而 §5.2、§5.5、§6、
§8.D 仍在按它写。指向真正发布的形状:`options::module_name`、`options::surface`、
读 `MCPP_LANGUAGE_MODULES` 的 `default_surface()`。

**以不同形状发布的机制。** §4.1 提的是「给 embed 一个由图调起的宿主工具二进制」;
发布的是在 build.mcpp 里调用的库形态 —— 而它在 plan 期写 `.S`,正是 14.1 那条边存在
的原因。§4.3 写下了正确的要求,又加了「与 depfile 那一项共用同一个修法」,而那五个字
是错的:实测三条通道,只有 GNU as 报 `.incbin`,clang 的集成汇编器根本没有依赖输出。

**已关闭却仍列为 open 的条目。** §1 的三条里两条已发布;§3.5 还在断言那个字段不存在;
§7 的四条里三条已解决;§12 描述的 Slang 规则已经发布。

不删掉,因为一个论证被否决也是它记录的一部分,一个设计在接触现实时变的形,同样是。
状态只在一处陈述:「哪些规则传了 depfile」活在 §14.2,不在别处 —— 三份拷贝就是它变化
时要记得改的三处。

§14 是唯一的现状登记表
----------------------

14.1 与 14.2 标为 CLOSED 并保留分析(14.1 的两半是可迁移的:一条要求被写下然后丢失,
以及第一次测量问错了工具)。新增 14.7(§5.6 承诺、§8.C 说要在同一次改动里加、结果既
没做也没登记的 `--no-accel` 诊断)与 14.8(L0 的现状,以及它的代价为什么是引擎侧的)。
新增 13.2.1 记这一批的跨仓波次。

14.1 按最终形态重写:缺陷在已发布生态里的沙箱复现、它为什么不是新发现、问错工具那次
测量、以及为什么最后**不需要**新引擎通道 —— 成因是生成跑在错误的时刻,不是引擎表达
不了那条边。

Author: speak-agent