Formatos reales, instituciones inventadas
ISO 8583 para tarjetas, ISO 20022 para transferencias y reportería, convenciones de archivo para débito y crédito directo, el número de cuenta estandarizado regional adoptado en 2010, el estándar QR del Banco Central cuando se publique su instructivo, y OpenAPI para todo lo moderno. Los nombres de institución, BIN, identificadores de enrutamiento y certificados son propios del Laboratorio.
El Reglamento es ejecutable
Los 10 segundos, los 4 minutos, los 8 minutos, las ventanas, el límite de RD$79,000, la prohibición de cobrar al beneficiario, la irrevocabilidad una vez liquidada, la participación obligatoria en el SGPI y el registro de 10 años: cada uno es una regla del plano de control, citada por artículo y fechada.
Con estado, no simulacro
Un crédito directo debita la cuenta de un banco simulado en el Banco Central y acredita la de otro en el LBTR simulado; un contracargo revierte un monto ya liquidado; un reporte de operación sospechosa cambia el estado de riesgo de un cliente.
Determinista por defecto, caótico a demanda
Cada corrida es reproducible a partir de su semilla. Los modos caos y adversarial se activan por corrida y quedan registrados en el informe.
Una sola población sintética
Generada por corrida y coherente entre registro, burós, bancos, entidad de pago electrónico y telco. En ninguna parte hay datos personales reales; el generador es auditable.
Todo observable
Una traza, libros por actor, conciliación entre actores y el informe de hallazgos que el Laboratorio ya entrega.
Niveles de fidelidad por actor
Stub, luego con estado, luego conductual —latencia, carga, personalidad, adversarios—, para que una contraparte sea barata donde no importa y exacta donde sí.
Local y en la nube
Para que el hardware del piso del Laboratorio participe en una corrida en lugar de mirarla.