That’s sounds like a logical self-contradiction to me
You are showing that with mutation, the address of the object remains the same: but then you interpret this to mean that the object stays the same as well.
I “prove” the “same-ness” of the 2 objects like this
s=[0 0]; s[1] = 1;
s == [1 0]
true
s = [1 0];
s == [1 0]
true