Class VerifierDiagnosticReference

Namespace

DotBoxD.Kernels.Verifier.Diagnostics

Assembly

DotBoxD.Kernels.Verifier.dll

Public reference entry for a single verifier diagnostic Code.

public sealed record VerifierDiagnosticReference : IEquatable<VerifierDiagnosticReference>

Inheritance

object

VerifierDiagnosticReference

Implements

IEquatable<VerifierDiagnosticReference>

Inherited Members

object.Equals(object)

object.Equals(object, object)

object.GetHashCode()

object.GetType()

object.ReferenceEquals(object, object)

object.ToString()

Constructors

VerifierDiagnosticReference(string, VerifierDiagnosticCategory, string, string, string, bool)

Public reference entry for a single verifier diagnostic Code.

public VerifierDiagnosticReference(string Code, VerifierDiagnosticCategory Category, string Meaning, string LikelyCause, string Remediation, bool ExpectedFromCompilerOutput)

Parameters

Code string

The stable V-* diagnostic code.

Category VerifierDiagnosticCategory

What the code most likely indicates.

Meaning string

A short human-readable description of the rule that was violated.

LikelyCause string

The most common reason this code is emitted.

Remediation string

Guidance for a consumer or operator investigating the code.

ExpectedFromCompilerOutput bool

Whether well-formed output from the canonical DotBoxD.Kernels compiler can legitimately produce this code. Codes that are false here should never appear for a trusted, current artifact and are strong tampering or host-mismatch signals.

Properties

Category

What the code most likely indicates.

public VerifierDiagnosticCategory Category { get; init; }

Property Value

VerifierDiagnosticCategory

Code

The stable V-* diagnostic code.

public string Code { get; init; }

Property Value

string

ExpectedFromCompilerOutput

Whether well-formed output from the canonical DotBoxD.Kernels compiler can legitimately produce this code. Codes that are false here should never appear for a trusted, current artifact and are strong tampering or host-mismatch signals.

public bool ExpectedFromCompilerOutput { get; init; }

Property Value

bool

LikelyCause

The most common reason this code is emitted.

public string LikelyCause { get; init; }

Property Value

string

Meaning

A short human-readable description of the rule that was violated.

public string Meaning { get; init; }

Property Value

string

Remediation

Guidance for a consumer or operator investigating the code.

public string Remediation { get; init; }

Property Value

string