K-promotion on m-packed labelings of posets (Discrete Mathematics & Theoretical Computer Science, 2026)