This paper presents the results of a controlled numerical experiment that verifies the algebra of binary blocks within the Collatz process. The study covers all odd numbers with a single zero defect in bit-lengths from 1 to 11 bits, using pure Mersenne numbers as reference standards. The experiment confirms the existence of stable macro-attractors (9232, 39364, 118096), reveals the universal spatial invariant at position k=3, and demonstrates deterministic damping at the 5th step of the trajectory. Three fundamental laws of binary block algebra are formulated: the law of majorisation by pure rails, the law of binary defect asymmetry, and the law of the k=3 spatial damper. All computations were performed in Python and the full dataset is published for reproducibility.
Emma Helmdach (Fri,) studied this question.