It's not quite as simple as that, because if all the remaining committee members vote F (further discussion) ahead of D (systemd) then D gets dropped before the casting vote stage (Debian constitution A.6.3).
So far one of the four remaining committee members has done this, another is expected to, leaving the decisions of the remaining two to determine whether the vote completes or not.
Sorry for spreading misinformation, it seems that I got exited too soon. Still, I find somewhat unlikely that all the others member will vote F ahead of D.
Are you referring to the "Technical Committee makes decisions only as last resort." paragraph of the Debian constitution? It's a bit cryptic for a non-native like me, so I'm not sure that I'm reading it right.
No, this is in the voting section A. It reads "Any (non-default) option which does not defeat the default option by its required majority ratio is dropped from consideration."
In this case F (further discussion) is the default option, and this stage in the voting process precedes the casting vote.
I too think it's unlikely that both Colin and Andi will block the decision, but we've known it's likely that systemd will win for some time now. It's still not yet official.
Indeed. Note that the reason systemd wins is that Colin voted systemd ahead of further discussion, now defeating it with at least 5 votes from the 8. And then in the subsequent voting stage systemd has at least 4 votes + the chair's casting vote as per the above post.
https://lists.debian.org/debian-ctte/2014/02/msg00294.html
https://lists.debian.org/debian-ctte/2014/02/msg00283.html
https://lists.debian.org/debian-ctte/2014/02/msg00297.html
https://lists.debian.org/debian-ctte/2014/02/msg00282.html
For anyone wondering, 4 votes are enough because Bdale's vote (the chairman of the Technical Committee) count as two votes in case of a draw.
EDIT: see this (https://news.ycombinator.com/item?id=7203479) comment below - if the other 4 members of the TC vote F, then systemd would not win.