The stochastic sampling output mechanism of existing large language models, their non-enumerable failure modes, and their input spaces that are nearly impossible to exhaustively test make them almost incapable of passing the deterministic verification processes required by ASIL-C or ASIL-D certification.