specdoc outputs json