a count that stops at the member level leaves the same reading one level up

`--workspace --no-run` reported "ok. N member(s); 0 passed; 0 failed", which is
what a workspace with no tests at all reports — the false reading
`totalNotRun` was added to the same line to prevent, one level down.

The fan-out now carries `built` through to the workspace total and to
`workspace_summary` as `tests_built`, kept apart from `tests_not_run` for the
reason the per-member fields are: one is a question left open, the other is a
question that was not asked.

Leg E of 745 covers it: two members, one test each, `--workspace --no-run`,
exit 0 and "2 built, not run" in the total.

Author: speak-agent

docs/50-machine-output.md

@@ -560,10 +560,13 @@ test ran and passed. A client that read the exit code alone as pass/fail must
 handle 2, and a client that inferred "everything passed" from `failed == 0`
 must also read `not_run`.
 
-`workspace_summary` adds `tests_not_run` (the sum over members) and
+`workspace_summary` adds `tests_not_run` (the sum over members),
+`tests_built` (the sum of tests built under `--no-run`) and
 `unrunnable_members` (members all of whose tests were `not_run`), alongside the
 existing `not_run` list, which continues to name members the
-`--workspace-timeout` stopped before they started.
+`--workspace-timeout` stopped before they started. `tests_built` is separate
+from `tests_not_run` for the reason the per-member fields are: one is a
+question left open, the other is a question that was not asked.
 
 ### The stage manifest
 

docs/zh/50-machine-output.md

@@ -485,9 +485,11 @@ mcpp test [pattern] [--workspace] --message-format json
 含义不变 —— 有测试运行并失败;0 表示每个测试都运行并通过。只读退出码判 pass/fail 的
 客户端必须处理 2;由 `failed == 0` 推断「全部通过」的客户端还必须读 `not_run`。
 
-`workspace_summary` 增加 `tests_not_run`(各成员之和)与 `unrunnable_members`(所有
-测试都 `not_run` 的成员),与既有的 `not_run` 列表并列;后者仍然指
-`--workspace-timeout` 到达时尚未开始的成员。
+`workspace_summary` 增加 `tests_not_run`(各成员之和)、`tests_built`(`--no-run` 下
+构建的测试数之和)与 `unrunnable_members`(所有测试都 `not_run` 的成员),与既有的
+`not_run` 列表并列;后者仍然指 `--workspace-timeout` 到达时尚未开始的成员。
+`tests_built` 与 `tests_not_run` 分开,理由和逐成员的那两个字段一样:一个是被悬着的
+问题,另一个是压根没问的问题。
 
 ### 暂存清单
 

src/cli/cmd_build.cppm

@@ -595,6 +595,10 @@ export int cmd_test(const mcpplibs::cmdline::ParsedArgs& parsed,
         std::vector<std::string> unrunnable;    // tests built, none executed (#544)
         std::vector<std::pair<std::string, long long>> memberTimes;
         int totalPassed = 0, totalFailed = 0, totalNotRun = 0;
+        // Carried for the same reason `totalNotRun` is: without it a
+        // `--no-run` workspace reports "0 passed; 0 failed", which is
+        // what a workspace with no tests at all reports.
+        int totalBuilt = 0;
         auto tWs = std::chrono::steady_clock::now();
         auto ws_ms = [&tWs] {
             return std::chrono::duration_cast<std::chrono::milliseconds>(
@@ -622,6 +626,7 @@ export int cmd_test(const mcpplibs::cmdline::ParsedArgs& parsed,
             totalPassed += sum.passed;
             totalFailed += sum.failed;
             totalNotRun += sum.notRun;
+            totalBuilt  += sum.built;
             memberTimes.emplace_back(mp, sum.elapsedMs);
             auto secs = static_cast<double>(sum.elapsedMs) / 1000.0;
             if (r == 2 && sum.failed == 0 && sum.notRun > 0) {
@@ -677,10 +682,11 @@ export int cmd_test(const mcpplibs::cmdline::ParsedArgs& parsed,
             // `unrunnable_members` are #544's — tests that were built and not
             // executed, and the members all of whose tests were.
             std::println("{{\"workspace_summary\":{{\"members\":{},\"passed\":{},\"failed\":{},"
-                         "\"tests_not_run\":{},"
+                         "\"tests_not_run\":{},\"tests_built\":{},"
                          "\"failed_members\":[{}],\"unrunnable_members\":[{}],"
                          "\"not_run\":[{}],\"elapsed_ms\":{}}}}}",
                          members->size(), totalPassed, totalFailed, totalNotRun,
+                         totalBuilt,
                          join(failed), join(unrunnable), join(notRun), wsElapsed);
             std::fflush(stdout);
             return rc;
@@ -709,6 +715,8 @@ export int cmd_test(const mcpplibs::cmdline::ParsedArgs& parsed,
         // built and not executed must not read as a passing member.
         std::string notRunCounts = totalNotRun
             ? std::format("; {} not run", totalNotRun) : std::string{};
+        if (totalBuilt)
+            notRunCounts += std::format("; {} built, not run", totalBuilt);
         if (failed.empty() && notRun.empty() && unrunnable.empty())
             mcpp::ui::status("workspace result",
                 std::format("ok. {} member(s); {} passed; 0 failed{}; finished in {:.2f}s",

tests/e2e/745_no_run_builds_the_tests_and_says_so.sh

@@ -22,7 +22,7 @@
 # same situation -- tests built, nothing run -- on every host, for the native
 # target, with nothing installed.
 #
-# Four legs:
+# Five legs:
 #   A  without `--no-run`: exit 2, and the tests are reported `not run`.
 #   B  with `--no-run`: exit 0, and the count is reported as built.
 #   C  a test that does not COMPILE is still a failure under `--no-run`.
@@ -31,6 +31,8 @@
 #   D  `--no-run` with `--no-runner` is refused. The two names differ by one
 #      character and mean opposite things, and neither is a weaker form of the
 #      other, so there is no reading of the pair to prefer.
+#   E  `--workspace` totals the built count. A count that stops at the member
+#      level leaves the same false reading one level up.
 set -e
 
 MCPP="${MCPP:-mcpp}"
@@ -141,4 +143,42 @@ case "$out_d" in
     *) echo "FAIL: D did not explain why the pair is refused"; printf '%s\n' "$out_d" | tail -3; exit 1 ;;
 esac
 
+# --- E: the workspace total says it too ----------------------------------
+# A count that stops at the member level is the same defect one level up: a
+# workspace summary reading "0 passed; 0 failed" is what a workspace with no
+# tests reports.
+rm -f tests/gamma.cpp
+mkdir -p members/one/tests members/two/tests
+cat > mcpp.toml <<EOF
+[workspace]
+members = ["members/one", "members/two"]
+EOF
+for m in one two; do
+    cat > "members/$m/mcpp.toml" <<EOF
+[package]
+name    = "$m"
+version = "0.1.0"
+
+[target.$host]
+runner = ["mcpp-no-such-runner-exists"]
+EOF
+    cat > "members/$m/tests/t.cpp" <<'EOF'
+int main() { return 0; }
+EOF
+done
+set +e
+out_e="$("$MCPP" test --workspace --target "$host" --no-run 2>&1)"
+rc_e=$?
+set -e
+printf '%s
+' "$out_e" | tail -3
+if [ "$rc_e" != 0 ]; then
+    echo "FAIL: E expected exit 0 from a --workspace --no-run run, got $rc_e"
+    exit 1
+fi
+case "$out_e" in
+    *"2 built, not run"*) ;;
+    *) echo "FAIL: E the workspace total did not report the built tests"; exit 1 ;;
+esac
+
 echo "PASS: --no-run builds the tests and says so, and says nothing else"