Here’s an idea for a “logical counterfactual surgery detector”: Run a sandboxed version of your proof engine that attempts to maximally entangle that digit of pi with other logical facts. For example, it might prove that “if the 10000th decimal digit of pi is 8, then ⊥”.
If you detect that the sandboxed proof engine undergoes a logical explosion, then GIVE. Otherwise, REFUSE.
Here’s an idea for a “logical counterfactual surgery detector”:
Run a sandboxed version of your proof engine that attempts to maximally entangle that digit of pi with other logical facts. For example, it might prove that “if the 10000th decimal digit of pi is 8, then ⊥”. If you detect that the sandboxed proof engine undergoes a logical explosion, then GIVE. Otherwise, REFUSE.