Ledger de consumo de doble entrada para funciones de IA

Todo producto que pone funciones de IA detrás de un plan pago necesita responder '¿cuánto ha usado esta cuenta, y le alcanza para la siguiente llamada?'. Lo incómodo es el momento: el conteo de tokens llega recién cuando la respuesta termina, los streams se cancelan a la mitad, y los clientes reintentan ante timeouts. Este diseño toma el patrón que usan los pagos con tarjeta — autorizar primero, capturar después — y lo aplica al consumo de IA.

• Cobrar después de la llamada permite que requests concurrentes gasten el mismo saldo varias veces.
• Los reintentos y las entregas duplicadas convierten una operación en dos cobros salvo que la escritura sea idempotente.
• Una sola columna de saldo mutable no puede explicar cómo llegó a su valor actual.

Cada cuenta tiene cuentas de ledger — disponible, reservado, gastado — y cada movimiento es un par de asientos que suma cero. Antes de una llamada de IA, el servicio estima un techo para la operación y mueve ese monto de disponible a reservado dentro de una transacción de PostgreSQL, tomando un lock de fila sobre la cuenta; si el disponible no alcanza, la llamada se rechaza de entrada. Cuando el proveedor responde, el payload de uso (tokens, segundos de audio, páginas) se tarifa con un libro de precios versionado y la reserva se liquida: el costo real pasa a gastado y el resto vuelve a disponible. Una llamada cancelada o fallida libera la reserva completa, y un proceso de barrido libera las reservas que superan un timeout. Cada request lleva una clave de idempotencia con restricción única, así un reintento devuelve el resultado original en vez de escribir de nuevo. Redis mantiene una caché de saldos solo para mostrar; las decisiones siempre leen Postgres.

La pregunta abierta es la contención de locks: un lock de fila por cuenta es simple y correcto, pero una cuenta que dispara muchas llamadas en paralelo hará cola sobre él. El siguiente paso es una prueba de carga con tráfico desbalanceado para decidir si eso necesita sub-saldos particionados o está bien como está.