yeah on a second thought itโs not very useful
Also because it would only apply to spec from simple predicates, not other types of specs
it already does what you're asking, unless I misunderstand what you're asking
https://gist.github.com/hiredman/60e5e6f0025cb38c8a7739d21f5a8ce6 is a little thing I've been toying with for using spec to define and check stateful protocols, meaning it defines how a client and server communicate, and certain client requests are only valid when the server is in certain states. given such a definition you stick it between your client and server and it checks the communication back and forth and gives errors if either side violates the protocol.