[Draft] feat(vardiff): decline-safe vardiff champion + simulation framework + proof#2154
Open
gimballock wants to merge 9 commits into
Open
[Draft] feat(vardiff): decline-safe vardiff champion + simulation framework + proof#2154gimballock wants to merge 9 commits into
gimballock wants to merge 9 commits into
Commits
Commits on Jun 30, 2026
- andcommitted
- andcommitted
- andcommitted
- andcommitted
