пруф состоит в том, что уб связано с самой компиляцией, даже если оно проявится в рантайме, оно может проявляться по-разному в зависимости от компилятора, на том же коде — из-за того, что оно влияет на код, который им генерируется
нет, уб это свойство возникающее в программев конкретный момент