An engineer raises EFCONSTRUCTION for a new HNSW index. Which consequence should be evaluated?

1. More construction-time candidate exploration and potentially higher build cost
2. An automatic change from cosine to Euclidean distance
3. A guaranteed reduction in the corpus's vector dimensions
4. Automatic conversion of HNSW into IVF