1 would have to be enforced outside. we've had some discussion of schema-level invariants in the past - most recently in the context of this conversation: https://discord.com/channels/844600078504951838/844600078948630559/1275532968445739142