The intention is for the files to persist, and I didn't mention it, but a core part of the system is that the editor persists source maps. So at any point in time, you can map any generated line back to the line of pseudocode that generated it.

I'll be looking into multi-file stuff soon - it's an interesting can of worms to think through.

Having hz files also opens a really interesting idea of using them as a form of static analysis and CI validation.