The Predictive SI Runtime: Dashboard Variables, Output States, and the Falsification Ledger | Synapse