Abstract
We develop an in-depth residue-class representation of the arithmetic behaviors observed within Collatz-type tables as well as their linked structures based on two prime numbers. We use this approach to differentiate between the dynamics of the open problem with respect to exact congruences which can be formally demonstrated. As such, the proposed framework provides an explicit diagnostic tool for the study of Collatz-type problems.


