pub fn check_entity_mismatch(state: &str, claim: &str) -> bool
State と Claim の数値エンティティを照合し、不整合 (未記載の数値や食い違い) があるか判定する。
Claim 側に現れる数値が State 側に存在しない場合、または値が異なる場合に不整合と判定する。