validate

Returns the problems found validating catalog against descriptor. An empty list means every nominated input/output resolves and every declared kind matches.