[Chore] Add concurrent task lifecycle model check - #1478

Merged

edelauna merged 7 commits into

mainfrom

feature/lifecycle-model-check-37hba11vdwkgh

Sep 1, 2026

Commits on Sep 1, 2026

test: model-check concurrent task lifecycle
roomote
committed
5293d62
docs: guide lifecycle test placement
roomote
committed
a509e2f
test: model shared-store lifecycle races
roomote
committed
0bec2c1
test: cover legacy lifecycle status
roomote
committed
19b4e08
test: ratchet lifecycle semantic landmarks
roomote
committed
2205d8d
docs: polish lifecycle model guidance
roomote
committed
46464e1
test: bound shared-store concurrency barrier
roomote
committed
2989806