I agree with your analysis, and would also not have given the goal* but if we compare to e.g. cricket, where VAR/DRS is generally thought to be effective, once chalking off the black & white offences of offside and ball out of play, the decision would have gone back to "umpire's call" (as not...