A<-B<-A*<-C<-D
A* is the double spend. Why must C and D get orphaned?
If we can get over this point, I'll describe the entire idea.
@TPTB_need_war, you wrote this upthread :
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. Is there something not clear about the different meaning of those two words, orphaned and invalidated.
Were you talking specifically about DAGs and Iota, or in general?
May I request that if you want to have a discussion about theory behind graph models for transaction state, that you create a new thread and we will discuss it there. Then after we reach mutual understanding, we will post the summary back in this thread. I don't want to make this thread unnecessarily noisy.
I don't think trees will work and that is why I think we will end up writing a long discussion. And this thread is already getting difficult to follow, being too long to digest holistically in a reader's mind.