@contractspec/lib.lifecycle