So two issues. Fist, the lack of mathematical rigour in law and policy is generally considered a feature, not a bug. Second, if the state is unwilling to compel action or enforce punishment from/on the entity in the wrong (Rodin in this case) then it does not matter at all how compelling or rigorous the argument is.

Which in Rodin's case is what happened, the author did get a judgement ordering Rodin to turn over the data, they refused, the author then went back to the courts to force them to act. The court decided it didn't want to despite the prior judgement.