Visibility: iBGP Signaling


Theorem.  (Not Scary)  

Suppose the iBGP reflector-client relationship graph contains no cycles. 

Then, the AS's configuration satisfies visibility if, and only if, the set of routers that are not route reflector clients forms a full mesh.


Condition is easy to check with static analysis.