Feels like there's a protocol missing: one that can be used by all parts of a persistent computing system without constraining the system as a whole

The protocol is OCapN

http://ocapn.org/

Spritely develops very interesting, high-level software.