pub fn validate_all(pack: &Pack) -> DkpResult<Vec<String>>
Validate all procedures in machine/procedures/ for Gate 4.
Returns a list of human-readable error strings (empty = all pass).