Until I read your post, it never occurred to me you were confused by the ambiguous implications of "verification".

You remind me how easy it is, once you get the jargon and the concepts, to not actually write out everything into a form someone from the outside can understand.