fn validate_action_variants( action_id: &str, action: &Value, contract: &Value, ) -> Result<(), FeatureCompileError>
Ensures every selected contract variant is reachable from one validated enum input.