M1.1: Write KRaft consensus spec in SpeckDL
M0.3: Implement Z3 verification backend
M0.2: Add typed IR between AST and generators
M0.1: Delete WAT/WASM generator
M0.1: Fix TS generator bugs — clean build for all examples
Fix all broken CTAs, placeholder content, and dead links
Content migration from articles repo
SSG selection & scaffold
Landing page: Fractional
Landing page: Consulting
fix: correct enum value rewriting and parser quoted-string handling
No Open Graph or Twitter Card meta tags
No sitemap.xml or robots.txt — both return 404
Contact form has no backend — does not submit
Speaking inquiry form has no backend — does not submit