MemberRegistry 불변식은 성공한 전이마다 유지된다
사용 영역의 객체 수와 size가 일치하고 그 뒤 칸은 미사용이라는 관계가 모든 공개 동작 뒤에 성립해야 합니다.
빈 저장소size=0 · 모든 칸 미사용
추가 성공member[0] 저장 → size=1
추가 실패배열·size 모두 불변
삭제 성공뒤 원소 이동 → 마지막 null → size-1
핵심: 실패 경로는 배열 일부나 size를 먼저 바꾸지 않고 이전 유효 상태를 그대로 보존합니다.