Rewrite org profile around verified toolchain narrative - #2

Merged

avrabe merged 7 commits into

mainfrom

docs/rewrite-org-profile

Feb 20, 2026

Commits on Feb 19, 2026

docs: rewrite org profile around the verified toolchain narrative

avrabe
and
claude
committed
9535333
docs: correct pipeline flow, elevate WSC, refine visual style

avrabe
and
claude
committed
b95fd18
docs: replace ASCII pipeline with SVG diagram

avrabe
and
claude
committed
69bf585
docs: rename WSC to Sigil across README and pipeline diagram

avrabe
and
claude
committed
1417418
docs: Synth transpiles, verification is cross-cutting, add Verus, rename wsc→sigil

avrabe
and
claude
committed
5ef2226
ci: add checks workflow with ci, lint, and test jobs

avrabe
and
claude
committed
51cfb25

Commits on Feb 20, 2026

fix(ci): use python3 xml parser instead of xmllint

avrabe
and
claude
committed
041386d