第 18 页

README 是可执行文件

把 README 的每一句声明当断言跑一遍——6 条主要断言全对，唯一说谎的地方是 `package.json` 里第 4 个脚本 `npm run check`：文档一次没提、CI 也一次没跑。

实测一个 64 提交的回归引入点，`git bisect run` 只判定 6 个提交、9.5 秒定位——但它的前置条件比命令本身重要得多：产物入库会让整条路随机罢工。

让工具管格式、人管意图——实测一个纯格式化提交会劫走 86 行文件里 21 行的 blame 归属（`git diff -w` 只能救回 2 行），而它改动前后的机器码 162 条指令逐字节相同。

实测：100% 行覆盖只杀掉 11 个植入缺陷中的 7 个；补 3 个测试覆盖率只涨 0.47 个百分点，变异杀死率涨 27.3 个百分点——覆盖率考输入，变异考断言。

实测：9000 字节 MTU 的边界是 8972 能过、8973 报“需要拆分数据包但是设置 DF”；一次失败解析发出两条 who-has 后邻居状态变 Unreachable。

实测：40 条 IPv4 路由里 21 条是 /32；五个子网广播地址手算后与内核路由逐条对上；ICMP 差错报文被内核截到 576 字节。

本机 Npcap 实测：1 字节应用数据在回环上是 45 字节帧、在 9000 MTU 链路上封装成 9000 字节帧；一次完整 TCP 生命周期只用 9 帧 452 微秒。

实测：本机 TIME_WAIT 只停留 119–120 秒；backlog=5 时 40 条 SYN 只有 5 条拿到 SYN/ACK；每请求新建连接的成本是复用的 5.9 倍。