Enum VerifierDiagnosticCategory
Namespace: DotBoxD.Kernels.Verifier.Diagnostics
Assembly: DotBoxD.Kernels.Verifier.dll
Classifies what a verifier diagnostic most likely indicates, so operators can distinguish a user-fixable generated shape problem from artifact tampering, a host/runtime version mismatch, or a malformed input artifact.
public enum VerifierDiagnosticCategoryFields
Section titled “Fields”ArtifactIntegrity = 0
The artifact bytes do not match the manifest, or the manifest does not match the expected verification context. Treat as a tampering or cache-poisoning signal.
ForbiddenCapability = 3
The generated assembly references types, assemblies, members, or IL that the sandbox policy forbids. Indicates disallowed capabilities reaching the verifier.
HostVersionMismatch = 1
The verification context (manifest identity) does not match the host’s compiler, type-system, runtime, or verifier versions. Usually a release/version mismatch, not user IL.
MalformedArtifact = 2
The Portable Executable container or CLR metadata is malformed or structurally disallowed. Either a corrupt/tampered artifact or a non-DotBoxD.Kernels producer.
UnsupportedGeneratedShape = 4
The generated code does not match the shape the DotBoxD.Kernels compiler is expected to emit (surface, signatures, stack discipline, control flow). Indicates an unsupported or non-canonical generated shape.