lcert_verify.html
A self-contained HTML report — one file, no network, no dependencies.
Verification is a visual field in practice: the question is rarely "did it pass" but "how close was it, and where". A per-locus margin chart answers that in a way a table of numbers does not, and it survives being pasted into a slide.
Two rules the chart obeys, both load-bearing rather than decorative:
Colour never carries the meaning. Safe and violating are green and red, which is the one pair red-green colour blindness collapses (measured ΔE 4.1, well under the ΔE 8 floor). So the encoding is geometric first: a margin is signed, and a violating locus points the other way from the zero baseline. Colour, a texture fill, a text label, and the table below all say the same thing independently.
An abstention never renders as a pass. The header badge shows the verdict
verbatim, and UNVERIFIED gets the warning treatment and its reason, exactly as
in the SARIF and JUnit emitters.
Render a verification result as a single self-contained HTML document.