Dynamic Consistency Boundary in Marten, Part 2: Implementation with plain Marten

We build the coupon redemption command from Part 1 using Marten's DCB API: tag types, BoundaryAggregate, FetchForWritingByTags, and the explicit ConcurrencyException retry cycle.