4-rank: form composition vs. linking matrix
each cell = # discriminants with (linking corank t−1−rank R, form-side 4-rank); off-diagonal (red) = a Rédei–Reichardt disagreement
Stage 3 — narrow class group Cl⁺(D) computed two independent ways. The scatter must be a perfect diagonal. Renders emitted JSON only.