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

chore: retrigger CI (spec-sanity landed after this branch)

ad8883d
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar