Если по завершении вычислений выясняется, что входное значение недопустимо… Входное значение, чья недопустимость выясняется по завершении вычислений… — В таких случаях бывает полезно переводить описательно.

То есть значение, которое всегда было недопустимым (в математическом смысле: функция на этом значении не определена), но о котором можно это выяснить только по окончании вычислений — по проверочному условию, наложенному на вычисленное выходное значение.

I have the impression that you had invented a terminology that was difficult to understand even in English.

Если по завершении вычислений выясняется, что входное значение недопустимо… Входное значение, чья недопустимость выясняется по завершении вычислений… — В таких случаях бывает полезно переводить описательно.

То есть значение, которое всегда было недопустимым (в математическом смысле: функция на этом значении не определена), но о котором можно это выяснить только по окончании вычислений — по проверочному условию, наложенному на вычисленное выходное значение.

I get the impression that you came up with terminology that was difficult to understand even in English.