Constraint-Led Adaptation Logic