Information-Theoretic Limits of Safety Verification for Self-Improving Systems

ArXi:2603.28650v1 Announce Type: cross Can a safety gate permit unbounded beneficial self-modification while maintaining bounded cumulative risk? We formalize this question through dual conditions -- requiring sum delta_n < infinity (bounded risk) and sum TPR_n = infinity (unbounded utility) -- and establish a theory of their (in)compatibility.