Why modular boundedness does not close characteristic admission

The later portion of the supplied plan concerns a distinct distributional construction. Its stages cannot be completed by renaming $T$, $v\xi$, or a finite decoder. We record the precise generic compatibility statements that can be proved without inventing the absent joint map.