후속 코드가 의존할 입력 조건은 자료형과 구조에 보존한다

입력을 검사한 뒤 원래 형태로만 넘기면 후속 코드는 무엇을 확인했는지 다시 추측하거나 검사해야 한다. 후속 코드가 의존할 조건을 자료형·구조에 남겨 검사를 통해 얻은 정보를 사용할 수 있게 한다.

예를 들어 비어 있지 않은 목록이 필요하면 일반 목록과 별도 확인 사실 대신 첫 원소가 반드시 있는 구조를 반환할 수 있다. 실패는 입력 변환 경계에서 다루고, 후속 함수는 자신에게 필요한 조건이 표현된 값을 받는다. Parse, don’t validate

보장은 구조가 표현하고 생성 경계가 실제로 지킨 조건에 한정된다. 타입 표기·단언만으로 검증이 생기지는 않으며, 저장소의 수용·현재 권한·변동하는 외부 상태는 별도 확인이 필요하다.

• 잘못된 추상화와 입력 조건 보존 - 개발 글 검토
• 형식 검증을 통과한 값이 저장소에서 거부될 수 있다
• 규칙은 소유한 가장 좁고 안정적인 공개 경계에서 깊게 테스트한다
• 보장 수준과 판정 경계
• Atomic Notes