轨道上的玻璃盒：用于可信自主立方星智能的宪法AI验证框架

摘要

本文提出了一种名为Glass Box的运行时宪法AI验证层，用于在轨道数据中心规模的自主AI系统做出错误决策前进行拦截和评估。该框架通过六个物理约束和七个线性时序逻辑安全不变量，确保每个候选动作都经过可解释性评分和审计日志记录，从而解决空间AI治理问题。