Revertible effects with LIFO disposal, a plugin/fiber lifecycle state machine, reactive coeffects (service provide/inject), events, and service isolation — the core mechanisms of Cordis (cordiverse/cordis), reimplemented on the async gem. Based on the paper "A Programming Paradigm for Spatiotemporal Composability".