PU Verificado
Tesouro Direto publishes a price for every federal bond it sells, every business day, and the Treasury publishes the formula that produces it — down to a table saying which intermediate value is truncated and which is rounded, and at how many decimals. So each published price has exactly one value under its own rule. This page re-decides every price of the titles that need no price index — Tesouro Prefixado (LTN), Prefixado com Juros Semestrais (NTN-F) and Tesouro Selic (LFT) — in the public history, 145,679 of them, in exact arithmetic: 132,538 are the rule’s value to the centavo, 12,791 lie inside the interval the published rate’s two decimals allow, 289 are not the rule’s value, 0 could not be decided, and 61 are NEEDS DATA (settlement on or after maturity). The conventions the publisher follows but does not print — which day a purchase settles, whether the centavos are cut or rounded — are measured, not assumed.
The pinned history precotaxatesourodireto.csv (Tesouro Transparente, ODbL; 77,173 rows of Tesouro Prefixado = LTN, Tesouro Prefixado com Juros Semestrais = NTN-F and Tesouro Selic = LFT, 2004-12-31 to 2026-10-27, 83 titles), the ANBIMA national-holiday file to 2099, and the STN methodology of 29/04/2024 whose Tabela 3 is the rule (= ANBIMA 2021 §22), every byte sha256-pinned in corpus/pu/PINS.json. Pre-registered in corpus/pu/preregistration.json, with 6 dated amendments. For the LFT, the Selic daily rate (BCB SGS 11) builds the VNA and the Selic target (SGS 432) the projection, both pinned (6,603 Selic days, 2000-07-03 → 2026-10-15); the settlement days B3 did not trade are derived from B3’s circulars and archived calendar pages (corpus/pu/b3-settlement.json). Both sides of every row (compra, venda) under the pre-registered settlement hypotheses and printed readings. Still out: the IPCA-indexed titles (their daily projection is not public), ANBIMA’s secondary-market prices and B3’s.
The field is the result: an almost uniform texture of reproduced prices, with the exceptions where they are. The buy side is drawn because it carries the settlement convention; on the sell side (D+1 until 2021-09-10, D+0 since) 91.16% of 75,982 prices are REPRODUCED, 6,551 are CONSISTENT and 164 OFF, and its exceptions are in the table of §3.
Three things the methodology does not say about Tesouro Direto’s published prices were pre-registered as hypotheses and decided row by row: on which day a purchase and a sale settle, and how a 6-decimal price becomes the 2-decimal one printed. The census answers: buy D+1 across the whole history; sell D+1 until 2021-09-10, sell D+0 since — a change of settlement convention made during 2021 and not printed beside the price (770 sell-side prices of 2021 reproduce only under D+0, every one from 2022 on; 28 earlier prices do too, on 9 days where both settlements were quoted); centavos truncated throughout. Where every hypothesis fails, the row is OFF; the table shows how many, by year.
| year | buy prices | buy D+1 | of which old calendar only | buy on B3’s next day only | buy OFF | sell prices | sell D+1 | sell D+0 | of which old calendar only | sell on B3’s next day only | sell OFF |
|---|---|---|---|---|---|---|---|---|---|---|---|
| 2004 | 11 | 11 | 0 | 0 | 0 | 12 | 12 | 0 | 0 | 0 | 0 |
| 2005 | 3,232 | 3,213 | 0 | 11 | 0 | 3,231 | 3,212 | 1 | 0 | 11 | 0 |
| 2006 | 3,447 | 3,434 | 0 | 13 | 0 | 3,833 | 3,810 | 0 | 0 | 16 | 4 |
| 2007 | 4,078 | 4,033 | 0 | 0 | 0 | 4,742 | 4,692 | 0 | 0 | 38 | 2 |
| 2008 | 5,030 | 4,977 | 0 | 0 | 14 | 5,136 | 5,032 | 21 | 0 | 38 | 42 |
| 2009 | 3,243 | 3,207 | 0 | 0 | 5 | 4,289 | 4,233 | 0 | 0 | 30 | 0 |
| 2010 | 2,583 | 2,555 | 0 | 0 | 9 | 3,844 | 3,800 | 0 | 0 | 28 | 14 |
| 2011 | 2,339 | 2,330 | 0 | 7 | 2 | 3,620 | 3,605 | 0 | 0 | 12 | 2 |
| 2012 | 3,067 | 3,045 | 0 | 0 | 0 | 3,006 | 2,982 | 0 | 0 | 24 | 0 |
| 2013 | 2,778 | 2,724 | 0 | 34 | 0 | 2,631 | 2,581 | 0 | 0 | 50 | 0 |
| 2014 | 2,362 | 2,251 | 232 | 68 | 33 | 2,434 | 2,323 | 1 | 232 | 74 | 34 |
| 2015 | 1,954 | 1,915 | 248 | 16 | 14 | 2,452 | 2,403 | 1 | 248 | 30 | 18 |
| 2016 | 2,657 | 2,631 | 476 | 7 | 14 | 2,949 | 2,919 | 4 | 475 | 9 | 16 |
| 2017 | 2,569 | 2,541 | 494 | 26 | 0 | 2,705 | 2,672 | 0 | 494 | 31 | 0 |
| 2018 | 2,750 | 2,694 | 712 | 29 | 6 | 2,904 | 2,841 | 218 | 712 | 53 | 8 |
| 2019 | 2,956 | 2,904 | 931 | 31 | 0 | 3,206 | 3,149 | 245 | 978 | 57 | 0 |
| 2020 | 3,424 | 2,960 | 1,278 | 0 | 0 | 3,431 | 2,968 | 249 | 1,287 | 15 | 0 |
| 2021 | 3,422 | 2,454 | 1,243 | 15 | 0 | 3,422 | 1,707 | 940 | 1,319 | 15 | 0 |
| 2022 | 3,633 | 2,699 | 1,693 | 7 | 0 | 3,680 | 0 | 2,722 | 1,944 | 0 | 0 |
| 2023 | 3,324 | 2,247 | 1,721 | 9 | 0 | 3,501 | 3 | 2,319 | 1,976 | 0 | 0 |
| 2024 | 3,875 | 2,837 | 4 | 0 | 0 | 3,939 | 351 | 2,878 | 4 | 0 | 0 |
| 2025 | 3,863 | 2,755 | 4 | 0 | 0 | 3,923 | 277 | 2,801 | 9 | 0 | 0 |
| 2026 | 3,039 | 2,275 | 5 | 0 | 28 | 3,092 | 493 | 2,274 | 3 | 0 | 24 |
A calendar is dated. The pinned holiday file is the one ANBIMA serves today, and it carries a holiday that did not exist when most of these prices were published: 20 November, national since Lei 14.759 of 21 December 2023. A quotation of 2019 for a title maturing in 2029 was priced with the calendar of 2019, in which 2024, 2025, 2026 and 2028 each had one more business day than today’s file says (2027’s 20 November is a Saturday). Re-decided with today’s calendar those prices are OFF by exactly that many days; re-decided with the calendar as of the quotation they are the rule’s value to the centavo. The pre-registration’s second amendment added that hypothesis after the full run showed the pattern (du + 1 for 2025 maturities, + 2 for 2026, + 4 for 2029 on a seeded sample of 30 rows); the rows that need it are the heavier bright lines in the atlas and the “of which old calendar only” columns here. Around the law’s date the census reads, per quotation day, how many rows reproduce only under today’s calendar and how many only under the old one; the last day priced on the old calendar is 2023-12-22 and the first priced on the new one is 2023-12-26.
The settlement calendar is the exchange’s. The methodology counts du on the national bank calendar, but Tesouro Direto settles through B3, which did not operate on São Paulo’s own holidays (25 January, 9 July, and 20 November from 2006) through 2021, on 24 and 31 December every year, and on the 2014 World Cup days the exchange listed. A purchase quoted the day before settles on the next day B3 traded, and the published price says so. corpus/pu/b3-settlement.json derives those days from B3’s circulars (2017–2026) and from the exchange’s calendar pages as the Wayback Machine captured them (2004–2016), citing for each date the documents that name the holiday; dates no captured document names (2007 and 2008 among them) follow the rule alone and the prices resting on them are counted apart. The July 2014 match days are not in the table because no page listing them was captured; those prices stay OFF.
The settlement skip: Tesouro Direto quotes on 24 and 31 December but does not settle on them, and the ANBIMA holiday file says in its own notes that it lists only days that close bank reserves and omits the last business day of the year. The amendment of 2026-10-16 in the pre-registration added that hypothesis after the first 4,000 rows showed it; the rows that need it are counted apart, never folded into the primary count.
| title | quoted | side | rate % a.a. | printed | the rule’s value (T-6), at D1 | diff ¢ | under the other settlements |
|---|---|---|---|---|---|---|---|
| LFT 2028-03-01 | 2026-10-27 | buy | 0,02 | 20175.28 | 20103.667850 | 7162 | D0 2026-10-27: 20093.372548 D0/pre 2026-10-27: 20093.352449 D1/pre 2026-10-28: 20103.647741 |
| LFT 2028-03-01 | 2026-10-27 | sell | 0,03 | 20162.27 | 20090.699416 | 7158 | D0/pre 2026-10-27: 20090.659218 D1 2026-10-28: 20100.993351 D1/pre 2026-10-28: 20100.973242 |
| LFT 2027-03-01 | 2026-10-27 | buy | 0,02 | 20179.48 | 20107.689653 | 7180 | D0 2026-10-27: 20097.412395 D0/pre 2026-10-27: 20097.392296 D1/pre 2026-10-28: 20107.689653 |
| LFT 2027-03-01 | 2026-10-27 | sell | 0,03 | 20168.50 | 20096.749136 | 7176 | D0/pre 2026-10-27: 20096.729038 D1 2026-10-28: 20107.046165 D1/pre 2026-10-28: 20107.026056 |
| LFT 2029-03-01 | 2026-10-27 | buy | 0,05 | 20157.79 | 20085.770825 | 7202 | D0 2026-10-27: 20075.464572 D0/pre 2026-10-27: 20075.384177 D1/pre 2026-10-28: 20085.690389 |
| LFT 2029-03-01 | 2026-10-27 | sell | 0,06 | 20142.78 | 20070.801664 | 7198 | D0/pre 2026-10-27: 20070.721269 D1 2026-10-28: 20081.125642 D1/pre 2026-10-28: 20081.025097 |
| LFT 2031-03-01 | 2026-10-27 | buy | 0,10 | 20094.02 | 20022.729057 | 7130 | D0 2026-10-27: 20012.414828 D0/pre 2026-10-27: 20012.113347 D1/pre 2026-10-28: 20022.407313 |
| LFT 2031-03-01 | 2026-10-27 | sell | 0,11 | 20075.03 | 20003.812568 | 7122 | D0/pre 2026-10-27: 20003.470889 D1 2026-10-28: 20014.142507 D1/pre 2026-10-28: 20013.780545 |
| LFT 2029-03-01 | 2026-10-26 | buy | 0,05 | 20147.43 | 20085.730607 | 6170 | D0 2026-10-26: 20075.424374 D0/pre 2026-10-26: 20075.343979 D1/pre 2026-10-27: 20085.650171 |
| LFT 2029-03-01 | 2026-10-26 | sell | 0,06 | 20132.42 | 20070.761467 | 6166 | D0/pre 2026-10-26: 20070.660973 D1 2026-10-27: 20081.065315 D1/pre 2026-10-27: 20080.984879 |
| LFT 2027-03-01 | 2026-10-26 | buy | 0,02 | 20169.22 | 20107.689653 | 6154 | D0 2026-10-26: 20097.392296 D0/pre 2026-10-26: 20097.372197 D1/pre 2026-10-27: 20107.669544 |
| LFT 2027-03-01 | 2026-10-26 | sell | 0,03 | 20158.22 | 20096.729038 | 6150 | D0/pre 2026-10-26: 20096.688840 D1 2026-10-27: 20107.026056 D1/pre 2026-10-27: 20107.005947 |
| LFT 2031-03-01 | 2026-10-26 | buy | 0,10 | 20084.44 | 20022.648621 | 6180 | D0 2026-10-26: 20012.334433 D0/pre 2026-10-26: 20012.032952 D1/pre 2026-10-27: 20022.346986 |
| LFT 2031-03-01 | 2026-10-26 | sell | 0,11 | 20065.45 | 20003.732173 | 6172 | D0/pre 2026-10-26: 20003.370395 D1 2026-10-27: 20014.041962 D1/pre 2026-10-27: 20013.700109 |
| LFT 2028-03-01 | 2026-10-26 | buy | 0,02 | 20165.04 | 20103.647741 | 6140 | D0 2026-10-26: 20093.352449 D0/pre 2026-10-26: 20093.332351 D1/pre 2026-10-27: 20103.627632 |
| LFT 2028-03-01 | 2026-10-26 | sell | 0,03 | 20152.01 | 20090.659218 | 6136 | D0/pre 2026-10-26: 20090.639120 D1 2026-10-27: 20100.973242 D1/pre 2026-10-27: 20100.933024 |
| LFT 2028-03-01 | 2026-10-23 | buy | 0,02 | 20154.73 | 20103.627632 | 5111 | D0 2026-10-23: 20093.332351 D0/pre 2026-10-23: 20093.332351 D1/pre 2026-10-26: 20103.607523 |
| LFT 2028-03-01 | 2026-10-23 | sell | 0,03 | 20141.70 | 20090.639120 | 5107 | D0/pre 2026-10-23: 20090.619021 D1 2026-10-26: 20100.933024 D1/pre 2026-10-26: 20100.912915 |
| LFT 2031-03-01 | 2026-10-23 | buy | 0,10 | 20074.43 | 20022.568185 | 5187 | D0 2026-10-23: 20012.254038 D0/pre 2026-10-23: 20011.952557 D1/pre 2026-10-26: 20022.266550 |
| LFT 2031-03-01 | 2026-10-23 | sell | 0,11 | 20055.44 | 20003.631679 | 5181 | D0/pre 2026-10-23: 20003.290000 D1 2026-10-26: 20013.961526 D1/pre 2026-10-26: 20013.599564 |
| LFT 2029-03-01 | 2026-10-23 | buy | 0,05 | 20137.35 | 20085.690389 | 5166 | D0 2026-10-23: 20075.384177 D0/pre 2026-10-23: 20075.303782 D1/pre 2026-10-26: 20085.609953 |
| LFT 2029-03-01 | 2026-10-23 | sell | 0,06 | 20122.34 | 20070.721269 | 5162 | D0/pre 2026-10-23: 20070.620776 D1 2026-10-26: 20081.025097 D1/pre 2026-10-26: 20080.924552 |
| LFT 2027-03-01 | 2026-10-23 | buy | 0,02 | 20159.00 | 20107.669544 | 5134 | D0 2026-10-23: 20097.372197 D0/pre 2026-10-23: 20097.352099 D1/pre 2026-10-26: 20107.649435 |
| LFT 2027-03-01 | 2026-10-23 | sell | 0,03 | 20147.99 | 20096.688840 | 5131 | D0/pre 2026-10-23: 20096.668741 D1 2026-10-26: 20107.005947 D1/pre 2026-10-26: 20106.965729 |
| LFT 2029-03-01 | 2026-10-22 | buy | 0,05 | 20127.13 | 20085.650171 | 4148 | D0 2026-10-22: 20075.343979 D0/pre 2026-10-22: 20075.263584 D1/pre 2026-10-23: 20085.569735 |
| LFT 2029-03-01 | 2026-10-22 | sell | 0,06 | 20112.13 | 20070.660973 | 4147 | D0/pre 2026-10-22: 20070.580578 D1 2026-10-23: 20080.984879 D1/pre 2026-10-23: 20080.884334 |
| LFT 2028-03-01 | 2026-10-22 | buy | 0,02 | 20144.43 | 20103.607523 | 4083 | D0 2026-10-22: 20093.332351 D0/pre 2026-10-22: 20093.312252 D1/pre 2026-10-23: 20103.607523 |
| LFT 2028-03-01 | 2026-10-22 | sell | 0,03 | 20131.40 | 20090.619021 | 4079 | D0/pre 2026-10-22: 20090.598922 D1 2026-10-23: 20100.912915 D1/pre 2026-10-23: 20100.892806 |
| LFT 2027-03-01 | 2026-10-22 | buy | 0,02 | 20148.75 | 20107.649435 | 4111 | D0 2026-10-22: 20097.352099 D0/pre 2026-10-22: 20097.332000 D1/pre 2026-10-23: 20107.629326 |
| LFT 2027-03-01 | 2026-10-22 | sell | 0,03 | 20137.74 | 20096.668741 | 4108 | D0/pre 2026-10-22: 20096.648643 D1 2026-10-23: 20106.965729 D1/pre 2026-10-23: 20106.945620 |
| LFT 2031-03-01 | 2026-10-22 | buy | 0,10 | 20064.32 | 20022.487749 | 4184 | D0 2026-10-22: 20012.173643 D0/pre 2026-10-22: 20011.872162 D1/pre 2026-10-23: 20022.186114 |
| LFT 2031-03-01 | 2026-10-22 | sell | 0,11 | 20045.34 | 20003.551284 | 4179 | D0/pre 2026-10-22: 20003.209605 D1 2026-10-23: 20013.860981 D1/pre 2026-10-23: 20013.519127 |
| LFT 2029-03-01 | 2026-10-21 | buy | 0,05 | 20116.55 | 20085.609953 | 3095 | D0 2026-10-21: 20075.303782 D0/pre 2026-10-21: 20075.223387 D1/pre 2026-10-22: 20085.529517 |
| LFT 2029-03-01 | 2026-10-21 | sell | 0,06 | 20101.53 | 20070.620776 | 3091 | D0/pre 2026-10-21: 20070.520282 D1 2026-10-22: 20080.924552 D1/pre 2026-10-22: 20080.844116 |
| LFT 2027-03-01 | 2026-10-21 | buy | 0,02 | 20138.60 | 20107.629326 | 3098 | D0 2026-10-21: 20097.332000 D0/pre 2026-10-21: 20097.332000 D1/pre 2026-10-22: 20107.609217 |
| LFT 2027-03-01 | 2026-10-21 | sell | 0,03 | 20127.58 | 20096.648643 | 3094 | D0/pre 2026-10-21: 20096.628544 D1 2026-10-22: 20106.945620 D1/pre 2026-10-22: 20106.925511 |
| LFT 2028-03-01 | 2026-10-21 | buy | 0,02 | 20134.03 | 20103.607523 | 3043 | D0 2026-10-21: 20093.312252 D0/pre 2026-10-21: 20093.292153 D1/pre 2026-10-22: 20103.587414 |
| LFT 2028-03-01 | 2026-10-21 | sell | 0,03 | 20121.00 | 20090.598922 | 3041 | D0/pre 2026-10-21: 20090.578824 D1 2026-10-22: 20100.892806 D1/pre 2026-10-22: 20100.872697 |
| LFT 2031-03-01 | 2026-10-21 | buy | 0,10 | 20053.89 | 20022.407313 | 3149 | D0 2026-10-21: 20012.113347 D0/pre 2026-10-21: 20011.791767 D1/pre 2026-10-22: 20022.105678 |
| LFT 2031-03-01 | 2026-10-21 | sell | 0,11 | 20034.91 | 20003.470889 | 3144 | D0/pre 2026-10-21: 20003.109112 D1 2026-10-22: 20013.780545 D1/pre 2026-10-22: 20013.438691 |
| LFT 2028-03-01 | 2026-10-20 | buy | 0,02 | 20123.59 | 20103.587414 | 2001 | D0 2026-10-20: 20093.292153 D0/pre 2026-10-20: 20093.272055 D1/pre 2026-10-21: 20103.567305 |
| LFT 2028-03-01 | 2026-10-20 | sell | 0,03 | 20110.56 | 20090.578824 | 1999 | D0/pre 2026-10-20: 20090.558725 D1 2026-10-21: 20100.872697 D1/pre 2026-10-21: 20100.852588 |
| LFT 2031-03-01 | 2026-10-20 | buy | 0,10 | 20043.37 | 20022.346986 | 2103 | D0 2026-10-20: 20012.032952 D0/pre 2026-10-20: 20011.711372 D1/pre 2026-10-21: 20022.025242 |
| LFT 2031-03-01 | 2026-10-20 | sell | 0,11 | 20024.39 | 20003.370395 | 2102 | D0/pre 2026-10-20: 20003.028717 D1 2026-10-21: 20013.700109 D1/pre 2026-10-21: 20013.338146 |
| LFT 2027-03-01 | 2026-10-20 | buy | 0,02 | 20128.38 | 20107.609217 | 2078 | D0 2026-10-20: 20097.332000 D0/pre 2026-10-20: 20097.311901 D1/pre 2026-10-21: 20107.609217 |
| LFT 2027-03-01 | 2026-10-20 | sell | 0,03 | 20117.36 | 20096.628544 | 2074 | D0/pre 2026-10-20: 20096.608445 D1 2026-10-21: 20106.925511 D1/pre 2026-10-21: 20106.905402 |
| LFT 2029-03-01 | 2026-10-20 | buy | 0,05 | 20105.27 | 20085.569735 | 1971 | D0 2026-10-20: 20075.263584 D0/pre 2026-10-20: 20075.183189 D1/pre 2026-10-21: 20085.489299 |
| LFT 2029-03-01 | 2026-10-20 | sell | 0,06 | 20090.26 | 20070.580578 | 1968 | D0/pre 2026-10-20: 20070.480085 D1 2026-10-21: 20080.884334 D1/pre 2026-10-21: 20080.783789 |
| LFT 2029-03-01 | 2026-10-19 | buy | 0,05 | 20094.64 | 20085.529517 | 912 | D0 2026-10-19: 20075.223387 D0/pre 2026-10-19: 20075.142992 D1/pre 2026-10-20: 20085.449081 |
| LFT 2028-03-01 | 2026-10-19 | buy | 0,02 | 20112.75 | 20103.567305 | 919 | D0 2026-10-19: 20093.272055 D0/pre 2026-10-19: 20093.251956 D1/pre 2026-10-20: 20103.547196 |
| LFT 2031-03-01 | 2026-10-19 | buy | 0,10 | 20033.46 | 20022.266550 | 1120 | D0 2026-10-19: 20011.952557 D0/pre 2026-10-19: 20011.630977 D1/pre 2026-10-20: 20021.944806 |
| LFT 2027-03-01 | 2026-10-19 | buy | 0,01 | 20118.26 | 20108.313033 | 995 | D0 2026-10-19: 20098.015357 D0/pre 2026-10-19: 20098.015357 D1/pre 2026-10-20: 20108.292924 |
| LFT 2023-03-01 | 2018-02-01 | sell | 0,04 | 9326.33 | 9321.296992 | 504 | D1 2018-02-02: 9323.809314 |
| LFT 2021-03-01 | 2018-02-01 | sell | 0,04 | 9333.78 | 9328.750443 | 503 | D1 2018-02-02: 9331.274109 |
| LTN 2023-01-01 | 2018-02-01 | buy | 9,41 | 644.25 | 644.020349 | 23 | D0 2018-02-01: 643.790556 |
| LTN 2023-01-01 | 2018-02-01 | sell | 9,53 | 640.80 | 640.344040 | 46 | D1 2018-02-02: 640.575389 |
| LTN 2019-01-01 | 2018-02-01 | buy | 6,73 | 943.26 | 943.017369 | 25 | D0 2018-02-01: 942.773667 |
| LTN 2019-01-01 | 2018-02-01 | sell | 6,85 | 942.31 | 941.815653 | 50 | D1 2018-02-02: 942.063308 |
| LTN 2021-01-01 | 2018-02-01 | buy | 8,78 | 783.65 | 783.391283 | 26 | D0 2018-02-01: 783.129707 |
| LTN 2021-01-01 | 2018-02-01 | sell | 8,90 | 781.15 | 780.625664 | 53 | D1 2018-02-02: 780.889820 |
| LTN 2020-01-01 | 2018-02-01 | buy | 7,95 | 864.67 | 864.407981 | 27 | D0 2018-02-01: 864.145618 |
| LTN 2020-01-01 | 2018-02-01 | sell | 8,07 | 862.84 | 862.315040 | 53 | D1 2018-02-02: 862.580649 |
| NTN-F 2023-01-01 | 2018-02-01 | buy | 9,20 | 1040.25 | 1039.888672 | 37 | D0 2018-02-01: 1039.525555 |
| NTN-F 2023-01-01 | 2018-02-01 | sell | 9,32 | 1035.71 | 1034.984942 | 73 | D1 2018-02-02: 1035.350985 |
| NTN-F 2021-01-01 | 2018-02-01 | buy | 8,60 | 1043.76 | 1043.419131 | 35 | D0 2018-02-01: 1043.077587 |
| NTN-F 2021-01-01 | 2018-02-01 | sell | 8,72 | 1040.79 | 1040.107406 | 69 | D1 2018-02-02: 1040.452538 |
| LFT 2017-03-07 | 2016-12-30 | sell | 0,01 | 8450.59 | 8441.960571 | 863 | D1 2017-01-02: 8446.277556 D0b3 2017-01-02: 8446.277556 |
| LFT 2021-03-01 | 2016-12-30 | buy | 0,05 | 8433.33 | 8429.004607 | 433 | D0 2016-12-30: 8424.679567 |
| LFT 2021-03-01 | 2016-12-30 | sell | 0,09 | 8419.43 | 8410.766966 | 867 | D1 2017-01-02: 8415.093338 D0b3 2017-01-02: 8415.093338 |
| LTN 2018-01-01 | 2016-12-30 | buy | 11,47 | 898.64 | 898.262777 | 38 | D0 2016-12-30: 897.875804 |
| LTN 2018-01-01 | 2016-12-30 | sell | 11,59 | 897.69 | 896.917919 | 78 | D1 2017-01-02: 897.308310 D0b3 2017-01-02: 897.308310 |
| LTN 2023-01-01 | 2016-12-30 | buy | 11,55 | 520.82 | 520.596389 | 23 | D0 2016-12-30: 520.370634 |
| LTN 2023-01-01 | 2016-12-30 | sell | 11,67 | 517.49 | 517.037744 | 46 | D1 2017-01-02: 517.264261 D0b3 2017-01-02: 517.264261 |
| LTN 2019-01-01 | 2016-12-30 | buy | 11,03 | 813.20 | 812.869660 | 34 | D0 2016-12-30: 812.532227 |
| LTN 2019-01-01 | 2016-12-30 | sell | 11,15 | 811.47 | 810.792621 | 68 | D1 2017-01-02: 811.132808 D0b3 2017-01-02: 811.132808 |
| LTN 2021-01-01 | 2016-12-30 | buy | 11,34 | 652.38 | 652.109836 | 28 | D0 2016-12-30: 651.831925 |
| LTN 2021-01-01 | 2016-12-30 | sell | 11,46 | 649.59 | 649.040453 | 55 | D1 2017-01-02: 649.319950 D0b3 2017-01-02: 649.319950 |
| NTN-F 2021-01-01 | 2016-12-30 | buy | 11,28 | 963.85 | 963.446791 | 41 | D0 2016-12-30: 1011.826410 |
| NTN-F 2021-01-01 | 2016-12-30 | sell | 11,40 | 960.36 | 1008.328414 | -4796 | D1 2017-01-02: 959.951626 D0b3 2017-01-02: 959.951626 |
| NTN-F 2023-01-01 | 2016-12-30 | buy | 11,43 | 944.58 | 944.177413 | 41 | D0 2016-12-30: 992.559896 |
The first 80 of 289 rows; every row is in certs/pu-ledger.json (offRows). A difference of a few centavos with the sign of a later settlement is a settlement-day convention; a difference of about R$ 48 on an NTN-F quoted on the last business day of the year is a coupon gone ex because settlement crossed 1 January. Of the 289 rows that remain OFF after the B3 settlement calendar, 168 are the rule’s value for a settlement one to six bank business days later than any pre-registered hypothesis — the record carries that implied settlement for each, and it is never used to decide. The largest groups: 2008-06-19 → 2008-06-23 (28), 2014-06-27 → 2014-07-01 (17), 2014-06-25 → 2014-06-27 (17), 2016-12-30 → 2017-01-03 (15), 2016-12-29 → 2017-01-03 (15), 2018-02-01 → 2018-02-05 (14), 2015-12-31 → 2016-01-05 (14), 2015-12-30 → 2016-01-05 (14). Three of those groups are the last quotation days of 2014, 2015 and 2016, whose prices are the value for settlement on the SECOND business day of the next year; the exchange’s circulars state that practice for 2018 and 2019 (OC 111/2016: “Por solicitação da Secretaria do Tesouro Nacional, a primeira liquidação de compra e de venda de 2018 será realizada no segundo dia útil”, and OC 021/2017 the same for 2019), yet the published prices of 28 December 2017 and 28 December 2018 are the value for the first business day. A circular and the published numbers disagree; neither is assumed here, and no first-business-day skip is in the settlement table. The others — 26 and 30 June 2014, 2 July 2010, 20 June 2008, 2 February 2018 — are days no pinned document names. What is claimed: the printed number is not the methodology’s value for the printed rate on the pinned calendar under the pre-registered settlements. What is not claimed: that the publisher erred — a settlement rule or a calendar the publisher used and did not publish is a NEEDS DATA reading, and the pre-registration names it as such.
The methodology’s own LTN example, re-decided here with every truncation shown. Maturity 01/07/2010, settlement 21/05/2008, rate 14,3600% a.a.
And the first OFF row of the ledger: LFT 2028-03-01 quoted 2026-10-27 (buy), rate 0,02%, printed R$ 20175.28.
What a verdict rests on. Every verdict above is exact about the rule, the calendar and the settlement it names. In the order a price travels through them, each premise with the rung its checking reached — validated (against the thing itself, held out), compared (against a model that keeps more), verified (the code against an exact solution of its own equations) or assumed (adopted; nothing here checked it):
The arithmetic is verified; the weakest premise is assumed. REPRODUCED says the printed price is the rule's value for the printed rate, on that calendar, at that settlement; OFF says it is that value under none of the pre-registered settlements — never that the publisher erred.