The total-dimension Regts–Sevenster theorem

The reconstructed standard model has at most R colours in total. The extraction and graph-evaluation proof are those of the forward theorem; the dimension bound comes from the polynomial commutant estimate for the full signed colour action.

theorem RS.regts_sevenster_total_deligne_only (hDeligne : DeligneTheoremStatement) : RegtsSevensterStatementTotal

The Regts–Sevenster theorem with k + 2 * ℓ ≤ R, conditional on Deligne's theorem alone.