[codethief]

Hi Ted, congratulations on shipping this! You clearly put a lot of thought into this!

> If the host wants the Mog program to be able to do I/O, it has to supply the functions that the Mog program will call.

Have you considered implementing this in terms of algebraic effects? After all, controlling side effects is not only useful at the boundary between host and agent-generated code but also within any given code base to separate pure from non-pure code. I suspect that functional code will be much easier to understand for LLMs at scale because of state locality. (I actually suspect the same for humans but it's hard to obtain good data to answer this.)