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