PU Verificado: a Tesouro Direto price under the Treasury’s rule table, in the browser

Paste lines of precotaxatesourodireto.csv (Tipo Titulo;Data Vencimento;Data Base;Taxa Compra;Taxa Venda;PU Compra;PU Venda;PU Base). Each side is decided by instruments/pu/rows.js, the module the ledger calls, under every hypothesis it pre-registered: the primary settlement (a purchase on the next business day, a sale on the quotation day), D+1, D+1 skipping 24 and 31 December, B3’s settlement calendar and the calendar as of the quotation; REPRODUCED names the hypothesis that holds, CONSISTENT the one under which the printed centavos lie inside the price interval the printed rate’s own precision allows. LTN, NTN-F and LFT; other titles are refused by name.

• The same bytes. instruments/pu/decide.js is inlined here unchanged (sha256 ba82874dad297218…); it is the decider of certs/pu-ledger.json (145,439 prices, 132,362 reproduced, last day 2026-10-15).
• The calendar is pinned. ANBIMA’s national holidays, read once from the xls whose sha256 is e3070152bfbdd733…. It is today’s calendar: a price published before 2023-12-21 for a title maturing after 2024 was priced without the 20 November holiday — the report explains, and the toggle below re-decides under the calendar as of the quotation.
• The Selic index is pinned. SGS 11 (the daily rate, 2000-07-03 to 2026-10-15, 6,603 days) and SGS 432 (the target, which projects the VNA to a settlement after the quotation), read from the files whose sha256s corpus/pu/PINS.json records; compacted for this page and decoded back against the pinned series before the page was written. The VNA accumulates the daily factor at 16 decimals, rounded half up, and truncates at 6 (Tabela 3).
• One rule for a row. A pasted row runs through instruments/pu/rows.js (sha256 aca113d7fbef945a…), the same function the ledger calls on each of its rows, so the tab and the report cannot disagree on a verdict.
• Exact where the rule is exact. Rate T-6, exponent T-14, flows A-9, price T-6 in integer arithmetic; the power (1 + taxa)^(du/252) as an enclosure at 10⁻⁴⁸ with every series remainder bounded. A truncation whose enclosure straddles the boundary is REFUSED, not rounded through.
• What is not claimed. A difference from a printed price is a difference from the methodology’s value for the printed rate on the pinned calendar; conventions the publisher follows and does not print (a settlement calendar, a day skipped) are named, not assumed.