Is the last line above guaranteed to leave a.list empty?
No. The standard says following:
[lib.types.movedfrom]
Objects of types defined in the C++ standard library may be moved from ([class.copy.ctor]).
Move operations may be explicitly specified or implicitly generated.
Unless otherwise specified, such moved-from objects shall be placed in a valid but unspecified state.
And this is the definition of valid but unspecified state:
[defns.valid]
value of an object that is not specified except that the object's invariants are met and operations on the object behave as specified for its type
[ Example: If an object x of type std::vector is in a valid but unspecified state, x.empty() can be called unconditionally, and x.front() can be called only if x.empty() returns false.
— end example ]
std::list specification adds no further guarantees for the move constructor.