I think I completely understand your position. Thank you for sharing. I agree with it, modulo your axiom that the naive weighting was correct.

All of my objections before were because I did not realize you were using that naive weighting.

I do have two problems with the naive weighting:

First, it has the problem that description length is a man-made construct, and is dependent on your language.

Second, there are predicates we can say about the infinite descriptions which are not measurable, and I am not sure what to do with that.