Verify it yourself.

Open the token and the queue contract on any Ethereum explorer. Each read below is public, needs no account, and costs nothing.

The queue

Call scoreline(). It returns the first live Notch number, the next number, the open units still waiting, the parings gathered and waiting, the TALL bought, the TALL retired, and the rolling record hash. The gap between the next number and the first live number is the length of the queue.

Any single Notch

Call cuttings(n) with a Notch number. It returns that Notch’s size, its remaining open amount, its opening block, and its ordinal. Walk a few consecutive numbers and you can watch the order for yourself: remainders shrink from the oldest end, never from the middle.

The retired total

Call charred() on the token, then totalSupply(). The two always sum to the launch figure of 900,000 TALL. If they ever did not, something you can see would be wrong — that is the point of exposing both.

The events

The explorer’s event log shows paring for each fee taken, notched for each Notch opened, tallied for each discharge, and char for each retirement. Notch numbers in the log only increase, and tallied always begins at the oldest live number. The order is not promised; it is printed.