Rocql — Run Default Fit Presets… All references Type references only Proof references only Constructors / fields Theorems and their deps Lemmas and their deps Admitted entries Direct deps on admits Layout: free (barnesHut) File: color only File: color + islands Layered (global Sugiyama) Y: por dependencias Y: por código fuente

Isolated: — · Dir both out in Depth 1 2 3 4 Clear

Isolate (both) Isolate (outgoing) Isolate (incoming)

---

Open file

El .gdb está vacío.

Pipeline de build pendiente. Por ahora, copiar un graph.gdb pre-construido a <workspace>/.rocql/.