docs(plan): §2.9 —— 发布并核验了资产 ≠ 使用者能用上它 (#482)

报告 §2 完成时,验证用的是手工 -isystem/-L,跳过了整条解析链。补验受支持的
路径(`[target].sysroot`)发现 libdir 列为空,包用不上。

这条判据教训不属于任何一节而属于全部四节。

Co-authored-by: speak-agent <248744407+speak-agent@users.noreply.github.com>

Author: Sunrisepeak

.agents/docs/2026-08-21-baremetal-optimization-plan.md

@@ -294,6 +294,52 @@ x86_64 在 `0x100000` 链接成功(⚠️ 它没有 semihosting —— 不给控
 
 **§2.4 的决策按建议执行:目标表的行没有填。** 这两个包是**可声明**的,不是默认的。
 
+### 2.9 ⚠️⚠️ 发布并核验了资产 ≠ 使用者能用上它(mcpp 2026.8.21.3)
+
+上面那句「可声明」在写下时**还不是真的**,而我报告 §2 完成时没有验证它。
+
+验证用的是**手工 `-isystem` / `-L`**,它跳过了整条解析链。补验受支持的路径:
+
+```toml
+[target.aarch64-none-elf]
+sysroot = "xim:picolibc-aarch64@1.8.12"
+```
+
+```
+'stdio.h' file not found
+```
+
+⭐ **成因:picolibc 是 multilib 布局(`include/<march>/<mabi>/`),而引擎从
+`src/freestanding/target.cppm` 的 `libdir` 列推那个子目录 —— 那两行的 `libdir`
+是空的。** 而在索引里没有对应 picolibc 之前,**空是对的**:它命名的是一个当时
+不存在的东西。
+
+A/B:
+
+| 引擎 | 结果 |
+|---|---|
+| 2026.8.21.3 | `-isystem …/include/armv8-a/aapcs`,**头解析成功** |
+| 2026.8.21.2 | `'stdio.h' file not found` |
+
+(链接仍缺 `printf`,因为裸工程没有 crt0 —— riscv 在同样条件下同样如此,那是板级
+包的活。)
+
+⚠️ **填这一列不改变默认。** `libdir` 只在 sysroot 已被解析后才被读,而目标表对这
+两行仍不绑定任何 C 库 ⇒ §2.4 的决策不受影响,零 libc 仍是默认,包仍是可选加入。
+单元测试把这一点也断言了。
+
+⚠️ 一条单元测试此前断言 `libdir` 为空,**而它当时是对的**。事实变了,测试跟着改
+并在注释里写明它为什么曾经正确 —— **结论会被复查,理由不会。**
+
+⚠️ 追查途中一次假绿:`xlings install picolibc-aarch64` 报「✓ 1 package(s)
+installed」而**安装目录为空**。成因是我自己先前用 local-index 测过同名包,
+`xim:` 安装撞上了(它的提示写着 `still resolves to local:1.8.12`)。清掉重装即
+正确 —— 是测试顺序的产物,不是包的缺陷。
+
+⇒ **判据教训写在这里,因为它不属于任何一节而属于全部四节:「资产已发布并双端
+核验」与「使用者能通过受支持的路径用上它」是两件事,而只验证前者会把整条解析链
+跳过去。**
+
 ---
 
 ## 3. 【中】第二块板