Law as Function, Law as Data: What Catala and Arxo Compute When They Read the Same Regulation

Two independent formalizations of the same regulation, written in two different languages, agreed on every one of 65 reference cases and 240 randomly generated ones. That result is the starting point