This note wraps the Solomonoff compactification paper.

For executable companions, continue to rh/verification-scripts.