For me, this is a bad name for the theorem. Free will is not just indeterminism, it also includes agency. If I understood the argument correctly, there is stil

For me, this is a bad name for the theorem. Free will is not just indeterminism, it also includes agency. If I understood the argument correctly, there is still one possibility of global determinism: imagine a "God function", a random oracle that gives all results to all measurements, unpredictable but fully deterministic. Even if it can't be predicted from previous states of the world, it can still maintain some sort of "determinism". It can even be tractable: imagine a pseudo-random generator with some seed and "external" state as this God function. It should all work.