Complete the card: quickstart, citation, contribution pointer

Cross-link the new toolkit artifacts

Re-vendor analyzer: netlist frontend split and faster construct scanner

Re-vendor analyzer: clearer refusals for mistyped modules and empty input

Refuse rather than guess: UNKNOWN verdicts for unreadable designs

docs: portfolio table now points at the live demo and both source repos

fix licensing (CC-BY-4.0 notice, no ISC overclaim, Pyodide attribution) and polish the page

remove leftover template stylesheet

hw-verify: real constant-time analyzer running in-browser via Pyodide

initial commit