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