@misc{indiciaeaf36c45ec79c,
  title = {System Capybara: Tracking Capabilities for Separation and Freshness (Extended Version)},
  author = {Yichen Xu and Oliver Bračevac and Cao Nguyen Pham and Yaoyu Zhao and Martin Odersky},
  year = {2026},
  url = {https://arxiv.org/abs/2607.09383},
  note = {Source identifier: 2607.09383}
}