You might find a few useful ideas in my abandoned project from 15 years ago: https://github.com/darius/idel https://github.com/darius/idel It was inspired in p

You might find a few useful ideas in my abandoned project from 15 years ago: https://github.com/darius/idel https://github.com/darius/idel It was inspired in part by just those agoric papers and meant to grow into supporting that kind of market. It was also designed to be fully deterministic, and included the suspending/serializing you mention (disabled because my first stab at resource accounting for that feature was wrong). It only had a few months of work put into it before I ran out of steam, though. Nowadays Web Assembly seems closest (and much further along), though it abandoned full determinism. Kragen Sitaker (HN user kragen) posted some interesting ideas about taking advantage of determinism in a platform built for it from the start. He called it Kogluktualuk, but his post seems to have been lost to googling. I think this is a promising direction still.