execute procedure docs: re-include pass/fail description