I figured you understood all of this quite well, and had just mis-stated. The synth should only advance the envelope for a given voice to the release stage if a corresponding note-off has been received (and the pedal is up), not just on receiving another note on. If the sustain pedal isn't down, you might not normally expect to have more than one voice being used at a time, but the potential for more than one still exists if a second note on is received while the first voice is still in its release stage. And with or without sustain, it's up to the synth to keep track of what note ons and offs have been received, and to advance the envelopes for each voice in the order that they were originally triggered accordingly.
At least, that's the hardware synth model; things may be a little different in the soft synth world where the host architecture has a bearing on how MIDI and audio are buffered into and out of the plugin. There's definitely potential for interoperability issues there, depending on how a given synth renders audio.
Regarding TruePianos modeling, I was't necessarily referring to resonance modeling, specifically, but just that Forefront advertised it as a modeling synth even before they released that one patch that included resonance modeling. It's not so much that other patches model resonance but just that multiple voices can be playing the same note number/pitch at the same time and evolving the timbre of each independently according to whatever other modeling rules exist.