Link onward from inside the app

Link the rest of the portfolio, and the docs site

Ship the current checker: minicheck 0.3.0 -> 0.4.0

Show the counterexample as a diagram, and ship minicheck 0.3.0

fix: ship the corrected checker; render UNDETERMINED as its own verdict

Link protocol-bench-action into the portfolio

Clean up generated app imports; regenerate embedded index.html

Polish card: portfolio cross-links, richer tags

Gradio Lite demo: run a model checker in the browser (client-side, Pyodide)

initial commit