Se estudia la aritmética de la ecuación de cierre asociada a los ciclos de la transformación inducida sobre los parámetros de los tramos puros de Collatz. Para cada palabra cíclica, la existencia de un ciclo equivale a que un cociente explícito sea un entero positivo impar.Se introduce la función de peso de una palabra, que normaliza el numerador acumulado respecto al crecimiento global del denominador, y se demuestra que esta función está universalmente acotada por un cuarto, independientemente de la longitud y estructura de la palabra. Esta cota es estricta y su supremo no se alcanza para ninguna palabra finita.A partir de esta cota se clasifican las palabras admisibles en tres regiones según el mecanismo de exclusión de ciclos. La primera región queda excluida por un argumento de signo, incluyendo el régimen de tramos largos con cola mínima. La segunda región se reduce a una comparación de magnitud con un umbral explícito, cuya validación completa queda como problema abierto. La tercera región, el régimen casi crítico, queda confinada en una banda aritmética de anchura logarítmica alrededor del umbral crítico entre potencias de dos y potencias de tres.Se analizan las mezclas de bloques elementales y se demuestra que la familia constante de bloques con parámetros uno y tres es la familia extremal dentro de las palabras con denominador positivo. Se formula una conjetura de no-estabilización: la repetición periódica de un bloque casi crítico produce un cociente de cierre que decrece hacia cero sin pasar por ningún entero, con razón de decrecimiento determinada por los parámetros globales del periodo.Este trabajo continúa el marco desarrollado en el paper anterior sobre parametrización 2-ádica y dinámica inducida de los tramos puros de Collatz https://doi.org/10.5281/zenodo.19151808 Nota de versión 1.1Se añade una sección final con resultados nuevos sobre familias de palabras periódicas. Se demuestra una fórmula cerrada exacta para el cociente de cierre bajo repetición de un bloque base, se establece la monotonicidad estricta de la sucesión resultante y se prueba que su límite es estrictamente menor que uno. Como corolario, la posible integridad del cociente queda reducida a un conjunto finito de iteraciones iniciales, convirtiendo un problema infinito en uno finito y explícito. Se introduce además una versión modular de la función de peso que reformula la condición de divisibilidad en términos del orden multiplicativo de dos módulo el denominador, abriendo la conexión con la teoría de raíces primitivas.