I think this EIP should define a reevaluate instruction. That seems super common.
How compatible is this with other systems that use revert reasons? I believe Gas Station Network uses something similar (but much simpler.)
I am working on a draft for this. To avoid special cases, it will be its own (very short!) EIP.
I can’t find the OpenGSN stuff, but I know that there are EIP-5289 (which I would update to use this new EIP) and EIP-3668 (which will be incompatible with this EIP).