[WSRP26] Analyzing residue structure, cycle bounds, and arithmetic closure in Collatz-type maps