Why Responsibility Information Is Heavy: A Lean Formalization of the Distinctions AI Audit Logs…

Introduction