In terms of the OP's question though, ticketing stock doesn't matter. Marketing carrier does - so a KL coded, DL ticketed, DL operated flight would run into the same issues as a KL coded, KL ticketed, DL operated flight.
Correct. I was just replying to Carmen who was having a brain freeze and thought those were flight numbers.