spec docs, navi