Если поток, заблокированный в std::condition_variable, уведомлен, но блокировка связанного с ним мьютекса не снята, каков будет результат?

Понятно ли, что произойдет, если поток, заблокированный на std::condition_variable, получит уведомление, но блокировка связанного мьютекса еще не снята, и блокировка будет снята через 10 секунд? Будет ли поток ждать освобождения блокировки или ситуация не определена? Я специально добавил 15-секундный спящий режим, чтобы сделать блокировку недоступной в течение этого времени, чтобы увидеть, как будет работать ожидающий поток. Все в порядке, но я просто хотел убедиться в этом.

#include <iostream>
#include <condition_variable>
#include <thread>
#include <chrono>

struct SharedResource
{
    SharedResource() :
        cv_mutex(), cv(), counter(0)
    {

    }

    /*
    This mutex is used for three purposes:
    1) to synchronize accesses to counter
    2) to synchronize accesses to std::cerr
    3) for the condition variable cv
    */
    std::mutex cv_mutex;
    std::condition_variable cv;
    int counter;
};

void waits(SharedResource& sharedRes)
{
    std::unique_lock<std::mutex> lk(sharedRes.cv_mutex);
    std::cerr << "Waiting... \n";
    while (sharedRes.counter != 1) 
    {
        sharedRes.cv.wait_for(lk,3s);
        std::cerr << "Thread ID: " << std::this_thread::get_id() << " wakes up every 3 seconds.\n";
    }
    std::cerr << "...finished waiting." << "counter: " << sharedRes.counter << std::endl;
} //The lk object will be unlocked after this scope ends.

void signals(SharedResource& sharedRes)
{
    std::this_thread::sleep_for(std::chrono::seconds(1));
    {
        std::lock_guard<std::mutex> lk(sharedRes.cv_mutex);
        std::cerr << "Notifying...\n";
    } // The lk object will be unlocked after this scope ends.
    sharedRes.cv.notify_all();

    std::this_thread::sleep_for(std::chrono::seconds(6));

    {
        std::lock_guard<std::mutex> lk(sharedRes.cv_mutex);
        sharedRes.counter = 1;
        std::cerr << "Notifying again...\n";
    
    sharedRes.cv.notify_all();
    std::this_thread::sleep_for(std::chrono::seconds(15));

    }// The lk object will be unlocked after this scope ends.
}

int main()
{
    SharedResource sharedRes;

    std::thread
        t1(waits, std::ref(sharedRes)),
        t2(signals, std::ref(sharedRes));
    t1.join();
    t2.join();
}