I'm sure you've read all the Graham Nelson Z-Machine specs etc.?
And seen the various alternative implementations like nitfol (which is a bit smaller than most and easier to read maybe)?
I'm writing blog posts on my journey - detailing each instruction and any nuance with each one, as well as the object structure, z-text and misc. I hope to post it here one day.