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.

def to_html(res: Dict, bundle: Optional[Dict] = None, source: str = 'bundle') -> str:

Render a verification result as a single self-contained HTML document.