저장 매체를 바꿔도 호출자가 보는 등록과 조회 계약은 유지되어야 한다.
빠른 학습과 일시 상태를 제공한다.
프로세스 뒤에도 데이터를 보존한다.
같은 ID 등록의 실패 의미를 고정한다.
호출자가 내부 상태를 바꾸지 못하게 한다.
핵심: 구현 교체 검사는 같은 계약 시나리오를 양쪽 저장소에 실행한다.