docs(plan): 文件头 —— 十四处更正分三类,而不是「两处语法」

Author: speak-agent

.agents/docs/2026-09-07-module-first-heterogeneous-surface.md

@@ -12,12 +12,20 @@ now:
 | 13 | The plan, and what carrying it out found | Historical record |
 | 14 | What is open after the release, and each one's fix | Current |
 
-Sections 1 to 12 were not rewritten as the work landed, and two of them
-described a syntax that was designed and then withdrawn. Rather than delete
-that -- an argument's rejection is part of its record -- every claim that no
-longer holds now carries a **Superseded** note naming what shipped instead and
-the section that says why. Section 14 is the only section to read for "what is
-open"; section 1's own "Still open" list is a snapshot and is annotated as one.
+Sections 1 to 12 were not rewritten as the work landed. Fourteen claims in them
+no longer hold, in three different ways: a syntax that was designed and
+withdrawn (`[rules]`, in 5.2, 5.5, 6 and 8.D), a mechanism that shipped in a
+different shape from the one argued for (4.1's host-tool binary), and items
+listed as open that have since closed (1, 3.5, 7, 12). Rather than delete
+them -- an argument's rejection is part of its record, and so is the shape a
+design took on contact -- each carries an in-place note naming what shipped
+instead and the section that says why.
+
+Section 14 is the only section to read for "what is open"; section 1's own
+"Still open" list is a snapshot and is annotated as one. Where a status is
+stated, it is stated ONCE: "which rules pass a depfile" lives in 14.2 and
+nowhere else, because three copies of it were three places to forget when it
+changed.
 
 mcpp 2026.9.7.1 and `mcpp:plugins` 0.3.0 are the releases this document's
 sections 13 and 14 are written against, plus mcpp 2026.9.8.1 for 14.1.