Navigation::ProgramNavigator spec