A service is not a product. You are mixing things up.
> Notice of Order Regarding Exclusion and Removal of DeepSeek Products
deepseek 4.1 flash definitely is a product "developed by Hangzhou DeepSeek Artificial Intelligence Co., Ltd (DeepSeek)"
How's that even debatable lmao?
Also since the model is open source you wouldn't need to go through procurement to obtain it anyways.