Todo 검증은 사용자 행동에서 화면 결과까지 추적한다

구현 세부 대신 사용자가 관찰할 수 있는 상태 전이를 한 경로로 검증한다.

행동

텍스트 입력

draft state가 현재 값과 일치

행동

추가 클릭

새 id의 todo를 목록에 삽입

관찰

목록 렌더

새 항목과 남은 개수가 표시

행동

완료 전환

해당 id만 completed가 변경

관찰

필터 결과

상태에 맞는 항목만 남는다

핵심입력값·목록·필터를 따로 검사하지 말고 하나의 사용자 시나리오로 이어서 상태 모델을 검증한다.