SPEC-002 rule three: a link over a graph-supplied C library searches no host directory (v1.1)

Author: speak-agent

docs/specs/target-side.md

@@ -132,6 +132,12 @@ mcpp:<层名>[=<实现名>]
 当前实现覆盖「两层均来自图」与「两层均来自载荷」。
 「一层预制、一层来自图」的接线尚不完整。
 
+`c-abi` 层来自图时,链接的库搜索同样属于图:引擎**禁止**让驱动器从宿主推导库目录,
+这样的链接上每一个 `-L` **必须**位于工具链存储、构建目录或图中某个包之内;
+`[build] allow_host_libs = true` 解除这一约束。由 clang 链接的 ELF 目标已实现
+(mcpp 2026.9.26.1,链接带指向构建目录内空目录的 `--sysroot`,mcpp#696);经 MinGW
+驱动器的 PE 链接尚未实现,待其从宿主 MinGW 解析的导入库清点完成。
+
 ### 3.4 规则四:三元组是请求 已实现
 
 三元组的 env 段**必须**被当作对 `c-abi` 的请求,而非其答案。
@@ -218,3 +224,4 @@ mcpp:<层名>[=<实现名>]
 | 版本 | 日期 | 变更 |
 |---|---|---|
 | v1.0 | 2026-08-24 | 初版。五层闭集、`provides`/`requires` 语法、三条规则、报告与兼容性条款。 |
+| v1.1 | 2026-09-26 | 规则三增补:`c-abi` 来自图时,链接不搜索宿主库目录(ELF 已实现,mcpp#696)。 |