Cycle Logic Cycle Safety