ConstThe call context context extended by the closures call runs whose frames some of their calls see written.
The calls that created what the bindings call reads hold, one per binding, undefined if a binding may hold anything else: two calls with different instances run closures with different frames.
Which definitions the read read within the closure the context calls may read in that call: of the writes into the frames of its closure, only those into the frame of the closure this call runs, and none of the bindings the frame shadows once a write surely binds the name.
What the frame of the closure closure the call call runs binds to name, where it is called.
What the frames of the closures holder holds in environment bind to name.
The frame a closure holds (
environment(g)) is the one the call creating it ran in, so writes into it reach only the calls of that very closure: they are tracked on the variables holding it (see InGraphIdentifierDefinition#closureFrame).