State Transition Table

1. Reservation 상태 전이

정의: ADR-DS-001 준수. 시간 규칙은 ADR-DS-003(v2) 준수.

From	To	Trigger	Server Condition	Notes
RESERVED	REDEEMED	redeem	slot.startAt <= now < expiresAt AND 위치조건 AND remaining>0	트랜잭션, 수량 차감(ADR-DS-002)
RESERVED	EXPIRED	expire	now >= expiresAt	서버만 확정
EXPIRED	-	-	terminal	금지 전이
REDEEMED	-	-	terminal	금지 전이

금지 전이:

From	To	Trigger	Condition
issued	closed	time end	now >= endAt (정책)
issued	closed	manual	운영/가맹점 종료

참고: 슬롯의 “운영 의미 종료"는 startAt+grace 이후이며, active 판정은 ADR-DS-004(v3) 준수.