fix(cache): module_extensions 进依赖缓存键的 E 轴

指纹管的是 target/<triple>/<fp>/,全局依赖缓存是另一套键。一个声明了
module_extensions 的依赖产出不同的 .o/BMI,它的缓存键必须体现这一点。

今天不可达 —— 默认 glob 会跟着变,sourceGlobs 已经动了;索引包描述符按版本
冻结,version 在 D 轴。但这正是本 PR 在消灭的形状(同一决策漏一处),一行补上
比留着等它以后变成一次错误的缓存命中便宜。

不 bump epoch:老条目命令行里没有 -x c++,而该旗标在已识别后缀上幂等(产物逐
字节相同),沿用安全,不必让全网缓存作废。

Author: speak-agent

.agents/docs/2026-08-11-source-kind-table-and-build-program-timeout.md

@@ -893,6 +893,45 @@ BMI 坏掉时报错会指向一个和你的改动毫无关系的模块,极难归
 
 ---
 
+## 7.4 深度自审(CI 后)发现并修掉的两条
+
+### ① 未捕获的有界运行丢了流式输出 —— 真回归
+
+`run_exec_deadline` 是 `mcpp test` **非 JSON 模式**跑测试二进制的路径,原本
+**继承调用方 stdio**。我第一版把它改成「捕获后在结束时回放」,后果两条:
+
+1. 长测试的输出全部憋到退出才出现 —— 恰好抵消 `mcpp test` 可观察性那一整轮工作
+   (「只有子进程输出、mcpp 一行没有」正是缓冲问题的指纹);
+2. 子进程 stdout 变成管道而非终端 ⇒ gtest 之类**静默关掉彩色输出**。
+
+修法:两侧启动器共用一条契约 —— **`sink == nullptr` 表示不捕获**,子进程直接继承
+调用方 stdio,但仍然有界。POSIX 不建管道不设 dup2;Windows 不设
+`STARTF_USESTDHANDLES`,也不加 `CREATE_NO_WINDOW`(未捕获的运行本来就是给人看的)。
+
+### ② 依赖缓存键的 E 轴漏了 `module_extensions`
+
+指纹管的是 `target/<triple>/<fp>/`,**全局依赖缓存是另一套键**。一个声明了
+`module_extensions` 的依赖产出不同的 `.o`/BMI,但它的缓存键此前不含这个字段。
+
+**今天不可达**:默认 glob 会跟着变 ⇒ `sourceGlobs` 已经动了;而索引包描述符按版本
+冻结,`package.version` 在 D 轴。⇒ 但这正是本方案要消灭的形状(同一决策漏一处),
+一行补上比留着等它以后变成一次「错误的缓存命中」便宜。
+
+### 顺带确认:`-x c++` 不需要 bump 缓存 epoch
+
+老 mcpp 写入的缓存条目(命令行里没有 `-x c++`)会被新 mcpp 读到。因为该旗标在
+已识别后缀上**幂等**(§3.8.1 实测),产物逐字节相同 ⇒ 沿用是安全的,不必让全网
+缓存作废。
+
+### 一处**刻意的**行为变化
+
+`is_compilable_output`(build.mcpp 生成物能否编译)原本是**唯一含 `.ixx` 的清单**。
+改为按 kind 判定后,`.ixx` 生成物在未声明 `module_extensions` 时不再被自动纳入
+`sources`。这是**修正而非回归**:旧路径接受它进 sources,而后面每一个阶段都会
+错误处理它 —— 没有任何包能靠那条路径正常工作。
+
+---
+
 ## 8.1 本次不做,但已排期
 
 | 项 | 状态 | 说明 |

src/build/cache_key.cppm

@@ -118,6 +118,15 @@ struct PackageAxes {
     std::vector<std::string> includeDirs;   // store-relative, ordered
     std::vector<std::string> sourceGlobs;   // [build] sources, ordered
     std::vector<std::string> sources;       // package-root-relative, sorted
+    // [build] module_extensions — decides which of `sources` are module
+    // interfaces, i.e. which units emit a BMI and which objects link
+    // unconditionally. Different artifacts, so it belongs in the key.
+    //
+    // Not reachable today (a widened default glob already moves `sourceGlobs`,
+    // and an index descriptor is frozen per version so nothing else can move
+    // it) — which is exactly why it is easy to leave out and find later as a
+    // wrong cache hit. Cheap to close now.
+    std::vector<std::string> moduleExtensions;
     // F — keys of direct dependencies, sorted
     std::vector<std::string> upstreamKeys;
 };
@@ -221,6 +230,7 @@ nlohmann::json to_json(const BuildAxes& b, const PackageAxes& p) {
         {"include_dirs", p.includeDirs},
         {"source_globs", p.sourceGlobs},
         {"sources", p.sources},
+        {"module_extensions", p.moduleExtensions},
     };
     j["upstream"] = p.upstreamKeys;
     return j;
@@ -262,6 +272,7 @@ std::string key_hex(const BuildAxes& b, const PackageAxes& p) {
     put_list(s, "includes",  p.includeDirs);
     put_list(s, "srcglobs",  p.sourceGlobs);
     put_list(s, "sources",   p.sources);
+    put_list(s, "modexts",   p.moduleExtensions);
     // F
     put_list(s, "upstream",  p.upstreamKeys);
     return mcpp::toolchain::hash_string(s);
@@ -311,6 +322,7 @@ void fill_package_config(PackageAxes&                        out,
     out.ldflags     = bc.ldflags;
     out.defines     = bc.defines;
     out.sourceGlobs = bc.sources;
+    out.moduleExtensions = bc.moduleExtensions;
 
     if (!bc.cStandard.empty()) {
         // A package may pin its own C standard; it reaches its own C units.