Skip to content

spec(#12): make the atomic obligation unconditional and record its asymmetry - #18

Merged
ssilvius merged 2 commits into
mainfrom
fix/12-drop-atomic-qualifier
Aug 3, 2026
Merged

spec(#12): make the atomic obligation unconditional and record its asymmetry#18
ssilvius merged 2 commits into
mainfrom
fix/12-drop-atomic-qualifier

Commits

Commits on Aug 3, 2026