I made a short video to illustrate what I mean by explicit assumptions and role-level contracts, in case it helps:

https://www.youtube.com/watch?v=VeqSPJtP618