actor reentrancy
Other work can change actor state while an operation is suspended.
Use this when An actor checks a condition, awaits a request, then acts on a stale assumption.
without the term
“The actor checks if the token is valid, awaits a refresh, then uses the token, but sometimes two refreshes happen at once and one breaks. I thought actors prevented this?”
with the term · How do you ask a model for actor reentrancy?
Review this actor for reentrancy across await. Preserve the invariant and test two overlapping calls with controlled completion order.
What is actor reentrancy?
Actor reentrancy allows other work to run on the actor during suspension. State observed before await may differ afterward.
Why does actor reentrancy matter when vibe coding?
The compiler can protect memory access while the business invariant still breaks.
How do you do actor reentrancy?
Recheck assumptions after await or reserve the operation before suspending. Test overlapping calls deliberately.
What goes wrong with actor reentrancy?
The test runs calls sequentially and never exercises the suspension window.