Pre-Ship vs. Runtime Security, Explained | Finite State