So at the time that the name was submitted, Chang Hon did not exist and Choi was doing what everyone else in CDK was doing, all of which was retroactively called Taekwondo. Choi goes on to develop the Chang Hon system and found the ITF in 1966 and the Chang Hon system reaches its full development in 1972.
Gen Choi, like the others were doing basic Korean karate, brought to Korea by 7 koreans, Gen Choi being 1 of them that studied martial arts abroad. While the time 1954/5 came around there was naturally some difference in what people were doing, how they were doing it & what the emphasized. That to me is common sense. However we don't really know too much about this part of the formative years, as efforts were made to gloss over it for obvious nationalist reasons, some even label it as the disorder period. Some official accounts spent pages on what happened in Korea 2,000 years ago & only a paragraph or 2 about this all important starting point. Unfortunately this is a hand we have been dealt.
People do like to apply the name TKD retroactively to this period, but I am not sure that it can stand up to close scrutiny.
The Chang Hon system was not fully developed by 1972, but pretty much codified by then. It was however this system that was 1st developed in the ROK Army & continued outside of the military that 1st applied the name TKD to it, not retroactively, but in 1955 & continuously from that point forward. Gen Choi never adopted or accepted the name Tae Soo Do, in 1961 when it was implemented. In 1962, in Korea his followers did hold a TKD tournament, while the others did start to have Tae Soo Do accepted in the Korean National Festival. He & his followers, who were being dispatched to Vietnam & Malaysia from 1962 forward, did so under the TKD name.
So in 1972, Choi rebrands his Chang Hon as being the original taekwondo, using his position as head of the ITF and as one of the early figures in TKD history to lend credence to that rebranding.
Yes which was very divisive & hard to forgive by many TKDin. Because of his Korean politics, opposition to the military dictatorships which were very oppressive, Gen Choi used TKD & his ITF for his political agenda, much to the detriment of all TKD, including those in the ITF.
Look, meaning no disrespect, you really don't have a case for Chang Hon or ITF Taekwondo being 'original taekwondo' unless you mean that it is an original system that is different from its predecessors. Kind of how the C-5 Corvette was an original design but not the original Corvette.
Of course it is different now from its roots in the Army. All of TKD is different from where it started, no? No disrespect taken.
But that isn't what you mean because you already defined how you mean it, though your definition needs to shop for a different word. I don't know what that word would be, as the guy you say originally and continuously used the name was applying it to something that predates his system and federation, but which he applied to said system and federation years later, and I don't know of a single word that describes that.
While Chang Hon may have been a 'taekwondo original', it is misleading to call it 'original taekwondo.'
Like the trouble you may be running into on the true TKD section, I am not trying to mislead & offer a concise definition for my use of the descriptor original. I think you may be focusing on the word original as a noun. I am using the word original as an adjective:
adjective
1. belonging or pertaining to the origin or beginning of something, or to a thing at its beginning: The book still has its original binding.
2. new; fresh; inventive; novel: an original way of advertising.
3. arising or proceeding independently of anything else: an original view of history.
4. capable of or given to thinking or acting in an independent, creative, or individual manner: an original thinker.
5. created, undertaken, or presented for the first time: to give the original performance of a string quartet.
6. being something from which a copy, a translation, or the like is made: The original document is in Washington.
noun
7. a primary form or type from which varieties are derived.
8. an original work, writing, or the like, as opposed to any copy or imitation: The original of this is in the British Museum.
9. the person or thing represented by a picture, description, etc.: The original is said to have been the painter's own house.
10. a person whose ways of thinking or acting are original: In a field of brilliant technicians he is a true original.
11. Archaic . an eccentric person.
12. Archaic . a source of being; an author or originator.