CM-03 · Custodia y segregación de activos#

En una frase, para cualquiera: cuando una empresa que guarda dinero de sus clientes quiebra, la pregunta no es cuánto dinero había. Es de quién era. Y si se mezcló con el dinero de la empresa, esa pregunta ya no tiene respuesta.

Estado real: 🟢 functional — se ejecuta y hay prueba que lo demuestra · Carpeta: domains/capital-markets/cases/03-asset-custody/

Por qué se realiza este caso#

Segregar los activos de los clientes suena a papeleo. No lo es: es lo que decide si un cliente recupera lo suyo cuando la empresa cae.

Si el dinero de los clientes está en una cuenta separada, identificado como suyo, no forma parte de la masa de la quiebra: es de ellos y se les devuelve. Si se mezcló con el de la casa, se convierte en un crédito más contra una empresa insolvente, y se cobra lo que quede, si queda algo.

El invariante que lo gobierna cabe en una línea:

Activos de clientes registrados = Activos custodiados + Operaciones pendientes justificadas

Cuando esa igualdad se rompe, algo pasó. Y lo que pasó importa:

Ese último es el favorito de los fraudes: un descuadre permanente disfrazado de operación en curso.

La idea que enseña, y que ningún otro caso enseña#

La conciliación como control ejecutable. No es un informe mensual que alguien revisa: es una función que se ejecuta y devuelve hallazgos con nombre. Y su utilidad se mide de una forma concreta: por cada tipo de descuadre existe un escenario que lo produce, y la conciliación tiene que detectarlo. Si deja de detectarlo, la integración continua se pone roja.

Casos de uso reales#

• Un intermediario que custodia efectivo e instrumentos de sus clientes.
• Una billetera que guarda saldos de usuarios.
• Una plataforma de inversión con cuenta de dinero disponible.
• Un depósito centralizado de valores.
• Formación: por qué «tenemos el dinero» y «el dinero es de ellos» no son lo

mismo.

Cómo funciona#

flowchart LR
  R["📒 Registro:<br/>lo que dicen los libros<br/>que tiene cada cliente"] --> C
  H["🏦 Custodia:<br/>lo que hay de verdad<br/>en las cuentas"] --> C
  P["⏳ Pendientes:<br/>operaciones en curso"] --> C
  C{"⚖️ Conciliación"}
  C -->|"cuadra"| OK["✅ Sin hallazgos"]
  C -->|"no cuadra"| F["🚨 Hallazgos con nombre"]
  F --> F1["Faltante"] & F2["Sobrante"] & F3["Posición negativa"] & F4["Cuenta mezclada"] & F5["Pendiente sin justificar"]

flowchart TB
  A["Por cada cliente e instrumento"] --> B{"registrado ==<br/>custodiado + pendientes justificados?"}
  B -- sí --> C{"¿La posición<br/>es negativa?"}
  C -- sí --> C1["🚨 NegativeClientPosition"]
  C -- no --> D{"¿La cuenta mezcla<br/>cliente y casa?"}
  D -- sí --> D1["🚨 CommingledAccount"]
  D -- no --> OK["✅"]
  B -- "falta" --> E1["🚨 Shortfall"]
  B -- "sobra" --> E2["🚨 Surplus"]

Esquemas#

Libro de custodia#

{
  "positions": [
    { "owner": { "client": "cliente-1" }, "instrument": "CLP", "registered": 1500000, "custodied": 1500000 },
    { "owner": { "house": true },        "instrument": "CLP", "registered": 200000,  "custodied": 200000 }
  ],
  "pending": [
    { "owner": { "client": "cliente-1" }, "instrument": "CLP", "amount": -50000, "reason": "retiro en curso", "operationId": "op-77" }
  ]
}

Cada pendiente lleva operationId. Un pendiente sin operación que lo respalde es en sí mismo un hallazgo, y esa es la trampa que este caso enseña a detectar.

Hallazgos#

{
  "findings": [
    { "kind": "Shortfall", "owner": "cliente-1", "instrument": "CLP", "missing": 50000 },
    { "kind": "CommingledAccount", "account": "cuenta-unica", "detail": "cliente-2 y casa comparten cuenta" }
  ],
  "balanced": false
}

Software necesario#

Este caso corre en cualquier sistema operativo: no ejecuta código ajeno, así que no necesita jaula. Es lógica determinista con enteros.

Instalación#

git clone https://github.com/vladimiracunadev-create/sandbox-labs
cd sandbox-labs
cargo build --release

Cómo se ejecuta y cómo se comprueba#

cargo run -p sandboxctl -- markets reconcile

Ese comando ejecuta seis escenarios, y cada uno declara de antemano el hallazgo que debe producir. Corre en cada commit: si la conciliación deja de detectar lo que declara, la integración continua se pone roja.

Procesos que se crean#

sandboxctl markets reconcile
  │
  └─ un proceso determinista
      ├─ sin red
      ├─ sin reloj
      ├─ enteros en unidades mínimas: nunca coma flotante
      └─ mismo resultado en cualquier máquina y en cualquier momento

Por qué enteros y no decimales. Un f64 no puede representar 0,10 de forma exacta. Sumar diez veces 0,10 no da 1,00. En un libro contable eso es un descuadre que aparece tarde, en producción, y que nadie sabe explicar. Aquí el dinero son enteros en unidades mínimas —pesos, centavos— con la moneda pegada al importe: pesos y dólares no se suman porque no compila.

Tiempo de carga#

Estado real y qué falta#

Construido y verificado: el invariante de custodia, los cinco tipos de hallazgo, los seis escenarios, el libro de partida doble con reversas e idempotencia, y la comprobación automática en cada commit.

Falta: dividendos, bloqueos, garantías, transferencias entre custodios, y el escenario de insolvencia del custodio, que es donde el invariante deja de ser un ejercicio y se convierte en la única pregunta que importa.

Si algo falla#

Los fallos que afectan a cualquier caso —la compilación, el catálogo, la evidencia— están resueltos uno a uno en Cuando algo falla.

Esta familia no necesita aislamiento del sistema: no ejecuta código ajeno, sino reglas de negocio deterministas. Por eso casi ningún fallo suyo viene del entorno, y casi todos vienen de los datos.

Ver también: Catálogo completo · CM-10 · liquidación · CM-13 · salida ordenada · Estado del proyecto