Resolve defaults, normalize values, compute dependencies and validate constraints.