Module diagnostic 

Structs

BudgetExhaustionRecord

A single budget-exhaustion record in report metadata.

Diagnostic

Entity

The named template entity a diagnostic is attributed to, when it targets one. The entity type is the singular form of the top-level template section the entity is declared in.

PerformanceMetrics

Timing breakdown of the validation run, per pipeline phase.

RelatedResource

Another resource involved in the diagnostic, such as the target of a reference.

ReportMetadata

ResourceRef

The template resource a diagnostic is attributed to, when it targets one.

Summary

ValidationReport

ViolationContext

Extra detail about a specific violation, present only at the DETAILED detail level.

Enums

ReportStatus

Outcome of a validation run. Ok means validation completed without correctness-affecting curtailment. AnalysisIncomplete means a deterministic budget curtailed analysis in a way that could omit findings. Error means the validation pipeline could not run, such as when parsing fails.