Server: use new StateMachine view of lastApplied