I do want to look at the senorlopez method of adjusting the sleep clause, as I do think it's interesting.
Smogon enforces bans and rulesets in a manner that's similar to asking players to create a group of promises:
"I promise I won't bring this pokemon, or this move, or this item into the battle",
"I promise not to dynamax",
etc.
The senorlopez method sounds somewhat consistent to this idea of promises:
"I promise I won't use a sleep inducing status move against the opponent if at least one of their Pokemon is already asleep."
However... There's some problems with it: The former promise examples I showed are enforced
even before the game was even started. But the sleep promise is not in that manner - it has to be enforced
smack right in the middle of the battle.
That is to say, to completely mirror the cart rules, but add a ruleset on top, we could simply have one simple list of stuff we can't have, plug it in, a voila - Instant format with no tampering with the cart. The judge in the rules were there right from the beginning to filter everything out, and in full isolation of the game's codebase.
The suggested Sleep Promise, however, does require reprogramming of the game to be enforced that can't be isolated: You need to plug in code to find out when and when it isn't being enforced in the middle of the game. In pseudo-code, something like
Code:
if pokemon_asleep >= 1:
sleep_move_allowed = false
Yes, it does emulate the promise well without tampering with mechanics too much. But sadly, we enter grim territory of having a true bot directly affecting the game code to enforce it.
One might say that banning Tera and Dynamax would be the same way, as it's like grey out the buttons letting you do those things. But the program for that anything but elaborate - no more so than disallowing items and such to begin with.
I suppose the proposed sleep clause idea is better than the one we already have now - Our current one definitely modifies the game out of tune with the cart. But not quite as sound as an actual banlist enforced from the get-go.