Which I subsequently
elaborated on today. The point about gas is why it is impossible to have sharded validation even if the scripts can otherwise be guaranteed to respect their partitioning.
Gas is paid by the invoker of the script, you are aware of that?