Czy udzielenie dnia wolnego za nadgodziny może być przeniesione na kolejny okres rozliczeniowy

Pracownik pracujący w systemie pracy poniedziałek-piątek w godzinach 7:00-15:00 w dniu 18 listopada 2023 r. (sobota - dzień wolny od pracy wynikający z rozkładu czasu pracy w przeciętnie 5-dniowym tygodniu pracy) pracował w godzinach nadliczbowych (6 godzin). Przysługiwał mu zatem w zamian inny dzień wolny od pracy udzielony do końca okresu rozliczeniowego w terminie z nim uzgodnionym. Pracownik nie był świadomy, że przysługuje mu 1 cały dzień wolny, w związku z czym w dniu 21 grudnia 2023 r. (czwartek) przyszedł do pracy, przepracował 2 godziny, po czym zakończył pracę uznając, że odbiera 6 godzin za sobotę. Wyszedł z pracy za zgodą przełożonego i zarejestrował fakt wyjścia na czytniku RCP. Okres rozliczeniowy zakończył się 31 grudnia 2023 r. Czy udzielenie dnia wolnego może być przeniesione na kolejny okres rozliczeniowy? W jaki sposób pracodawca powinien zrekompensować pracownikowi nie do końca rozliczone godziny nadliczbowe?