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