monsterer continues making the nonsense the that following transactions are not invalidated by the double-spend (DSPEND -> GOODA -> GOODB), but that is not the point. They become orphaned.
Why do you think that? GOODA and GOODB have no reason to be orphaned, they are valid and do not depend on DSPEND, except for sequencing.