app의 is_overdue 로직과 상태 전이 규칙 사이에 경계 조건 버그 가능성이 있는지 분석해 줘. 코드를 읽고 근거를 들어서.
