At TabConf 2022 we had a little meeting where we discussed avenues for improvement to miniscript/descriptors, which included an idea for unspendable keys: descriptor_changes.md · GitHub
I just wanted to post it here as background; I’ll comment on your ideas here when I’ve had a chance to digest it.