Defines customer flows, states, calculations, entitlement effects, messages, and exceptional cases for proration. This reference fixes the adoption boundary, failure behavior, and observable evidence while leaving environment-specific limits configurable.