[DrKevlar]

как ни странно но скорее всего либо второе либо третье.
потому как если бы к/с проверял етакс то расчёт к/с был бы одинаков и для мута и для лексии.

третий вариант мало вероятен хотя тоже возможен, что дб тупо может проверять к/с в слуйчае ошибок кодирования