docs(plan): §7 §11 §12 —— 最后三节没标注的地方,以及 .incbin 报告差异是一条跨平台约束

Author: speak-agent

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

@@ -569,6 +569,9 @@ module is a 2 KB BMI, and the link collects both.
 
 ## 7. What remains open, and where each lands
 
+**As of the base commits.** Three of the four have since been resolved and each
+says so below; section 14 is the register of what is open today.
+
 1. **No dependency tracking for included device sources.** `mcpp::action` has no
    depfile field, so `rules/spirv.cppm` declares only the `.comp` and
    `rules/cuda.cppm` only the `.cu`. Editing a `.glsl` or a `.cuh` rebuilds
@@ -577,6 +580,12 @@ module is a 2 KB BMI, and the link collects both.
    rather than a failure, and the `.incbin` dependency in 4.3 needs the same
    field.
 
+   **Resolved, and the last sentence was wrong.** `mcpp::action::depfile`
+   shipped in mcpp 2026.9.7.1 and all six rules pass one from `mcpp:plugins`
+   0.3.1, each spelling measured against the tool rather than read from its
+   help text. The `.incbin` dependency does NOT need the same field -- no
+   assembler channel reaches it portably -- which is 14.1.
+
 2. **`glslc` cannot be selected by declaration.** `find_compiler` consults
    `xpkg_dir("glslang")` before `xpkg_dir("shaderc")`, and the rule declares
    glslang unconditionally, so glslang wins in every build that works. The
@@ -588,6 +597,11 @@ module is a 2 KB BMI, and the link collects both.
 3. **The stem refusal becomes narrower once 5.3 lands.** It should stay for a
    genuine within-directory collision and stop firing for two directories.
 
+   **Resolved in `mcpp:plugins` 0.3.0.** `tests/spirv-module-consumer` carries
+   `shaders/a/scale.comp` and `shaders/b/scale.comp` and builds, which is the
+   fixture that says so; the refusal remains for a collision within one
+   directory.
+
 4. **Slang.** `slangc` should become `mcpp.rules.slang` rather than a third
    flavour of `rules.spirv`: glslang and glslc are two drivers for one language
    compiling the same `.comp`, whereas Slang is a different language with a
@@ -598,6 +612,11 @@ module is a 2 KB BMI, and the link collects both.
    invent a scope API for this because xmake offered no package-level dependency
    to reuse; mcpp has one, and should use it rather than copy the workaround.
 
+   **Resolved in `mcpp:plugins` 0.3.0.** `mcpp.rules.slang` exists and declares
+   its own `device_extensions`, so `.slang` was REMOVED from the engine's
+   built-in table and `tests/slang-consumer` still builds -- which is the
+   measurement that a new device language costs no engine release (13.1.2).
+
 ## 8. Staging
 
 Each stage is useful alone and none depends on a later one.
@@ -739,11 +758,29 @@ Sidecar storage has no assembler requirement and is available everywhere, but it
 changes what `mcpp pack` must collect, which is why it is the only storage that
 touches the engine.
 
+**A second cross-platform constraint on the same storage, found later.** The
+two GAS-capable assemblers do not agree on whether they REPORT what `.incbin`
+reads. GNU as names the embedded file in its own `--MD` output; clang's
+integrated assembler has no dependency output of any kind. So the obvious way
+to keep an embedded payload current -- ask the assembler -- would work on one
+toolchain and fail silently on the other, which is worse than failing on both:
+the toolchain that reports nothing is the one whose users could never reproduce
+the staleness. This is why the dependency is DECLARED by the generator
+(`mcpp::recompile_if_changed`, 14.1) rather than discovered from the tool, and
+it is a cross-platform argument rather than an aesthetic one.
+
 ## 12. Slang, in full
 
 Section 7 argued that `slangc` belongs in a rule of its own. This section states
 what that rule is.
 
+> **Shipped as described, in `mcpp:plugins` 0.3.0.** Everything below holds of
+> `mcpp.rules.slang` as it exists, with one addition: from 0.3.1 the rule passes
+> `slangc -depfile`, so a `.slang` that includes another rebuilds when it
+> changes (14.2). The version pin discussed at the end of this section is 14.6:
+> resolved by fact rather than by work, because the index's ceiling and the
+> package's floor are the same release.
+
 **Extensions claimed.** `.slang`. Not the GLSL stage extensions: a `.slang` file
 names its entry points internally and `-fshader-stage` has no analogue.