7월 입사자 1년 만근 시 연차는 15개인가요 18.25개인가요?

2024년 7월1일 입사 후 2025년 7월 2일에 퇴사를 한다고 가정했을 때,

급여에서 차감되지 않을 만큼 연차를 사용하려면 총 18.25개를 전부 사용해도 되는 것일까요?

(회사에서 선지급 7.25개 + 1년 미만의 연차 11 개 =18.25개 라고 전달주셨습니다)

혹은 딱 1년 만근이기에 15개만 사용해야하는 것일까요?