In the obligations section, it says, "You will not ... , nor reverse engineer or decompile binary portions of the software, ..."
By using WinDbg, It is possible to see disassembly of binary portions of the software, say, halacpim.dll. Is any of a) using WinDbg to disassemble those binary portions, b) reading those disassembly, under one of the following condition, i) aiming to get a better understanding of the source code, ii) without aim, just unintentionally, a kind of "reverse engineering" in the lisence?
The license states that reverse engineering or decompiling the binaries is not allowed. The activities that you are describing are all methods of decompiling or reverse engineering the binaries and are prohibited by the license. The binaries are there so you can boot from the WRK, which is missing some components from the shipped kernel. We provided the private HAL symbols for debugging of WRK modifications only, not to enable or permit the user to reverse engineer the binaries.