"""
frontier-check
==============

Route LLM claims by their training-data status.

Given a claim, produce a Result with:
    - status  (IN_DATA_KNOWN, IN_DATA_IMPOSSIBLE, OUTSIDE_DATA_*)
    - verdict (REFUSED, ESTABLISHED, FRONTIER, FABRICATED, INCOMPLETE)
    - papers  (retrieved, with on_target flag)
    - sub_claims (decomposed, with verdicts)
    - action and residual (one sentence each)

The interesting verdict is FRONTIER: outside local literature,
mechanism present, checkable sub-claim present.

Pure stdlib. No dependencies.

Author: the XuanJi session
License: Apache-2.0
"""

from .model import (
    Claim,
    Paper,
    Assessment,
    SubClaim,
    Result,
    Theorem,
    classify_claim,
    extract_subclaims,
    frontier_check,
    retrieve,
    verify_subclaim,
    self_test,
    REGRESSION_CLAIMS,
    THEOREMS,
    LOCAL_CORPUS,
)

__version__ = "0.4.0"

__all__ = [
    "Claim",
    "Paper",
    "Assessment",
    "SubClaim",
    "Result",
    "Theorem",
    "classify_claim",
    "extract_subclaims",
    "frontier_check",
    "retrieve",
    "verify_subclaim",
    "self_test",
    "REGRESSION_CLAIMS",
    "THEOREMS",
    "LOCAL_CORPUS",
    "__version__",
]