Superpolynomial Length Lower Bounds for Tree-Like Semantic Proof Systems with Bounded Line Size (ArXiv cs.CC Recent Papers, 2026)