LIBR (Last-In, Best-Replayed o metodología análoga de trazado) se modela como una máquina de estados determinista que reproduce transacciones financieras ordenadas para preservar los descensos de saldo, las suposiciones de mismo día y el comportamiento de no reposición. Cada paso del libro mayor reproduce una transacción contra el estado en ejecución, y tras un descenso el saldo trazable queda limitado al mínimo entre el saldo anterior y el posterior.
La nota técnica, publicada por Exit Protocol, aísla una afirmación concreta: el trazado estilo LIBR puede representarse como una reproducción determinista sobre un libro mayor ordenado. El repositorio público que la acompaña emplea fixtures CSV sintéticos y pruebas de regresión para que desarrolladores, contadores forenses y revisores de diligencia debida examinen el modelo de cálculo.
El documento describe variables de estado (saldo de cuenta, saldo trazable, eventos de agotamiento, modo de ordenación, depósito fuente), transiciones (depósito, retirada, reordenación del mismo día, descenso de saldo, instantánea de informe) e invariantes, como que el saldo trazable nunca puede superar al saldo de cuenta. Se incluyen además modos de ordenación para ambigüedades intradía (ledger, best_case, worst_case) y un caso ilustrativo con un depósito de propiedad separada de 100.000 dólares que, tras una retirada que provoca un descenso, no se restaura con un ingreso salarial posterior. La calculadora, escrita en Python 3.10+ sin dependencias externas, ofrece salida reproducible y exportación JSON, mientras que el producto Exit Protocol añade contexto de asunto, registros normalizados y exportación estructurada para revisión legal.