Before he ran marketing teams, Rao Adavikolanu wrote software. Twenty-seven years later, his playbook still begins with the same question: can the system prove it works?