Great compilation, as you can see there he can jump, but they don't have a huge range nor are quick explosive jumps, they are usually slow beautiful jumps.
So considering that his jumps are slow, jump should be higher than agility right, cause agility affects how quick he moves, while jump affects the power.
But in my opinion a jump 79-80, now that I looked at the ladders, would be fine, cause the thing is his jumps are long in time not in power and I think agility should be at the around the same value 79-80, although I don't disagree with 78, since he is already quick to react with response 88.
I think his case is similar to Reina, I would not say he is super agile but he is pretty fast, he has quick first steps that allow him to always close the opponent's angle.
Like been said on the Rafael thread he should have good ACC and Speed but I'm not sure if a goalkeeper should have green values for that matter.
That should be discussed in general here I believe, How fast can a Goalkeeper be? So we can set standards.