In animate() method section;
if timeline member of options is missing, be the default document timeline of the node document of the element on which this method was called
In KeyframeAnimationOptions dictionary member section;
If missing, the default document timeline of the Document associated with the Window that is the current global object is used
I believe the former is correct and that's what Firefox and Chrome do currently.
@birtles @majido