시간 예산 초과 뒤 결과 정책은 부수 효과에 맞춘다
단순 계산·외부 쓰기·중복 실행 가능성에 따라 계속·취소·부분 결과 선택이 달라집니다.
| 작업 | 초과 뒤 선택 | 이유 |
|---|---|---|
| 순수 계산 | interrupt·부분 결과 | 재실행 가능 |
| 파일 쓰기 | 정리 후 취소 | 불완전 파일 |
| 외부 요청 | idempotency 확인 | 중복 부수 효과 |
| 배치 일부 | 완료분 유지 | 진행률 |
| 필수 결과 | 실패로 승격 | 계약 불충족 |
핵심: 완료·시간 초과·취소·실패를 하나의 Outcome 계약으로 구분하면 null 추측을 피할 수 있습니다.