points_remaining es la garantía dura de que nunca hay un lote negativo,
y por lo tanto nunca un saldo negativo.
Clave primaria
Atributos específicos
Claves foráneas
Atributos base
Restricciones e índices
RLS y particionamiento
RLS activa portenant_id. No particionada.
Consumir más que el total disponible falla antes de escribir nada. Un canje que deja el saldo en
negativo no es un bug a corregir después: no puede ocurrir.