executable specs for the todo-backend API