fix: 本机绝对路径又一次被提交进清单,而这次 CI 在「运行」那一步才说

程序建出来了(text 2494992,和本机一致),失败在运行:runner 指向
/home/speak/.mcpp/registry/... —— 一台机器上的绝对路径进了每台机器都读的文件。

⚠️ 这是本生态里第二次,第一次在 conformance/mcpp.toml,两次的显形方式都一样:
别的仓库的 CI 挂在一条只存在于一台笔记本上的路径上。成因也一样:本机要跑就得
把名字换成装好的模拟器,而最顺手的做法就是改这一行。

清单改回裸名,并在旁边写下为什么它必须保持裸名。CI 那一步加了一条守卫:先断言
清单里还是裸名,再替换 —— 于是一个已经带着路径的 checkout 会**被告知**,而不是
得到一个路径套路径。

Author: speak-agent

.github/workflows/ci.yml

@@ -161,6 +161,12 @@ jobs:
           set -euo pipefail
           cd examples/baremetal
           Q=$(ls -d "$HOME"/.mcpp/registry/data/xpkgs/xim-x-qemu-riscv/*/bin/qemu-system-riscv64 | head -1)
+          # ⚠️ Anchored on the BARE NAME, so a checkout that already carries a
+          # path is left alone rather than getting a path inside a path. The
+          # manifest is required to carry the bare name; the note beside it says
+          # why, and this is the step that relies on it.
+          grep -q '"qemu-system-riscv64"' mcpp.toml \
+            || { echo "::error::the manifest no longer carries the bare emulator name"; exit 1; }
           sed -i "s|\"qemu-system-riscv64\"|\"$Q\"|" mcpp.toml
           mcpp run 2>&1 | tee out.log
           grep -q 'sorted: 2 4 7'   out.log   # containers + algorithms + the allocator

examples/baremetal/mcpp.toml

@@ -8,9 +8,21 @@ target = "riscv64-none-elf"
 # No sysroot: there is no system to take headers or libraries from. The runner
 # is the emulator with firmware, because `-bios default` is what supplies the
 # SBI this program's openkal implementation calls.
+#
+# ⚠️ THE EMULATOR IS NAMED WITHOUT A PATH AND MUST STAY THAT WAY.
+#
+# Running this locally means pointing the name at an installed emulator, and the
+# obvious way to do that is to edit this line. Doing so and committing puts one
+# machine's absolute path into a file every other machine reads — measured
+# twice in this ecosystem now, the first time in `conformance/mcpp.toml`, and
+# both times the way it showed was every other repository's CI failing on a path
+# that exists on exactly one laptop.
+#
+# The CI step that runs this rewrites the name in its own checkout and does not
+# commit; do the same locally, or put the emulator on PATH.
 [target.riscv64-none-elf]
 sysroot = ""
-runner  = ["/home/speak/.mcpp/registry/data/xpkgs/xim-x-qemu-riscv/9.2.4-1/bin/qemu-system-riscv64", "-machine", "virt", "-nographic",
+runner  = ["qemu-system-riscv64", "-machine", "virt", "-nographic",
            "-no-reboot", "-bios", "default", "-kernel"]
 
 [dependencies]