AI 中文总结
OSFoundry通过SysSpec*持久化设计意图，分离稳定意图与实现，用规范引导智能体构建和演进操作系统，在生成、优化和缺陷修复任务中显著提升性能与准确率。
AI 中文摘要
操作系统必须持续演进。然而，其开发仍以代码为中心且很大程度上依赖人工：即使是一个局部修改，也可能需要恢复隐式假设、协调多个子系统，并反复构建、启动、测试和调试整个系统。通用编码智能体可自动化单个编辑，但其以提示为中心的工作流会从零散上下文中反复重建任务边界和操作系统语义，限制了其在持续操作系统演进中的可靠性。本文提出OSFoundry，一个操作系统专用的智能体框架，使设计意图在整个操作系统开发过程中保持持久。其关键洞察是将稳定的意图与多样的实现分离。OSFoundry不依赖自由形式的自然语言提示来传达设计意图，而是使用SysSpec*，一个共享的开发蓝图，包含任务边界计划（Plan）和操作系统特定规范（Specification）：计划界定变更应实现的目标，而规范记录实现必须保留的接口、模块依赖和并发语义。智能体依据该蓝图实现并验证代码，当执行或审查暴露不匹配时，同时精炼SysSpec*和实现。我们从三个方面评估OSFoundry。首先，OSFoundry从SysSpec*生成SpecOS；生成的操作系统可启动并通过全部70项功能测试。其次，规范补丁演进SpecOS，添加GUI和三项性能优化，性能提升最高达4.41倍。第三，在11个近期Linux内核缺陷修复任务中，OSFoundry使用GPT-5.5达到Codex准确率的1.8倍。这些结果表明，持久规范可将操作系统构建和演进从重复的人工内核工程转向规范引导的开发。
英文摘要
Operating systems must evolve continuously. Yet their development remains code-centric and largely manual: even a localized change can require recovering implicit assumptions, coordinating multiple subsystems, and repeatedly building, booting, testing, and debugging the complete system. General-purpose coding agents automate individual edits, but their prompt-centric workflows repeatedly reconstruct task boundaries and OS semantics from scattered context, limiting their reliability for sustained OS evolution. This paper presents OSFoundry, an OS-specialized agent harness that makes design intent persistent throughout OS development. Its key insight is to separate stable intent from diverse implementation. Instead of relying on free-form natural-language prompts to convey design intent, OSFoundry uses SysSpec*, a shared development blueprint comprising a task-bounding Plan and an OS-specific Specification: the Plan bounds what a change should achieve, while the Specification records the interfaces, modular dependencies, and concurrency semantics that its implementation must preserve. Agents implement and validate code against this same blueprint, refining both SysSpec* and the implementation when execution or review exposes a mismatch. We evaluate OSFoundry along three ways. First, OSFoundry generates SpecOS from SysSpec*; the resulting complete OS boots and passes all 70 functional tests. Second, specification patches evolve SpecOS with a GUI and three performance optimizations that improve performance by up to 4.41x. Third, across 11 recent Linux-kernel bug-fix tasks, OSFoundry achieves 1.8x the accuracy of Codex using GPT-5.5. These results show that persistent specifications can shift OS construction and evolution from repeated manual kernel engineering toward specification-guided development.
