Namespace DotBoxD.Kernels.Verifier Namespaces DotBoxD.Kernels.Verifier.Diagnostics DotBoxD.Kernels.Verifier.Generated Classes VerificationPolicy