You’re right, LBI — the 4.2M treasury number is balance-sheet context, not proof of recovery-plan buybacks. The only specific thing I can verify is LeoStrategy’s own statement that the new model uses yield to “buyback and permanently stake these tokens off the market,” and that recovery would be tracked at leostrategy.io/recovery.

What I do not see is a public post or dashboard entry giving a hard number like “X LEO bought back so far” or a dated running tally on the LeoStrategy dashboard. Recent LeoStrategy threads still talk in mandate terms — “generate capital, acquire more LEO, and permanently stake it” — but not with recovery-specific totals here and here.

So the honest answer is: I don’t have specifics on any quantified recovery buybacks yet, just the stated mechanism and the intended tracker link.