1: \begin{abstract} 

2: We consider the algebra $\dot\Sigma(\Ll)$ generated by the inner-limit derivations over the ${\rm GICAR}$ algebra of a fermion gas populating an aperiodic Delone set $\Ll$. Under standard physical assumptions such as finite interaction range, Galilean invariance of the theories and continuity with respect to the deformations of the aperiodic lattices, we demonstrate that the image of $\dot \Sigma(\Ll)$ through the Fock representation can be completed to a groupoid-solvable pro-$C^\ast$-algebra. Our result is the first step towards unlocking the $K$-theoretic tools available for separable $C^\ast$-algebras for applications in the context of interacting fermions.

3: \end{abstract}

4: