That’s an interesting way to put a floor on it but I think he’s neglecting emergence and nonlinear dynamics. Deterministic objects in a system can become computationally irreducible and manifest higher order behaviors that are not reducible or predictable.

Of course then you get into the challenge of defining free will. Is it enough to be impossible to predict or is actual acausality required? If the latter you are into quantum mechanics or bust.