TY  - RPRT
TI  - OSFoundry: Building and Evolving Operating Systems with Specification-Guided Agents
AU  - Hengbin Zhang
AU  - Qingyuan Liu
AU  - Mo Zou
AU  - Dong Du
AU  - Yubin Xia
AU  - Haibo Chen
PY  - 2026
UR  - https://arxiv.org/abs/2609.25018
ID  - 2609.25018
ER  -