Are alignment guarantees formally possible for systems exceeding human-level generality?