Outcome of validate. Ok carries the parsed words as integer sets (useful for downstream engine glue); Invalid carries one human-readable message per problem found.