Finite Length for Unramified GL₂: Beyond Multiplicity One | Synapse