Ten thousand stars, kept on Robinhood Chain. Name one, and the name stays for as long as the chain does.
Every one of the 10,000 stars has a fixed place and brightness, worked out from its number by the contract itself. The sky here is drawn from the same formula, so it's the same sky for everyone, forever.
Pick any unnamed star and give it a name, with a line of dedication if you like. It can only ever be named once. The name and who gave it are kept on chain.
A faint star costs 10,000 $STAR, and the brightest cost up to fifty times that. Every token paid is burned. There's no owner, no pot and no way to rename.