Finite Uhlig circuit compatibility import

The finite Uhlig construction is split across focused routing, decoder, layer, and overhead-bound modules. This module preserves the original aggregate import.