Separate consistency checks from unhandled faults in the documentation