Ring (kit's first two-operation protocol, 11 Strict laws); driver-level
backend shrinking (minimal counterexamples, opt-in per law, Equatable wired);
per-arity builder + suite-policy refactors. See docs/releases/v2.6.0.md.