You can check in the Library/Developers/KDKs folder, there should be a folder there named "KDK_13.2_22D49.kdk".
I am not well informed about this subject but I would assume that was the reason my last install got messed up. The interesting thing is that during that install, I noticed the size of the KDK download was about 570MB (the KDK for 13.2 was about 670MB during the later download and it gets expanded to 3.2GB), so I knew it was not the correct one, but there is no way the stop the installation procedure during the install. That procedure actually finished with the Root patches installed, but the resulting system had several "Oh No" glitches; no iCould sign-in possible, graphic delays and no acceleration, etc. Well thanks to the OCLP devs, I now have a very useable Ventura install! The pathway to success was rough, but the results are great!