QREF Render validates your program against the real SchemaV1 (from PsiQuantum's open QREF project), draws the routine tree with typed ports and repetitions, and breaks down declared qubit and gate resources. Everything runs in your browser - your program is never uploaded anywhere.
Aggregation honesty: numeric port sizes and additive resources are summed, weighted by numeric repetition counts. Symbolic expressions (like N * log(N)) are displayed as declared, not evaluated. Full symbolic compilation is what tools like Bartiq do - QREF Render is a viewer and sanity checker, not a compiler.
Structural rules from QREF SchemaV1: name patterns, port directions (input/output/through), duplicate port and child names, connections resolving to real ports of the routine or its children, repetition sequence types (constant, arithmetic, geometric, closed_form, custom), and resource types (additive, multiplicative, qubits, other). The canonical schema lives at github.com/PsiQ/qref.