Function validate_var_values 

pub fn validate_var_values(
    vars: &HashMap<String, String>,
    declarations: &HashMap<String, Variable>,
) -> Result<(), Vec<ZigError>>

Validate variable values against their declared constraints at runtime.

Called after init_vars and prompt binding, before step execution begins.