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 VerifierDiagnosticCategory

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.