A hand-drawn or LLM-drawn diagram of a state machine can drift from what was actually verified. polyviz can't — it's a deterministic renderer: the same verified artifacts in, byte-identical SVG out, every time, on any machine.
Rendering as a pure function, not an act of drawing.
The state machine, the invariants, the counterexample, the compat verdict — never invented content.
An LLM may invoke polyviz, but it never draws; rendering is a pure function of what the gate already produced.
No clock, no randomness, sorted keys, pinned font metrics — so a figure in a report can be regenerated and diffed like code.