Hi Katharina,
The safety critical documents are part of the certification package. See here for more information: https://techcommunity.microsoft.com/t5/internet-of-things-blog/building-iot-solutions-for-safety-critical-environments/ba-p/2420780
The stack checking code is an optional feature of ThreadX. To limit the number of processing paths for the certifications, we disallow some of these optional features from being used.