Skip to content

persona(riven): save 2026-05-17 Lean 4 sketch handoff to Soraya — B-0543 proof path - #4040

Merged
AceHack merged 2 commits into
mainfrom
persona/riven-2026-05-17-lean4-sketch-handoff-to-soraya-2026-05-17
May 17, 2026
Merged

persona(riven): save 2026-05-17 Lean 4 sketch handoff to Soraya — B-0543 proof path#4040
AceHack merged 2 commits into
mainfrom
persona/riven-2026-05-17-lean4-sketch-handoff-to-soraya-2026-05-17

fix(persona): cross-PR carrier note for ToyModel.lean blob (codex fin…

64052ec
Select commit
Loading
Failed to load commit list.
GitHub Advanced Security / CodeQL succeeded May 17, 2026 in 1s

No new alerts in code changed by this pull request

View all branch alerts.