the 교도지도국 was often shortened to 교지국, but they didn't confuse it for "bureau of teaching". ditto with 대외무역성...
I wish there are source about 'often shortened'. if it is true, it would be named because of to avoid confusing with other orgs, like 지도국(Bureau of Teaching/Guidance') like 민족개발지도국 & 나진선봉지도국 of 대외무역성, or 교도대(one of NK reserve unit, not confused with Kyodotai(JP)). but about unit name, it have to be '교도 or 교지' + '(mission or role)' + 대. I already suggested like '교도저격대'.
I worked alongside ROKA intelligence (777사령부) for 4 years and I have language+KPA analysis qualifications saved to folders if you really care to see them, so no patronization needed on that front. literally all I can find are blog links on top of the two journal links you provided, and nothing specifically indicating this is a NK term as opposed to an alternative SK name.
I hope you can show me that folders. It will be great lesson whatever I was wrong or not.
7호 발사관 is indeed a NK term for the RPG-7. and this is all ignoring that it was simpler to just go with calling it a 'fire support team'.
RR team was named as Bibanchungpo(-jo/-ban), then RPG-7 team can be Balsagwan(-jo/-ban), maybe.
You'll agree it is bit shorter than Hwaryok-Jiwon-Ban.
thus, a unit can be given to NK authentically to represent the TUGB discrete brigades. tell me, is there such a unit to represent these 60k troops right now?
Sadly, nope. but it seems not good to lump roughly that 60k troops into one unit. we can add variation for other TUGB units(like attatching Kyodo- ), instead of merging it.
Jeongchaldae represent the 정찰국. however, as your own sources pointed out, there are also 정찰대대 that have nothing to do with REBU, subordinate to each infantry divison under the administrative control of TUGB. so we have two combat formations in NK that can be called 정찰대. how would you propose to resolve that, especially when NK can use its authentic 정찰대대들 as line/shock recon squads? that was my entire point with having to come up with some reasonable rename for the current Jeongchaldae. if there aren't Recon Bn troops added, then sure, Jeongchaldae should stay jeongchaldae.
1. if another Jeongchalae(battalion) must be added, I'll suggest for the original one to be -yŏdan(brigade) instead of -dae. there are already 'regiment' named units such as LStR and Wachregiment. then why not the brigade?
2. or, I'll suggest another Recon's name for the new one, such as 민정경계대 aka 민경대(NK DMZ Border Patrol). there are border patrols like BGS and Grenzer at both Germany, too.