Card: add a 30-second path for a first-time visitor

Rebuild against certkit 0.4.1 (stress-suite fixes)

Bundle the language server module; link the landing page

Bundle the notebook renderers

Rebuild bundle: SMT-LIB emitter now uses standard (- 1) numerals

Mount every module the bundle's packages import

Rebuild: certkit obligation-loop fix and exploit-counter decide mode

Rebuild with the integer fast path in the counter

Ship the hardened checker: UNVERIFIED verdict, box refusals, working install lines

Ship the hardened checker: UNVERIFIED verdict, box refusals, working install lines

Ship the hardened checker: UNVERIFIED verdict, box refusals, working install lines

Polish: ecosystem cross-links, working install lines, richer tags

Static Gradio-Lite build: the checker runs in the browser

initial commit