Thanks for the good closeup pics of the sprockets!
I noticed the round root of the tooth profile and when I compared it to the belt and my C3 sprockets I noticed that the TKI is indeed running the wrong tooth profile for the Gates or Mitsuboshi Carbon belts. FWIW
Glad I went with the higher quality lighter weight originator (C3) for my sleds. The correct tooth profile closely resembles a true involute tooth form. Flat top and bottom with a constantly changing arc connecting them. The Gates tooth profile slightly more pronounced than the Mitsuboshi.
The TKI tooth profile can and does work, just less efficiently than the true / correct tooth profile. The rounded tooth does not engage the whole belt tooth, it point loads it at the top near the carbon tension / tensile members which could cause accelerated belt wear and lead to belt tooth stripping if the correct conditions were to present themselves.