cerno: JEV's System One primitives on a local model

https://itzenplitz.net/en/posts/cerno/