First uncountable ordinal of an inner model (${\omega }_1^M$)

For an inner model $M$, the ordinal ${\omega }_1^M$ is the least ordinal that $M$ regards as uncountable. Equivalently, it is the supremum of the order types of the well-order codes belonging to $M$. It can be countable in the ambient universe.