fix: cactus soundness — enforce Sync invariant, guard callback aliasing, lock in Drop#4103

Merged

yujonglee merged 2 commits intomainfrom

devin/1771524443-cactus-soundness-fixes

Feb 20, 2026

Commits on Feb 19, 2026

fix: enforce Sync invariant at compile time, guard callback aliasing, lock in Drop

devin-ai-integration[bot]
and
yujonglee
committed
style: fix dprint formatting in lock_inference

devin-ai-integration[bot]
and
yujonglee
committed