Track lent-through references as `ShallowExclusive` and announce all value drops - #175

Open

JonasAlaif wants to merge 3 commits into

mainfrom

shallow-exclusive-refs

Commits on Aug 13, 2026

Emit weakens for still-exclusive leaves when collapsing to write capability
JonasAlaif
committed
b3e532f
Downgrade a mutably-derefed reference to ShallowExclusive, not Write
JonasAlaif
committed
f4f3bbe
Announce the value drop when a read place joins a moved-out place
JonasAlaif
committed
039081d