Generalized UDT 1.0 tiling

This is an alternative version of UDT 1.0 tiling theorem described in Understanding Trust paper. Work was done during 2025 AI Safety Camp under mentorship of Abram Demski. Notation Let mjx-container[jax="CHTML"] { line-height: 0; } mjx-container [space="1"] { margin-left: .111em; } mjx-container [space="2"] { margin-left: .167em; } mjx-container [space="3"] { margin-left: .222em; } mjx-container [space="4"] { margin-left: .278em; } mjx-container [space="5"] { margin-left: .333em; } mjx-container...