Hi Frah

the domain in Sale order lines is managed by many apps and logic

the best approach is tto create a field 

	​	​class SaleOrder(models.Model):
    _inherit = "sale.order"
 
	​allowed_product_ids = fields.Many2many(
        comodel_name="product.product",
        string="Allowed Products",
        compute="_compute_allowed_product_ids",
    )


	​def _get_allowed_products_domain(self):
		​​rec.allowed_products = False
	​	​for rec in records:
	​		​​if rec.order_id.is_from_crm:
        	​rec.allowed_products = self.env['crm.quotation.product'].search([]).product_ids


#in the view
 <field name="arch" type="xml">
         <field name="partner_id" position="after">
                <field name="allowed_product_ids" invisible="1" />
                <field name="is_from_crm" invisible="1" />
            </field>
            <!-- Form -->
            <xpath
                expr="//field[@name='order_line']/form//field[@name='product_id']"
                position="attributes"
            >
                <attribute
                    name="domain"
                    operation="domain_add"
                    condition="parent.has_allowed_products"
                >
                    [('id', 'in', parent.allowed_product_ids)]
                </attribute>
            </xpath>
            <!-- Tree -->
            <xpath
                expr="//field[@name='order_line']/tree/field[@name='product_id']"
                position="attributes"
            >
                <attribute
                    name="domain"
                    operation="domain_add"
                    condition="parent.has_allowed_products"
                >
                    [('id', 'in', parent.allowed_product_ids)]
                </attribute>
            </xpath>
        </field>


An inspiration for that is https://github.com/OCA/sale-workflow/tree/16.0/sale_order_product_assortment

hope this helps you

Daniel