Module model 

Canonical diagnostic data model.

Runtime-neutral and wasm-safe — no colored, no file IO, no VM. Shared between CLI (src/main/tty_render.rs), LSP (aver-lsp), and playground (src/playground.rs).

Structs

AnalysisReport

AnnotatedRegion

Diagnostic

FormatViolation

One formatter rule firing on one location. Emitted by try_format_source alongside the rewritten text, then folded into a canonical needs-format Diagnostic by the factory.

RelatedSpan

Repair

SourceLine

Span

Underline

VerifyBlockResult

VerifySummary

Per-block verify results. Mirrors what aver verify used to emit as block-result NDJSON events — now folded into the analysis bundle so a single record per file carries failures + scorecard.

Enums

Severity

Constants

SCHEMA_VERSION

Functions

json_escape

Minimal JSON string escaping. Kept as a standalone helper so legacy per-record CLI JSON (bit-for-bit parity with 0.9.x) can build output without pulling serde into every format string.