Starboard：为卫星避碰制定的让行规则协议开源

作者发布 Starboard 协议，用类似海上避碰规则的五条规则链让两颗卫星各自算出谁让行，无需通信即可达成一致。参考实现为 43 KB 的 C99 库，在 58 种编译器组合和 11 种 CPU 架构上产生位级一致结果，并附有机器检查的一致性定理。作者明确说明尚未经过真实飞行验证，所有证据来自仿真，共享 CDM 输入和注册表运营仍是未解问题。