Birational type components

A JSON list with one object per $\mathbb Q$-component of the characteristic-zero realization space. Each object has dim, free_rank (number of split-off free factors), core_dim (dimension after removing them), qbar_components (number of conjugate $\overline{\mathbb Q}$-components) and type. Depending on the proof route there may be further fields, such as genus, cremona_label, conductor, j_invariant, weierstrass, minpoly, field, elliptic-fibration data, and the defining equations of the core.

See birational_type.

Full details: docs/birational_type.md.