Eligible reserve revenue can be allocated to systematic token buybacks.
The ledger records each purchase with its economic source, amount, token quantity, average price, venue, and transaction reference.