type CpsatRuleRegistry = Record<string, RuleDescriptor<string, unknown>>;
A registry of CP-SAT rule descriptors keyed by rule name.The registry key must exactly match each descriptor’s name field.
Use createCpsatRuleRegistry to validate that invariant when building
custom registries.