#
#   Imandra Inc.
#
#   speclogician/presentation/renderers/__init__.py (or similar)
#

from __future__ import annotations

def iml_validity_icon_style_label(iml_valid: str | None) -> tuple[str, str, str]:
    """
    Returns: (icon, rich_style, human_label)
    """
    v = (iml_valid or "").lower()

    match v:
        case "valid":
            return ("✓", "green", "valid")
        case "invalid":
            return ("✗", "red", "invalid")
        case "unknown" | "":
            return ("…", "yellow", "unknown")
        case _:
            # forward-compatible / defensive
            return ("?", "dim", v)
