Clearly, you believe that the blockchain contains a collection of all generated Bitcoin addresses, which is simply not the case. That is why your proposed idea will not work at the protocol level.
Well, bitcoin already implements something like a rule, which is that someone can't spend more than the balance of an address.
I assume it does this by having a list of all transactions and calculating the balance.
So, the bitcoin client can send a special transaction which contains the rule, rather than an amount to spend.
Then that transaction can be seen by the miners when they confirm new transactions from that address.