Skip to content

feat: add StreamRecoveryClaim research article#21

Merged
fricoben merged 1 commit intomainfrom
fricoben/aave-research
Apr 14, 2026
Merged

feat: add StreamRecoveryClaim research article#21
fricoben merged 1 commit intomainfrom
fricoben/aave-research

Conversation

@fricoben
Copy link
Copy Markdown
Contributor

Summary

  • New research article for the formal verification of the StreamRecoveryClaim contract (Sonic Earn Recovery System)
  • Covers 6 property families (correct payout, books balanced, pool solvent, no double-dip, no overclaim, cross-token independence) across 3 claim functions
  • Includes SVG claim flow diagram, formal/English guarantee toggle, proof status table, and assumptions section

Test plan

  • bun run build passes
  • Visual check of /research/stream-recovery-claim page
  • Verify article appears in /research index

🤖 Generated with Claude Code

@vercel
Copy link
Copy Markdown

vercel bot commented Apr 14, 2026

The latest updates on your projects. Learn more about Vercel for GitHub.

Project Deployment Actions Updated (UTC)
lfglabs-dev Ready Ready Preview, Comment Apr 14, 2026 3:04pm

Request Review

@fricoben fricoben merged commit ff6bc70 into main Apr 14, 2026
3 checks passed
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