Concise analysis of Open Problem G4. Computational evidence initially suggested a promising universal positive lower bound on the Hamming density of 2-adic rigidity residues rm(a). We prove that all carry masks have exactly density 1/2, definitively refuting the universal Hamming density conjecture. We also present the entropy-improved Eliahou bound reaching exponent 0.979 at epochs. G4 remains open.
Franck Coppi (Tue,) studied this question.