A function uses vector for all temporary memory but appends to its caller’s vector before…

A function uses vector for all temporary memory but appends to its caller’s vector before a later operation throws. What does RAII establish?

1. Temporary resources are cleaned up, but the caller-visible append means the strong guarantee is not automatic.
2. The caller’s vector is automatically rolled back.
3. No operation inside an RAII-using function can throw.
4. The function necessarily provides the no-throw guarantee.