Proposed resolution:

Add a paragraph under [thread.thread.static] p1:

unsigned hardware_concurrency();

-1- Returns: ...

Throws: Nothing.

Add a paragraph under [thread.condition.condvar] p7 and p8:

[Informational, not to be incluced in the WP: The POSIX spec allows only:

[EINVAL]

The value cond does not refer to an initialized condition variable. — end informational]

void notify_one();

-7- Effects: ...

Throws: Nothing.

void notify_all();

-8- Effects: ...

Throws: Nothing.

Add a paragraph under [thread.condition.condvarany] p6 and p7:

void notify_one();

-6- Effects: ...

Throws: Nothing.

void notify_all();

-7- Effects: ...

Throws: Nothing.