Skip to content

feat: add blog post — What comes after test suites#23

Merged
avrabe merged 1 commit into
mainfrom
feat/blog-verification-gap
Apr 7, 2026
Merged

feat: add blog post — What comes after test suites#23
avrabe merged 1 commit into
mainfrom
feat/blog-verification-gap

Conversation

@avrabe
Copy link
Copy Markdown
Contributor

@avrabe avrabe commented Apr 7, 2026

Summary

  • New blog post responding to Greenblatt (Redwood Research) on AI verification gap and Beck/Fowler Pragmatic Summit discussion
  • Covers formal proofs (gale), traceability (rivet + spar), supply chain signing (sigil), governance (temper), and hermetic builds
  • Evidence-based: references actual verification numbers, specific standards (ISO 26262, DO-178C/DO-333, IEC 61508), and honest assessment of gaps

Test plan

  • zola build passes
  • Reviewed on zola serve --drafts locally
  • Verify rendering after deploy

🤖 Generated with Claude Code

Response to Greenblatt (Redwood Research) on AI verification gap and
Beck/Fowler Pragmatic Summit discussion. Covers formal proofs, rivet
traceability, sigil supply chain, and governance at AI velocity.

Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>
@avrabe avrabe merged commit 2dd6333 into main Apr 7, 2026
1 check passed
@avrabe avrabe deleted the feat/blog-verification-gap branch April 7, 2026 21:13
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant