Tree transducers of linear size-to-height increase (and the additive conjunction of linear logic) (ArXiv cs.LO Recent Papers, 2026)