Graphify: Automated Synthesis of Type-Safe Graph Backends via $O(S)$ GraphQL-to-Gremlin Transpilation (ArXiv cs.DB Recent Papers, 2026)