Submitted by Aaryan Kapoor 5 ExecRetrieval: Measuring the Functional-Correctness Gap in Code-Embedding Retrieval Kennesaw State University 1