Status

The pipeline state of a record:

• computed_realization_space: a saturated realization space over $\mathbb Z$ has been stored, rs_dim and is_realizable_char0 were read off it, and the characteristic set was computed from it.
• todo: imported, but not both of the saturated space over $\mathbb Z$ and its characteristic set are complete yet. For rank 3 on 12 elements this covers spaces computed only over $\mathbb Q$, computations that exceeded resource limits, and timed-out characteristic-set computations.

Full details: schema.md.