I guess the path to get that done is pack the current state of the design into a file that is easiest to read (PDF maybe) and then send it off to the axiom-dev mailing list together with a description of what exactly needs being checked/verified?