At this point it seems pretty likely tbh. Putin signed a new mutual pact with Kim earlier this year. There are videos of North Korean men receiving Russian military uniforms and signing forms in Sergeyevka. The US, Ukraine, NATO, and South Korea are all reporting incidences of North Koreans fighting and dying in the Kursk region. Putin has given wishy washy statements like "how we utilise the mutual pact is our business".