허위 반환과 interrupt 때문에 한 번의 parkNanos가 전체 예산을 보장하지 않습니다.
now + budget
완료 여부
deadline-now
최대 remaining
조건·시간·interrupt
핵심: deadline 도달·조건 충족·취소 중 무엇이 종료 원인인지 구분합니다.