Interaction between @save_undo and bit 4 of Flags 2?

To me, this suggests an incomplete, imprecise and/or insufficiently explicit standard.

I’ve seen Mike_G’s post about currently undefined behavior (Z-Machine undefined behavior). Perhaps some more comprehensive definitions of expected behavior in this area can go on the list. Is there some sort of working committee for a ZMS 1.2 standard?