/* ═══════════════════════════════════════════════════════════════════
   Edge operations (handled via context menu in graph.js)
   This file is intentionally minimal — addEdge / deleteEdge helpers
   can be added here for future toolbar-based edge management.
   ═══════════════════════════════════════════════════════════════════ */
