I was recently given (by xorxes, I think)
http://www.lojban.org/tiki/tiki-index.php?page=BPFK+Section%3A+Evidentials&bl as the page where I can see the progress of the cmavo definition project. Lots of stuff there, but I really can't figure out which cmavos have been done and which remain to be done. Most cmavos there have proposed definitions, and some have been voted on. At what point is the definition considered done? What is checkpointing? Can anybody explain this page?