Assumptions Break Graph Semantics

Type extraction and rendering logic assume a single label/order (e.g., labels(n)[0]) and rely on stubbed or overly constrained hydration/merge steps, so multi-label nodes, identity collisions, and snapshot/extraction drains silently skew results or cost explode.