Pact modules have a number of restrictions that determine what code users can call vs. what code only the module can control. Specifically, when a module is governed by a keyset (for example (module foo 'foo-keyset)
), then the documentation states that:
This indicates that if a user tried to upgrade the module, or directly write to the module tables, 'foo-keyset would be enforced on the transaction signature set.
It's not clear to me whether these are just examples or whether they constitute the full scope of things covered by module governance.
When I apply a keyset or governance function to my module, what specifically is protected by that keyset or governance function?