Class VerifierDiagnosticReference
Namespace: DotBoxD.Kernels.Verifier.Diagnostics
Assembly: DotBoxD.Kernels.Verifier.dll
Public reference entry for a single verifier diagnostic DotBoxD.Kernels.Verifier.Generated.VerificationDiagnostic.Code.
public sealed record VerifierDiagnosticReference : IEquatable<VerifierDiagnosticReference>Inheritance
Section titled “Inheritance”object ← VerifierDiagnosticReference
Implements
Section titled “Implements”IEquatable<VerifierDiagnosticReference>
Inherited Members
Section titled “Inherited Members”object.Equals(object?), object.Equals(object?, object?), object.GetHashCode(), object.GetType(), object.ReferenceEquals(object?, object?), object.ToString()
Constructors
Section titled “Constructors”VerifierDiagnosticReference(string, VerifierDiagnosticCategory, string, string, string, bool)
Section titled “ VerifierDiagnosticReference(string, VerifierDiagnosticCategory, string, string, string, bool)”Public reference entry for a single verifier diagnostic DotBoxD.Kernels.Verifier.Generated.VerificationDiagnostic.Code.
public VerifierDiagnosticReference(string Code, VerifierDiagnosticCategory Category, string Meaning, string LikelyCause, string Remediation, bool ExpectedFromCompilerOutput)Parameters
Section titled “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
Section titled “Properties”Category
Section titled “ Category”What the code most likely indicates.
public VerifierDiagnosticCategory Category { get; init; }Property Value
Section titled “Property Value”public string Code { get; init; }Property Value
Section titled “Property Value”ExpectedFromCompilerOutput
Section titled “ 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
Section titled “Property Value”LikelyCause
Section titled “ LikelyCause”public string LikelyCause { get; init; }Property Value
Section titled “Property Value”Meaning
Section titled “ Meaning”public string Meaning { get; init; }Property Value
Section titled “Property Value”Remediation
Section titled “ Remediation”public string Remediation { get; init; }