As long as obfuscated code is isomorphic to its raw form, it’s sure to be decompilable. As for how much divergence is possible (in obfuscation), my intuition that it is very finite by definition.