"""Solver - the deterministic fairness referee (never the LLM)."""

from __future__ import annotations

from .checker import CheckReport, Issue, check
from .discoverability import is_discoverable, undiscoverable_minimal_clues

__all__ = ["CheckReport", "Issue", "check", "is_discoverable", "undiscoverable_minimal_clues"]