The purpose of the Arbeitsgemeinschaft was to study the paper of Calegari-Dimitrov-Tang on arithmetic holonomy bounds and their applications to irrationality, and most centrally the proof of the $\mathbb{Q}$-linear ...