Distributions & Buy-Backs for Tokenized Securities Smart Contract Architecture – why a payout is a gated transfer, and why a buy-back is a programme, never a facility.