| """ |
| 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__", |
| ] |
