0.17.0 --- what this library does not supply is declared, and the declaration is asserted

[Sunrisepeak]

README 从这个移植开始就带着一张"缺席的设施"表，而没有任何东西在执行那段散文。它已经被推翻过一次：0.16.0 之前 SIG_IGN 对每个信号都被接受却一个都没安装，于是一个请求"不要被中断键结束"的程序被告知成功、然后被中断键结束。

改动

[c-abi.absent] 陈述每一项设施，以及它的缺席以什么形状到达程序：

form	含义
link	定义不在归档里，链接点名它。这是 openkal 能力模型对实现要求的形状（SPEC 0.14 §6.1 把运行期报告不支持称为缺陷）
enosys	定义存在，并报告它不能执行
accepted-no-effect	调用成功，而它被要求做的事有一部分没有做——正是 0.16.0 修掉的那个缺陷的形状

这个库供给的名字集合在这里不可枚举（POSIX 约一千二百个），枚举它正是 clause 3.3 记录下撤回的那个错误。例外是可枚举的，本次列了 21 项。

判据

tools/check-absent.sh 按每一行自己声明的方向对产物断言：link 的名字不得被定义，enosys 的名字必须被定义。

两个方向都查，因为只查 link 那一半的脚本，对一张把每一行都悄悄改成 enosys 的表同样通过——而那正是最要紧的那种改动。

CI 里那份手写的 withheld 清单被这个脚本取代：清单和清单文件是同一个事实的两份副本，而副本会在只编辑其中一份的那一刻起失效。该步骤还会翻转一行并要求脚本拒绝它——一个不会失败的检查什么都没断言。

本机实测：

$ bash tools/check-absent.sh mcpp.toml target/*/*/obj/*.o
every [c-abi.absent] row agrees with the archive: 21 row(s)

$ # 把 mprotect 从 enosys 改成 link
mprotect is declared absent at the link and IS defined in the archive   rc=1
$ # 把 epoll_create 从 link 改成 enosys
epoll_create is declared to report its refusal and is NOT defined in the archive   rc=1

发布顺序（不可交换）

需要 mcpp 2026.9.20.1。 不认识某个键的引擎会拒绝整份清单而不是忽略该键，因此这个版本不能在索引 floor 抬起之前登记：

mcpp 2026.9.20.1 发布 → index.toml 抬 min_mcpp → 本版本登记

顺序颠倒会让每个低于 floor 的客户端完全加载不了这个包，那比没有这张表更坏。

[Sunrisepeak]

补充核验：Windows 目标上同样成立。

CI 的断言只跑在 Linux 原生行（这个 workflow 的矩阵三行都是 target: ''）。手工交叉核验一次：

$ mcpp build --target x86_64-windows-gnu --toolchain llvm@22.1.8
$ NM=llvm-nm bash tools/check-absent.sh mcpp.toml $(find target -name '*.o')
every [c-abi.absent] row agrees with the archive: 21 row(s)

被排除的五个源文件（epoll / timerfd / eventfd / signalfd / inotify）是无条件排除的，所以这一点按构造在每个目标上都一样——这次核验的是「按构造」这句话本身。