fix: hello-mcpp 恢复未完成态(体验时的通关改动被误提交,pristine 断言抓出) + 参考文档同步新布局

Author: Sunrisepeak

.agents/docs/2026-07-23-exercises-as-tests-reference.md

@@ -8,17 +8,17 @@
 
 ---
 
-## 1. 布局
+## 1. 布局（第二轮重排后：库入驻 d2x/、课程收进 src/）
 
 ```
-mcpp.toml                 workspace = [harness, intro, cpp11, cpp14, en/*, d2x/buildtools/mcpp]
-harness/                  练习脚手架包(纯模块 d2x.harness,零宏)
-intro/tests/hello-mcpp.cpp
-cpp11/tests/<NN-topic>/<K>.cpp        49 题
-cpp14/tests/00-generic-lambdas/{0,1}.cpp
-en/{intro,cpp11,cpp14}/               en 镜像工程(lang=en 时启用,与 zh 互斥)
+mcpp.toml                 workspace = [d2x, src/*, src/en/*, d2x/buildtools/mcpp]
+d2x/                      d2x 练习库(纯模块 `import d2x;`,零宏)
+d2x/buildtools/mcpp/      Provider(C++26)
+src/intro/tests/hello-mcpp.cpp
+src/cpp11/tests/<NN-topic>/<K>.cpp    49 题
+src/cpp14/tests/00-generic-lambdas/{0,1}.cpp
+src/en/{intro,cpp11,cpp14}/           en 镜像工程(lang=en 时启用,与 zh 互斥)
 solutions/<std>/<NN-topic>/<K>.cpp    52 份(zh/en 共用,含 hello-mcpp)
-d2x/buildtools/mcpp/                  Provider(C++26)
 ```
 
 - **零生成物**：`.d2x/build/` 及三套清单生成已删除；`.d2x/` 下只剩学习进度
@@ -28,26 +28,38 @@ d2x/buildtools/mcpp/                  Provider(C++26)
 ## 2. 双入口
 
 ```
-mcpp test -p cpp11              原生:进度表
-mcpp test -p cpp11 00-auto      原生:单题(子串过滤)
-d2x checker                     闯关:文件监听、通过自动推进(已实测:改对
-                                hello-mcpp 后自动进入 cpp11-00-auto-and-decltype-0)
+mcpp test -p src/cpp11              原生:进度表(-p cpp11 的 basename 简写同样可用)
+mcpp test -p src/cpp11 00-auto      原生:按子串过滤(匹配整章;更长的名字如
+                                    00-auto-and-decltype/3 即单题)
+d2x checker                         闯关:文件监听、通过自动推进(已实测:改对
+                                    hello-mcpp 后自动进入 cpp11-00-auto-and-decltype-0)
 ```
 
 同一条链路：`d2x checker → Provider → mcpp test --message-format json → 判定`；
 Provider 只是把 mcpp 的 JSON 记录 × 侧信道合并成协议 verdict。
 
-## 3. harness（`import d2x.harness;`）
+## 3. d2x 库（`import d2x;`，包与模块同名，住在 `d2x/`）
 
 | 设施 | 说明 |
 |---|---|
 | `d2x::check(cond, "原文")` / `check_eq(a, b, "a == b")` | 第三参是给学习者看的表达式原文（迁移脚本自动从宏参数生成，教学输出零漂移）；`std::formattable` 探测转印值（SFINAE 安全，requires 里直接写 std::format 会踩未特化 formatter 的 static_assert） |
 | `D2X_YOUR_ANSWER` | **纯约定，无定义**。裸标识符的编译报错正好指着要填的位置 |
-| `d2x::wait()` | 路障；记录后继续执行（后续断言照跑） |
+| `d2x::wait()` | 路障；记录后继续执行（后续检查点照跑） |
 | `d2x::dont_delete_this(expr)` | 恒等透传（旧 D2X_DONT_DELETE_THIS） |
-| 退出码 | 首次调用注册 atexit：有失败断言或未拆 wait → `_Exit(1)`。裸 `mcpp test` 因此天然能判对错 |
+| 退出码 | 首次调用注册 atexit：有失败检查点或未拆 wait → `_Exit(1)`。裸 `mcpp test` 因此天然能判对错 |
 | 侧信道 v2 | `{"v":2,"kind":"assert","ok":…,"what":…,"expected":…,"actual":…,"file":…,"line":…}` / `{"v":2,"kind":"wait",…}`；`D2X_RESULT_FILE` 未设置时不写文件 |
 
+**可见输出（去 HONLY 后的日志标识——emoji 即标识，无框架前缀）**：
+
+```
+✅ | a == a1 (1 == 1)                                          绿
+❌ | a == b (1 == 2)  --> src/cpp11/tests/.../0.cpp:38          红
+🚧 | Delete the d2x::wait() to continue  --> <file>:<line>      黄
+```
+
+失败/路障行带定位;路径经 cwd 剥离尽量以仓库相对形式展示（定位用的
+绝对路径仍走侧信道，展示归展示、定位归定位）。
+
 **判定顺序（注意与设计稿 §5 的一处刻意调整）**：失败断言 → fail；`wait` → blocked；
 退出码非 0 → fail；无侧信道 → 退出码 0 即 pass。`wait` 判定**先于**退出码——
 新 harness 里 wait 会把退出码顶成 1，按旧顺序 blocked 会全部误判成 fail。

src/intro/tests/hello-mcpp.cpp

@@ -34,17 +34,17 @@ import d2x;
 
 int main() {
 
-    std::cout << "hello, mcpp!" << std::endl; // 0.修复这个编译错误
+    std::cout << "hello, mcpp!" << std:endl; // 0.修复这个编译错误
 
-    double a = 1.1; // 1.修复这个运行时错误, 修改int为double, 通过检查
+    int a = 1.1; // 1.修复这个运行时错误, 修改int为double, 通过检查
 
     d2x::check_eq(a, 1.1, "a == 1.1"); // 2.运行时检查点, 需要修复代码通过所有检查点(不能直接删除检查点代码)
 
-    int b = a;
+    D2X_YOUR_ANSWER b = a; // 3.修复这个编译错误, 给b一个合适的类型
 
     d2x::check_eq(b, 1, "b == 1"); // 4.运行时检查点2
 
-    //d2x::wait(); // 5.删除或注释掉这一行, 进入下一个练习(项目正式代码练习)
+    d2x::wait(); // 5.删除或注释掉这一行, 进入下一个练习(项目正式代码练习)
 
     return 0;
 }