> ## Documentation Index
> Fetch the complete documentation index at: https://internal.softcrum.com/llms.txt
> Use this file to discover all available pages before exploring further.

# loyalty.ledger_transaction

> El camino del dinero del módulo. Toda acumulación, canje, expiración, revocación y ajuste, append-only, con el pasivo pendiente calculable desde cero en cualquier momento.

export const ParamField = ({default: defaultValue, deprecated = false, children, name, required = false, rules, type, unique = false, base = false, visibility = 'public'}) => <div className="pt-2.5 pb-5 my-2.5 border-gray-50 dark:border-gray-800/50 border-b">
    <div className="flex font-mono text-sm group/param-head param-head">
      <div className="flex-1 flex content-start py-0.5 mr-5">
        <div className="flex items-center flex-wrap gap-2">
          <div className="absolute h-0 w-0">
            <a href={`#param-${String(name).replace(/_/g, '-')}`} className="-ml-10 flex items-center opacity-0 border-0 group-hover/param-head:opacity-100 py-2 [.expandable-content_&]:-ml-[2.1rem]" aria-label="Ir a este campo">
              <div className="w-6 h-6 text-gray-400 rounded-md flex items-center justify-center zinc-box bg-white ring-1 ring-gray-400/30 dark:ring-gray-700/25 hover:ring-gray-400/60 dark:hover:ring-white/20">
                <svg xmlns="http://www.w3.org/2000/svg" fill="gray" height="12px" viewBox="0 0 576 512">
                  <path d="M0 256C0 167.6 71.6 96 160 96h72c13.3 0 24 10.7 24 24s-10.7 24-24 24H160C98.1 144 48 194.1 48 256s50.1 112 112 112h72c13.3 0 24 10.7 24 24s-10.7 24-24 24H160C71.6 416 0 344.4 0 256zm576 0c0 88.4-71.6 160-160 160H344c-13.3 0-24-10.7-24-24s10.7-24 24-24h72c61.9 0 112-50.1 112-112s-50.1-112-112-112H344c-13.3 0-24-10.7-24-24s10.7-24 24-24h72c88.4 0 160 71.6 160 160zM184 232H392c13.3 0 24 10.7 24 24s-10.7 24-24 24H184c-13.3 0-24-10.7-24-24s10.7-24 24-24z"></path>
                </svg>
              </div>
            </a>
          </div>
          <div id={`param-${String(name).replace(/_/g, '-')}`} className="font-semibold text-primary dark:text-primary-light cursor-pointer">{name}</div>
          <div className="flex items-center space-x-2 text-xs font-medium">
            {type && <span className="px-2 py-0.5 rounded-md bg-gray-100/50 dark:bg-white/5 text-gray-600 dark:text-gray-200 font-medium">
                {type}
              </span>}
            {defaultValue && <span className="px-2 py-0.5 rounded-md bg-gray-100/50 dark:bg-white/5 text-gray-600 dark:text-gray-200 font-medium">
                <span className="text-gray-400 dark:text-gray-500">default:</span>"{defaultValue}"
              </span>}
            {base && <span className="px-2 py-0.5 rounded-md bg-gray-100/50 dark:bg-white/5 text-gray-500 dark:text-gray-400 font-medium">
                base
              </span>}
            {visibility && <span className="px-2 py-0.5 rounded-md bg-gray-100/50 dark:bg-white/5 text-blue-600 dark:text-blue-300 font-medium">
                {visibility === 'private' ? 'privado' : 'público'}
              </span>}
            {unique && <span className="px-2 py-0.5 rounded-md bg-gray-100/50 dark:bg-white/5 text-blue-600 dark:text-blue-300 font-medium">
                único
              </span>}
            {required && <span className="px-2 py-0.5 rounded-md bg-red-100/50 dark:bg-red-400/10 text-red-600 dark:text-red-300 font-medium">
                obligatorio
              </span>}
            {deprecated && <span className="px-2 py-0.5 rounded-md bg-amber-100/50 dark:bg-amber-400/10 text-amber-600 dark:text-amber-300 font-medium">
                deprecado
              </span>}
          </div>
        </div>
      </div>
    </div>
    {children && <div className="mt-4 prose-sm prose-gray dark:prose-invert [&_.prose>p:first-child]:mt-0 [&_.prose>p:last-child]:mb-0">
        {children}
      </div>}
    {rules && <div className="mt-2 prose-sm prose-gray dark:prose-invert [&_.prose>p:first-child]:mt-0 [&_.prose>p:last-child]:mb-0">
        <b>Reglas</b>: <span>{rules}</span>
      </div>}
  </div>;

**Forma B — append-only.** Es la tabla más importante de `loyalty` y sus invariantes no se pueden
revisar barato después.

**Una columna de saldo mutable está PROHIBIDA en todo el módulo.** La razón es la misma por la que la
contabilidad nunca funcionó de otra forma: en cuanto el número y su historia pueden discrepar, no hay
manera de saber cuál manda.

La única actualización permitida es `pending → available`, y el tombstone de anonimización.

## Clave primaria

<ParamField default={'uuidv7'} name={'id'} required={true} type={'uuid'} base={true}>
  Identificador de la transacción.
</ParamField>

## Atributos específicos

<ParamField name={'correlation_id'} required={true} type={'uuid'}>
  **Obligatorio.** Une el evento que la originó, la regla que se disparó y la fila de auditoría.
</ParamField>

<ParamField name={'occurred_at'} required={true} default={'now()'} rules={'Con zona horaria. Clave de partición candidata'} type={'timestamptz'}>
  Cuándo ocurrió. Es la columna de tiempo del dominio.
</ParamField>

<ParamField name={'points_amount'} required={true} rules={'INTEGER con signo según el tipo. NUNCA un monto de dinero'} type={'integer'}>
  Los puntos. **Los puntos no son dinero** (DEC-B5): es un entero contra una moneda de puntos, jamás
  un importe y jamás en la misma columna que uno.
</ParamField>

<ParamField name={'source_reference'} rules={'JSONB con qué causó la transacción'} type={'jsonb'}>
  Qué la originó: el evento, la regla, el canje. Es lo que permite explicarle a un member por qué
  recibió esos puntos.
</ParamField>

## Claves foráneas

<ParamField name={'contact_id'} type={'uuid'}>
  A quién pertenece. **Nullable a propósito**: al ejercerse el derecho de supresión, la referencia se
  anula a un tombstone y **la fila sobrevive intacta**. El pasivo no cambia porque una persona ejerza
  sus derechos (DEC-J3). [Ref: core.contact](/schemas/core/contact)
</ParamField>

<ParamField name={'point_currency_id'} required={true} type={'uuid'}>
  [Ref: point\_currency](/schemas/loyalty/point-currency)
</ParamField>

<ParamField name={'program_id'} required={true} type={'uuid'}>
  El programa dueño. Presente en **toda** tabla de `loyalty` desde la primera migración (ADR-021).
  [Ref: program](/schemas/loyalty/program)
</ParamField>

<ParamField name={'state_code'} required={true} type={'text'}>
  [Ref: ledger\_transaction\_state](/schemas/loyalty/ledger-transaction-state)
</ParamField>

<ParamField name={'tenant_id'} required={true} type={'uuid'} base={true}>
  El tenant dueño. Toda restricción de unicidad de esta tabla lo incluye (`standards/data.md` §2b).
</ParamField>

<ParamField name={'type_code'} required={true} type={'text'}>
  [Ref: ledger\_transaction\_type](/schemas/loyalty/ledger-transaction-type)
</ParamField>

## Atributos base

<ParamField name={'cell_id'} required={true} type={'uuid'} base={true}>
  Costura de particionamiento regional.
</ParamField>

<ParamField default={'now()'} name={'created_at'} required={true} rules={'Con zona horaria'} type={'timestamptz'} base={true}>
  Forma B: no hay `updated_at` ni `deleted_at`. Una fila append-only no se actualiza ni se borra.
</ParamField>

## Restricciones e índices

| Nombre                               | Definición                                                                 | Por qué existe                                                                   |
| ------------------------------------ | -------------------------------------------------------------------------- | -------------------------------------------------------------------------------- |
| `idx_ledger_transaction_balance`     | `(tenant_id, program_id, contact_id, point_currency_id, occurred_at DESC)` | Reconstruir un saldo desde cero, que es la prueba de que la proyección no mintió |
| `idx_ledger_transaction_correlation` | `(correlation_id)`                                                         | Seguir una cadena completa desde un ticket                                       |
| `ck_ledger_transaction_amount_sign`  | `CHECK` del signo según `type_code`                                        | Un `redeem` positivo o un `earn` negativo corrompen el saldo en silencio         |

**Prohibido en toda la tabla y en todo el módulo:** una columna de saldo mutable.

## RLS y particionamiento

**RLS activa** por `tenant_id`. **Candidata a partición** RANGE mensual sobre `occurred_at`; no
designada en v1 (`standards/data.md` §4). El disparador para revisarlo está escrito: crecimiento
sostenido hasta que el mantenimiento de índices aparezca en la latencia de escritura.

**Una transacción, siempre** (ADR-017): la escritura del ledger, sus efectos sobre lotes, el evento
del outbox y la fila de `core.audit_log` **commitean juntos o no commitea ninguno**.

## Referencias entrantes

[`point_lot`](/schemas/loyalty/point-lot) — apunta a la transacción `earn` que lo originó

## Registro de cambios

| Fecha      | Cambio                                                                     | Por qué                                                                              | Decidido en                     | Autor                  |
| ---------- | -------------------------------------------------------------------------- | ------------------------------------------------------------------------------------ | ------------------------------- | ---------------------- |
| 2026-08-17 | Tabla creada, append-only, con saldo mutable prohibido                     | En cuanto el número y su historia pueden discrepar, no hay forma de saber cuál manda | FS-LOY-0002 · ADR-011 · ADR-017 | daniel + claude-opus-5 |
| 2026-08-17 | `contact_id` pasa a nullable para el tombstone de anonimización            | El pasivo contable no cambia porque una persona ejerza su derecho de supresión       | DEC-J3                          | daniel + claude-opus-5 |
| 2026-08-18 | Renombrada de `loyalty.ledger_transactions` a `loyalty.ledger_transaction` | Nombre en singular                                                                   | ADR-024                         | daniel + claude-opus-5 |