hello shmungus,

I would like to make you aware of https://intelligence.org/2015/12/04/new-paper-proof-producin... which provides a symbolic framework for inductively safe self-modifying code.

I forgive what you are about to build.