pub fn render(spec: &RegSpec) -> (String, String)Expand description
Render the certified allocation of spec as (svg, verdict). The SVG is an animated linear-scan:
a live-range timeline above an animated register file, with a sweep line crossing both so you can
watch each value claim and release its register (and, when over capacity, drop to a spill lane).
The verdict is the plain-language, certified summary.