Status: IN
Bidirectional symmetry is enforced across social graphs (contacts, friendships) and spatial graphs (road edges), eliminating one-way edge complexity in visibility checks, nearby-friend computations, and shortest-path routing — a cross-domain preference for simpler invariants over expressive asymmetry.
Social graphs and road networks both choose mandatory bidirectionality, trading model expressiveness for implementation simplicity
Depends on (SL): symmetric-social-graphs-simplify-visibility, maps-bidirectional-edges-share-data