The only programs allowed in the Solomonoff distribution are ones that don’t have any extended versions that produce the same output observed so far. So it’s not that the longer programs are given lower probability—it’s that they are given undefined probability, and are entirely “represented” by the most truncated version.
That depends on how one defines “Solomonoff induction”.
That depends on how one defines “Solomonoff induction”.