Soundess improvements - #47

Merged

NthTensor merged 19 commits into

mainfrom

soundess_improvements

Jul 13, 2026

Commits on Jul 7, 2026

Commits on Jul 12, 2026

fix: use more formally correct memory ordering for latches
NthTensor
committed
ba4ee58
fix: ABA ordering in worker enrole/resign logic
NthTensor
committed
0ff9280
fix: HeapJob safety arguments
NthTensor
committed
3723bae
refactor: StackJob api to encapsulate safety requirements
NthTensor
committed
9237eb2
refactor: Consolodate jobqueue safety comments
NthTensor
committed
eab9133
refactor: seal spawn traits
NthTensor
committed
f606569
refactor: add internals module
NthTensor
committed
bbe6aa2
refactor: tweak various safety comments
NthTensor
committed
c768d4f
refactor: adjust some other safety comments for clarity
NthTensor
committed
2995795

Commits on Jul 13, 2026

refactor: improve spawn scoped future scheduling soundness
NthTensor
committed
9a997be
chore: more minor comment fixes
NthTensor
committed
d1a6783
chore: format
NthTensor
committed
4f2ecf0
chore: clippy and build system fixes
NthTensor
committed
682729a
refactor: cleanup public internals api
NthTensor
committed
1d3fd17