Rewrite org profile around verified toolchain narrative#2
Merged
Conversation
Feature Kiln, Meld, Loom, and Synth as the core pipeline with the actual compose→fuse→optimize→run/compile flow. Replace the flat catalog of projects with a narrative structure, compact ecosystem sections, and formal verification as the central differentiator. Co-Authored-By: Claude Opus 4.6 <noreply@anthropic.com>
Fix the toolchain pipeline: Meld → Loom → Synth → Kiln (sequential, not parallel). Elevate WSC from a bullet point to a featured section covering attestation chains, SLSA policies, keyless signing, and hardware security. Add branded flat-square badges with consistent dark label backgrounds, verification method badges per project card, sup/h6 typography hierarchy, details sections for ecosystem, and WSC as the cryptographic backbone spanning the pipeline diagram. Co-Authored-By: Claude Opus 4.6 <noreply@anthropic.com>
Clean SVG with rounded boxes, purple arrows, green verification labels, and WSC spanning dashed line. Adapts to dark/light mode via CSS prefers-color-scheme media query. Descriptive alt text for accessibility. Co-Authored-By: Claude Opus 4.6 <noreply@anthropic.com>
Sigil — a seal of authenticity. Fits the forge metaphor: "Meld fuses. Loom weaves. Synth compiles. Kiln fires. Sigil seals." Links still point to pulseengine/wsc pending actual repo rename. Co-Authored-By: Claude Opus 4.6 <noreply@anthropic.com>
…ame wsc→sigil - Synth "transpiles" not "compiles" (WASM→ARM is between two low-level representations) - Remove per-project verification tool assignments from SVG and cards; Rocq, Kani, Z3, and Verus are used across the entire toolchain - Add rules_verus to Build & Verification ecosystem - Add Verus to footer tech stack and verification callout - Rename GitHub repo wsc→sigil and update all links - SVG viewBox trimmed (no proof labels below boxes = shorter) Co-Authored-By: Claude Opus 4.6 <noreply@anthropic.com>
- ci: validates required files exist - lint: checks relative image references in README resolve - test: validates SVG is well-formed XML Co-Authored-By: Claude Opus 4.6 <noreply@anthropic.com>
xmllint is not available on ubuntu-latest runners by default. Python3 and xml.etree.ElementTree are always present. Co-Authored-By: Claude Opus 4.6 <noreply@anthropic.com>
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
1 participant
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
Summary
<kbd>CTA buttons,<sub>footer, generous whitespaceTest plan
🤖 Generated with Claude Code