pub fn check_ising_claim(claim: &IsingClaim) -> boolExpand description
Judge an Ising candidate: recompute the exact energy and the exact 1-flip stability with this crate’s own arithmetic and demand agreement with BOTH claims. Fail-closed on shape garbage (asymmetry, nonzero diagonal, non-±1 spins).