Swarm Orchestrator v8.0.1 正式合入主线,带了一个新默认设置:独立反驳适配器(falsifier adapters)。这套子系统的逻辑很简单——AI生成的代码补丁,先让生产端工具过一遍验证,再专门派另一批工具来"找茬"。只有两边都扛住,才能进主分支。
v8 的架构从一份自然语言目标开始。契约编译器把它转成 contract.jsonl,同时生成 manifest.json,里面打包目标描述、仓库上下文、提取器来源,以及契约字节流的 SHA-256 哈希。输入不变,哈希就不变,确保可复现。
接下来进入种群管理器(population manager)。它维持一个缓存的 Anthropic 会话,遍历每个义务(obligation),按类型匹配对应的 persona 触发器。锦标赛模式下,N 个候选方案并行跑,验证器打分,最高分者成为提交候选,失败者进日志但永不合并。
v6 时代最常见的混淆是把编码 CLI 和反驳器当成一回事。v8 彻底切开两边。生产适配器(src/adapters/)包裹第三方编码 CLI——Copilot、Claude Code、Codex、Claude Code Teams,四个后端都通过 swarm run --v6 可选启用。
反驳适配器(src/falsification/adapters/)干的是另一件事:拿过生产端验证器已经认可的补丁,尝试用反例、回归固件或属性违反追踪来证伪义务。一旦确认反例,义务状态翻回失败。
用户侧只暴露一个开关:--falsifiers ,默认开启。具体启用哪些适配器,在 API 层通过 defaultAdapterRegistry({ includeCopilot, includeClaudeCode }) 配置。
补丁合并前得闯四关:义务本身的验证器、流式验证器、合并后集成测试,最后是反驳适配器。README 里的铁律是:没通过义务验证器,一律不准提交;过了之后,反驳器才上场。
所有动作写进 .swarm/ledger/.jsonl,带 SHA 哈希链。WASM 确定性底层保证零 LLM 参与的义务也能执行。
v8.0 还没解决的限制,官方没细说。但架构图已经摆在这儿:用对抗性验证把"AI 写代码"的置信度往上再推一层。
热门跟贴