А я все-таки наврал - верхний транзистор работает не как стабилизатор тока, а как стабилизатор напряжения - стабилизирует уровень логического нуля.
Всё же мне кажется Т3 должен быть постоянно открыт, вне зависимости от потенциала выхода (своего истока). Если степень его открытости зависит от потенциала его истока, то на выходе напряжение не поднимется выше
(транзистор в режиме стабилизации выходного напряжения, при напряжении на выходе выше транзистор полностью закроется), т.е. весьма далеко не дойдёт до напряжения питания. А глядя на параметры выходов цифровых микросхем с "подтяжкой" выходов к питанию (там "подтяжка" в виде транзистора включена ровно как Т3), вижу что напряжение на выходах вполне себе доходит до напряжения питания (при уменьшении тока через вывод). Противоречие. Как бы его объяснить?
Впрочем, к исходному вопросу ТС это всё имеет отдалённое отношение.