Dies erfasst das Wesentliche: die Umwandlung von rechtlichen und buchhalterischen Logiken in überprüfbaren Code.