pub const REQUIRED: [GateCoverage; 17];Expand description
2026-09-26: The gates whose records must pass, and what each one ignores. REQUIRED_GATES
in mod.rs is built from these ids (required_gates_is_derived_from_the_coverage_table).
pub const REQUIRED: [GateCoverage; 17];2026-09-26: The gates whose records must pass, and what each one ignores. REQUIRED_GATES
in mod.rs is built from these ids (required_gates_is_derived_from_the_coverage_table).