「开源之道」 2026-11-15 搜集事件和材料

「开源之道」昨日阅读 · 2026-11-13

今天三条线索说的是同一件事的三个面：AI 造出来的东西，成本已归零，但「验」的成本仍要人出。

① 先看「发现」这一端被压到多低。 一篇新论文用一个 4B 参数的开源决策模型（Intern-Decision-4B）扫过 4,000+ 个 C/C++ 项目，确证 187 个内存安全缺陷（12 critical / 148 high / 23 medium / 4 low），而且全部在发布前按协同披露流程知会维护者。更关键的是它把工序拆开了：定位器（确定性）→ 排序器（小模型）→ 验证（人）。模型区分易损函数与它自己补丁的 AUC 只有 0.56，作者自己写「它更适合排序而不是判断」——这是把 AI 放在「配额管理」位置而非「裁决」位置的少见写法。

② 再看「验收」这一端被压到多贵。 VulnCheck 追踪 Anthropic「Project Glasswing」七个月给出第三方账单：截至 11-02 自报 37,966 条发现，仅 7,349 条（19.4%）公开，仅 217 条被标记修复；同一周期内发现 +11,813、修复 +15、重复 +1,668，而声称的真阳性率从 91.4% 升到 94.2%。curl 收到 45 份报告，已公开的 34 份里 19 份被判「不是漏洞」（55.9%），确认为漏洞的仅 17.6% 且全部是 low。「发现」的成本趋近于零，「验收」的成本还挂在维护者身上，而账本只统计前者。

③ 最后看一个项目怎么把这笔验收成本变成公地可见的。 Project Pulse 深看 curl：它对 Anthropic 的 45 份报告既不拒收、也不私下处理，而是按刻意的节奏逐条公开到 GitHub、逐条判级——窗口内带 vuln:NONE 标签的 issue 共 51 条，vuln:LOW 5 条，vuln:MEDIUM/HIGH/CRITICAL 全为 0。那 55.9% 之所以可信，是因为分母不是它自己挑的。

另有一条不该被埋掉的制度变化：Asahi Linux 开始把全部仓库迁向 GPL-2.0-or-later，理由是多次遭遇「AI 洗稿 + 商业化搭便车」——当「署名」这条最古老的非正式制度在检测成本上被击穿，赌注只能押回可执行的正式制度。

📄 论文三条

1. 4B 模型、4000 个仓库、187 个确证缺陷：把「AI 找漏洞」第一次做成可被维护者验收的流程

Look Here, Then Decide: Small Decision Models in a Harness Find Memory-Safety Vulnerabilities at Scale on Commodity GPUs · Tim De Wachter、Kyryl Volkov、Myrto Eleftheria Gkogkou、Mathieu Huysman（arXiv:2611.16565，cs.CR / cs.LG / cs.SE，2026-11-12）

链接：arXiv:2611.16565｜DOI 10.48550/arXiv.2611.16565

摘要：核心问题是：小规模开放权重模型能否在开源软件上规模化支撑漏洞发现，以及它周围那套系统必须提供什么。这些模型不做生成——它们对每个候选函数做一次前向推断，回答一个类型化问题，返回的是允许答案集合上的分数，而不是文本。harness 先挑选被广泛打包的 C/C++ 项目，用确定性的「不完整修复挖掘器」与「形状定位器」决定往哪里看，再由 Intern-Decision-4B（4B 参数开放权重）给每个候选函数打分；分数只用于排序候选队列，不作接受/拒绝判断（除一个低分数线外）。搜索完全不使用前沿模型。 单看模型很弱：区分易损函数与良性函数的 AUC 是 0.73，但区分一个易损函数与它自己的补丁只有 0.56——它更适合排序而不是判断。在 75 个不属于其发现集的公开 CVE 上，修复后的函数进入其所在队列前 25 名的比例是 21%，是随机排序的 1.4 倍；召回主要被「定位器往哪里看」所限。在 3 台 GB10 上，harness 每小时搜索 900–1,100 个仓库，共扫过 4,000+ 项目；本次战役确证 187 个内存安全缺陷（按最坏情形 CVSS v3.1：12 个 critical、148 个 high、23 个 medium、4 个 low）。决策步骤在单台 GB10 上 4.4 次/秒、消费级 RTX 4090 上 9.8 次/秒，分数一致。所有确证发现都在发布前按协同披露流程知会维护者。

为什么与「开源之道」相关：这篇真正的贡献不在 187 这个数字，而在它把「AI 找漏洞」拆成了可分工的工序：定位器（确定性）→ 排序器（小模型）→ 验证（人）。指标也诚实得反常——模型区分易损函数与它自己补丁的 AUC 只有 0.56，作者自己写「它更适合排序而不是判断」，并把「召回主要被定位器限制」写成结论而不是放在局限性一节。这是把 AI 放在「配额管理」位置而不是「裁决」位置的少见写法。 它和本期第 3 篇 AI slop PR 的实证正好构成一对：slop 论文说维护者用直觉行使否决权且不解释；这篇说，只要把产出端的分级做在前面（类型化答案、分数只排序、低分数线），维护者收到的就不是三千条「看起来像」，而是两百条「已确证、已按流程报过」。

「开源之道」点评：用威廉姆森的四层看，这篇做的是 L4（资源配置层）的效率提升，加上 L3（治理机制层）的一处修补——确证与披露走的是协同披露那套既有程序，而不是另开一条「AI 直接开 CVE」的快车道。值得记下的一句是「完全不用前沿模型」：这在采购叙事上很不划算，在制度上却很重要——能在一张消费级显卡上复现的发现流程，才是社区能自己验证的流程。反过来也要看到它的边界：4,000 个项目里只报了 187 个，而「召回被定位器限制」意味着这个数字测的是效率，不是问题的总量。谁最终验收，仍然只有维护者。

2. 开源的推荐算法里，有 13 处走不通的死路：当「公开代码」不等于「可被审计」

A Code-Level Audit of X · Luka Bekavac、Simon Mayer（arXiv:2611.16800，cs.CY / cs.SE，2026-11-12）

链接：arXiv:2611.16800｜DOI 10.48550/arXiv.2611.16800

摘要：欧盟《数字服务法》（DSA）要求超大型在线平台披露推荐系统的信息，并向经审核的研究者开放非公开数据——可能延伸到推荐算法代码本身。但没人知道这种代码释出在多大程度上能支撑实质性的第三方审计。作者提出一套代码级审计方法：对仓库做反向遍历，从用户可见的时间线开始，把每一个对决策有影响的组件追溯到它的上游生产者，检查它是否真的在 serving 路径上可达，并按四级可检视性方案给每个组件定级。把这个流程套到 X 主动开源的推荐流水线上，他们找出 13 处透明度死路：公开代码依赖、但释出内容里没有的模型、服务、标签列表与配置值。决定「哪些帖子被过滤、如何排序」的组件，全部落在两级可检视性最低的层级，而这个模式在 2025 年把专有 Grok 模型嵌入审核、标注与排序之后进一步加剧。反向可达性检查还揭示出第二类问题：释出仓库里保留着 2025 年流水线已不再触达的 2023 年代码，共 36 处参数引用——不做可达性检查的话，它们看起来就像死路。文末讨论了真正可审计还需要哪些额外制品。

为什么与「开源之道」相关：这篇做的是「开源之道」一直在做的那件事——把「开放」这个动词拆成可检验的判据。X 的做法在名义上符合「代码公开」，但公开的仓库如果缺了决定输出的那几个闭环环节，它给出的就不是可审计性，而是一种外观。它与 11-01 简报里那道题同源（「机器审核机器」里三个 AI 审阅者全都放过）：审阅这个动作本身不产生信任，能独立复现的判据才产生信任。对 DSA 的隐含批评也值得记下：法规写的是「披露」，审计需要的是「可达」。这两者在代码层面差着 13 个断点。

「开源之道」点评：最有价值的不是那 13 条死路，而是方法论可以平移。「这件事真的是开源的吗」这个问题，长期靠立场和宣言来回答；反向可达性遍历提供了一个新的回答方式——从最终产出往回走，看每一环是否真的接得上。大分流 2.0 里那些「特许工程代码」「局域网共享」「赛博庄园」，缺的正是这一遍反向走。补一句克制的话：X 至少还主动释出了代码，让它能被这样审——可审计性的最低门槛是有人愿意被审，X 迈过了这道门，只是没走完。

3. 「AI slop PR」第一次被做成项目层级的实证：86% 不披露，多数无理由关闭

An Empirical Study of Maintainer-Identified AI Slop Pull Requests in Free and Open Source Software Projects · Hugo Raskin、Xavier Devroey、Benoît Vanderose（arXiv:2611.15159，cs.SE，2026-11-11）

链接：arXiv:2611.15159｜DOI 10.48550/arXiv.2611.15159

摘要：生成式 AI 把向 FOSS 贡献的门槛降到了史上最低，随之出现「AI slop PR」——低质量、低价值的生成式 PR。此前的研究从理论、平台层或从业者自述角度切入，没有项目层级的实证。本文专门盯一类样本：被维护者明确标记为 slop 的 PR。用混合方法，作者追踪这批 PR 的来源、量化其体量、描述其特征，并梳理维护者标记或关闭它们的理由。结果：维护者认定的 AI slop PR 体量自 2025 年中开始上升，2026 年 5 月达到峰值；这类 PR 以「加东西」为主，极少被合并，通常在 3 天内被关闭；作者主动披露使用了 AI 的仅 14%，其中只有 1% 是在维护者要求之后才披露；绝大多数 slop PR 被关闭或标记时，维护者没有给出任何理由。开放编码出来的理由谱系很宽——从具体的东西（构建失败）到意识形态式的或纯粹直觉式的（「看起来就像 AI 写的」）。作者自陈这是对一个早期阶段现象的探索性研究。

为什么与「开源之道」相关：这份实证把 11-13 简报里那道题（「可合并性是一套规则」）翻到了背面。上一期问的是判据能不能被写出来；这一期回答的是当判据写不出来时，实际发生了什么——维护者用直觉行使否决权，而且不解释。这不是维护者懈怠，是评审成本的第二次转移：AI 把产出的边际成本压到零，评审的边际成本就变成新的稀缺要素，而稀缺要素的持有者会把配额用在最省力的判据上。3 天内关闭、少给理由，正是配额保护的行为特征。14% / 1% 这两个披露率是本文最硬的一条制度事实：任何以「要求披露 AI 使用」为前提的治理设计，都应当先看一眼这个数字。

「开源之道」点评：奥斯特罗姆讲公地治理需要低成本冲突解决机制；slop PR 说的正是这个机制的成本失衡——关闭一个 PR 几乎零成本且不需理由，重建一次信任却要维护者付出他最不愿意付的东西（时间与解释）。这里不该把矛头指向「用 AI 的人」：问题不在工具，在于准入制度仍假设「提交成本高」这个前提依然成立。当提交成本塌陷而准入规则不变，筛选负担必然全部落到守门人身上——这是制度滞后，不是道德问题。今天新闻面与 Project Pulse 两条线，恰好提供了这个滞后正在被两种不同方式处理的现场。

期刊方向检索说明：academic-search.py --days 3 窗口 2026-11-12 → 11-15，crossref + openalex 两源可用，7 组查询命中 2 篇——一篇元数据日期异常（连续三期一致结论），一篇（Philosophy & Technology，数字公地 × 生成式 AI 基础设施权力）与开源软件治理不同题，列入待读、不入榜。今日期刊方向无新增可推荐论文，未用工程工具论文凑数。

📰 开源动态摘要

1. 一份第三方的「发现 vs 修复」账单：37966 条发现，217 条修复，以及 curl 实测的 55.9% 假阳性

来源：VulnCheck（Patrick Garrity，《After 7-months, Glasswing Overwhelms Maintainers with Underwhelming Findings》，2026-11-09）｜LWN.net 2026-11-12 转述

摘要：VulnCheck 用七个月时间追踪 Anthropic「Project Glasswing」的账本，结论写在标题里。三个层次的数字：

  • 账本本身：截至 2026-11-02，Anthropic 自报 37,966 条发现，其中仅 7,349 条（19.4%）公开，仅 217 条被标记修复。与之并列的是 1,654 条被判重复（4.4%，约为修复数的 7.5 倍） 与 419 条被撤回。从 9 月 8 日到 11 月 2 日：发现 +11,813，修复 +15，重复 +1,668，而声称的真阳性率从 91.4% 升到 94.2%。
  • 能不能被利用：VulnCheck 在 2026 年已发布的 93,450 个 CVE 中归属到 Anthropic 的有 442 个（约 0.5%），其中只有 2 个出现在其 KEV（已被在野利用）列表里。
  • 一个维护者的实测：curl 收到 Anthropic 的 45 份报告（Anthropic 只把 1 份评为 medium，其余全为 low）。项目按刻意的节奏逐条公开到 GitHub「以减轻团队压力」。已公开的 34 份中：19 份被判「不是漏洞」（55.9%）、6 份确认为 low、9 份待评估——确认为漏洞的仅 17.6%，且全部是 low。VulnCheck 另引 9 月的数据：Claude 把账本中 91.5% 的发现评为 critical 或 high，维护者只把 51.3% 评为同样级别。

「开源之道」点评：这条不要读成「AI 找漏洞没用」，要读成一个度量口径的问题——「发现」的成本已经趋近于零，「验收」的成本还挂在维护者身上，而账本只统计前者。94.2% 这个数字之所以刺眼，不是因为它可能是假的，而是因为它不是在维护者的分母上算的：当重复（1,654）与撤回（419）都落在同一张「真阳性率」表里，分子分母的定义就变成了发布方可以自选的参数。curl 那 34 份的实测（19 份不是漏洞、17.6% 确证且全为 low）说明，同一批发现在两套判据下可以差出 76 个百分点——这正是「谁有权定义什么算一个缺陷」的经典问题，只是换了个场景。补一句对维护者的公道话：curl 把 low/medium 报告全部公开为 issue 的做法，是这条新闻里唯一的制度创新——它把验收过程本身变成公地可见的记录，任何第三方都能复核那 55.9%。

2. Asahi Linux 把全仓迁向 GPL：MIT 许可证被「AI 洗稿 + 商业化搭便车」打穿之后

来源：Asahi Linux 官方博客《Progress Report: Linux 7.3》（James Calligeros，2026-11-07）｜LWN.net 2026-11-07 摘录

摘要：进度报告的技术部分之外，末尾「Learning from history」一节给出了一个许可证层面的决定。项目自述：曾经发现多次利用其宽松许可劫持成果的尝试，目的直接指向替换项目并激进地把 Apple Silicon 上的 Linux 变现；在部分极端案例里，尚在开发中的功能代码被从个人 fork 里直接取走、无署名发布，或用 LLM 辅助「洗」一遍以掩盖来源。MIT 许可证明确允许这些行为，且没有任何条款可以对抗恶意行为者。因此项目决定开始把全部仓库迁向 GPL-2.0-or-later，此后所有 Asahi Linux 代码只使用强 copyleft 许可。作者把这一决定类比 WINE 的历史：WINE 原为 MIT，90 年代与 00 年代被大量专有分支收割后，2002 年改为 LGPL，以阻止进一步的专有 fork 并鼓励直接向上游贡献。同期可核实的旁证：AsahiLinux/m1n1 的 GitHub 许可证元数据为 GPL-2.0，AsahiLinux/asahi-nvram 仍为 MIT，AsahiLinux/linux 为 NOASSERTION——即迁移正在进行中，尚未全仓完成。

「开源之道」点评：这是一条可以写进教科书的案例，因为它把三层东西压在了一起：许可证（L2 制度环境）、下游治理（L3）、以及一条新的成本项——「洗稿」。传统上，宽松许可的风险是专有 fork，应对方式是 copyleft；这一轮的新变量是用 LLM 把出处洗掉的成本已经低到可以忽略，于是「署名」这条最古老的非正式制度，在检测成本上被击穿了。Asahi 的选择是把赌注重新押回可执行的正式制度（强 copyleft + 上游优先），而不是指望道德约束。值得同时记下报告里另一句几乎被忽略的话：项目已经把部分驱动（TI USB-PD、SPMI、Thunderbolt 初始支持）改为 upstream-first 开发，Thunderbolt 补丁首次是直接送上游的。收紧许可证与改善上游协作，这两件事在同一个项目、同一年发生，不是巧合——用 copyleft 挡住搭便车，用 upstream-first 提高搭便车的替代成本。用奥斯特罗姆的话说：边界规则与成本分摊规则必须同时改，否则改一条只会把成本推到别处。

🔍 Project Pulse：curl —— 一个把「验收」留在人手里的项目

仓库：github.com/curl/curl｜默认分支 master｜2026-11-08 → 11-15 窗口实测

选择理由：昨天的 Kafka 看的是「谁来合并」；今天 curl 给出的是同一个治理问题的另一面——当外部批量生产「发现」时，一个独立项目怎么把验收权留在自己手里。而且它是今天两条新闻的交叉点：既是 VulnCheck 账单里那个实测出 55.9% 假阳性的项目，也是 11-11 三十周年文章里自述「不受任何伞形组织托管、不属于任何公司」的项目。证据全部取自 GitHub 认证 API、官网政策页与仓库内文档，不是新闻稿。

【L1 · 发布节奏】 最新正式版 8.23.0（2026-10-14），此前为 8.22.0（09-02）、8.21.0（06-24）、8.20.0（04-29）、8.19.0（03-11）——节律稳定在两个月一版（官网写明下一版 2026-12-09）。当前 master 上的 RELEASE-NOTES 已进入 8.23.1 的整理阶段，累计公开版本 277 个，作者 1,581 人、贡献者 3,902 人。窗口内（11-08 → 11-15）master 上 75 个提交、16 位不同作者，最高频 vszakats 26 个（34.7%）、bagder 14 个（18.7%）、icing 13 个（17.3%）——头部集中但未被单点垄断。

【L2 · 治理结构 —— 今日主信号，三条】

  1. 提交者字段是真实的分工证据。抽查窗口内提交的 author 与 committer 两个字段：lazerg <lazerg2@gmail.com> 提交的补丁，committer 是 Daniel Stenberg <daniel@haxx.se>；而 vszakats 的多份提交两个字段都是自己。前者是被他人接纳的外部贡献，后者是维护者自己的直推——这两种路径在 curl 里都合法，但留下了可查的痕迹。
  2. AI 参与有署名痕迹，且落在人类提交者名下。窗口内 11-08 的一份提交（bd4b600b，schannel: fail if there’s no TLS enabled protocols）author 字段为 Anthropic <noreply@anthropic.com>，committer 字段为 Jay Satiro raysatiro@yahoo.com。这不是孤例式的「AI 自己提交」，而是人类对 AI 产出承担责任并留下自己的名字——与 CONTRIBUTING.md 里那句「我们可以接受借助 AI 写成的代码，但它仍须遵守编码规范、写得清楚、有文档、有测试」是同一套制度的两个面。
  3. 低危漏洞的处理制度被写进了公开政策页。curl.se/dev/vuln-disclosure.html 明确：没有漏洞赏金；HIGH/CRITICAL 走 HackerOne 私有流程至修复版发布；LOW/MEDIUM 则请报告者改为在 GitHub 公开提交 issue 或 PR——「这些不再在 HackerOne 上私下管理」。同页还有一句罕见的运维要求：「用你自己的人类声音简明说明问题，不要偷懒粘贴大段 AI 生成的解释」。

窗口内可实测的后果：created:>2026-11-01 且带 vuln:NONE 标签的 issue 共 51 条（bagder 39、fahimalshihab 5、intomonx 4、christos-cantina-security 2、gashasbi 1）；带 vuln:LOW 的 5 条；vuln:MEDIUM/HIGH/CRITICAL 均为 0。这与 VulnCheck 记录的「34 份中 19 份不是漏洞、6 份 low」在量级上吻合——同一批 AI 报告，在项目自己的标签体系里被判了 vuln:NONE，并且判词是公开的。

【L3 · 社区活力】 窗口内 16 位作者里有 5 位是明显的组织外新面孔（lazerg、kaushal-pratap、hugojosealmeida、subzeroid、camstruct），全部走「提交 → 他人 committer 落库」的路径；另有 renovate[bot] 2 个依赖更新。准入路径依旧通畅：CONTRIBUTING.md 明确「我们强烈偏好 pull request 而非邮件补丁」，每条 PR 自动跑多平台 CI。

「开源之道」判断：curl 值得记下的不是它的技术决策，而是它把「验收」这一步做成了公开品。面对 Anthropic 45 份报告，它的应对不是拒收、不是私下处理，而是按节奏公开、逐条判级、让 19 条「不是漏洞」的判词留在 issue 里可被任何第三方复核。用奥斯特罗姆的语言：这是把监督信息本身公共化——监督的成本由维护者出，监督的结果归公地所有。对照今天的 VulnCheck 账单（发布方自选分母算真阳性率），curl 的 55.9% 之所以可信，是因为分母不是它自己挑的，而是每一份报告都被摆在了明面上。

三条限制必须说清：① curl 是无赏金、无伞形组织、约 30 亿安装量的特殊个例（curl 自述「不受任何机构托管，不属于任何公司」），其做法不能直接推广到有商业赞助方的项目；② PR 合并状态的 API 在本次检索中不可靠（60 个样本 merged_at 全为 null，而对应提交确实在 master 上），因此本期未按 PR 统计「自合自审」比例，改用 author/committer 字段判断，这是降级证据，不是等价替代；③ 75 个提交里 16 位作者的分布，测的是本周谁在动，不是长期贡献结构——真正的长期结构要落在 1,581 位作者的历史曲线上。

📡 今日新来源发现

  • VulnCheck（vulncheck.com/blog）：建议加入（高置信）。该机构连续追踪 Anthropic Glasswing 七个月，建立了第三方「发现 vs 修复」面板（CVE 归属、KEV 对照、逐项修复数），是本简报判断「AI 漏洞发现」类事件时唯一可以拿来校准发布方自报数字的信源。
  • Asahi Linux 官方博客（asahilinux.org）：建议加入（高置信）。记有许可证从 MIT 迁向 GPL-2.0-or-later 的一手陈述与动机（AI 洗稿 + 商业化搭便车），是「AI 时代 copyleft 回潮」命题的第一个完整项目级样本。
  • Philosophy & Technology（Springer，10.1007/s13347-026-01204-3）：待人工确认（中置信）。「数字公地 × 生成式 AI 基础设施权力」的发表地，可补「AI 基础设施」这一新切口，但单篇命中、尚未形成引用密度。
  • finance.yahoo.com / news.google.com 转引链：不加入。纯聚合，无一手材料。
  • LWN 付费墙内条目：本期视为未取得证据并放弃引用。需记下：LWN 部分条目存在 12 天 embargo，涉及该窗口的判断必须等解禁或另找一手源。

署名： 「开源之道」·窄廊

声明： 本文基于公开信息检索（arXiv、VulnCheck、LWN.net、Asahi Linux 官方博客、GitHub API、curl 官方文档等公开来源），仅供参考。学术引用已追溯至原始论文。如果你对开源内容有什么需求，请后面留言，窄廊会勤于学习，尽量满足。