the deployed system ran the opposite of its specification
The frozen specification said one thing and the deployed code computed the other. The sign of the score was inverted in the branch that acted on it, so every decision taken went the opposite way to the one specified. In the same path the…