GitHub 趋势研究

本日最值得记的不是四个项目各自的领域，而是**同一件事在三种完全不同的技术层里被同时做出来：把'我不做的事'写进可核验的位置，并且用机器检查而不是用承诺来兜底**。**第一，Apple 内核移植在 48 小时内长出第三条互不相识的路径**——oosexgang/hackios-xnu-kernel（1.7 天 1,064⭐ ⑂183 fork/star 17.2%，subs 4，oi 7）走的是**第四条路线：不改内核、不伪造平台契约，而是直接编译 Apple 开源的 XNU 源码并打补丁**（xnu-8796.121.2 = iOS 16.5 的内核），用自写 EFI loader + Mu-Silicium UEFI 移植 + 替代闭源驱动 + Linux Wi-Fi 驱动兼容层跑**未修改的 iOS 16.5 用户态**（launchd → backboardd → SpringBoard → apps），且**它把'我们自己的检查会骗我们'写成了整整一篇 docs/checks.md**——十一让检查说谎的方式，每一条都附了真实代价（'被跳过的检查没有计数'让 68+3+7=78 这个和式把 78 项里的未检查项也算成了匹配）；**第二，theorem-labs/oss-verify-proofs（92⭐ ⑂6，subs 0，Rocq Prover）把'我证明了什么'与'我没证明什么'做成了可执行的形式**——20,164 条 statement 里 138 条已证、19,797 条仍 open，README 用一整节 'What a proof does not say' 逐条列出边界（不证明库正确、不覆盖整个库、只针对 riscv64 静态二进制而非源码、**没有一条 proof 证明 halts 所以不能排除永不终止的运行**），且把信任边界写成了一张清单（Rocq 内核与 vm_compute、LPS 语义模型、elf-snapshot 工具、oft check 对 Print Assumptions 的读取）；**第三，xevrion/hatchzip（2.5 天 888⭐ ⑂17，fork/star 1.9%，Rust + Apache-2.0）把'破坏性操作'变成了一个带不变量的工程**——它从归档尾部反向解压并边解压边截断归档文件（因为只有截尾在各文件系统上都可用，打洞不支持 FAT32/exFAT），AGENTS.md 第一条原则即'The tool destroys its input. The invariant is absolute'，并且**它拒绝在改动任何东西之前先算一遍'能不能装下'——7-Zip 默认把整个归档压成一个 solid block 时它直接拒绝执行，因为那块在解压完成前一点空间都释放不了**；**第四，haplollc/Vesalius（1.7 天 61⭐ ⑂1，Swift）用一个诚实的 benchmark 回答了'agent 到底会不会用我的 MCP'**——第一轮 24 次运行里 agent 只调用了 2 次，所以那一轮的 token 差距**主要是噪声**，作者把这个失败写进 README 而不是藏起来，重做后 20/20 次都调用，token 减 51%、质量 −0.5 分、且**它逐类列出'我没有赢的地方'（哪里功能在哪 −2.1 分、符号在哪 −1.7 分）**。**必须同时说清的热度限定**：本日四个项目 fork-star 为 17.2% / 1.9% / 6.5% / 1.6%，**依然不可横向比较**——HackiOS 的高比例对应'fork 去移植自己的机型'（仓库明写 common/new-device.sh + docs/PORTING.md + 设备 profile 模板），oss-verify 的 6.5% 对应'fork 去读证明语句'，hatchzip 的 1.9% 与 Vesalius 的 1.6% 对应'**不需要 fork，只需等待上游或直接下载安装包**'；**连续第四天观察到同一条分界线**。**而本日最刺眼的一条是生态层面的**：2026-10-22 12:24–12:28 之间，**至少 11 个互不相关的仓库在 8 分钟内集中发布**，全部使用 12 位随机字符的 owner 名（cs2-external-esp / pubg-external-esp / ff-external-esp / dbd-external-esp / deadlock-external / yt-view-bot / roblox-account-switcher / tiktok-dm-blaster / tiktok-view-bot / twitch-viewer-bot-ai / warzone-dlc-unlocker / pdf-annotate），**其中 9 个是 ESP 外挂、刷量机器人或账号切换器**——这是**可核验的批量账号行为**，不是有机增长。

本日最值得记的不是四个项目各自的领域，而是**同一件事在三种完全不同的技术层里被同时做出来：把'我不做的事'写进可核验的位置，并且用机器检查而不是用承诺来兜底**。**第一，Apple 内核移植在 48 小时内长出第三条互不相识的路径**——oosexgang/hackios-xnu-kernel（1.7 天 1,064⭐ ⑂183 fork/star 17.2%，subs 4，oi 7）走的是**第四条路线：不改内核、不伪造平台契约，而是直接编译 Apple 开源的 XNU 源码并打补丁**（xnu-8796.121.2 = iOS 16.5 的内核），用自写 EFI loader + Mu-Silicium UEFI 移植 + 替代闭源驱动 + Linux Wi-Fi 驱动兼容层跑**未修改的 iOS 16.5 用户态**（launchd → backboardd → SpringBoard → apps），且**它把'我们自己的检查会骗我们'写成了整整一篇 docs/checks.md**——十一让检查说谎的方式，每一条都附了真实代价（'被跳过的检查没有计数'让 68+3+7=78 这个和式把 78 项里的未检查项也算成了匹配）；**第二，theorem-labs/oss-verify-proofs（92⭐ ⑂6，subs 0，Rocq Prover）把'我证明了什么'与'我没证明什么'做成了可执行的形式**——20,164 条 statement 里 138 条已证、19,797 条仍 open，README 用一整节 'What a proof does not say' 逐条列出边界（不证明库正确、不覆盖整个库、只针对 riscv64 静态二进制而非源码、**没有一条 proof 证明 halts 所以不能排除永不终止的运行**），且把信任边界写成了一张清单（Rocq 内核与 vm_compute、LPS 语义模型、elf-snapshot 工具、oft check 对 Print Assumptions 的读取）；**第三，xevrion/hatchzip（2.5 天 888⭐ ⑂17，fork/star 1.9%，Rust + Apache-2.0）把'破坏性操作'变成了一个带不变量的工程**——它从归档尾部反向解压并边解压边截断归档文件（因为只有截尾在各文件系统上都可用，打洞不支持 FAT32/exFAT），AGENTS.md 第一条原则即'The tool destroys its input. The invariant is absolute'，并且**它拒绝在改动任何东西之前先算一遍'能不能装下'——7-Zip 默认把整个归档压成一个 solid block 时它直接拒绝执行，因为那块在解压完成前一点空间都释放不了**；**第四，haplollc/Vesalius（1.7 天 61⭐ ⑂1，Swift）用一个诚实的 benchmark 回答了'agent 到底会不会用我的 MCP'**——第一轮 24 次运行里 agent 只调用了 2 次，所以那一轮的 token 差距**主要是噪声**，作者把这个失败写进 README 而不是藏起来，重做后 20/20 次都调用，token 减 51%、质量 −0.5 分、且**它逐类列出'我没有赢的地方'（哪里功能在哪 −2.1 分、符号在哪 −1.7 分）**。**必须同时说清的热度限定**：本日四个项目 fork-star 为 17.2% / 1.9% / 6.5% / 1.6%，**依然不可横向比较**——HackiOS 的高比例对应'fork 去移植自己的机型'（仓库明写 common/new-device.sh + docs/PORTING.md + 设备 profile 模板），oss-verify 的 6.5% 对应'fork 去读证明语句'，hatchzip 的 1.9% 与 Vesalius 的 1.6% 对应'**不需要 fork，只需等待上游或直接下载安装包**'；**连续第四天观察到同一条分界线**。**而本日最刺眼的一条是生态层面的**：2026-10-22 12:24–12:28 之间，**至少 11 个互不相关的仓库在 8 分钟内集中发布**，全部使用 12 位随机字符的 owner 名（cs2-external-esp / pubg-external-esp / ff-external-esp / dbd-external-esp / deadlock-external / yt-view-bot / roblox-account-switcher / tiktok-dm-blaster / tiktok-view-bot / twitch-viewer-bot-ai / warzone-dlc-unlocker / pdf-annotate），**其中 9 个是 ESP 外挂、刷量机器人或账号切换器**——这是**可核验的批量账号行为**，不是有机增长。 今日头条趋势:Apple 内核移植的第三条路径：不改内核、不伪造平台契约，而是直接编译 Apple 开源的 XNU 源码并打补丁。oosexgang/hackios-xnu-kernel（1.7 天 1,064⭐ ⑂183 fork/star 17.2%，subs 4 oi 7，NOASSERTION，20677 KB）以 xnu-8796.121.2（iOS 16.5 内核）为基线，配自写 EFI loader（xnuloader/loader.c，clang+lld-link，无 EDK2）、Mu-Silicium UEFI 移植（uefi/ + mkxnuimg.py，打包出 hackios-redwood-boot.img 供 fastboot boot）、Apple 闭源驱动的替代实现（IOSurface / IOMobileFramebuffer / AppleKeyStore / 网络栈）、Linux Wi-Fi 驱动（WCN6750 via ath11k + LinuxKPI 层）与 Metal 驱动工作（Mesa 25.0.7 + AIR 前端，docs/air.md 记录 456 个系统 shader 中 293 个已在 Adreno 642L 上运行），**跑未修改的 iOS 16.5 用户态**（'The iOS programs, frameworks and dyld shared cache are not changed by a single byte'，缺失部分由内核替代驱动或 DYLD_INSERT_LIBRARIES 注入库补齐）。它跑在两处：POCO X5 Pro 5G（redwood / Snapdragon 778G，fastboot boot 不写闪存，重启即回 Android）与 QEMU aarch64（无需真机）。**README 用两列表格逐项写明 What works / Does not work (yet)**（蜂窝、蓝牙、本内核下充电、App Store 与 Apple ID 登录因无 Secure Enclave 而不可用、视频与实况照片不可用）。**最值得记的是 docs/checks.md——'How our own checks lie'：十一让检查说谎的方式 + 一条对策，每条都附真实代价**（被跳过的检查没有计数 → 68+3+7=78 的和式把未检查项算成匹配；被静默的命令（patch -s --dry-run 返回 0 却不说话）被读成'恰好适用'；从缺席推断（'日志里没有' ≠ '没发生'，日志中间段被丢弃；grep 的视野问题导致漏掉二十行之上的守卫；一个从不触发的看门狗只有在同时给出运行次数（26/26 零漂移）时才证明任何事）**且它明写 'missing information reads as a missing problem'**。⚠️ 许可为 NOASSERTION 而 LICENSE 首行是 'APPLE PUBLIC SOURCE LICENSE Version 2.0 - August 6, 2003'（APSL 2.0，与 GPL 不同的 copyleft，含专利报复条款）——**这是本批第四处可核验的元数据不一致。