Supercompactness within the projective hierarchy