Reading the history of the Grant Matcher puzzle has given names to some concepts that I have brushed against but haven't deeply explored.
https://capnproto.org/rpc.html
led me to
http://erights.org/elib/equality/index.html
led me to
http://erights.org/elib/equality/grant-matcher/index.html
led me to
(the submitted link) http://erights.org/elib/equality/grant-matcher/history.html