Direct finiteness of representable regular rings with involution: A counterexample

Bruns and Roddy constructed a $3$-generated modular ortholattice $L$ which cannot be embedded into any complete modular ortholattice. Motivated by their approach, we use shift operators to construct a $*$-regular $*$-ring $R$ of endomorphisms of an inner product space (which can be chosen as the Hilbert space $\ell^2$) such that direct finiteness fails for $R$.