高法没有明确要求“必须退税”，但是企业会根据裁决、要求退税

程序上，是通过地方法院、国际贸易庭

具体执行，是由海关、财政部

有过先例：1998，出口税被高法判违法，国际贸易庭要求联邦政府设立退款系统，连本带息，都还给了企业

这一次，高法裁决前，联邦政府律师已向贸易庭书面表示：如果被判违法，会按程序退款