1. A method comprising: detecting a violation to one or more dynamically constructed invariants for configuration; and diagnosing a misconfiguration based on use of a task-based ranking of misconfiguration suspect causes in which suspect causes of the misconfiguration are ranked based on information indicative of which entity made a change related to the one or more invariants for which a violation was detected.