docs(plan): the plugin rows and X2 close with their readings

Author: speak-agent

.agents/docs/2026-09-16-646-649-implementation-plan.md

@@ -62,18 +62,18 @@ the parallel work trees of §8. Triage sections are cited as `T§`.
 
 | id | task | owner | depends on | status |
 |---|---|---|---|---|
-| P1 | `dist-apple` `options::omit_keys` over the defaulted keys (T§8) | lead | - | branch: `b5f759e`, plan checks on Linux; the bundle on macos-15 CI |
-| P2 | `dist-web` `options::page`, default `index.html` (T§8) | lead | - | branch: `c804312`, `check-web-plan.sh` with a named-page leg |
-| P3 | `dist-apk` follows `mcpp::pack_strip()` and `mcpp::pack_debug_symbols_dir()` when the engine provides them, and keeps its own strip otherwise | lead | S3 released | branch: `ad7a3dd`; unset and simulated variables verified; legs (m) and (n) run once the CI pin is 2026.9.16.1 |
-| P4 | `rules-swift`: one package's Swift sources compile through an `object` action, a generated header through a `source` action, and the runtime link flags through `link_flag`; a macos-15 consumer runs (T§5.2) | lead | - | branch: `38ac2ba`, `all-rules-compile` on Linux; build, run and the header on macos-15 CI |
-| P5 | `dist-apk` and `dist-apple` collect library contributions from `[package.metadata.dist-apk]` and `[package.metadata.dist-apple]` through `mcpp::graph_file()` when present | lead | S1 released | todo |
+| P1 | `dist-apple` `options::omit_keys` over the defaulted keys (T§8) | lead | - | done (#28, 0.12.0): plan checks on Linux; the bundle on macos-15 CI |
+| P2 | `dist-web` `options::page`, default `index.html` (T§8) | lead | - | done (#28, 0.12.0): `check-web-plan.sh` with a named-page leg |
+| P3 | `dist-apk` follows `mcpp::pack_strip()` and `mcpp::pack_debug_symbols_dir()` when the engine provides them, and keeps its own strip otherwise | lead | S3 released | branch: `ad7a3dd`; unset and simulated variables verified; legs (m) and (n) ran in CI once the pin moved to 2026.9.16.1: `--no-strip packs the library with its symbol table` and `--debug-symbols: the packed library is the engine's stripped copy` |
+| P4 | `rules-swift`: one package's Swift sources compile through an `object` action, a generated header through a `source` action, and the runtime link flags through `link_flag`; a macos-15 consumer runs (T§5.2) | lead | - | done (#28, 0.12.0): `all-rules-compile` on Linux; build, run and the header on macos-15 CI |
+| P5 | `dist-apk` and `dist-apple` collect library contributions from `[package.metadata.dist-apk]` and `[package.metadata.dist-apple]` through `mcpp::graph_file()` when present | lead | S1 released | done (#28, 0.12.0): `tests/apk-consumer-graph` five legs, including the precedence between two contributors (§1.10 item 21); `tests/ios-app-consumer` two-dependency plist merge |
 
 ### 0.3 Index, payloads and projects
 
 | id | task | owner | depends on | status |
 |---|---|---|---|---|
 | X1 | mcpplibs/mcpp-index: the artifact is byte-reproducible, and a version whose GitCode asset differs is republished under a new name (T§7.6 step 1) | lead | - | done: mcpplibs/mcpp-index#432 (`0cbac960`); the publish of `0cbac96` verified both forges itself, and the probe reads pointer, GitHub and GitCode all `02a437110017` (547679 bytes) |
-| X2 | openxlings/xim-pkgindex: the release bot's `mcpp` bump merged | lead | release | todo |
+| X2 | openxlings/xim-pkgindex: the release bot's `mcpp` bump merged | lead | release | done: openxlings/xim-pkgindex#845 (`1c951f0b`), 16 of 16 checks; the index artifact republished as `v1c951f0` and a consumer resolves `xim@artifact:1c951f0` |
 | X3 | mcpplibs/mcpp-index: the plugins descriptor 0.12.0; the index CI's `MCPP_VERSION` moves to 2026.9.16.1 | lead | X2, P1-P5 | todo |
 | X4 | openxlings/xlings: `compat.ftxui` and `compat.gtest` spelled with their namespace (T§7.0) | lead | - | done: openxlings/xlings#597 (`4ea4eac9`), CI 9 of 9 |
 

.agents/docs/2026-09-16-646-649-verify.sh

@@ -33,6 +33,13 @@ has_text() { grep -qF -- "$2" "$1"; }
 reading() { printf 'READING %s\n' "$*"; }
 unset XLINGS_ACTIVE_SUBOS
 
+# A BUILD PROGRAM MUST BE NEW EVERY RUN. The sandbox's $HOME persists between
+# runs, and a build program is cached by its source; a cache hit does not re-run
+# it, and mcpp replays neither its output nor its warnings. A probe that reads a
+# build program would then measure the previous run. Every build program this
+# script writes carries this token, so each run compiles and runs its own.
+RUNID="$(date +%s)-$$"
+
 root="$HOME/verify-646"
 rm -rf "$root"; mkdir -p "$root"
 
@@ -156,10 +163,16 @@ import mcpp;
 int main() {
     const char* a = mcpp::dep_bin("fw-installer", "fw-installer");
     const char* b = mcpp::dep_bin("spike.fw-installer", "fw-installer");
-    std::println("SPIKE short=[{}] qualified=[{}]", a ? a : "", b ? b : "");
+    // `mcpp::warning`, not `std::println`: the fixture states c++20, where
+    // `std::println` does not exist, and mcpp discards a build program's
+    // standard output when it exits 0, so a reading printed there is never
+    // seen. Every e2e script that reads a build program takes this route.
+    mcpp::warning((std::string("SPIKE short=[") + (a ? a : "") + "] qualified=["
+                   + (b ? b : "") + "]").c_str());
     return 0;
 }
 EOF
+printf '// run %s\n' "$RUNID" >> "$d/app/build.mcpp"
 printf 'int fw_answer() { return 42; }\n' > "$d/fw/src/fw.cpp"
 printf 'int fw_answer();\n#include <cstdio>\nint main() { std::printf("fw-installer ran %%d\\n", fw_answer()); return 0; }\n' > "$d/fw/tool/src/main.cpp"
 printf 'int fw_answer();\nint main() { return fw_answer() == 42 ? 0 : 1; }\n' > "$d/app/src/main.cpp"
@@ -200,11 +213,14 @@ int main() {
     const auto doc = text.str();
     const auto posA = doc.find("\"spike.a@");
     const auto posB = doc.find("\"spike.b@");
-    std::println("GRAPH b-before-a={} metadata={}", posB < posA,
-                 doc.find("\"resources\"") != std::string::npos);
+    // See section E on why this is a warning rather than standard output.
+    mcpp::warning((std::string("GRAPH b-before-a=")
+                   + (posB < posA ? "true" : "false") + " metadata="
+                   + (doc.find("\"resources\"") != std::string::npos ? "true" : "false")).c_str());
     return 0;
 }
 EOF
+printf '// run %s\n' "$RUNID" >> "$d/app/build.mcpp"
 ( cd "$d/app" && timeout 1200 "$STORE" build > build.log 2>&1 ); rc=$?
 reading "E1 exit=$rc: $(grep -m1 -E 'GRAPH|graph_file' "$d/app/build.log")"
 if grep -q 'GRAPH b-before-a=true metadata=true' "$d/app/build.log"; then
@@ -269,6 +285,7 @@ int main() {
     return 0;
 }
 EOF
+printf '// run %s\n' "$RUNID" >> "$d2/build.mcpp"
 ( cd "$d2" && MCPP_OFFLINE=1 timeout 600 "$STORE" emit build-database --format json 2>/dev/null \
     | { readlink /proc/self/fd/0 > "$d2/reader.txt"; cat > /dev/null; } )
 pipe=$(cat "$d2/reader.txt" 2>/dev/null)