System Validation JA

See the main page of Formal Run Results for description of a word or a phrase in the header field.