After a day of meditation I've come to the following definition for locals():

locals() return a dictionary that serves as a cache for current local symbol table. This cache is updated every time locals() is called or when a trace function is active.