Speaking of the Poly Reset mode - just a reminder, I believe there is a bug (or at least a sub-optimal algorithm) in how it's currently working. As you mentioned:
When in POLY_RESET, any old voice in a release state can be stolen.
But wouldn't it be more accurate to say "... any old voice in a release state will
be stolen, in circular fashion"?
For example if I have a long-Release-envelope program in Poly Reset mode and I press down three keys, and after that play a solo line (one key at a time), it will cycle between three voices (as long as they are still in the Release state). But it really should always Reset back to only using the same one voice. Maybe the current algorithm makes for simpler/cleaner code
but it is not as musically useful.
With the addition of a simple rule ("only the lowest-numbered old voice(s) in Release state will be stolen"), this could be fixed. I would also make sure that when a voice is stolen, it doesn't start over again from the beginning of the Attack cycle, but starts over wherever the last note left off ("legato").