WORK IN PROGRESS see tests This repo is intention to describe and formalize state-management edge-cases.