f452652f54
Functional steps updated and passing, along with specs. Proof being maintained seemed off, but it's not persisted, just used for setting platform. MSP-9708 #land