Runtime Assurance

這篇論文真正有價值的地方，不是在做一個更像真的模擬器，而是把 spoofing、replay、sensor degradation、語意 provenance 與 hold-safe 收斂邏輯，變成可觀察、可重複、可量測的 security test。