Not only does the GPL seems like an extraordinarily poor fit for a recipe, recipes are generally considered to not be copyrightable in the first place.

> No one has figured out their recipe to date

> So ... the ingredients are fully known ... ?

No... because nobody has figured out their recipe. They just said that.

https://en.wikipedia.org/wiki/Coca-Cola_formula

Also the proportions. While (in the US at least) manufacturers are required to list their ingredients in the order of greatest proportion to least proportion, they are not required to disclose what those proportions are, which also adds some difficulty to reverse-engineering the recipe.

Also, perhaps, difficult to come by:

"...Though the company removed cocaine from the carbonated concoction over 100 years ago, coca leaves are actually still used to flavor Coke. The soda brand has an exemption with the government allowing them to import coca leaves into a decocanization plant in New Jersey where cocaine is removed so the leaves can be used in Coca-Cola for their natural flavors."

https://www.foodandwine.com/drinks/55-million-worth-cocaine-...

The ingredients for the Coca-Cola flavor are listed as "natural flavors". That's the extent of disclosure.

Trade secret just means that they don't share the recipe and make efforts to keep it secret. Calling it a "trade secret" is really a marketing strategy as much as anything else. Just like the rumors that coca leaf extract are an ingredient... something that is "neither confirmed nor denied". A marketing strategy.

I think that it's basically flavored with vanilla, cinnamon, a few essential oils (orange, lemon, lavender), and some spices (nutmeg!). One you start adding that many flavors to a recipe, the exact flavors are no longer important, and I'm sure you could replicate something similar at home if you were willing to do enough experimentation. There are a few recipes online that you can use.