2026 Invariant-Based Diagnostics for Graph Benchmarks Richard Moos, Mathieu Alain, and Bastian Rieck 2026