Atomic selector evacuation, nft verification, generation replay, complete rollback and shared allocator lock were proven on isolated runtime fixtures. The production selector and nft table were unchanged during the STEP.