AirymaxOS v1.0.1 实现 Capability Folding 单平面架构，syscall 从 12 精简至 4，fastpath Badge 校验延迟降至 ~10ns，IPC 吞吐突破 100K msg/s。
Capability Folding 架构
Capability Folding 是 AirymaxOS 的核心架构创新，通过将多层级 Capability 验证折叠为单平面操作，大幅减少 IPC 路径上的验证开销。syscall 数量从 12 精简至 4，fastpath Badge 校验延迟降至 ~10ns 级别。
性能突破
在标准测试环境下，IPC 吞吐量突破 100K msg/s，较传统微内核架构提升显著。这一性能水平使 AirymaxOS 能够支撑高密度智能体并发场景，为生产环境部署提供了坚实保障。
工程意义
Capability Folding 的实现证明了 seL4 微内核思想在智能体操作系统场景下的可行性，为后续的安全认证和形式化验证奠定了基础。