def format_target_display(
    target: str,
    *,
    display: str = "",
    kind: str = "",
    channel: str = "",
) -> str:
    trimmed = target.strip()
    display_trimmed = display.strip()

    if display_trimmed:
        if kind == "user":
            return f"@{display_trimmed}"
        if kind in ("group", "channel"):
            return f"#{display_trimmed}"
        return display_trimmed

    if trimmed.startswith("@") or trimmed.startswith("#"):
        return trimmed

    lowered = trimmed.lower()
    channel_prefix = f"{channel.lower()}:"
    core = trimmed[len(channel_prefix) :] if lowered.startswith(channel_prefix) else trimmed

    if core.lower().startswith("channel:"):
        return f"#{core.split(':', 1)[1]}"
    if core.lower().startswith("user:"):
        return f"@{core.split(':', 1)[1]}"

    if kind == "user":
        return f"@{core}"
    if kind in ("group", "channel"):
        return f"#{core}"

    return core