[Muromec]

The article proposes a way to agree on context out of band and enforce it with idl. This seems to be an implementation of the principle you mention

[amluto]

No, it’s completely wrong. It’s a very minor refinement of a terrible yet sadly common design that merely mitigates one specific way that the terrible design can fail.

See my other comment here. By the time you call the OP’s proposed verify API you have already screwed up as a precondition of calling the API.