consistency checks (outdated states, circular dependency)