emit a string describing why code cannot validate, when it can't