Yes, it is S. sarmentosum. A great sedum.
You might be surprised at how fast that stump will be covered over this spring.
And WOW, just look at the start your other sedum are off to. You are way ahead of my area of the U.S.
That rock garden is going to be wonderful. Good job Jelinda.