입력
같은 유효 범위
대체 가능한 역할인지 행동 의미로 판정한다
문법 호환성보다 교체 뒤에도 클라이언트의 입력 범위·결과·실패·호출 흐름이 유지되는지를 확인합니다.
구현을 바꿔도 클라이언트 의미가 유지되는가?행동 계약 네 축을 확인
결과
같은 목적·부작용 범위
실패
예측 가능한 오류 정책
호출 흐름
구현별 특수 분기 없음
핵심: 대체 가능성이 깨지면 특수 분기를 숨기지 말고 역할을 나누거나 계약을 다시 정의합니다.
문법 호환성보다 교체 뒤에도 클라이언트의 입력 범위·결과·실패·호출 흐름이 유지되는지를 확인합니다.
같은 유효 범위
같은 목적·부작용 범위
예측 가능한 오류 정책
구현별 특수 분기 없음
핵심: 대체 가능성이 깨지면 특수 분기를 숨기지 말고 역할을 나누거나 계약을 다시 정의합니다.