"""ReDi model definitions and data utilities."""