Module nli 

語彙正規化・エンティティ投影型 Post-Execution ハルシネーション検証モジュール

System 2 (上位 LLM) が生成した主張文 (Claim) と前提文 (State) の整合性を検証する。

二段構えの検証パイプライン

1. エンティティ・数値整合性検査 (Entity Mismatch Flag): arithmetic.rs と連動し、数値・金額・パーセンテージ・日付表現を正規化抽出。 State と Claim の間で数値や単位が食い違っている場合、NLI の埋め込み空間の曖昧さを 待たずに即座に Entity Mismatch Flag を立てて遮断する。
2. 同義語カバレッジ連動の Soft Margin Calibration (動的マージン補正): 正当な言い換えによる過剰遮断 (偽陽性) を防止するため、同義語カバレッジに応じて 要求含意確率の閾値を動的に緩和する: $$\tau_{\text{effective}} = \tau_0 - \beta \cdot \text{SynonymCoverage}(\text{State}, \text{Claim})$$

Structs

HallucinationVerificationResult

出力ハルシネーション検証結果。

HallucinationVerifierConfig

ハルシネーション検証設定構造体。

NormalizedEntity

抽出された正規化数値エンティティ。

Functions

check_entity_mismatch

State と Claim の数値エンティティを照合し、不整合 (未記載の数値や食い違い) があるか判定する。

compute_synonym_coverage

State と Claim 間の同義語カバレッジ比率を算出する。

extract_normalized_entities

テキストから数値および日付エンティティを正規化抽出する。

verify_claim_nli

NLI ロジット (含意, 中立, 矛盾) と前提・主張テキストからハルシネーション検証を実行する。