You allude to the difference between requirements and constraints. What you say is true, but also it's true that the Therac-25 was not designed to not output hi

You allude to the difference between requirements and constraints. What you say is true, but also it's true that the Therac-25 was not designed to not output high power when an operator typed quickly.