The UK doesn't have a technical export ban, just a contractual requirement that all UK manufacturers have to first supply all UK contracts before supplying any

The UK doesn't have a technical export ban, just a contractual requirement that all UK manufacturers have to first supply all UK contracts before supplying any export contracts. Even though the UK contracts were signed after other contracts. Whether that's an "export ban" or not is semantics, the result is the same: nothing is exported.