Your over thinking the second relationship. I'll explain.

additional relationships:
3->2 curve should be above 1->2 curve;
4->3 curve should be above 2->3 curve;
5->4 curve should be above 3->4 curve;
6->5 curve should be above 4->5 curve;
If the Transmission is in 5th gear, then the TCM shift points would be looking at its options from 5th gear, either it goes to sixth or down to 4th. So as to say "6->5 curve should be above 4->5 curve;" This is irrelevant, logic states that if the TCM looks at the 4>5 curve in relationship, it is already in 5th gear, it is not going to say, oh, shift back to 4th, and then shift back to 5th. The logic controller does not work that way. It is programmed with a set of if statements, "if this is (x), then do Y. SO there is no way you could confuse the TCM in the manner that you are suggesting with your second set of "additional relationships."

Now with that said, prove me wrong, please, educate me on how this would be programmabley possible with how language controllers are/or written in?

I do respect you, but with a degree in language engineering and software programming, I believe you are misleading. Your first statement of relationships holds true, but your second, not so much.