Show HN: LIBR tracing with source ledger rows and byte-exact PDF verification

LIBR is a deterministic ledger state machine that traces separate-property funds through ordered financial transactions by replaying each transaction against a running balance, with a key rule that later deposits do not automatically restore traceable amounts previously reduced by balance dips. The engineering note provides a technical framework with synthetic data and regression tests allowing developers and forensic accountants to inspect the calculation model directly, though it explicitly disclaims legal conclusions or product completeness claims.