Lexical binding structure is distinct from runtime state
Bindings belong to lexical scopes, not simply lines. The report keeps scope parentage and binding facts together so shadowing remains visible.
Reference and violation counts come from Babel traversal. They are static facts and do not predict values or control flow.