Finite Length for Unramified GL₂: Beyond Multiplicity One

Let p be a prime number and K a finite unramified extension of Qₚ. Building on recent work of Breuil, Herzig, Hu, Morra and Schraen, we study the smooth mod p representations of GL₂(K) appearing in a tower of mod p Hecke eigenspaces of the cohomology of Shimura curves, under mild genericity assumptions but notably no multiplicity one assumption at tame level, and prove that these representations are of finite length, thereby extending a previous result of the aforementioned authors.