Skip to content

Convergence correctness: make the post-state provably coherent, derive the primary from git's roster, and produce the first WET execution evidence for repository_convergence - #9622

Merged
briansrls merged 8 commits into
mainfrom
session/eager-fox-241
Aug 28, 2026
Merged

Convergence correctness: make the post-state provably coherent, derive the primary from git's roster, and produce the first WET execution evidence for repository_convergence#9622
briansrls merged 8 commits into
mainfrom
session/eager-fox-241

Close convergence preservation asymmetries

d01f0b9
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar