- LIBR tracing is a deterministic ledger state machine that replays ordered financial transactions to calculate traceable balances.
- The traceable balance is reduced when withdrawals cause account balance dips, following the rule: traceable_after = min(traceable_before, account_balance_after).
- Later deposits do not automatically restore traceable amounts previously reduced by dips, a key LIBR assumption.
- Same-day transaction ordering assumptions (e.g., ledger, best_case, worst_case) affect replay outcomes, but the Exit Protocol product uses a neutral strategy for ambiguity.
- The public repository provides dependency-free Python code, synthetic CSV fixtures, and regression tests for transparent inspection and reproducible results.
- The Exit Protocol product extends this calculation with private workflows, role-based access, normalization of financial records, and export features for legal review.