gpt-5.6-sol-xhigh

verification/work/14-inventory-reservation-state/gpt-5.6-sol-xhigh의 독립 작업 사본에서 구현과 테스트를 완료했습니다.

변경한 파일

• src/main/java/com/samebrief/reservation/service/ReservationService.java
• src/test/java/com/samebrief/reservation/ReservationServiceContractTest.java

구현 내용

• 중복 상품 수량을 long 오버플로 없이 합산하고 최초 등장 순서를 유지하도록 정규화했습니다.
• 모든 상품의 재고를 먼저 확인한 뒤 차감해 다중 상품 예약의 원자성을 보장했습니다.
• 정규화된 상품별 총수량으로 요청 멱등성을 비교하고, 다른 요청에는 IdempotencyConflictException을 적용했습니다.
• 결제 ID의 예약 내 재시도와 전체 예약 간 유일성을 구분해 처리했습니다.
• ACTIVE 상태에서만 확정, 취소 또는 만료로 전이하도록 종결 상태 규칙을 보완했습니다.
• 만료 시각과 정확히 같은 순간도 만료로 처리하고, 취소·만료 재시도에서는 재고를 다시 복구하지 않도록 했습니다.
• 공백 식별자, 잘못된 수량과 중복 수량 합산 오버플로를 상태 변경 전에 거부하도록 입력 검증을 강화했습니다.

발견한 기존 오류

• 중복 상품 행이 합산되지 않고 마지막 수량으로 덮어써졌습니다.
• 상품별 재고를 즉시 차감해 뒤쪽 상품이 부족하면 앞쪽 상품의 차감이 남았습니다.
• 같은 requestId의 다른 상품 구성이 기존 예약으로 잘못 처리됐습니다.
• 결제 ID 충돌과 결제 멱등성 검사가 없었습니다.
• 정확한 만료 경계가 만료로 판정되지 않았고, confirm 시 만료 전이와 재고 복구가 누락됐습니다.
• 취소 및 만료 처리를 반복하면 재고가 중복 복구됐습니다.
• 공백 식별자와 중복 수량 합산 오버플로가 검증되지 않았습니다.

테스트

필수 상태 전이와 경계 조건을 포함한 계약 테스트 20개를 추가했습니다. 기존 테스트 4개를 포함해 아래 명령으로 총 24개 테스트를 실제 재실행했습니다.

코드 복사./gradlew test --rerun-tasks --no-daemon

BUILD SUCCESSFUL
TOTAL_TESTS=24

해결 방식과 트레이드오프

실제 동시성이나 데이터베이스 트랜잭션을 도입하지 않는 과업 조건에 맞춰, 정규화된 전체 상품의 재고를 사전 검사한 다음 차감하는 방식을 사용했습니다. 단일 스레드 인메모리 실행에서는 부분 차감을 막으면서 구현 복잡도를 낮추지만, 실제 동시 실행 환경으로 확장할 경우 저장소 수준의 원자적 연산이나 트랜잭션이 별도로 필요합니다.