Is there a way for contract check to be cached? That is, say that I have a contract that requires a list of numbers to be sorted. If that contract is checked every time a value is used, then that would add a bunch of overhead. However, once a list is confirmed to be sorted, then checking again would be redundant, so the result of the check could be cached.

contracts don’t do that automatically, but what I’d do is create a structre to represent sorted lists, and then that could have a contract that cached the answer