len(s) - количество доступных элементов (индексы 0..len-1). cap(s) - ёмкость: от начала слайса до конца базового массива. Всегда cap >= len. Append может расти без реаллокации, пока len < cap.
len(s)
cap(s)
cap >= len
len < cap