Rewrite org profile around verified toolchain narrative#2

Merged

avrabe merged 7 commits intomainfrom

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
docs: correct pipeline flow, elevate WSC, refine visual style

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

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

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

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

avrabe
and
claude
committed

Commits on Feb 20, 2026

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

avrabe
and
claude
committed