Formalising Human-in-the-Loop: Computational Reductions, Failure Modes, and Legal-Moral Responsibility. - Maurice Chiodo; Dennis Müller 007; Paul Siewert; Jean-Luc Wetherall; Zoya Yasmine; John Burden (CoRR, 2025)