Formal foundations for hybrid effect analysis