Added doxygen comments for invariants in the commitment structure