Module json 

The machine format: one JSON document per run, stable field names.

Spans are byte offsets into the original source, as [start, end), and the file name is repeated per diagnostic so a consumer can annotate output without knowing which file the tool read.

Functions

diagnostics_value

The diagnostics array, for callers composing a larger document (check --format json adds the file name and the board).

to_json

Serialize diagnostics for file_path as pretty JSON.